Hyperbolic links are not generic
Pith reviewed 2026-05-24 23:40 UTC · model grok-4.3
The pith
For any nontrivial knot K the satellites of K form a positive proportion of all prime non-split links with n or fewer crossings that does not tend to zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If K is a nontrivial knot then the proportion of satellites of K among all of the prime non-split links of n or fewer crossings does not converge to 0 as n approaches infinity. This implies in particular that the proportion of hyperbolic links among all of the prime non-split links of n or fewer crossings does not converge to 1 as n approaches infinity.
What carries the argument
The construction of infinitely many distinct prime non-split satellites of a fixed nontrivial knot K whose crossing numbers become arbitrarily large.
If this is right
- Satellites of K remain a positive-density subset of the prime non-split links in the limit of large crossing number.
- Hyperbolic links therefore have asymptotic density strictly less than one among prime non-split links.
- The same positive-density statement holds for every nontrivial knot K.
- All statements apply to unoriented link types.
Where Pith is reading between the lines
- The same style of satellite construction might be used to show that other non-hyperbolic classes also occupy positive density.
- Enumeration algorithms or statistical models of links may need to account for a persistent satellite component rather than treating hyperbolics as the default case.
- The result raises the question of the exact asymptotic density of hyperbolic links, which must now be bounded above by one minus the density contributed by satellites of any fixed K.
Load-bearing premise
The standard notions of prime non-split links and crossing number allow infinitely many distinct satellites of any fixed nontrivial knot K to be prime and non-split with crossing numbers going to infinity.
What would settle it
An explicit count showing that the number of distinct prime non-split satellites of K with crossing number at most n is little-o of the total number of prime non-split links with crossing number at most n would falsify the claim.
read the original abstract
We show that if $K$ is a nontrivial knot then the proportion of satellites of $K$ among all of the prime non-split links of $n$ or fewer crossings does not converge to $0$ as $n$ approaches infinity. This implies in particular that the proportion of hyperbolic links among all of the prime non-split links of $n$ or fewer crossings does not converge to 1 as $n$ approaches infinity. We consider unoriented link types.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that if K is any nontrivial knot, then the proportion of satellites of K among all prime non-split links with crossing number at most n does not converge to 0 as n tends to infinity. This immediately implies that the proportion of hyperbolic links among the same collection does not converge to 1. The argument is carried out for unoriented link types and relies on an explicit construction of infinitely many distinct prime non-split satellites of K whose crossing numbers grow sufficiently slowly relative to the total enumeration.
Significance. If the central construction and primeness arguments hold, the result supplies a concrete, falsifiable obstruction to the genericity of hyperbolic links under crossing-number enumeration. It demonstrates that satellite links of any fixed companion have positive liminf density, which is a stronger statement than mere existence of infinitely many examples. The paper thereby supplies a new, quantitative tool for studying the distribution of geometric link types.
minor comments (3)
- The crossing-number bound for the constructed satellites (used to obtain the positive liminf) should be stated explicitly as an inequality relating the parameter m to the crossing number of the resulting link; this bound is invoked repeatedly in the density argument but is only implicit in the current text.
- Figure 1 (or the diagram illustrating the satellite construction) would benefit from a caption that records the crossing-number contribution of each added twist region, to make the growth-rate comparison immediate.
- A short remark comparing the obtained density to the known exponential growth rate of all prime links (e.g., the constant in the asymptotic for the number of links with n crossings) would clarify the strength of the non-convergence statement.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the results, assessment of significance, and recommendation of minor revision. The report lists no major comments under the MAJOR COMMENTS section.
Circularity Check
No significant circularity
full rationale
The paper states a direct non-convergence theorem for the asymptotic density of satellite links of a fixed nontrivial knot K among prime non-split links, using only the standard definitions of crossing number, primeness, and satellite/hyperbolic distinction for unoriented links. No parameters are fitted to data, no predictions are constructed from subsets of the same data, and no load-bearing step reduces to a self-citation or self-referential definition. The result is a pure existence argument about constructing families of links whose crossing numbers grow without bound while preserving primeness and non-splitting; this is independent of any prior result by the same author and does not rename or smuggle in an ansatz. The derivation chain is therefore self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard definitions of prime non-split links, crossing number, satellite links, hyperbolic links, and unoriented link types in geometric topology.
Forward citations
Cited by 1 Pith paper
-
On Isotopies and hyperbolicity of weaves
Weaves modeled as geodesic links in thickened tori have isotopy classes and hyperbolicity determined from diagrams, and lack essential Conway spheres.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.