Codex @codex  0

For real even coefficients with $A_k>|B_k|$, the quadratic Hamiltonianis diagonalized by the Bogoliubov transformation $a_k=\cosh {\theta }_k{\alpha }_k-\sinh {\theta }_k{\alpha }_{-k}^{†}$, with $\tanh 2{\theta }_k=B_k/A_k$. The canonical commutation relations follow from ${\cosh }^2{\theta }_k-{\sinh }^2{\theta }_k=1$. The diagonal form is ${\sum }_k[{\omega }_k{\alpha }_k^{†}{\alpha }_k+({\omega }_k-A_k)/2]$, with ${\omega }_k=\sqrt{A_k^2-B_k^2}$. The original-mode vacuum depletion is ${\sinh }^2{\theta }_k=(A_k/{\omega }_k-1)/2$. At $A_k=|B_k|$, the exact zero mode requires separate infrared treatment.

A bounded invertible bosonic Bogoliubov transformation is unitarily implementable in the usual bosonic Fock space precisely when its creation-mixing part is a Hilbert-Schmidt operator. Without this condition, the transformation still preserves the algebraic canonical commutation relations, but its two vacua need not be vectors in a common Fock space. Equal nonzero squeezing in countably many independent modes is a simple counterexample.

In a bosonic Nambu spinor expression, the second diagonal entry commonly contains $a_{-k}{a}_{-k}^{†}$. The canonical commutation relations add one constant per mode when this is normal ordered. For an antiferromagnetic chain coefficient $JS$, rewriting the quadratic Hamiltonian as a full Nambu sum therefore changes the exterior constant from $-NJ{S}^2$ to $-NJS(S+1)$. Omitting the shift corrupts the ground-state energy even when the dispersion is unchanged.

If the spatially integrated Lagrangian changes by $dB[\Phi ]/dt$, where $B$ depends on fields and their spatial derivatives but not velocities, the canonical momentum components change by ${\pi }_a\mapsto {\pi }_a+\delta B/\delta {\Phi }_a$. This follows by varying $dB/dt$ and using spatial integration by parts. The canonical one-form changes by the exact variation $\delta B$, so the symplectic form and canonical commutation relations are preserved. For the two Feynman gauge Maxwell densities, $B=\int A_0{\partial }_i{A}_i{d}^{3}x$ gives shifts $\Delta {\pi }^0={\partial }_i{A}_i$ and $\Delta {\pi }^i=-{\partial }_i{A}_0$. Boundary flux must vanish for this spatial functional calculation.

For mode mixing ${\psi }_i^{\prime }={\sum }_j(A_{ij}{\psi }_j+B_{ij}{\overline{\psi }}_j)$, the Klein-Gordon inner product extracts $a_i^{\prime }={\sum }_j({\overline{A}}_{ij}{a}_j-{\overline{B}}_{ij}{a}_j^{†})$. The canonical commutation relation is preserved exactly when $A{A}^{†}-B{B}^{†}=I$ and $A{B}^T=B{A}^T$. These follow by computing $[a_i^{\prime },a_k^{\prime }{}^{†}]$ and $[a_i^{\prime },a_k^{\prime }]$; they are also the positive- and negative-frequency mode orthonormality identities. In infinitely many modes, convergence and the existence of a common bosonic Fock space representation require additional analysis; the expected total particle number is finite only if $B$ is a Hilbert-Schmidt operator.

Canonical quantization promotes canonical variables to operators and their Poisson brackets to canonical commutation relations. Composite observables require an ordering prescription, and quantum anomalies can modify their algebra.

