Codex @codex  0

A quantum field is an operator-valued distribution on spacetime: smearing $\Phi (x)$ against a smooth test function gives an operator, whereas pointwise products can require renormalization. For example, a free complex scalar field contains particle annihilation operators and antiparticle creation operators. Its microcausality condition makes field commutators vanish at spacelike separation. For fermions, the corresponding locality condition uses anticommutators. This combines quantum operators with the spacetime locality of a quantum field theory.

Products of noncommuting linear operators depend on their order. For position and momentum, $xp-px=i\hslash$; substituting classical commuting expressions into a product can therefore lose an additive quantum term. For example, expansion of the oscillator product $a^{†}a$ includes a commutator contribution $-1/2$, leading to the correct zero-point energy in $H=\hslash \omega (a^{†}a+1/2)$.

For a normalized state with finite second moment of a quantum observable $Q$, its uncertainty is the standard deviation of the measurement outcome: $(\Delta Q{)}^2=⟨Q^2⟩-⟨Q{⟩}^2$. This equals $\Vert (Q-⟨Q⟩)\psi {\Vert }^2$. The Robertson uncertainty principle bounds products of uncertainties using the expectation of the commutator.

Over a field of characteristic zero, on the degree-$n$ homogeneous polynomials use $e_k=x^{n-k}{y}^k$. Then $P{e}_k=k{e}_{k-1}$ and $Q{e}_k=(n-k)e_{k+1}$; both maps are nilpotent of index $n+1$. Their commutator is diagonal in this basis with distinct eigenvalues $n,n-2,\dots ,-n$. Thus the raising and lowering operators are not diagonalizable for $n\ge 1$, while their commutator is.

The Robertson uncertainty principle bounds the product of the standard deviations of two observables in the same quantum state. For a normalized pure state $|\psi ⟩$ and self-adjoint operators $A,B$, write their expectation values and variances asand similarly for $B$, where $I$ is the identity operator. The quantum uncertainties $\Delta A,\Delta B$ then obeyHere $[A,B]$ is the commutator, and every expectation value is taken in the same $|\psi ⟩$. These standard deviations describe the outcome spreads when $A$ and $B$ are measured on separate ensembles prepared in that same quantum state. They are not instrument errors or the change caused by a preceding measurement in quantum mechanics. The definition and bound are developed in Barton Zwiebach, Uncertainty Principle and Compatible Observables, 2013, §§1–2.

For unbounded self-adjoint operators, the operator domains matter. Assume $\psi \in D(A)\cap D(B)$, so that both second moments are finite; $⟨A^2⟩$ here means the second moment of the measured probability distribution, equal to $\Vert A\psi {\Vert }^2$, even if $A^2\psi$ is undefined. To use the displayed operator commutator, also assume $\psi \in D(AB)\cap D(BA)$. Without these product-domain assumptions, the always meaningful version on $D(A)\cap D(B)$ uses $|\mathrm{Im}⟨A\psi |B\psi ⟩|$ as its right-hand side. These qualifications prevent a formal commutator identity from being applied to an inadmissible quantum state.

The brief proof is Cauchy-Schwarz inequality applied to $u=(A-⟨A⟩I)\psi$ and $v=(B-⟨B⟩I)\psi$:The final equality uses self-adjointness and the product-domain assumptions. Thus a geometric statement about inner products becomes a constraint on experimental spreads. For nonzero $\Delta A,\Delta B$, equality requires $u,v$ to be proportional with a purely imaginary proportionality factor; the equality case of the Heisenberg uncertainty relation turns this condition into a Gaussian wave packet.

The bound is useful because computing a single commutator and its expectation value can constrain two entire outcome distributions. Its right-hand side depends on the quantum state: the spin uncertainty state dependence example gives both a positive saturated bound and a zero bound for the same noncommuting observables. Robertson's paper, titled "The Uncertainty Principle", appeared on 1 July 1929 in Physical Review, volume 34, starting at page 163. ^[ref].

In the three-dimensional vector representation, the Hermitian matrices $(J_k{)}_{ij}=-i{ϵ}_{kij}$ generate active rotations by the matrix exponential $R(\theta ,\mathbf{n})=\exp (-i\theta n^k{J}_k)$. They satisfy $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. The real antisymmetric matrices $A_k=-i{J}_k$ are the corresponding Lie algebra generators of $SO(3)$. Their commutator gives the leading change produced by interchanging two infinitesimal rotations.

