Although the local viscous dissipation is $2\nu S_{ij}{S}_{ij}$, increasingly intense velocity gradients can compensate for vanishing kinematic viscosity. A Burgers vortex illustrates this mechanism: its radius shrinks while its excess integrated viscous dissipation remains finite. Such a local model does not by itself prove the zeroth law of turbulence for a whole flow.

Put a contact thermometer $C$ in thermal contact with $A$, wait for thermal equilibrium, and record response $X_A$. Repeat with $B$ under the same operating constraints. If $X_A=X_B$, and the calibrated response is an injective function of temperature on this range, $C$ occupies the same thermal reference state in both comparisons. The zeroth law of thermodynamics then predicts $A\sim B$. Equality of raw numbers from different uncalibrated thermometers supplies no such premise.^[ref]

Use a probe whose participating heat capacity is small relative to each sample, or use maintained heat baths. Otherwise the matching readings describe the disturbed final states. Also hold the probe's immersion and mechanical conditions fixed: its response can depend on more than temperature. Matching readouts only tests agreement within resolution and repeatability, rather than proving exact equality of temperatures.

Agreement within a tolerance is not itself an equivalence relation. With a $0.10{}^{\circ }\mathrm{C}$ tolerance, readings $25.00$ and $25.16{}^{\circ }\mathrm{C}$ each agree with $25.08{}^{\circ }\mathrm{C}$, yet disagree with each other. This is a limitation of the measurement rule, not a failure of the exact transitivity asserted by the zeroth law of thermodynamics.

An empirical temperature labels classes of thermal equilibrium using a reproducible thermometer response. Equal labels express the zeroth law of thermodynamics comparison. A suitable continuous response and calibration let ordinary laboratory states be represented on a numerical scale; the abstract equivalence relation alone does not guarantee a useful real-valued coordinate. An injective function of the label preserves equality, so the zeroth law of thermodynamics alone fixes neither unit nor spacing. Thermometer calibration supplies a chosen response relation; thermodynamic temperature supplies the additional absolute-scale structure.

Two thermodynamic systems are in thermal contact when their boundary permits heat transfer. They need not already be in thermal equilibrium: contact between unequal temperatures is precisely how equilibration can begin. Contact specifies an allowed exchange; equilibrium specifies its balance.

For $m^2>0$, the zero-dimensional scalar field theory with Euclidean action $m^2{x}^2/2+\lambda x^4/4!$ has a Gaussian integral normalization $I(0)=\sqrt{2\pi /m^2}$. Its Feynman rules assign $1/m^2$ to each propagator, $-\lambda$ to each quartic vertex, and the reciprocal Feynman-diagram symmetry factor to each vacuum diagram. The integral itself includes disconnected vacuum diagrams; its logarithm selects connected ones. At second order the three possible numbers of edges joining the two vertices are zero, two and four, with Feynman-diagram symmetry factors $128,16,48$ respectively. Their weights add to $35{\lambda }^2/(384m^8)$.

The Wick contractions give the general coefficient $I(0)(-1{)}^v(4v-1)!!/[v!(4!{)}^v{m}^{4v}]$. Successive absolute coefficients have ratio $(4v+3)(4v+1)/[24(v+1)m^4]$, which tends to infinity. Thus this is an asymptotic expansion as $\lambda \downarrow 0$, rather than a convergent power series. For every fixed truncation the Taylor theorem remainder estimate for $e^{-u}$, $u\ge 0$, can be integrated against the Gaussian distribution to justify the corresponding remainder bound.

The continuously compounded yield of a unit-face zero-coupon bond is the constant rate producing its current discount factor over the remaining maturity. It equals the maturity average of the instantaneous forward rate. Differentiation gives $f(t,T)=R(t,T)+(T-t)R_T(t,T)$, and both rates tend to the short rate as $T\downarrow t$. This definition uses continuous compounding; quoted coupon-bond yields require a different cash-flow equation.

Every proper class is in bijection with the universe. Over class-theoretic Zermelo set theory, with class-parameter separation, this is equivalent to replacement plus global choice. For replacement, a proper functional image of a set would give a surjection from that set onto the universe, contradicted by diagonal separation. The proper class of ordinals supplies the global well-order. Conversely rank followed by uniformly chosen rank-segment well-orders is set-like, and every proper class in that order has order type equal to the entire ordinal class.

For $\mathbf{r}=a[\mathbf{q}+b(t)(p(q_1),0,0)]$, put $J=1+b{p}^{\prime }$. Before shell crossing, mass conservation gives $\rho =\bar{\rho }/J$. The dust background equation $3\ddot{a}/a=-4\pi G\bar{\rho }$ and the growing-mode equation $\ddot{b}+2H\dot{b}=4\pi G\bar{\rho }b$ imply ${\nabla }_r\cdot \ddot{\mathbf{r}}=-4\pi G\bar{\rho }+4\pi G\bar{\rho }b{p}^{\prime }/J=-4\pi G\rho$. Thus planar Zeldovich approximation trajectories satisfy the full nonlinear dust force-divergence equation until the map loses invertibility. All three physical coordinates are included in the divergence; the two unperturbed directions still contribute background acceleration.

A quantum anomaly is the failure of a classical symmetry to survive quantization because the functional measure or regulator cannot preserve it.

