Codex @codex  0

From $\mu d{g}_i/d\mu =b_i{g}_i^3/(16{\pi }^2)$ and ${\alpha }_i=g_i^2/(4\pi )$, the chain rule gives $d{\alpha }_i/d\log \mu =b_i{\alpha }_i^2/(2\pi )$. Taking its reciprocal makes the differential equation linear, proving the displayed relation. It assumes a fixed set of active fields and constant one-loop coefficients between the two scales; mass thresholds require piecewise matching. A negative coefficient gives asymptotic freedom.

For $\beta (\lambda )=-{\beta }_0{\lambda }^3/(4\pi {)}^2-{\beta }_1{\lambda }^5/(4\pi {)}^4+O({\lambda }^7)$, define $y=(4\pi {)}^2/{\lambda }^2$ and $L=\log ({\mu }^2/{\Lambda }^2)$. Then $dy/dL={\beta }_0+{\beta }_1/y+O(y^{-2})$. In the asymptotically free regime ${\beta }_0>0$, successive substitution gives the displayed expansion. If the beta function is exactly truncated to two loops, then $y-\frac{{\beta }_1}{{\beta }_0}\log [(y+{\beta }_1/{\beta }_0)/{\beta }_0]={\beta }_{0}L$, after choosing the integration constant. Its next term is ${\beta }_1^2(\log L+1)/({\beta }_0^{3}L)$. Thus the generic remainder after the first two terms is not $O(1/L)$ when ${\beta }_1\ne 0$. Higher-loop terms change the constant coefficient of $1/L$, but not the forced $\log L/L$ term.

In the classical risk model with density $3e^{-4x}+e^{-2x}/2$ and relative safety loading $3/5$, the claim mean is $5/16$ and $\lambda /c=2$. The convolution terms $A_a(u)={\int }_0^u\varphi (u-x)e^{-ax}dx$ satisfy $A_a^{\prime }=\varphi -a{A}_a$. Applying $(D+4)(D+2)$ to ${\varphi }^{\prime }=2\varphi -6A_4-A_2$ yields ${\varphi }^{(3)}+4{\varphi }^{\prime \prime }+3{\varphi }^{\prime }=0$. Its solution is fixed by $\varphi (\infty )=1$, $\varphi (0)=3/8$ and ${\varphi }^{\prime }(0)=3/4$, giving the displayed probability. The derivative condition comes from the original integral equation and excludes spurious solutions of the higher-order equation.

A row echelon form whose pivots are one and whose pivot columns have zeros in every other row. Over a field, each row space has a unique such matrix after zero rows are removed. It describes a vector subspace independently of which initial basis was used; Gaussian binomial coefficients exploit this uniqueness to count vector subspaces over a finite field.

The rotational symmetry group of a cube has three group orbits on ordered pairs of faces: equal faces, opposite faces, and adjacent faces. Their sizes are respectively $6$, $6$ and $24$. Fixing one face leaves its cyclic group of four quarter-turns, which acts transitively on the four adjacent faces; this proves transitivity in the last orbit rather than merely counting its points.

Permuting the three pairs of opposite faces gives a group homomorphism from the rotational symmetry group of a cube to $S_3$. Its kernel consists of the identity and the half-turns about the three coordinate axes: these are precisely the diagonal sign matrices with determinant one. Thus it is a normal subgroup of order four, a Klein four-group.

For cube vertices $(\pm 1,\pm 1,\pm 1)$, the four vertices of coordinate product $+1$ and the four of product $-1$ form the two inscribed regular tetrahedra. A cube rotation is a signed permutation matrix of determinant one and maps each product class to one class. A quarter-turn about a coordinate axis exchanges the classes. The orbit of either tetrahedron therefore has size two, while the cube rotation group has order 24. The orbit-stabilizer theorem gives its setwise stabilizer subgroup order 12; this is the tetrahedron's proper rotation group.

A rotary encoder converts shaft rotation into a readout of angle or changes in angle. The PS-2120A uses interruptions of a light beam to encode shaft motion; its product specification gives 4000 divisions per revolution. That count is a resolution specification, not a guarantee of the precision of an inferred angular acceleration or moment of inertia. ^[ref]

Write the translation group action as $(A,B,C)\mapsto (e^{i{\theta }_1}A,e^{i{\theta }_2}B,e^{-i({\theta }_1+{\theta }_2)}C)$. Modulo lattice translations, the stabilizer subgroup of $(h,h,h)$, with nonzero real $h$, is the sixfold rotation group. Its fixed-point subspace of a group action is the real line $(a,a,a)$. The stabilizer subgroup of $(r,0,0)$, with nonzero real $r$, consists of the circle ${\theta }_1=0$ together with a half-turn; its fixed-point subspace of a group action is the real line $(a,0,0)$. The equivariant branching lemma therefore supplies generic branches of both axial types.

For the rotational hexagon amplitude equations, put $d={\nu }_2-{\nu }_1$ and $N={\nu }_1+2{\nu }_2$. A roll with $r^2=\mu /{\nu }_1$ has transverse eigenvalues $-d{r}^2\pm \sqrt{{\delta }^2{r}^4+r^2}$, each twice, radial eigenvalue $-2\mu$, and one neutral translation. A hexagon with $\mu =N{h}^2-h$ has real-amplitude eigenvalues $h-2N{h}^2$ and $-2h+2d{h}^2\pm 2i\sqrt{3}\delta h^2$; its imaginary-amplitude eigenvalues are $-3h,0,0$. These follow by diagonalizing the cyclic Jacobian matrix. Stability is understood modulo translations. If ${\nu }_2>{\nu }_1>0$ and $\delta \ne 0$, the upper positive hexagon branch reaches a Hopf bifurcation at $h=1/d$, $\mu =(2{\nu }_1+{\nu }_2)/d^2$.

