Misplaced Pages

Observable: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 01:43, 5 November 2004 editABCD (talk | contribs)11,256 editsNo edit summary← Previous edit Latest revision as of 23:34, 27 August 2024 edit undoFgnievinski (talk | contribs)Autopatrolled, Extended confirmed users67,185 edits Compatible and incompatible observables in quantum mechanics 
(173 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
{{Short description|Any entity that can be measured}}
In ], particularly in ] a system '''observable''' is a property of the ] that can be determined by some sequence of physical ]. These operations might involve submitting the system to various ]s and eventually reading a value off some gauge. In systems governed by ] any ]ally observable value can be shown to be given by a ]-valued ] on the set of all possible system states. In ], on the other hand, the relation between system state and the value of an observable is more subtle, requiring some basic ] to explain. In the ], states are given by non-zero ]s in a ] ''V'' (where two vectors are considered to specify the same state if, and only if, they are scalar mutiples of each other) and observables are given by ]s on ''V''. However, as indicated below, not every self-adjoint operator corresponds to a physically meaningful observable. For the case of a system of ]s, the space ''V'' consists of functions called ]s.
{{About|the use in physics|the use in statistics|Observable variable|the use in control theory|Observability|the use in software engineering|Observer pattern}}


{{More footnotes|date=May 2009}}
In quantum mechanics, the measurement process exhibits some seemingly mysterious phenomena. This often leads to many misconceptions about the nature of quantum mechanics itself. Many of these misconceptions lead to frivolous speculations about the relation between consciousness and the material world (see external links). The facts of the matter, however, are far more prosaic. Specifically, if a system is in a state described by a wave function, the measurement process affects the state in a non-deterministic, but statistically predictable way. In particular, after a measurement is applied, the state description by a single wave function may be destroyed, being replaced by a ] of wave functions. The ] nature of measurement operations in quantum physics is sometimes referred to as the ] and is described mathematically by ]s. By the structure of quantum operations, this description is mathematically equivalent to that offered by ] where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the ] of the state of the larger system.


In ], an '''observable''' is a ] or ] that can be ]. In ], an observable is a ]-valued "function" on the set of all possible system states, e.g., ] and ]. In ], an observable is an ], or ], where the property of the ] can be determined by some sequence of ]. For example, these operations might involve submitting the system to various ]s and eventually reading a value.
Physically meaningful observables must also satisfy ]s which relate observations performed by different ]s in different ]. These transformation laws are ]s of the state space, that is ] ]s which preserve some mathematical property. In the case of quantum mechanics, the requisite automorphisms are ] (or ]) linear transformations of the Hilbert space ''V''. Under ] or ], the mathematics of frames of reference is particularly simple, and in fact restricts considerably the set of physically meaningful observables.


Physically meaningful observables must also satisfy ] laws that relate observations performed by different ]s in different ]. These transformation laws are ]s of the ], that is ] ]s that preserve certain mathematical properties of the space in question.
== References ==


== Quantum mechanics ==
* S. Auyang, ''How is Quantum Field Theory Possible'', Oxford University Press, 1995.
* G. Mackey, ''Mathematical Foundations of Quantum Mechanics'', W. A. Benjamin, 1963.
* V. Varadarajan, ''The Geometry of Quantum Mechanics'' vols 1 and 2, Springer-Verlag 1985.
]


