Pith. sign in

REVIEW 4 major objections 6 minor 3 cited by

On biquandle-based invariant of immersed surface-links, Yoshikawa oriented fifth move, and ribbon 2-knots

T0 review · 4 major / 6 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 The paper proves that Yoshikawa's oriented fifth move cannot be replaced by any combination of the other nine local moves, and uses a marker-to-crossing semi-invariant plus biquandle colorings to build new invariants for immersed…

desk verdict A paper with three real results, but the headline proof of Gamma5 independence leans on two unshown figure-based checks; worth refereeing if the referee can do those checks. read the letter →

arxiv 2505.14724 v3 pith:HQMFSQRW submitted 2025-05-19 math.GT

Michal Jablonowski This is my paper · ORCID
classification math.GT MSC 57K4557Q3557R4257K12
keywords biquandleinvariantimmersedsurface-linksYoshikawamovesmarkedgraphdiagramsribbon2-knotsknotquandlescoregroup
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

This paper resolves an open problem in the diagrammatic calculus of surface-links by proving that the oriented Yoshikawa move $\Gamma_5$ cannot be realized by any finite sequence of the other nine moves and planar isotopy. The proof constructs a semi-invariant $L^{*}$ that converts marker decorations into crossings and is unchanged by every move except $\Gamma_5$; two equivalent surface-link diagrams then take different values of $L^{*}$, so no sequence of the other moves can simulate the fifth. The paper also extends the calculus to immersed, possibly self-intersecting surface-links by adding singular vertices and a set of twelve local moves, and defines a biquandle coloring invariant $\#\operatorname{Col}_X(L)$ for them. Finally, it shows that infinitely many ribbon 2-knots have isomorphic exterior groups but non-isomorphic knot quandles. A sympathetic reader would care because the result pins down a minimal generating set for a standard move calculus and provides algebraic invariants that distinguish objects invisible to the knot group.

What carries the argument

The load-bearing objects are four. First, the semi-invariant $L^{*}$, defined by replacing marker decorations with crossings as in Figure 3; it is invariant under all nine non-$\Gamma_5$ Yoshikawa moves, so any difference in $L^{*}$ between equivalent diagrams witnesses that $\Gamma_5$ is essential. Second, the singular marked graph diagram, a planar 4-valent graph whose vertices are decorated as crossings, markers, or singular points, with the twelve move types shown in Figures 1--2 and 9--11 that relate diagrams of equivalent immersed surface-links. Third, the biquandle coloring rule, which assigns to each semi-arc an element of a biquandle $X$ so that Figure 12 holds at every crossing, marker, and singular point; the biquandle axioms are exactly the condition that a coloring on one side of each move extends uniquely to the other, making $\#\operatorname{Col}_X(L)$ an invariant. Fourth, the core group of the fundamental quandle, whose abelianization and lower-central-series quotients separate the ribbon 2-knots $R_k$ even though their associated groups coincide.

What would settle it

Exhibit an explicit finite sequence of the other nine Yoshikawa moves taking the diagram $D_1$ of Figure 4 to $D_2$, or show by direct classical-link computation that the two resolutions $L^{*}(D_1)$ and $L^{*}(D_2)$ are ambient isotopic despite the claimed knot types; either would refute Theorem 2.1.

Watch

Extended reading notes

Core claim

Theorem 2.1 states that the Yoshikawa move $\Gamma_5$ cannot be realized by a finite sequence of Yoshikawa moves of the other nine types from the set $G$, together with planar isotopy. The proof defines a semi-invariant $L^{*}$ by changing each oriented marker in an admissible marked graph diagram into a crossing as in Figure 3; $L^{*}$ is unchanged by every move in $G\setminus\{\Gamma_5\}$. The two admissible diagrams $D_1$ and $D_2$ in Figure 4 present equivalent surface-links, yet $L^{*}(D_1)$ is the $6_1$ knot, with Alexander polynomial $2-5t+2t^2$, while $L^{*}(D_2)$ is the trivial link. Since a sequence of the other moves would have to preserve $L^{*}$, the different values contradict the possibility of realizing $\Gamma_5$. The paper further develops singular marked graph diagrams for immersed surface-links, proves that diagrams of equivalent surfaces are related by twelve local moves, and shows that counting biquandle colorings of semi-arcs, with the labeling rules of Figure 12 at crossings, markers, and singular points, gives an invariant of oriented immersed surface-links. For ribbon 2-knots, Theorem 5.1 gives infinitely many pairs with isomorphic fundamental groups but non-isomorphic fundamental quandles, distinguished through the core group of the quandle.

