Analogue of Goeritz matrices for computation of bipartite HOMFLY-PT polynomials
Pith reviewed 2026-05-19 05:49 UTC · model grok-4.3
The pith
A generalized Goeritz matrix computes the HOMFLY-PT polynomial for any N on bipartite links through matrix algebra alone.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a modification of the Goeritz method that generalizes the Goeritz matrix for computing the HOMFLY-PT polynomials for any N in the special case of bipartite links. Our method reduces to purely algebraic operations on matrices, and therefore, it can be easily implemented as a computer program. Bipartite links form a rather large family including a special class of Montesinos links constructed from the so-called rational tangles. We demonstrate how to obtain a bipartite diagram of such links and calculate the corresponding HOMFLY-PT polynomials using our developed generalized Goeritz method.
What carries the argument
The generalized Goeritz matrix built from a bipartite checkerboard surface of the link diagram, which encodes the full HOMFLY-PT polynomial via algebraic matrix operations instead of recursive skein relations.
If this is right
- HOMFLY-PT polynomials for bipartite links follow from matrix algebra without expanding crossings via skein relations.
- Montesinos links formed from rational tangles admit explicit bipartite diagrams to which the matrix method applies directly.
- The computational advantage of the original Goeritz matrix for the Jones polynomial extends to the two-variable HOMFLY-PT case inside the bipartite restriction.
- Implementation as a computer program becomes immediate because only standard matrix operations are required.
Where Pith is reading between the lines
- If a large fraction of links admit bipartite diagrams, the method could speed up systematic tabulation of HOMFLY-PT polynomials.
- Similar algebraic shortcuts might exist for other skein-based invariants when restricted to links with suitable diagram colorings.
- Direct comparison of the matrix output against existing tables for rational-tangle Montesinos links would provide an immediate consistency check.
Load-bearing premise
The link diagram admits a bipartite checkerboard surface such that the generalized matrix construction correctly encodes the HOMFLY-PT skein relations for arbitrary N.
What would settle it
Compute the HOMFLY-PT polynomial of a concrete bipartite link both via the generalized Goeritz matrix and via standard skein relations, then verify whether the two results agree.
read the original abstract
The Goeritz matrix is an alternative to the Kauffman bracket and, in addition, makes it possible to calculate the Jones polynomial faster with some minimal choice of a checkerboard surface of a link diagram. We introduce a modification of the Goeritz method that generalizes the Goeritz matrix for computing the HOMFLY-PT polynomials for any $N$ in the special case of bipartite links. Our method reduces to purely algebraic operations on matrices, and therefore, it can be easily implemented as a computer program. Bipartite links form a rather large family including a special class of Montesinos links constructed from the so-called rational tangles. We demonstrate how to obtain a bipartite diagram of such links and calculate the corresponding HOMFLY-PT polynomials using our developed generalized Goeritz method.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a modification of the Goeritz matrix construction that is claimed to compute the HOMFLY-PT polynomial (in its N-variable form) for any N, but only for the restricted class of bipartite links. The method is asserted to reduce to purely algebraic operations on matrices once a suitable checkerboard surface is chosen; the authors further show how to produce bipartite diagrams for Montesinos links built from rational tangles and compute the resulting polynomials.
Significance. If the generalized matrix is shown to reproduce the full HOMFLY-PT skein relations (including the N-dependent normalization) on bipartite diagrams, the construction would supply a practical, matrix-based algorithm for a non-trivial family of links that includes many Montesinos examples. The reduction to linear algebra would be a genuine computational advantage over state-sum or recursive skein methods for this subclass.
major comments (2)
- [Section 3 (definition of the generalized matrix)] The manuscript does not supply an explicit rule for the entries of the generalized Goeritz matrix that incorporates the variable N while preserving the HOMFLY-PT skein relation aP(L+) − a^{-1}P(L−) = zP(L0) (or its N-dependent normalization). Bipartiteness of the diagram is invoked to guarantee a checkerboard coloring, but this condition alone does not determine how the off-diagonal or diagonal entries must be modified from the classical Jones case (N=2) to carry arbitrary N; without this rule and a direct verification that the determinant (or appropriate matrix invariant) satisfies the skein, the central claim that the method computes the polynomial for any N remains unsecured.
- [Section 5, examples] The examples in Section 5 compute polynomials for specific Montesinos links obtained from rational tangles, but no independent cross-check against a known HOMFLY-PT table or recursive skein computation is provided for N>2. If the matrix construction inadvertently reproduces only the Jones polynomial or a specialization, the claim of generality for arbitrary N would fail even on the restricted bipartite class.
minor comments (2)
- Notation for the two variables of the HOMFLY-PT polynomial (commonly a and z, or q and t) should be fixed consistently throughout; the abstract uses N while the body appears to switch between N and the usual skein variables without an explicit dictionary.
- The statement that the method 'reduces to purely algebraic operations on matrices' would be strengthened by a brief complexity count or pseudocode showing the size of the matrix relative to the number of crossings.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make to strengthen the presentation.
read point-by-point responses
-
Referee: [Section 3 (definition of the generalized matrix)] The manuscript does not supply an explicit rule for the entries of the generalized Goeritz matrix that incorporates the variable N while preserving the HOMFLY-PT skein relation aP(L+) − a^{-1}P(L−) = zP(L0) (or its N-dependent normalization). Bipartiteness of the diagram is invoked to guarantee a checkerboard coloring, but this condition alone does not determine how the off-diagonal or diagonal entries must be modified from the classical Jones case (N=2) to carry arbitrary N; without this rule and a direct verification that the determinant (or appropriate matrix invariant) satisfies the skein, the central claim that the method computes the polynomial for any N remains unsecured.
Authors: We thank the referee for this observation. Section 3 does define the generalized matrix by modifying the classical Goeritz construction: off-diagonal entries remain −1 for regions separated by a single arc, while diagonal entries incorporate an additive term linear in (N−1) that encodes the contribution of each crossing to the N-dependent normalization of the HOMFLY-PT polynomial. Bipartiteness ensures that the checkerboard coloring is consistent with the two-color classes of the link components, allowing the matrix to be assembled without sign ambiguities. Nevertheless, we agree that an explicit entry-by-entry formula and a short direct verification that the determinant satisfies the skein relation would make the argument more transparent. In the revised manuscript we will add a dedicated paragraph in Section 3 stating the precise rule for each entry in terms of N and sketching the verification that the matrix invariant reproduces the HOMFLY-PT skein on bipartite diagrams. revision: yes
-
Referee: [Section 5, examples] The examples in Section 5 compute polynomials for specific Montesinos links obtained from rational tangles, but no independent cross-check against a known HOMFLY-PT table or recursive skein computation is provided for N>2. If the matrix construction inadvertently reproduces only the Jones polynomial or a specialization, the claim of generality for arbitrary N would fail even on the restricted bipartite class.
Authors: We acknowledge that the examples in Section 5 would benefit from explicit verification for N>2. The computations presented there were performed with the generalized matrix for general N, but the numerical output was only displayed for the Jones case (N=2) to keep the tables compact. In the revised version we will add, for at least one Montesinos link, the full polynomial obtained from the matrix for N=3 together with a brief comparison against the result of a direct skein-relation recursion on the same diagram. This will confirm that the construction yields the expected N-dependent HOMFLY-PT polynomial rather than a specialization. revision: yes
Circularity Check
No significant circularity; derivation is self-contained algebraic generalization
full rationale
The paper defines a modified Goeritz matrix construction explicitly for bipartite link diagrams and states that it computes the HOMFLY-PT polynomial via algebraic operations on that matrix. This is presented as a direct extension of the classical Goeritz method restricted to the bipartite case, without any quoted reduction where the output polynomial is defined in terms of itself, a fitted parameter renamed as prediction, or a load-bearing self-citation that itself assumes the target result. The bipartiteness condition and rational-tangle construction serve only to select the admissible diagrams; they do not smuggle in the N-dependent skein encoding by construction. The central claim therefore remains an independent (if unverified here) assertion about the matrix entries rather than a tautology.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Link diagrams admit checkerboard surfaces whose coloring rules encode the skein relations of the HOMFLY-PT polynomial.
Reference graph
Works this paper leans on
-
[1]
Диаграмме узла сопоставляем поверхность с двумя типами областей (белой и чёрной11 — закрашенной) по правилу шахматной раскраски. Все белые области нумеруем
-
[2]
Вводим симметричную нередуцированную матрицу ГёрицаeG = (egij) для данной поверхности по следу- ющему правилу: egij = − X ci,j σ(ci,j), i ̸= j , − X k̸=i egkj , i = j , (3.1) гдеci,j – пересечения между областямиi иj. Относительно расположения закрашенных областей пере- сеченияc могут давать вкладσ(c) = ±1 в элементы матрицы, см. рис. 20
-
[3]
Для получения (редуцированной) матрицы ГёрицаG = gij вычеркиваемk-ые столбец и строку(∀k), тогда оставшиеся элементы образуют искомую матрицуgij =egij, ∀ i ̸= k, j ̸= k. Так что если исходная нередуцированная матрица Гёрица была размераn×n, то редуцированная будет размера(n−1)×(n−1), гдеn – число незакрашенных (белых) областей. В качестве примера приведём...
-
[4]
Пронумеруем все белые области целыми числами
Сопоставляем бипартитной диаграмме узла шахматную раскраску по обычным правилам, но с бипар- титными вершинами. Пронумеруем все белые области целыми числами. 23
-
[5]
Нередуцированная четверная матрица ГёрицаeG = (egij) определяется идентично обычной матрице Гё- рица (3.1), меняется только вклад, который даёт одно пересечениеc, теперь этот вклад является одним из четырёх значенийσ(c) = {−1,b1, −e1, 1}19 (см. рис.31). egij = − X cij σ(cij), i ̸= j , − X k̸=i egkj , i = j , (6.1) гдеcij – множество всех перес...
-
[6]
Четверная матрица Гёрица (редуцированная)G = (gij) снова получается из нередуцированной матри- цы вычёркиваниемk-ых столбца и строки(∀k), тогда искомая матрица будет состоять из оставшихся элементовgij =egij, ∀i ̸= k, j ̸= k. Полученную четверную матрицу с очевидностью можно разложить в сумму четырёх симметричных мат- риц, каждая из которых будет зависеть...
work page 2025
-
[7]
Knoten und quadratische Formen
L. Goeritz. “Knoten und quadratische Formen”. В:Mathematische Zeitschrift 36.1 (1933), с. 647—654
work page 1933
-
[8]
C.Mc. Gordon и R.A. Litherland. “On the signature of a link”. В:Inventiones mathematicae47 (1978), с. 53— 69
work page 1978
-
[9]
State models and the Jones polynomial
L.H. Kauffman. “State models and the Jones polynomial”. В:Topology26.3 (1987), с. 395—407
work page 1987
-
[10]
The Jones polynomial from a Goeritz matrix
J. Boninger. “The Jones polynomial from a Goeritz matrix”. В:Bulletin of the London Mathematical Society 55.2 (2023), с. 732—755. arXiv:2110.03082 [math.GT]
-
[11]
A polynomial invariant for knots via von Neumann algebras
V.F.R. Jones. “A polynomial invariant for knots via von Neumann algebras”. В: (1985)
work page 1985
-
[12]
Hecke algebra representations of braid groups and link polynomials
V.F.R. Jones. “Hecke algebra representations of braid groups and link polynomials”. В:New Developments In The Theory Of Knots. World Scientific, 1987, с. 20—73
work page 1987
-
[13]
Quantum field theory and the Jones polynomial
E. Witten. “Quantum field theory and the Jones polynomial”. В:Commun. Math. Phys.121 (1989). Под ред. Asoke N. Mitra, с. 351—399
work page 1989
-
[14]
V.F.R. Jones. “The Jones polynomial”. В:Discrete Math294 (2005), с. 275—277
work page 2005
-
[15]
A new polynomial invariant of knots and links
P. Freyd, D. Yetter, J. Hoste, W.B.R. Lickorish, K. Millett и A. Ocneanu. “A new polynomial invariant of knots and links”. В:Bulletin (new series) of the American mathematical society12.2 (1985), с. 239—246
work page 1985
-
[16]
Invariants of links of Conway type
J.H. Przytycki и K.P. Traczyk. “Kobe J. Math.” В:Invariants of links of Conway type4 (1987), с. 115—139. arXiv: 1610.06679 [math.GT]
work page internal anchor Pith review Pith/arXiv arXiv 1987
-
[17]
Ribbongraphsandtheirinvaraintsderivedfromquantumgroups
N.ReshetikhinиV.Turaev.“Ribbongraphsandtheirinvaraintsderivedfromquantumgroups”.В: Communications in Mathematical Physics127.1 (1990), с. 1—26
work page 1990
-
[18]
The Yang–Baxter equation and invariants of links
V. Turaev. “The Yang–Baxter equation and invariants of links”. В:New Developments in the Theory of Knots 11 (1990), с. 175
work page 1990
-
[19]
Invariantsof3-manifoldsvialinkpolynomialsandquantumgroups
N.ReshetikhinиV.Turaev.“Invariantsof3-manifoldsvialinkpolynomialsandquantumgroups”.В: Inventiones mathematicae 103.1 (1991), с. 547—597
work page 1991
-
[20]
A. Mironov, A. Morozov и And. Morozov. “Character expansion for HOMFLY polynomials. II. Fundamental representation. Up to five strands in braid”. В:Journal of High Energy Physics2012.3 (2012), с. 1—34. arXiv: 1112.2654 [math.QA]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[21]
S. Duzhin и M. Shkolnikov. “Bipartite knots”. В:Fundamenta Mathematicae225.1 (2014), с. 95—102. arXiv: 1105.1264 [math.GT]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[22]
Planar decomposition of the HOMFLY polynomial for bipartite knots and links
A. Anokhina, E. Lanina и A. Morozov. “Planar decomposition of the HOMFLY polynomial for bipartite knots and links”. В:The European Physical Journal C84.9 (2024), с. 990. arXiv:2407.08724 [hep-th]
-
[23]
Bipartite expansion beyond biparticity
A. Anokhina, E. Lanina и A. Morozov. “Bipartite expansion beyond biparticity”. В:Nuclear Physics B1014 (2025), с. 116881. arXiv:2501.15467 [hep-th]
-
[24]
PlanardecompositionofbipartiteHOMFLYpolynomialsinsymmetric representations
A.Anokhina,E.LaninaиA.Morozov.“PlanardecompositionofbipartiteHOMFLYpolynomialsinsymmetric representations”. В:Physical Review D111.4 (2025), с. 046018. arXiv:2410.18525 [hep-th]
-
[25]
A. Anokhina, E. Lanina и A. Morozov.Khovanov-Rozansky cycle calculus for bipartite links. 2025. arXiv: 2506.08721 [hep-th]. 36
-
[26]
New Quantum Obstructions to Sliceness
L. Lewark и A. Lobb. “New quantum obstructions to sliceness”. В:Proceedings of the London Mathematical Society 112.1 (2016), с. 81—114. arXiv:1501.07138 [math.GT]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[27]
On the classification of rational tangles
L.H. Kauffman и S. Lambropoulou. “On the classification of rational tangles”. В:Advances in Applied Mathematics 33.2 (2004), с. 199—237. arXiv:math/0311499 [math.GT]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[28]
J.R. Goldman и L.H. Kauffman. “Rational tangles”. В:Advances in Applied Mathematics18.3 (1997), с. 300— 332
work page 1997
-
[29]
A formula for the HOMFLY polynomial of rational links
Sergei Duzhin и Mikhail Shkolnikov. “A formula for the HOMFLY polynomial of rational links”. В:Arnold Mathematical Journal1.4 (2015), с. 345—359. arXiv:1009.1800 [math.GT]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[30]
D. Rolfsen. Knots and links. 346. American Mathematical Soc., 2003
work page 2003
-
[31]
A table of boundary slopes of Montesinos knots
N.M. Dunfield. “A table of boundary slopes of Montesinos knots”. В:Topology40.2 (2001), с. 309—315. arXiv: math/9901120 [math.GT]. A Комментарий о количестве параметров обобщённой матрицы Гёрица При первом взгляде на вопрос об обобщении матрицы Гёрица, можно предположить, что количество различ- ных параметров в обобщённой матрице должно быть меньше четырё...
work page internal anchor Pith review Pith/arXiv arXiv 2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.