Nonlocality is one of the main characteristic features of quantum systems involving more than one spatially separated subsystem. It is manifested theoretically as well as experimentally through violation of some local realistic inequality. On the other hand, classical behavior of all physical phenomena in the macroscopic limit gives a general intuition that any physical theory for describing microscopic phenomena should resemble classical physics in the macroscopic regime, the so-called macrorealism. In the 2-2-2 scenario (two parties, with each performing two measurements and each measurement having two outcomes), contemplating all the no-signaling correlations, we characterize which of them would exhibit classical (local realistic) behavior in the macroscopic limit. Interestingly, we find correlations which at the single-copy level violate the Bell-Clauser-Horne-Shimony-Holt inequality by an amount less than the optimal quantum violation (i.e., Cirel'son bound $2\sqrt{2}$), but in the macroscopic limit gives rise to a value which is higher than $2\sqrt{2}$. Such correlations are therefore not considered physical. Our study thus provides a sufficient criterion to identify some of unphysical correlations.
Nonlocality is one of the main characteristic features of quantum systems involving more than one spatially separated subsystem. It is manifested theoretically as well as experimentally through violation of some local realistic inequality. On the other hand, classical behavior of all physical phenomena in the macroscopic limit gives a general intuition that any physical theory for describing microscopic phenomena should resemble classical physics in the macroscopic regime, the so-called macrorealism. In the 2-2-2 scenario (two parties, with each performing two measurements and each measurement having two outcomes), contemplating all the no-signaling correlations, we characterize which of them would exhibit classical (local realistic) behavior in the macroscopic limit. Interestingly, we find correlations which at the single-copy level violate the Bell-Clauser-Horne-Shimony-Holt inequality by an amount less than the optimal quantum violation (i.e., Cirel'son bound 22), but in the macroscopic limit gives rise to a value which is higher than 22. Such correlations are therefore not considered physical. Our study thus provides a sufficient criterion to identify some of unphysical correlations.
In quantum mechanics, nonlocality (a violation of a Bell inequality) is intimately linked to complementarity, by which we mean that consistently assigning values to different observables at the same time is not possible. Nonlocality can only occur when some of the relevant observables do not commute, and this noncommutativity makes the observables complementary. Beyond quantum mechanics, the concept of complementarity can be formalized in several distinct ways. Here we describe some of these possible formalizations and ask how they relate to nonlocality. We partially answer this question by describing two toy theories which display nonlocality and obey the no-signaling principle, although each of them does not display a certain kind of complementarity. The first toy theory has the property that it maximally violates the Clauser, Horn, Shimony, and Holt (CHSH) inequality, although the corresponding local observables are pairwise jointly measurable. The second toy theory also maximally violates the CHSH inequality, although its state space is classical and all measurements are mutually nondisturbing: if a measurement sequence contains some measurement twice with any number of other measurements in between, then these two measurements give the same outcome with certainty.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
While quantum theory has been tested to an incredible degree on microscopic scales, quantum effects are seldom observed in our everyday macroscopic world. The curious results of applying quantum mechanics to macroscopic objects are perhaps best illustrated by Erwin Schrödinger's famous thought experiment, where a cat can be put into a superposition state of being both dead and alive. Obviously, these quantum predictions are in stark contradiction to our common experience. Even with plenty of theoretical explanations put forward to explain this discrepancy, a large number of questions about the frontier between the quantum and the classical world remain unanswered. To distinguish between classical and quantum behavior, two fundamental concepts inherent to classical physics have been established over the years: The world view of local realism limits the power of classical experiments to establish correlations over space, while the world view of macroscopic realism (or macrorealism) restricts temporal correlations. Necessary conditions for both world views have been formulated in the form of Bell and Leggett-Garg inequalities, and Bell inequalities have been shown to be violated by quantum mechanics through increasingly conclusive experiments. Furthermore, many challenging steps towards convincing violations of macrorealism have been taken in a number of recent experiments. In the first part of this thesis, conditions for macrorealism are analyzed in detail. Two necessary conditions for macrorealism, the original Leggett-Garg inequality and the recently proposed no-signaling in time condition, are presented. It is then shown that a combination of no-signaling in time conditions is not only necessary but also sufficient for the existence of a macrorealistic description. Finally, an operational formulation of no-signaling in time, in terms of positive-operator valued measurements and Hamiltonians, is derived. In the next part, we argue that these results lead to a suitable definition of classical behavior. In particular, we provide a formalism to judge the classicality of measurements and time evolutions. We then proceed to apply it to a number of exemplary measurement operators and Hamiltonians. Finally, we argue for the importance of spontaneously realized Hamiltonians in our intuition of classical behavior. Next, differences between local realism and macrorealism are analyzed. For this purpose, the probability polytopes for spatially and temporally separated experiments are compared, and a fundamental difference in the power of quantum mechanics to build both types of correlations is discovered. This result shows that Fine's theorem, which states that a set of Bell inequalities is necessary and sufficient for local realism, is not transferable to macrorealism. Thus, (Leggett-Garg) inequalities are in principle not well-suited for tests of macrorealism, as they can never form a necessary and sufficient condition, and unnecessarily restrict the violating parameter space. No-signaling in time is both better suited and more strongly motivated from the underlying physical theory. In the final part of this thesis, a concrete experimental setup for implementing quantum experiments with macroscopic objects is proposed. It consists of a superconducting micro-sphere in the Meißner state, which is levitated by magnetic fields. Through its expelled magnetic field, the sphere's center-of-mass motion couples to a superconducting quantum circuit. Properly tuned, ground state cooling can be realized, since the sphere's motion is extremely well isolated from the surrounding environment. This setup therefore is a promising candidate for the observation of quantum effects in macroscopic systems.
Quantum nonlocality is presented often as the most remarkable and inexplicable phenomenon known to modern science. It has been known already for a long time that the probabilistic models used to prove Bell and Clauser-Horn-Shimony-Holt inequalities (BI-CHSH) for spin polarization correlation experiments (SPCE) are incompatible with the experimental protocols of SPCE. In particular these models use the same common probability space, joint probability distributions and/or conditional independence to describe coincidence experiments in incompatible experimental settings. Strangely enough these results are not known or simply neglected. This is why we will once again reanalyze Bell locality assumptions and show that they have nothing to do with the notion of Einsteinian locality therefore their violation should not be called quantum nonlocality but rather quantum non-Kolmogorovness or quantum contextuality. Moreover if local variables describing the measuring instruments are correctly taken into account then BI-CHSH can no longer be proven and one can easily construct non-signaling probabilistic models able to reproduce the predictions of QT. The violation of BI-CHSH is considered usually as a proof that a quantum state is entangled. Since BI-CHSH are violated also in some experiments from outside the domain of quantum physics therefore the entanglement is not exclusively a quantum phenomenon. In order to further demystify these notions we show that one can prepare two macroscopic systems in such a way that simple realizable local experiments on these systems violate BI. In view of these arguments the further testing of BI-CHSH inequalities in search for the loopholes does not seem to be necessary.
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.
Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell-Clauser-Horne-Shimony-Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds' validity yet finding a drastic difference between correlations of 'signaling' and 'non-signaling' sets of observables. We also propose an experimental procedure for measuring the relevant correlations.