Pith. sign in

REVIEW 3 major objections 5 minor 15 references

Psyquandle Brackets

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Psyquandle brackets split pseudoknots with equal color counts

desk verdict Plausible new invariant family for singular knots and pseudoknots, but the main invariance proof has a gap at the pIII′ move and the state-sum definition omits the writhe correction. read the letter →

arxiv 2508.13331 v1 pith:2IRKUMTZ submitted 2025-08-18 math.GT math.QA

Sam Nelson , Natsumi Oyamaguchi This is my paper · ORCID
classification math.GTmath.QA MSC 57K12
keywords psyquandlebracketsquantumenhancementscountinginvariantssingularknotspseudoknotsbiquandletracediagramsstate-sum
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

A psyquandle is an algebraic structure for coloring the semiarcs of singular knots and pseudoknots, with two pairs of binary operations that record how strands interact at rigid vertices and unknown crossings. The paper defines a psyquandle bracket: four coefficient maps whose values weight the smoothings of an X-colored diagram, producing a state-sum number per coloring and a multiset over all colorings. Proposition 1 asserts this multiset is an invariant of singular isotopy, and of pseudoknots when the psyquandle and bracket are pI-adequate. The paper shows the enhancement is proper by distinguishing the pseudoknots 3_1.3 and 3_1.2, which have the same counting invariant, and lists values for small pseudoknots and spatial 2-bouquet graphs. Its own assessment is that these are toy examples, with the real power reserved for larger psyquandles and infinite coefficient rings.

What carries the argument

The central object is the psyquandle bracket, a quadruple of maps $A,B,P,S:X\times X\to R$ with $A,B$ unit-valued, obeying axioms (0)-(v) that mirror the singular and pseudo Reidemeister moves. Its constants $\delta$ and $w$ are the circle value and writhe correction in the trace-diagram state sum. The argument's mechanism is coefficient comparison: after all crossings are smoothed and the traces deleted, each Reidemeister move becomes one of the bracket axioms, so the state-sum value for each coloring is preserved. The pI-adequate condition, $\delta P_{x,x}+S_{x,x}=1$ together with the requirement that the two bullet operations agree on the diagonal, supplies the identity required for the pseudoknot move that restores unknown crossing information.

What would settle it

Take a small psyquandle, such as the three-element example from the paper, choose any coefficient tables satisfying the listed bracket axioms, and compute the state-sum value for a single coloring before and after applying a pIII' move to a diagram; if the two values differ, Proposition 1 is false. A quicker check is to test the asserted pIII' implies pIII'' equivalence directly on the operation tables, since the proof does not carry it out.

Watch

Extended reading notes

Core claim

Proposition 1 is the load-bearing claim: for a psyquandle $X$ and a psyquandle bracket $\beta$ valued in a commutative unital ring $R$, the multiset $\Phi_X^\beta(L)$ is unchanged under singular isotopy, and under pseudoknot moves whenever $X$ and $\beta$ are pI-adequate. The value for a single coloring is a state sum over all Kauffman states of the diagram; each smoothing contributes a coefficient from the tables $A,B,P,S$, each closed component contributes a factor $\delta=-A_{x,y}B_{x,y}^{-1}-A_{x,y}^{-1}B_{x,y}$, and the result is corrected by $w^{n-p}$ with $w=-A_{x,x}^2B_{x,x}^{-1}$. The bracket axioms are precisely the coefficient identities that make these state sums invariant under colored Reidemeister moves, checked by deleting traces after smoothing. The paper reports a concrete computation in which the value for the pseudoknot 3_1.3 is the multiset $2u^7$ while for 3_1.2 it is $2u^4$, even though both pseudoknots have two $X$-colorings, establishing that the enhancement is proper.

Load-bearing premise

The proof for pseudoknots assumes that a particular triple-crossing Reidemeister move with negative crossings, pIII', can be replaced by a visibly equivalent move pIII''; the paper only sketches the equivalence, so the invariance argument would break if that replacement is not valid for some psyquandle.

Editorial extensions

