We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure [email protected]
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This appendix provides a discussion of the consistency condition (10.39) and of the construction of consistent families of histories. First, we should mention that other conditions have been proposed and used in the literature; in the initial article on histories [17], a weaker condition involving only the cancellation of the real part of (10.39) was introduced. For simplicity, here we limit ourselves to the stronger condition (10.39), which is a sufficient but not necessary condition to the weaker form; it turns out that, as noted in [519], it seems more useful in this context to introduce selectivity than generality in the definition of consistent histories.
At first sight, a natural question that comes to mind is whether or not it is easy, or even possible at all, to fulfil exactly the large number of conditions contained in (10.39). Actually, it has been proposed by Gell-Mann and Hartle to give a fundamental role to families that satisfy consistency conditions in only an approximate way [510], but here we leave aside this possibility and consider only exact consistency conditions. Let us assume for instance that the system under study is a particle propagating in free space; the various projectors may then define ranges of positions for the particle, playing a role similar to diaphragms or spatial filters in optics that confine an optical beam in the transverse direction. Then the consistency condition will appear as similar to a non-interference condition for the Huyghens wavelets that are radiated by the inner surface of each diaphragm.
Quantum Mechanics is an essential topic in today's physics curriculum at both the undergraduate and graduate levels. Quantum mechanics can explain the microscopic world with fantastic accuracy; the fruits from its insights have created technologies that have revolutionized the world. Computers, lasers, mobile telephones, optical communications are but a few examples. The language of quantum mechanics is now an accepted part of the language of physics and day-to-day usage of this language provides physicists with the intuition that is essential for achieving meaningful results. Nevertheless, most physicists acknowledge that, at least once in their scientific career, they have had difficulties understanding the foundations of quantum theory, perhaps even the impression that a really satisfactory and convincing formulation of the theory is still lacking.
Numerous quantum mechanics textbooks are available for explaining quantum formalism and applying it to understand problems such as the properties of atoms, molecules, liquids, and solids; the interactions between matter and radiation; and more generally to understand the physical world that surrounds us. Other texts are available for elucidating the historical development of this discipline and describing the steps through which it went before quantum mechanics reached its modern formulation. In contrast, books are rare that review the conceptual difficulties of the theory and then provide a comprehensive overview of the various attempts to reformulate quantum mechanics in order to solve these difficulties. The present text by Franck Laloë does precisely this.
In many ways, quantum mechanics is a surprising theory. It is known to be nonintuitive, and leads to representations of physical phenomena that are very different from what our daily experience could suggest. But it is also very surprising because it creates a big contrast between its triumphs and difficulties.
On the one hand, among all theories, quantum mechanics is probably one of the most successful achievements of science. It was initially invented in the context of atomic physics, but it has now expanded into many domains of physics, giving access to an enormous number of results in optics, solid-state physics, astrophysics, etc. It has actually now become a general method, a frame in which many theories can be developed, for instance to understand the properties of fluids and solids, fields, elementary particles, and leading to a unification of interactions in physics. Its range extends much further than the initial objectives of its inventors and, what is remarkable, this turned out to be possible without changing the general principles of the theory. The applications of quantum mechanics are everywhere in our twenty-first century environment, with all sorts of devices that would have been unthinkable 50 years ago.
On the other hand, conceptually this theory remains relatively fragile because of its delicate interpretation – fortunately, this fragility has little consequence for its efficiency. The reason why difficulties persist is certainly not that physicists have tried to ignore them or put them under the rug! Actually, a large number of interpretations have been proposed over the decades, involving various methods and mathematical techniques.
(i)Arelatively recent (1999) article by Englert, Scully, andWalther [85] provides an interesting illustration of the debate about the content of the state vector, in particular because of the wording chosen by the authors. Speaking of standard theory, they write: “(One) is led astray by regarding state reductions as physical processes, rather than accepting that they are nothing but mental processes”. They then advocate a “minimalistic interpretation of state vectors” and actually even give a general warning that it is dangerous to go beyond it (“Van Kampen's caveat”), but do not expand very much on these dangers. It is then interesting to extend this line of thought further: if the state vector can evolve under the effect of a “purely mental process”, it then necessarily acquires elements that are mental (subjective), instead of being related to external reality only (objective). The Schrödinger evolution, on the other hand, is determined by external macroscopic parameters, and therefore has a reality content that is similar with these parameters. Should we consider that the state vector is hybrid, and combines elements describing external reality, at least partially, and others that are purely mental, all contained in a single mathematical object? In this view, the process of state vector reduction would correspond to times when the state vector suddenly acquires more mental elements (since the reduction process is considered as purely mental); the Schrödinger evolution would correspond to periods of time where the mental content remains constant.
In the proof of the Bell theorem, we have assumed that all pairs of particles emitted by the source are actually detected, whatever choice is made for the measurement settings a and b; within local realism, the Bell inequalities are then obeyed, which means that it is impossible to reproduce the a and b dependence (4.9) of the correlation function predicted by quantum mechanics (since it allows violations of the Bell inequalities). In this appendix, we examine what happens when the detection process introduces a selection in the ensemble of emitted pairs; in a first step (§E.1), we assume that this selection is independent of a and b, and in a second step (§E.2), we generalize to include a possible dependence. In the latter case, we will see that it then becomes possible to reproduce any variation of the correlation rate as a function of a and b, including the prediction (4.9) in cos(a−b) of quantum mechanics, while remaining within local realism; this is the origin of the “loophole” discussed in §4.5.1.a.
In EPR schemes, applying the reduction postulate projects the second particle instantaneously onto an eigenstate corresponding to the same quantization axis as the first measurement. If it were possible to determine this state completely, superluminal communication would become accessible: from this state, the second experimenter could calculate the direction of the quantization axis to which it corresponds, and rapidly know what direction was chosen by the first experimenter, even if the experimenters are in two different and remote galaxies. This, obviously, could be used as a sort of telegraph, completely free of any relativistic minimum delay (proportional to the distance covered) for the transmission of information. Nevertheless, we have seen in §7.2.1 that it is impossible to obtain a complete determination of a quantum state from a single realization of this state. Such a realization allows only one single measurement, which (almost always) perturbs the state, so that a second measurement on the same state is not feasible; there is not, and by far, sufficient information in the first measurement for a full determination of the quantum state – see discussion in §7.2. This telegraph would therefore not function.
If a single particle is not sufficient for Bob to get a message, could he use more particles? Suppose for a moment that a perfect “cloning” of quantum states could be performed – more precisely the reproduction with many particles of the unknown state of a single particle.
Quantum entanglement does not only provide a field of fundamental studies, but can also be harnessed as a tool for applications. In this chapter, after introducing two general theorems that are useful in the context of this discussion (§7.1), we propose a few examples: quantum cryptography (§7.2), teleportation (§7.3), and quantum computing (§7.4). For the moment, only quantum cryptography has given rise to real applications, and has been used in practical (and even commercial) applications; its purpose is the sharing of cryptographic keys between several partners by using a protocol where privacy is guaranteed by fundamental laws of physics. As for quantum computation, it is based on the general manipulation of quantum information, and is probably a more futuristic field of research in terms of applications, but it is certainly a domain of intense activity throughout the world.
Strictly speaking, none of these subjects in itself brings a really new view on the interpretation of quantum mechanics. Nevertheless, in addition to their strong intrinsic interests, they provide very direct and particularly interesting applications of its basic principles. This is the reason we study them in this chapter. We will only summarize the main ideas; the interested reader is invited to read the proposed references.
Two theorems
The two theorems that follow are similar; one deals with the creation and duplication of quantum states, the other with their determination.
No-cloning
The duplication of a quantum state, often called “quantum cloning”, is an operation where one starts from one particle in an arbitrary quantum state and reaches a situation where two particles are in the same state ∣φ〈.
Introducing the hydrodynamic equations (Madelung [416]) associated with the evolution of the wave function, and using them to guide the evolution of the additional variables (positions of particles), is a natural idea. In the dynamics of fluids, hydrodynamic equations can be obtained by taking averages of microscopic quantities over positions and velocities of point-like particles; for instance, the Navier-Stokes macroscopic equations can be derived from the Boltzmann transport equation by appropriate microscopic averages (Chapman-Enskog method); conversely, the hydrodynamic variables will influence the motion of individual particles. Moreover, there is some analogy between the guiding term and the force term in a Landau type kinetic equation, where each particle is subject to an average force proportional to the gradient of the density of the others. Nevertheless, here we are dealing with a single particle, so that the guiding term cannot be associated with interactions between particles. Moreover, we also know from the beginning that rather unusual properties must be contained in the guiding equations, at least if we wish to exactly reproduce the predictions of usual quantum mechanics: the Bell theorem states that the additional variables have to evolve non-locally in ordinary three-dimensional space (they evolve locally only in the configuration space of the system, exactly as for the state vector). In other words, in real space the additional variables must be able to influence each other at an arbitrary distance. Indeed, in the Bohmian equation of motion of the additional variables, the velocity of a particle contains an explicit dependence on its own position, as expected, but also a dependence on the positions of all the other particles (assuming that the particles are entangled).
In this appendix, we introduce a few simple models involving modified Schrödinger dynamics with stochasticity, in order to illustrate how such models may lead to an evolution that reproduces the reduction of the state vector during a measurement (emergence of a single eigenvalue during a single realization, with a random value). For the sake of simplicity, weignore the usual Hamiltonian evolution during the time of measurement, assuming for instance that this time is too short for this evolution to be significant; otherwise, it would be necessary to use the interaction representation with respect to the Hamiltonian, which does not change the calculations much, except that this introduces a time dependence of the operators.
Single operator
We consider the measurement of some quantum observable associated with an Hermitian operator A; we look for an equation of evolution containing a state vector reduction process associated with this particular measurement. Since the final eigenvector must vary randomly from one realization to the next, the evolution equation necessarily contains a random component. In our case, it will take the form of a random function of time (as opposed to the GRWtheory where the stochasticity is introduced by the discontinuous “hitting processes”, see §10.8.1.b).
Equation of evolution
We assume that the state vector ∣ψ(t)〈 evolves according to:
where w(t) is a real random function of time. In order to simplify the model as much as possible, we may discretize time into small finite intervals Δt, during which we assume that w(t) remains constant; moreover, we may also assume that the possible values of w(t) belong to a finite discrete ensemble w1, w2, …, wN.
The process of measurement plays an important role in quantum theory. Measurements can be direct, if the physical system S interacts directly with the measurement apparatus M (as we have assumed until now), or indirect. In the latter case, the physical system first interacts with an ancillary system B, which may have a space of states that is very different from that of S, for instance much larger; after this interaction has finished, M is used to perform a measurement on B, without any direct interaction with A. Because S is then “protected” from any direct interaction with the measurement apparatus, the state of S is not necessarily strongly modified, and may even be only weakly affected. In both cases, the process implies entanglement between several physical systems. In this chapter, we study how this entanglement is created and used for measurements as well as the notion of weak and continuous measurements. These questions play an important role in several of the interpretations of quantum mechanics that we discuss in Chapter 10.
Direct measurements
The Von Neumann model of quantum measurement [4] provides a general frame for describing the process in terms of correlations appearing (or disappearing) in the state vector associated with the whole system S +M. In this model, the two systems S andM are initially described by a product state ∣ψ0〈 and interact during the time of measurement, so that they become entangled; they then reach a final state ∣ψ′〈 and do not interact anymore.
The Bell theorem can take the form of several inequalities, as we have seen in §4.2. Moreover, since it was discovered, the theorem has stimulated the discovery of several other mathematical contradictions between the predictions of quantum mechanics and those of local realism. We review a few of them in this chapter: GHZ contradictions (§5.1) and their generalization (§5.2), Cabello's inequality (§5.3), and Hardy's impossibilities (§5.4). Finally, in §5.5, we discuss the notion of contextuality and introduce the BKS theorem.
GHZ contradiction
For many years, everyone thought that Bell had basically exhausted the subject by considering all really interesting situations, and that two-spin systems provided the most spectacular quantum violations of local realism. It therefore came as a surprise to many when in 1989 Greenberger, Horne, and Zeilinger (GHZ) showed that systems containing more than two correlated particles may actually exhibit even more dramatic violations of local realism [188, 189]. They involve a sign contradiction (100% violation) for perfect correlations, while the BCHSH inequalities are violated by about 40% (Cirelson bound) and deal with situations where the results of measurements are not completely correlated. In this section, we discuss three-particle systems, but generalizations to N particles are possible (§5.2).
Derivation
GHZ contradictions may occur in various systems, not necessarily involving spins. Initially, they were introduced in the context of entanglement swapping (§6.3.2) for four particles [188] or entanglement of three spinless particles [189].
More than 70 years after its publication, the article by Einstein, Podolsky, and Rosen (EPR) [88] is still cited hundreds of times every year in the literature; this is a very exceptional case of longevity for a scientific article! There is some irony in this situation since, for a long time, the majority of physicists did not pay much attention to the EPR reasoning. They considered it as historically interesting, but with no precise relevance to modern quantum mechanics; the argument was even sometimes completely misinterpreted. Astriking example is given in the Einstein-Born correspondence [89] where Born, even in comments that he wrote after Einstein's death, clearly shows that he never completely understood the nature of the objections raised by EPR. Born went on thinking that the point of Einstein was a stubborn rejection of indeterminism (“look, Albert, indeterminism is not so bad!”), while actually the major concern of EPR was locality and/or separability (we come back later to these terms, which are related to the notion of space-time). If giants like Born could be misled in this way, no surprise that, later on, many others made similar mistakes!
This is why, in what follows, we will take an approach that may look elementary, but at least has the advantage of putting the emphasis on the logical structure of the arguments and their generality. Doing so, we will closely follow neither the historical development of the ideas nor the formulation of the original article, but rather will emphasize the generality of the EPR reasoning.
We give an example of such a non-deterministic local theory that looks similar to quantum mechanics, and actually even makes use of its formalism, while it is in fact significantly different. This theory includes the non-determinism of quantum mechanics, but gives to the state vector a role that is more local than in standard quantum mechanics. For this, we consider a physicist who has well understood the basic rules of quantum mechanics concerning non-determinism, but who remains sceptical about non-locality (or non-separability; for a detailed discussion of the meaning of these terms, see §3.3.3.b as well as, for instance, [24, 47]). This physicist thinks that, if measurements are performed in remote regions of space, it is more natural to apply the rules of quantum mechanics separately in these two regions. In order to calculate the probability of any measurement result, he/she will then apply the rules of quantum mechanics, in a way that is locally perfectly correct, but that also assumes that it is possible to reason separately in the two regions of space. If for instance the two measurements take place in two different galaxies, our sceptical physicist is prepared to apply quantum mechanics at the scale of a galaxy, but not at an intergalactic scale!
How can one then treat the measurement process that takes place in the first galaxy? It is very natural to assume that the spin it contains is described by a state vector (or by a density operator, it makes no difference here) that may be used to apply the orthodox formula for obtaining the probabilities of each possible result.
In this chapter, we study the properties of quantum entanglement, and more generally the way correlations can appear in quantum mechanics. Quantum entanglement is an important notion that we have already discussed, for instance in the context of the Von Neumann chain or of the Schrödinger cat, but here we give more details on its properties.
In classical physics, the notion of correlation is well known. It hinges on the calculation of probabilities and on linear averages over a number of possibilities. A distribution gives the probability of having the first system in a some given state and the second in another state. If this distribution is not a product, the two systems are correlated. If it is a product, they are uncorrelated; measuring the properties of one system does not bring any information on the other. This is in particular the case if the state of each of the two systems is perfectly defined (which also defines the state of the whole system perfectly well). The notion of correlation between sub-systems therefore stems from the multiplicity of possible states of the whole system; fluctuations of this state are necessary to give its full meaning to the classical notion of correlation.
In quantum mechanics, the situation is different: as we have seen (in particular in Chapter 4), even a physical system that is perfectly defined by a given state vector already contains fluctuations.
From a fundamental point of view we must acknowledge that, since about 1935, our conceptual understanding of quantum mechanics has not progressed so much. Really new ideas are few and far between – except of course the major line initiated by the contribution of Bell [6]. This is in big contrast with the rest of physics, where new theoretical and experimental discoveries in many fields have flourished, very often with the help of the tools of quantum mechanics. The fantastic evolution of the experimental techniques has completely changed the situation. At the beginning of quantum mechanics, the observation of the tracks of single particles in Wilson chambers [348] played the essential role in the introduction of the postulate of state vector reduction, but otherwise it was impossible to observe continuously a single electron, atom, or ion; the experiments that theorists were proposing in discussions on the principles of quantum measurement were therefore “thought experiments” (“Gedanken Experiment”), as for instance in the famous Solvay meetings [1, 21]. But nowadays, after almost of century of experimental progress, experiments that were then unthinkable have become a reality.
A huge number of contemporary experiments involves the laws of quantum mechanics in general; several books would not be sufficient to describe all of them. Nevertheless, in the majority of experiments, what is really observed is the sum over a very large number of particles of one individual microscopic observable (sum of atomic dipoles for instance), which is accurately described by the average value of this observable.