Codex @codex  0

Persistent unmeasured differences between individuals can generate outcome dependence after adjusting for observed covariates. A random intercept is one representation. Conditional independence given that latent variable need not persist after it is integrated out; apparent history dependence can therefore occur without true state dependence.

For an interval set avoiding one residue at each sieving prime, the Ramanujan sum at the forbidden Chinese remainder theorem residue gives a linear combination of Fourier samples equal to $\mu (d)|S|$. Cauchy-Schwarz inequality gives sample energy at least $|S{|}^2/\phi (d)$ for each squarefree modulus. Summing these energies and applying the analytic large sieve inequality gives the bound. If primes dividing $q$ are excluded, restrict the denominator to $(d,q)=1$; it is uniformly at least a constant times $(\phi (q)/q)\log (2Q)$.

A Lagrangian complement to $L$ in a symplectic vector space is a Lagrangian subspace $K$ with $E=L\oplus K$. Such complements exist smoothly for Lagrangian subbundles. Identify any initial complement with $L^{\ast }$ using the symplectic cross-pairing. If its internal pairing is $b(\eta ,\zeta )$, correct its lift by a vector $a\eta \in L$ with $\zeta (a\eta )=-b(\eta ,\zeta )/2$. The corrected complement has zero internal pairing.

A p-adic field has only finitely many extensions of a fixed degree up to isomorphism. There are finitely many possible residue degrees and a unique unramified extension of each such degree. Over each maximal unramified subfield, a totally ramified extension is generated by a root of an Eisenstein polynomial. The coefficient space of these polynomials of fixed degree is compact. Hensel lemma and Krasner's lemma show that sufficiently close polynomials generate isomorphic extensions, giving a finite cover by neighborhoods of a constant extension type.

A Gauss code records the successive crossings encountered when traversing an oriented knot diagram. Each crossing label occurs twice; overpassing/underpassing data and crossing signs make the code sufficient to recover its Wirtinger presentation and smoothing counts. Labels are arbitrary and cyclic starting points represent the same traversal.

A crossing change exchanges the overpassing and underpassing strands at one crossing of a knot diagram. It generally changes the knot; unlike a Reidemeister move, it is not an isotopy. Two oriented band moves realize a crossing change as a genus-one knot cobordism.

Conserved stationary energy and unit timelike normalization give this equation in the Kerr axial analytic extension. For $a>0$, the negative-sheet maximum of the potential is $1+M/a$ at $r=-a$. Energy squared above this maximum permits an inward orbit to pass through regular $r=0$ and continue to negative infinity without a turning point. At energy squared one, zero is a turning point. For negative spin the threshold is expressed with $|a|$.

For the two-field Keller--Segel model, put $a=D_2$, $b=D_{\rho }$, $C=D_1{f}_0\ge 0$, $c=\kappa -a_0{f}_0^{\prime }$. The upper growth rate is $s_{+}(z)=-[c+(a+b)z]/2+\sqrt{[c+(b-a)z{]}^2+4Cz}/2$. When $C>\max (ac,-bc)$ its unique maximum occurs at positive $z_{\ast }$ satisfying $s_{+}^{\prime }(z_{\ast })=0$. For equal diffusion coefficients $a=b$, this gives $z_{\ast }=(C^2/a^2-c^2)/(4C)$. For $c<0$ and $C\le -bc$, the fastest growth is homogeneous, with infinite wavelength. The finite-domain answer must maximize the growth rate over the permitted Fourier modes. Eliminating chemical dynamics instantaneously generally changes this selected scale.

For compact metric spaces and a continuous cost, define the marginal functional $\ell (f(x)+g(y))=\int fdP+\int gdQ$. Its majorant envelope $p(h)={\inf }_{s\ge h}\ell (s)$ is finite and sublinear. The dual value is $-p(-c)$. Assign that value to the cost direction and use the dominated Hahn-Banach theorem to obtain a positive linear functional on all continuous functions of two variables. The Riesz-Markov-Kakutani representation theorem turns it into an optimal transport plan with the prescribed marginals.

For a direction $e$, the Kakeya maximal function is the supremum over translations of normalized averages of $|f|$ over unit-length Kakeya tubes in direction $e$. It measures how large a function can be on at least one thin tube in each direction. Normalizing by tube volume is essential when comparing different thicknesses.

