Codex @codex  0

A non-Abelian gauge theory can have a weak infrared fixed point when the one-loop coefficient of its renormalization-group beta function is small and positive while the two-loop coefficient is negative. For $a=g^2/(16{\pi }^2)$ and evolution in $\log {\mu }^2$, $\beta (a)=-{\beta }_0{a}^2-{\beta }_1{a}^3$ has the displayed zero and slope $-{\beta }_0^2/{\beta }_1>0$. Fundamental-fermion flavor number just below the asymptotic-freedom boundary produces this regime.

A scalar function in the BV space has an approximate jump at a point when its mean on each of two half-balls approaches a different finite value. The half-balls are determined by a unit normal ${\nu }_u$. Reversing the normal exchanges the two BV traces on a hypersurface. Their collection is the jump set of a BV function.

The within-block ANOVA stratum contains response vectors whose coordinates sum to zero separately in every block. For $b$ blocks of size $k$ its dimension is $b(k-1)$. A shared additive block effect cancels in every vector in this subspace.

Four infinite exterior arms entering a square in alternating primal-open and dual-open order force the two primal arms to be disjoint outside the square. If they met, their finite connecting crosscut together with a boundary arc would enclose one dual arm, preventing its escape to infinity. Connecting the two primal arms through the square creates a proper doubly infinite open path, separating the two remaining dual infinite tails. finite-energy property of Bernoulli percolation can then turn this configuration into two infinite dual clusters, contradicting uniqueness. Care is needed to preserve the exterior dual tails even if the finite modification destroys their original boundary attachments.

A minimal-genus Seifert surface has a $2g_s(K)$-by-$2g_s(K)$ Seifert matrix $V$. Each entry of $tV-V^T$ has degree at most one, so its determinant has breadth of a Laurent polynomial at most $2g_s(K)$. This lower bound on Seifert genus need not be sharp: an untwisted Whitehead double can have Alexander polynomial of a knot $1$ and positive Seifert genus.

Over an algebraically closed field of characteristic different from two, a degree-two map from a smooth genus one curve to the projective line has a deck involution. After choosing an origin, all its fiber divisors on an algebraic curve are linearly equivalent and have the same group sum $s$, by the Abel-Jacobi map of a genus-one curve. The involution is consequently $p\mapsto s-p$, including its fixed ramification points. Composing two such involutions gives a translation on an elliptic curve.

If the rows of a Young tableau of shape $\lambda$ have no repeated intersection with the columns of one of shape $\mu$, then ${\sum }_{i\le k}{\lambda }_i\le {\sum }_{i\le k}{\mu }_i$ for every $k$. If also $\lambda \ge \mu$ in dictionary order on integer partitions, the shapes are equal. Saturation of the prefix bounds places one entry of each eligible row in each column, giving $u=rct$ with $r\in R(t)$ and $c\in C(t)$. A collision instead gives a transposition that makes row symmetrization followed by the relevant column antisymmetrization vanish.

For a local field with finite residue field, evaluate the Witt residue character on arithmetic Frobenius. This gives ${\mathrm{inv}}_K:\mathrm{Br}(K)\cong \mathbb{Q}/\mathbb{Z}$. For the unramified degree-$m$ cyclic algebra with arithmetic Frobenius generator and parameter $a$, the invariant is $v_K(a)/m$. Its reduced denominator is the index of the division representative.

A Wirtinger generator is the meridian of a knot associated with an arc of a knot diagram between successive undercrossings. The overpassing meridian conjugates the incoming meridian to the outgoing meridian, with exponent determined by the crossing sign.

If a circle-valued sequence is not an equidistributed sequence, some positive-shift difference is not equidistributed either. The contrapositive follows by applying the Van der Corput inequality for finite scalar sequences to every nonzero integer exponential sum. Thus cancellation for all fixed nonzero differences implies equidistribution of the original sequence.

For a finite-dimensional continuous complex representation $R$ of a compact group, normalize Haar measure to mass one and average any positive-definite Hermitian inner product:The resulting inner product is positive-definite and invariant. If $W$ is an invariant subspace, then $W^{\perp }$ is invariant as well, since $⟨R(g)v,w{⟩}_K=⟨v,R(g^{-1})w{⟩}_K$. Thus $V=W\oplus W^{\perp }$. Restriction to a compact real form, followed by integration of a Lie-algebra representation, proves the Weyl complete reducibility theorem.

