The product of charge conjugation and a half-turn in isospin is G parity. Both conjugations act on the isospin generators by $(J_1,J_2,J_3)\mapsto (-J_1,J_2,-J_3)$, so their product commutes with every generator. The Schur lemma therefore gives a common G-parity value throughout each irreducible isospin multiplet on which the operator acts internally. It can classify a charged multiplet even though individual charged states are not eigenstates of charge conjugation.

Weak isospin labels representations of the SU(2) factor in the electroweak gauge group. A left-handed lepton doublet has $T=1/2$ with third-component eigenvalues $+1/2,-1/2$; a right-handed charged-lepton singlet has $T=0$. Along with electric charge, the third component determines the weak neutral current through $T^3-Q{\sin }^2{\theta }_W$.

For an isonormal Gaussian process $X$ on a real Hilbert space $H$ and $k\in H$, the positive density $\exp (X(k)-\Vert k{\Vert }^2/2)$ has expectation one and defines an equivalent probability measure. Under this measure, $X(h)$ has mean $⟨h,k⟩$ and the same covariance as before. The shifted family $X(h)-⟨h,k⟩$ is again an isonormal Gaussian process. This follows by evaluating the joint Gaussian exponential formula for any finite collection of arguments. It is the Hilbert-space version of exponential tilting.

For nonnegative field $g$, the bulk quasiparticle gap is $2J|g-1|$. At $g=0$ the dispersion is flat, $2J$; at large $g$ it is $2Jg-2J\cos k+O(J/g)$. At $g=1$ it becomes $4J|\sin (k/2)|$, linear near the gapless point. The finite periodic spin chain has additional global excitation constraints; a single isolated domain wall is not an allowed closed-chain spin configuration.

The vacuum of the diagonal Bogoliubov quasiparticles has the displayed energy. In the thermodynamic bulk, $E_0/N=-J(2\pi {)}^{-1}{\int }_{-\pi }^{\pi }\sqrt{1+g^2-2g\cos k}dk$. The Hellmann–Feynman theorem then gives the field magnetization ${\sum }_n⟨S_n^z⟩={\sum }_{k}J(g-\cos k)/{ϵ}_k$. Sector-dependent finite-chain boundary terms must be restored when exact finite-size levels are needed.

In a Noetherian ring, an irreducible ideal is a primary ideal. In its quotient, if $xy=0$ and $x\ne 0$, choose $r$ after the annihilators of powers of $y$ stabilize. Then $(x)\cap (y^r)=0$, so irreducibility forces $y^r=0$. Combined with finite decomposition into irreducible ideals, this proves the Lasker–Noether theorem.

A consumption satisfaction stock smooths past consumption by ${\xi }_t=e^{-\lambda t}{\xi }_0+{\int }_0^t{e}^{-\lambda (t-s)}{c}_{s}ds$. Unlike multiplicative habit utility, the running utility function may depend on this stock alone. A unit of present consumption raises future consumption satisfaction while costing one unit of financial portfolio wealth.

When the market price of risk is constant and nonzero spot volatility gives access to the driving Brownian motion, changes in volatility only rescale the dollar holding needed for fixed Brownian portfolio exposures. With unrestricted holdings and constant interest and discount rates, the CRRA utility value is consequently independent of the factor state. Zero volatility requires separate treatment.

A fixed loan principal contributes a constant interest outflow $h$. If the objective stops when available portfolio wealth reaches zero, the value function has an absorbing boundary $V(0)=0$. This differs from requiring the portfolio to finance the debt service forever.

For a chi-squared-one variable $Y$, the positive inverse branches of $h(x)=\lambda (x-\mu {)}^2/({\mu }^{2}x)$ have product ${\mu }^2$. Weight a branch value $x$ by $\mu /(\mu +x)$; the two weights sum to one. Multiplying the chi-squared density by this weight and the branch Jacobian gives the inverse Gaussian density on both sides of $\mu$.

For $X\sim IG(\mu ,\lambda )$, $h(X)=\lambda (X-\mu {)}^2/({\mu }^{2}X)$ has the chi-squared-one law. Its two inverse branches contribute weights $\mu /(\mu +x_{-})$ and $\mu /(\mu +x_{+})$ to the transformed density, and reciprocal roots make those weights sum to one.

