For a singular simplex $\sigma$ of dimension $n$ and a degree-$p$ cochain, use $\sigma ⌢\alpha =\alpha (\sigma |[v_0,\dots ,v_p])\sigma |[v_p,\dots ,v_n]$, setting the result to zero if $p>n$. A continuous map $f$ commutes with both face restrictions, and the pullback cochain evaluates by composing with $f$. Therefore $f_{\ast }(\sigma ⌢f^{\ast }\alpha )=(f\circ \sigma )⌢\alpha$ already on chains. Passing to homology and cohomology proves the displayed cap product identity.

For the middle-third Cantor set $C$ and positive integer $d$, $C^d$ is compact and totally disconnected. A connected subset projects to a point in each coordinate and is therefore itself a point. At level $n$, the product has $2^{dn}$ cubes of side $3^{-n}$. These covers give dimension at most $d\log 2/\log 3$. The product digit probability assigns each cube mass $2^{-dn}$; a ball of radius comparable to $3^{-n}$ meets only a bounded number of cubes, so its mass is at most a constant times $r^{d\log 2/\log 3}$. The cover-cost argument for Hausdorff dimension proves the matching lower bound. Thus compact totally disconnected Euclidean subsets can have arbitrarily large Hausdorff dimension when the ambient dimension is allowed to increase.

Two ordinals are commensurable when neither is absorbed by adding the other on its left. For positive ordinals, this is equivalent to equality of their leading Cantor normal form exponent. If leading exponents differ, the lower-leading ordinal is absorbed by the higher power of $\omega$. If they agree, either sum adds the two positive leading coefficients and therefore exceeds both original ordinals. Zero is commensurable with no ordinal.

For every ordinal base $\rho >1$, a nonzero ordinal has a unique finite ordinal addition expansion with strictly decreasing exponents ${\beta }_i$ and coefficients $0<{\xi }_i<\rho$. Choose the largest power at most the remaining ordinal and apply the ordinal division algorithm. The next remainder has smaller leading exponent, so well-foundedness forces termination. Each lower tail is smaller than its preceding power; uniqueness of division consequently fixes the exponent, coefficient and tail successively. For $\rho =\omega$ this is Cantor normal form.

For $d{s}^2=a^2(d{\tau }^2-d{\mathbf{x}}^2)$ and a homogeneous canonical scalar, $\rho ={\varphi }^{\prime 2}/(2a^2)+V$ is the physical density, whereas $T_{00}=a^2\rho$. At $w=-1/3$, the kinetic and potential energies are $K=\rho /3$ and $V=2\rho /3$, so ${\varphi }^{\prime 2}=2a^2\rho /3=2T_{00}/3$. A single power of ${\varphi }^{\prime }$ cannot replace the square in this energy identity.

// Target: cosmology.bigb

Insert the real scalar field mode expansion into its quadratic Hamiltonian density and use the Fourier representation of the Dirac delta function. The two-annihilator and two-creator terms cancel by $E_{\mathbf{p}}^2={\mathbf{p}}^2+m^2$. The remaining symmetric expression is $H=\frac{1}{2}\int d^{3}p{E}_{\mathbf{p}}(a^{†}a+a{a}^{†})/(2\pi {)}^3$. Normal ordering removes its constant vacuum energy, yielding the displayed operator. The canonical commutation relations give $[:H:,a_{\mathbf{p}}]=-E_{\mathbf{p}}{a}_{\mathbf{p}}$ and $[:H:,a_{\mathbf{p}}^{†}]=E_{\mathbf{p}}{a}_{\mathbf{p}}^{†}$.

With $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, a free real scalar field has mode expansion of a free field $\varphi =\int d{\Pi }_p(a{e}^{-ipx}+a^{†}{e}^{ipx})$ and commutator $[a(p),a^{†}(q)]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. Substitution into the quadratic Hamiltonian density gives $H=\frac{1}{2}\int d{\Pi }_p{E}_p(a^{†}a+a{a}^{†})$. The terms with two annihilation operators or two creation operators cancel by $E_p^2={\mathbf{p}}^2+m^2$. Normal ordering removes the constant vacuum energy. The commutators $[H,a(p)]=-E_{p}a(p)$ and $[H,a^{†}(p)]=E_p{a}^{†}(p)$ give the boson energy without changing under this subtraction. Replacing $a(p)$ by $\sqrt{2E_p}c(p)$ recovers the noncovariant normalization $[c(p),c^{†}(q)]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$.

