We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided there is no obvious obstruction, there is an infinite rank projection P with the property that the compression PVP is either maximal or minimal in a certain natural sense.
Ramsey theory is an active research area in combinatorics whose central theme is the emergence of order in large disordered structures, with Ramsey numbers marking the threshold at which this order first appears. For generalized Ramsey numbers $r(G,H)$, the emergent order is characterized by graphs $G$ and $H$. In this paper we: (i) present a quantum algorithm for computing generalized Ramsey numbers by reformulating the computation as a combinatorial optimization problem which is solved using adiabatic quantum optimization; and (ii) determine the Ramsey numbers $r(mathcal{T}_{m},mathcal{T}_{n})$ for trees of order $m,n = 6,7,8$, most of which were previously unknown.
The main result of this paper is the extension of the Schur-Horn Theorem to infinite sequences: For two nonincreasing nonsummable sequences x and y that converge to 0, there exists a compact operator A with eigenvalue list y and diagonal sequence x if and only if y majorizes x (sum_{j=1}^n x_j le sum_{j=1}^n y_j for all n) if and only if x = Qy for some orthostochastic matrix Q. The similar result requiring equality of the infinite series in the case that the sequences x and y are summable is an extension of a recent theorem by Arveson and Kadison. Our proof depends on the construction and analysis of an infinite product of T-transform matrices. Further results on majorization for infinite sequences providing intermediate sequences generalize known results from the finite case. Majorization properties and invariance under various classes of stochastic matrices are then used to characterize arithmetic mean closed operator ideals.
Recently, various non-classical properties of quantum states and channels have been characterized through an advantage they provide in specific quantum information tasks over their classical counterparts. Such advantage can be typically proven to be quantitative, in that larger amounts of quantum resources lead to better performance in the corresponding tasks. So far, these characterizations have been established only in the finite-dimensional setting. In this manuscript, we present a technique for extending the known results to the infinite-dimensional regime. The technique relies on approximating infinite-dimensional resource measures by their finite-dimensional counterparts. We give a sufficient condition for the approximation procedure to be tight, i.e. to match with established infinite-dimensional resource quantifiers, and another sufficient condition for the procedure to match with relevant extensions of these quantifiers. We show that various continuous variable quantum resources fall under these conditions, hence, giving them an operational interpretation through the advantage they can provide in so-called quantum games. Finally, we extend the interpretation to the max relative entropy in the infinite-dimensional setting.
We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $ball^m$ be the unit ball in $mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $mathbb{C}[z_1, cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $mathbb{S}^{2m-1}$ transversely, the representations of $mathbb{C}[z_1, cdots, z_m]$ on the closure of $I$ in $L^2_a(ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $mathbb{C}[z_1, cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_Icap mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $fin L^2_a(ball^m)$ vanishes on $Z_Icap ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(ball^m)$.
The graph-theoretic Ramsey numbers are notoriously difficult to calculate. In fact, for the two-color Ramsey numbers $R(m,n)$ with $m,ngeq 3$, only nine are currently known. We present a quantum algorithm for the computation of the Ramsey numbers $R(m,n)$. We show how the computation of $R(m,n)$ can be mapped to a combinatorial optimization problem whose solution can be found using adiabatic quantum evolution. We numerically simulate this adiabatic quantum algorithm and show that it correctly determines the Ramsey numbers R(3,3) and R(2,s) for $5leq sleq 7$. We then discuss the algorithms experimental implementation, and close by showing that Ramsey number computation belongs to the quantum complexity class QMA.