For the distinct-knot linear B-spline hats, let $h_i=t_{i+1}-t_i>0$. The mixed-normalization spline Gram matrix has entriesOnly indices in the finite basis are retained. This matrix has a row strict diagonal dominance margin at least $1/3$, so the inverse infinity-norm bound from diagonal dominance gives $\Vert G^{-1}{\Vert }_{{\ell }^{\infty }}\le 3$. Equidistant spline knots give off-diagonal entries $1/6$. Both pieces of every hat are retained; repeated endpoint spline knots require different boundary formulas.

Let nonnegative partition-normalized B-splines $N_i$ form a basis, with ${\sum }_i{N}_i\le 1$ on the integration interval and $d_i=\int N_i>0$. The row-normalized mixed Gram matrix is $G_{ij}=\int N_i{N}_j/d_i$. The normal equations for the orthogonal projection onto their linear span become $Ga=b$, with $b_i=\int f{N}_i/d_i$ and $\Vert b{\Vert }_{{\ell }^{\infty }}\le \Vert f{\Vert }_{\infty }$. The subpartition of unity for B-splines gives $\Vert {\sum }_i{a}_i{N}_i{\Vert }_{\infty }\le \Vert a{\Vert }_{{\ell }^{\infty }}$ and proves the bound. The ordinary symmetric Gram matrix omits this essential row normalization. The projection maps continuous functions into the spline space, not onto all continuous functions.

The quantity $A_q(n,d)$ is the largest cardinality of a length-$n$ code over an alphabet of size $q$ with minimum Hamming distance at least $d$. The code need not be linear.

// Target: algebra.bigb

The relative minimum distance of a length-$n$ code of minimum distance $d$ is $d/n$. It expresses the guaranteed separation as a fraction of the block length.

// Target: algebra.bigb

At an interior junction of two unit-speed geodesic segments, let $u$ be the incoming and $v$ the outgoing tangent. Choose points close to the junction in a common convex normal neighbourhood. Moving the junction with velocity $z$ changes the sum of the two segment lengths by $⟨u-v,z⟩$, using the first variation of geodesic energy or the Gauss lemma. If $u\ne v$, choose $z=v-u$ to reduce length. Hence a length-minimizing broken geodesic has matching tangents and is one smooth geodesic.

// Target: riemannian-geometry.bigb

In the minimal subtraction scheme, let ${\lambda }_B={\mu }^{ϵ}F$, $F=\lambda +{\sum }_{k\ge 1}{f}_k(\lambda )/{ϵ}^k$, and $m_B^2=m^{2}H$, $H=1+{\sum }_{k\ge 1}{b}_k(\lambda )/{ϵ}^k$. Define the renormalization-group beta function at fixed bare parameters by $\hat{\beta }=\mu d\lambda /d\mu =-ϵ\lambda +\beta (\lambda )$, and the running mass function by ${\gamma }_{m^2}=\mu d\log m^2/d\mu$.

The bare coupling is scale independent, so $0=ϵF+\hat{\beta }{F}^{\prime }$. Its finite coefficient is $f_1+\beta -\lambda f_1^{\prime }$, giving the first formula. Similarly $0={\gamma }_{m^2}H+\hat{\beta }{H}^{\prime }$ has finite coefficient ${\gamma }_{m^2}-\lambda b_1^{\prime }$. The remaining poles cancel recursively: $(\lambda {\partial }_{\lambda }-1)f_{k+1}=\beta f_k^{\prime }$ and $\lambda b_{k+1}^{\prime }={\gamma }_{m^2}{b}_k+\beta b_k^{\prime }$. Thus the simple poles determine the finite renormalization group functions, while higher poles obey consistency conditions.

Two minimal left covering nets for the same identity neighbourhood $V$ can be matched bijectively so that paired translates intersect. Join $f\in F$ to $f^{\prime }\in F^{\prime }$ when $fV\cap f^{\prime }V\ne \varnothing$. For $S\subseteq F$, its neighbours $N(S)$ cover every point covered by $S$, so $(F\setminus S)\cup N(S)$ still covers the group. Minimality forces $|N(S)|\ge |S|$. Hall's marriage theorem supplies the matching, and an intersection $fv=f^{\prime }{v}^{\prime }$ gives $f^{-1}{f}^{\prime }=v{v}^{\prime -1}\in V{V}^{-1}$. Averaging a continuous function over matched nets therefore gives values differing by at most its uniform oscillation on right displacements in $V{V}^{-1}$. This is the finite combinatorial step in constructing Haar measure on a compact group.

Let $\nabla$ be a metric connection for a Riemannian metric $g$, and let ${\nabla }^{\prime }$ be another affine connection on the same tangent bundle. The difference of affine connections is a tensor $A=\nabla -{\nabla }^{\prime }$. Expanding the derivative of the metric tensor givesThus ${\nabla }^{\prime }$ is a metric connection precisely when each endomorphism $A(X,\cdot )$ is skew-adjoint. This imposes no antisymmetry in $X,Y$; that separate condition characterizes agreement of parametrized geodesics. If both conditions hold, $g(A(X,Y),Z)$ is alternating in all three arguments.

The ambient Levi-Civita connection induces this metric connection on the normal bundle of an embedded submanifold. Its tangential counterpart appears in the Weingarten formula. Projecting the derivative preserves the connection on a vector bundle Leibniz rule and the fiber inner product.

Nevanlinna theory studies the growth and value distribution of meromorphic functions through their integrated pole counts and logarithmic proximity to target values. The Nevanlinna characteristic combines both quantities, while the Nevanlinna first main theorem compares it with the corresponding counts and proximity for any fixed target.

A meromorphic function on the plane with $|f(z)|\le C|z{|}^n$ outside a disc has no poles there and only finitely many poles inside. Subtract their finite principal parts to obtain an entire function. For $n\ge 0$, Cauchy estimates make every derivative of order above $n$ vanish, so the remainder is a polynomial. For $n<0$ the remainder tends to zero at infinity and is zero by Liouville theorem. Adding back the principal parts gives a rational function in either case.

Mittag-Leffler's theorem prescribes the principal parts of a meromorphic function. Given an open subset $D$ of the complex plane, a subset $A$ having no accumulation point in $D$, and a finite sum of negative powers $P_a(z)={\sum }_{j=1}^{m_a}{c}_{a,j}(z-a{)}^{-j}$ for each $a\in A$, there is a meromorphic function on $D$ with exactly these principal parts and no other poles. The difference of any two such meromorphic functions is a holomorphic function on $D$, because their principal parts cancel at every prescribed pole.

Poles are isolated, including in the coordinate $w=1/z$ around infinity. Compactness of the Riemann sphere therefore leaves only finitely many poles. Subtract the finite principal parts at finite poles and the polynomial principal part at infinity. The remainder is entire with a finite limit at infinity, hence bounded and constant by Liouville's theorem. The original function is a sum of a polynomial and finitely many partial fractions, so is rational.

A meromorphic function $f$ has an algebraic addition theorem if some nonzero polynomial $P\in \mathbb{C}[U,V,W]$ satisfies $P(f(z),f(w),f(z+w))=0$ wherever the three values are finite. For a polynomial $f$ of degree $d>0$, take roots $z_i$ of $f(z)-U$ and $w_j$ of $f(w)-V$; the product ${\prod }_{i,j}(W-f(z_i+w_j))$ has polynomial coefficients in $U,V$ by the Fundamental theorem of symmetric polynomials, is monic in $W$, and supplies an addition relation. An elliptic function also has such a relation, by finite algebraic extension of its function field and the Weierstrass elliptic function addition formula.

For a meromorphic function viewed as a holomorphic map to the unit Riemann sphere, this is the length density of the pulled-back spherical metric. Its square is the pulled-back area density. At a pole use the coordinate $1/f$, which gives the same density. Some conventions omit the factor two and use a sphere of area $\pi$; all area normalizations must then change accordingly.

This is the supremum of reliable classical bits per use of a memoryless quantum channel when sender and receiver share unlimited prior quantum entanglement. If $|{\psi }_{\rho }{⟩}_{RA}$ purifies the input, let ${\omega }_{RB}=({\mathrm{id}}_R\otimes \mathcal{N})(|{\psi }_{\rho }⟩⟨{\psi }_{\rho }|)$. The single-letter capacity formula is ${\max }_{\rho }[S(\rho )+S(\mathcal{N}(\rho ))-S({\omega }_{RB})]$, the maximum quantum mutual information between reference and output. The preshared resource is independent of the message.

A quantum erasure channel transmits an input state unchanged with probability $1-p$ and replaces it by an orthogonal, recognizable erasure flag with probability $p$. Its output space has one more dimension than the input. This is a quantum channel for $0\le p\le 1$ and preserves all input coherences on the nonerased branch.

In a reflection-symmetric mean-field dynamo model, dipole parity can be represented by an even poloidal-potential amplitude and an odd toroidal-field amplitude; quadrupole parity reverses these assignments. The names describe the reflection classes appropriate to the model, not arbitrary electric multipoles. A complex amplitude $P=A+iB$ allows a phase rotation by $i$ to interchange the two classes when the unperturbed equations have that phase symmetry.

For $k(t)=k_0\sqrt{1+(t/T{)}^2}$, factor resistive damping out of the shearing-mode equations by $R=e^{-D}G$, $S=e^{-D}H$, $D=\eta \int k^{2}dt$. They imply $G^{\prime \prime }={\alpha }^2{k}^{2}G$, so a growing WKB approximation has $G\propto k^{-1/2}{e}^{|\alpha |\int kdt}$ and $H\simeq i\mathrm{sgn}(\alpha )kG$. Its magnetic energy is proportional to $k\exp [2|\alpha |\int kdt-2\eta \int k^{2}dt]$. At long times the positive quadratic exponent is overtaken by negative cubic resistive damping. A well-separated growing interval exists for sufficiently small positive magnetic diffusivity, with $\eta k_0/|\alpha |\ll 1$ at fixed nonzero $|\alpha |k_{0}T$, and the displayed leading peak time. This is transient amplification, not an asymptotically self-sustaining dynamo.

For a nonempty $A\subseteq \{0,1{\}}^n$ of relative size at least $\epsilon \in (0,1]$, its Hamming distance function $F(x)=d(x,A)$ has the bounded differences property with all constants one. If $\mu =\mathbb{E}F$, the concentration bound at $F=0$ gives $\epsilon \le 2e^{-2{\mu }^2/n}$, so $\mu \le t/2$ for $t=\sqrt{2n\log (2/\epsilon )}$. Then $\mathrm{Pr}(F>t)\le 2e^{-2(t-\mu {)}^2/n}\le \epsilon$, proving that the radius-$t$ neighbourhood contains at least $(1-\epsilon )2^n$ cube points.