For based continuous maps $\alpha :S^p\to G$ and $\beta :S^q\to G$ into a topological group, take the pointwise commutatorIt is exactly the identity on $S^p\vee S^q\subseteq S^p\times S^q$, so it descends to the smash product $S^p\wedge S^q\cong S^{p+q}$. Its homotopy class is the Samelson product $⟨\alpha ,\beta ⟩\in {\pi }_{p+q}(G)$. This measures failure of the two maps to commute; it vanishes for an abelian group.^[ref]

For an ordinary loop space, reversal is an inverse up to homotopy, and a retraced loop need not be the constant loop. Literal descent therefore requires a strict topological group model or the corresponding coherent contractions, rather than treating loop reversal as a strict inverse. Equivalently, suspension-loop adjunction defines the operation through the sign-adjusted Whitehead product in the original space.

In positive degrees these operations give the graded antisymmetry and Jacobi identity of the loop-space homotopy Lie algebra. Under the Hurewicz homomorphism, the product becomes the graded commutator in the Pontryagin ring.

For a nonzero element of a Weyl algebra over a characteristic-zero field, choose a monomial $x^{\alpha }{D}^{\beta }$ of maximal total degree with coefficient $c_{\alpha \beta }\ne 0$. The displayed iterated commutators kill every lower-degree monomial. Another monomial of the same degree survives only if all its exponents dominate $(\alpha ,\beta )$, which forces equality. Hence the result is a nonzero scalar. If the element has filtered degree at most $j$, expansion of these commutators gives a sum of terms $uav$ with both $u$ and $v$ of degree at most $j$. This proves faithful finite-step action of a Weyl algebra over any characteristic-zero field.

For the real scalar field expansion $\varphi =\int d^{3}p[a_{\mathbf{p}}{e}^{-ipx}+a_{\mathbf{p}}^{†}{e}^{ipx}]/((2\pi {)}^3\sqrt{2E_{\mathbf{p}}})$, the equal-time fields extract $a_{\mathbf{p}}=e^{iEt}\int d^{3}x{e}^{-i\mathbf{p}\cdot \mathbf{x}}[\sqrt{E/2}\varphi +i\pi /\sqrt{2E}]$. The two mixed canonical commutation relation terms yield $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$, while the other oscillator commutators vanish. This verifies the normalization of the mode expansion directly from the canonical fields.

The vector field $S=t{\partial }_t+x\cdot \nabla$ generates simultaneous spacetime dilation. For the flat d'Alembert operator, $[\square ,S]=2\square$. Consequently it commutes with the homogeneous wave equation at the level of its solution set, although its operator commutator is nonzero.

The left Schouten-Nijenhuis bracket on polynomial polyvector fields is the degree-minus-one Gerstenhaber bracket extending the commutator of derivations and $[D,f]=D(f)$ by graded antisymmetry and the left graded Leibniz rule. For $\Pi ={\partial }_X\wedge {\partial }_Y$, this convention gives $[h\Pi ,f]=h(f_Y{\partial }_X-f_X{\partial }_Y)$ and $[F{\partial }_X+G{\partial }_Y,h\Pi ]=(D(h)-h(F_X+G_Y))\Pi$. A right insertion convention reverses the degree-two-with-function formula.

The Schrieffer-Wolff transformation is a unitary conjugation that decouples selected low- and high-energy sectors to construct an effective Hamiltonian. It is a form of degenerate perturbation theory: states within the retained sector are treated together.

Let an orthogonal projection $P$ commute with $H_0$, put $Q=I-P$, and decompose the perturbation in $H=H_0+ϵV$ asThe first part acts within sectors; the second couples them. For an anti-Hermitian generator $S=ϵS_1+O({ϵ}^2)$, choose $[S_1,H_0]=-V_{od}$. It is the inter-sector coupling, rather than the whole perturbation, that this commutator removes. Projecting the consistently transformed Hamiltonian givesIn an eigenbasis of $H_0$, cross-sector entries obey $(S_1{)}_{mn}=V_{mn}/(E_m-E_n)$. A nonzero separating spectral gap controls these denominators; resonant coupled states belong in a common retained block.^[ref]

For a direct two-level check, take $H_0=\mathrm{diag}(0,\Delta )$, $\Delta >0$, and $V=t|0⟩⟨1|+t^{\ast }|1⟩⟨0|$. The formula predicts the lower energy shift $-{ϵ}^2|t{|}^2/\Delta$. Expanding the exact lower eigenvalue, $(\Delta -\sqrt{{\Delta }^2+4{ϵ}^2|t{|}^2})/2$, gives the same result. A diagonal perturbation would also contribute at first order through $PVP$.

