pith. sign in

arxiv: 2410.00399 · v2 · submitted 2024-10-01 · 🧮 math.CO · math.GT

The HOMFLY Polynomial of a Forest Quiver

Amanda Schwartz This is my paper

Pith reviewed 2026-05-23 20:21 UTC · model grok-4.3

classification 🧮 math.CO math.GT
keywords HOMFLY polynomialforest quiverplabic graphplabic linkindependent setsrecursive definitionquiver
0
0 comments X

The pith

A recursive definition on the graph gives the HOMFLY polynomial for any forest quiver and equals the version from its plabic links.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines the HOMFLY polynomial of a forest quiver via recursion on the underlying graph. It establishes that this value equals the HOMFLY polynomial of any plabic link obtained from a connected plabic graph whose quiver is the given one. The work further derives a closed-form expression for the polynomial directly in terms of the independent sets of the quiver. These results link a combinatorial object to a classical knot invariant without requiring the explicit construction of the link diagram.

Core claim

We define the HOMFLY polynomial of a forest quiver Q using a recursive definition on the underlying graph of the quiver. We show that this polynomial is equal to the HOMFLY polynomial of any plabic link which comes from a connected plabic graph whose quiver is Q. We also prove a closed-form expression for the HOMFLY polynomial of a forest quiver Q in terms of the independent sets of Q.

What carries the argument

The recursive definition on the underlying graph of the quiver, which produces both the equality to plabic-link polynomials and the closed-form expression via independent sets.

If this is right

  • The polynomial depends only on the quiver and not on the particular connected plabic graph realizing it.
  • The value can be obtained by summing contributions from the independent sets of the quiver.
  • The recursive definition supplies an algorithm to compute the polynomial directly from the graph structure.
  • Any two forest quivers with the same independent-set data share the same polynomial.

Where Pith is reading between the lines

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

  • The closed-form expression may permit direct comparison of HOMFLY values across different forest quivers by inspecting only their independent sets.
  • The equality result supplies a combinatorial proxy for evaluating the invariant on links that arise from plabic graphs.
  • The approach could be tested on small explicit forest quivers by enumerating independent sets and comparing against known link polynomials.

Load-bearing premise

The recursive definition on the underlying graph of the quiver is well-defined and independent of choices for any forest quiver Q.

What would settle it

A concrete forest quiver for which two different sequences of recursive reductions produce unequal polynomials or for which the resulting value fails to match the HOMFLY polynomial of a plabic link from any connected plabic graph with that quiver.

Figures

Figures reproduced from arXiv: 2410.00399 by Amanda Schwartz.

