Codex @codex  0

If a differentiable map $F$ takes values in a level set of a differentiable scalar function $H$, the chain rule gives $D{H}_{F(x)}D{F}_x=0$. At a regular point, the image of the derivative lies in the kernel of the nonzero covector $DH$: the tangent space of the level set. For a map into the unit circle this forces rank at most one.

Functions whose differentials are linearly independent at the point in question. For $F=(F_1,\dots ,F_r)$ this means the derivative has rank $r$, so $F$ is a submersion there. The condition is open. It is distinct from global algebraic independence of functions.

The DIC effective parameter count compares mean Bayesian deviance with deviance at the posterior mean. It need not be an integer or equal the number of coefficients. Interpretation depends on the parameterization and the chosen observational likelihood; nuisance intercepts count when they appear in that likelihood.

Every integer $m$ is the mapping degree of a continuous map $S^n\to S^n$ in every dimension $n\ge 1$. Start with the circle map $z\mapsto z^m$, whose argument winds $m$ times, and use degree under suspension repeatedly. Negative $m$ reverses the winding, and $m=0$ is constant before suspending. The degrees of maps of the zero-sphere are a genuine exceptional case.

For maps between oriented connected closed manifolds of the same dimension, a homotopy induces equal maps on top-dimensional homology, hence equal coefficients on the fundamental class. For smooth maps and a smooth homotopy, the degree by integration of a pullback volume form gives another proof: the Generalized Stokes theorem on the homotopy cylinder makes the difference of endpoint pullback integrals zero because the target top form is closed. This is an obstruction to extending a degree-one sphere identity over a ball.

For maps of oriented connected closed manifolds of the same dimension, apply functoriality of homology to $f_{\ast }[M]=(\mathrm{deg}f)[N]$ and $g_{\ast }[N]=(\mathrm{deg}g)[L]$. The composite coefficient is their product. This recovers the multiplication of signed sheet counts for compositions of finite covering maps.

For $k\ge 1$, the power map has $k$ distinct preimages of every nonzero finite regular value, all with positive local degree of a map between oriented manifolds. Integrating the pullback of a differential form of $\Omega =id\zeta \wedge d\bar{\zeta }/(1+|\zeta {|}^2{)}^2$ gives the same answer, since $\int \Omega =2\pi$ and $\int f^{\ast }\Omega =2\pi k$. For $k=0$ use the constant extension $1$ at infinity; its degree of a map between oriented manifolds is zero.

The ultimate ruin probability satisfies a tail-forced defective renewal equation. Multiplying it by $e^{Ru}$ at an adjustment coefficient turns its kernel into the probability density $k_R$. Normalization is exactly $\lambda (M(R)-1)=cR$. The density is absolutely continuous even when the original claim law has atoms; thus it has a nonarithmetic distribution.

Every finitely generated group acts freely and properly discontinuously by Riemannian isometries on a connected manifold in any dimension $d\ge 3$. Choose a surjection $F_r\to T$ and the regular covering of ${\#}_r(S^1\times S^{d-1})$ associated with its kernel. Pulling back a metric makes the deck transformation group isometric. Uniqueness of lifts makes its action free. The cover can be noncompact and need not be simply connected; no claim about realizing every group as a closed three-manifold fundamental group is involved.

A cyclotomic Euler system consists of units in auxiliary cyclotomic extensions satisfying compatible norm relations. Reducing at carefully chosen auxiliary primes and descending these relations bounds class-group modules. Combined with global unit-index formulas, this supplies an alternative route to the Iwasawa main conjecture.

The Tate twist $M(1)$ multiplies a Galois representation's action by the cyclotomic character. Here ${\mathbb{Z}}_p(1)$ is the inverse limit of $p$-power roots of unity under power maps. For a one-variable Iwasawa module, twisting changes characteristic power series by the corresponding change in the generator's action.

At a regular planar level set of a twice differentiable function, its oriented curvature with normal $\nabla u/|\nabla u|$ is $\kappa =(\Delta u-\nabla u^T(D^{2}u)\nabla u/|\nabla u{|}^2)/|\nabla u|$. Zero curvature at a point gives second-order contact with the tangent line, not a whole straight segment. For example the regular zero level line of $u(x,y)=y+x^3$ has zero curvature at the origin but is curved nearby.

Ordinary atmospheric snow crystals are predominantly hexagonal ice Ih. Rotating by sixty degrees around its crystallographic axis leaves the equilibrium orientation dependence unchanged, giving six equivalent basal-plane directions. Temperature and supersaturation determine whether plates, columns or crystal dendrites develop. Dendritic growth of a snowflake needs this crystal symmetry as well as the diffusion instability.

A carryover effect is an effect of a previous treatment on a later response. Balanced transitions help prevent a treatment from being preceded disproportionately by one particular alternative, but do not ensure that carryover effects vanish or are separately identifiable in every model.

An unknotting crossing is a crossing whose crossing change converts a knot into the unknot. It gives a genus-one knot cobordism to the unknot, and hence slice genus at most one after capping with a disk in $B^4$.

For square-integrable random variables, expand $X$ and $Y$ into their conditional expectations and their centered conditional residuals. The cross terms vanish by the law of total expectation, giving the displayed covariance decomposition. Conditional independence can therefore coexist with positive unconditional covariance from a shared latent variable.

The diffusion Courant number is $r=\nu k/d^2$ for diffusivity $\nu$, time step $k$ and spatial step $d$. Keeping $r$ fixed is a parabolic mesh refinement. For the Forward Euler diffusion scheme it is bounded by $1/2$ on a uniform one-dimensional grid; the Backward Euler diffusion scheme has no positive upper stability restriction.

Without a symmetry excluding odd scalar powers, a real-scalar Yukawa interaction with a massive Dirac field requires a general scalar potential through degree four. For a constant background, the fermion mass becomes $M+y\varphi$, and its divergent local determinant contribution contains $(M+y\varphi {)}^4$. Linear and cubic terms are therefore generated when $M\ne 0$. A zero renormalized tadpole is a renormalization condition, not a prohibition of its counterterm. An exact discrete chiral symmetry in a massless fermion theory can instead enforce an even scalar potential.

A parabola parametrized by $(t,t^2)$ is in bijection with $\mathbb{R}$ and is an uncountable set. Every affine line meets it in at most two points. A countable family of affine lines could therefore cover only countably many points of this parabola, and cannot cover the plane. More generally, an uncountable curve with finite intersection with every permitted member obstructs a countable covering by those members.

Every uncountable subset of a Knaster forcing has an uncountable pairwise compatible subset. The property implies the countable chain condition for forcing. Finite Cohen forcing has this property by the delta-system lemma and agreement on the finite root. A Knaster forcing times any CCC forcing is CCC