If this is right

  • Every finite psyquandle and commutative unital ring that admits bracket coefficient tables produces a new invariant, so the construction is an infinite family rather than a single polynomial.
  • For pI-adequate data the invariant survives the pseudoknot move that erases crossing information, so it applies to pseudoknots and not just singular knots.
  • The invariant determines the psyquandle counting invariant by taking the size of the multiset, and the worked examples show it can distinguish pseudoknots that the counting invariant cannot.
  • The tables in the paper give a catalogue of small pseudoknots and spatial 2-bouquet graphs separated by the new invariant, including computations over $\mathbb{Z}_5$, $\mathbb{Z}_6$, and $\mathbb{Z}_9$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the pIII'/pIII'' equivalence is given a complete proof, the same state-sum scheme would be robust under arbitrary orientation choices; a direct test is to compare values on a pair of diagrams related by that move when the equivalence diagram is not available.
  • The bracket axioms resemble a presentation of a skein module for psyquandle-colored diagrams, which suggests looking for a categorification whose graded Euler characteristic is $\Phi_X^\beta$, in the spirit of existing bracket quivers.
  • Because the invariants are defined over any commutative ring, one could assemble the values over finite rings into a single invariant by mapping all coefficients into a common ring, allowing comparisons across the examples in the paper.
  • The tabulated effectiveness on small pseudoknots is a natural starting point for a systematic scan of larger psyquandles, which is the regime the authors explicitly flag as the likely source of real strength.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper extends biquandle brackets to psyquandles, defining a four-map skein-type state sum (A,B,P,S) for singular knots and pseudoknots. The proposed invariant Φβ_X(L) is the multiset, over all psyquandle colorings, of state-sum values obtained by summing over Kauffman states with coefficients dictated by the bracket axioms. The main result, Proposition 1, asserts invariance under singular isotopy and, in the pI-adequate case, under pseudoknot moves. The paper then gives several finite psyquandle examples over small rings, including a proper-enhancement example in which 3_1.3 and 3_1.2 have equal psyquandle counting invariants but different psyquandle bracket invariants, and it tabulates values for pseudoknots and 2-bouquet graphs.

Significance. If the invariance proof can be completed, the paper introduces a genuinely new infinite family of quantum enhancements, combining the state-sum idea of biquandle brackets with the psyquandle framework for singular knots and pseudoknots. The proper-enhancement example in Example 6 is a concrete positive result, and the displayed arithmetic checks out. The authors are appropriately modest about the toy nature of the examples and identify computational scalability as the main obstacle. However, the central invariance proof is only sketched: it depends on an unproved equivalence between two Reidemeister-III variants and on coefficient comparisons that are asserted rather than shown. The omission of a writhe correction from Definition 4 also creates a gap between the defined state sum and the invariance claim. These issues are load-bearing but appear repairable, so the contribution is promising rather than fully established.

major comments (3)
  1. [Section 3, Definition 4 and Example 6] Definition 4 defines the psyquandle bracket value as the state sum over Kauffman states with no writhe correction, but Example 6 multiplies by a writhe correction factor w^{n-p} without defining n or p. Invariance under the pI Reidemeister move requires such a normalization when w ≠ 1, since a positive kink changes the number of crossings and hence the state-sum value by a factor of w. As written, the definition and the invariance claim in Proposition 1 are inconsistent for brackets with w ≠ 1. Please add the writhe correction to Definition 4, define n and p, or state and prove a version of the invariant that does not need this normalization.
  2. [Section 3, proof of Proposition 1, pIII′ move] The proof of Proposition 1 does not verify invariance under the pIII′ move directly. It asserts that pIII′ is equivalent to pIII′′, with only the remark that 'the converse is similar,' and then checks pIII′′. This is load-bearing because pIII′ is one of the moves in the singular-isotopy and pseudoknot equivalence relations. Please provide a complete argument for the equivalence, including a verification that all intermediate diagrams are related by moves whose bracket invariance has already been established, or alternatively verify the pIII′ coefficient comparison directly.
  3. [Section 3, proof of Proposition 1, coefficient comparisons] For each Reidemeister move, the proof says that 'comparing coefficients after deleting traces and biquandle colors yields the axiom,' but none of the state-by-state coefficient comparisons are actually displayed. Since the bracket axioms in Definition 3 are long and the entire invariance claim rests on these cancellations, the reader cannot check that the axioms are sufficient. Please display at least one complete comparison (for example, for pIII) and explicitly identify which of the equations (iii), (iv), or (v) is used for each move.