Load-bearing premise

The independence proof rests on two figure-based assertions: that the two diagrams $D_1$ and $D_2$ in Figure 4 really present equivalent surface-links, and that the marker-to-crossing rule $L^{*}$ is truly unchanged by all nine other moves; if either assertion fails, the proof that $\Gamma_5$ is essential collapses.

Editorial extensions

If this is right

  • The oriented Yoshikawa move calculus is shown to genuinely require $\Gamma_5$: no finite combination of the other nine moves and planar isotopies can reproduce it, so $\Gamma_5$ is an essential generator of the move set.
  • The semi-invariant $L^{*}$ provides a computable obstruction: two marked graph diagrams with different $L^{*}$ values cannot be connected by the nine other moves alone, and any connecting sequence must pass through a $\Gamma_5$ move.
  • Immersed surface-links now have a biquandle coloring invariant computable directly from singular marked graph diagrams, adding an algebraic tool for distinguishing self-intersecting surfaces in four-space.
  • Within the ribbon 2-knot family, the fundamental quandle is strictly finer than the exterior group: there are infinitely many pairs sharing a group yet differing as quandles.

Reading between the lines

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

  • One could test whether $L^{*}$ extends to a full invariant by replacing the classical-link type with a polynomial invariant of the resolved link, which might detect more subtle failures of the other moves.
  • The biquandle coloring invariant for immersed surface-links likely specialises to the usual biquandle coloring invariant when singular points are absent, and could be upgraded to a state-sum invariant using biquandle cocycles.
  • The core-group separation argument suggests a general recipe: for families of 2-knots whose quandles have core groups with matching lower-central-series quotients except for a mod-3 invariant, the same argument will produce group-indistinguishable, quandle-distinguishable pairs.
  • Applying $L^{*}$ to the ribbon 2-knot family might give a more elementary proof that certain diagrams are not reachable by the nine non-$\Gamma_5$ moves, independent of the core-group machinery.
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

4 major / 6 minor

Summary. This paper addresses three problems in surface-link theory. First, in Section 2 it purports to prove (Theorem 2.1) that the oriented Yoshikawa move Γ5 is independent of the other nine moves, by defining a classical-link-valued semi-invariant L* obtained by replacing markers by crossings, then exhibiting two diagrams D1, D2 of equivalent surface-links for which L* differs. Second, Sections 3–4 develop a biquandle coloring invariant for immersed surface-links via singular marked graph diagrams and a set of twelve moves, including an example with a three-element biquandle. Third, Section 5 claims (Theorem 5.1) that there are infinitely many pairs of ribbon 2-knots with isomorphic exterior groups but non-isomorphic fundamental quandles, using Suciu's family R_k and lower-central-series computations of core groups of their quandles.

Significance. If the results are correct, Theorem 2.1 resolves a documented open problem on the minimality of Yoshikawa's generating set, and the biquandle invariant would extend the standard surface-link toolkit to immersed surfaces. The paper also offers a concrete family for a question raised by recent work of Tanaka and Taniguchi, where previously one member of each pair was non-ribbon. The explicit computations—the claimed identification of L*(D1) with the 6_1 knot, the coloring count #Col_XT(DT)=5, and the core group presentations—are concrete and falsifiable, and the paper cites independent sources for the move set. However, because several of these computations are asserted rather than demonstrated, the significance is conditional on completing those verifications.

