The correspondence principle suggests that quantum systems grow classical when large. Classical systems cannot violate Bell inequalities. Yet agents given substantial control can violate Bell inequalities proven for large-scale systems. We consider agents who have little control, implementing only general operations suited to macroscopic experimentalists: preparing small-scale entanglement and measuring macroscopic properties while suffering from noise. That experimentalists so restricted can violate a Bell inequality appears unlikely, in light of earlier literature. Yet we prove a Bell inequality that such an agent can violate, even if experimental errors have variances that scale as the system size. A violation implies nonclassicality, given limitations on particles' interactions. A product of singlets violates the inequality; experimental tests are feasible for photons, solid-state systems, atoms, and trapped ions. Consistently with known results, violations of our Bell inequality cannot disprove local hidden-variables theories. By rejecting the disproof goal, we show, one can certify nonclassical correlations under reasonable experimental assumptions.
The correspondence principle suggests that quantum systems grow classical when large. Classical systems cannot violate Bell inequalities. Yet agents given substantial control can violate Bell inequalities proven for large-scale systems. We consider agents who have little control, implementing only general operations suited to macroscopic experimentalists: preparing small-scale entanglement and measuring macroscopic properties while suffering from noise. That experimentalists so restricted can violate a Bell inequality appears unlikely, in light of earlier literature. Yet we prove a Bell inequality that such an agent can violate, even if experimental errors have variances that scale as the system size. A violation implies nonclassicality, given limitations on particles' interactions. A product of singlets violates the inequality; experimental tests are feasible for photons, solid-state systems, atoms, and trapped ions. Consistently with known results, violations of our Bell inequality cannot disprove local hidden-variables theories. By rejecting the disproof goal, we show, one can certify nonclassical correlations under reasonable experimental assumptions.
It is one of the most remarkable features of quantum physics that measurements on spatially separated systems cannot always be described by a locally causal theory. In such a theory, the outcomes of local measurements are determined in advance solely by some unknown (or hidden) variables and the choice of local measurements. Correlations that are allowed within the framework of a locally causal theory are termed classical. Typically, the fact that quantum mechanics does not always result in classical correlations is revealed by the violation of Bell inequalities, which are constraints that have to be satisfied by any classical correlations. It has been known for a long time that entanglement is necessary to demonstrate nonclassical correlations, and hence a Bell inequality violation. However, since some entangled quantum states are known to admit explicit locally causal models, the exact role of entanglement in Bell inequality violation has remained obscure. This thesis provides both a comprehensive review on these issues as well as a report on new discoveries made to clarify the relationship between entanglement and Bell inequality violation. In particular, within the framework of a standard Bell experiment, i.e., a Bell inequality test that is directly performed on a single copy of a quantum state r, we have derived two algorithms to determine, respectively, a lower bound and an upper bound on the strength of correlations that r can offer for any given Bell inequality. Both of these algorithms make use convex optimization techniques in the form of a semidefinite program. By examples, we show that these algorithms can often be used in tandem, in conjunction with convexity arguments, to determine if a quantum state can offer nonclassical correlations and hence violates a given Bell inequality. On the other hand, since a standard Bell experiment typically involves measurements over many copies of the quantum systems, we have also investigated the possibility of enhancing the strength of nonclassical correlation by, instead, performing collective measurements on multiple copies of the quantum systems. Our findings show that even without postselection, such joint measurements may also lead to stronger nonclassical correlations, and hence a better Bell inequality violation. Meanwhile, previous studies have indicated that entangled state admitting locally causal models may still lead to observable nonclassical correlations if, prior to a standard Bell experiment, the state is subjected to some appropriate local preprocessing. This phenomenon of hidden nonlocality was discovered more than a decade ago, but to date, it is still not known if all entangled states can demonstrate nonclassical correlations through these more sophisticated Bell experiments. A key result in this thesis then consists of showing that for all bipartite entangled states, observable nonclassical correlations, in the form of a Bell-CHSH inequality violation, can indeed be derived if we allow both local preprocessing and the usage of shared ancillary state which by itself does not violate the Bell-CHSH inequality. This establishes a kind of equivalence between bipartite entanglement and states that cannot be simulated by classical correlations. In summary, for a standard Bell experiment where no local preprocessing on a quantum state r is allowed, we have provided two algorithms that can be used in tandem to determine if r can be simulated by a locally causal theory, whereas in the scenario where local preprocessing is allowed, we have demonstrated that bipartite entangled states are precisely those which cannot always be simulated classically.
Over the past few decades, experimental tests of Bell-type inequalities have been at the forefront of understanding quantum mechanics and its implications. These strong bounds on specific measurements on a physical system originate from some of the most fundamental concepts of classical physics-in particular that properties of an object are well-defined independent of measurements (realism) and only affected by local interactions (locality). The violation of these bounds unambiguously shows that the measured system does not behave classically, void of any assumption on the validity of quantum theory. It has also found applications in quantum technologies for certifying the suitability of devices for generating quantum randomness, distributing secret keys and for quantum computing. Here we report on the violation of a Bell inequality involving a massive, macroscopic mechanical system. We create light-matter entanglement between the vibrational motion of two silicon optomechanical oscillators, each comprising approx. 10^{10} atoms, and two optical modes. This state allows us to violate a Bell inequality by more than 4 standard deviations, directly confirming the nonclassical behavior of our optomechanical system under the fair sampling assumption.
It is one of the most remarkable features of quantum physics that measurements on spatially separated systems cannot always be described by a locally causal theory. In such a theory, the outcomes of local measurements are determined in advance solely by some unknown (or hidden) variables and the choice of local measurements. Correlations that are allowed within the framework of a locally causal theory are termed classical. Typically, the fact that quantum mechanics does not always result in classical correlations is revealed by the violation of Bell inequalities, which are constraints that have to be satisfied by any classical correlations. It has been known for a long time that entanglement is necessary to demonstrate nonclassical correlations, and hence a Bell inequality violation. However, since some entangled quantum states are known to admit explicit locally causal models, the exact role of entanglement in Bell inequality violation has remained obscure. This thesis provides both a comprehensive review on these issues as well as a report on new discoveries made to clarify the relationship between entanglement and Bell inequality violation.
The departure of the quantum world from the classical regime is captured through the observation of nonclassical correlations manifested in the behaviors of subatomic systems. However, once the dimension of the system becomes substantially large, the quantum behavior begins to decline, and subsequently it starts following the predictions of classical physics. The macroscopic limit at which such quantum-to-classical transition occurs remains one of the long-standing questions in the foundations of quantum theory. There are evidences that the macroscopic limit to which the quantumness of a system persists depends on the degree of interaction due to the measurement processes. For instance, with a system having a considerably large Hilbert-space dimension, if the measurement is performed in such a way that the outcome of the measurement only reveals a coarse-grained version of the information about the individual level of the concerned system then the disturbance due to the measurement process can be considered to be infinitesimally small. Based on such coarse-grained measurement the dependence of Bell inequality violation on the degree of coarsening has already been investigated [H. Jeong, Y. Lim, and M. S. Kim, Phys. Rev. Lett. 112, 010402 (2014)]. In this paper, we first capture the fact that, when local realism is taken to be the defining notion of classicality, the effect of the degree of coarsening on the downfall of quantumness of a macroscopic entangled state can be compensated by testing a Bell inequality of a higher number of settings from a family of symmetric Bell inequalities if the number of settings is odd. However, in contrast, we show that such compensation cannot be seen when we witness such quantum-to-classical transition using symmetric Bell inequalities having an even number of settings. Finally, complementing the above result, we show that, when unsteerability is taken as the classicality, for both odd and even numbers of settings the degree of coarsening at which the quantum-to-classical transition occurs can be consistently pushed ahead by testing a linear steering inequality of a higher number of settings and observing its violation. We further extend our treatment for mixed macroscopic entangled states.
The predictions of quantum mechanics cannot be resolved with a completely classical view of the world. In particular, the statistics of space-like separated measurements on entangled quantum systems violate a Bell inequality. We put forward a computational perspective on a broad class of Bell tests that study correlators, or the statistics of joint measurement outcomes. We associate particular maps, or functions to particular theories. The violation of a Bell inequality then implies the ability to perform some functions, or computations that classical, or more generally, local hidden variable (LHV) theories cannot.
Bell's theorem asserts that no local hidden variable theory can explain the predictions of quantum theory in an experiment where spacelike separated measurements are performed in distant laboratories. Loophole-free Bell tests performed in the last decade demonstrate Bell nonlocality as a property of Nature. However, the amount of nonlocality allowed in quantum theory is limited, compared to the sole restriction of no-signaling, meaning the impossibility of faster-than-light communication implied by special relativity. Information causality is a physical principle that generalizes no-signaling and is satisfied by quantum theory. It is based on the idea that shared quantum entanglement cannot enable a receiver to obtain more classical information than how much was sent by a distant sender. Remarkably, the principle was shown to imply the maximal quantum bound for the violation of the most well-known Bell inequality. The aim of this thesis is to widen our understanding of information causality and compare its predictions with other known outer approximations of the quantum set of correlations. We build upon the recent realization that most of the known consequences of information causality can be derived with a single copy of the shared systems, whereas before it was thought that many copies were necessary. We develop a novel optimization framework which bounds the possible violations of information causality by other sets of correlations, allowing us to certify when violations are not possible. We generalize the statement of information causality and reach a precise definition for the set of correlations satisfying this principle. We show that when searching for violations of information causality by physical theories, considering many copies is not necessary. Our aforementioned optimization framework approximates the information causality set from the outside. Conversely, we propose a different approach which allows us to approximate this set from the inside.