With the invariant measure $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, a free complex scalar field has particle and antiparticle modes. At any fixed time the displayed inverse and $b^{†}(p)=\int d^{3}x{e}^{-ip\cdot x}(E_p\varphi -i\dot{\varphi })$ project onto its positive- and negative-frequency components. The equal-time canonical commutation relations then give $[a(p),a^{†}(q)]=[b(p),b^{†}(q)]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$; cross terms vanish because their coefficient contains $E_p-E_q$ on the momentum delta function.

For mode normalization $1/\sqrt{2E_{\mathbf{p}}}$, particle and antiparticle operators satisfy $\{a_{\mathbf{p}}^s,a_{\mathbf{q}}^{r†}\}=\{b_{\mathbf{p}}^s,b_{\mathbf{q}}^{r†}\}=(2\pi {)}^3{\delta }^{sr}{\delta }^3(\mathbf{p}-\mathbf{q})$. The Dirac spinor completeness relations imply ${\sum }_s[u_s(\mathbf{p})u_s^{†}(\mathbf{p})+v_s(-\mathbf{p})v_s^{†}(-\mathbf{p})]=2E_{\mathbf{p}}I$. Inserting this into the mode expansion of a Dirac field gives the displayed local anticommutator. The reversed momentum in the antiparticle completeness term is essential.

For constant internal matrices acting on Dirac fields, the equal-time canonical anticommutation relations givewith the corresponding spatial delta functions for fields. The quartic terms cancel after fermion reordering. Integrating proves the displayed algebra for well-defined global Noether charges, with normal ordering and a regulator that preserves the nonanomalous internal symmetry. Orthogonal chiral projectors make the left/right mixed commutators zero. This reduces current-charge closure to a finite matrix calculation.

For a Poisson random measure $\Pi$ with intensity $\mu$ and measurable nonnegative $h$, $\mathbb{E}\int hd\Pi =\int hd\mu$, allowing both sides to be infinite. For signed $h$, the same identity holds if $\int |h|d\mu <\infty$. This first-moment statement does not require square integrability. Applying it to a nonnegative volume mark gives the expected total volume in a marked Poisson model.

A calorimeter heat-loss correction estimates the signed heat exchanged with the room during the measurement. Under Newton's law of cooling, a constant room temperature $T_a$ and a single representative assembly temperature $T$ give the modelHere $P(t)$ is deposited input power, and $G$ is the apparatus loss coefficient in $\mathrm{W}{\mathrm{K}}^{-1}$. After input ceases, the temperature excess shows exponential decay with time constant $\tau =C_{\mathrm{eff}}/G$:A cooling trace determines the ratio $G/C_{\mathrm{eff}}$, not the two factors separately. Combining the cooling trace with a known electrical energy input supplies the missing information. For constant input $P_0$, starting at $T_a$, the heating solution is $T(t)-T_a=(P_0/G)(1-e^{-t/\tau })$; these solutions generate the calibration figure.

For mixing calorimetry, infer cooling behavior only after the sample, water and vessel approach a common temperature. Applying a single-body cooling model while the sample remains much hotter than the water can misestimate the earlier loss. The Toronto handout's area correction assumes the same loss mechanism represents both the mixing interval and subsequent cooling.^[ref] A backward extrapolation to the transfer time is therefore a model-dependent estimate, not the ultimate equilibrium with the room. Extend the model or report a limitation if sensor delay, substantial temperature gradients, changing room temperature, or escaping material invalidate that assumption. In particular, the relevant $C_{\mathrm{eff}}$ after adding a sample includes its heat capacity; an empty-receiver cooling rate need not apply to the loaded receiver.

Calorimeter calibration establishes the response of the actual measurement assembly to a known energy input. It determines a participating heat capacity, not just the empty vessel's mass. For an electrical calibration with an immersed resistor, measure voltage $V(t)$ across that resistor and electric current $I(t)$ through it. If that electrical work is deposited inside the chosen boundary, its input isFor a covered receiver at constant pressure, $C_{\mathrm{eff}}$ describes enthalpy storage; for a rigid fixed-volume assembly, use the matching heat capacity at constant volume. Negligible endpoint mechanical storage and no escaping material are assumed. Thus $E_{\mathrm{el}}/(T_1-T_0)$ overestimates $C_{\mathrm{eff}}$ if outward loss is ignored. Account for lead losses outside the boundary and maintain the same water charge and immersed hardware in calibration and sample runs.