For a compact three-manifold $W$, let $L=\ker (H_1(\partial W;{\mathbb{F}}_2)\to H_1(W;{\mathbb{F}}_2))$. The boundary intersection pairing satisfies $L^{\perp }=L$: the long exact sequence in relative homology identifies $L$ with boundaries of relative surfaces, and the boundary-interior adjoint identity identifies its orthogonal complement with the same kernel. Hence $2\dim L=\dim H_1(\partial W;{\mathbb{F}}_2)$. This also implies that a closed surface with odd first mod-two Betti number, such as ${\mathbb{RP}}^2$, cannot be the entire boundary of a compact three-manifold.

For an intersection-free uniform set family of rank $r$, fix $X\in \mathcal{F}$. The map $A\mapsto X\cap A$ on $\mathcal{F}\setminus \{X\}$ is injective and its image is an antichain in $\mathcal{P}(X)$: a containment $X\cap A\subseteq X\cap B$ would violate intersection-freeness on the distinct members $X,A,B$. The Sperner theorem then proves the displayed bound.

The fixed rate making an interest rate swap have zero initial value. For unit accrual periods, unit notional and payments $r_t-s$, the floating-leg value is $1-P_0(T)$ and the fixed-leg annuity is ${\sum }_{t=1}^T{P}_0(t)$. The formula changes when accrual lengths or payment schedules differ.

A hierarchical statistical model that contains an interaction term retains its associated lower-order effects. For two categorical predictors this means keeping both main effects when keeping their interaction. A nonsignificant averaged main effect may coexist with large opposite effects in different groups. Dropping its lower-order term while retaining the interaction can make the model depend on arbitrary factor coding.

A coupling constant is a coefficient of a field interaction term. It fixes the interaction's strength relative to the chosen field normalization. For example, a real scalar field can haveHere the factor $4!$ is a convention in the definition of $g$; changing that convention changes the parameter's numerical value. Its engineering dimension depends on the spacetime dimension and the normalization of the kinetic term.

In a renormalized theory, a coupling constant is specified at a renormalization scale $\mu$. Its change with that scale is described by the renormalization-group beta function, $\beta (g)=\mu dg/d\mu$. Thus the word “constant” need not mean independence of the scale used to describe the interaction.

A smooth curve tangent to a regular integrable distribution lies in one maximal leaf of a regular foliation. In a Frobenius theorem chart its transverse coordinates have zero derivative, so each short segment lies in one plaque. A finite chain of such segments covers any compact parameter interval and joins plaques in the same leaf. A single embedded local plaque only gives confinement while the curve remains in its chart. A dense immersed cylinder in a three-dimensional torus shows why global embedded confinement cannot generally replace the immersed statement.

The map descends to an injective immersion from $\mathbb{R}\times (\mathbb{R}/\mathbb{Z})$ into the three-dimensional torus. Injectivity follows because an integer difference in $s$ with an integer difference in $\alpha s$ must be zero. Its image is dense by an irrational rotation of the circle, and is tangent to the commuting independent fields ${\partial }_x+\alpha {\partial }_z$ and ${\partial }_y$. It is a leaf of a regular foliation, but cannot be an embedded submanifold: in an embedding chart the coordinate plane would be locally closed yet contain a dense ambient subset.

Changing the lower limit in $H(a){\int }_{a_i}^{a}d\tilde{a}/(\tilde{a}H{)}^3$ adds a constant multiple of $H(a)$, the independent matter-era decaying solution. Thus a finite lower limit defines a useful independent solution but can include a decaying admixture. A pure growing normalization is selected by an appropriate linear combination.

When $H\to H_{\Lambda }>0$, the growth integral has an integrable $a^{-3}$ tail. Its product with $H$ tends to a constant, with leading correction proportional to $a^{-2}$ in a matter-plus-Lambda background. Both displayed basis functions can tend to constants; a linear combination cancels that constant and isolates the truly decaying late-time $a^{-2}$ behavior.