A nontrivial stationary front of the real-coefficient cubic-quintic amplitude equation joining a nonzero pattern to zero must have constant phase. Writing $A=R{e}^{i\varphi }$ gives $R^2{\varphi }^{\prime }=J$; the finite first integral contains $J^2/(2R^2)$, so approaching zero forces $J=0$. Equal endpoint potentials then give $R_{-}^2=3\alpha /4$ and the unique parameter ${\mu }_M=-3{\alpha }^2/16$. The explicit profile is $A=e^{i{\varphi }_0}\sqrt{(3\alpha /4)/(1+e^{\sqrt{3}\alpha (x-x_0)/2})}$. This proves existence as well as the necessary equal-potential condition. The zero solution is excluded from the term front.

With initially independent actions, same-round independence is preserved by reactive updates: each next action uses the other independent previous action and fresh independent randomization. Marginal cooperation follows $x^{\prime }=q_1+(p_1-q_1)y$, $y^{\prime }=q_2+(p_2-q_2)x$. If the product of response slopes has modulus below one, these recurrences converge and the joint distribution is their product. Averaging $R,S,T,P$ over that distribution gives the long-time payoffs. At deterministic response slopes of modulus one, initial-memory-specific cycles must instead be averaged directly.

Tit for tat cooperates initially and then repeats the opponent's previous action. Two such players cooperate forever without mistakes under this initial convention. It retaliates against defection and returns to cooperation after the opponent cooperates.

Always cooperate chooses cooperation independently of the opponent's actions.

Always defect chooses defection independently of the opponent's actions.

For an isolated razor-thin disk, define the two-dimensional Fourier transform by $\tilde{g}(\mathbf{k})=\int e^{-i\mathbf{k}\cdot \mathbf{x}}g(\mathbf{x})d^{2}x$. At $k>0$, the razor-thin disk Poisson kernel gives the displayed inversion. Since the transform of $1/|\mathbf{x}|$ is $2\pi /k$, inversion also gives $\Sigma =(4{\pi }^{2}G{)}^{-1}(1/|\mathbf{x}|)\ast {\Delta }_2\Phi$. The forward relation is $\Phi =-G(1/|\mathbf{x}|)\ast \Sigma$. An additive potential constant is irrelevant; a uniform infinite sheet and scale-free divergent potentials require separate zero-mode or potential-difference treatment rather than an arbitrary decaying boundary condition.

An inclusion-minimal $s$-set in an upward-closed family cannot belong to an $r$-member delta-system of such minimal sets: its proper core would be adjoined by Razborov closure, violating minimality. The Erdős–Rado sunflower lemma therefore bounds the number $a_s$ of minimal $s$-sets. This weaker factorial bound is sufficient for the superpolynomial monotone clique lower bound.

In a smooth isotropic medium, an elastic ray is the path followed by a local wavefront normal, with the appropriate P or S wave speed $c$. Arclength $s$ gives the displayed trajectory and travel-time equations. Its neighboring ray paths determine geometrical spreading, while the eikonal equation determines the normals. A caustic occurs where the neighboring paths focus and the elementary ray wave amplitude description ceases to be uniform.

A wave's travel time along a elastic ray is the integral of local slowness against arc length. Its variation with source and receiver position describes the arrival branches, including transmitted and reflected paths. Different paths can have different travel times between the same endpoints.

A subgroup of the group of fractional ideals prime to a modulus of a number field, containing the principal ray subgroup. It is the inverse image of a subgroup of the ray class group. The existence theorem of global class field theory realizes it as the kernel of an Artin map, and identifies its quotient with the corresponding Galois group. This is the ideal-theoretic class-field meaning of congruence subgroup.

For a positive integer $m$, the finite ray class group of $\mathbb{Q}$ is $(\mathbb{Z}/m\mathbb{Z}{)}^{\times }/⟨-1⟩$: the unit group permits either sign of a rational generator. Its ray class field is the maximal real subfield of the cyclotomic field $\mathbb{Q}({\zeta }_m)$. Including the real place requires positive principal generators and gives the full group $(\mathbb{Z}/m\mathbb{Z}{)}^{\times }$ and full cyclotomic field. Thus modulus $(5)$ gives $\mathbb{Q}(\sqrt{5})$, while $(5)\infty$ gives $\mathbb{Q}({\zeta }_5)$. The Artin reciprocity map sends a prime $\ell \nmid m$ to the exponent $\ell$, taken modulo $\{\pm 1\}$ in the finite case. Ramification at real places is possible only when those places are included in the modulus of a number field.