An alternative calibration mixes known hot and cold water portions. With the vessel initially at the cold portion's temperature $T_c$, the mixing calorimetry balance givesThe previous synthetic water example returns $100\mathrm{J}{\mathrm{K}}^{-1}$. The sign matters: attributing room losses to the vessel makes this estimate too large. With both $C_{\mathrm{cal}}$ and the loss unknown, one final temperature supplies only one equation; separate cooling information or controlled independent runs are needed.

A calorimeter heat-loss correction can make the electrical balance quantitative. For a second synthetic example, stipulate $0.100\mathrm{kg}$ of water with $c_w=4180\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}{\mathrm{K}}^{-1}$ and immersed hardware with $C_{\mathrm{cal}}=82\mathrm{J}{\mathrm{K}}^{-1}$, so $C_{\mathrm{eff}}=500\mathrm{J}{\mathrm{K}}^{-1}$. Supply $10\mathrm{W}$ for $300\mathrm{s}$, starting at a room temperature of $20{}^{\circ }\mathrm{C}$, with loss coefficient $G=1\mathrm{W}{\mathrm{K}}^{-1}$. The model below gives $T_1\approx 24.512{}^{\circ }\mathrm{C}$, storage $2255.942\mathrm{J}$ and outward loss $744.058\mathrm{J}$. The uncorrected ratio gives about $665\mathrm{J}{\mathrm{K}}^{-1}$; subtracting the loss recovers $500\mathrm{J}{\mathrm{K}}^{-1}$.

For fixed external momenta, the massless Callan-Symanzik equation is $(\mu {\partial }_{\mu }+\beta (\lambda ){\partial }_{\lambda }+n{\gamma }_{\varphi })G_n=0$. Choose a running coupling satisfying $d\lambda /d\log \mu =\beta (\lambda )$ and $\lambda ({\mu }_0)={\lambda }_0$. The chain rule reduces the equation along this curve to $d{G}_n/d\log \mu =-n{\gamma }_{\varphi }{G}_n$, whose integrating factor gives the displayed solution. The reference correlation function at ${\mu }_0$ supplies boundary data; the renormalization group alone does not determine these data.

If $\beta =b{\lambda }^2$, then $\lambda (\mu )={\lambda }_0/[1-b{\lambda }_0\log (\mu /{\mu }_0)]$. If in addition the anomalous dimension is ${\gamma }_{\varphi }=c{\lambda }^2$, the integral in the exponent is $(c/b)(\lambda (\mu )-{\lambda }_0)$. These formulas use the stipulated truncated renormalization group functions and apply on a branch on which the running solution remains defined.

For a normalized connected functional obeying $(\mu {\partial }_{\mu }+\hat{\beta }{\partial }_{\lambda }+{\hat{\gamma }}_{h}h{\partial }_h)F=0$, solve the displayed ordinary differential equations and keep $F$ constant along their curves. Where $\hat{\beta }\ne 0$, $\log (\mu /{\mu }_{\ast })={\int }_{{\lambda }_{\ast }}^{\lambda (\mu )}dg/\hat{\beta }(g)$ and $h(\mu )=h_{\ast }\exp {\int }_{{\lambda }_{\ast }}^{\lambda (\mu )}{\hat{\gamma }}_h(g)dg/\hat{\beta }(g)$. For the dimensionless density $f(\lambda ,y)$ of a uniform source, with $y=h/{\mu }^3$, the equation is $[\hat{\beta }{\partial }_{\lambda }+({\hat{\gamma }}_h-3)y{\partial }_y+d]f=0$. Its characteristic invariant is $y\exp [-\int ({\hat{\gamma }}_h-3)dg/\hat{\beta }]$, and its value acquires the factor $\exp [-\int ddg/\hat{\beta }]$. A finite-volume total functional also retains the dimensionless volume argument.