major comments (4)
  1. [Section 2, proof of Theorem 2.1] The claim that L* is unchanged by every move in G \ {Γ5} is asserted with "straightforward to see" but no verification is provided. After replacing markers by crossings, the local moves Γ4, Γ4' , Γ7, and Γ8 do not obviously become Reidemeister moves; for instance, a marker adjacent to a crossing becomes two crossings on adjacent strands, and marker-marker interactions are not addressed. Since the contradiction in the proof depends on L* being a semi-invariant for all these moves, a case-by-case check, or a structural reason why the replacement commutes with each move, must be supplied.
  2. [Section 2, Figure 4] The assertion that D1 and D2 represent equivalent surface-links is unsupported: no sequence of Yoshikawa moves from G connecting them is displayed, and their admissibility (both resolutions trivial) is not checked. If they are not equivalent, the difference L*(D1) ≠ L*(D2) does not imply that Γ5 is indispensable. The explicit move sequence and admissibility verification should be provided.
  3. [Section 4, Proposition 4.4] For the new moves Γ9–Γ12 the proof states "We checked, by standard hand calculations" without displaying the computations. These moves are not classical Reidemeister moves, and the coloring consistency at singular points is nontrivial; the claimed existence and uniqueness of colorings is load-bearing for Corollary 4.5. The hand calculations should be included in an appendix or supplementary file, or at least the relevant diagrams with labels should be shown.
  4. [Section 5, proof of Theorem 5.1] The group-theoretic argument contains a gap. From γ3(Ak)/γ4(Ak) = ⟨y | y^3 = 1, y^{2k+1} = 1⟩, the exponent of that quotient is 3/gcd(3, 2k+1), which depends only on k modulo 3. Under the standing assumption n ≡ m (mod 3), this quotient is automatically isomorphic, so it cannot "force n ≡ m (mod 9)" as claimed. The subsequent appeal to base-3 expansions and the unspecified quotients γ5, γ6, ... needs to be replaced by an explicit statement of which finite quotient, or which group invariant, distinguishes A_n from A_m for arbitrary n ≠ m. Without this, Theorem 5.1 is not established.
minor comments (6)
  1. [Section 3, Theorem 3.1] The notation "Γ1, . . . , Γ12d" appears to be a typo for "Γ1, . . . , Γ12", and the list of moves in Figures 9–11 uses Γ9, Γ9', Γ10, Γ11a–d, and Γ12a–d, so the indexing in the theorem statement should be harmonized with the figures.
  2. [Section 4, Definition 4.1] The two binary operations of the biquandle are typeset with the same symbol in the exchange laws (1)–(3), making the equations impossible to parse; distinct symbols should be used for the two operations.
  3. [Section 2, Figure 3] The definition of L* says "as shown in Figure 3 respectively" but the text does not explain how each oriented marker decoration is replaced by a crossing; the replacement rule for positive and negative markers should be stated explicitly.
  4. [Section 2] The sentence "we construct two pairs of admissible diagrams D1, D2" should refer to a single pair of diagrams; as written it is grammatically inaccurate.
  5. [Section 5] The phrase "associated group of the knot quandle is group isomorphic to the knot group" should read "is isomorphic as a group to the knot group", and "π2 as Zπ1 modules" should be "π2 as Zπ1-modules".
  6. [Section 5, discussion of cocycle invariants] The statement that the quandle cocycle invariant is of no use because each ribbon 2-knot has a projection without triple points is not by itself a valid justification; a cocycle invariant may still be computed from diagrams without triple points, so the reason for not using it should be explained more carefully or removed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the paper's invariants are defined from diagrams and external move calculi, with no fitted parameter or self-referential reduction.

full rationale

The central independence claim (Theorem 2.1) uses a semi-invariant L* defined by replacing markers with crossings and two explicit admissible diagrams. The invariance of L* under G\{Γ5} is asserted as 'straightforward to see' and the equivalence of D1 and D2 is asserted via Figure 4. These are unexpanded checks, not reductions: neither assertion is obtained by defining L* in terms of the target result, nor by fitting a parameter to the desired conclusion. The underlying Yoshikawa move calculus is cited to the external source [Yos94], and the prior independence results [JKL13, JKL15] are cited only to identify the open problem; they are not used to force the conclusion. The biquandle coloring invariant in Section 4 is constructed so that the algebraic axioms match the move set; that is the standard definition of an algebraic invariant, and the paper verifies (or cites) the extension property and computes an explicit example. No 'prediction' is statistically forced by a fit. Section 5 uses Suciu's independently constructed infinite family and derives explicit quandle and core-group presentations; the proof of non-isomorphism is algebraic, not a renaming of the input family. The only self-citation is [Jab23] in Theorem 3.1, where it is paired with the independent [HKM25] and is not load-bearing for the main theorem. Proof gaps exist (e.g., the unshown verifications in the proof of Theorem 2.1), but lack of displayed verification is not circularity. No circular step satisfies the requirement of an exhibited equation-level reduction.

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

No parameters are fitted to data and no new mathematical entities are postulated. The results import standard move sets and algebraic invariants from the cited literature; the only fragile imports are the asserted hand computations and the reference to Figure 4.

