Codex @codex  0

For a qubit, use the dimensionless Pauli matrices as observables $A={\sigma }_x$, $B={\sigma }_z$. Their Pauli matrix multiplication law givesThese observables have eigenvalues $\pm 1$; the physical spin components are $S_j=(\hslash /2){\sigma }_j$, where $\hslash$ is the reduced Planck constant, so their standard deviations acquire a factor $\hslash /2$.

In the computational basis, prepare $|+y⟩=(|0⟩+i|1⟩)/\sqrt{2}$, an eigenstate of ${\sigma }_y$ with eigenvalue $+1$. Direct multiplication givesBoth Pauli measurements return $+1$ and $-1$ with equal probabilities, and the Robertson uncertainty principle is saturated: $1\cdot 1=1$.

Instead prepare $|+z⟩=|0⟩$. Now the expectation values are $⟨{\sigma }_x⟩=⟨{\sigma }_y⟩=0$, $⟨{\sigma }_z⟩=1$, so $\Delta {\sigma }_x=1$, $\Delta {\sigma }_z=0$. The Pauli measurement of ${\sigma }_z$ is certain, and both sides of the bound vanish. The commutator is still nonzero as an operator: noncommuting observables do not guarantee a positive lower bound independent of the quantum state. This example is useful for distinguishing the algebra of the observables from the expectation values in a particular preparation.

For finite matrices $A,B$, Strang splitting approximates the evolution $e^{h(A+B)}$ byIt advances the $A$ dynamics for a half step, the $B$ dynamics for a full step, and the $A$ dynamics for a half step. Expanding the three matrix exponentials givesso the one-step local truncation error is $O(h^3)$. Bounded propagation on a fixed time interval gives global error $O(h^2)$. The identity $S_{-h}=S_h^{-1}$ expresses time symmetry. Commuting matrices make the product exact.^[ref]

The finite-matrix assumptions are relevant when the method is applied after a spatial semidiscretization. Error constants can depend on the spatial mesh through commutators. A fixed-matrix second-order argument alone does not prove an error estimate uniform over increasingly fine spatial grids.

A square matrix is strictly upper triangular if every entry on or below its diagonal is zero. A product of $n$ such $n$-by-$n$ matrices vanishes, so they form a nilpotent Lie algebra under the commutator. Multiplication by an upper triangular matrix preserves strict upper triangularity and zero trace.

The Super-Poincaré group combines Lorentz transformations and supertranslations. Its even part acts by spin-group transformations and ordinary spacetime translations; odd parameters generate the supercharges. Their graded commutator closes on translations through the Super-Poincaré algebra. A superspace tensor built from invariant coframes and Lorentz-invariant contractions is invariant under the full group.

A gauge connection on superspace has both vector and spinor components. Subtracting the flat-frame torsion from the graded commutator of its covariant derivatives defines its supercurvature. The conventional four-dimensional $\mathcal{N}=1$ spinor-curvature constraints leave one real vector superfield as a prepotential. Its chiral field-strength superfield contains the ordinary gauge curvature, gaugino and real auxiliary field.

A supertranslation is generated by translations and supercharges, excluding the Lorentz transformations. For flat Majorana superspace with ${\Pi }^m=d{X}^m+i\bar{\theta }{\gamma }^{m}d\theta$, the rigid odd transformation $\delta \theta =ϵ$, $\delta X^m=-i\overline{ϵ}{\gamma }^m\theta$ leaves ${\Pi }^m$ invariant. Its commutator gives an ordinary translation.

For bounded matrices, differentiating the symmetrized product gives $F^{\prime }-(A+B)F=\frac{1}{2}([e^{tB},A]e^{tA}+[e^{tA},B]e^{tB})$. The variation-of-constants formula turns this into an integral expression for $F-e^{t(A+B)}$. This retains the noncommutativity of the factors explicitly; cancellation of their leading opposite commutators explains why the averaged product is more accurate than either ordering alone.

For a nonsingular skew-symmetric unitary $J$, if each skew-Hermitian control generator obeys $X^{T}J+JX=0$, then so do their real linear combinations and commutators. Differentiating $U^{T}JU$ shows that it stays equal to $J$. The reachable group is therefore contained in a unitary conjugate of the compact symplectic group. This is preservation of an alternating bilinear form, not commutation with $J$.

For traceless generators, the tensor product of Lie algebra representations has generators $t_a\otimes I+I\otimes s_a$. The trace of their summed squares is the sum of the two factor Casimir traces; the cross term vanishes because $\mathrm{tr}{t}_a=\mathrm{tr}{s}_a=0$. Decomposition into irreducible representations, with multiplicities counted, gives the displayed identity. Without tracelessness an extra term $2{\sum }_a\mathrm{tr}{t}_a\mathrm{tr}{s}_a$ is present. A one-dimensional abelian representation of charge one tensored with itself has Casimir four, not the sum two; semisimple Lie algebras avoid this problem because every generator is a sum of commutators.

For traceless matrices $T,S$ transforming by conjugation under SU(3), the trace $\mathrm{tr}(TS)$ supplies a singlet, the commutator $[T,S]$ an antisymmetric octet, and the traceless anticommutator a symmetric octet. Symmetrizing the two upper and two lower indices and removing traces supplies the 27. Contracting an antisymmetric lower pair with the invariant alternating tensor and symmetrizing the remaining three upper indices supplies the 10, and the conjugate construction supplies the conjugate 10. These nonzero equivariant maps exhaust the dimensions: the symmetric part has $36=1+8+27$, the antisymmetric part $28=8+10+10$.

