For an initially bare cone with accumulation $a\simeq A$ near its apex, the early outer thickness is $At$. The radial gravity flux becomes comparable to accumulation over distance $x_a\sim D{A}^2{t}^3$. Setting $h=AtF(\eta )$ and $\eta =x/(D{A}^2{t}^3)$ givesRegular apex flux requires $F\sim (\eta /2{)}^{1/3}$ near zero. The boundary layer therefore approaches the local steady thickness $(Ax/(2D){)}^{1/3}$ while farther regions are still filling.

After ice accumulation and ice ablation cease, the similarity solution conserving $M=\int xhdx$ isIt is dry outside this interval. At its terminus the thickness $h_N$ is nonzero: the Rankine-Hugoniot condition gives ${\dot{x}}_N=q_N/h_N=D{h}_N^2=x_N/(5\tau )$. This is an entropy solution of the gravity-only kinematic wave model and a long-time approximation for general finite-volume initial profiles. Local pressure-gradient effects smooth the idealized discontinuous front.

For ice accumulation $a=A(1-x/\ell )$, regular zero flux at the apex givesThe steady zero-thickness terminus is at $3\ell /2$, below the snowline $x=\ell$. Accumulation above the snowline exactly balances ice ablation below it.

Left differentiation with respect to an odd Grassmann variable is the odd linear operation ${\partial }_{\theta }^L\theta =1$, with zero derivative on every other generator. For a homogeneous element $a$ of parity $|a|$, it obeys the graded product ruleFor independent odd generators, ${\partial }_{\bar{\theta }}^L(\theta \bar{\theta })=-\theta$. This sign comes from moving the derivative through the first odd factor in the Grassmann algebra. It fixes chirality in the chiral-superfield component expansion; an ordinary commuting-variable product rule would give the wrong sign.

The bracket on a graded Lie algebra is a bilinear operation satisfying graded antisymmetry and the graded Jacobi identity. For homogeneous elements of degrees $r,s$, $[u,v]=-(-1{)}^{rs}[v,u]$. A Gerstenhaber bracket uses this convention on the shifted degrees $r=|u|-1$ and $s=|v|-1$.

On a graded algebra, a left derivation of degree $r$ satisfies the displayed rule for homogeneous $a$. A right derivation of degree $r$ satisfies $R(ab)=aR(b)+(-1{)}^{r|b|}R(a)b$. For odd $r$, these reduce to the familiar parity sign rules. The left Gerstenhaber bracket makes $[u,-]$ a left derivation of degree $|u|-1$ on Hochschild cohomology; this rule holds for the induced cohomology operations, not necessarily for their cochain representatives.

A Gerstenhaber algebra has an associative product making it a graded commutative algebra and a degree-minus-one graded Lie bracket. In the left convention, $[u,vw]=[u,v]w+(-1{)}^{(|u|-1)|v|}v[u,w]$. The shifted degrees $|u|-1$ determine the signs of antisymmetry and the Jacobi identity. Hochschild cohomology and the exterior algebra of polynomial derivations are examples.

An element of a single graded component $A_n$ of a graded algebra is homogeneous of degree $n$. The degree sign rules for an exterior product or a graded Lie bracket apply first to homogeneous elements, then extend by linearity.

A graded algebra is a graded commutative algebra if $uv=(-1{)}^{pq}vu$ for homogeneous elements of a graded algebra of degrees $p,q$. In characteristic not equal to two, every odd-degree element then squares to zero. The exterior algebra and Hochschild cohomology with the Hochschild cup product are examples.

For a finite list $(a_0,\dots ,a_{r-1})$ of nonnegative integers, encode its length with the exponent of two and its entries with the following prime numbers: $2^r{\prod }_{j<r}{p}_{j+2}^{a_j+1}$, where $p_i$ is the $i$th prime number. Unique prime factorization recovers both the length and entries. Requiring positive exponents on exactly the prescribed consecutive primes also makes validity decidable. Nesting list descriptors therefore gives a Gödel encoding of deterministic finite automata and other finite syntactic objects.

