Feynman's path integrals provide a hidden variable description of quantum mechanics (and quantum field theories). The time evolution kernel is unitary in Minkowski time, but generically it becomes real and non-negative in Euclidean time. It follows that the entangled state correlations, that violate Bell's inequalities in Minkowski time, obey the inequalities in Euclidean time. This observation emphasises the link between violation of Bell's inequalities in quantum mechanics and unitarity of the theory. Search for an evolution kernel that cannot be conveniently made non-negative leads to effective interactions that violate time reversal invariance. Interactions giving rise to geometric phases in the effective description of the theory, such as the anomalous Wess-Zumino interactions, have this feature. I infer that they must be present in any set-up that produces entangled states violating Bell's inequalities. Such interactions would be a crucial ingredient in a quantum computer.
Feynman's path integrals provide a hidden variable description of quantum mechanics (and quantum field theories). The time evolution kernel is unitary in Minkowski time, but generically it becomes real and non-negative in Euclidean time. It follows that the entangled state correlations, that violate Bell's inequalities in Minkowski time, obey the inequalities in Euclidean time. This observation emphasises the link between violation of Bell's inequalities in quantum mechanics and unitarity of the theory. Search for an evolution kernel that cannot be conveniently made non-negative leads to effective interactions that violate time reversal invariance. Interactions giving rise to geometric phases in the effective description of the theory, such as the anomalous Wess-Zumino interactions, have this feature. I infer that they must be present in any set-up that produces entangled states violating Bell's inequalities. Such interactions would be a crucial ingredient in a quantum computer.
Feynman's path integrals provide a hidden variable description of quantum mechanics (and quantum field theories). The expectation values defined through path integrals obey Bell's inequalities in Euclidean time, but not in Minkowski time. This observation allows us to pinpoint the origin of violation of Bell's inequalities in quantum mechanics. % This article is not precise enough for mathematicians and not vague % enough for philosophers, but it should be interesting for physicists. % Contributed to the XVI International Symposium on Lepton-Photon % Interactions, Cornell University, August 10-15, 1993.
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.
Bell's theorem rests on the following fundamental condition for a local system: P(a,b|alpha, beta, lambda)= P(a|alpha, lambda)P(b|beta, lambda). Here a and b are the outcomes respectively for measurements alpha on one side, and beta on the other, of an experiment involving two entangled particles traveling in opposite directions from a source. The parameter lambda (the set of "hidden variables") represents a more complete description of the joint state of the two particles. Because of lambda, the joint probability of detection is now dependent only on lambda and the local measurement setting of alpha; similarly for the other side and the setting beta. From this equation John Bell derived a simple inequality that is violated by the predictions of quantum mechanics, which is generally taken to imply that quantum mechanics is a nonlocal theory. But, by combining Richard Feynman's formulation of quantum mechanics with a model of particle interaction described by David Deutsch, we develop a system (the "space of all paths," SP) that (1) is immediately seen to replicate the predictions of quantum mechanics, (2) has a single outcome for each quantum event (unlike MWI on which it is partly based), and (3) contains the set lambda of hidden variables consisting of all possible paths from the source to the detectors on each side of the two-particle experiment. However, the set lambda is nonmeasurable, and therefore the above equation is meaningless in SP.
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.
By implicitly assuming that all possible Bell-measurements occur simultaneously, all proofs of Bell's Theorem violate Heisenberg's Uncertainty Principle. This assumption is made in the original form of Bell's inequality, in Wigner's probability inequalities, and in the ``nonlocality without inequalities'' arguments. The introduction of time into derivations of these variants of Bell's theorem results in extra terms related to the time order of the measurements used in constructing correlation coefficients. Since the same locality assumptions are made in the Heisenberg-compliant derivations of this paper, only time-independent classical local hidden variable theories are forbidden by violations of the original Bell inequalities; time-dependent quantum local hidden variable theories can satisfy this new bound and agree with experiment. We further point out that factorizable wavefunctions have been used to describe some EPR experiments and can be used to describe others. These will generate local de Broglie-Bohm trajectories in the description of the data. This second, independent, line of argument also shows that violation of Bell's inequality is only evidence that Heisenberg's Uncertainty Principle cannot be ignored.
Bell inequalities were meant to test quantum mechanics vs local hidden variable models, but can also be used to verify entanglement. For entanglement verification purposes one assumes the validity of quantum mechanics as well as quantum descriptions of one's measurements. With the help of these assumptions it is possible to derive a strengthened Bell inequality whose violation implies entanglement. We generalize known examples of such inequalities by relating the expectation value of the Bell operator to a particular quantitative measure of entanglement, namely, the negativity. Moreover, we obtain statistics illustrating the fact that violating a given (strengthened or not) Bell inequality is a much more rare feat for a quantum state of two qubits than it is to be entangled.