Knot quandles distinguish Suciu's ribbon knots

Jumpei Yasuda

REVIEW 2 major objections 2 minor 2 cited by

Knot quandles distinguish Suciu's ribbon knots

T0 review · 2 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Knot quandles tell apart Suciu's ribbon knots that groups cannot.

desk verdict A short, plausible result that knot quandles separate Suciu's ribbon n-knots; can't audit the proof from the abstract alone. read the letter →

arxiv 2508.15129 v1 pith:XZBGHWM3 submitted 2025-08-20 math.GT

Jumpei Yasuda This is my paper · ORCID

classification math.GT MSC 57K1057Q45

keywords knotquandleribbonn-knotsSuciuknotsisomorphicgroupstypepresentationinvariants

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

The paper studies an infinite family of ribbon n-knots, known as Suciu's ribbon knots, whose knot groups are all isomorphic, so group-level invariants cannot distinguish them. The paper proves that their knot quandles—a finer algebraic invariant built from the knot's crossing structure—are mutually non-isomorphic, thus distinguishing every pair of knots in the family. It also computes the quandle type of each knot, giving an explicit classification. If correct, the knot quandle resolves a family that the knot group leaves invisible.

What carries the argument

The knot quandle: the algebraic structure assigned to a knot whose binary operation records how one arc passes over another, equivalently the fundamental quandle of the knot complement. Its canonical presentation, coming from the ribbon handle decomposition of the knot, is the object the paper uses to compare Suciu's knots and to compute their quandle types.

What would settle it

Take the two smallest Suciu ribbon knots, build their quandles from the paper's presentations, and search for an explicit isomorphism between them; finding one, or detecting a missing relation that collapses the types, would refute the claimed non-isomorphism.

Watch

Extended reading notes

Core claim

The central claim is that the knot quandles of Suciu's ribbon n-knots are pairwise non-isomorphic, even though the underlying knot groups are all isomorphic. The proof is carried out by giving explicit quandle presentations for each knot and showing these presented quandles cannot be isomorphic. As a further step, the paper computes the quandle type of each of these quandles, pinning down their isomorphism classes.

Load-bearing premise

The non-isomorphism result depends on the completeness and correctness of the quandle presentations computed for each Suciu ribbon knot; if any presentation omitted a necessary relation, the computed type would be wrong and two knots' quandles could turn out to be isomorphic.

Editorial extensions

If this is right

The knot quandle distinguishes every pair of Suciu's ribbon n-knots, making it strictly finer than the knot group for this entire infinite family.
The computed quandle types provide an explicit, checkable classification of the quandles, beyond mere non-isomorphism.
The success of type computation for all members of the family suggests that quandle type can serve as a practical discriminating invariant for other families with isomorphic knot groups.
The explicit quandle presentations make the family amenable to further quandle-based invariants, such as quandle homology or coloring counts.

Reading between the lines

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

If this holds, the type-computation method could be applied to other ribbon knot families with computable handle decompositions, separating knots that the knot group cannot.
The non-isomorphism of quandles despite isomorphic groups shows the quandle operation carries topological information not captured by the fundamental group; a natural next test is whether quandle cocycle invariants also separate Suciu's knots.
The computed quandle types likely translate into elementary coloring-number signatures, offering a finitely checkable way to tell the knots apart.
One could ask whether the same separation persists for the associated quandle homology groups, a question the paper does not address.

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.

Desk Editor's Note

read the letter

Quick take: this is a short note proving that knot quandles distinguish Suciu's ribbon n-knots, a family with isomorphic knot groups. If correct, it gives a clean infinite family where quandles are strictly finer than groups. The result is new as stated, and the abstract is honest about what it does: prove non-isomorphism and compute quandle types.

What's good: the target is concrete. Suciu's family is known for having isomorphic groups but different higher invariants; showing the quandle separates them is a natural and useful contribution. The type computation is a standard technique, and if the presentations are correct, the conclusion follows. The paper is appropriately scoped, with no overclaiming beyond what the abstract states.

Soft spots: I only have the abstract. The proof is not auditable from what's in front of me. The main risk is that the quandle presentations are incomplete—a missing relation would change the type and could make the non-isomorphism claim false. That's not an observed flaw, just an unverifiable condition. Also, 'types' of quandles is a specific invariant; without seeing which one, I can't judge whether the separation is robust or a quirk of the chosen type.

The citation pattern looks normal: the abstract names Suciu's family, presumably citing Suciu. No red flags.

Bottom line: this is a plausible, well-scoped note. It deserves a serious referee if the full text is as clean as the abstract. I'd accept it for review; the main thing a referee should check is whether the quandle presentations are complete and whether the type invariant is well-defined for these infinite quandles. It's not a major reorganization of knot theory, but it's a solid incremental result.