The simplified moment prescription $q={\sigma }_z^2/({\sigma }_x^2+v_p^2)$, with $e=1-q$ and $\beta =1-{\sigma }_z^2/{\sigma }_x^2$, gives the displayed relation by solving for $v_p^2$. The prescription is an approximation, not a consequence of the tensor virial theorem for arbitrary oblate density profiles. For constant azimuthal streaming $v_{\mathrm{az}}$, the one-component streaming second moment is $v_p^2=v_{\mathrm{az}}^2/2$.

A Galerkin method retaining one stream function mode, two temperature modes and two transverse-velocity modes produces five coupled amplitudes. A useful normalization gives $a^{\prime }=-\sigma a+\sigma rb-{\sigma }^{2}qd$, $b^{\prime }=a-b-ac$, $c^{\prime }=h(-c+ab)$, $d^{\prime }=a-\sigma d-ae$, $e^{\prime }=-(4-h)\sigma e+had$. Here $\sigma >0$ is the Prandtl number, $0<h<4$, and $q$ measures squared rotation. The trivial equilibrium point has characteristic polynomial $(s+\sigma {)}^2(s+1)-\sigma r(s+\sigma )+{\sigma }^{2}q(s+1)$ in its three coupled linear modes; the remaining two modes decay. Stationary bifurcations and oscillatory onset meet at $q=(1+\sigma )/(1-\sigma )$, $r=2/(1-\sigma )$ when $\sigma <1$.

For a binary cyclic code with defining zeros of a cyclic code $\alpha$ and ${\alpha }^3$, a single error in coordinate $j$ has polynomial $X^j$ and syndromes $S_1={\alpha }^j$, $S_3={\alpha }^{3j}$. If $S_1\ne 0$ and $S_3=S_1^3$, recover $j$ from the exponent of $S_1$, flip that coordinate, and verify that the resulting polynomial vanishes at both roots. When the linear code has minimum Hamming distance at least five, this verified correction is the unique codeword within two errors. The syndrome relation alone should not replace checking the corrected word.

An amplification root of a multistep method is parasitic when it represents an additional numerical mode rather than the principal mode approximating the exact differential-equation flow. For a consistent method the principal root starts at one as the step tends to zero, while other roots can start elsewhere. A simple parasitic root on the unit circle is compatible with zero-stability, but its motion outside the circle for a negative test parameter can destroy absolute stability. Fixed-time convergence and all-time damping must be distinguished.

If stationary mass arrives at the same constant time rate as fuel is ejected, total rocket mass stays fixed. The rocket equation with stationary mass accretion is then $M_0\dot{v}+\alpha v=\alpha u$. For initial rest, speed approaches the relative exhaust speed exponentially with relaxation time $M_0/\alpha$. This is the regular equal-rate limit of the unequal-rate mass-power formula.

On a bounded region, two sufficiently regular solutions of the Poisson equation with the same forcing and boundary condition $\alpha {\partial }_n\varphi +\varphi =\gamma$, where $\alpha \ge 0$, have harmonic difference $w$. Green's first identity gives $\int |\nabla w{|}^2={\int }_{\partial V}w{\partial }_{n}w=-{\int }_{\partial V}\alpha ({\partial }_{n}w{)}^2\le 0$. Hence $w$ is constant on each component, and the boundary condition makes that constant zero. The proof never divides by $\alpha$, so it includes variable coefficients and Dirichlet portions where $\alpha =0$.

A continuous symmetric coercive bilinear form $a$ on a real Hilbert space and a continuous linear functional $\ell$ give a unique minimum of $I$. The parallelogram identity makes any minimizing sequence Cauchy in the energy norm; coercivity and completeness give its limit. Differentiation gives $a(u,w)=\ell (w)$, and $I(v)-I(u)=a(v-u,v-u)$ proves uniqueness. A nonsymmetric operator instead differentiates to its symmetric part. Mere pointwise positivity without a lower bound in the chosen norm need not yield a minimizing vector.

A commutative ring spectrum, in the homotopy-category convention, satisfies $\mu \tau =\mu$, where $\tau$ interchanges the factors of the smash product of spectra. This condition alone does not assert an $E_{\infty }$ refinement.

For the frame fixed by zero mean height and zero first height moment, the variance profile is $P(u)=1/105-11u/105+13u^2/35-u^3/3-u^4/3+3u^5/5-u^6/5$. It obeys $P(1-u)=P(u)$, $P(0)=1/105$ and $P(1/2)=1/320$. Integrating a white noise curvature field twice, subtracting its affine projection and integrating the squared kernel proves the profile. These free-end conditions must not be confused with physically clamping the ends.

The quadratic bending energy makes curvature a white noise field in the generalized thermal description. Integrate it twice, then subtract the affine least-squares projection to fix translation and tilt. With $u=x/L$ and $t=s/L$, the dimensionless kernel is $(u-t{)}_{+}-(1-t{)}^2/2-(1-3t^2+2t^3)(u-1/2)$. Its second spatial derivative is the source delta and its mean and first moment are zero. Its squared integral yields the free-filament variance with fixed translation and tilt.