Quantum theory is known to be nonlocal in the sense that separated parties can perform measurements on a shared quantum state to obtain correlated probability distributions, which cannot be achieved if the parties share only classical randomness. Her
e we find that the set of distributions compatible with sharing quantum states subject to some sufficiently restricted dimension is neither convex nor a superset of the classical distributions. We examine the relationship between quantum distributions associated with a dimensional constraint and classical distributions associated with limited shared randomness. We prove that quantum correlations are convex for certain finite dimension in certain Bell scenarios and that they sometimes offer a dimensional advantage in realizing local distributions. We also consider if there exist Bell scenarios where the set of quantum correlations is never convex with finite dimensionality.
This work develops analytic methods to quantitatively demarcate quantum reality from its subset of classical phenomenon, as well as from the superset of general probabilistic theories. Regarding quantum nonlocality, we discuss how to determine the qu
antum limit of Bell-type linear inequalities. In contrast to semidefinite programming approaches, our method allows for the consideration of inequalities with abstract weights, by means of leveraging the Hermiticity of quantum states. Recognizing that classical correlations correspond to measurements made on separable states, we also introduce a practical method for obtaining sufficient separability criteria. We specifically vet the candidacy of driven and undriven superradiance as schema for entanglement generation. We conclude by reviewing current approaches to quantum contextuality, emphasizing the operational distinction between nonlocal and contextual quantum statistics. We utilize our abstractly-weighted linear quantum bounds to explicitly demonstrate a set of conditional probability distributions which are simultaneously compatible with quantum contextuality while being incompatible with quantum nonlocality. It is noted that this novel statistical regime implies an experimentally-testable target for the Consistent Histories theory of quantum gravity.
We discuss the possibility of generating spin squeezed states by means of driven superradiance, analytically affirming and broadening the finding in [Phys. Rev. Lett. 110, 080502 (2013)]. In an earlier paper [Phys. Rev. Lett. 112, 140402 (2014)] the
authors determined that spontaneous purely-dissipative Dicke model superradiance failed to generate any entanglement over the course of the systems time evolution. In this article we show that by adding a driving field, however, the Dicke model system can be tuned to evolve toward an entangled steady state. We discuss how to optimize the driving frequency to maximize the entanglement. We show that the resulting entanglement is fairly strong, in that it leads to spin squeezing.
Separability criteria are typically of the necessary, but not sufficient, variety, in that satisfying some separability criterion, such as positivity of eigenvalues under partial transpose, does not strictly imply separability. Certifying separabilit
y amounts to proving the existence of a decomposition of a target mixed state into some convex combination of separable states; determining the existence of such a decomposition is hard. We show that it is effective to ask, instead, if the target mixed state fits some preconstructed separable form, in that one can generate a sufficient separability criterion relevant to all target states in some family by ensuring enough degrees of freedom in the preconstructed separable form. We demonstrate this technique by inducing a sufficient criterion for diagonally symmetric states of N qubits. A sufficient separability criterion opens the door to study precisely how entanglement is (not) formed; we use ours to prove that, counterintuitively, entanglement is not generated in idealized Dicke model superradiance despite its exemplification of many-body effects. We introduce a quantification of the extent to which a given preconstructed parametrization comprises the set of all separable states; for diagonally symmetric states our preconstruction is shown to be fully complete. This implies that our criterion is necessary in addition to sufficient, among other ramifications which we explore.
