Universal covering map is normal Created 2026-09-24 Updated 2026-09-24
A universal covering has simply connected total space, so its associated subgroup of the base fundamental group is trivial. The trivial subgroup is normal; hence every universal covering map is a normal covering map.
Vanishing Dirichlet energy by dilation on the line Created 2026-09-24 Updated 2026-09-24
For with , the dilation
preserves the norm and satisfies . Hence normalized functions on the line have Dirichlet-energy infimum zero, which no nonzero function attains.
Loss of compactness at infinity Created 2026-09-24 Updated 2026-09-24
A bounded sequence can fail to have a strongly convergent subsequence because its mass escapes to infinity even when its local regularity is uniformly controlled.
Simply connected non-Hausdorff orbit-space example Created 2026-09-24 Updated 2026-09-24
Lifting the hyperbolic-scaling action to the universal cover of preserves the two inseparable limiting orbits. The covering surface is biholomorphic to , so a simply connected Riemann surface can still have a non-Hausdorff quotient by a covering space action of homeomorphisms.
Popescu–Rohrlich box Created 2026-09-24 Updated 2026-11-05
A Popescu–Rohrlich box is a bipartite no-signalling box attaining the algebraic maximum of the CHSH inequality.
Negative binomial stopping argument Created 2026-09-24 Updated 2026-10-31
For the negative binomial distribution with positive integer target and success probability , the th success occurs after exactly failures only if the final trial is a success, while the preceding trials contain failures and successes. Choosing the failure locations gives the binomial coefficient . Each such stopped sequence has probability by independence, and the sequences describe mutually exclusive events, so their probabilities add. This proves the probability mass function. Counting arrangements among all positions would wrongly include sequences that already reached the target earlier. The same argument is used for three heads in MIT 18.05, spring 2022, problem set 9 solutions, problem 2(b).
A short route to normalization and moments is to split the failures count into successive waiting blocks:
where counts failures after success and before success , with starting at the first trial. Fresh independent Bernoulli trials make the blocks independent, each with the failures-count geometric distribution. Each block has total mass by the geometric series, so their sum also defines a normalized probability distribution. The linearity of expectation and variance additivity for independent random variables give and . This makes the moments transparent without a long calculation of sums. For , every block is zero.
Wald statistic for linear restrictions Created 2026-09-24 Updated 2026-11-05
For a full-row-rank matrix and the null hypothesis , put
Under the null, asymptotic normality and Slutsky theorem give .
Multiplicative closure criterion for a power of omega Created 2026-09-24 Updated 2026-09-24
For nonzero , the ordinal is multiplicatively closed exactly when is additively closed. One direction follows from
For the other, the leading exponent of an ordinal product shows that products of ordinals below still have leading exponent below .
Annular lubrication drag on a settling cylinder Created 2026-09-24 Updated 2026-11-05
A long cylinder of radius and length settling axially at speed inside a coaxial container forces displaced liquid back through a narrow annular gap . For an incompressible Newtonian fluid with dynamic viscosity , the displaced volume flux is approximately . The pressure-driven part of Couette-Poiseuille flow in a thin gap carries volume flux . Equating these leading terms gives the excess pressure drop
The direct wall-motion contribution to the volume flux is smaller by order . The resulting pressure drag is , larger than side-wall viscous drag by order . Balancing it with the buoyancy-corrected weight , where is cylinder minus fluid mass density, gives
This leading lubrication theory result assumes slow laminar flow, a nearly uniform gap and negligible end-region corrections. The cubic dependence on gap thickness explains the strong confinement-induced slowing.
Mixed Dirichlet-Neumann modes on an interval Created 2026-09-24 Updated 2026-09-28
The eigenfunctions satisfying and are
Karlin-Rubin theorem Created 2026-09-24 Updated 2026-10-14
For a family with a monotone likelihood ratio in , a level- upper-tail test in is a uniformly most powerful test for the corresponding one-sided hypothesis.
Carbon-monoxide tracer of molecular hydrogen Created 2026-09-24 Updated 2026-09-24
Rotational carbon-monoxide line emission traces cold molecular clouds because abundant molecular hydrogen is difficult to observe directly. A conversion factor relates integrated CO intensity to molecular-hydrogen column density.
Snell law for elastic and acoustic waves Created 2026-09-24 Updated 2026-11-05
Phase matching at a planar interface preserves frequency and tangential wavenumber. Thus waves of speeds and angles from the normal satisfy
Accessible unary deterministic finite automaton Created 2026-09-24 Updated 2026-09-29
An accessible automaton over one letter consists of a directed tail entering one directed cycle. Its minimal quotient is obtained by merging positions having the same future binary acceptance sequence.
Solvability condition in the method of multiple scales Created 2026-09-24 Updated 2026-11-05
A solvability condition in the method of multiple scales is the compatibility requirement allowing a bounded periodic correction at a given perturbation order. For
with -periodic in the fast variable, the Fredholm solvability condition for a self-adjoint operator requires
Necessity follows by integration by parts against the two periodic homogeneous solutions. For smooth periodic , sufficiency follows by Fourier series: all coefficients outside modes can be divided by . The forbidden modes would instead generate linearly growing secular terms.
The forcing contains slow derivatives of lower-order amplitudes, so these two conditions become amplitude-phase equations. For a general non-self-adjoint operator, project onto its adjoint null space instead of assuming the same homogeneous modes work.[ref]
Invariant sigma-algebra Created 2026-09-24 Updated 2026-09-28
The invariant sigma-algebra of consists, modulo null sets, of measurable sets satisfying .
Orientation reversal of surface curvature Created 2026-09-24 Updated 2026-10-14
Replacing the chosen unit normal by replaces the shape operator by . On a surface, Gaussian curvature is unchanged, while mean curvature changes sign.
Minimal surface Created 2026-09-24 Updated 2026-10-14
A minimal surface has vanishing mean curvature vector. For a smooth surface in three-dimensional Euclidean space, this means , equivalently . Thus Gaussian curvature is , but neither principal curvature needs to vanish. A plane and a catenoid both satisfy the condition, with very different Gaussian curvatures.
By the first variation of area formula, a minimal surface is a stationary point of surface area for every smooth variation that fixes its boundary, or has compact support in its interior. The word “minimal” specifies this differential equation; it does not guarantee a global minimum of surface area, or even a local minimum. A stable minimal surface imposes a further condition on the second variation.
Metric extraction of a midpoint by shrinking diameters Created 2026-09-24 Updated 2026-09-24
For in a real normed space, start with the points at distance from both endpoints and repeatedly retain those within half the previous diameter of every retained point. Reflection about preserves every stage, the midpoint belongs to every stage, and the diameters decrease by a factor at least two. Their intersection is therefore exactly the midpoint.
Maximal cyclotomic extension of a finite field Created 2026-09-24 Updated 2026-11-05
The maximal cyclotomic extension of is . A primitive th root of unity generates over , and these finite fields exhaust the algebraic closure.

There are unlisted articles, also show them or only show them.