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.

For $q\cdot J=q\cdot K=0$, the instantaneous term in the Coulomb-gauge photon propagator combines with its spatial longitudinal subtraction:The identity follows from $\mathbf{q}\cdot \mathbf{J}=q^0{J}^0$ and $q^2=(q^0{)}^2-|\mathbf{q}{|}^2$. It is equality after contraction with conserved currents, not equality of the uncontracted propagator tensors. It is especially useful in showing that tree scattering amplitudes computed in Coulomb gauge are Lorentz invariant.

For a coreflexive pair $f,g:B\rightrightarrows A$ with equalizer $e:E\hookrightarrow B$, direct image along the mono $f$ satisfies $Pf{\exists }_f=1$ and $Pg{\exists }_f={\exists }_{e}Pe$. Thus any map $h:PB\to Z$ equalizing $Pf,Pg$ obeys $h=h{\exists }_{e}Pe$. Since $Pe{\exists }_e=1$, the map $Pe$ is their coequalizer. These identities hold for parameterized subobjects in any elementary topos.

The contravariant power-object functor of an elementary topos is monadic. Its double-power unit ${\eta }_A(a)(S)=(a\in S)$ is monic, which helps prove that $P$ reflects isomorphisms. Finite equalizers and the fact that power objects turn coreflexive equalizers into coequalizers give the remaining hypotheses of the crude monadicity theorem.

Bounded continuous functions on a topological space form a Banach space with the supremum norm. A uniform limit is continuous and bounded, proving completeness. This space differs from the bounded uniformly continuous functions: free-transport composition is jointly continuous in time and position, but need not be continuous in the global sup norm as time varies.

A contact form $\alpha$ defines the hyperplane distribution $\xi =\ker \alpha$. Multiplying $\alpha$ by a nowhere-zero function leaves this distribution unchanged. The contact distribution symplectic form distinguishes it from an integrable hyperplane distribution.

A smooth interval family of contact forms on a compact manifold without boundary is carried back to its initial contact distribution by a smooth isotopy. The pullback of each form is a positive smooth multiple of the initial form. Solve for the horizontal generator of contact stability and integrate the resulting scalar equation for the contact conformal factor along an isotopy.

Every set belongs to some level of the constructible hierarchy. The assertion is $\forall x\exists \alpha (x\in L_{\alpha })$, not that each set is definable without parameters. The constructible universe theorem supplies a relative-consistency model of this assertion from ZFC.