The ring of integers is $\mathbb{Z}[\omega ]$, where ${\omega }^2+\omega +1=0$, and its class number is one by the Minkowski bound for ideal classes. Modulo seven it is ${\mathbb{F}}_7\times {\mathbb{F}}_7$. The six roots of unity reduce to the kernel of the product map on the two residue unit groups, so the ray class group is ${\mathbb{F}}_7^{\times }$, of order six. The relative Artin symbol on $K({\zeta }_7)$ is exponentiation by the norm of a fractional ideal modulo seven. It kills the principal ray subgroup, and $[K({\zeta }_7):K]=6$, proving that this is the ray class field.

For $K=\mathbb{Q}(\sqrt{-6})$, reduction of $\mathbb{Z}[\sqrt{-6}]$ modulo $(\sqrt{-6})$ gives $\mathbb{Z}/6\mathbb{Z}$. Its unit group is covered by the units $\{1,-1\}$ of $K$. The ray class exact sequence therefore identifies the ray class group with the ordinary ideal class group, of order two. Consequently this ray class field is the Hilbert class field of Q of square root minus six. To verify its lack of ramification, the integral basis candidate $1,\sqrt{2},b,\sqrt{2}b$, where $b=(1+\sqrt{-3})/2$, has discriminant $8^2(-3{)}^2=576$. The relative discriminant formula also forces the field discriminant to be divisible by $(-24{)}^2=576$. Equality proves that the relative discriminant ideal is trivial.

For an algebraic group defined over ${\mathbb{F}}_q$, its Frobenius morphism acts as entrywise $q$th powers in a standard matrix realization. Its differential is zero, and its fixed-point group is finite. A conjugate $F^{\prime }=\phi F{\phi }^{-1}$ defines an isomorphic rational structure. This group morphism must be distinguished from a field Frobenius endomorphism alone and from the convention called geometric Frobenius in Galois theory, which is inverse to the arithmetic generator on field points.

For simply connected $X$, rationalization of a topological space is a map $r:X\to X_{\mathbb{Q}}$ to a rational space inducing ${\pi }_n(X_{\mathbb{Q}})={\pi }_n(X)\otimes \mathbb{Q}$. It is also a rational homology equivalence. Its universal property is the bijection $r^{\ast }:[X_{\mathbb{Q}},Z]\to [X,Z]$ for every rational space $Z$. A Postnikov tower constructs it by replacing each fibre group with its rational tensor product and transporting the Postnikov invariant through the resulting cohomology isomorphism, then taking the homotopy inverse limit.

On an irreducible variety, every nonempty open subset is dense, so a germ determines a rational section. For a locally free sheaf, this map is injective: a local section which vanishes on a dense open has all its regular coefficient functions zero, hence is zero. Local freeness is important; a section of a torsion sheaf can vanish generically without having zero germ.

For a locally free sheaf on an irreducible variety, the stalk inclusion identifies sections regular near $P$ inside its rational sections. The quotient records the obstruction to regularity at that point. This definition does not assume a nonsingular point or a discrete valuation parameter.

A vector is unstable if zero lies in the Zariski closure of its orbit. For complex $S{L}_n$, this is equivalent to an algebraic one-parameter subgroup taking it to zero as $t\to 0$. In the subgroup's weight decomposition, exactly the positive-weight components can occur in such a vector.

Suppose $a_n>0$ and, for all sufficiently large $n$, $a_{n+1}/a_n\le 1-c/n$ with fixed $c>0$. Choose an initial index $N>c$. Since $\log (1-x)\le -x$ for $0<x<1$, summing logarithmic ratios gives $\log (a_n/a_N)\le -c{\sum }_{k=N}^{n-1}1/k\le -c\log (n/N)$. Thus $a_n\le a_N{N}^c{n}^{-c}$. For $c>1$, the comparison test for series with a P-series proves convergence. This supplies a useful refinement when a limiting ratio of one makes the ordinary ratio test inconclusive.

A rate function is a lower semicontinuous map $I:E\to [0,\infty ]$. It is good if every sublevel set $\{I\le M\}$ is a compact set. This property controls escapes to infinity and makes the minimizations in the contraction principle for large deviations attain their finite infima. On ${\mathbb{R}}^d$, a lower semicontinuous rate function tending to infinity with the norm is good.