Figure 1
Figure 1. Figure 1: Two plabic graphs, one reduced (left) and one not reduced (right), which both have strand permutation π = (1 4 2 5 3). = p = p [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Modifications at a point p on a strand where the tangent vector has argument 0. 1 2 4 3 5 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A plabic graph G and its plabic link L plab G . being just below 2π to being just above 0 as one travels through p along S, then we break S at p, sending it to the boundary just before reaching p and then back to continue along its original path after p. Along the way to the boundary, it passes under all other strands it crosses, and on the way back to the strand S, it passes over all other strands. If the… view at source ↗
Figure 4
Figure 4. Figure 4: Local moves on plabic graphs: (a) square move, (b) contrac￾tion/uncontraction, (c) middle vertex insertion/removal, and (d) tail addi￾tion/removal. (i) (ii) , [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: A plabic graph is reduced if and only if no graph in its move￾equivalence class contains either configurations of type (i) or (ii). the strand permutation nor the number of faces in the graph. We will refer to the set of all plabic graphs obtained from a plabic graph G using moves (a) - (c) as the move-equivalence class of G. A graph is reduced if and only if no graph in its move-equivalence class contains… view at source ↗
Figure 6
Figure 6. Figure 6: A procedure for finding a reduced plabic graph with a given tree quiver Q. given any such edge which connects two vertices of the same color, add one vertex of the opposite color in the middle of the edge and connect it to a new boundary vertex. To any such edge which connects vertices of opposite colors, we add two vertices in the middle of the edge, placed so that the induced subgraph on these four verti… view at source ↗
Figure 7
Figure 7. Figure 7: Two reduced graphs with A2 as their quiver. Corollary 2.3. Let Q be a forest quiver. Then there exists a connected, reduced plabic graph G with QG = Q. Proof. Suppose Q = Q1 ⊔ Q2 ⊔ ⋅ ⋅ ⋅ ⊔ Qk where Qi is a non-empty tree quiver for i = 1, . . . , k. Let Gi be the reduced plabic graph with quiver Qi which results from the algorithm in the proof of Proposition 2.1. Place the graphs G1, G2, . . . , Gk clockwi… view at source ↗
Figure 8
Figure 8. Figure 8: A reduced plabic graph with the pictured forest quiver. The Alexander-Conway polynomial ∇ is related to the Alexander polynomial ∆ via the relation ∇(t 1/2−t −1/2) = ∆(t). Therefore, the Alexander polynomial satisfies the skein relation (2.6) ∆(L+) − ∆(L−) = (t 1/2 − t −1/2 ) ∆(L0) Setting ∆(unknot) = 1 fixes a specific choice of the Alexander polynomial for each oriented link, although typically the polyn… view at source ↗
Figure 9
Figure 9. Figure 9: Two plabic graphs with the same quiver but whose plabic links have different HOMFLY polynomials. This pattern holds for higher n as well; one can prove by induction that ∆(An) = t −n/2 ⋅ n ∑ k=0 (−1) n−k t k . Example 3.6. The Alexander polynomial of the D4 quiver is ∆(D4) = (t 1/2 − t −1/2 )∆(A3) + ∆(A1) 2 = (t 1/2 − t −1/2 )(t 3/2 − t 1/2 + t −1/2 − t −3/2 ) + (t − 2 + t −1 ) = t 2 − 2t + 2 − 2t −1 + t −… view at source ↗
Figure 10
Figure 10. Figure 10: If there is an edge e in G which separates two (not necessarily distinct) boundary faces B and B′ , one can divide G by drawing a line through these boundary faces across e, pictured here in blue. If one removes e, the result can be considered as the disjoint union of two smaller plabic graphs G1 and G2 on the left and right respectively of this dividing line. In order to prove this main result, we will c… view at source ↗
Figure 11
Figure 11. Figure 11: The plabic link of a plabic graph G is a connected sum of the plabic links of the subgraphs G1 and G2 on either side of a dividing edge e in G. G1 and G2 are both connected if G is connected. Therefore, by the inductive hypothesis, L plab G1 is a connected sum of plabic links L1, L2, . . . , Lℓ for some connected plabic graphs whose quivers are Q1, Q2, . . . , Qℓ respectively. Similarly, L plab G2 is a co… view at source ↗
Figure 12
Figure 12. Figure 12: If there are no boundary faces at v, there is a cycle in QG. F B F B B F F B [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: If F is a face whose boundary is a loop edge at v and which is surrounded by another interior face, then F can be “pushed through” so that it is instead surround by a boundary face B. Then v can be uncontracted into a dividing edge. cycle in QG as pictured in [PITH_FULL_IMAGE:figures/full_fig_p016_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: If there are two (not necessarily distinct) boundary faces B and B′ which appear around the vertex v, then v can be uncontracted into a dividing edge. F3 B1 F B2 1 F2 [PITH_FULL_IMAGE:figures/full_fig_p017_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: If a vertex v is only in a single Vi and there are no loop edges at v, the interior faces must appear consecutively in one block, as must the boundary faces. Therefore, there must be two (not necessarily distinct) boundary faces B and B′ which appear around v but such that as one travels clockwise around v, at least one interior face appears as one travels from B to B′ and from B′ to B. Without loss of ge… view at source ↗
Figure 16
Figure 16. Figure 16: Observe that the subgraph to the left of this dividing edge as pictured in Figure [PITH_FULL_IMAGE:figures/full_fig_p017_16.png] view at source ↗
Figure 16
Figure 16. Figure 16: When the sets V1, V2, . . . , Vk are pairwise disjoint, there is a di￾viding edge at a vertex v ∈ Vi if there is a path from v to a vertex in Vj for i ≠ j which does not go through any other vertices in Vi . □ In order to utilize Lemma 2.8 to compute the HOMFLY polynomial of a plabic link, we first show that for a connected plabic graph G whose quiver is connected, a leaf v in QG corresponds to a boundary… view at source ↗
Figure 17
Figure 17. Figure 17: A face in G corresponding to a leaf can be taken to be a boundary leaf face after applying local moves [PITH_FULL_IMAGE:figures/full_fig_p019_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: The tail reduction of a plabic graph with empty mutable quiver. at least one other edge with opposite colored endpoints along the boundary of F. By the restrictions discussed above, there can only be one such edge, and it must separate F from a boundary face. Therefore, the general form that G has around F is as pictured in the left side of [PITH_FULL_IMAGE:figures/full_fig_p019_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: The only two possibilities for tail reduced graphs whose quiver is a single vertex [PITH_FULL_IMAGE:figures/full_fig_p020_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: For a connected plabic graph whose quiver is A2, the plabic link is the right-handed trefoil. and QG is connected, then the quiver is the A2 quiver. By the definition of f, f(A2) = z a f(A1) + 1 a 2 f(A0) = z 2 + 1 a 2 − 1 a 4 + 1 a 2 = z 2 + 2 a 2 − 1 a 4 where A0 denotes the empty quiver and A1 consists of a single vertex. On the other hand, the corresponding plabic link is the right-handed trefoil (see… view at source ↗
Figure 21
Figure 21. Figure 21: The graphs G (left) and G′ (right). plabic graphs Gi with quiver Qi for i = 1, . . . , k, the equality P(L plab Gi ) = f(Qi) holds. It then follows from Proposition 3.9 that P(L plab G ) = f(Q1) ⋅ f(Q2) ⋅ ⋅ ⋅ ⋅ ⋅ f(Qk) = f(QG). If on the other hand QG is connected, then we pick a leaf v in QG. Let ˜v be the vertex in QG which is adjacent to v. By Proposition 3.10, this leaf v can be taken to correspond to… view at source ↗
Figure 22
Figure 22. Figure 22: An independent set I in Q (left) which contains the leaf v along with the corresponding independent set I ′ in Q′′ (right). The root u in Q and the roots in Ru in Q′′ are circled, elements of the independent sets are colored red, and the parent vertices are colored green. v u = v˜ v2 v1 v v2 1 [PITH_FULL_IMAGE:figures/full_fig_p023_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: An independent set I in Q (left) which contains the leaf v along with the corresponding independent set I ′ in Q′′ (right) in the case where u = v˜. The root u = v˜ in Q and the roots in Ru in Q′′ are circled, elements of the independent sets are colored red, and the parent vertices are colored green. the number of such independent sets is ci,j(Q′ , u). For independent sets I which contain v, consider the… view at source ↗
Figure 24
Figure 24. Figure 24: The subsets counted by the coefficients ci,j(D4). The root vertex is circled, elements of the independent sets are colored red, and the parent vertices are colored green. Now assume that Q has n ≥ 3 vertices. Since we have handled the case where Q is disconnected above, we may assume that Q is connected. Fix a leaf v in Q which is incident to a vertex ˜v. We will choose a root vertex u which is not v or ˜… view at source ↗
Figure 25
Figure 25. Figure 25: The sets counted by the coefficients in (4.13) when Q is E6. where bi(Q) is the number of ways to choose i distinct edges in Q which do not share any endpoints. Alternatively, bi(Q) is the number of independent sets of size i in the line graph of Q. Proof. The Alexander polynomial is obtained from the HOMFLY polynomial via the substi￾tution a = 1 and z = t 1/2 − t −1/2 . Under this substitution, all terms… view at source ↗
read the original abstract

We define the HOMFLY polynomial of a forest quiver $Q$ using a recursive definition on the underlying graph of the quiver. We then show that this polynomial is equal to the HOMFLY polynomial of any plabic link which comes from a connected plabic graph whose quiver is $Q$. We also prove a closed-form expression for the HOMFLY polynomial of a forest quiver $Q$ in terms of the independent sets of $Q$.

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

1 major / 2 minor

Summary. The manuscript defines the HOMFLY polynomial of a forest quiver Q via a recursive definition on the underlying graph of the quiver. It proves that this polynomial equals the HOMFLY polynomial of any plabic link arising from a connected plabic graph whose quiver is Q, and derives a closed-form expression for the polynomial in terms of the independent sets of Q.

Significance. If the recursive definition is well-defined and the two main results hold, the paper supplies a new combinatorial route from forest quivers to HOMFLY polynomials of certain links, together with an explicit formula over independent sets. This could be useful for computing or interpreting HOMFLY polynomials in the setting of plabic graphs and positroids.

major comments (1)
  1. [§2] §2, Definition 2.1 and the surrounding recursion: the recursive definition of the HOMFLY polynomial on the underlying graph is introduced without explicit base cases (e.g., the value on the empty graph or on an isolated vertex) and without a proof that the result is independent of the order in which edges are reduced. Because both Theorem 3.1 (equality with plabic-link HOMFLY) and Theorem 4.1 (closed-form via independent sets) rest on this value being unambiguously defined, the omission is load-bearing.
minor comments (2)
  1. [§1] Notation for the variables a and z in the HOMFLY polynomial is introduced without a brief reminder of the standard normalization used in the plabic-link literature.
  2. [§4] The statement of the closed-form expression in Theorem 4.1 would benefit from an explicit small example (e.g., a path of length 2) showing how the sum over independent sets reproduces the recursively computed value.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying a key omission in the presentation of our recursive definition. We address the single major comment below.

read point-by-point responses

  1. Referee: [§2] §2, Definition 2.1 and the surrounding recursion: the recursive definition of the HOMFLY polynomial on the underlying graph is introduced without explicit base cases (e.g., the value on the empty graph or on an isolated vertex) and without a proof that the result is independent of the order in which edges are reduced. Because both Theorem 3.1 (equality with plabic-link HOMFLY) and Theorem 4.1 (closed-form via independent sets) rest on this value being unambiguously defined, the omission is load-bearing.

    Authors: We agree that the recursive definition requires explicit base cases and a demonstration that its value is independent of reduction order. In the revised manuscript we will add these elements to Section 2: we will state the base cases for the empty graph and for isolated vertices, and we will supply a short proof (by induction on the number of edges) that the result does not depend on the order in which edges are removed. These additions will make the well-definedness of the polynomial explicit and will directly support the statements of Theorems 3.1 and 4.1. revision: yes

Circularity Check

0 steps flagged

No circularity; recursive definition presented as input with independent theorems proved from it

full rationale

The paper introduces a recursive definition of the HOMFLY polynomial on the underlying graph of a forest quiver Q as the starting point. It then states two theorems: equality to the HOMFLY polynomial of associated plabic links, and a closed-form expression in terms of independent sets of Q. No quoted step reduces a claimed result to a fitted parameter, self-citation chain, or input by construction. The definition is treated as given (with the well-definedness implicitly assumed for forests), and the subsequent results are presented as separate proofs rather than tautological restatements. This matches the default expectation of a non-circular paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities. Standard mathematical background (graph theory, knot polynomials) is assumed but not itemized.

pith-pipeline@v0.9.0 · 5581 in / 1106 out tokens · 21228 ms · 2026-05-23T20:21:16.682736+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The HZ character expansion and a hyperbolic extension of torus knots

    math-ph 2025-05 unverdicted novelty 6.0

    Authors introduce the HZ character expansion of the HOMFLY-PT polynomial, identify hook diagrams for factorisability, and construct an infinite family of HZ-factorisable hyperbolic knots via full, partial-full, and Ju...

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Topological invariants of knots and links

    James W. Alexander. “Topological invariants of knots and links”. In: Transactions of the American Mathematical Society 30 (1928), pp. 275–306

    work page 1928

  2. [2]

    Knot theory and cluster algebras

    V´ eronique Bazier-Matte and Ralf Schiffler. “Knot theory and cluster algebras”. In: Advances in Mathematics 408 (2022). doi: 10.1016/j.aim.2022.108609

    work page doi:10.1016/j.aim.2022.108609 2022

  3. [3]

    Cluster structures on braid varieties

    Roger Casals et al. “Cluster structures on braid varieties”. In: Journal of the American Mathematical Society (2024). doi: 10.1090/jams/1048

    work page doi:10.1090/jams/1048 2024

  4. [4]

    Positroid Links and Braid varieties

    Roger Casals et al. Positroid Links and Braid varieties . 2024. arXiv: 2105 . 13948 [math.AG]. url: https://arxiv.org/abs/2105.13948

    work page arXiv 2024

  5. [5]

    Cyclically ordered quivers

    Sergey Fomin and Scott Neville. Cyclically ordered quivers. 2024. arXiv: 2406.03604 [math.RT]. url: https://arxiv.org/abs/2406.03604. REFERENCES 29

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  6. [6]

    Morsifications and mutations

    Sergey Fomin et al. “Morsifications and mutations”. In: Journal of the London Math- ematical Society 105.4 (2022), pp. 2478–2554. issn: 1469-7750. doi: 10.1112/jlms.1 2566

    work page doi:10.1112/jlms.1 2022

  7. [7]

    A new polynomial invariant of knots and links

    P. Freyd et al. “A new polynomial invariant of knots and links”. English (US). In: Bulletin of the American Mathematical Society 12.2 (1985), pp. 239–246. issn: 0273-

    work page 1985

  8. [8]

    doi: 10.1090/S0273-0979-1985-15361-3

    work page doi:10.1090/s0273-0979-1985-15361-3 1985

  9. [9]

    Plabic links, quivers, and skein relations

    Pavel Galashin and Thomas Lam. “Plabic links, quivers, and skein relations”. In: Al- gebraic Combinatorics 7 (2024), pp. 431–474. doi: 10.5802/alco.345

    work page doi:10.5802/alco.345 2024

  10. [10]

    Positroid Catalan numbers

    Pavel Galashin and Thomas Lam. “Positroid Catalan numbers”. In: Communications of the American Mathematical Society 4 (2024), pp. 357–386. doi: 10.1090/cams/33

    work page doi:10.1090/cams/33 2024

  11. [11]

    Positroids, knots, and q, t-Catalan numbers

    Pavel Galashin and Thomas Lam. “Positroids, knots, and q, t-Catalan numbers”. In: Duke Mathematical Journal 173.11 (2024), pp. 2117–2195. doi: 10.1215/00127094-2 023-0049

    work page doi:10.1215/00127094-2 2024

  12. [12]

    Braid variety cluster structures, II: general type

    Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett. Braid variety cluster structures, II: general type . 2023. arXiv: 2301.07268 [math.AG] . url: https://arxi v.org/abs/2301.07268

    work page arXiv 2023

  13. [13]

    Braid variety cluster structures, I: 3D plabic graphs

    Pavel Galashin et al. Braid variety cluster structures, I: 3D plabic graphs . 2024. arXiv: 2210.04778 [math.CO] . url: https://arxiv.org/abs/2210.04778

    work page arXiv 2024

  14. [14]

    Torus link homology

    Matthew Hogancamp and Anton Mellit. Torus link homology. 2019. arXiv: 1909.00418 [math.GT]. url: https://arxiv.org/abs/1909.00418

    work page arXiv 2019

  15. [15]

    Cohomology of cluster varieties. II. Acyclic case

    Thomas Lam and David E. Speyer. “Cohomology of cluster varieties. II. Acyclic case”. In: Journal of the London Mathematical Society 108.6 (2023), pp. 2377–2414. doi: 10.1112/jlms.12809

    work page doi:10.1112/jlms.12809 2023

  16. [16]

    Cluster algebras and Jones polynomials

    Kyungyong Lee and Ralf Schiffler. “Cluster algebras and Jones polynomials”. In: Selecta Mathematica 25.58 (2019). doi: 10.1007/s00029-019-0503-x

    work page doi:10.1007/s00029-019-0503-x 2019

  17. [17]

    W. B. Raymond Lickorish. An Introduction to Knot Theory . Springer New York, NY, 1997

    work page 1997

  18. [18]

    Homology of torus knots

    Anton Mellit. “Homology of torus knots”. In: Geometry & Topology26.1 (2022), pp. 47–

    work page 2022

  19. [19]

    doi: 10.2140/gt.2022.26.47

    issn: 1465-3060. doi: 10.2140/gt.2022.26.47

    work page doi:10.2140/gt.2022.26.47 2022

  20. [20]

    Total positivity, Grassmannians, and networks

    Alexander Postnikov. Total positivity, Grassmannians, and networks . 2006. arXiv: ma th/0609764 [math.CO] . url: https://arxiv.org/abs/math/0609764

    work page arXiv 2006

  21. [21]

    Conway algebras and skein equivalence of links

    J´ ozef H. Przytycki and Pawel Traczyk. “Conway algebras and skein equivalence of links”. In: Proceedings of the American Mathematical Society (1987), pp. 744–748. doi: 10.1090/S0002-9939-1987-0894448-2

    work page doi:10.1090/s0002-9939-1987-0894448-2 1987

  22. [22]

    Cluster varieties from Legendrian knots

    Vivek Shende et al. “Cluster varieties from Legendrian knots”. In: Duke Mathematical Journal 168.15 (2019). issn: 0012-7094. doi: 10.1215/00127094-2019-0027

    work page doi:10.1215/00127094-2019-0027 2019

  23. [23]

    Independence polynomials and Alexander-Conway polynomials of plumb- ing links

    A. Stoimenow. “Independence polynomials and Alexander-Conway polynomials of plumb- ing links”. In: Journal of Combinatorial Theory, Series A 183 (2021). issn: 0097-3165. doi: https://doi.org/10.1016/j.jcta.2021.105487 . url: https://www.science direct.com/science/article/pii/S0097316521000868. Department of Mathematics, University of Michigan, 530 Church ...

    work page doi:10.1016/j.jcta.2021.105487 2021