When an electron of Lorentz factor $\gamma >1$ annihilates with a stationary equal-mass positron, transverse four-momentum conservation makes the photons' transverse components opposite. Eliminating their positive frequencies gives the displayed relation for noncollinear photon angles to the incoming electron. The exactly collinear forward/backward configuration is physically allowed but makes the quotient $0/0$; its undivided cross-multiplied identity remains valid. The angle relation thus requires nondegeneracy or an appropriate limit, rather than an assertion that every allowed angle pair defines the quotient.

Let two set families on $n$ coordinates forbid cross-intersection size $\ell$, and let $\rho$ be their density product. For $0<\delta \le 1/10$, put $g=\log (1+\delta )$, $h=-\log (1-\delta -2{\delta }^2)$, and $D=g+h$. Repeated forbidden-intersection density increments terminate when one endpoint of the forbidden interval reaches zero or the remaining dimension. In the first case, if $v$ steps widened the interval, the cross-intersection bound from cube separation gives $\log \rho \le -g\ell +Dv-v^2/n\le -g\ell +D^{2}n/4$. In the second case, at least $n-\ell$ steps occurred and at most $\ell$ widened, giving $\log \rho \le -gn+(2g+h)\ell$. For a single set family take the square of its density. Choosing $\delta =1/50$ proves $|\mathcal{A}|\le 1.999^n$ for forbidden intersections $n/4$ and $\lfloor n/8\rfloor$, with small dimensions handled directly.

A Cartesian theory uses a many-sorted first-order signature and sequents between Cartesian formulas. The fragment contains equality, atomic relations, truth, finite conjunction and existential quantification with provably unique witnesses. It has a Cartesian syntactic category with finite limits, whose finite-limit-preserving functors classify its internal models. Arbitrary existential quantification, disjunction and falsity are not added as finite-limit constructors.

Regular logic has atomic formulas and equality, truth, finite conjunction and unrestricted existential quantification. Its categorical semantics uses regular categories: conjunction is intersection and existential quantification is image. Disjunction and falsity are not added as formula constructors in the regular fragment.

The fragment uses finite conjunction, set-indexed disjunction and existential quantification, with equality and atomic relations. It is preserved under inverse image functors of geometric morphisms. The universal closure of an axiom is expressed by its variable context, not an unrestricted universal-quantifier constructor.

For $n$ independent regular first-class constraints in a $2N$-dimensional phase space, imposing the equations removes $n$ dimensions and quotienting independent gauge orbits removes another $n$. Reducibility, singular strata or vanishing gauge directions can invalidate that elementary count. Closure of the constraint algebra is necessary but does not by itself establish regularity.

A numerical flux estimates the rate of transfer across a cell face from nearby states. In the finite volume method update, $F_{j+1/2}^n$ approximates the conservation law flux averaged over the time step; $k{F}_{j+1/2}^n$ is the transferred amount. For a two-state numerical flux $F(L,R)$ approximating a scalar conservation law with conservation law flux $f$, consistency of a numerical method requires $F(U,U)=f(U)$. Thus equal states recover the physical transfer rate. With constant equal-width cells, this also preserves a constant state because its incoming and outgoing numerical fluxes agree.^[ref]

Consistency and shared face flux cancellation answer different questions: matching $f$ at equal states approximates the intended equation, while sharing one oriented face value preserves the total. The example periodic upwind finite volume advection uses $F(L,R)=aL$ for $a>0$, so the arriving state comes from the left. The Godunov numerical flux uses an entropy solution of a local Riemann problem; the Engquist-Osher flux provides a different construction for a scalar conservation law. A monotone conservative scheme uses a numerical flux nondecreasing in its left state and nonincreasing in its right state, together with a time step that makes the complete update monotone. Neither two-state consistency nor conservation by itself supplies that time-step restriction or a general stability or order of a numerical method guarantee.

A scalar finite-volume update is monotone if increasing any input state cannot decrease any output state. A consistent conservative update preserves constants and has an invariant interval by comparison. On a periodic grid, or an infinite grid with summable perturbations, conservation and monotonicity imply L1 contraction of a monotone conservative scheme. Translation invariance then implies the total variation diminishing scheme property.

