The walks to $\xi <\alpha$ share a unique maximal initial chain of nodes. At the next step the walk to $\xi$ moves into $[\xi ,\alpha )$; the walk to $\alpha$ stays at or above $\alpha$ or has just ended.

If ${\rho }_{\beta }(\alpha )={\rho }_{\gamma }(\alpha )$, then the trace functions agree below $\alpha$. Each shorter trace is reconstructed by locating the first recorded club initial segment that meets $[\xi ,\alpha )$ and continuing the walk from its least such point.

The tree of restrictions ${\rho }_{\beta }\upharpoonright \alpha$, ordered by extension. For a club sequence on ${\omega }_2$ with club order types at most ${\omega }_1$, the Continuum hypothesis bounds each level by ${\aleph }_1$. Trace injectivity and Fodor lemma exclude a cofinal branch.

The canonical residual automaton of a regular language has its distinct left quotients of a formal language as states, initial state $L$, accepting states those containing the empty word, and letter transition $R\mapsto a^{-1}R$. It is a complete minimal deterministic finite automaton; every other complete minimal deterministic finite automaton for that language is isomorphic to it.

For a metric connection on a vector bundle, the covariant derivative along a curve satisfies $(d/dt)⟨u,v⟩=⟨D_{t}u,v⟩+⟨u,D_{t}v⟩$. If both sections are parallel, the right side vanishes. Thus parallel transport preserves the fibre inner product, not merely vector lengths, and is a linear isometry between the endpoint fibres.

A smooth positive Hermitian bundle metric admits local orthonormal frames by the smooth Gram-Schmidt process. In such a frame, metric compatibility gives $A_{ji}(V)+\overline{A_{ij}(V)}=0$ for real vector fields $V$, so the connection matrix is skew-Hermitian. The orthonormal frame is smooth; a holomorphic orthonormal frame is not generally available.

The zero-isospin, zero-flavor hypercharge state ${\eta }_8=(u\bar{u}+d\bar{d}-2s\bar{s})/\sqrt{6}$ in the pseudoscalar meson octet. It is a pure octet basis state; the physical eta may mix it with the flavor-singlet state.

For a weight-$k$ cusp form on ${\Gamma }_1(N)$, use the determinant-normalized slash operator and set $Jf=i^{k}f{|}_k{W}_N$, with $W_N=\left(\begin{array}{cc}0& -1\\ N& 0\end{array}\right)$. Then $J^2=1$. DefineFor $F(y)=f(iy/\sqrt{N})$ and $G(y)=(Jf)(iy/\sqrt{N})$, direct substitution in the slash operator for modular forms gives $F(y)=y^{-k}G(1/y)$. The Mellin transform and the change of variable $y\mapsto 1/y$ therefore giveBoth integrals are entire in $s$, by exponential cusp form decay at both endpoints after inversion. If $Jf=\epsilon f$, then $\epsilon \in \{1,-1\}$ and ${\Lambda }_N(f,s)=\epsilon {\Lambda }_N(f,k-s)$. The factor $i^k$ is part of this phase convention; changing it changes the sign in the functional equation.

For $Y\sim N_n(\mu ,{\sigma }^{2}I)$ and a fixed orthogonal projection matrix $P$ of rank $k$, the displayed expression is an unbiased estimator of the mean-vector prediction risk whenever ${\hat{\sigma }}^2$ is an unbiased estimator of ${\sigma }^2$. Independence of its two terms is unnecessary. Comparing fixed models yields the Mallows Cp penalty, but minimizing unbiased estimates does not preserve unbiasedness after selection.

For a finite support whose convex hull has full dimension, every interior target mean is realized by a unique natural parameter. Minimize the coercive function $\log {\sum }_n{e}^{\theta \cdot n}-\theta \cdot \mu$; its gradient is the mean discrepancy and its Hessian matrix is the positive-definite covariance matrix of the support.

The mean-field electromotive force is the vector correlation $\mathcal{E}=⟨\mathbf{u}\times \mathbf{b}⟩$. Its curl enters the mean resistive induction equation. It is a local vector with units of velocity times magnetic field, not the scalar circuit voltage called electromotive force. A space-time average of periodic modes is often used to measure its transport coefficients.

The alpha effect is the part of a mean-field electromotive force linear in the mean magnetic field itself, $\mathcal{E}=\mathbf{\alpha }\overline{\mathbf{B}}+\cdots$. The alpha tensor can be anisotropic; it need not be a scalar multiple of the identity. Its curl can couple transverse mean-field components and produce an alpha-squared dynamo.

A Parker dynamo wave is a traveling or oscillatory mode of a mean-field dynamo coupling poloidal and toroidal magnetic-field components through an alpha effect and shear. A reduced complex-amplitude model can represent fluctuating alpha by a time-dependent coupling. Its periodically switched growth must be calculated from the monodromy matrix of a periodic linear system, rather than by averaging noncommuting generators.

First-order smoothing neglects the fluctuating nonlinear velocity-magnetic-field product in the fluctuation resistive induction equation, but retains $⟨\mathbf{u}\times \mathbf{b}⟩$ in the mean-field electromotive force. For a constant test field it gives ${\partial }_t\mathbf{b}-\eta {\nabla }^2\mathbf{b}=({\mathbf{B}}_0\cdot \nabla )\mathbf{u}$. Its validity requires the omitted terms to be small compared with the retained forcing and diffusion terms.

Differential rotation or shear stretches a poloidal magnetic field into a toroidal magnetic field. This is the Omega effect. By itself it need not regenerate the poloidal component; the alpha effect provides one possible feedback mechanism in an alpha-Omega dynamo. Without feedback, shear amplification can be transient or algebraic rather than sustained exponential dynamo action.

An alpha-Omega mean-field dynamo couples toroidal-field generation by the Omega effect to poloidal-field regeneration by the alpha effect. A simple Fourier model is $\dot{A}={\alpha }_{0}f(t)B-\eta k^{2}A$, $\dot{B}=ik\Omega A-\eta k^{2}B$, where $A$ is a component of the vector potential for the poloidal field and $B$ is a toroidal-field amplitude. For bounded $|f|\le 1$, the bounded-modulation alpha-Omega growth estimate controls the maximum amplification.

The second-order mean no-slip boundary condition correction contains products of first-order deformation modes and velocity gradients. Distinct integer wavenumbers have zero averaged mixed products. Their separate mean longitudinal and transverse contributions therefore add, even though mixed products create nonzero oscillatory flow modes.

A Lusin set is an uncountable subset $A$ of the real numbers such that $A\cap M$ is countable for every meagre set $M$. Every meagre subset has a meagre $F_{\sigma }$ cover, so testing those covers suffices. The Lusin set construction under CH gives an example. A Lusin set has no uncountable meagre subset of itself.

The complement of a comeagre set is a meagre set, a countable union of nowhere dense sets. A dense G-delta set is comeagre. The Baire category theorem ensures that two comeagre subsets of a nonempty complete metric space cannot be disjoint.

An uncountable subset of the real numbers with countable intersection with every meagre set. This is the category counterpart of a Sierpiński set.