{"id":"d13e5603-60b0-4b3d-851d-2a5a39c54c0a","arxiv_id":"1908.06187","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Hyperbolic knots are not generic among prime knots; for every nontrivial knot K, prime satellites of K occur with positive limiting frequency.","lead":"Mathematicians have shown that hyperbolic knots do not take over the population of prime knots as the number of crossings grows. The proof uses a new observation about crossings to show that satellite knots, which wrap one knot inside another, occur frequently enough to persist at every scale.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim rests on the unproved 'readily see' step in Lemma 1; this geometric assertion needs a complete proof before the main theorems are secure.","rationale":"The reader identified the same weakest assumption: the terse geometric assertion in Lemma 1. I agree that this is the most load-bearing point in the paper. The main theorems are not self-contained and depend on prior constructions in [Mal18] and [Mal19], but those dependencies are explicit and the new contribution is precisely Lemma 1 and Corollary 1. If Lemma 1's 'readily see' assertion is invalid, the collapse of the Wirtinger group to Z does not follow, so Corollary 1 and both theorems lose their foundation. The assertion is likely correct: the Wirtinger generators a and b are meridians of the two overarcs meeting at a crossing, and their product can be homotoped to a small loop around the segment I_x; in the complement of a trivial 1-string tangle (a solid torus), a loop of zero linking number is nullhomotopic. However, the paper does not provide the details needed to rule out a hidden hypothesis, such as the requirement that the soluble ball contain the full small neighborhood of I_x or that the two local meridians have compatible orientations. I do not regard this as a fatal flaw, because the step is standard and fillable, and the reader's moderate confidence already reflects the terseness. No fitted parameters, circular predictions, or missing data are present. The concrete test above, if successfully carried out, would close the gap; if it turns out that the free homotopy cannot be constructed, the paper's central claim would be unsupported. For now, the verdict should remain unchanged: accept with the caveat that Lemma 1's proof needs expansion.","tokens_in":3771,"tokens_out":25347,"duration_ms":263727,"concrete_test":"Provide a complete proof of the 'readily see' step in Lemma 1: for a standard model of a crossing in a 3-ball, explicitly construct the free homotopy taking a representative of the Wirtinger element ab^{-1} (for the overarcs meeting at x) to a simple closed curve in a neighborhood of the segment I_x, and prove that this curve is nullhomotopic in B\\Gamma when (B, B \\cap \\Gamma) is a trivial 1-string tangle. As a minimal computational cross-check, insert a Reidemeister I kink into a trefoil diagram and verify in the Wirtinger group that the kink crossing is soluble and satisfies ab^{-1}=1 for its two meeting overarcs, while the other crossings have nontrivial ab^{-1}; this exercises exactly the mechanism on which Corollary 1 depends.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorems 1 and 2 rest entirely on Corollary 1, which rests on Lemma 1. In the proof of Lemma 1, the paper asserts without proof ('We readily see') that for two overarcs meeting at a crossing x, any loop representing the Wirtinger element ab^{-1} is freely homotopic to a simple closed curve Delta in a small neighborhood of the segment I_x, and that Delta is nullhomotopic in the complement of a trivial 1-string tangle when x is soluble. This is the precise step that converts solubility of a crossing into equality of two Wirtinger generators. If this geometric assertion fails, Corollary 1 (every prime knot diagram has weak property PT) fails, and neither Theorem 1 nor Theorem 2 is supported. The assertion is plausible: a and b are represented by meridians of the two arcs, which can be slid to the crossing, and the product of the two local meridians is a loop around I_x, whose zero linking number makes it nullhomotopic in the complement of a single unknotted arc. But the paper does not supply the required isotopy, does not justify that the 3-ball B_3 can be chosen to contain the small neighborhood of I_x while remaining a trivial 1-string tangle, and does not address the distinction between triviality of the 1-string tangle and mere zero linking number. This is a gap in justification rather than a known error, but it is the load-bearing point of the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that hyperbolic knots are not generic among prime knots. It introduces the notion of a soluble crossing in a knot diagram and proves (Lemma 1) that every diagram of a nontrivial knot contains an insoluble crossing. From this it derives Corollary 1, that every prime knot diagram has weak property PT, and then uses earlier results of Malyutin [Mal18, Mal19] to conclude that the proportion of prime satellite knots among all prime knots of at most n crossings has positive limsup (Theorem 1), and that for any fixed nontrivial knot K the proportion of prime satellites of K does not tend to zero (Theorem 2). This disproves a conjecture of Adams.","tokens_in":4059,"tokens_out":10923,"duration_ms":109044,"significance":"If the proof is sound, the result resolves a well-known question about the genericity of hyperbolic knots in the negative and shows that satellite knots appear with positive density in the census of prime knots by crossing number. The quantitative lower bounds, although extremely small, are explicit and would be a strong disproof of the convergence conjecture. The main new contribution is the local crossing property and the geometric Lemma 1; the passage from that lemma to the counting statements is a direct application of the authors' prior work. The paper is appropriately concise for an addendum and cites its dependencies clearly. The weak point is the terse proof of Lemma 1, which leaves a load-bearing geometric assertion unjustified.","major_comments":[{"comment":"The proof's key step is compressed into 'We readily see' immediately after the definition of I_x. The paper needs a full argument that, for overarcs α and β meeting at x, the Wirtinger element ab^{-1} is represented by a simple loop ∆ in an arbitrarily small neighborhood of I_x, and that ∆ has zero linking number with Γ. The zero-linking part follows from abelianization (the total exponent sum of ab^{-1} is zero), but the existence of ∆ as a small meridional loop around I_x, and the fact that the free homotopy can be performed so that ∆ lies in the ball B_3 supplied by solubility, are not demonstrated. This is load-bearing because it is exactly what turns solubility of x into equality of generators a and b; if this geometric assertion fails, Corollary 1 and both theorems lose their foundation. Please provide a detailed proof or a precise citation for this step.","section":"Lemma 1, proof (paragraph beginning 'We readily see')"},{"comment":"The proof uses Schubert's Unique Factorization Theorem to pass from a nontrivial 1-string tangle in B_1 to the conclusion that the complementary ball B defines a trivial 1-string tangle. This is standard, but the manuscript does not spell out why (B_1, B_1 ∩ Γ) and (B, B ∩ Γ) are the two summands of the prime knot Γ. Since this is the step that actually produces a soluble crossing, one sentence of justification would remove any ambiguity.","section":"Corollary 1, proof"}],"minor_comments":[{"comment":"The text contains several typographical artifacts, including 'a n addendum', 'h yperbolic', 'the reader t o', and 'cros sing'; these should be corrected in the final version.","section":"Throughout"},{"comment":"The label [BZ06] appears in the text, but the bibliography entry gives the year as 2003; correct the mismatch.","section":"References"},{"comment":"The definition of λ as 'lim sup_{n→∞} n√Pn' should be written as λ = lim sup_{n→∞} P_n^{1/n} to avoid ambiguity about the n-th root.","section":"Theorem 2"},{"comment":"The proof refers to 'Fig. 1', but no figure is included in the text; ensure the figure is present and legible in the final version.","section":"Corollary 1"},{"comment":"The proof implicitly uses the fact that the graph whose vertices are overarcs and whose edges are crossings is connected; stating this explicitly would make the propagation from 'a = b for overarcs meeting at each soluble crossing' to 'a = b for any pair of generators' fully transparent.","section":"Lemma 1"}],"recommendation":"major_revision","confidential_remarks":"This is an addendum to the authors' own prior work, and the referee did not re-verify all details of [Mal18] and [Mal19]. If the journal expects a fully self-contained publication, the heavy reliance on those papers could be a scope concern, but as an addendum it is appropriate. The main gap identified in Lemma 1 appears fixable by expanding the geometric argument; the referee's recommendation assumes the authors will supply that detail."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper settles the old Adams conjecture: hyperbolic knots are not generic among prime knots, and in fact for any nontrivial K, satellites of K make up a non-negligible proportion of prime knots. That is a real result, and it will be cited.\n\nThe genuinely new content is Lemma 1: every diagram of a nontrivial knot has an insoluble crossing. The definition of insoluble crossing is new, and the lemma is short. The proof is mostly clear: if all crossings were soluble, the Wirtinger generators would all be equal and the knot would be trivial. The step leading to Corollary 1, where an insoluble crossing plus Schubert's unique factorization gives weak property PT for every prime knot, is clean and convincing. Theorems 1 and 2 then come from plugging Corollary 1 into the satellite constructions the authors developed earlier in Mal18 and Mal19. That is ordinary citation of prior published work, not circularity.\n\nThe soft spot is exactly what you flagged: the 'We readily see' sentence in Lemma 1. It asserts that a loop representing ab^{-1} is freely homotopic to a simple closed curve in a small neighborhood of I_x and has zero linking number with the knot. The zero linking number part is fine. The existence of the simple closed curve is plausible, but it is not proved. More importantly, in the soluble case the paper jumps from zero linking number to nullhomotopy inside the trivial 1-string tangle. Zero linking number alone does not imply nullhomotopy in the complement of an arbitrary knot; the argument needs the fact that the ball is a trivial 1-string tangle, and that the loop lies in that ball. This step is central: if it fails, Lemma 1 fails and the whole paper collapses. I do not think it fails. The curves are local, and once you have a 3-ball containing the tiny segment I_x and the loop, the trivial tangle assumption should make the loop nullhomotopic. But a referee will need to see the isotopy or a citation.\n\nThe paper is honest about its reliance on Mal18 and Mal19. It does not rederive the counting machinery; that is fine for a note. The presentation is terse, but that is appropriate for an addendum.\n\nWho should read this: anyone working on random knots or the distribution of hyperbolic versus satellite knots. It changes the qualitative picture in that small field.\n\nMy recommendation: send it to peer review, not desk reject. It deserves a serious referee. I would request a revision that expands the 'readily see' step into a complete proof, and perhaps adds a figure. The central claim almost certainly holds, and the result is important enough to justify the extra work.","headline":"A short, credible disproof of the Adams conjecture on hyperbolic knot genericity; the new crossing lemma is plausible but under-proved, so the paper deserves review with a request to expand one geometric step.","tokens_in":4576,"tokens_out":2949,"would_cite":true,"duration_ms":26493,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The proportion of hyperbolic knots among prime knots of n or fewer crossings does not converge to 1; prime satellites keep a positive share forever.","keywords":["hyperbolic knots","prime knots","satellite knots","insoluble crossing","weak property PT","knot diagrams","crossing number","genericity"],"falsifier":"Exhibit a diagram of a nontrivial knot in which every crossing is soluble in the sense of Definition 1; this would directly refute Lemma 1, the step from which Corollary 1 and the two theorems follow.","tokens_in":3552,"feed_emoji":"🪢","tokens_out":7673,"duration_ms":71618,"temperature":0.7,"pith_summary":"This paper proves that hyperbolic knots are not generic in the crossing-number census: as the bound $n$ grows, the fraction of hyperbolic knots among prime knots with at most $n$ crossings does not tend to $1$. The engine is a new diagrammatic fact, Lemma 1: every diagram of a nontrivial knot contains an insoluble crossing, one that cannot be enclosed with the crossing segment in a trivial 1-string tangle. From that, the authors show every prime knot diagram has weak property PT, meaning it is the closure of a locally trivial 2-string tangle, and the satellite-construction methods of earlier work then produce enough prime satellites to force a positive lower bound on their asymptotic share. A reader should care because this settles a widely discussed conjecture in the negative: large prime knot tables are not eventually dominated by hyperbolic knots, and every nontrivial knot type appears as a companion with non-vanishing frequency.","feed_headline":"Hyperbolic knots are not the default among prime knots","feed_subtitle":"A new crossing lemma gives prime satellites a fixed positive share, so hyperbolicity never dominates the knot census.","key_machinery":"The load-bearing object is the insoluble crossing of Definition 1: a crossing $x$ in a diagram of a knot $\\Gamma$ is soluble if some 3-ball $B$ contains the straight segment $I_x$ projecting to $x$ and $(B,B\\cap\\Gamma)$ is a trivial 1-string tangle; otherwise it is insoluble. Lemma 1 shows every diagram of a nontrivial knot has an insoluble crossing. The proof uses the Wirtinger presentation: for overarcs $\\alpha,\\beta$ meeting at $x$, the generator ratio $ab^{-1}$ would have to be trivial for every soluble crossing, forcing the whole knot group to be $\\mathbb{Z}$ and the knot to be trivial. Corollary 1 converts the insoluble crossing into a disk decomposition showing the diagram has weak property PT, and that property feeds the satellite-construction machinery of [Mal18] that produces prime satellite knots in abundance.","core_discovery":"The paper's central claim is a negative asymptotic statement. Let $P_n$ count prime knots with at most $n$ crossings, $S_n$ the prime satellite knots among them, and $H_n$ the hyperbolic knots. Theorem 1 asserts\n$$\n\\limsup_{n\\to\\infty} \\frac{S_n}{P_n} > \\frac{1}{2\\cdot $10^{{17}}$},\n\\qquad\\text{so}\\qquad\n\\liminf_{n\\to\\infty} \\frac{H_n}{P_n} < 1-\\frac{1}{2\\cdot $10^{{17}}$},\n$$\nwhich disproves the conjecture that hyperbolic knots are asymptotically all prime knots. Theorem 2 extends the mechanism: for any nontrivial knot $K$, the proportion of prime satellites of $K$ among prime knots has positive limsup, with explicit lower bounds depending only on the crossing number of $K$. The proof runs through Corollary 1, that every prime knot diagram has weak property PT, which follows from Lemma 1 by a unique-factorization argument using the decomposition of knots into prime summands.","pith_inferences":["Beyond the paper, the insoluble-crossing lemma may apply to other diagram families beyond closed prime knots; if so, positive proportions of non-hyperbolic links or tangles would follow for those families too, extending the non-genericity result to richer classes.","Beyond the paper, the bounds are far too small to be observed in existing knot tables; checking whether the non-hyperbolic share among prime knots up to, say, 20 crossings already exceeds the lower bound would be a concrete numerical test of the mechanism, though the proof sets no rate.","If the authors' closing conjecture is right, the satellite share tends to $1$ rather than merely staying positive, making hyperbolic knots a vanishing minority in the crossing-number census.","The lemma also suggests a diagrammatic criterion: a diagram whose every crossing admits a local trivializing ball must be the unknot, so the notion of insoluble crossing could be developed into a check for nontriviality or primeness."],"forward_implications":["The crossing-number census of prime knots is not asymptotically hyperbolic: the hyperbolic share has liminf strictly less than $1-1/(2\\cdot10^{17})$.","For every nontrivial knot $K$, prime satellites with companion $K$ occur among prime knots with positive asymptotic density, so no nontrivial companion type disappears from large tables.","Conjectures 10.1 and 10.2 from [Mal18] are settled: every prime knot diagram, hence every prime knot, has weak property PT.","The explicit lower bounds in Theorem 2 scale like $10^{-7\\,\\mathrm{cr}(K)}$ for a prime companion $K$, showing that the nonvanishing effect, though tiny, is uniform across all nontrivial knot types.","Any probabilistic model of random prime knots weighted by crossing number must assign positive probability to satellite knots; hyperbolicity cannot be treated as a generic property in this ordering."],"supporting_citations":[{"why":"Supplies the satellite-construction methods and Theorem 10.3 that turn weak property PT into the counting bounds for non-hyperbolic knots.","marker":"[Mal18]"},{"why":"Provides the link-genericity argument that Theorem 2 adapts by replacing prime non-split links with prime knots.","marker":"[Mal19]"},{"why":"Gives the unique factorization of knots into prime summands used in Corollary 1 to convert a locally knotted tangle into a soluble crossing.","marker":"[Sch49]"},{"why":"Supplies the Wirtinger presentation background and the fact that a knot group equal to Z implies the knot is trivial, used in Lemma 1.","marker":"[BZ06]"},{"why":"Records the conjecture that hyperbolic knots are generic, which Theorem 1 disproves.","marker":"[Ad94]"}],"fun_headline_variants":["Hyperbolic knots never become the norm","Prime knots never go all hyperbolic","Satellites keep prime knots from going fully hyperbolic","Hyperbolic knots never get a monopoly","Hyperbolic knots don't dominate prime knots"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's one load-bearing premise is that a certain loop built from two arcs that meet at a crossing can be shrunk into a tiny neighborhood of that crossing with zero linking number, and that a soluble crossing then lets the loop contract without touching the knot; if that picture fails, Lemma 1 and both theorems fail.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic knots never become the norm","Prime knots never go all hyperbolic","Satellites keep prime knots from going fully hyperbolic","Hyperbolic knots never get a monopoly","Hyperbolic knots don't dominate prime knots"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000755,"raw_usage":{"total_tokens":3291,"prompt_tokens":813,"completion_tokens":2478,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":429,"completion_tokens_details":{"reasoning_tokens":2414}},"tokens_in":429,"tokens_out":2478,"duration_ms":19086,"temperature":1.0,"reasoning_tokens":2414,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:54:21.298126+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a diagram of a nontrivial knot in which every crossing is soluble in the sense of Definition 1; this would directly refute Lemma 1, the step from which Corollary 1 and the two theorems follow.","supporting_citations":[],"review_version":1}