minor comments (5)
  1. [Section 2, paragraph after Definition 2] The sentence 'as shown in [10], the singular Reidemeister moves ... do not change the number of psyquandle colorings' appears to cite the wrong reference; the psyquandle coloring invariance is from the psyquandle paper [12], not from the biquandle bracket paper [10].
  2. [Example 4] There is a typo: 'pseduoknot' should be 'pseudoknot'.
  3. [Example 6, displayed computation] The line ending '= 2 + 5 + 8 + 8 + 8 + 8 + 2 + 2 = 11−4 = 7' is confusing; the sum of the displayed terms is 43, which is congruent to 7 modulo 9, but the intermediate '11−4' is unexplained. Please rewrite the congruence chain clearly.
  4. [Throughout] The notation 'pI-adequate' and 'PI-adequate' is used inconsistently; the same term is used both for a condition on psyquandles (x•x = x•x) and for the bracket condition δP_{x,x}+S_{x,x}=1. Please use distinct terms or explicitly state which condition is meant in Proposition 1.
  5. [Examples 5, 7, 8] The coefficient tables are said to be found by a Python search, but no code or verification script is included, so the reader cannot independently confirm that the displayed tables satisfy all bracket axioms. Including the code or a brief verification method would improve reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the bracket axioms are explicit algebraic sufficient conditions, and the properness example is checked against the independent counting invariant.

full rationale

The derivation is self-contained. Definition 3 imposes explicit algebraic identities on A, B, P, and S before the state sum is introduced; Proposition 1 then verifies that these identities are precisely the coefficient comparisons obtained by matching Kauffman states across X-colored Reidemeister, singular, and precrossing moves. This is a constructive sufficiency argument rather than a circular one: the axioms are not defined in terms of the invariant's output, and no parameter is fitted to the quantity being predicted. The properness demonstration in Example 6 compares the new invariant with the separately defined psyquandle counting invariant, exhibiting Phi^beta_X(3_1.3) = 2u7 different from Phi^beta_X(3_1.2) = 2u4 even though both pseudoknots have two colorings, so the enhancement has independent content. The citations to [10,11] for the classical biquandle-bracket move checks are prior work by overlapping authors, but those checks are not the novel load-bearing step and are independently established in the cited papers; the new singular and precrossing move comparisons are asserted in the present text. The proof's abbreviated coefficient comparisons and the stated pIII' to pIII'' equivalence are presentation or completeness gaps, not question-begging reductions, so they do not constitute circularity.

Assumptions & free parameters 4 free parameters · 4 assumptions · 1 invented entities

The central construction rests on the psyquandle axioms from prior work, a new set of bracket axioms imposed for invariance, and the pI-adequate condition for pseudoknots. The bracket coefficient tables in each example are free parameters found by computer search, with no general construction given. The pIII′/pIII′′ equivalence is a load-bearing assumption stated without full proof. No new physical entities are introduced, and the invented algebraic structure has concrete verifiable instances.

free parameters (4)
  • Coefficient tables A,B,P,S for Example 5 = Tables over Z5 for the 3-element psyquandle
    Found by computer search; not derived from a general construction.
  • Coefficient tables A,B,P,S for Example 6 = Tables over Z9 for the 2-element pI-adequate psyquandle
    Found by computer search; used to demonstrate proper enhancement.
  • Coefficient tables A,B,P,S for Example 7 = Tables over Z6 for a 3-element psyquandle
    Found by computer search; no construction principle given.
  • Coefficient tables A,B,P,S for Example 8 = Tables over Z5 for a 3-element psyquandle
    Found by computer search; used to compute 2-bouquet graph invariants.
assumptions (4)
  • domain assumption Psyquandle axioms (Definition 1)
    The algebraic structure is taken from prior work [12]; the paper assumes these axioms define the colorings used for singular knots and pseudoknots.
  • ad hoc to paper Bracket axioms (Definition 3)
    These conditions are imposed to make the state sum invariant under the relevant moves; they are not derived from a more fundamental principle.
  • ad hoc to paper pI-adequate condition
    Required for invariance under pseudoknot Reidemeister moves; only one example uses this condition.
  • ad hoc to paper Equivalence of pIII′ and pIII′′ moves
    Assumed to avoid inverse operations in the axioms; argued by diagram but not proven in full.
invented entities (1)
  • Psyquandle bracket (A,B,P,S) independent evidence
    purpose: Define a skein-theoretic state sum on psyquandle-colored singular knots and pseudoknots.
    The paper provides concrete examples of such brackets on finite psyquandles over finite rings, which can be independently verified by checking the tables against the axioms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Psyquandle Brackets." pith.science (2026). https://pith.science/paper/2IRKUMTZ

