[Paper Review] Hyperbolic knots are not generic

Yury Belousov, A. V. Malyutin|arXiv (Cornell University)|Aug 16, 2019

Geometric and Algebraic Topology3 references4 citations

TL;DR

This paper disproves the long-standing conjecture that hyperbolic knots become generic among prime knots as crossing number increases. By introducing the concept of 'insoluble crossings' in knot diagrams and proving every nontrivial knot diagram contains at least one, the authors show that satellite knots—particularly those derived from nontrivial knots—remain prevalent, with their proportion among prime knots bounded away from zero as n→∞.

ABSTRACT

We show that the proportion of hyperbolic knots among all of the prime knots of $n$ or fewer crossings does not converge to $1$ as $n$ approaches infinity. Moreover, we show that if $K$ is a nontrivial knot then the proportion of satellites of $K$ among all of the prime knots of $n$ or fewer crossings does not converge to $0$ as $n$ approaches infinity.

Motivation & Objective

• To disprove the widely held conjecture that hyperbolic knots dominate the set of prime knots as crossing number increases.
• To establish that satellite knots of any nontrivial knot remain a non-vanishing proportion of all prime knots, even in the limit of high crossing numbers.
• To provide a topological obstruction—insoluble crossings—that prevents all crossings in a nontrivial knot diagram from being 'soluble', thereby ensuring structural persistence of satellite-like features.
• To strengthen existing results on genericity in knot theory by proving that the proportion of hyperbolic knots does not converge to 1.
• To extend the applicability of tangle-based constructions to all prime knots by proving they all possess weak property PT via the insoluble crossing lemma.

Proposed method

• Introduce the notion of 'insoluble crossings' in knot diagrams: a crossing is insoluble if no 3-ball containing the over/under segment projection can make the tangle trivial.
• Use the Wirtinger presentation of the knot group to show that if all crossings were soluble, the fundamental group would be ℤ, implying the knot is trivial—contradicting the nontriviality of the knot.
• Prove Lemma 1: every nontrivial knot diagram contains at least one insoluble crossing, using algebraic topology and linking number arguments.
• Establish Corollary 1: every prime knot diagram has weak property PT, meaning it can be decomposed as a numerator or denominator closure of a locally trivial tangle.
• Apply these results to satellite knot constructions from [Mal18] and [Mal19], showing that the presence of insoluble crossings ensures that satellite constructions yield prime satellites.
• Use growth rate estimates of prime knot counts (via λ = limsup √[n]Pₙ) to derive lower bounds on the limsup proportion of satellite knots of any fixed nontrivial knot K.

Experimental results

Research questions

• RQ1 Does the proportion of hyperbolic knots among all prime knots of n or fewer crossings converge to 1 as n→∞?
• RQ2 For any nontrivial knot K, does the proportion of prime satellite knots of K among all prime knots of n or fewer crossings tend to 0 as n→∞?
• RQ3 Can the existence of insoluble crossings in nontrivial knot diagrams be used to establish structural obstructions to trivial tangle decompositions?
• RQ4 What lower bounds can be established for the limsup proportion of satellite knots of a fixed nontrivial knot K among all prime knots as n→∞?
• RQ5 To what extent do the weak property PT and insoluble crossing conditions constrain the generic structure of prime knot diagrams?

Key findings

• The proportion of hyperbolic knots among all prime knots of n or fewer crossings does not converge to 1 as n→∞, disproving a well-known conjecture.
• For any nontrivial knot K, the limsup proportion of prime satellite knots of K among all prime knots of n or fewer crossings is bounded below by 10⁻²⁶ᶜʳ⁽ᴷ⁾, where cr(K) is the crossing number of K.
• If K is prime, the limsup proportion of its satellites is bounded below by 10⁻⁷ᶜʳ⁽ᴷ⁾, reflecting stronger structural persistence in satellite generation.
• The lower bound in Theorem 1 ensures that liminf(Hₙ/Pₙ) < 1 − 1/(2×10¹⁷), proving hyperbolic knots do not dominate the asymptotic distribution.
• The existence of at least one insoluble crossing in every nontrivial knot diagram is a topological invariant that prevents all crossings from being 'soluble', thereby obstructing trivial tangle decompositions.
• Corollary 1 confirms that all prime knots have weak property PT, validating a key assumption in prior constructions of satellite knots and strengthening the foundation for genericity arguments in knot theory.