In ], observables manifest as ] on a ] ] ] representing the ].{{sfn | Teschl | 2014 | pp=65-66}} Observables assign values to outcomes of ''particular measurements'', corresponding to the ] of the operator. If these outcomes represent physically allowable states (i.e. those that belong to the Hilbert space) the eigenvalues are ]; however, the converse is not necessarily true.<ref>See page 20 of {{Webarchive|url=https://web.archive.org/web/20230829114950/https://bohr.physics.berkeley.edu/classes/221/1112/notes/hilbert.pdf|date=2023-08-29}} for a mathematical discussion using the momentum operator as specific example.</ref>{{sfn|de la Madrid Modino|2001|pp=95-97}}<ref>{{cite book |last1=Ballentine |first1=Leslie |title=Quantum Mechanics: A Modern Development |date=2015 |publisher=World Scientific |isbn=978-9814578578 |page=49 |edition=2 |url=https://books.google.com/books?id=2JShngEACAAJ}}</ref> As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, ''any'' measurement can be made to determine the value of an observable.
== External links ==


The relation between the state of a quantum system and the value of an observable requires some ] for its description. In the ], up to a ], ]s are given by non-zero ]s in a ] ''V''. Two vectors '''v''' and '''w''' are considered to specify the same state if and only if <math>\mathbf{w} = c\mathbf{v}</math> for some non-zero <math>c \in \Complex</math>. Observables are given by ]s on ''V''. Not every self-adjoint operator corresponds to a physically meaningful observable.<ref>{{cite book |last1=Isham |first1=Christopher |author1link = Christopher Isham|title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref><ref>{{Citation | last1=Mackey | first1=George Whitelaw | author1-link=George Mackey | title=Mathematical Foundations of Quantum Mechanics | publisher=] | location=New York | series=Dover Books on Mathematics | isbn=978-0-486-43517-6 | year=1963}}</ref><ref>{{Citation | last1=Emch | first1=Gerard G. | title=Algebraic methods in statistical mechanics and quantum field theory | publisher=] | isbn=978-0-471-23900-0 | year=1972}}</ref><ref>{{cite web |title=Not all self-adjoint operators are observables? |url=https://physics.stackexchange.com/questions/373357/not-all-self-adjoint-operators-are-observables |website=Physics Stack Exchange |access-date=11 February 2022}}</ref> Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.<ref>{{cite book |last1=Isham |first1=Christopher |title=Lectures On Quantum Theory: Mathematical And Structural Foundations |date=1995 |publisher=World Scientific |isbn=191129802X |pages=87–88 |url=https://books.google.com/books?id=vM02DwAAQBAJ}}</ref>
A critical essay by ] on ], ] and ].


In the case of transformation laws in quantum mechanics, the requisite automorphisms are ] (or ]) ]s of the Hilbert space ''V''. Under ] or ], the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables.
]

In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a ], the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a ]. The ] nature of measurement operations in quantum physics is sometimes referred to as the ] and is described mathematically by ]s. By the structure of quantum operations, this description is mathematically equivalent to that offered by the ] where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the ] of the state of the larger system.

In quantum mechanics, dynamical variables <math>A</math> such as position, translational (linear) ], ], ], and ] are each associated with a ] <math>\hat{A}</math> that acts on the ] of the quantum system. The ] of operator <math>\hat{A}</math> correspond to the possible values that the dynamical variable can be observed as having. For example, suppose <math>|\psi_{a}\rangle</math> is an eigenket (]) of the observable <math>\hat{A}</math>, with eigenvalue <math>a</math>, and exists in a ]. Then
<math display="block">\hat{A}|\psi_a\rangle = a|\psi_a\rangle.</math>

This eigenket equation says that if a ] of the observable <math>\hat{A}</math> is made while the system of interest is in the state <math>|\psi_a\rangle</math>, then the observed value of that particular measurement must return the eigenvalue <math>a</math> with certainty. However, if the system of interest is in the general state <math>|\phi\rangle \in \mathcal{H}</math> (and <math>|\phi\rangle</math> and <math>|\psi_a\rangle</math> are ]s, and the ] of <math>a</math> is one-dimensional), then the eigenvalue <math>a</math> is returned with probability <math>|\langle \psi_a|\phi\rangle|^2</math>, by the ].

=== Compatible and incompatible observables in quantum mechanics ===
A crucial difference between classical quantities and quantum mechanical observables is that some pairs of quantum observables may not be simultaneously measurable, a property referred to as ]. This is mathematically expressed by non-] of their corresponding operators, to the effect that the ]
<math display="block">\left := \hat{A}\hat{B} - \hat{B}\hat{A} \neq \hat{0}.</math>