A field that is a finite-type integer algebra has prime characteristic or zero. Prime characteristic and Zariski lemma make it a finite algebraic extension of a finite prime field. In characteristic zero, the same lemma makes it a number field; clearing finitely many coefficient denominators makes it integral over $\mathbb{Z}[1/N]$. The integral field extension forces the base domain to be a field, but a prime not dividing $N$ is not invertible there. This contradiction excludes characteristic zero.

Upper-unitriangular three-by-three matrices over the prime finite field form the finite analogue of the real Heisenberg group. In coordinates their multiplication is $(a,b,c)(a^{\prime },b^{\prime },c^{\prime })=(a+a^{\prime },b+b^{\prime },c+c^{\prime }+a{b}^{\prime })$. The order is $p^3$, and $(a,b,c{)}^k=(ka,kb,kc+\left(\genfrac{}{}{0ex}{}{k}{2}\right)ab)$. For odd $p$, every nonidentity element has order $p$, but the group is nonabelian. For $p=2$ the exponent statement changes, so odd characteristic is essential for the nonisomorphic Gassmann equivalent regular subgroups construction.

For a finite Galois extension $L/K$ with group $G$, there is $\theta \in L$ such that the elements $g(\theta )$ form a $K$-basis. Equivalently the additive $K[G]$-module $L$ is a regular representation. Over p-adic fields, its p-adic lattices are thus commensurable with regular lattices; this is useful in Herbrand quotient calculations after applying a p-adic logarithm to deep principal units.

For a normal domain $A$ with fraction field $K$, the field trace of an integral element in a finite separable field extension $L/K$ belongs to $A$. Its conjugates are integral, so their sum is integral; it lies in $K$ and hence in $A$ by normality. This places the integral closure inside a trace-dual lattice.

A fiber bundle whose fibers are affine spaces and whose transition functions are affine. Differences of points in one fiber lie in a corresponding model vector bundle, but there need not be a preferred zero in each fiber.

A closed chain of Dirac propagators is a fermion loop. Its closed fermion loop sign distinguishes it from a bosonic loop. Tracing spinor indices produces gamma matrix traces, and the high-momentum powers of the propagators determine possible ultraviolet divergences.

A box diagram has a one-loop cycle of four propagator edges and four vertices connecting external legs. Its internal particle types depend on the theory. In a charged weak box contribution to kaon mixing, two charged weak-boson propagators connect two up-type quark lines, with flavor-changing charged-current vertices.

In a Dirac field mode expansion, the antiparticle contribution to $\bar{\psi }\Gamma \psi$ first appears with operator order $d{d}^{†}$. Normal ordering changes it to $-d^{†}d$ using the fermionic anticommutation relations. Thus its scattering coefficient is $-{\bar{v}}_{\mathrm{in}}\Gamma v_{\mathrm{out}}$. Pair-annihilation and creation terms have the operator orders $db$ and $b^{†}{d}^{†}$. Keeping these orders and a fixed external-state convention determines interference signs, especially between exchange and annihilation graphs in a Yukawa interaction.

A member of a Farey sequence. Two distinct level-$Q$ fractions have ordinary distance at least $Q^{-2}$. On the quotient circle identify zero and one before forming a set; the shorter wrapped distance of two remaining distinct fractions obeys the same bound.

For compact Hausdorff $K$, the extreme points of the real unit ball in the space of continuous functions on a compact space are precisely its continuous sign-valued functions. A point with $|f|<1$ permits a nonzero continuous bump perturbation supported where there is uniform slack, while pointwise equality at an endpoint of $[-1,1]$ forces both functions in a midpoint decomposition to agree. For the Cantor set, clopen indicators give the perturbations directly.

A quadratic exponential sum has a polynomial phase of degree two. Its multiplicative derivative at lag $h$ has the linear phase $2\alpha hn$ up to a constant factor. This degree reduction lets the Van der Corput inequality for finite scalar sequences reduce its size to estimates for finite geometric series.

For known good probability $p={\sin }^2\theta$, choose $j=\lceil \pi /(4\theta )-1/2\rceil$. A known reversible preparation of one state with good probability $p_{\ast }$ permits $j$ ordinary amplitude amplification iterations to reach the good subspace exactly. With ancillary marking access, prepare a flag with one-probability $q=p_{\ast }/p$ and define joint success as good data and flag one. Reflection about the prepared product state is known, while the joint phase test requires a controlled marking oracle or a computed Boolean output. This changes the success projector and enlarges the state space; it does not evade the obstruction to uniform probability lowering by a unitary. Query costs of preparation, its inverse and marking must all be counted.