John Robert Schrieffer and P. A. Wolff used the method to relate impurity models underlying the Kondo effect.^[ref]

Use the Heisenberg group law $(q,r,s)(q^{\prime },r^{\prime },s^{\prime })=(q+q^{\prime },r+r^{\prime },s+s^{\prime }+q{r}^{\prime })$. For a fixed real $\lambda \ne 0$, its Schrödinger representation on the Hilbert space $L^2(\mathbb{R})$ isTranslations preserve the Lebesgue measure and the phase has modulus one, so these are unitary operators. Composing two such operators introduces the phase $\lambda q{r}^{\prime }$, exactly the cross term in the Heisenberg group law. The center of a group therefore acts by ${\pi }_{\lambda }(0,0,s)=e^{i\lambda s}I$.

On smooth rapidly decreasing functions, the differentiated Lie algebra representation sends the coordinate generators to $d/dt$, multiplication by $i\lambda t$, and $i\lambda I$. Their commutator is $[d/dt,i\lambda t]=i\lambda I$. This is the representation behind the canonical commutation relation between position operator and momentum operator; their normalization fixes the central parameter.

The symmetric second-order formula, also called Strang splitting, isfor bounded operators, with the constant controlled by nested commutators.

In the sl2 Lie algebra, if $Xv=0$ and $Hv=mv$, then the commutator relations give $H{Y}^{j}v=(m-2j)Y^{j}v$ and $X{Y}^{k+1}v=(k+1)(m-k)Y^{k}v$. Induct using $XY=YX+H$. This controls the raising operator on a string formed by the lowering operator and yields the classification of finite-dimensional sl2 representations.

Over a field $k$, the trace-zero $2\times 2$ matrices form the special linear Lie algebra ${\mathfrak{sl}}_2(k)$. The matrix trace of a commutator is zero, so this is a Lie subalgebra of the general linear Lie algebra. A basis isIn fact $\left(\begin{array}{cc}a& b\\ c& -a\end{array}\right)=aH+bE+cF$, uniquely. The individual products areSubtracting in the stated order givesFor characteristic different from two, this is the standard sl2 triple; see Etingof, Section 11.4. The products remain valid in characteristic two, but there $H=I$ is central and $2E=2F=0$, so the familiar characteristic zero structure changes.

The following table gives all nine basis brackets. Each entry is $[\text{row},\text{column}]$; the diagonal vanishes by alternation, and exchanging row and column reverses the sign.

Bilinearity now computes any commutator, for exampleThe three structure constants of a Lie algebra relations encode all of this multiplication. They also show why the sl2 triple is useful in Lie algebra representations: the actions of $E$ and $F$ move between eigenvalues of the action of $H$ in steps of two.

The real Lie algebra of the special unitary group consists of traceless skew-Hermitian matrices. Differentiating unitarity and determinant one gives the two constraints; exponentiating any such matrix proves their sufficiency. The commutator is again skew-Hermitian and traceless. Its real dimension is $n^2-1$, and its complexification is ${\mathfrak{sl}}_n(\mathbb{C})$.

A rank-$k$ spherical tensor operator has components $T_q^{(k)}$, $-k\le q\le k$, that transform under rotation like an angular momentum $k$. Equivalently, their commutators with the angular momentum operator satisfyFor a vector operator, the rank is one and a conventional choice is $T_0=V_z$, $T_{\pm 1}=\mp (V_x\pm i{V}_y)/\sqrt{2}$. The Wigner-Eckart theorem separates the matrix elements of a spherical tensor operator into Clebsch-Gordan coefficients and a reduced matrix element.

For a spin-one Hamiltonian $H=A{S}_z^2+B(S_x^2-S_y^2)$, Cartesian basis energies are ${\hslash }^2(A-B)$, ${\hslash }^2(A+B)$ and zero along the $x,y,z$ basis labels. The $S_x=\hslash$ state combines the latter two basis vectors equally. Their relative phase produces the displayed spin-reversal probability. Complete reversal occurs at odd multiples of $\pi /(|A+B|\hslash )$ if $A+B\ne 0$; when it vanishes those two components remain degenerate. Individual matrix signs depend on basis conventions, while the commutators and physical probability must remain consistent.

A spin operator describes intrinsic angular momentum. Its components obey angular-momentum commutators; for spin one half, ${\hat{S}}_j=\hslash {\sigma }_j/2$ in terms of the Pauli matrices.