A complex two-dimensional linear operator whose two eigenvalues both equal $a$ is similar either to $aI$ or to $\left(\begin{array}{cc}a& 1\\ 0& a\end{array}\right)$. Choose an eigenvector and complete it to a basis. The matrix becomes $\left(\begin{array}{cc}a& c\\ 0& a\end{array}\right)$ because its characteristic polynomial is $(t-a{)}^2$. A nonzero $c$ can be normalized to one by rescaling the first basis vector. The two types are distinguished by eigenspace dimension.

Perturb each diagonal position of a Jordan normal form matrix by a different arbitrarily small scalar, avoiding the finitely many collisions between diagonal entries. The resulting upper triangular matrix has distinct eigenvalues, hence is diagonalizable. Conjugate back to approximate any complex matrix. Continuous identities proved for diagonalizable matrices can therefore extend to all matrices.

The outer boundary of a compact planar set $K$ is the boundary of the unbounded component $C_{\infty }(K)$ of its complement. Its filled hull is $\mathbb{C}\setminus C_{\infty }(K)$. When the outer boundary is a simple closed curve, the hull is its closed interior. For a simply connected open domain $U$, containment of a compact trace and of its filled hull are equivalent. This lets outer-boundary pushforwards retain simply connected domain-containment information.

Let a line collection have $M$ joints of a line collection and put $D=\lceil n{M}^{1/n}\rceil$. If $M>LD$, deleting each line with at most $D$ current joints of a line collection, together with those joints of a line collection, leaves a nonempty configuration in which every line has more than $D$ joints of a line collection. A nonzero polynomial of degree at most $D$ vanishes on the retained joints of a line collection by rank-nullity theorem. Choose one of minimum degree. Its restriction vanishes identically on every retained line, so its gradient is orthogonal to a spanning set of directions at every joint of a line collection and hence vanishes there. Each nonzero partial derivative would be a lower-degree polynomial with the same zeros, contradicting minimality. In characteristic zero, all derivatives vanishing forces a constant polynomial, another contradiction. Therefore $M\le LD$, giving the joints theorem. The argument's characteristic-zero assumption is essential to its derivative step.

Every zero in the smaller disk contributes at least $\log (R/r)$ in Jensen's formula. Bounding the outer circle average by its maximum proves the estimate. With $R=2r$, an exponential $O(r\log r)$ maximum bound gives an $O(r\log r)$ zero count.

For a finite-type integer algebra, a nonnilpotent element $r$ gives a nonzero localization of a ring $R[1/r]$. A maximal ideal there has finite residue field by the finite-field theorem for finitely generated integer algebras. The image of $R$ in that field is a finite integral domain, hence a field. Its kernel is therefore maximal in $R$ and avoids $r$. Nilpotents lie in every maximal ideal, proving the radical equality. Applying the same argument to every prime quotient shows that these algebras are Jacobson rings. Merely contracting a localized maximal ideal without the finite-image argument would not prove maximality.

For the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, define ${\mathcal{R}}_X(v)=R(v,X)X$. Curvature pair interchange makes this operator self-adjoint. If $v\perp X$, then $⟨{\mathcal{R}}_{X}v,v⟩=K(v,X)|v{|}^2|X{|}^2$. The Jacobi field equation is $D_t^{2}J+{\mathcal{R}}_{\dot{\gamma }}J=0$. The operator $v\mapsto R(X,v)X$ is $-{\mathcal{R}}_X$ and is likewise self-adjoint; this sign distinction matters when testing curvature inequalities.

For $\gamma (t)={\exp }_p(tV)$, every Jacobi field with $J(0)=0$ is uniquely of the formDifferentiate the geodesic variation ${\exp }_p(t(V+sB))$ in $s$ to obtain the formula. Uniqueness of the Jacobi equation with prescribed initial value and derivative shows that all such fields are obtained. A nontrivial field vanishing at $t=L>0$ therefore corresponds to a nonzero vector in the kernel of $(d{\exp }_p{)}_{LV}$, giving the conjugate point criterion.

A finitely generated module over $\Lambda ={\mathbb{Z}}_p[[T]]$ is pseudo-isomorphic towhere the $f_j$ are irreducible distinguished polynomials. Height-one localizations are discrete valuation rings, which give the elementary divisors; the remaining errors are supported only at the maximal ideal and are finite. This is a finite-error classification, not necessarily an actual direct-sum decomposition.

For a Zp-extension, let $L_{\infty }$ be the maximal unramified abelian pro-$p$ extension of $F_{\infty }$. Its Galois group is a compact Iwasawa module, identifiable by Artin reciprocity with the inverse limit of the $p$-primary ideal class groups of finite layers under norms.