For us: read if we're working on quandle invariants or ribbon knots; otherwise skim. I wouldn't cite it in my own work unless I needed the explicit family.

Referee Report

2 major / 2 minor

Summary. The paper, as represented by the abstract, claims that Suciu's ribbon n-knots—an infinite family of n-knots whose knot groups are all isomorphic—are distinguished pairwise by their knot quandles. The abstract further states that the types of these quandles are computed. The knot quandle is an invariant, and the result would give a concrete family where quandle invariants are strictly finer than group invariants.

Significance. If the proof is correct, this is a meaningful contribution to the study of knot quandles and n-knot invariants. The family of Suciu's ribbon n-knots is a natural test case because the knot groups coincide, so establishing non-isomorphism of the quandles directly demonstrates that the quandle carries more information than the group. The computation of quandle types also adds a concrete invariant. However, because the submission provides only the abstract and no proof or presentation data, the significance is conditional on the missing technical content. The claim is plausible and the proposed method—computing quandle presentations from ribbon handle decompositions—is appropriate, but the result is not auditable from the provided material.

major comments (2)

[Abstract] The central theorem, pairwise non-isomorphism of the knot quandles, is stated with no supporting argument. The claim depends on explicit quandle presentations for each Suciu knot and on the correctness of the subsequent type computations. A missing relation in a presentation, or an error in the type invariant, would invalidate the theorem. As the submission currently stands (abstract only), there is no way to verify any of these load-bearing steps.
[Abstract] The term 'types of these quandles' is used without definition or reference. Since the type computation is part of the claimed contribution, the meaning of 'type' must be specified or cited; otherwise the reader cannot evaluate what has been computed or why it distinguishes the quandles.

minor comments (2)

[Abstract] The abstract does not specify the dimension n or indicate whether the result holds for a fixed n or uniformly. A sentence clarifying the scope of the family would improve readability.
[Abstract] No reference to Suciu's original construction is given in the abstract. A citation would help orient the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected; abstract-only review shows an independent invariant claim.

full rationale

The abstract claims that the knot quandles of Suciu's ribbon n-knots are mutually non-isomorphic and that their quandle types are computed. The knot quandle is an independently defined invariant of n-knots, not defined in terms of the isomorphism classes being compared. The non-isomorphism claim is presented as a theorem about these invariants, and no equation, fitted parameter, or self-citation is exhibited that would reduce the conclusion to its own inputs. Because only the abstract is available, no derivation chain can be inspected, but the absence of textual evidence for circularity cannot be treated as circularity. There is no quoted step showing that a prediction is equivalent to an input by construction, and no load-bearing self-citation appears. Therefore the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The abstract introduces no free parameters or new entities. The central claim relies on standard quandle theory and Suciu's prior construction. Since the full text is unavailable, the audit is incomplete.

assumptions (3)

standard math The knot quandle is a well-defined invariant of n-knots and is presented by handle-decomposition relations (Wirtinger-type relations).
The proof uses knot quandles as invariants; this is a standard algebraic topology construction but is not proved in the abstract.
domain assumption Suciu's ribbon n-knots form an infinite family with isomorphic knot groups, as constructed in prior work by Suciu.
The family is taken from the literature; the paper relies on the existence and group-isomorphism properties without re-deriving them.
standard math The quandle 'type' invariant is computable and well-defined for the quandles under consideration.
The paper computes types of quandles; the definition of type is standard in quandle theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Knot quandles distinguish Suciu's ribbon knots." pith.science (2026). https://pith.science/paper/XZBGHWM3

@misc{pith2026250815129,
  author       = {Pith},
  title        = {Pith review of: Knot quandles distinguish Suciu's ribbon knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XZBGHWM3}},
  note         = {Machine review of arXiv:2508.15129}
}

abstract

The knot quandle is an invariant of $n$-knots. In this note, we study the knot quandles of Suciu's ribbon $n$-knots, an infinite family of knots with isomorphic knot groups. We prove that their knot quandles are mutually non-isomorphic. Furthermore, we compute types of these quandles.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

Fundamental Quandles Do Not Determine the First Postnikov Invariant of 2-Knots
math.GT 2026-08 accept novelty 7.0 of 10

There are oriented 2-knots with isomorphic fundamental groups, semilinearly isomorphic second homotopy modules, and isomorphic quandles, but inequivalent first Postnikov invariants.
The knot quandles of Suciu's ribbon $n$-knots and automorphisms on the free group of rank two
math.GT 2025-09 accept novelty 5.0 of 10

Suciu's ribbon n-knots are mutually distinguished by knot quandles, reproved by showing their associated free-group automorphisms are non-conjugate.

Pith tools

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