In a flux-free static supergravity background with a parallel unit Killing spinor, this two-form satisfies the membrane tangent-plane bound because ${\Gamma }_0\gamma (u)\gamma (v)$ is a Hermitian involution. Its eigenvalues are $\pm 1$, so $\phi (u,v)\le 1$, with equality precisely at the kappa symmetry projector condition. Parallel transport gives $\nabla \phi =0$ and hence $d\phi =0$. This constructs an ordinary calibration; flux backgrounds instead call for a generalized calibration.

If $\Sigma$ is calibrated by $\phi$ and ${\Sigma }^{\prime }$ is homologous with the same boundary, Stokes theorem gives ${\int }_{\Sigma }\phi ={\int }_{{\Sigma }^{\prime }}\phi$. The tangent-plane bound gives ${\int }_{{\Sigma }^{\prime }}\phi \le \mathrm{Vol}({\Sigma }^{\prime })$, while calibration gives ${\int }_{\Sigma }\phi =\mathrm{Vol}(\Sigma )$. Thus $\Sigma$ minimizes volume in its relative homology class and is a minimal submanifold wherever smooth.

For $\mathrm{div}(ADu)+b\cdot Du+cu=f$ with bounded measurable coefficients and uniformly elliptic $A$, testing with ${\eta }^{2}u$ and using Young inequality gives $\int {\eta }^2|Du{|}^2\le C\int (1+|D\eta {|}^2)u^2+C\int {\eta }^2{f}^2$. No sign condition on $c$ is needed for this interior estimate. A cutoff equal to one on $U$ and supported in $V$ yields the displayed bound; the constant depends only on dimension, ellipticity, coefficient bounds and the separation of $U$ from the boundary of $V$.

For nondegenerate quark masses, changing the constant quantum phases of quark fields preserves their diagonal mass terms. Adopt the conventionSuch quantum field rephasings alter individual entries of the CKM matrix without altering physics. Physical CP symmetry in this mixing sector means that some allowed convention makes the CKM matrix real. Toshihide Maskawa emphasized the distinction between complex entries and an irremovable CP-violating phase.^[ref]

Here is a constructive two-generation argument. For a generic $2\times 2$ unitary matrix, use the three effective row/column phases to make $V_{11},V_{12},V_{22}$ real and positive. Column orthogonality then forces $V_{21}$ to be real and negative. Row normalization leaves just the real rotation specified by the Cabibbo angle. Zero entries are limiting cases and introduce no weak phase. Thus two-generation quark mixing cannot violate CP symmetry through this mechanism, even when its entries initially look complex.

For three quark generations, the Jarlskog invariant provides an obstruction to repeating that construction: all four phase factors cancel from its defining quartet. If its imaginary part is nonzero, no choice of quantum field rephasings can make every entry real. With nondegenerate quark masses, this proves physical CP violation in the mixing sector. This argument concerns the weak interaction; it does not dispose of the separate Strong CP problem.

The Wolfenstein parametrization organizes the CKM matrix in powers of a small parameter $\lambda =s_{12}$, defining $s_{23}=A{\lambda }^2$ and $s_{13}{e}^{i\delta }=A{\lambda }^3(\rho +i\eta )$. Substitution into the exact unitary matrix gives the cubic truncationThis is a useful truncation, with entrywise corrections starting at order ${\lambda }^4$, rather than an exactly unitary matrix. For example, its first-row squared norm is $1+{\lambda }^4/4+A^2{\lambda }^6({\rho }^2+{\eta }^2)$, already different from one. The exact definitions of the sines can instead be inserted into the exact CKM matrix, retaining every cosine, to obtain exact unitarity.

For the illustrative parameters of the CKM unitarity triangle, the exact definitions give $\lambda =1/4$, $A=8/5$, $\rho =1/5$ and $\eta =\sqrt{3}/5$. The first-row norm error in $V^{(3)}$ is $0.0010765625$, whereas the exact CKM matrix has unit row norms. To leading order the Jarlskog invariant is $J\simeq A^2{\lambda }^6\eta$, but the exact expression includes cosine factors. The barred parameters $\bar{\rho },\bar{\eta }$ are defined by the exact ratio in the CKM unitarity triangle; they differ from $\rho ,\eta$ beyond leading order. This distinction matters when a geometrical closure test is used to test unitarity.