Height Gap Theorem: Cross-Field Analysis

• Height Gap Theorem is a set of results establishing that height-like quantities cannot be arbitrarily small or comparable unless a rigid algebraic or dynamical structure is present.
• It employs methodologies such as minimal pair polynomial constructions, spectral radius estimates, and uniform gap bounds to force superlinear separations in various arithmetic and geometric settings.
• The theorem underpins quantitative bounds in contexts like Diophantine approximation, arithmetic dynamics, elliptic curves, and Mahler functions, thereby enforcing structural rigidity.

Across several branches of mathematics, results termed a Height Gap Theorem assert that a height-like quantity cannot remain arbitrarily small, or that two comparable heights cannot coexist, unless a rigid algebraic, dynamical, or geometric obstruction is present. In Diophantine approximation this takes the form of a superlinear separation between the heights of simultaneous rational approximants; in arithmetic dynamics it appears as a positive gap above canonical height zero; in linear groups it becomes a uniform lower bound for normalized heights of non-virtually solvable generators; and in arithmetic geometry it includes a gap above the minimal stable Faltings height for semistable elliptic curves (Mosunov, 2021, Zhang, 2023, Chen et al., 2021, Belolipetsky et al., 29 Jul 2025, Löbrich, 2015). The common pattern is a dichotomy between exceptional structure and quantitative separation.

1. Diophantine approximation and the generalized gap principle

A central formulation is Mosunov’s two-number height gap principle. Let $\alpha$ be a real algebraic number of degree $d \ge 3$, let $\beta \in \mathbb{Q}(\alpha)$ be irrational, and fix

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$

For rationals $x_i/y_i$ in lowest terms, the height is

$H(x,y)=\max(|x|,|y|).$

If

$H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$

and

$$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$

then at least one of two alternatives holds:

$H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$

or there exist integers $s,t,u,v$ with $d \ge 3$0 such that

$d \ge 3$1

The constants $d \ge 3$2 and $d \ge 3$3 depend only on $d \ge 3$4 and are uniform in the approximants (Mosunov, 2021).

Because $d \ge 3$5, the theorem forces what the paper calls a superlinear, indeed “exponential-type” separation of heights unless $d \ge 3$6 and $d \ge 3$7 are related by an integer linear fractional transformation. In this form, the height gap principle says that simultaneous high-quality approximations at comparable heights are prohibited except when an explicit algebraic relation transports one approximant to the other. The same exponent $d \ge 3$8 also appears in the non-Archimedean analogue: if $d \ge 3$9 is algebraic of degree $\beta \in \mathbb{Q}(\alpha)$0, $\beta \in \mathbb{Q}(\alpha)$1 is irrational, and

$\beta \in \mathbb{Q}(\alpha)$2

then either

$\beta \in \mathbb{Q}(\alpha)$3

or the same integer linear fractional transformation obstruction occurs (Mosunov, 2021).

This result is explicitly situated within the classical context of Thue–Siegel, Schmidt’s Subspace Theorem, and related gap principles, but it sharpens that tradition in a one-dimensional number-field setting by isolating a concrete obstruction and a concrete exponent.

2. Structural mechanism of the Diophantine gap

The proof strategy proceeds through a minimal pair of polynomials. For the pair $\beta \in \mathbb{Q}(\alpha)$4, one constructs $\beta \in \mathbb{Q}(\alpha)$5 of degrees at most $\beta \in \mathbb{Q}(\alpha)$6, with $\beta \in \mathbb{Q}(\alpha)$7, such that

$\beta \in \mathbb{Q}(\alpha)$8

and

$\beta \in \mathbb{Q}(\alpha)$9

Setting

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$0

one has $\frac{d}{2}+1<\mu<d,\qquad C_0>0.$1. The Wronskian

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$2

is nonzero, with lower bounds

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$3

in the Archimedean and $\frac{d}{2}+1<\mu<d,\qquad C_0>0.$4-adic settings respectively (Mosunov, 2021).

The argument then splits into two cases. If

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$5

Taylor expansion and derivative-height bounds yield

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$6

If instead

$\frac{d}{2}+1<\mu<d,\qquad C_0>0.$7

either $\frac{d}{2}+1<\mu<d,\qquad C_0>0.$8, in which case the linear fractional transformation obstruction is forced explicitly, or $\frac{d}{2}+1<\mu<d,\qquad C_0>0.$9, where an “alternative gap principle in the presence of vanishing” is combined with Liouville lower bounds for $x_i/y_i$0 to recover the same contradiction unless the height gap occurs (Mosunov, 2021).