assumptions (6)
  • domain assumption The ten oriented Yoshikawa moves G = {Gamma1,...,Gamma8,Gamma4',Gamma6'} generate the equivalence of marked graph diagrams of oriented surface-links up to planar isotopy.
    Invoked in Section 2 as the framework for Theorem 2.1, citing [Yos94] and [JKL15].
  • domain assumption The twelve moves Gamma1 through Gamma12d relate singular marked diagrams of equivalent oriented immersed surface-links.
    Theorem 3.1 quotes [HKM25, Jab23]; Proposition 4.4 and Corollary 4.5 depend on this move set.
  • standard math Biquandle axioms are exactly what make colorings extend across all Gamma moves.
    Standard biquandle theory from [KR03], [CES04], and [KKKL18]; the paper's check for the additional singular moves is the load-bearing content.
  • domain assumption Suciu's family R_k consists of mutually non-ambient-isotopic ribbon 2-knots, all with group the trefoil group.
    Section 5 uses [Suc85] and [Rup22] for the existence and diagram of R_k.
  • ad hoc to paper The computed presentation and lower-central-series quotients for Core(Q(R_k)) are correct.
    Section 5 says 'standard Hall commutator calculus, one verifies' without displaying the calculation; the theorem's conclusion rests on it.
  • standard math Core(Q) is an invariant of a quandle: isomorphic quandles have isomorphic core groups.
    Used in Section 5 to distinguish quandles via their core groups.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On biquandle-based invariant of immersed surface-links, Yoshikawa oriented fifth move, and ribbon 2-knots." pith.science (2026). https://pith.science/paper/HQMFSQRW

@misc{pith2026250514724,
  author       = {Pith},
  title        = {Pith review of: On biquandle-based invariant of immersed surface-links, Yoshikawa oriented fifth move, and ribbon 2-knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HQMFSQRW}},
  note         = {Machine review of arXiv:2505.14724}
}
abstract

We resolve an open problem by showing that the Yoshikawa's fifth oriented move in his list cannot be reproduced by any finite sequence of the other nine moves and planar isotopies. Our proof introduces a link-type semi-invariant that remains unchanged under all moves except the fifth, highlighting its necessity in generating the full move set. Second, we extend the algebraic toolkit for immersed surface-links. After revisiting the banded-unlink description of immersed surfaces and the twelve local moves that relate their diagrams, we develop a biquandle-based coloring theory. By assigning elements of a biquandle to diagram arcs according to local rules, we obtain a counting invariant of immersed surfaces up to isotopy. Third, we show that there are infinitely many pairs of ribbon $2$-knots with isomorphic groups but different knot quandles.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

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

  2. Biquandle cocycle condition for invariants of immersed surface-links in the four-space

    math.GT 2025-07 conditional novelty 6.0 of 10

    A state-sum invariant for immersed surface-links is defined using singular biquandle 3-cocycles and proven invariant under all generating moves including the singular move (h).

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

Reference graph

Works this paper leans on

21 extracted references · 16 canonical work pages · cited by 3 Pith papers

  1. [1]

    Ashihara, Calculating the fundamental biquandles of surface links from their ch-diagrams, J

    S. Ashihara, Calculating the fundamental biquandles of surface links from their ch-diagrams, J. Knot Theory Ramifications 21 (2012), 1250102

    work page 2012

  2. [2]

    Ashihara, Fundamental biquandles of ribbon 2 -knots and ribbon torus-knots with isomorphic fundamental quandles, Journal of Knot Theory and Its Ramifications 23, no

    S. Ashihara, Fundamental biquandles of ribbon 2 -knots and ribbon torus-knots with isomorphic fundamental quandles, Journal of Knot Theory and Its Ramifications 23, no. 01 (2014), 1450001

    work page 2014

  3. [3]

    Carter, M

    J.S. Carter, M. Elhamdadi, and M. Saito, Homology Theory for the Set-Theoretic Yang-Baxter Equation and Knot Invariants from Generalizations of Quandles, Fund. Math. 184 (2004), 31--54

    2004

  4. [4]

    Hughes, S

    M. Hughes, S. Kim, and M. Miller, Band diagrams of immersed surfaces in 4-manifolds, Algebr. Geom. Topol. 25:3 (2025), 1731--1791

    work page 2025

  5. [5]

    Jab onowski, Minimal generating sets of moves for surfaces immersed in the four-space, J

    M. Jab onowski, Minimal generating sets of moves for surfaces immersed in the four-space, J. Knot Theory Ramifications 32 (2023), 2350071

    2023

  6. [6]

    Joung, J

    Y. Joung, J. Kim, and S. Y. Lee, Ideal coset invariants for surface-links in R ^4 , J. Knot Theory Ramifications 22 (2013), 1350052

    work page 2013

  7. [7]

    Joung, J

    Y. Joung, J. Kim, and S.Y. Lee, On generating sets of Yoshikawa moves for marked graph diagrams of surface-links, J. Knot Theory Ramifications 24 (2015), 1550018

    work page 2015

  8. [8]

    Joung and S

    Y. Joung and S. Nelson, Biquandle module invariants of oriented surface-links, Proceedings of the American Mathematical Society 148.7 (2020), 3135--3148

    work page 2020