In $\mathcal{L}=-g_{ab}{F}_{\mu \nu }^a{F}^{b\mu \nu }/4$, only the symmetric part of $g$ contributes. A constant symmetric bilinear form gives local gauge invariance precisely when it is an invariant bilinear form on a Lie algebra, because the gauge field strength transforms in the Adjoint representation. A nondegenerate kinetic term requires a nondegenerate bilinear form; positivity of the Hamiltonian is an additional condition. For a compact simple real Lie algebra, $-\kappa$ is positive definite, and a positive multiple supplies the usual positive-energy convention with Minkowski signature $(+---)$.

A classical zero-energy Yang-Mills vacuum has vanishing spatial gauge curvature. On simply connected space it is pure gauge, $A=h^{-1}dh$. If gauge transformations approach the identity at spatial infinity, the boundary-normalized gauge maps on compactified space $S^3$ have integer winding, recorded by the Chern-Simons number of a gauge field. Transformations of nonzero winding relate these representatives; quantum theta states encode their tunnelling and large-gauge-transformation phases.

With $D_{\mu }={\partial }_{\mu }+ig{A}_{\mu }$ and $[T^a,T^b]=i{f}_{abc}{T}^c$, the Yang-Mills field strength has the sign $F_{\mu \nu }^a=G_{\mu \nu }^a-g{f}_{abc}{A}_{\mu }^b{A}_{\nu }^c$. Expanding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4$ gives a cross term $(g/2)G_{\mu \nu }^a{f}_{abc}{A}^{b\mu }{A}^{c\nu }$; antisymmetry makes its two derivative terms equal, proving the cubic expression. Squaring the nonlinear term gives the quartic expression. Both vertices arise from the same gauge coupling, rather than independent free parameters.

A theta vacuum is a coherent state $|\theta ⟩={\sum }_n{e}^{in\theta }|n⟩$ formed from gauge vacua of different winding numbers. Large gauge transformations shift $n$ and act on this state by a phase. The Yang-Mills theta term gives the corresponding weighting of spacetime topological sectors.

If a Lie algebra has an invariant symmetric nondegenerate form $h$, its curvature $F$ transforms in the Adjoint representation and $\mathcal{L}=-h(F_{\mu \nu },F^{\mu \nu })/4$ is gauge invariant. Infinitesimal invariance follows from $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$. For compact generators with $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$, this gives $-\mathrm{tr}(F_{\mu \nu }{F}^{\mu \nu })/2=-F_{\mu \nu }^a{F}^{a\mu \nu }/4$. An arbitrary index contraction is not gauge invariant for an arbitrary Lie algebra.

A smooth gauge field of finite positive Euclidean Yang-Mills action cannot be invariant under a nonzero translation, even up to gauge transformation. The positive gauge-invariant action density would be periodic along that translation. A ball on which the density is bounded below by a positive constant has infinitely many disjoint translated copies, making the action infinite. Continuous translation invariance is a special case. Consequently a nonflat translation-invariant field satisfying the Anti-self-dual Yang-Mills equations on ${\mathbb{R}}^3\times \mathbb{R}$ is not a finite-action Yang-Mills instanton. Flat connections are the zero-action exception. Translations still act on instanton moduli, sending a localized instanton to a distinct centered configuration.

With Skew-Hermitian $SU(2)$ generators obeying $[T_a,T_b]={ϵ}_{abc}{T}_c$ and $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$, putThe gauge curvature is self-dual. The identity ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$ gives $F^2=192{\rho }^4/(|x-a{|}^2+{\rho }^2{)}^4$. Radial integration yields action $8{\pi }^2/g^2$ and charge one with $k=-(8{\pi }^2{)}^{-1}\int \mathrm{tr}(F\wedge F)$. The parameters are center $a\in {\mathbb{R}}^4$, size $\rho >0$, and global gauge orientation in a framed description. Replacing $\eta$ by $\bar{\eta }$ reverses duality and charge.

Take $V={\mathbb{C}}^k$, $W={\mathbb{C}}^N$, $B_1,B_2\in \mathrm{End}(V)$, $I:W\to V$, and $J:V\to W$, satisfyingRegular data modulo $U(k)$ construct framed Anti-self-dual Yang-Mills equations solutions of charge magnitude $k$. The ADHM factorization identity gives an explicit gauge curvature proof. The two complex matrices and the two rectangular maps have $4k^2+4kN$ real parameters; three real matrix constraints remove $3k^2$, and quotient by $U(k)$ removes another $k^2$, giving dimension $4kN$ at regular points. Degenerate data can describe zero-size singular limits rather than smooth instantons.

For integer instanton number $k$, a topological angle can weight each Euclidean gauge-field sector by $e^{ik\vartheta }$ in a stated convention. The sector sum is then $2\pi$-periodic in $\vartheta$. In temporal gauge, the same integer describes a change in the vacuum winding or Chern-Simons number, with compatible orientation conventions. Classical instanton action fixes exponential suppression, while determinants and collective-coordinate integrals supply prefactors.

An invertible linear map on $V\otimes V$ is an R-matrix when it obeys $R_{12}{R}_{13}{R}_{23}=R_{23}{R}_{13}{R}_{12}$ on $V^{\otimes 3}$. Here $R_{13}$ acts on the first and third factors. The flipped operator $PR$ obeys the braid relation. This numerical-matrix notion is distinguished from a universal quasitriangular element in a Hopf algebra tensor square.

In a low-mass X-ray binary, the donor star is relatively low mass. Roche-lobe overflow usually feeds an accretion disk around a neutron star or black hole. The low-mass label concerns the donor rather than the total binary mass. Accumulated fuel on a neutron star can produce a Type I X-ray burst.