This inequality expresses a dependence of measurement results on the order in which measurements of observables <math>\hat{A}</math> and <math>\hat{B}</math> are performed. A measurement of <math>\hat{A}</math> alters the quantum state in a way that is incompatible with the subsequent measurement of <math>\hat{B}</math> and vice versa.

Observables corresponding to commuting operators are called ''compatible observables''. For example, momentum along say the <math>x</math> and <math>y</math> axis are compatible. Observables corresponding to non-commuting operators are called ''incompatible observables'' or ''complementary variables''. For example, the position and momentum along the same axis are incompatible.<ref name=messiah>{{Cite book|last=Messiah|first=Albert|authorlink = Albert Messiah|title=Quantum Mechanics|date=1966|publisher=North Holland, John Wiley & Sons|isbn=0486409244|language=en}}</ref>{{rp|155}}

Incompatible observables cannot have a complete set of common ]s. Note that there can be some simultaneous eigenvectors of <math>\hat{A}</math> and <math>\hat{B}</math>, but not enough in number to constitute a complete ].<ref>{{Cite book|last=Griffiths|first=David J.|authorlink = David J. Griffiths|url=https://books.google.com/books?id=0h-nDAAAQBAJ|title=Introduction to Quantum Mechanics|date=2017|publisher=Cambridge University Press|isbn=978-1-107-17986-8|pages=111|language=en}}</ref>{{sfn | Cohen-Tannoudji | Diu | Laloë | 2019 | p=232}}

==See also==
* ]
* ]
* ]
* ]
* ]

==References==
{{reflist}}

