observable in nLab
See also at quantum observable.
Context
Physics
physics, mathematical physics, philosophy of physics
Surveys, textbooks and lecture notes
theory (physics), model (physics)
experiment, measurement, computable physics
-
-
-
Axiomatizations
-
Tools
-
Structural phenomena
-
Types of quantum field thories
-
Contents
Idea
In physics and in the theory of dynamical systems (deterministic, stochastic, quantum, autonomous, nonautonomous, open, closed, discrete, continuous, with finite or infinite number of degrees of freedom…), an observable is a quantity in some theoretical framework whose value can be measured and observed in principle. Any good theoretical framework of physical phenomena should come with carefully established notion of an observable.
In classical physics
In classical mechanics an observable is any smooth function on the phase space of the system, and of time. The value of the observable is just the value of the function for fixed argument.
In quantum physics
In quantum mechanics an observable is a Hermitean operator on the physical Hilbert space of the theory. See quantum observable for more details.
In this case, one distinguishes the concepts of the expectation value of the observable and the concept of the measured value; they are evaluated in some state of the system. The expectation value can be taken in any state of the system, while the measured value is always in some eigenstate of the observable operator. The process of measurement results in the quantum mechanical collapse or reduction, in which the system passes to an eigenstate of the measured operator. The probability of taking a given eigenstate depends on the the transition matrix element from the previously prepared state to the given eigenstate.
In quantum field theory
In relativistic quantum mechanics and relativistic quantum field theory the question of observables is more complicated: issues like causality and superselection sectors are involved.
In the AQFT approach to quantum field theory the system of quantum observables localized in given spacetime regions are the very foundation of the theory, called a local net of observables (the Haag-Kastler axioms for QFT).
In non-perturbative quantum field theory the algebras of observables are meant to be C*-algebras, while in perturbative quantum field theory (perturbative AQFT) they are formal power series algebras.
types of observables in perturbative quantum field theory:
local ↘ field ⟶ linear ⟶ microcausal ⟶ polynomial ⟶ general ↗ regular \array{ && \text{local} \\ && & \searrow \\ \text{field} &\longrightarrow& \text{linear} &\longrightarrow& \text{microcausal} &\longrightarrow& \text{polynomial} &\longrightarrow& \text{general} \\ && & \nearrow \\ && \text{regular} }
duality between \;algebra and geometry
| A\phantom{A}geometryA\phantom{A} | A\phantom{A}categoryA\phantom{A} | A\phantom{A}dual categoryA\phantom{A} | A\phantom{A}algebraA\phantom{A} |
|---|---|---|---|
| A\phantom{A}topologyA\phantom{A} | A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A} | A\phantom{A}↪Gelfand-KolmogorovAlg ℝ op\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A} | A\phantom{A}commutative algebraA\phantom{A} |
| A\phantom{A}topologyA\phantom{A} | A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A} | A\phantom{A}≃Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A} | A\phantom{A}comm. C-star-algebraA\phantom{A} |
| A\phantom{A}noncomm. topologyA\phantom{A} | A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A} | A\phantom{A}≔Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A} | A\phantom{A}general C-star-algebraA\phantom{A} |
| A\phantom{A}algebraic geometryA\phantom{A} | A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A} | A\phantom{A}≃almost by def.TopAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\simeq} \phantom{Top}Alg^{op} A\phantom{A} | AA\phantom{A} \phantom{A} A\phantom{A}commutative ringA\phantom{A} |
| A\phantom{A}noncomm. algebraicA\phantom{A} A\phantom{A}geometryA\phantom{A} | A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A} | A\phantom{A}≔Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A} | A\phantom{A}fin. gen. A\phantom{A}associative algebraA\phantom{A}A\phantom{A} |
| A\phantom{A}differential geometryA\phantom{A} | A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A} | A\phantom{A}↪Pursell's theoremTopAlg comm op\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Pursell's theorem</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A} | A\phantom{A}commutative algebraA\phantom{A} |
| A\phantom{A}supergeometryA\phantom{A} | A\phantom{A}SuperSpaces Cart ℝ n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A} | A\phantom{A}↪Pursell's theorem Alg ℤ 2AAAA op ↦ C ∞(ℝ n)⊗∧ •ℝ q\array{ \overset{\phantom{\text{Pursell's theorem}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A} | A\phantom{A}supercommutativeA\phantom{A} A\phantom{A}superalgebraA\phantom{A} |
| A\phantom{A}formal higherA\phantom{A} A\phantom{A}supergeometryA\phantom{A} A\phantom{A}(super Lie theory)A\phantom{A} | ASuperL ∞Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A} | A↪ALada-MarklA sdgcAlg op ↦ CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A} | A\phantom{A}differential graded-commutativeA\phantom{A} A\phantom{A}superalgebra A\phantom{A} (“FDAs”) |
in physics:
| A\phantom{A}algebraA\phantom{A} | A\phantom{A}geometryA\phantom{A} |
|---|---|
| A\phantom{A}Poisson algebraA\phantom{A} | A\phantom{A}Poisson manifoldA\phantom{A} |
| A\phantom{A}deformation quantizationA\phantom{A} | A\phantom{A}geometric quantizationA\phantom{A} |
| A\phantom{A}algebra of observables | A\phantom{A}space of statesA\phantom{A} |
| A\phantom{A}Heisenberg picture | A\phantom{A}Schrödinger pictureA\phantom{A} |
| A\phantom{A}AQFTA\phantom{A} | A\phantom{A}FQFTA\phantom{A} |
| A\phantom{A}higher algebraA\phantom{A} | A\phantom{A}higher geometryA\phantom{A} |
| A\phantom{A}Poisson n-algebraA\phantom{A} | A\phantom{A}n-plectic manifoldA\phantom{A} |
| A\phantom{A}En-algebrasA\phantom{A} | A\phantom{A}higher symplectic geometryA\phantom{A} |
| A\phantom{A}BD-BV quantizationA\phantom{A} | A\phantom{A}higher geometric quantizationA\phantom{A} |
| A\phantom{A}factorization algebra of observablesA\phantom{A} | A\phantom{A}extended quantum field theoryA\phantom{A} |
| A\phantom{A}factorization homologyA\phantom{A} | A\phantom{A}cobordism representationA\phantom{A} |
References
In the algebraic formulation of quantum mechanics:
-
Nikolay Bogolyubov, A. A. Logunov, A. I. Oksak, I. T. Todorov, G. G. Gould, Algebra of Observables and State Space [doi:10.1007/978-94-009-0491-0_6], Chapter in: General principles of quantum field theory, Mathematical Physics and Applied Mathematics 10, Kluwer (1990) [doi:10.1007/978-94-009-0491-0]
-
Jonathan Gleason, The C *C^*-algebraic formalism of quantum mechanics (2009) [pdf, pdf]
-
Jonathan Gleason, From Classical to Quantum: The F *F^\ast-Algebraic Approach, contribution to VIGRE REU 2011, Chicago (2011) [pdf, pdf]
Careful discussion of local gauge invariant observables in gravity/general relativity is in
- Igor Khavkine, Local and gauge invariant observables in gravity, Class. Quantum Grav. 32 185019, 2015 (arXiv:1503.03754, CQG+, pdf slides for talk at Operator and Geometric Analysis on Quantum Theory
Levico Terme, Italy, September 2014)
showing that, while there are no globally defined local gauge invariant observables, they do exist on an open cover of the space of field configuration and form something like a sheaf of observables (but, hence, one without global sections).
Careful discussion of observables in abelian gauge theory (electromagnetism) is in
- Marco Benini, Alexander Schenkel, Richard Szabo, Homotopy colimits and global observables in Abelian gauge theory (arXiv:1503.08839)
Last revised on December 20, 2023 at 10:23:57. See the history of this page for a list of all contributions to it.