pith. sign in

arxiv: 2507.03116 · v2 · submitted 2025-07-03 · 🧮 math.GT · hep-th· math-ph· math.MP

Analogue of Goeritz matrices for computation of bipartite HOMFLY-PT polynomials

Pith reviewed 2026-05-19 05:49 UTC · model grok-4.3

classification 🧮 math.GT hep-thmath-phmath.MP
keywords Goeritz matrixHOMFLY-PT polynomialbipartite linksMontesinos linksrational tanglesskein relationslink invariants
0
0 comments X

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.

The paper presents a modification to the Goeritz matrix approach originally used for the Jones polynomial. This generalization computes the full HOMFLY-PT polynomial for arbitrary N but applies only to bipartite links. The method replaces skein relation expansions with direct algebraic operations on matrices derived from a checkerboard surface of the link diagram. Bipartite links encompass a broad family that includes Montesinos links built from rational tangles, for which explicit bipartite diagrams can be constructed. This algebraic reduction makes the calculation straightforward to program and execute on a computer.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The method rests on standard knot-diagram axioms and the existence of a bipartite checkerboard surface; no free parameters or new postulated entities are introduced in the abstract.

axioms (1)
  • domain assumption Link diagrams admit checkerboard surfaces whose coloring rules encode the skein relations of the HOMFLY-PT polynomial.
    Invoked when restricting the method to bipartite links and when constructing diagrams from rational tangles.

pith-pipeline@v0.9.0 · 5688 in / 1223 out tokens · 48681 ms · 2026-05-19T05:49:40.377385+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · 7 internal anchors

  1. [1]

    Все белые области нумеруем

    Диаграмме узла сопоставляем поверхность с двумя типами областей (белой и чёрной11 — закрашенной) по правилу шахматной раскраски. Все белые области нумеруем

  2. [2]

    Относительно расположения закрашенных областей пере- сеченияc могут давать вкладσ(c) = ±1 в элементы матрицы, см

    Вводим симметричную нередуцированную матрицу Гёрица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. [3]

    Так что если исходная нередуцированная матрица Гёрица была размераn×n, то редуцированная будет размера(n−1)×(n−1), гдеn – число незакрашенных (белых) областей

    Для получения (редуцированной) матрицы ГёрицаG = gij вычеркиваемk-ые столбец и строку(∀k), тогда оставшиеся элементы образуют искомую матрицуgij =egij, ∀ i ̸= k, j ̸= k. Так что если исходная нередуцированная матрица Гёрица была размераn×n, то редуцированная будет размера(n−1)×(n−1), гдеn – число незакрашенных (белых) областей. В качестве примера приведём...

  4. [4]

    Пронумеруем все белые области целыми числами

    Сопоставляем бипартитной диаграмме узла шахматную раскраску по обычным правилам, но с бипар- титными вершинами. Пронумеруем все белые области целыми числами. 23

  5. [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. [6]

    Полученную четверную матрицу с очевидностью можно разложить в сумму четырёх симметричных мат- риц, каждая из которых будет зависеть только от одного параметра из(x,ey, z,bt )

    Четверная матрица Гёрица (редуцированная)G = (gij) снова получается из нередуцированной матри- цы вычёркиваниемk-ых столбца и строки(∀k), тогда искомая матрица будет состоять из оставшихся элементовgij =egij, ∀i ̸= k, j ̸= k. Полученную четверную матрицу с очевидностью можно разложить в сумму четырёх симметричных мат- риц, каждая из которых будет зависеть...

  7. [7]

    Knoten und quadratische Formen

    L. Goeritz. “Knoten und quadratische Formen”. В:Mathematische Zeitschrift 36.1 (1933), с. 647—654

  8. [8]

    On the signature of a link

    C.Mc. Gordon и R.A. Litherland. “On the signature of a link”. В:Inventiones mathematicae47 (1978), с. 53— 69

  9. [9]

    State models and the Jones polynomial

    L.H. Kauffman. “State models and the Jones polynomial”. В:Topology26.3 (1987), с. 395—407

  10. [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. [11]

    A polynomial invariant for knots via von Neumann algebras

    V.F.R. Jones. “A polynomial invariant for knots via von Neumann algebras”. В: (1985)

  12. [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

  13. [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

  14. [14]

    The Jones polynomial

    V.F.R. Jones. “The Jones polynomial”. В:Discrete Math294 (2005), с. 275—277

  15. [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

  16. [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]

  17. [17]

    Ribbongraphsandtheirinvaraintsderivedfromquantumgroups

    N.ReshetikhinиV.Turaev.“Ribbongraphsandtheirinvaraintsderivedfromquantumgroups”.В: Communications in Mathematical Physics127.1 (1990), с. 1—26

  18. [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

  19. [19]

    Invariantsof3-manifoldsvialinkpolynomialsandquantumgroups

    N.ReshetikhinиV.Turaev.“Invariantsof3-manifoldsvialinkpolynomialsandquantumgroups”.В: Inventiones mathematicae 103.1 (1991), с. 547—597

  20. [20]

    Character expansion for HOMFLY polynomials. II. Fundamental representation. Up to five strands in braid

    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]

  21. [21]

    Bipartite knots

    S. Duzhin и M. Shkolnikov. “Bipartite knots”. В:Fundamenta Mathematicae225.1 (2014), с. 95—102. arXiv: 1105.1264 [math.GT]

  22. [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. [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. [24]

    PlanardecompositionofbipartiteHOMFLYpolynomialsinsymmetric representations

    A.Anokhina,E.LaninaиA.Morozov.“PlanardecompositionofbipartiteHOMFLYpolynomialsinsymmetric representations”. В:Physical Review D111.4 (2025), с. 046018. arXiv:2410.18525 [hep-th]

  25. [25]

    Anokhina, E

    A. Anokhina, E. Lanina и A. Morozov.Khovanov-Rozansky cycle calculus for bipartite links. 2025. arXiv: 2506.08721 [hep-th]. 36

  26. [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]

  27. [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]

  28. [28]

    Rational tangles

    J.R. Goldman и L.H. Kauffman. “Rational tangles”. В:Advances in Applied Mathematics18.3 (1997), с. 300— 332

  29. [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]

  30. [30]

    D. Rolfsen. Knots and links. 346. American Mathematical Soc., 2003

  31. [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 Комментарий о количестве параметров обобщённой матрицы Гёрица При первом взгляде на вопрос об обобщении матрицы Гёрица, можно предположить, что количество различ- ных параметров в обобщённой матрице должно быть меньше четырё...