== Further reading ==
*{{cite book|last1=Auyang|first1=Sunny Y.|title=How is quantum field theory possible?|date=1995|publisher=Oxford University Press|location=New York, N.Y.|isbn=978-0195093452}}
*{{cite book | last=Cohen-Tannoudji | first=Claude | last2=Diu | first2=Bernard | last3=Laloë | first3=Franck | title=Quantum Mechanics, Volume 1 | publisher=John Wiley & Sons | publication-place=Weinheim | date=2019 | isbn=978-3-527-34553-3}}
*{{cite thesis |last=de la Madrid Modino |first= R. |date=2001 |title= Quantum mechanics in rigged Hilbert space language|url=https://scholar.google.com/scholar?oi=bibs&cluster=2442809273695897641&btnI=1&hl=en |degree= PhD |publisher= Universidad de Valladolid}}
* {{cite book | last=Teschl | first=G. | title=Mathematical Methods in Quantum Mechanics | publisher=American Mathematical Soc. | publication-place=Providence (R.I) | date=2014 | isbn=978-1-4704-1704-8}}
*{{cite book|last1=von Neumann|first1=John|title=Mathematical foundations of quantum mechanics|date=1996|publisher=Princeton Univ. Press|location=Princeton, N.J.|isbn=978-0691028934|edition=12. print., 1. paperback print.|others=Translated by Robert T. Beyer}}
*{{cite book|last1=Varadarajan|first1=V.S.|title=Geometry of quantum theory|date=2007|publisher=Springer|location=New York|isbn=9780387493862|edition=2nd}}
*{{cite book|first1=Hermann |last1=Weyl |authorlink = Hermann Weyl|chapter=Appendix C: Quantum physics and causality |title=Philosophy of mathematics and natural science|date=2009|publisher=Princeton University Press|location=Princeton, N.J.|isbn=9780691141206|pages=253&ndash;265|others=Revised and augmented English edition based on a translation by Olaf Helmer}}
*{{cite book |last1=Moretti |first1=Valter |title=Spectral Theory and Quantum Mechanics: Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation |date=2017 |edition=2 |publisher=Springer |isbn=978-3319707068 |url=https://books.google.com/books?id=RNBJDwAAQBAJ}}
*{{cite book |last1=Moretti |first1=Valter |title=Fundamental Mathematical Structures of Quantum Theory: Spectral Theory, Foundational Issues, Symmetries, Algebraic Formulation |date=2019 |publisher=Springer |isbn=978-3030183462 |url=https://books.google.com/books?id=2UeeDwAAQBAJ}}

{{Quantum mechanics topics}}

]

Latest revision as of 23:34, 27 August 2024

Any entity that can be measured This article is about the use in physics. For the use in statistics, see Observable variable. For the use in control theory, see Observability. For the use in software engineering, see Observer pattern.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (May 2009) (Learn how and when to remove this message)

In physics, an observable is a physical property or physical quantity that can be measured. In classical mechanics, an observable is a real-valued "function" on the set of all possible system states, e.g., position and momentum. In quantum mechanics, an observable is an operator, or gauge, where the property of the quantum state can be determined by some sequence of operations. For example, these operations might involve submitting the system to various electromagnetic fields and eventually reading a value.

Physically meaningful observables must also satisfy transformation laws that relate observations performed by different observers in different frames of reference. These transformation laws are automorphisms of the state space, that is bijective transformations that preserve certain mathematical properties of the space in question.

Quantum mechanics

In quantum mechanics, observables manifest as self-adjoint operators on a separable complex Hilbert space representing the quantum state space. Observables assign values to outcomes of particular measurements, corresponding to the eigenvalue of the operator. If these outcomes represent physically allowable states (i.e. those that belong to the Hilbert space) the eigenvalues are real; however, the converse is not necessarily true. As a consequence, only certain measurements can determine the value of an observable for some state of a quantum system. In classical mechanics, any measurement can be made to determine the value of an observable.

The relation between the state of a quantum system and the value of an observable requires some linear algebra for its description. In the mathematical formulation of quantum mechanics, up to a phase constant, pure states are given by non-zero vectors in a Hilbert space V. Two vectors v and w are considered to specify the same state if and only if w = c v {\displaystyle \mathbf {w} =c\mathbf {v} } for some non-zero c C {\displaystyle c\in \mathbb {C} } . Observables are given by self-adjoint operators on V. Not every self-adjoint operator corresponds to a physically meaningful observable. Also, not all physical observables are associated with non-trivial self-adjoint operators. For example, in quantum theory, mass appears as a parameter in the Hamiltonian, not as a non-trivial operator.

In the case of transformation laws in quantum mechanics, the requisite automorphisms are unitary (or antiunitary) linear transformations of the Hilbert space V. Under Galilean relativity or special relativity, the mathematics of frames of reference is particularly simple, considerably restricting the set of physically meaningful observables.

In quantum mechanics, measurement of observables exhibits some seemingly unintuitive properties. Specifically, if a system is in a state described by a vector in a Hilbert space, the measurement process affects the state in a non-deterministic but statistically predictable way. In particular, after a measurement is applied, the state description by a single vector may be destroyed, being replaced by a statistical ensemble. The irreversible nature of measurement operations in quantum physics is sometimes referred to as the measurement problem and is described mathematically by quantum operations. By the structure of quantum operations, this description is mathematically equivalent to that offered by the relative state interpretation where the original system is regarded as a subsystem of a larger system and the state of the original system is given by the partial trace of the state of the larger system.

In quantum mechanics, dynamical variables A {\displaystyle A} such as position, translational (linear) momentum, orbital angular momentum, spin, and total angular momentum are each associated with a self-adjoint operator A ^ {\displaystyle {\hat {A}}} that acts on the state of the quantum system. The eigenvalues of operator A ^ {\displaystyle {\hat {A}}} correspond to the possible values that the dynamical variable can be observed as having. For example, suppose | ψ a {\displaystyle |\psi _{a}\rangle } is an eigenket (eigenvector) of the observable A ^ {\displaystyle {\hat {A}}} , with eigenvalue a {\displaystyle a} , and exists in a Hilbert space. Then A ^ | ψ a = a | ψ a . {\displaystyle {\hat {A}}|\psi _{a}\rangle =a|\psi _{a}\rangle .}

This eigenket equation says that if a measurement of the observable A ^ {\displaystyle {\hat {A}}} is made while the system of interest is in the state | ψ a {\displaystyle |\psi _{a}\rangle } , then the observed value of that particular measurement must return the eigenvalue a {\displaystyle a} with certainty. However, if the system of interest is in the general state | ϕ H {\displaystyle |\phi \rangle \in {\mathcal {H}}} (and | ϕ {\displaystyle |\phi \rangle } and | ψ a {\displaystyle |\psi _{a}\rangle } are unit vectors, and the eigenspace of a {\displaystyle a} is one-dimensional), then the eigenvalue a {\displaystyle a} is returned with probability | ψ a | ϕ | 2 {\displaystyle |\langle \psi _{a}|\phi \rangle |^{2}} , by the Born rule.

Compatible and incompatible observables in quantum mechanics

A crucial difference between classical quantities and quantum mechanical observables is that some pairs of quantum observables may not be simultaneously measurable, a property referred to as complementarity. This is mathematically expressed by non-commutativity of their corresponding operators, to the effect that the commutator [ A ^ , B ^ ] := A ^ B ^ B ^ A ^ 0 ^ . {\displaystyle \left:={\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}}\neq {\hat {0}}.}

This inequality expresses a dependence of measurement results on the order in which measurements of observables A ^ {\displaystyle {\hat {A}}} and B ^ {\displaystyle {\hat {B}}} are performed. A measurement of A ^ {\displaystyle {\hat {A}}} alters the quantum state in a way that is incompatible with the subsequent measurement of B ^ {\displaystyle {\hat {B}}} and vice versa.

Observables corresponding to commuting operators are called compatible observables. For example, momentum along say the x {\displaystyle x} and y {\displaystyle y} axis are compatible. Observables corresponding to non-commuting operators are called incompatible observables or complementary variables. For example, the position and momentum along the same axis are incompatible.

Incompatible observables cannot have a complete set of common eigenfunctions. Note that there can be some simultaneous eigenvectors of A ^ {\displaystyle {\hat {A}}} and B ^ {\displaystyle {\hat {B}}} , but not enough in number to constitute a complete basis.

See also

References

  1. Teschl 2014, pp. 65–66.
  2. See page 20 of Lecture notes 1 by Robert Littlejohn Archived 2023-08-29 at the Wayback Machine for a mathematical discussion using the momentum operator as specific example.
  3. de la Madrid Modino 2001, pp. 95–97.
  4. Ballentine, Leslie (2015). Quantum Mechanics: A Modern Development (2 ed.). World Scientific. p. 49. ISBN 978-9814578578.
  5. Isham, Christopher (1995). Lectures On Quantum Theory: Mathematical And Structural Foundations. World Scientific. pp. 87–88. ISBN 191129802X.
  6. Mackey, George Whitelaw (1963), Mathematical Foundations of Quantum Mechanics, Dover Books on Mathematics, New York: Dover Publications, ISBN 978-0-486-43517-6
  7. Emch, Gerard G. (1972), Algebraic methods in statistical mechanics and quantum field theory, Wiley-Interscience, ISBN 978-0-471-23900-0
  8. "Not all self-adjoint operators are observables?". Physics Stack Exchange. Retrieved 11 February 2022.
  9. Isham, Christopher (1995). Lectures On Quantum Theory: Mathematical And Structural Foundations. World Scientific. pp. 87–88. ISBN 191129802X.
  10. Messiah, Albert (1966). Quantum Mechanics. North Holland, John Wiley & Sons. ISBN 0486409244.
  11. Griffiths, David J. (2017). Introduction to Quantum Mechanics. Cambridge University Press. p. 111. ISBN 978-1-107-17986-8.
  12. Cohen-Tannoudji, Diu & Laloë 2019, p. 232.

Further reading

Quantum mechanics
Background
Fundamentals
Formulations
Equations
Interpretations
Experiments
Science
Technology
Extensions
Related
Category: