In simple linear regression written as $Y_i=\alpha +\beta (x_i-\bar{x})+{\epsilon }_i$, the constant and centred predictor columns are orthogonal. Differentiating the sum of squared residuals gives the displayed ordinary least squares estimators, provided $S_{xx}={\sum }_i(x_i-\bar{x}{)}^2>0$. For independent mean-zero errors of common variance ${\sigma }^2$, both estimators are unbiased, their variances are ${\sigma }^2/n$ and ${\sigma }^2/S_{xx}$, and their covariance is zero. The uncentred intercept is $\hat{\alpha }-\hat{\beta }\bar{x}$.

A simple J-holomorphic sphere is a J-holomorphic sphere that is a simple J-holomorphic curve. Its automorphism group as a parametrized map is trivial, because any automorphism fixing the map fixes its locally injective points.

An embedding of first-order structures is existential when every existential formula with parameters from the source has the same truth value in the source and target. Forward preservation follows from being a structure embedding; reflection is the additional requirement. Applying compactness theorem to the target's diagram of a structure and the source's elementary diagram places the target inside an elementary extension of the source.

For the O3 nonlinear sigma model with energy $\int |\nabla \mathbf{n}{|}^2/2$, the rational map $w(z)=\rho /(z-z_0)$, $\rho \ne 0$, is a degree-one sigma-model lump. Its energy density is $4|\rho {|}^2/(|z-z_0{|}^2+|\rho {|}^2{)}^2$, whose integral is $4\pi$. The complex center $z_0$ gives its position, while $|\rho |$ gives its size and $\arg \rho$ its internal phase. Varying the size preserves energy. The limit $\rho \to 0$ is singular at the center, so conserved degree under smooth deformations does not prevent concentration.

Fix the value $w(\infty )=0$ for positive-degree sigma-model lumps. Their holomorphic rational maps can be written $p/q$, where $q$ is monic of degree $k$, $p$ has degree at most $k-1$, and the polynomials have no common zero. The coefficients of $p$ and the nonleading coefficients of $q$ give $2k$ complex parameters; coprimality is an open condition. The topological degree is $k$, obtained by counting generic preimages with multiplicity. Allowing a common factor lowers the degree after cancellation and can describe a degeneration rather than another smooth point of this degree-$k$ parameter space.

Periodic azimuthal and vertical boundary terms vanish. Radial boundary terms cancel after the azimuthal translation prescribed by the shearing-periodic boundary condition. Consequently the volume average of a divergence is zero, enabling integration by parts for the smooth shearing-periodic fields.

For zero-mean fields in a shearing box, Fourier modes have wavevectors $(2\pi n/L_x+2At2\pi m/L_y,2\pi m/L_y,2\pi p/L_z)$. A nonzero azimuthal or vertical index supplies at least $2\pi /L$, where $L$ is the largest box side; otherwise the nonzero radial index does. Parseval identity gives the displayed Poincaré inequality uniformly in time.

These five words are independent in the strong square of the cycle graph $C_5$: a nonzero difference is a nonedge in the first or the second coordinate. A three-dimensional orthonormal representation with common vertical squared component $1/\sqrt{5}$ proves the matching upper bound. Consequently $c(C_5)=\vartheta (C_5)=\sqrt{5}$.

In each word pattern with equally many $G$ and complement coordinates, pair the coordinates of the two types and put the same vertex label in each pair. Distinct labels are separated in one of the two graphs, making an independent code of size $n^m$ for a pattern of length $2m$. Distinct patterns lie in different graph components, so their codes combine to an independent set of size $\left(\genfrac{}{}{0ex}{}{2m}{m}\right)n^m$. Taking $2m$th roots gives the displayed bound.

A fitting matrix over a field has nonzero diagonal entries and zero entries at distinct nonadjacent vertices. Its tensor powers fit strong graph powers. On an independent set the restricted matrix is diagonal and nonsingular, so its cardinality is at most the matrix rank. This yields the capacity upper bound over every field.

Integrating the shear-horizontal wave equation with force $F(t){\delta }^{(2)}(\mathbf{x})$ over a shrinking circle gives $2\pi \mu r{\partial }_{r}u\to -F(t)$. Thus the local displacement field has the displayed logarithmic singularity. This is a fixed-time near-source limit, distinct from the wavefront limit underlying SH ray-tube amplitude transport.

For a leading wavefront singularity or discontinuity in a smooth isotropic shear-horizontal wave field, the ray transport equation conserves the displayed quantity along a tube of elastic rays. Here $J$ is transverse tube width in two dimensions and area in three. Cylindrical spreading has $J\propto r$, so the leading wave amplitude is proportional to $r^{-1/2}$. This rule excludes the immediate source neighborhood and caustics.

With $e^{ikx-i\omega t}$ phasors, positive depth $z$, shear modulus $\mu =\rho {\beta }^2$, vertical traction $T$ and particle velocity $V$, the shear-wave equations give $V^{\prime }=-i\omega T/\mu$ and $T^{\prime }=-i\omega \mu p_{\beta }^{2}V$, where $p_{\beta }^2={\beta }^{-2}-k^2/{\omega }^2$. Define $Z=-T/V$ wherever $V\ne 0$. Differentiation gives the displayed Riccati equation and $V^{\prime }=i\omega ZV/\mu$. A pole of $Z$ can be an ordinary zero of $V$, not a singular physical wavefield.

For an off-axis nearly occluding sphere with radial offset $e<d$, the local minimum gap is $d(\varphi )=d+e\cos \varphi$ to leading order. Each circumferential strip has pressure-driven conductance proportional to $d(\varphi {)}^{5/2}$, and the strips act in parallel. Thus its speed at fixed load is multiplied relative to the concentric value byConvexity and the zero average of cosine make this greater than one for nonzero $ϵ$. It increases strictly with $ϵ$: pair the positive and negative cosine contributions to the derivative, obtaining factors $c[(1+ϵc{)}^{3/2}-(1-ϵc{)}^{3/2}]>0$ for $c>0$. Consequently an off-axis sphere falls faster in this narrow-gap, no-through-flow regime.

Assume $2\le k<m$ and ${\bigcup }_i{S}_i=S$. Construct a two-player game with row $i$ for $S_i$ and columns $0,1,\dots ,n$. Column $0$ pays both players one; column $j>0$ pays $(1,0)$ when $j\in S_i$, and $(0,k/(k-1))$ otherwise. There is a Nash equilibrium whose row player's support of a mixed strategy has size $k$ exactly when $k$ rows cover the universe. A uniform mixture on a cover makes column $0$ a best response. Conversely, if some element is uncovered by the support, the column player's best responses are uncovered elements and the row player's current payoff is zero. The union promise provides a profitable row deviation. Without the union promise the equivalence is false: a globally uncovered element is a best response against every row mixture.

// Target: mathematical-optimization.bigb

For a fixed coherent sheaf on a smooth projective curve, one degree bound works for all divisors on an algebraic curve, rather than just powers of one ample divisor. Choose a point $P$. The complement of $P$ is affine, so the surjective transition maps on the finite-dimensional groups $H^1(C,\mathcal{F}(nP))$ eventually kill every class. The Euler characteristic of a coherent sheaf gives $h^0(\mathcal{O}(A))\ge \mathrm{deg}A+1-g$. Every divisor of sufficiently large degree is therefore linearly equivalent to $n_{0}P+E$ with $E$ effective. The point-supported quotient for adding $E$ transfers vanishing to that divisor. Torsion is first removed so that the relevant inclusions are injections of locally free sheaves.

The coefficient of $t^{-1}dt$ gives a trace on $H^1({\mathbb{P}}^1,{\Omega }^1)$. Multiplication followed by this trace pairs the Laurent bases of the Čech cohomology of twists on the projective line perfectly: $t^a$ pairs with $t^{-a-1}$. For any vector bundle, evaluation into ${\Omega }^1$ defines the same natural pairing. Saturate a rational rank-one subspace to a line subbundle, and induct on rank using the long exact sequence in sheaf cohomology and compatibility of evaluation with connecting maps. This proves the duality without using the later splitting theorem.

For vector bundles on a smooth projective curve, a dualizing sheaf is a line bundle $D_C$ with a trace $H^1(C,D_C)\to k$ making the evaluation pairings $H^i(C,E)\times H^{1-i}(C,E^{\vee }\otimes D_C)\to k$ perfect for $i=0,1$. Choose a finite generically separable map to the projective line. The trace-dual module for this finite map, tensored with ${\Omega }_{{\mathbb{P}}^1}^1$, is ${\Omega }_C^1$ by the different–differential identity. Finite pushforward and residue duality on the projective line then prove the pairings, rather than assuming the curve-duality theorem to establish them.

In a binary logistic regression, write the signed directional margin of observation $i$ as $(2y_i-1)x_i^{T}d$. Quasi-complete separation occurs when a nonzero direction $d$ makes all these margins nonnegative, with some zero and some strictly positive. Along coefficients $\beta +td$, $t\to \infty$, each observation's log-likelihood contribution is nondecreasing, and those with positive margins strictly increase toward their limiting value. Hence the unpenalized fit cannot have a finite maximum in that direction. A group containing only outcome zeros is a simple example: sending its indicator coefficient to $-\infty$ improves that group's likelihood while leaving all other observations unchanged. Zero fitted risk is then a boundary limit, and ordinary finite-coefficient Wald confidence intervals are unavailable.

A word in positive integers is a lattice word if every initial segment has at least as many $i$'s as $(i+1)$'s for every $i$. This is the reading-word condition in the Littlewood–Richardson rule. Under good-letter matching in a tableau word, every letter of a lattice word is good.