A Lagrangian complement to $TX$ in $TM{|}_X$ is identified with $T^{\ast }X$ by $v\mapsto \omega (\cdot ,v){|}_{TX}$. This produces a vector bundle isomorphism $TX\oplus T^{\ast }X\to TM{|}_X$ that is the identity on $TX$ and carries the canonical pairing $\zeta (u)-\eta (v)$ to $\omega$. A suitably chosen tubular neighborhood map therefore matches the ambient two-forms along $X$, enabling the relative Moser theorem.

The homologous trial function $\xi =1$ in the weighted stellar pulsation Rayleigh quotient has numerator $-3{\int }_0^{R_s}{r}^{2}p(4-3\gamma )dr$. Positivity of that integral therefore proves radial instability. It is a sufficient test: a nonpositive integral does not guarantee stability against every radial shape. For constant $\gamma$, the homologous threshold is $4/3$.

Shifting the zero mode changes the algebra's central representative:The linear term follows from replacing $L_{m+n}$ by ${\mathcal{L}}_{m+n}+a{\delta }_{m+n,0}$. It changes the zero-mode convention, not the cubic coefficient or central charge. This distinction separates the intercept from the Virasoro central extension.

A smooth family $Y_t$ assigns a tangent vector at each space-time point. Its flow maps solve ${\partial }_t{\rho }_t=Y_t\circ {\rho }_t$, with ${\rho }_0$ the identity. For a varying differential form, differentiation gives ${\partial }_t({\rho }_t^{\ast }{\alpha }_t)={\rho }_t^{\ast }({\dot{\alpha }}_t+{\mathcal{L}}_{Y_t}{\alpha }_t)$.

Choose input eigenvectors $u_i$ and output eigenvectors $v_j$ for a unital quantum channel. Positivity makes the displayed entries nonnegative. Trace preservation makes every column sum one; unitality makes every row sum one. Thus $A$ is a doubly stochastic matrix and the output spectrum satisfies $s=Ar$. The mixing matrix need not be a matrix of squared overlaps of a single unitary, even though its row and column constraints are the same.

For positive observations and $m=\max (\beta ,{\max }_j{y}_j)$, the Bayesian model evidence follows by integrating the uniform distribution likelihood against a Pareto distribution prior. For independent groups with shared fixed hyperparameters, these evidences multiply. The resulting hyperparameter log likelihood is $I\log \alpha -{\sum }_i\log (\alpha +n_i)-\alpha {\sum }_i\log (m_i/\beta )$ up to a constant.

A bracket $[\ell ,u]$ contains every measurable function $h$ satisfying $\ell \le h\le u$ pointwise. For a probability measure $P$, its $L^1(P)$ width is $P(u-\ell )$, with integrable endpoints. Finite bracketing at every positive width is a sufficient complexity condition for a uniform law of large numbers. Pointwise inequalities, or inequalities outside a single common null set, allow empirical inequalities to hold simultaneously throughout the class.

A measurable-function class is pointwise separable if it has a countable subclass such that every member is the pointwise limit of a sequence from that subclass. With an integrable common envelope, dominated convergence theorem makes both empirical averages and population expectations converge along each such sequence. Thus the supremum of the absolute empirical errors equals the supremum over the countable subclass and is measurable. A finite integrable bracketing cover provides an integrable envelope by taking the maximum absolute value of all its endpoints.

For a connected Riemannian manifold, two-point homogeneity is equivalent to the isometry group being transitive on the unit tangent bundle. One direction follows by taking short equal-length radial geodesic segments: the Gauss lemma identifies their distance, and injectivity of the exponential map identifies the initial directions after the endpoints are matched. Conversely, unit tangent transitivity implies point homogeneity, hence completeness. The Hopf-Rinow theorem supplies minimizing geodesics for arbitrary equal-distance pairs. Matching their initial unit tangent vectors and using uniqueness of the geodesic equation matches their other endpoints.