The Gödel-Gentzen negative translation transforms $\Gamma {⊢}_{\mathrm{CL}}A$ into ${\Gamma }^N{⊢}_{\mathrm{IL}}{A}^N$. Induct on a natural deduction derivation. The translated logical conjunction, logical implication and universal rules are ordinary intuitionistic rules. Logical disjunction and existential introduction add double logical negation; their elimination rules first derive the double logical negation of the stable translated conclusion, then use its stability. Classical double-negation elimination translates precisely to stability. If logical equality atoms are double-negated, transport a stable translated conclusion through a logical equality by contradiction and then remove the resulting double logical negation. Original nonlogical axioms must also be translated; the result does not say arbitrary untranslated classical first-order theories are intuitionistically valid.

For a reversible Markov chain with invariant law $\mu$, its Markov kernel acts as a self-adjoint operator $P$ on $L^2(\mu )$. An absolute spectral gap means that $\Vert P\Vert$ on the mean-zero functions is at most $r<1$. Geometric ergodicity implies this gap for a reversible chain. Indeed, for bounded mean-zero $g$ supported where the geometric prefactor is bounded, the total-variation estimate gives $⟨g,P^{2n}g⟩\le C_g{r}^{2n}$. The spectral theorem for normal operators puts its spectral measure in $[-r,r]$. Such test functions are dense in the mean-zero subspace.

Applying a Markov kernel to two initial laws cannot increase their total variation distance, even for the distribution of an entire subsequent finite trajectory. If a bounded summand has absolute value at most $B$, the variance of a length-$N$ path sum differs between these laws by at most $6B^2{N}^2$ times their total variation distance. Thus a geometrically long enough burn-in makes this difference negligible relative to $N$.

Uniform geometric ergodicity strengthens geometric ergodicity by bounding the prefactor uniformly over the starting state. If $P(x,\cdot )\ge \epsilon \mu (\cdot )$ globally and $\mu$ is invariant, thenWrite $P=\epsilon \Pi +(1-\epsilon )R$, where $\Pi$ draws independently from $\mu$, to obtain the bound.

The phase integral converts a monochromatic geometric albedo into the corresponding reflected power fraction. The bolometric Bond albedo is the incident-spectrum-weighted average of $q_{\lambda }{A}_{g,\lambda }$.

Given a Jacobi field with initial values $J(0)=a$ and $D_{t}J(0)=b$, vary the initial point along a curve with tangent $a$ and the initial velocity with covariant derivative $b$. The resulting geodesic variation has the same Jacobi initial values and therefore the same field by uniqueness of the linear equation. Smooth dependence on initial conditions gives a common parameter interval around any fixed compact geodesic segment, even on an incomplete manifold.

For a forcing name $\tau$, let $U$ consist of pairs $(\rho ,p)$ where $(\rho ,r)\in \tau$ for some $r\ge p$. Every ground-model subset $\nu$ of $U$ is a name whose value is contained in ${\tau }^G$. Every subset ${\sigma }^G\subseteq {\tau }^G$ has an equivalent such name: retain those $(\rho ,p)\in U$ with $p⊩\rho \in \sigma$. The atomic membership truth lemma for forcing proves equality of values. Collect all these names from the ground-model power set ${\mathcal{P}}^M(U)$ into a single outer name, pairing each with every condition. Its value is the full internal power set, without presupposing that power set in the extension.

Let $M_{n+1}=M_n[G_n]$ for a fixed atomless forcing order $\mathbb{P}$, and $N={\bigcup }_{n<\omega }{M}_n$. If a set $A\in N$ were its internal power set of $\mathbb{P}$, choose $n$ with $A\in M_n$. The next generic filter $G_n$ belongs to $N$, so $G_n\in A$; transitivity of $M_n$ implies $G_n\in M_n$, contradicting generic filter for an atomless order is new. The chain is increasing but need not be an elementary chain.

A Jordan chain of a linear operator $T$ for an eigenvalue $\lambda$ is a list of nonzero vectors satisfying $(T-\lambda I)v_1=0$ and $(T-\lambda I)v_j=v_{j-1}$ for $2\le j\le r$. These vectors are linearly independent: in a vanishing linear combination, applying the largest relevant power of $T-\lambda I$ isolates the last coefficient times $v_1$, then descending induction removes all coefficients. On their span the operator has one Jordan block. This is different from a generalized eigenfunction that solves $(T-\lambda I)u=0$ outside the original function space.

A generalized additive mixed model supplements smooth population effects with latent random effects. Given these effects, responses follow a specified response family; integrating them out induces dependence between related observations.