@misc{pith2026250813331,
  author       = {Pith},
  title        = {Pith review of: Psyquandle Brackets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2IRKUMTZ}},
  note         = {Machine review of arXiv:2508.13331}
}
read the original abstract

We extend the notion of biquandle brackets to the case of psyquandles, defining quantum enhancements of the psyquandle counting invariant for singular knots and pseudoknots. We provide examples to illustrate the computation of these invariants, establishing that the enhancement is proper. We compute a few toy examples, noting that the true power of this infinite family of invariants lies in more computationally expensive larger-cardinality psyquandles and infinite coefficient rings.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages

  1. [1]

    Quantum Enhancements via Tribracket Brackets

    L. Aggarwal, S. Nelson, and P. Rivera. Quantum enhancements via tribracket brackets. arXiv:1907.03011, 2019

    work page Pith review arXiv 1907

  2. [2]

    J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, and M. Saito. Quandle cohomology and state-sum invariants of knotted curves and surfaces. Trans. Amer. Math. Soc., 355(10):3947–3989, 2003

    2003

  3. [3]

    Psyquandle Coloring Quivers

    J. Ceniceros, A. Christiana, and S. Nelson. Psyquandle coloring quivers. arXiv:2107.05668, 2021

    work page Pith review arXiv 2021

  4. [4]

    Ceniceros and S

    J. Ceniceros and S. Nelson. Cocycle enhancements of psyquandle counting invariants. Internat. J. Math., 32(5):Paper No. 2150023, 14, 2021

    work page 2021

  5. [5]

    Cho and S

    K. Cho and S. Nelson. Quandle coloring quivers. J. Knot Theory Ramifications , 28(1):1950001, 12, 2019

    work page 2019

  6. [6]

    P. C. Falkenburg and S. Nelson. Biquandle bracket quivers. J. Knot Theory Ramifications (to appear)

    work page

  7. [7]

    G¨ ug¨ umc¨ u, S

    N. G¨ ug¨ umc¨ u, S. Nelson, and N. Oyamaguchi. Biquandle brackets and knotoids. J. Knot Theory Ramifications, 30(9):Paper No. 2150064, 17, 2021

    work page 2021

  8. [8]

    Hoffer, A

    W. Hoffer, A. Vengal, and V. Winstein. The structure of biquandle brackets. J. Knot Theory Ramifi- cations, 29(6):2050042, 13, 2020

    work page 2020

Show all 15 references
  1. [9]

    D. P. Ilyutko and V. O. Manturov. Picture-valued parity-biquandle bracket. J. Knot Theory Ramifica- tions, 29(2):2040004, 22, 2020

    2020

  2. [10]

    Nelson, M

    S. Nelson, M. E. Orrison, and V. Rivera. Quantum enhancements and biquandle brackets. J. Knot Theory Ramifications, 26(5):1750034, 24, 2017

    2017

  3. [11]

    Nelson and N

    S. Nelson and N. Oyamaguchi. Trace diagrams and biquandle brackets. Internat. J. Math. , 28(14):1750104, 24, 2017

    2017

  4. [12]

    Nelson, N

    S. Nelson, N. Oyamaguchi, and R. Sazdanovic. Psyquandles, singular knots and pseudoknots. Tokyo J. Math., 42(2):405–429, 2019

    2019

  5. [13]

    Nelson and V

    S. Nelson and V. Rivera. Quantum enhancements of involutory birack counting invariants. J. Knot Theory Ramifications, 23(7):1460006, 15, 2014

    2014

  6. [14]

    Oyamaguchi

    N. Oyamaguchi. Enumeration of spatial 2-bouquet graphs up to flat vertex isotopy. Topology Appl., 196(part B):805–814, 2015

    2015

  7. [15]

    Vengal and V

    A. Vengal and V. Winstein. Categorifying biquandle brackets. J. Knot Theory Ramifications, 31(7):Pa- per No. 2250052, 24, 2022. 13 Department of Mathematical Sciences Claremont McKenna College 850 Columbia A ve. Claremont, CA 91711 USA 1-3 Kagurazaka Shinjuku-ku, Tokyo 162-860...

    2022

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.