The exponent $x_i/y_i$1 is therefore not ad hoc. It arises from the inequality chain $x_i/y_i$2 together with the structural bound $x_i/y_i$3. This mechanism also yields consequences beyond the theorem’s basic statement. Unless $x_i/y_i$4 is an integer linear fractional transformation of $x_i/y_i$5, there cannot exist infinitely many pairs of approximants with comparable heights satisfying the given quality conditions. The paper also applies the Archimedean gap principle to the number of large primitive solutions of Thue inequalities for irreducible binary forms of degree $x_i/y_i$6 when $x_i/y_i$7 is Galois (Mosunov, 2021).

3. Canonical-height gaps in arithmetic dynamics over function fields

In arithmetic dynamics over complex function fields, the relevant height is the canonical height associated to a polarized endomorphism. Let $x_i/y_i$8 for a smooth projective complex curve $x_i/y_i$9, and let

$H(x,y)=\max(|x|,|y|).$0

have algebraic degree $H(x,y)=\max(|x|,|y|).$1. The canonical height is

$H(x,y)=\max(|x|,|y|).$2

and satisfies

$H(x,y)=\max(|x|,|y|).$3

It also admits an intersection-theoretic expression

$H(x,y)=\max(|x|,|y|).$4

on suitable birational models (Zhang, 2023).

The height gap theorem in this setting states that there exists $H(x,y)=\max(|x|,|y|).$5 such that for every $H(x,y)=\max(|x|,|y|).$6,

$H(x,y)=\max(|x|,|y|).$7

More precisely, there exists $H(x,y)=\max(|x|,|y|).$8 such that $H(x,y)=\max(|x|,|y|).$9 implies $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$0 for all $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$1-rational points. The proof uses a Noetherian stabilization argument on Hilbert and Chow parameter spaces together with the uniform boundedness criterion

$H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$2

in the case $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$3 (Zhang, 2023).

The same paper pairs the gap theorem with a rigidity statement: if

$H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$4

is Zariski dense, then $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$5 is birationally isotrivial. In dimension two, Cantat–Xie identifies birational isotriviality with isotriviality, yielding a geometric Northcott-type corollary. If

$H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$6

is not isotrivial, then there exist $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$7 and a proper subvariety $H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$8 that is preperiodically isotrivial such that

$H(x_2,y_2)\ge H(x_1,y_1)\ge C_1,$9

is finite; in particular, $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$0 contains only finitely many preperiodic points (Zhang, 2023).

Here the height gap is a genuine gap around zero, rather than a separation between two unrelated heights. Its scope is explicitly limited to $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$1-rational points, and the resulting $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$2 is existential rather than effectively computable in general.

4. Non-abelian normalized heights and arithmetic lattices

For finite subsets of linear groups, the gap concerns normalized height. If $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$3 is finite over a number field $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$4, the local operator norms define

$$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$5

and

$$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$6

Equivalently,

$$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$7

where $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$8 is the joint spectral radius (Chen et al., 2021).

The classical height gap theorem in this setting asserts that for each $$\left|\alpha-\frac{x_1}{y_1}\right|<\frac{C_0}{H(x_1,y_1)^\mu},\qquad \left|\beta-\frac{x_2}{y_2}\right|<\frac{C_0}{H(x_2,y_2)^\mu},$$9 there exists $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$0 such that if $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$1 is not virtually solvable, then

$H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$2

Chen, Hurtado, and Lee give a shorter proof based on almost laws in compact Lie groups. Their method combines Thom’s theorem on $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$3-almost laws on $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$4, perturbative control near $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$5, escape from hypersurfaces, trace-to-spectral-radius estimates, and the product formula. The result is described as a non-abelian analog of Lehmer’s Mahler measure problem (Chen et al., 2021).

In rank-one arithmetic groups this uniform lower bound admits a stronger covolume-sensitive form. Let

$H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$6

and let $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$7 be an arithmetic lattice defined over a number field $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$8. If $H(x_2,y_2)>C_2^{-1}H(x_1,y_1)^{\mu-d/2},$9 and $s,t,u,v$0 is Zariski dense in $s,t,u,v$1 over $s,t,u,v$2, then for every congruence subgroup $s,t,u,v$3 containing $s,t,u,v$4,

$s,t,u,v$5

An alternative formulation replaces Zariski density in $s,t,u,v$6 by an analysis inside the real Zariski closure $s,t,u,v$7, where either $s,t,u,v$8 is virtually solvable or $s,t,u,v$9 is semisimple and the same type of lower bound holds relative to $d \ge 3$00. When $d \ge 3$01 is bounded a priori, the estimate improves to

$d \ge 3$02

with $d \ge 3$03 (Belolipetsky et al., 29 Jul 2025).

This strong version leads to a strong arithmetic Margulis lemma: for the symmetric space $d \ge 3$04 of $d \ge 3$05, there exists $d \ge 3$06 such that

$d \ge 3$07