Show all 21 references
  1. [9]

    Kaestner, S

    A. Kaestner, S. Nelson, and L. Selker, Parity biquandle invariants of virtual knots, Topology and its Applications 209 (2016), 207--219

    2016

  2. [10]

    Kamada, Surface-Knots in 4 -Space, Springer Monographs in Mathematics, Springer (2017)

    S. Kamada, Surface-Knots in 4 -Space, Springer Monographs in Mathematics, Springer (2017)

    2017

  3. [11]

    Kamada, A

    S. Kamada, A. Kawauchi, J. Kim, and S.Y. Lee, Biquandle cohomology and state-sum invariants of links and surface-links. Journal of Knot Theory and Its Ramifications 27(11) (2018), 1843016

    2018

  4. [12]

    Kauffman and D.E

    L.H. Kauffman and D.E. Radford, Bi-oriented quantum algebras, and generalized Alexander polynomial for virtual links, Contemp. Math. 318 (2003), 113--140

    2003

  5. [13]

    Magnus, A

    W. Magnus, A. Karrass, and D. Solitar, Combinatorial Group Theory, 2nd rev. ed., Dover (2004)

    2004

  6. [14]

    Problems on Low-dimensional Topology, 2016 (Intelligence of Low-dimensional Topology)

    T. Ohtsuki, "Problems on Low-dimensional Topology, 2016 (Intelligence of Low-dimensional Topology)." (2016), 115-129

    2016

  7. [15]

    Robinson, A Course in the Theory of Groups, 2nd ed., GTM 80, Springer (1996)

    D.J.S. Robinson, A Course in the Theory of Groups, 2nd ed., GTM 80, Springer (1996)

    1996

  8. [16]

    Ruppik, PhD thesis: Casson-Whitney unknotting, Deep slice knots and Group trisections of knotted surface type, Rheinische Friedrich-Wilhelms-Universitt Bonn (2022)

    B.M. Ruppik, PhD thesis: Casson-Whitney unknotting, Deep slice knots and Group trisections of knotted surface type, Rheinische Friedrich-Wilhelms-Universitt Bonn (2022)

    2022

  9. [17]

    Suciu, Infinitely many ribbon knots with the same fundamental group, Mathematical Proceedings of the Cambridge Philosophical Society 98.3 (1985), 481--492

    A.I. Suciu, Infinitely many ribbon knots with the same fundamental group, Mathematical Proceedings of the Cambridge Philosophical Society 98.3 (1985), 481--492

    1985

  10. [18]

    Tanaka, Inequivalent surface-knots with the same knot quandle, Topology Appl

    K. Tanaka, Inequivalent surface-knots with the same knot quandle, Topology Appl. 154 (2007), 2757--2763

    2007

  11. [19]

    Tanaka and Y

    K. Tanaka and Y. Taniguchi, 2 -knots with the same knot group but different knot quandles, to appear in J. Math. Soc. Japan (2025)

    2025

  12. [20]

    Yajima, On simply knotted spheres in R ^4 , Osaka J

    T. Yajima, On simply knotted spheres in R ^4 , Osaka J. Math. 1(2) (1964), 133--152

    1964

  13. [21]

    Yoshikawa, An enumeration of surfaces in four-space, Osaka J

    K. Yoshikawa, An enumeration of surfaces in four-space, Osaka J. Math. 31 (1994), 497--522

    1994

Pith tools

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