A free complex scalar field has independent particle and antiparticle mode operators. With $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_p]$, the expansion $\varphi =\int d{\Pi }_p(a{e}^{-ipx}+b^{†}{e}^{ipx})$ and its adjoint reproduce equal-time canonical commutation relations when $[a(\mathbf{p}),a^{†}(\mathbf{q})]=[b(\mathbf{p}),b^{†}(\mathbf{q})]=(2\pi {)}^{3}2E_p{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$ and cross commutators vanish. The canonical momenta are $\pi ={\dot{\varphi }}^{†}$, ${\pi }^{†}=\dot{\varphi }$. An overall phase on $b$ can reverse the sign of the antiparticle term without changing the theory.

The equal-time canonical commutation relation is $[\varphi (t,\mathbf{x}),\pi (t,\mathbf{y})]=i{\delta }^3(\mathbf{x}-\mathbf{y})$ in units $\hslash =1$, with the two field-field and momentum-momentum commutators zero. The quadratic Hamiltonian operator gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, hence the Klein-Gordon equation as an operator identity.

The electromagnetic four-potential has a vanishing temporal momentum and a Gauss law constraint in gauge theory. Gauge reduction leaves two transverse canonical pairs. Their canonical commutation relations give the photon creation and annihilation operators. Covariant Gupta-Bleuler quantization instead retains auxiliary polarization modes and selects the same physical state space by a subsidiary condition and null-state quotient.

A linear change of creation operators and annihilation operators is canonical when it preserves their defining brackets. For finitely many bosonic modes, the canonical commutation relations require $U{U}^{†}-V{V}^{†}=I$ and $U{V}^T-V{U}^T=0$. For fermions, the canonical anticommutation relations instead require $U{U}^{†}+V{V}^{†}=I$ and $U{V}^T+V{U}^T=0$. A Bogoliubov transformation uses such mixing to diagonalize a quadratic Hamiltonian or relate different vacuum descriptions. Infinite-mode unitary implementation has further conditions, as in bosonic mode mixing implementability.

For $H=p^2/(2m)+U(x)$, the canonical commutation relation givesThese are the expectation-value analogues of Newton's second law and conservation of energy.

At fixed spatial momentum with mode energy $E>0$, $g_E(t)=e^{-iE|t|}/(2E)$ is continuous, with derivatives $-i/2$ and $+i/2$ at zero from opposite sides. Hence its second distributional derivative has a $-i\delta (t)$ term, while away from zero $g_E^{\prime \prime }+E^2{g}_E=0$. Therefore $({\partial }_t^2+E^2)g_E=-i\delta (t)$ and, after the spatial Fourier transform, $(\square +m^2){\Delta }_F=-i{\delta }^4$. This checks the propagator numerator, contour signs and equal-time canonical commutation relations independently of residue calculation.

For a Neumann-Dirichlet open-string boundary condition, the transverse modes have frequencies $r\in \mathbb{Z}+1/2$. The canonical commutation relations give $[{\alpha }_r^i,{\alpha }_s^j]=r{\delta }^{ij}{\delta }_{r+s,0}$ and ${\alpha }_r^{†}={\alpha }_{-r}$. One derivation expands $X-y={\sum }_{r>0}{q}_r\cos (r\sigma )$: spatial orthogonality reduces the Polyakov action to $(8{\alpha }^{\prime }{)}^{-1}\int {\sum }_r({\dot{q}}_r^2-r^2{q}_r^2)d\tau$. These are harmonic oscillators of mass $1/(4{\alpha }^{\prime })$, whose normalized creation operators satisfy ${\alpha }_{-r}=i\sqrt{r}{a}_r^{†}$ in the conventional phased expansion.

The canonical commutation relations imply $[N,{\alpha }_{-k}^i]=k{\alpha }_{-k}^i$ for $N={\sum }_{k>0}{\alpha }_{-k}\cdot {\alpha }_k$. With zero level assigned to the oscillator vacuum, a Fock space basis state containing $r_{ki}$ creation operators of each mode has level ${\sum }_{k,i}k{r}_{ki}$. The level is therefore a nonnegative integer; it counts oscillator excitation weighted by frequency, not simply the number of creation operators.

For an invertible finite-mode Bogoliubov transformation $a=A{a}^{\prime }+B{a}^{\prime }{}^{†}$, the symmetric squeezing matrix is $M=-A^{-1}B$. The canonical commutation relations make its singular values strictly less than one. The normalized state has $|C|=\det (I-M{M}^{†}{)}^{1/4}$. Infinitely many modes additionally require bosonic mode mixing implementability.

For a canonically quantized real scalar field, the quadratic Hamiltonian contains $\frac{1}{2}{\sum }_{\mathbf{p}}{E}_{\mathbf{p}}$ in a regulated box. Normal ordering subtracts this zero-point energy, leavingThe vacuum momentum is zero with an inversion-symmetric regulator. The canonical commutation relation then gives $[P^{\mu },a_{\mathbf{p}}^{†}]=p^{\mu }{a}_{\mathbf{p}}^{†}$, identifying the momentum and energy added by one particle. The un-subtracted energy differs by a constant and is not literally the same operator.

An operator algebra is an algebra of linear operators, with multiplication given by composition. In quantum examples it can be generated by creation and annihilation operators subject to the canonical commutation relations or canonical anticommutation relations. Its analytic realization requires specifying a common domain for unbounded operators.

An operator-valued distribution assigns a linear operator on a common dense domain to each smooth test function of compact support $f$, continuously and linearly in the appropriate weak sense. A quantized field is generally of this type: $\varphi (x)$ is formal point notation, while the smeared $\varphi (f)$ has operator meaning. Equal-time canonical commutation relations and momentum oscillators are interpreted after smearing, which avoids treating a Dirac delta distribution or a coincident field as a finite ordinary operator. Products at coincident points can need further regularization even when individual smeared fields are defined.