physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
What is called Planck’s constant in physics and specifically in quantum physics (after Max Planck) is a physical unit of “action” which sets the scale at which effects of quantum physics are genuinely important and physics is no longer well approximated by classical mechanics/classical field theory. This we discuss below at
In the mathematical formulation of the theory, Planck’s constant $h$ is the choice of unit $h \in \mathbb{R}^\times$ in the short exact sequence $\mathbb{Z}\stackrel{h\cdot(-)}{\longrightarrow} \mathbb{R} \to U(1)$ which governs the prequantization lift from real (differential) cohomology to (differential) integral cohomology. The integrality of $\mathbb{Z}$ here is the very “quantum”-ness of quantum theory, and this is what Planck’s constant parameterizes. This we discuss below in
Finally, when infinitesimally approximating this quantization step in perturbation theory in $\hbar$ (see at formal deformation quantization), then Planck’s constant is the very formal expansion parameter of the deformation. This we discuss below in
Applied to the key example of perturbative quantum field theory it turns out that the powers of $\hbar$ in contributions to the Feynman perturbation series essentially correspond to the loop order of the given Feynman diagram. This we discuss in
Planck’s constant $h$ is a quantum of action. It may be illustrated in the case of the electromagnetic field by the fact that each of its quanta – a photon – carries an energy $E$ that is fixed by its frequency (cycles per second) $\nu$ according to the relation $E = h\nu$. Thus, the energy emitted by a laser beam of fixed frequency $\nu$ is an integer multiple $n h \nu$ of a packet of energy $h\nu$, where $n$ is the number of photons emitted.
As a fundamental physical constant, $h$ has dimension $(mass)(length)^2(time)^{-1}$. In meter-kilogram-second (MKS) units, its value is
with an uncertainty of up to 29 in the last two digits.
The reduced Planck constant $\hbar = h/2\pi$ is the proportionality constant that relates energy (of a photon) to angular frequency $\omega$ (radians per second as opposed to cycles per second), so that $E = \hbar \omega$.
The step of prequantization is about refining data in (differential) real cohomology to (differential) integral cohomology. Often this is understood in terms of the canonical inclusion
of the integers as an addiditve subgroup of the real numbers. But since strictly speaking what appears in physics is the real line on which a unit is chosen as part of the identification of mathematical formalism with physical reality, one should really consider all possible additive group homomorphisms $\mathbb{Z}\to \mathbb{R}$. These are parameterized by
and this “physical unit” $h$ is what is called Planck’s constant.
In particular the induced circle group is identified as the quotient of $\mathbb{R}$ by $h \mathbb{Z}$, in this sense
and under this identification its quotient map is expressed in terms of the exponential function $\exp \colon z \mapsto \sum_{k = 0}^\infty \frac{z^k}{k!} \in \mathbb{C}$ as
where
The resulting short exact sequence is the real exponential exact sequence
This is the source of the ubiquity of the expression $\exp(\tfrac{i}{\hbar} (-))$ in quantum physics, say in the path integral, where the exponentiated action functional appears as $\exp(\tfrac{i}{\hbar} S)$.
In the context of geometric quantization Planck’s constant appears as the inverse scale of the symplectic form.
For instance in the simple case that phase space is $T^* \mathbb{R} \simeq \mathbb{R}^2$ with standard coordinates $\{p,q\}$, then the normalization of the symplectic form $\sim d p \wedge dq$ actually needed in physics is
This is because after geometric quantization of this form the observables will obey
and this is supposed to be
Accordingly, it follows that if $(E, \nabla)$ is a prequantum line bundle for $\omega$, then its $k$-fold tensor product with itself, for $k \in \mathbb{N}$, is a line bundle $(E^{\otimes k}, \nabla_k)$ with curvature $k \omega$. By the above this corresponds to rescaling
This implies in particular
a global rescaling of the periods of the symplectic form may be absorbed in a rescaling of Planck’s constant, see at geometric quantization of non-integral forms;
for $(E, \nabla)$ a given prequantum line bundle the limit of the tensor powers $(E^{\otimes k}, \nabla_k)$ as $k$ tends to infinity roughly corresponds to taking a classical limit. See also (Donaldson 00).
In Chern-Simons theory Planck’s constant corresponds to the inverse level of the theory, hence the inverse of the characteristic class that defines the theory, regarded as an element in $\mathbb{Z}$.
Similarly for infinity-Chern-Simons theory. For instance ordinary spin group Chern-Simons theory may be taken to have as the fundamental value $\hbar = 2$, because the first Pontryagin class that defines the theory is divisible by 2, the prequantum 3-bundle that defines the theory of the moduli stack of $Spin$-principal connections is
Similarly for 7-dimensional String 2-group infinity-Chern-Simons theory the fundamental value is $\hbar = 6$, with the extended Lagrangian being
See at higher geometric quantization for more on this.
In perturbative quantum field theory Planck’s constant (together with the coupling constant, which indicates the strength of interactions) is regarded as tiny, in fact as infinitesimal, in that all observables are expressed as (generally non-converging, asymptotic) formal power series in the coupling constant.
This is explicitly realized by formal deformation quantization, which regards quantization as as deformation of the classical algebra of observables to a non-commutative algebra on formal power series with coefficients the original observables.
In perturbative quantum field theory the scattering amplitudes in the S-matrix are expressed as formal power series in (the coupling constant and) in Planck's constant $\hbar$. This formal power series may be expressed as a formal sum of contributions labeled by Feynman diagrams. The loop order refers to something like the “number of loops” of edges in the Feynman diagram that contibutes to a given scattering amplitude. It turns out that the loop order corresponds to the order in $\hbar$ that is contributed by this diagram (see below).
Therefore contributions of graphs at zero without loops (these are trees, and hence these contributions are referred to as being at “tree level”) correspond to the limit of classical field theory with $\hbar \to 0$. Indeed tree level Feynman diagrams yield perturbative solutions of the classical equations of motion (see Helling).
Most predictions of the standard model of particle physics have very good agreement with experiment already to very low loop order, first or second; inclusion of third loop order is used (at least in QCD) to constrain theoretical uncertainties of the result (see Cacciari 05, slide 5, e.g. in Higgs field computation, see ADDHM 15). In rare cases higher loop orders are used (for instance in the computation of the anomalous magnetic moments AHKN 12, but this is not a scattering experiment).
This usefulness of low loop order is forturnate because
the S-matrix formal power series for all theories of interest has vanishing radius of convergence (Dyson 52), hence is at best an asymptotic series for which the sum of more than some low order terms is meaningless;
the computational effort increases immensely with loop order.
In the computation of scattering amplitudes for fields/particles via perturbative quantum field theory the scattering matrix (Feynman perturbation series) is a formal power series in (the coupling constant and) Planck's constant $\hbar$ whose contributions may be labeled by Feynman diagrams. Each Feynman diagram $\Gamma$ is a finite labeled graph, and the order in $\hbar$ to which this graph contributes is
where
$V(\Gamma) \in \mathbb{N}$ is the number of vertices of the graph
$E(\Gamma) \in \mathbb{N}$ is the number of edges in the graph.
This comes about (see at S-matrix – Feynman diagrams and Renormalization for details) because
the explicit $\hbar$-dependence of the S-matrix is
the further $\hbar$-dependence of the time-ordered product $T(\cdots)$ is
where $\omega_F$ denotes the Feynman propagator and $\phi(x)$ the field observable at point $x$ (where we are notationally suppressing the internal degrees of freedom of the fields for simplicity, writing them as scalar fields, because this is all that affects the counting of the $\hbar$ powers).
The resulting terms of the S-matrix series are thus labeled by
the number of factors of the interaction $L_{int}$, these are the vertices of the corresponding Feynman diagram and hence each contibute with $\hbar^{-1}$
the number of integrals over the Feynman propagator $\omega_F$, which correspond to the edges of the Feynman diagram, and each contribute with $\hbar^1$.
Now the formula for the Euler characteristic of planar graphs says that the number of regions in a plane that are encircled by edges, the faces here thought of as the number of “loops”, is
Hence a planar Feynman diagram $\Gamma$ contributes with the “loop order” $L(\Gamma)$ as
So far this is the discussion for internal edges. An actual scattering matrix element is of the form
where
is a state of $n_{in}$ free field quanta and similarly
is a state of $n_{out}$ field quanta. The normalization of these states, in view of the commutation relation $[\phi(k), \phi^\dagger(q)] \propto \hbar$, yields the given powers of $\hbar$.
This means that an actual scattering amplitude given by a Feynman diagram $\Gamma$ with $E_{ext}(\Gamma)$ external vertices scales as
(For the analogous discussion of the dependence on the actual quantum observables on $\hbar$ given by Bogoliubov's formula, see there.)
Simon Donaldson, Planck’s constant in complex and almost-complex geometry, XIIIth International Congress on Mathematical Physics (London, 2000), 63–72, Int. Press, Boston, MA, 2001
Wikipedia, Planck’s constant
Last revised on March 14, 2018 at 06:51:28. See the history of this page for a list of all contributions to it.