* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Observable1 The term observable has become the - Philsci
Delayed choice quantum eraser wikipedia , lookup
Identical particles wikipedia , lookup
Matter wave wikipedia , lookup
Bra–ket notation wikipedia , lookup
Basil Hiley wikipedia , lookup
Ensemble interpretation wikipedia , lookup
Double-slit experiment wikipedia , lookup
Quantum decoherence wikipedia , lookup
Wave–particle duality wikipedia , lookup
Quantum dot wikipedia , lookup
Renormalization wikipedia , lookup
Bell test experiments wikipedia , lookup
Bohr–Einstein debates wikipedia , lookup
Particle in a box wikipedia , lookup
Topological quantum field theory wikipedia , lookup
Scalar field theory wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Quantum field theory wikipedia , lookup
Quantum fiction wikipedia , lookup
Hydrogen atom wikipedia , lookup
Quantum computing wikipedia , lookup
Coherent states wikipedia , lookup
Path integral formulation wikipedia , lookup
Orchestrated objective reduction wikipedia , lookup
Quantum entanglement wikipedia , lookup
Quantum machine learning wikipedia , lookup
Quantum group wikipedia , lookup
Many-worlds interpretation wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Quantum teleportation wikipedia , lookup
Bell's theorem wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Probability amplitude wikipedia , lookup
Quantum key distribution wikipedia , lookup
Renormalization group wikipedia , lookup
History of quantum field theory wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Density matrix wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
EPR paradox wikipedia , lookup
Canonical quantization wikipedia , lookup
Observable1 The term observable has become the standard name in quantum mechanics for what used to be called physical quantity or measurable quantity in classical physics. This term derives from observable quantity (“beobachtbare Grösse”), which was used by Werner Heisenberg in his groundbreaking work on matrix mechanics [1] to emphasize that the meaning of a physical quantity must be specified by means of an operational definition. Together with a → state an observable determines the probabilities of the possible outcomes of a measurement of that observable on the quantum system prepared in the given state. Conversely, observables are identified by the totalities of their measurement outcome probabilities. Examples of observables in quantum mechanics are position, velocity, momentum, angular momentum, spin, and energy. In elementary quantum mechanics, the observables of a physical system are represented by, and identified with, → selfadjoint operators A acting in the Hilbert space H associated with the system. For any → pure states of the system, represented by a unit vector ψ ∈ H, the probability pA ψ (X) that a measurement of A leads to a result in a (Borel) set X ⊂ R is given by the inner product of ψ with E A (X)ψ, that is, A A pA ψ (X) = hψ|E (X)ψi; here E (X) is the spectral → projection of A associated with the set X, and the map X 7→ E A (X) is called the → spectral measure of A. The probability measures pA ψ , with ψ varying over all possible pure states ofR the system, determine the observable A. The expectation, or average x dpA ψ (x), of the measurement outcome distribution of an observable A in a state ψ can be expressed as hψ|Aψi whenever ψ is in the domain of the operator A. The statistical meaning of quantum observables was first recognized by Max Born [2] who proposed that, in the position representation, the absolute square |ψ|2 of the ‘wave function’ ψ gives the probability density of observing a quantum object at a given point. This idea was systematically elaborated by John von Neumann [3] who formulated and proved the spectral theorem for selfadjoint (hypermaximal hermitian) operators and applied it to obtain the interpretation of expectations as statistical averages given above. In his seminal paper on the uncertainty relations [4] Werner Heisenberg argued, among other things, that 1 In: Compendium of Quantum Physics, eds. F. Weinertg, K. Hentschel and D. Greenberger, Springer-Verlag, to appear. 1 all concepts which can be used in classical theory for the description of a mechanical system can also be defined exactly for atomic processes in analogy to classical concepts. This statement can be substantiated in precise form by virtue of the mathematical fact that for any value x in the → spectrum of a selfadjoint operator A and for each > 0 there is a state ψ such that pA ψ ((x − , x + )) = 1. In particular, if A has an eigenvalue a, that is, there is a state ψ such that Aψ = aψ, then in such an eigenstate of A a measurement of A is certain to yield the value a. Such a situation is commonly described by saying that observable A has a definite value if the state of the system is an eigenstate of A. The generic situation in quantum mechanics, however, is that most observables have no definite value in any given pure state. It is a basic feature of quantum mechanics that there are pairs of observables, such as position and momentum, which do not commute. This fact, which lies at the heart of the → complementarity principle and → uncertainty principle, reflects a fundamental limitation on the possibilities of assigning definite values to observables and to the possibilities of measurements in the quantum world. Indeed, observables A, B that do not commute do not share a complete system of eigenvectors, so that typically an eigenstate of (say) A will be a superposition of eigenstates of B. Moreover, according to a theorem due to von Neumann [5], observables A, B are jointly measurable, that is, they have a New Item for cross- joint observable (see below), if and only if they commute. ref! The idea of identifying an observable (with real values) with the totality of the outcome probabilities in a measurement does not single out spectral measures, but is exhausted by the wider class of (real) positive operator (valued) measures, or semispectral measures. A positive operator measure is a map E : X 7→ E(X) that assigns to every (Borel) subset X of R a → positive operator E(X) in such a way that for every pure state ψ the map X 7→ pE ψ (X) := hψ|E(X)ψi is a probability measure. This definition extends readily to cases where the measurement outcomes are represented as elements of Rn or more general sets. Excellent expositions of the definition and properties of positive operator measures can be found, e.g., in [8, 9]. Observables represented by positive operator measures which are not projection valued are referred to as generalized observables, or unsharp observables, while spectral measures and generally all projection valued measures are called standard, or sharp observables. Commonly used acronyms for positive operator measures are POVM or POM. 2 The generalized representation of observables as positive operator measures was discovered by several authors in the 1960s (e.g., [6, 7, 10, 11, 12, 13]) and has by now become a standard element of quantum mechanics. It has greatly advanced the mathematical coherence and conceptual clarity of the theory. For instance, the problem of the (approximate) joint measurability of noncommuting observables such as position and momentum and the relevance of the → Heisenberg uncertainty relations to this question is now fully understood. Two (real) POMs E, F are jointly measurable if and only if there is a third POM, G, defined on the (Borel) subsets of R2 , which has E and F as marginals, that is, E(X) = G(X × R) and F (Y ) = G(R × Y ) for all (Borel) subsets X, Y of R. This definition is an instance of Ludwig’s notion of coexistence: a set of → effects is coexistent if it is contained in the range of some POM [12, 13]. Similarly, a collection of observables is coexistent if their ranges are contained in the ranges of some observable. For the coexistence or joint measurability of two unsharp observables E, F , their mutual commutativity is sufficient but not necessary. If one of the observables is sharp, then coexistence implies commutativity. As two noncommuting standard observables are never jointly measurable, one can only try to approximate them (in a suitable sense) by unsharp observables which in turn may be jointly measurable. This turns out indeed to be possible as has been well demonstrated in the cases of position and momentum or spin components. [I PROPOSE to modify or cancel the next sentence: one can take any commutative sharp observable on R2 and declare it to be an approximate joint observable of position and momentum. What matters is that one insists in a “nontrivial" quality of theapproximation.] The price to be paid for the approximate joint measurability of two noncommuting observables is the unsharpness of the approximators. Finally, the introduction of POMs has widely increased the applicability of quantum mechanics in the description of realistic experiments (see, e.g., [14, 15]), and POMs are now in full use also in the relatively new fields of quantum computation and information, see, e.g., [16, 17]. References Primary: [1] Heisenberg, W.: Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen. Zeitschrift für Physik 33 (1925) 879-893. [2] Born, M.: Zur Quantenmechanik der Stoßvorgänge. Zeitschrift für Physik 37, 863-867 (1926). [3] von Neumann, J.: Mathematische Begründung der Quantenmechanik. Göttinger Nachrichten 1927, 1-57. Wahrscheinlichkeitstheoretischer Aufbau der 3 [4] [5] [6] [7] Quantenmechanik. Göttinger Nachrichten 1927, 245-272. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren, Mathematische Annalen 102, 49131 (1929). This all is summarized in his book Mathematische Grundlagen der Quantenmechanik(Springer Verlag, Berlin 1932, 2nd ed. 1996); English translation (by R. Beyer): Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton 1955). Heisenberg, W.: Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Zeitschrift für Physik 43, 172-198 (1927). von Neumann, J.: Über Funktionen von Funktionaloperatoren. Annals of Mathematics 32, 191-226 (1931). Ludwig, G.: Versuch einer axiomatischen Grundlegung der Quantenmechanik und allgemeinerer physikalischer Theorien. Zeitschrift für Physik 181 233-260 (1964). Davies, E.B./J.T. Lewis: An Operational Approach to Quantum Probability. Commun. math. Phys. 17, 239-260 (1970). Secondary: [8] Davies, E.B.: Quantum Theory of Opens Systems (Academic Press, New York 1976). [9] Berberian, S.K.: Notes on Spectral Theory (D. van Nostrand, Princeton 1966). [10] Helstrom, C.W.: Quantum Detection and Estimation Theory, Academic Press 1976. [11] Holevo, A.S.: Probabilistic and Statistical Aspects of Quantum Theory, North Holland 1982. [12] Ludwig, G.: Foundations of Quantum Mechanics (Springer Verlag, Berlin 1983). [13] Kraus, K.: States, Effects, and Operations (Springer Verlag, Berlin 1983). [14] Busch, P./M.Grabowski/P.Lahti: Operational Quantum Physics, Springer, LNP m31, 1995, 2nd Corrected Printing 1997. [15] Peres, A.: Quantum Theory: Concepts and Methods, Kluwer 1993. [16] Nielsen, M.A./I.L.Chuang: Quantum Computation and Quantum Information, Cambridge University Press 2000. [17] Stenholm, S./K.-A. Suominen: Quantum Approach to Information, John Wiley & Sons 2005. Paul Busch Department of Mathematics University of York York, England Pekka Lahti Department of Physics University of Turku Turku, Finland 4