Revision as of 20:40, 17 October 2005 editCarlHewitt (talk | contribs)5,700 edits Reverted so that the issues can be discussed. Could someone please put this page on Misplaced Pages:Requests for comment← Previous edit | Latest revision as of 23:59, 5 August 2024 edit undoQuondum (talk | contribs)Extended confirmed users36,908 edits some cleanup | ||
(217 intermediate revisions by more than 100 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Apparent lack of definite state before measurement of quantum systems}} | |||
{{original research}} {{npov}} | |||
{{Use American English|date=January 2019}}{{Quantum mechanics}}{{More citations needed|date=December 2008}} | |||
'''Quantum indeterminacy''' (a terminology preferred over ''nondeterminism'' by ]) is the apparent ''necessary'' incompleteness in the description of a physical system, that has become one the of characteristics of ]. Prior to quantum physics, it was thought that a physical system had a determinate ] which (a) uniquely determined all the values of its measurable properties and conversely (b) the values of its measurable properties uniquely determined the state. The subject matter of physics was discovering the laws that characterized the behavior of system state. ] may have been the first person to carefully point out the radical effect the new quantum physics would have on our notion of physical state (see below). | |||
'''Quantum indeterminacy''' is the apparent ''necessary'' incompleteness in the description of a ], that has become one of the characteristics of the standard description of ]. Prior to quantum physics, it was thought that | |||
{{ordered list | list-style-type = lower-alpha | |||
| a physical system had a determinate ] that uniquely determined all the values of its measurable properties, and | |||
| ], the values of its measurable properties uniquely determined the state. | |||
}} | |||
Quantum indeterminacy can be quantitatively characterized by a ] on the set of outcomes of |
'''Quantum indeterminacy''' can be quantitatively characterized by a ] on the set of outcomes of ] of an ]. The distribution is uniquely determined by the system state, and moreover quantum mechanics provides a recipe for calculating this probability distribution. | ||
Indeterminacy in measurement was not an innovation of quantum mechanics, since it had been established early on by experimentalists that ] in measurement may lead to indeterminate outcomes. By the later half of the 18th century, measurement errors were well understood, and it was known that they could either be reduced by better equipment or accounted for by statistical error models. In quantum mechanics, however, ] is of a much more fundamental nature, having nothing to do with errors or disturbance. | |||
==Variability and errors == | |||
== Measurement == | |||
Variability of outcomes in the measurement process was not an innovation of quantum mechanics. By the end of the ], measurement variability was thought to be a well understood matter. It could be reduced by better equipment, and accounted for by statistical error models. The general supposition was that there was a "true" value to be measured and that the variation was due to "errors in measurement" explainable by some "error parameter." | |||
An adequate account of quantum indeterminacy requires a theory of measurement. Many theories have been proposed since the beginning of ] and ] continues to be an active research area in both theoretical and experimental physics.<ref>V. Braginski and F. Khalili, ''Quantum Measurements'', Cambridge University Press, 1992.</ref> Possibly the first systematic attempt at a mathematical theory was developed by ]. The kinds of measurements he investigated are now called projective measurements. That theory was based in turn on the theory of ]s for ]s that had been recently developed (by von Neumann and independently by ]) and the ] (attributed by von Neumann to ]). | |||
In this formulation, the state of a physical system corresponds to a ] of length 1 in a ] ''H'' over the ]s. An observable is represented by a self-adjoint (i.e. ]) operator ''A'' on ''H''. If ''H'' is finite ], by the ], ''A'' has an ] of ]s. If the system is in state ''ψ'', then immediately after measurement the system will occupy a state that is an eigenvector ''e'' of ''A'' and the observed value ''λ'' will be the corresponding eigenvalue of the equation {{nowrap|1=''Ae'' = ''λe''}}. It is immediate from this that measurement in general will be non-deterministic. Quantum mechanics, moreover, gives a recipe for computing a probability distribution Pr on the possible outcomes given the initial system state is ''ψ''. The probability is | |||
== Measurement requires intervention == | |||
<math display="block"> \operatorname{Pr}(\lambda)= \langle \operatorname{E}(\lambda) \psi \mid \psi \rangle </math> | |||
Quantum indeterminacy is intrinsically involved with measurement which itself involves intervention. Measurement in quantum physics has proved to be unexpectedly subtle. How the might the system being measured be affected by the measuring process? | |||
where ''E''(''λ'') is the projection onto the space of eigenvectors of ''A'' with eigenvalue ''λ''. | |||
=== Example === | |||
] emphasized issues in understanding observations in the development of quantum physics including further developing the thesis that it was Einstein who saw the revolutionary implications of the observations of ] whereas even ] (who had pioneered in the work) initially resisted Einstein's views . | |||
] showing eigenvectors for Pauli Spin matrices. The Bloch sphere is a two-dimensional surface the points of which correspond to the state space of a spin 1/2 particle. At the state ''ψ'' the values of ''σ''<sub>1</sub> are +1 whereas the values of ''σ''<sub>2</sub> and ''σ''<sub>3</sub> take the values +1, −1 with probability 1/2.]] | |||
] has additional information. | |||
In this example, we consider a single ] ] (such as an electron) in which we only consider the spin degree of freedom. The corresponding Hilbert space is the two-dimensional complex Hilbert space '''C'''<sup>2</sup>, with each quantum state corresponding to a unit vector in '''C'''<sup>2</sup> (unique up to phase). In this case, the state space can be geometrically represented as the surface of a sphere, as shown in the figure on the right. | |||
==Einstein's argument for the incompleteness of quantum physics== | |||
Albert Einstein may have been the first person to carefully point out the radical effect the new quantum physics would have on our notion of physical state. Chris Fuchs recounts that Einstein developed his argument for incompleteness over a long period of time: | |||
The ] | |||
:He was the first person to say in absolutely unambiguous terms why the quantum state should be viewed as information (or, to say the same thing, as a representation of one’s beliefs and gambling commitments, credible or otherwise). His argument was simply that a quantum-state assignment for a system can be forced to go one way or the other by interacting with a part of the world that should have no causal connection with the system of interest. The paradigm here is of course the one well known through the paper]], but simpler versions of the train of thought had a long pre-history with Einstein himself (see and ). | |||
<math display="block"> | |||
\sigma_1 = | |||
\begin{pmatrix} | |||
0&1\\ | |||
1&0 | |||
\end{pmatrix}, | |||
\quad | |||
\sigma_2 = | |||
\begin{pmatrix} | |||
0&-i\\ | |||
i&0 | |||
\end{pmatrix}, | |||
\quad | |||
\sigma_3 = | |||
\begin{pmatrix} | |||
1&0\\ | |||
0&-1 | |||
\end{pmatrix} | |||
</math> | |||
are ] and correspond to spin-measurements along the 3 coordinate axes. | |||
The Pauli matrices all have the eigenvalues +1, −1. | |||
===According to Einstein, a "real state of affairs" should not depend upon measurements that can be made on other causally unconnected systems=== | |||
* For ''σ''<sub>1</sub>, these eigenvalues correspond to the eigenvectors <math display="block"> \frac{1}{\sqrt{2}} (1,1), \frac{1}{\sqrt{2}} (1,-1) </math> | |||
According to Fuchs , Einstein developed a very good argument for incompleteness: | |||
* For ''σ''<sub>3</sub>, they correspond to the eigenvectors <math display="block"> (1, 0), (0,1) </math> | |||
Thus in the state | |||
:The best was in essence this. Take two spatially separated systems ''A'' and ''B'' prepared in some entangled quantum state |ψ<sup>''AB''</sup>> ] Volume III, ], Bernard Diu and Franck Laloë 1977 Volume I and ] 2004'']. By performing the measurement of one or another of two observables on system ''A'' alone, one can immediately write down a new state for system ''B''. Either the state will be drawn from one set of states {|φ<sub>i</sub><sup>''B''</sup>>} or another {|η<sub>i</sub><sup>''B''</sup>>}, depending upon which observable is measured. The key point is that it does not matter how distant the two systems are from each other, what sort of medium they might be immersed in, or any of the other fine details of the world. Einstein concluded that whatever these things called quantum states be, they cannot be “real states of affairs” for system ''B'' alone. For, whatever the real, objective state of affairs at ''B'' is, it should not depend upon the measurements one can make on a causally unconnected system ''A''. | |||
<math display="block"> \psi = \frac{1}{\sqrt{2}} (1,1), </math> | |||
''σ''<sub>1</sub> has the determinate value +1, while measurement of ''σ''<sub>3</sub> can produce either +1, −1 each with probability 1/2. In fact, there is no state in which measurement of both ''σ''<sub>1</sub> and ''σ''<sub>3</sub> have determinate values. | |||
There are various questions that can be asked about the above indeterminacy assertion. | |||
===According to Einstein, quantum state is not a complete description of a physical system=== | |||
# Can the apparent indeterminacy be construed as in fact deterministic, but dependent upon quantities not modeled in the current theory, which would therefore be incomplete? More precisely, are there ''hidden variables'' that could account for the statistical indeterminacy in a completely classical way? | |||
Einstein's argument shows that quantum state is not a complete description of a physical system, according to Fuchs : | |||
# Can the indeterminacy be understood as a disturbance of the system being measured? | |||
Von Neumann formulated the question 1) and provided an argument why the answer had to be no, ''if'' one accepted the formalism he was proposing. However, according to Bell, von Neumann's formal proof did not justify his informal conclusion.<ref>J.S. Bell, ''Speakable and Unspeakable in Quantum Mechanics'', Cambridge University Press, 2004, pg. 5.</ref> A definitive but partial negative answer to 1) has been established by experiment: because ] are violated, any such hidden variable(s) cannot be ''local'' (see ]). | |||
The answer to 2) depends on how disturbance is understood, particularly since measurement entails disturbance (however note that this is the ], which is distinct from the uncertainty principle). Still, in the most natural interpretation the answer is also no. To see this, consider two sequences of measurements: (A) that measures exclusively ''σ''<sub>1</sub> and (B) that measures only ''σ''<sub>3</sub> of a spin system in the state ''ψ''. The measurement outcomes of (A) are all +1, while the statistical distribution of the measurements (B) is still divided between +1, −1 with equal probability. | |||
:Thus one must take it seriously that the new state (either a |φ<sub>i</sub><sup>''B''</sup>> or |η<sub>i</sub><sup>''B''</sup>>) represents information about system ''B''. In making a measurement on ''A'', one learns something about B, but that is where the story ends. The state change cannot be construed to be something more physical than that. More particularly, the final state itself for ''B'' cannot be viewed as more than a reflection of some tricky combination of one’s initial information and the knowledge gained through the measurement. Expressed in the language of Einstein, the quantum state cannot be a “complete” description of the quantum system. | |||
== |
=== Other examples of indeterminacy === | ||
Quantum indeterminacy can also be illustrated in terms of a particle with a definitely measured momentum for which there must be a fundamental limit to how precisely its location can be specified. This quantum ] can be expressed in terms of other variables, for example, a particle with a definitely measured energy has a fundamental limit to how precisely one can specify how long it will have that energy. | |||
Einstein never fully accepted the necessary incompleteness of quantum physics. In a 1926 letter to ], he made a remark that is now famous: | |||
The magnitude involved in quantum uncertainty is on the order of the ] ({{physconst|h}}). | |||
:Quantum mechanics is certainly imposing. But an inner voice tells me it is not yet the real thing. The theory says a lot, but does not really bring us any closer to the secret of the Old One. I, at any rate, am convinced that He does not throw dice. | |||
== Indeterminacy and incompleteness == | |||
Einstein was mistaken according to ] in , | |||
Quantum indeterminacy is the assertion that the state of a system does not determine a unique collection of values for all its measurable properties. Indeed, according to the ], in the quantum mechanical formalism it is impossible that, for a given quantum state, each one of these measurable properties (]s) has a determinate (sharp) value. The values of an observable will be obtained non-deterministically in accordance with a probability distribution that is uniquely determined by the system state. Note that the state is destroyed by measurement, so when we refer to a collection of values, each measured value in this collection must be obtained using a freshly prepared state. | |||
This indeterminacy might be regarded as a kind of essential incompleteness in our description of a physical system. Notice however, that the indeterminacy as stated above only applies to values of measurements not to the quantum state. For example, in the spin 1/2 example discussed above, the system can be prepared in the state ''ψ'' by using measurement of ''σ''<sub>1</sub> as a ''filter'' that retains only those particles such that ''σ''<sub>1</sub> yields +1. By the von Neumann (so-called) postulates, immediately after the measurement the system is assuredly in the state ''ψ''. | |||
:His views were summed up in his famous phrase, 'God does not play dice'. He seemed to have felt that the uncertainty was only provisional: but that there was an underlying reality, in which particles would have well defined positions and speeds, and would evolve according to deterministic laws, in the spirit of ]. This reality might be known to God, but the quantum nature of light would prevent us seeing it, except through a glass darkly. | |||
However, ] believed that quantum state cannot be a complete description of a physical system and, it is commonly thought, never came to terms with quantum mechanics. In fact, Einstein, ] and ] showed that if quantum mechanics is correct, then the classical view of how the real world works (at least after special relativity) is no longer tenable. This view included the following two ideas: | |||
:Einstein's view was what would now be called, a ]. Hidden variable theories might seem to be the most obvious way to incorporate the Uncertainty Principle into physics. They form the basis of the mental picture of the universe, held by many scientists, and almost all ]. But these hidden variable theories are wrong. The British physicist, ], who died recently, devised an ] that would distinguish hidden variable theories. When the experiment was carried out carefully, the results were inconsistent with hidden variables. Thus it seems that even God is bound by the Uncertainty Principle, and can not know both the position, and the speed, of a particle. So God does play dice with the universe. All the evidence points to him being an inveterate gambler, who throws the dice on every possible occasion. | |||
# A measurable property of a physical system whose value can be predicted with certainty is actually an element of (local) reality (this was the terminology used by ]). | |||
# Effects of local actions have a finite propagation speed. | |||
This failure of the classical view was one of the conclusions of the EPR ] in which two remotely located ], now commonly referred to as ], perform independent measurements of spin on a pair of electrons, prepared at a source in a special state called a ] state. It was a conclusion of EPR, using the formal apparatus of quantum theory, that once Alice measured spin in the ''x'' direction, Bob's measurement in the ''x'' direction was determined with certainty, whereas immediately before Alice's measurement Bob's outcome was only statistically determined. From this it follows that either value of spin in the ''x'' direction is not an element of reality or that the effect of Alice's measurement has infinite speed of propagation. | |||
== Indeterminacy for mixed states == | |||
Heisenberg later recalled arguing with Einstein 1925-1927 in that the uncertainty principle meant the incompleteness of information in quantum physics was necessary: | |||
:Namely, could it not be true that nature only allows for such situations which can be described with a mathematical scheme? Up to that moment, we had asked the opposite question. We had asked, given the situations in nature like the ] in a ], how can it be described with a mathematical scheme? But that wouldn't work, because by using such a word like "orbit", we of course assumed already that the ] had a position and had a velocity. But by turning it around, one could at once see that now it's possible, if I say nature only allows such situations as can be described with a mathematical scheme, then '''you can say, well, this orbit is really not a complete orbit. Actually, at every moment the electron has only an inaccurate position and an inaccurate velocity, and between these two inaccuracies there is this ].''' And only by this idea it was possible to say what such an orbit was. | |||
We have described indeterminacy for a quantum system that is in a ]. ]s are a more general kind of state obtained by a statistical mixture of pure states. For mixed states | |||
Chris Fuchs summed up the reality of the necessary incompleteness of information in quantum physics as follows: | |||
the "quantum recipe" for determining the probability distribution of a measurement is determined as follows: | |||
Let ''A'' be an observable of a quantum mechanical system. ''A'' is given by a densely | |||
:Incompleteness, it seems, is here to stay: The theory prescribes that no matter how much we know about a quantum system—even when we have maximal information about it—there will always be a statistical residue. There will always be questions that we can ask of a system for which we cannot predict the outcomes. In quantum theory, maximal information is simply not complete information . But neither can it be completed. | |||
defined self-adjoint operator on ''H''. The ] of ''A'' is a projection-valued measure defined by the condition | |||
: <math> \operatorname{E}_A(U) = \int_U \lambda \, d \operatorname{E}(\lambda), </math> | |||
for every Borel subset ''U'' of '''R'''. Given a mixed state ''S'', we introduce the ''distribution'' of ''A'' under ''S'' as follows: | |||
: <math> \operatorname{D}_A(U) = \operatorname{Tr}(\operatorname{E}_A(U) S). </math> | |||
This is a probability measure defined on the Borel subsets of '''R''' that is the probability distribution obtained by measuring ''A'' in ''S''. | |||
The kind of information about the physical world that is available to us according to Fuchs is “the potential consequences of our experimental interventions into nature” which is the subject matter of quantum physics. | |||
== Logical independence and quantum randomness == | |||
== Single particle indeterminacy == | |||
Quantum indeterminacy is often understood as information (or lack of it) whose existence we infer, occurring in individual quantum systems, prior to measurement. ''Quantum randomness'' is the statistical manifestation of that indeterminacy, witnessable in results of experiments repeated many times. However, the relationship between quantum indeterminacy and randomness is subtle and can be considered differently.<ref>Gregg Jaeger, "Quantum randomness and unpredictability" | |||
Quantum uncertainty can be illustrated in terms of a particle with a definitely measured momentum for which there must be a fundamental limit to how precisely its location can be specified. This quantum uncertainty principle can be expressed in terms of other variables, for example, a particle with a definitely measured energy has a fundamental limit to how precisely one can specify how long it will have that energy. | |||
Philosophical Transactions of the Royal Society of London A doi/10.1002/prop.201600053 (2016)|Online=http://onlinelibrary.wiley.com/doi/10.1002/prop.201600053/epdf PDF</ref> | |||
The units involved in quantum uncertainty are on the order of ] (found experimentally to be 6.6 x 10<sup>-34</sup> J·s). | |||
In ''classical physics'', experiments of chance, such as coin-tossing and dice-throwing, are deterministic, in the sense that, perfect knowledge of the initial conditions would render outcomes perfectly predictable. The ‘randomness’ stems from ignorance of physical information in the initial toss or throw. In diametrical contrast, in the case of ''quantum physics'', the theorems of Kochen and Specker,<ref>S Kochen and E P Specker, ''The problem of hidden variables in quantum mechanics'', Journal of Mathematics and Mechanics '''17''' (1967), 59–87.</ref> the inequalities of John Bell,<ref>John Bell, ''On the Einstein Podolsky Rosen paradox'', Physics '''1''' (1964), 195–200.</ref> and experimental evidence of ],<ref>Alain Aspect, Jean Dalibard, and Gérard Roger, ''Experimental test of Bell’s inequalities using time-varying analyzers'', ''Physical Revue Letters'' '''49''' (1982), no. 25, 1804–1807.</ref><ref>Alain Aspect, Philippe Grangier, and Gérard Roger, ''Experimental realization of Einstein–Podolsky–Rosen–Bohm gedankenexperiment: A new violation of Bell’s inequalities'', Physical Review Letters '''49''' (1982), no. 2, 91–94.</ref> all indicate that quantum randomness does not stem from any such ''physical information''. | |||
In 2008, Tomasz Paterek et al. provided an explanation in ''mathematical information''. They proved that quantum randomness is, exclusively, the output of measurement experiments whose input settings introduce '']'' into quantum systems.<ref>Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness", ''New Journal of Physics'' '''12''' (2010), no. 013019, 1367–2630.</ref><ref>Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness – with experimental data", https://arxiv.org/pdf/0811.4542.pdf (2010).</ref> | |||
Logical independence is a well-known phenomenon in ]. It refers to the null logical connectivity that exists between mathematical propositions (in the same language) that neither prove nor disprove one another.<ref>Edward Russell Stabler, ''An introduction to mathematical thought'', Addison-Wesley Publishing Company Inc., Reading Massachusetts USA, 1948.</ref> | |||
In the work of Paterek et al., the researchers demonstrate a link connecting quantum randomness and ''logical independence'' in a formal system of Boolean propositions. In experiments measuring photon polarisation, Paterek et al. demonstrate statistics correlating predictable outcomes with logically dependent mathematical propositions, and random outcomes with propositions that are logically independent.<ref>Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness", ''New Journal of Physics'' '''12''' (2010), no. 013019, 1367–2630.</ref><ref>Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness – with experimental data", https://arxiv.org/pdf/0811.4542.pdf (2010).</ref> | |||
In 2020, Steve Faulkner reported on work following up on the findings of Tomasz Paterek et al.; showing what logical independence in the Paterek Boolean propositions means, in the domain of Matrix Mechanics proper. He showed how indeterminacy's ''indefiniteness'' arises in evolved density operators representing mixed states, where measurement processes encounter irreversible 'lost history' and ingression of ambiguity.<ref>Steve Faulkner, ''The Underlying Machinery of Quantum Indeterminacy'' (2020). </ref> | |||
== See also == | == See also == | ||
{{Portal|Physics}} | |||
{{div col|colwidth=28em}} | |||
* ] | |||
* ] | |||
* ] | |||
* ]: ] | |||
* ] | |||
* ] | |||
* ] | |||
* ] | |||
* ] | |||
{{div col end}} | |||
== Notes == | |||
* ] | |||
{{reflist}} | |||
* ] | |||
* just about any of the ] articles | |||
== |
== References == | ||
* A. Aspect, ''Bell's inequality test: more ideal than ever'', Nature '''398''' 189 (1999). | |||
*A. Einstein, B. Podolsky, and N. Rosen,''Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?'' Phys. Rev. 47, 777–780 (1935). | |||
* G. Bergmann, ''The Logic of Quanta'', American Journal of Physics, 1947. Reprinted in Readings in the Philosophy of Science, Ed. H. Feigl and M. Brodbeck, Appleton-Century-Crofts, 1953. Discusses measurement, accuracy and determinism. | |||
*W. Pauli, letter to M. Fierz dated 10 August 1954, reprinted and translated in K. V. Laurikainen, Beyond the Atom: The Philosophical Thought of Wolfgang Pauli, (Springer-Verlag, Berlin, 1988), p. 226. | |||
* J.S. Bell, ''On the Einstein–Poldolsky–Rosen paradox'', Physics '''1''' 195 (1964). | |||
* ], ''Causality and Chance in Modern Physics'', forward by ], University of Pennsylvania Press, 1957. ISBN 0812210026 | |||
* A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev. '''47''' 777 (1935). {{Webarchive|url=https://web.archive.org/web/20060208145129/http://prola.aps.org/abstract/PR/v47/i10/p777_1 |date=2006-02-08 }} | |||
* Werner Heisenberg. ''Physics and Beyond: Encounters and Conversations'' translated by A. J. Pomerans (Harper & Row, New York, 1971), pp. 63–64. | |||
* G. Mackey, ''Mathematical Foundations of Quantum Mechanics'', W. A. Benjamin, 1963 (paperback reprint by Dover 2004). | |||
*Claude Cohen-Tannoudji, Bernard Diu and Franck Laloë. ''Mecanique quantique'' (see also ''Quantum Mechanics'' translated from the French by Susan Hemley, Nicole Ostrowsky, and Dan Ostrowsky; John Wiley & Sons 1982) Hermann, Paris, France. 1977. | |||
* J. von Neumann, ''Mathematical Foundations of Quantum Mechanics'', Princeton University Press, 1955. Reprinted in paperback form. Originally published in German in 1932. | |||
*M. Jammer, ''The EPR Problem in Its Historical Development'' in Symposium on the Foundations of Modern Physics: 50 years of the Einstein-Podolsky-Rosen Gedankenexperiment, edited by P. Lahti and P. Mittelstaedt (World Scientific, Singapore, 1985), pp. 129–149. | |||
* |
* R. Omnès, ''Understanding Quantum Mechanics'', Princeton University Press, 1999. | ||
*Thomas Kuhn. ''], 1894-1912'' Chicago University Press. 1987. | |||
*A. Peres, ''Quantum Theory: Concepts and Methods,'' (Kluwer, Dordrecht, 1993). | |||
*C. M. Caves and C. A. Fuchs,''Quantum Information: How Much Information in a State Vector?'' in The Dilemma of Einstein, Podolsky and Rosen – 60 Years Later, edited by A. Mann and M. Revzen, Ann. Israel Phys. Soc. 12, 226–257 (1996). | |||
* Orly Alter and Yoshihisa Yamamoto. ''Quantum Measurement of a Single System'' Johh Wiley and Sons. 2001. | |||
* Christopher Fuchs, ''Quantum mechanics as quantum information (and only a little more)'' in A. Khrenikov (ed.) Quantum Theory: Reconstruction of Foundations (Växjo: Växjo University Press, 2002). | |||
*Asher Peres and Daniel Terno. ''Quantum Information and Relativity Theory'' Rev.Mod.Phys. 76 (2004) 93. | |||
*Roger Penrose. ''The Road to Reality: A Complete Guide to the Laws of the Universe'' Alfred Knopf. 2004. | |||
==External |
== External links == | ||
* See especially part III "Misconceptions regarding measurement". | |||
{{DEFAULTSORT:Quantum Indeterminacy}} | |||
] | ] | ||
] | ] |
Latest revision as of 23:59, 5 August 2024
Apparent lack of definite state before measurement of quantum systemsPart of a series of articles about |
Quantum mechanics |
---|
Schrödinger equation |
Background |
Fundamentals |
Experiments |
Formulations |
Equations |
Interpretations |
Advanced topics |
Scientists
|
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Quantum indeterminacy" – news · newspapers · books · scholar · JSTOR (December 2008) (Learn how and when to remove this message) |
Quantum indeterminacy is the apparent necessary incompleteness in the description of a physical system, that has become one of the characteristics of the standard description of quantum physics. Prior to quantum physics, it was thought that
- a physical system had a determinate state that uniquely determined all the values of its measurable properties, and
- conversely, the values of its measurable properties uniquely determined the state.
Quantum indeterminacy can be quantitatively characterized by a probability distribution on the set of outcomes of measurements of an observable. The distribution is uniquely determined by the system state, and moreover quantum mechanics provides a recipe for calculating this probability distribution.
Indeterminacy in measurement was not an innovation of quantum mechanics, since it had been established early on by experimentalists that errors in measurement may lead to indeterminate outcomes. By the later half of the 18th century, measurement errors were well understood, and it was known that they could either be reduced by better equipment or accounted for by statistical error models. In quantum mechanics, however, indeterminacy is of a much more fundamental nature, having nothing to do with errors or disturbance.
Measurement
An adequate account of quantum indeterminacy requires a theory of measurement. Many theories have been proposed since the beginning of quantum mechanics and quantum measurement continues to be an active research area in both theoretical and experimental physics. Possibly the first systematic attempt at a mathematical theory was developed by John von Neumann. The kinds of measurements he investigated are now called projective measurements. That theory was based in turn on the theory of projection-valued measures for self-adjoint operators that had been recently developed (by von Neumann and independently by Marshall Stone) and the Hilbert space formulation of quantum mechanics (attributed by von Neumann to Paul Dirac).
In this formulation, the state of a physical system corresponds to a vector of length 1 in a Hilbert space H over the complex numbers. An observable is represented by a self-adjoint (i.e. Hermitian) operator A on H. If H is finite dimensional, by the spectral theorem, A has an orthonormal basis of eigenvectors. If the system is in state ψ, then immediately after measurement the system will occupy a state that is an eigenvector e of A and the observed value λ will be the corresponding eigenvalue of the equation Ae = λe. It is immediate from this that measurement in general will be non-deterministic. Quantum mechanics, moreover, gives a recipe for computing a probability distribution Pr on the possible outcomes given the initial system state is ψ. The probability is where E(λ) is the projection onto the space of eigenvectors of A with eigenvalue λ.
Example
In this example, we consider a single spin 1/2 particle (such as an electron) in which we only consider the spin degree of freedom. The corresponding Hilbert space is the two-dimensional complex Hilbert space C, with each quantum state corresponding to a unit vector in C (unique up to phase). In this case, the state space can be geometrically represented as the surface of a sphere, as shown in the figure on the right.
The Pauli spin matrices are self-adjoint and correspond to spin-measurements along the 3 coordinate axes.
The Pauli matrices all have the eigenvalues +1, −1.
- For σ1, these eigenvalues correspond to the eigenvectors
- For σ3, they correspond to the eigenvectors
Thus in the state σ1 has the determinate value +1, while measurement of σ3 can produce either +1, −1 each with probability 1/2. In fact, there is no state in which measurement of both σ1 and σ3 have determinate values.
There are various questions that can be asked about the above indeterminacy assertion.
- Can the apparent indeterminacy be construed as in fact deterministic, but dependent upon quantities not modeled in the current theory, which would therefore be incomplete? More precisely, are there hidden variables that could account for the statistical indeterminacy in a completely classical way?
- Can the indeterminacy be understood as a disturbance of the system being measured?
Von Neumann formulated the question 1) and provided an argument why the answer had to be no, if one accepted the formalism he was proposing. However, according to Bell, von Neumann's formal proof did not justify his informal conclusion. A definitive but partial negative answer to 1) has been established by experiment: because Bell's inequalities are violated, any such hidden variable(s) cannot be local (see Bell test experiments).
The answer to 2) depends on how disturbance is understood, particularly since measurement entails disturbance (however note that this is the observer effect, which is distinct from the uncertainty principle). Still, in the most natural interpretation the answer is also no. To see this, consider two sequences of measurements: (A) that measures exclusively σ1 and (B) that measures only σ3 of a spin system in the state ψ. The measurement outcomes of (A) are all +1, while the statistical distribution of the measurements (B) is still divided between +1, −1 with equal probability.
Other examples of indeterminacy
Quantum indeterminacy can also be illustrated in terms of a particle with a definitely measured momentum for which there must be a fundamental limit to how precisely its location can be specified. This quantum uncertainty principle can be expressed in terms of other variables, for example, a particle with a definitely measured energy has a fundamental limit to how precisely one can specify how long it will have that energy. The magnitude involved in quantum uncertainty is on the order of the Planck constant (6.62607015×10 J⋅Hz).
Indeterminacy and incompleteness
Quantum indeterminacy is the assertion that the state of a system does not determine a unique collection of values for all its measurable properties. Indeed, according to the Kochen–Specker theorem, in the quantum mechanical formalism it is impossible that, for a given quantum state, each one of these measurable properties (observables) has a determinate (sharp) value. The values of an observable will be obtained non-deterministically in accordance with a probability distribution that is uniquely determined by the system state. Note that the state is destroyed by measurement, so when we refer to a collection of values, each measured value in this collection must be obtained using a freshly prepared state.
This indeterminacy might be regarded as a kind of essential incompleteness in our description of a physical system. Notice however, that the indeterminacy as stated above only applies to values of measurements not to the quantum state. For example, in the spin 1/2 example discussed above, the system can be prepared in the state ψ by using measurement of σ1 as a filter that retains only those particles such that σ1 yields +1. By the von Neumann (so-called) postulates, immediately after the measurement the system is assuredly in the state ψ.
However, Albert Einstein believed that quantum state cannot be a complete description of a physical system and, it is commonly thought, never came to terms with quantum mechanics. In fact, Einstein, Boris Podolsky and Nathan Rosen showed that if quantum mechanics is correct, then the classical view of how the real world works (at least after special relativity) is no longer tenable. This view included the following two ideas:
- A measurable property of a physical system whose value can be predicted with certainty is actually an element of (local) reality (this was the terminology used by EPR).
- Effects of local actions have a finite propagation speed.
This failure of the classical view was one of the conclusions of the EPR thought experiment in which two remotely located observers, now commonly referred to as Alice and Bob, perform independent measurements of spin on a pair of electrons, prepared at a source in a special state called a spin singlet state. It was a conclusion of EPR, using the formal apparatus of quantum theory, that once Alice measured spin in the x direction, Bob's measurement in the x direction was determined with certainty, whereas immediately before Alice's measurement Bob's outcome was only statistically determined. From this it follows that either value of spin in the x direction is not an element of reality or that the effect of Alice's measurement has infinite speed of propagation.
Indeterminacy for mixed states
We have described indeterminacy for a quantum system that is in a pure state. Mixed states are a more general kind of state obtained by a statistical mixture of pure states. For mixed states the "quantum recipe" for determining the probability distribution of a measurement is determined as follows:
Let A be an observable of a quantum mechanical system. A is given by a densely defined self-adjoint operator on H. The spectral measure of A is a projection-valued measure defined by the condition
for every Borel subset U of R. Given a mixed state S, we introduce the distribution of A under S as follows:
This is a probability measure defined on the Borel subsets of R that is the probability distribution obtained by measuring A in S.
Logical independence and quantum randomness
Quantum indeterminacy is often understood as information (or lack of it) whose existence we infer, occurring in individual quantum systems, prior to measurement. Quantum randomness is the statistical manifestation of that indeterminacy, witnessable in results of experiments repeated many times. However, the relationship between quantum indeterminacy and randomness is subtle and can be considered differently.
In classical physics, experiments of chance, such as coin-tossing and dice-throwing, are deterministic, in the sense that, perfect knowledge of the initial conditions would render outcomes perfectly predictable. The ‘randomness’ stems from ignorance of physical information in the initial toss or throw. In diametrical contrast, in the case of quantum physics, the theorems of Kochen and Specker, the inequalities of John Bell, and experimental evidence of Alain Aspect, all indicate that quantum randomness does not stem from any such physical information.
In 2008, Tomasz Paterek et al. provided an explanation in mathematical information. They proved that quantum randomness is, exclusively, the output of measurement experiments whose input settings introduce logical independence into quantum systems.
Logical independence is a well-known phenomenon in Mathematical Logic. It refers to the null logical connectivity that exists between mathematical propositions (in the same language) that neither prove nor disprove one another.
In the work of Paterek et al., the researchers demonstrate a link connecting quantum randomness and logical independence in a formal system of Boolean propositions. In experiments measuring photon polarisation, Paterek et al. demonstrate statistics correlating predictable outcomes with logically dependent mathematical propositions, and random outcomes with propositions that are logically independent.
In 2020, Steve Faulkner reported on work following up on the findings of Tomasz Paterek et al.; showing what logical independence in the Paterek Boolean propositions means, in the domain of Matrix Mechanics proper. He showed how indeterminacy's indefiniteness arises in evolved density operators representing mixed states, where measurement processes encounter irreversible 'lost history' and ingression of ambiguity.
See also
- Complementarity (physics)
- Counterfactual definiteness
- EPR paradox
- Interpretations of quantum mechanics: Comparisons chart
- Quantum contextuality
- Quantum entanglement
- Quantum measurement
- Quantum mechanics
- Uncertainty principle
Notes
- V. Braginski and F. Khalili, Quantum Measurements, Cambridge University Press, 1992.
- J.S. Bell, Speakable and Unspeakable in Quantum Mechanics, Cambridge University Press, 2004, pg. 5.
- "2022 CODATA Value: Planck constant". The NIST Reference on Constants, Units, and Uncertainty. NIST. May 2024. Retrieved 2024-05-18.
- Gregg Jaeger, "Quantum randomness and unpredictability" Philosophical Transactions of the Royal Society of London A doi/10.1002/prop.201600053 (2016)|Online=http://onlinelibrary.wiley.com/doi/10.1002/prop.201600053/epdf PDF
- S Kochen and E P Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967), 59–87.
- John Bell, On the Einstein Podolsky Rosen paradox, Physics 1 (1964), 195–200.
- Alain Aspect, Jean Dalibard, and Gérard Roger, Experimental test of Bell’s inequalities using time-varying analyzers, Physical Revue Letters 49 (1982), no. 25, 1804–1807.
- Alain Aspect, Philippe Grangier, and Gérard Roger, Experimental realization of Einstein–Podolsky–Rosen–Bohm gedankenexperiment: A new violation of Bell’s inequalities, Physical Review Letters 49 (1982), no. 2, 91–94.
- Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness", New Journal of Physics 12 (2010), no. 013019, 1367–2630.
- Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness – with experimental data", https://arxiv.org/pdf/0811.4542.pdf (2010).
- Edward Russell Stabler, An introduction to mathematical thought, Addison-Wesley Publishing Company Inc., Reading Massachusetts USA, 1948.
- Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness", New Journal of Physics 12 (2010), no. 013019, 1367–2630.
- Tomasz Paterek, Johannes Kofler, Robert Prevedel, Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, and Caslav Brukner, "Logical independence and quantum randomness – with experimental data", https://arxiv.org/pdf/0811.4542.pdf (2010).
- Steve Faulkner, The Underlying Machinery of Quantum Indeterminacy (2020).
References
- A. Aspect, Bell's inequality test: more ideal than ever, Nature 398 189 (1999).
- G. Bergmann, The Logic of Quanta, American Journal of Physics, 1947. Reprinted in Readings in the Philosophy of Science, Ed. H. Feigl and M. Brodbeck, Appleton-Century-Crofts, 1953. Discusses measurement, accuracy and determinism.
- J.S. Bell, On the Einstein–Poldolsky–Rosen paradox, Physics 1 195 (1964).
- A. Einstein, B. Podolsky, and N. Rosen, Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47 777 (1935). Archived 2006-02-08 at the Wayback Machine
- G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963 (paperback reprint by Dover 2004).
- J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955. Reprinted in paperback form. Originally published in German in 1932.
- R. Omnès, Understanding Quantum Mechanics, Princeton University Press, 1999.
External links
- Common Misconceptions Regarding Quantum Mechanics See especially part III "Misconceptions regarding measurement".