generates a subgroup that is not $d \ge 3$08-Zariski dense in $d \ge 3$09 (Belolipetsky et al., 29 Jul 2025). In this line of work, the gap is not merely positive; for large-covolume lattices it grows proportionally to $d \ge 3$10.

5. Minimal, logarithmic, and discrete-growth gap phenomena

A different arithmetic form concerns the stable Faltings height of elliptic curves. For an elliptic curve $d \ge 3$11, with Deligne’s normalization,

$d \ge 3$12

Deligne’s minimum is

$d \ge 3$13

and is attained exactly at elliptic curves with $d \ge 3$14-invariant $d \ge 3$15 and everywhere good reduction. The gap theorem states that there exists an absolute constant $d \ge 3$16 such that for every elliptic curve,

$d \ge 3$17

with explicit value

$d \ge 3$18

By contrast, no such gap exists for unstable reduction: for every $d \ge 3$19 there are curves with $d \ge 3$20 and

$d \ge 3$21

Thus the gap is a feature of the semistable spectrum, not of the full spectrum (Löbrich, 2015).

For sequences generated by rational dynamics, Bell, N. Ghioca, and Tucker’s framework gives another logarithmic version. If $d \ge 3$22 is quasi-projective, $d \ge 3$23 is a rational self-map, $d \ge 3$24 is a non-constant rational function, and $d \ge 3$25 avoids the relevant indeterminacy loci, then either $d \ge 3$26 is finite, or

$d \ge 3$27

More strongly, there exists $d \ge 3$28 such that for any subset $d \ge 3$29 of positive upper asymptotic density,

$d \ge 3$30

A weak liminf version holds away from a set of density $d \ge 3$31: there exist $d \ge 3$32 and a set $d \ge 3$33 of upper asymptotic density $d \ge 3$34 such that

$d \ge 3$35

This theorem is applied to coefficients of $d \ge 3$36-finite series and to a weak form of Dynamical Mordell–Lang (Bell et al., 2020).

For $d \ge 3$37-Mahler functions, the “Height Gap Theorem” is a classification theorem for the growth of coefficient heights. If

$d \ge 3$38

is a Mahler function with algebraic coefficients in characteristic $d \ge 3$39, then exactly one of the following occurs:

1. $d \ge 3$40;
2. $d \ge 3$41;
3. $d \ge 3$42;
4. $d \ge 3$43;
5. $d \ge 3$44.

No other intermediate asymptotics occur, and all five behaviors are realized. The same paper proves

$d \ge 3$45

and

$d \ge 3$46

Here the gap is not a positive lower bound above zero, but a discrete stratification of possible asymptotic regimes (Adamczewski et al., 2020).

6. Broader uses of “height gap”

The phrase also appears outside arithmetic. In planar Brownian motion, the occupation measure across the outer boundary has an interior boundary height equal to

$d \ge 3$47

while the exterior height is zero; equivalently, the occupation field has a constant height gap of $d \ge 3$48 across the outer boundary. In the loop formulation, for $d \ge 3$49-almost every simple loop $d \ge 3$50,

$d \ge 3$51

and suitable boundary mollifier averages converge in $d \ge 3$52 to $d \ge 3$53. The constant is computed from the expected area $d \ge 3$54 of the hull of a unit-duration planar Brownian bridge, and the paper emphasizes the analogy with the Schramm–Sheffield and Miller–Sheffield height gap for the GFF across SLE$d \ge 3$55/CLE$d \ge 3$56 interfaces (Jego et al., 2024).

In the Heisenberg group, the relevant statement is called a height estimate for $d \ge 3$57-minima of perimeter rather than a theorem by that exact name. For $d \ge 3$58, if $d \ge 3$59 is a $d \ge 3$60-minimum with small excess in a cylinder, then

$d \ge 3$61

This is a De Giorgi-type small-excess-implies-small-height statement in sub-Riemannian geometry (Monti et al., 2014).

In knot theory, “height gap” refers to a conjectural separation between the height

$d \ge 3$62

and the minimal height

$d \ge 3$63

of a knot in thin position. The paper proves non-additivity of height under connected sum for an infinite class of knots and formulates the conjecture that there exists a knot with

$d \ge 3$64

It also presents a candidate example with two embeddings of equal width $d \ge 3$65 but with heights $d \ge 3$66 and $d \ge 3$67, contingent on both embeddings being thin positions (Blair et al., 2017).

These usages show that “height gap” is not a single theorem but a recurring theorem schema. Depending on context, it can mean a gap above zero, a gap above a minimum, a superlinear separation between comparable heights, or a discrete list of admissible growth rates. What remains constant is the role of special structure: integer linear fractional transformations in Diophantine approximation, birational isotriviality in function-field dynamics, virtual solvability or Zariski closure in linear groups, semistability in Faltings heights, and analytic or automata-theoretic rigidity in Mahler theory.