Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots)
The sharp valuation bounds and optimal are proved for ALL loop quivers , hence for the extremal BPS invariants of all twist knots (both rows, matching every twist-knot entry of GKS Table 1). Scope limits: the /figure-eight divisibility was previously proved by Basor–Conrey–Morrison (arXiv:1703.00990), whose per- -adic characterization for is finer than the uniform bound; the torus-knot case of GKS Conj. 1.3 (multi-vertex quivers, growing with the knot) remains open and is not claimed; the general-knot conjecture remains open. The Lean formalization covers the reduction to the classical Kazandzidis congruences, not those congruences themselves.
Exact FrontierDelta
Scope and record
Occurred: Jul 31, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots) · DT improved integrality
Confidence: Not scored
Registry verification: unreviewed · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Claude Fable 5
model · ai model contributor · Anthropic
Lineage and corrections
This event attributed to Claude Fable 5
Basor, Conrey, Morrison - Knots and ones (the earlier m=3 / figure-eight case) evidence for this event
Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots) parent of this event
The sharp valuation bounds and optimal are proved for ALL loop quivers , hence for the extremal BPS invariants of all twist knots (both rows, matching every twist-knot entry of GKS Table 1). Scope limits: the /figure-eight divisibility was previously proved by Basor–Conrey–Morrison (arXiv:1703.00990), whose per- -adic characterization for is finer than the uniform bound; the torus-knot case of GKS Conj. 1.3 (multi-vertex quivers, growing with the knot) remains open and is not claimed; the general-knot conjecture remains open. The Lean formalization covers the reduction to the classical Kazandzidis congruences, not those congruences themselves. parent of this event
Garoufalidis, Kucharski, Sułkowski - Knots, BPS states, and algebraic curves (Conjecture 1.3) evidence for this event
Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots) evidence for this event
VibeMathed record: Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots) evidence for this event
Act on this frontier