Detecting Causality with the Links--Gould Polynomial
Pith reviewed 2026-05-19 15:10 UTC · model grok-4.3
The pith
The Links-Gould polynomial distinguishes all Allen-Swenberg links from the unlink of causally unrelated events.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that it distinguishes all the Allen-Swenberg links from the link of causally unrelated events and hence detects causality in all known examples where the Alexander-Conway polynomial is not sufficient. This suggests that it may completely capture causality.
What carries the argument
The Links-Gould polynomial, a quantum invariant that specializes to the Alexander-Conway polynomial in two different ways.
If this is right
- The Links-Gould polynomial detects causality for all Allen-Swenberg links.
- It works in cases where the Alexander-Conway polynomial does not.
- The Seifert genus of all Allen-Swenberg links is computed as a corollary.
Where Pith is reading between the lines
- A full categorification of the Links-Gould polynomial could provide even more detailed causality information.
- Other quantum invariants might be checked for similar causality detection capabilities.
- The approach could be extended to test causality in higher-dimensional spacetimes using analogous link constructions.
Load-bearing premise
The explicit Links-Gould polynomial evaluations on the Allen-Swenberg family are correct and distinguishability from the unlink suffices to conclude causal distinction.
What would settle it
Computing the Links-Gould polynomial for an Allen-Swenberg link and finding it equal to the unlink's polynomial value would falsify the distinction.
Figures
read the original abstract
The conjectures of Low and Natario--Tod, and Penrose's question on Arnold's Problem list ask if causality in spacetimes can be formulated in terms of linking of spheres of light rays in the manifold of all light rays. For $(2+1)$-dimensional spacetimes, this link happens in the manifold coverable by a solid torus $S^1\times \mathbb R^2$. This was solved positively by Chernov and Nemirovski, which raises the question of which link invariants can be used to study causality. Chernov, Martin and Petkova proved that Heegaard--Floer and Khovanov homology completely capture causality. Allen--Swenberg conjectured that the Jones polynomial, which is obtained as an alternating Euler characteristic from Khovanov homology, is also sufficient. But they constructed complicated examples of links $\mathrm{AS}(n)_{n=1}^{\infty}$ that suggest that the Alexander--Conway polynomial -- which is the Euler characteristic of Heegaard--Floer homology -- is not enough. The Links--Gould polynomial is a quantum invariant that specializes to the classical Alexander--Conway polynomial in two different ways and somewhat surprisingly inherits some of its characteristic classical features. We show that it distinguishes all the Allen-Swenberg links from the link of causally unrelated events and hence detects causality in all known examples where the Alexander--Conway polynomial is not sufficient. This suggests that it may completely capture causality. The work on the categorification of the Links--Gould Polynomial is an ongoing and hard problem, and it is not a subject of this paper. As a corollary, we also compute the Seifert genus of all Allen--Swenberg links.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the Links-Gould polynomial distinguishes every member of the Allen-Swenberg family AS(n) from the unlink, thereby detecting causality in (2+1)-dimensional spacetimes in all known cases where the Alexander-Conway polynomial fails. The argument invokes prior theorems of Chernov-Nemirovski and Chernov-Martin-Petkova to convert non-equality of invariants into a causality statement, performs explicit evaluations of the two-variable Links-Gould polynomial on the AS(n) diagrams, and derives the Seifert genus of each AS(n) as a corollary.
Significance. If the explicit evaluations are correct, the result supplies a concrete quantum invariant that succeeds where the Alexander-Conway polynomial does not, thereby strengthening the link between quantum topology and the Low-Natário-Tod/Penrose causality questions. The Seifert-genus corollary is a useful topological byproduct. The manuscript is appropriately cautious in noting that a categorification of the Links-Gould polynomial remains open.
major comments (1)
- [§4] §4 (explicit evaluations of LG on AS(n)): the central claim that LG(AS(n)) differs from the unlink value for every n rests on the paper's computations. A detailed skein-relation calculation for at least one representative n, together with the resulting two-variable polynomial or a clear statement of the specialization that yields non-equality, is required to verify the load-bearing step.
minor comments (2)
- [Introduction] The introduction should explicitly recall the precise statement of the Chernov-Nemirovski theorem that converts link non-equality into a causality distinction.
- Notation for the two specializations of the Links-Gould polynomial to the Alexander-Conway polynomial should be introduced once and used consistently.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for their constructive feedback. We are pleased that the referee recognizes the significance of our results in connecting the Links-Gould polynomial to causality detection. Below, we provide a point-by-point response to the major comment and outline the revisions we will make.
read point-by-point responses
-
Referee: [§4] §4 (explicit evaluations of LG on AS(n)): the central claim that LG(AS(n)) differs from the unlink value for every n rests on the paper's computations. A detailed skein-relation calculation for at least one representative n, together with the resulting two-variable polynomial or a clear statement of the specialization that yields non-equality, is required to verify the load-bearing step.
Authors: We agree that including an explicit, step-by-step verification would make the central computation easier to check. In the revised manuscript we will add a complete skein-relation calculation for the representative case AS(1). We will display the resulting two-variable Links-Gould polynomial, indicate the specialization that produces a non-zero difference from the unlink value, and note that the same recursive pattern applies for general n. revision: yes
Circularity Check
No significant circularity; new evaluations on AS(n) use independent prior theorems
full rationale
The paper's central step is the explicit computation of the Links-Gould polynomial on the Allen-Swenberg family AS(n), showing it differs from the unlink value. This is then combined with prior external results (Chernov-Nemirovski and Chernov-Martin-Petkova) that convert such a distinction into a causality detection statement. Those prior theorems are cited as established facts and are not re-derived here; the current work adds the new invariant evaluations rather than fitting parameters or redefining quantities in terms of themselves. Self-citations exist but are not load-bearing for the distinction claim itself, which rests on direct algebraic computation rather than a self-referential loop. No equation or definition reduces the reported distinction to a tautology or fitted input by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Heegaard-Floer and Khovanov homology completely capture causality (Chernov-Martin-Petkova).
- domain assumption The Low-Natario-Tod and Penrose conjectures correctly translate causality into linking of light-ray spheres.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArrowOfTime.leanarrow_from_z echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We show that it distinguishes all the Allen-Swenberg links from the link of causally unrelated events and hence detects causality in all known examples where the Alexander-Conway polynomial is not sufficient.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
For (2+1)-dimensional spacetimes, this link happens in the manifold coverable by a solid torus S^1 × R^2.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Allen, Samantha and Swenberg, Jacob H. , TITLE =. J. Math. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.1063/5.0040956 , URL =
- [2]
- [3]
-
[4]
Bautista, A. and Ibort, A. and Lafuente, J. , TITLE =. Classical Quantum Gravity , FJOURNAL =. 2014 , NUMBER =. doi:10.1088/0264-9381/31/7/075020 , URL =
- [5]
-
[6]
and S\'anchez, Miguel , TITLE =
Bernal, Antonio N. and S\'anchez, Miguel , TITLE =. Classical Quantum Gravity , FJOURNAL =. 2007 , NUMBER =. doi:10.1088/0264-9381/24/3/N01 , URL =
-
[7]
and S\'anchez, Miguel , TITLE =
Bernal, Antonio N. and S\'anchez, Miguel , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00220-003-0982-6 , URL =
-
[8]
and S\'anchez, Miguel , TITLE =
Bernal, Antonio N. and S\'anchez, Miguel , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00220-005-1346-1 , URL =
-
[9]
and S\'anchez, Miguel , TITLE =
Bernal, Antonio N. and S\'anchez, Miguel , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11005-006-0091-5 , URL =
- [10]
- [11]
-
[12]
Chernov, Vladimir , TITLE =. J. Geom. Phys. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.geomphys.2018.06.018 , URL =
-
[13]
Chernov, Vladimir and Martin, Gage and Petkova, Ina , TITLE =. J. Math. Phys. , FJOURNAL =. 2020 , NUMBER =. doi:10.1063/5.0002297 , URL =
-
[14]
Chernov, Vladimir and Nemirovski, Stefan , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00039-009-0039-x , URL =
-
[15]
Chernov, Vladimir and Nemirovski, Stefan , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.611 , URL =
-
[16]
Chernov, Vladimir and Nemirovski, Stefan , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0219199719500421 , URL =
-
[17]
Chernov, Vladimir and Rudyak, Yuli , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00220-008-0414-8 , URL =
- [18]
-
[19]
Geroch, Robert , TITLE =. J. Mathematical Phys. , FJOURNAL =. 1970 , PAGES =. doi:10.1063/1.1665157 , URL =
- [20]
-
[21]
Jain, Ayush , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s11005-024-01808-w , URL =
-
[22]
Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =
- [23]
-
[24]
Low, Robert , title =
-
[25]
Classical Quantum Gravity , FJOURNAL =
Low, Robert , TITLE =. Classical Quantum Gravity , FJOURNAL =. 1990 , NUMBER =. doi:10.1088/0264-9381/7/2/011 , URL =
-
[26]
Classical Quantum Gravity , FJOURNAL =
Low, Robert , TITLE =. Classical Quantum Gravity , FJOURNAL =. 1994 , NUMBER =. doi:10.1088/0264-9381/11/2/016 , URL =
-
[27]
Low, Robert , TITLE =. J. Math. Phys. , FJOURNAL =. 1998 , NUMBER =. doi:10.1063/1.532257 , URL =
-
[28]
Low, Robert J. , TITLE =. Nonlinear Anal. , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0362-546X(01)00421-7 , URL =
-
[29]
Nat\'ario, Jos\'e. Linking,. Proc. London Math. Soc. (3) , FJOURNAL =. 2004 , NUMBER =. doi:10.1112/S0024611503014424 , URL =
-
[30]
Annals of Mathematics , volume =
Ozsvath, Peter and Szabo, Zoltan , title =. Annals of Mathematics , volume =
-
[31]
Black Holes and Relativistic Stars , publisher =
Penrose, Roger , title =. Black Holes and Relativistic Stars , publisher =
-
[32]
Transactions of the American Mathematical Society , volume=
Topological invariants of knots and links , author=. Transactions of the American Mathematical Society , volume=. 1928 , publisher=
work page 1928
-
[33]
Alrefai and Nafaa Chbili , title =
Marwa E. Alrefai and Nafaa Chbili , title =. International Journal of Mathematics , volume =
-
[34]
Ana-Maria Anghel, Cristina and Geer, Nathan , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2020 , NUMBER =. doi:10.1142/S0218216520500182 , URL =
-
[35]
Anghel, Cristina Ana-Maria and Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. J. Algebra , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jalgebra.2021.06.035 , URL =
-
[36]
Anghel, Cristina Ana-Maria , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.1553 , URL =
-
[37]
On Fox's trapezoidal conjecture , author =
-
[38]
Bar-Natan, Dror , TITLE =. Topology , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0040-9383(95)93237-2 , URL =
-
[39]
Bar-Natan, Dror , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2002 , PAGES =. doi:10.2140/agt.2002.2.337 , URL =
-
[40]
Bar-Natan, Dror and Garoufalidis, Stavros , TITLE =. Invent. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/s002220050070 , URL =
-
[41]
Annals of Mathematics , volume=
Lorentzian polynomials , author=. Annals of Mathematics , volume=. 2020 , publisher=
work page 2020
-
[42]
Israel Journal of Mathematics , volume=
Lower bounds for contingency tables via Lorentzian polynomials , author=. Israel Journal of Mathematics , volume=. 2023 , publisher=
work page 2023
-
[43]
Culler, Marc and Dunfield, Nathan and Goerner, Matthias and Weeks, Jeffrey , TITLE =
-
[44]
Costantino, Francesco and Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/jtopol/jtu006 , URL =
-
[45]
Annals of Mathematics , volume=
Genus of alternating link types , author=. Annals of Mathematics , volume=. 1959 , publisher=
work page 1959
-
[46]
De Renzi, Marco , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/memo/1364 , URL =
-
[47]
Journal of Knot Theory and its Ramifications , volume=
An infinite suite of Links--Gould invariants , author=. Journal of Knot Theory and its Ramifications , volume=. 2001 , publisher=
work page 2001
-
[48]
Journal of Knot Theory and its Ramifications , volume=
On the Links--Gould invariant of links , author=. Journal of Knot Theory and its Ramifications , volume=. 1999 , publisher=
work page 1999
-
[49]
Algebraic and Geometric Topology , volume =
Infinitely many two-variable generalisations of the Alexander--Conway polynomial , author =. Algebraic and Geometric Topology , volume =
-
[50]
Topology of 3-manifolds and related topics , editor =
Ralph H Fox , title =. Topology of 3-manifolds and related topics , editor =
-
[51]
Osaka Journal of Mathematics , volume=
Singularities of 2-spheres in 4-space and cobordism of knots , author=. Osaka Journal of Mathematics , volume=
-
[52]
Garoufaldis, Stavros and Harper, Matthew and Kohli, Ben-Michael and Song, Jiebo and Tahar, Guillaume , TITLE =
-
[53]
Garoufaldis, Stavros and Kashaev, Rinat , TITLE =
-
[54]
Garoufaldis, Stavros and Li, Shana Yunsheng , TITLE =
-
[55]
Garoufaldis, Stavros and Harper, Matthew and Kashev, Rinat and Kohli, Ben-Michael and Song, Jiebo and Tahar, Guillaume , TITLE =
-
[56]
Garoufalidis, Stavros and Harper, Matthew and Kashaev, Rinat and Kohli, Ben-Michael and Wagner, Emmanuel , TITLE =
-
[57]
Geer, Nathan and Kujawa, Jonathan and Patureau-Mirand, Bertrand , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00029-010-0046-7 , URL =
-
[58]
Geer, Nathan and Kujawa, Jonathan and Patureau-Mirand, Bertrand , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s10468-021-10044-y , URL =
-
[59]
Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jpaa.2006.09.015 , URL =
-
[60]
Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2010 , NUMBER =. doi:10.1142/S0218216510007784 , URL =
-
[61]
Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. Lett. Math. Phys. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s11005-017-0993-4 , URL =
-
[62]
Geer, Nathan , TITLE =. J. Algebra , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jalgebra.2006.10.045 , URL =
-
[63]
Geer, Nathan and Patureau-Mirand, Bertrand , TITLE =. Commun. Contemp. Math. , FJOURNAL =. 2008 , PAGES =. doi:10.1142/S0219199708003125 , URL =
-
[64]
Geer, Nathan and Patureau-Mirand, Bertrand and Turaev, Vladimir , TITLE =. Compos. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/S0010437X08003795 , URL =
-
[65]
Habiro, Kazuo , TITLE =. Invent. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00222-007-0071-0 , URL =
-
[66]
and M\'esz\'aros, Karola and Vidinas, Alexander , TITLE =
Hafner, Elena S. and M\'esz\'aros, Karola and Vidinas, Alexander , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =. doi:10.1093/imrn/rnae058 , URL =
-
[67]
Harper, Matthew , TITLE =
-
[68]
R. I. Hartley , title =. Journal of the Australian Mathematical Society , volume =
-
[69]
Harper, Matthew and Kohli, Ben-Michael and Song, Jiebo and Tahar, Guillaume , TITLE =
-
[70]
Harper, Matthew and Kohli, Ben-Michael and Song, Jiebo and Tahar, Guillaume , NOTE =
-
[71]
De Wit, David , title =
-
[72]
Proceedings of the American Mathematical Society , volume=
Algebraic links and skein relations of the Links-Gould invariant , author=. Proceedings of the American Mathematical Society , volume=
-
[73]
Ishii, Atsushi , TITLE =. Pacific J. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.2140/pjm.2006.225.273 , URL =
-
[74]
A polynomial invariant for knots via von Neumann algebras , author=. Bull. Amer. Math. Soc.(NS) , volume=
-
[75]
Jones, Vaughan , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1987 , NUMBER =
work page 1987
-
[76]
Journal of Knot Theory and Its Ramifications , volume =
In Dae Jong , title =. Journal of Knot Theory and Its Ramifications , volume =
-
[77]
Trapezoidal property of the generalized Alexander polynomial , author =
-
[78]
Kashaev, Rinat , TITLE =. Modern Phys. Lett. A , FJOURNAL =. 1995 , NUMBER =. doi:10.1142/S0217732395001526 , URL =
-
[79]
Representation theory, mathematical physics, and integrable systems , SERIES =
Kashaev, Rinat , TITLE =. Representation theory, mathematical physics, and integrable systems , SERIES =. [2021] 2021 , MRCLASS =. doi:10.1007/978-3-030-78148-4\_15 , URL =
-
[80]
Kashaev, Rinat , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-26306-4 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.