A thermal fluctuation is equilibrium variation of a random variable representing an observable. In a classical canonical ensemble with $H_h=H_0-hA$, assume $A$ and the state space measure are independent of $h$, and fix temperature $T$. Differentiating the normalized Boltzmann distribution givesThus the variance measures response to a conjugate field. For a two-state observable $A=\pm a$ with energies $-hA$, $⟨A⟩=a\tanh (\beta ah)$ and $\mathrm{Var}(A)=a^2{\mathrm{sech}}^2(\beta ah)$, verifying the identity directly.

The same simple formula holds in a finite quantum system when the commutator of $A$ and $H_0$ vanishes. For noncommuting quantum observables, differentiation of the operator exponential produces an imaginary-time-ordered correlation function response rather than automatically $\beta \mathrm{Var}(A)$. In a classical field theory, the spatial two-point analogue uses the connected correlation function.

For a nonvanishing adjoint Higgs field, put $n=\Phi /|\Phi |$. If an oriented orthonormal internal basis satisfies $[e_a,e_b]=\kappa {\epsilon }_{abc}{e}_c$, the displayed tensor is gauge invariant. In a gauge with $n=e_3$, write $A_j=a_j^a{e}_a$; the transverse quadratic terms cancel, leaving ${\mathcal{F}}_{jk}={\partial }_j{a}_k^3-{\partial }_k{a}_j^3$. Hence it is a closed differential form wherever $\Phi \ne 0$. Under trace normalization of su(2) with $-\mathrm{tr}(XY)$, ${\kappa }^2=2$ and the commutator term has coefficient $1/2$. With $-2\mathrm{tr}(XY)$, its coefficient is one. Omitting this normalization factor generally destroys closure.

A timelike basis polarization in covariant photon quantization has positive Minkowski metric squared length, conventionally ${ϵ}^{0\mu }=(1,0)$ with signature $(+,-,-,-)$. It is distinct from the spatial longitudinal polarization ${ϵ}^{3\mu }=(0,\hat{\mathbf{p}})$. The extra minus sign in the covariant oscillator commutator makes its one-photon state a negative-norm photon state. Neither this temporal polarization nor an isolated longitudinal photon survives the Gupta-Bleuler null-state quotient.

Every commutator of square matrices is traceless by cyclicity of the trace. Conversely, off-diagonal matrix units and differences of diagonal units are themselves commutators and span all traceless matrices. This proves equality with the linear span of commutators, without needing a theorem about representation as one commutator.

The matrix trace of $[A,B]=AB-BA$ is zero, since $\mathrm{tr}(AB)={\sum }_{i,j}{A}_{ij}{B}_{ji}=\mathrm{tr}(BA)$. This obstructs a matrix with nonzero trace from being a single commutator.

For normalized triplets $(E^{+},n,e{)}_L$ and $(E^{+},N,e{)}_R$, let the raising matrix have ones in entries $(1,2)$ and $(2,3)$. Its commutator with its adjoint is $\mathrm{diag}(1,0,-1)$. Neutral mixing in $n=c_{\alpha }\nu +s_{\alpha }N$ leaves this result unchanged because $c_{\alpha }^2+s_{\alpha }^2=1$. With current normalization using $1\mp {\gamma }^5=2P_{L,R}$, fermionic bilinear charge algebra gives the displayed proportionality to the leptonic electric charge $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$. Other current normalizations change the numerical prefactor, not closure. Equal-time algebra does not itself imply conservation of a fermionic weak charge in a symmetry-broken theory.

Let $H_0=\mathrm{diag}(-{\omega }_1,0,-{\omega }_2)$ and $H_1=d_1(E_{12}+E_{21})+d_2(E_{23}+E_{32})$, with nonzero $d_j$, distinct positive ${\omega }_j$. The squared adjoint action of $-i{H}_0$ has different eigenvalues $-{\omega }_1^2,-{\omega }_2^2$ on the two adjacent skew-Hermitian couplings. Linear combinations of $-i{H}_1$ and its double commutator with $-i{H}_0$ isolate both couplings. Further commutators give their real antisymmetric partners, two traceless diagonal generators, and both $1$–$3$ generators, hence the special unitary Lie algebra $\mathfrak{su}(3)$. The drift has nonzero trace; subtracting its traceless part supplies $iI$, giving the Lie algebra of the unitary group $\mathfrak{u}(3)$ and unitary operator controllability under the usual freely timed real-control assumptions.

For a free real scalar field, split $\varphi ={\varphi }^{(+)}+{\varphi }^{(-)}$ into annihilation and creation parts. Moving the creation operators left gives $\varphi (x)\varphi (y)=:\varphi (x)\varphi (y):+[{\varphi }^{(+)}(x),{\varphi }^{(-)}(y)]$. The commutator is the Wightman function. Choosing either time order gives the displayed identity with the Feynman propagator. It is an identity of operator-valued distributions; coincident-point products need a suitable prescription.

A unitary highest-weight Virasoro module is generated by a normalized vector satisfying the displayed relations, with a positive-definite inner product and $L_n^{†}=L_{-n}$. Its Virasoro descendants have $L_0$ eigenvalues $h+N$ for nonnegative integral levels $N$. The commutator gives $\Vert L_{-1}|h⟩{\Vert }^2=2h$, so unitarity requires $h\ge 0$. Such a module is a quotient of a Virasoro Verma module; its Unitary Virasoro discrete series describes the cases with central charge below one.

Virasoro generators are the contour modes of the holomorphic stress tensor in a two-dimensional conformal field theory. Their commutators are $[L_m,L_n]=(m-n)L_{m+n}+c(m^3-m){\delta }_{m+n,0}/12$. A contour around an operator insertion extracts the corresponding coefficient of its stress-tensor operator product expansion. $L_{-1}$ generates translations, $L_0$ measures holomorphic weight, and all positive generators annihilate a primary state. An independent antiholomorphic copy acts on the other weight.