No Arabic abstract
We construct a linear system non-local game which can be played perfectly using a limit of finite-dimensional quantum strategies, but which cannot be played perfectly on any finite-dimensional Hilbert space, or even with any tensor-product strategy. In particular, this shows that the set of (tensor-product) quantum correlations is not closed. The constructed non-local game provides another counterexample to the middle Tsirelson problem, with a shorter proof than our previous paper (though at the loss of the universal embedding theorem). We also show that it is undecidable to determine if a linear system game can be played perfectly with a finite-dimensional strategy, or a limit of finite-dimensional quantum strategies.
The strength of a homogeneous polynomial (or form) $f$ is the smallest length of an additive decomposition expressing it whose summands are reducible forms. We show that the set of forms with bounded strength is not always Zariski-closed. In particular, if the ground field has characteristic $0$, we prove that the set of quartics with strength $leq3$ is not Zariski-closed for a large number of variables.
We describe a simple method to derive high performance semidefinite programming relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum nonlocality in bipartite and tripartite Bell scenarios where the dimension of a subset of the parties is bounded from above. We derive new results in quantum communication complexity and prove the soundness of the prepare-and-measure dimension witnesses introduced in [Phys. Rev. Lett. 105, 230501 (2010)]. Finally, we propose a new dimension witness that can distinguish between classical, real and complex two-level systems.
Quantum kicked top is a fundamental model for time-dependent, chaotic Hamiltonian system and has been realized in experiments as well. As the quantum kicked top can be represented as a system of qubits, it is also popular as a testbed for the study of measures of quantum correlations such as entanglement, quantum discord and other multipartite entanglement measures. Further, earlier studies on kicked top have led to a broad understanding of how these measures are affected by the classical dynamical features. In this work, relying on the invariance of quantum correlation measures under local unitary transformations, it is shown exactly these measures display periodic behaviour either as a function of time or as a function of the chaos parameter in this system. As the kicked top has been experimentally realised using cold atoms as well as superconducting qubits, it is pointed out that these periodicities must be factored in while choosing of experimental parameters so that repetitions can be avoided.
We discuss the analogy between topological entanglement and quantum entanglement, particularly for tripartite quantum systems. We illustrate our approach by first discussing two clearly (topologically) inequivalent systems of three-ring links: The Borromean rings, in which the removal of any one link leaves the remaining two non-linked (or, by analogy, non-entangled); and an inequivalent system (which we call the NUS link) for which the removal of any one link leaves the remaining two linked (or, entangled in our analogy). We introduce unitary representations for the appropriate Braid Group ($B_3$) which produce the related quantum entangled systems. We finally remark that these two quantum systems, which clearly possess inequivalent entanglement properties, are locally unitarily equivalent.
In this work, we investigate the possibility of compressing a quantum system to one of smaller dimension in a way that preserves the measurement statistics of a given set of observables. In this process, we allow for an arbitrary amount of classical side information. We find that the latter can be bounded, which implies that the minimal compression dimension is stable in the sense that it cannot be decreased by allowing for small errors. Various bounds on the minimal compression dimension are proven and an SDP-based algorithm for its computation is provided. The results are based on two independent approaches: an operator algebraic method using a fixed point result by Arveson and an algebro-geometric method that relies on irreducible polynomials and Bezouts theorem. The latter approach allows lifting the results from the single copy level to the case of multiple copies and from completely positive to merely positive maps.