{"id":"41a9be42-f1b5-48fe-8147-0e20d9e2a979","arxiv_id":"2505.14724","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The fifth Yoshikawa move is independent of the other nine, a biquandle coloring invariant is defined for immersed surface-links, and infinitely many ribbon 2-knots share groups but differ in quandles.","lead":"This paper settles a question in four-dimensional knot theory: the fifth Yoshikawa move on surface-link diagrams cannot be reproduced from the other nine moves. It also builds a coloring tool for self-intersecting surfaces in 4-space and shows that many ribbon 2-knots can share the same fundamental group while still being distinguishable.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.1 depends entirely on two figure-based assertions—L* invariance under every non-Γ5 move and equivalence of D1 and D2—neither demonstrated in the text; if either is wrong, the independence proof is invalid.","rationale":"The reader's weakest-assumption analysis and my own reading converge: Theorem 2.1 is the paper's headline claim, and its proof is two assertions supported only by figures. The invariance of L* under all non-Γ5 moves is particularly load-bearing because a single failed case among the marker-crossing moves would destroy the obstruction; the equivalence of D1 and D2 is equally necessary because without it the different L* values are irrelevant. I found no internal contradiction in the written arguments, and the strategy is plausible, but the proof as written does not discharge these checks. The other gaps noted by the reader—the delegated move verifications in Proposition 4.4 and the compressed lower-central-series computation in Theorem 5.1—are additional concerns for the secondary claims, but they are less central than the verification of the headline independence result. Accordingly the verdict should remain conditional pending the figure-based checks; no adjustment is needed.","tokens_in":8893,"tokens_out":19917,"duration_ms":198511,"concrete_test":"Encode the diagrams in Figures 1–3 as planar marked-graph data, implement the marker-to-crossing replacement of Figure 3, and for each of the nine moves in G without Γ5 compare the two resulting classical link diagrams by Reidemeister reduction or a complete knot invariant; run this explicitly for Γ4, Γ4', Γ7, and Γ8. Then encode D1 and D2 from Figure 4, compute L* to confirm the claimed 6_1 versus unknot values, and exhibit a sequence of Γ-moves connecting D1 to D2. If any non-Γ5 move changes L*, or if D1 and D2 are not connected by a surface-link equivalence, the proof of Theorem 2.1 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 2.1 rests on two undischarged claims. First, the semi-invariant L*, obtained by replacing each oriented marker by a crossing as in Figure 3, is asserted to be unchanged by every move in G without Γ5, with only 'straightforward to see' as verification. This is not an obvious functor from marked graph diagrams to classical links: the moves where a marker interacts with a crossing or with another marker (Γ4, Γ4', Γ7, Γ8) are exactly the cases where, after the replacement, the local move need not be a Reidemeister move. If any of these moves changes the ambient isotopy type of the associated classical link, L* is not a semi-invariant and the contradiction in the proof has no force. Second, D1 and D2 are asserted to be diagrams of equivalent surface-links, but no sequence of Yoshikawa moves is displayed; the only evidence is Figure 4. If D1 and D2 are not equivalent, or are not admissible, the difference in L* values proves nothing about Γ5. Both facts are checkable from the figures but are not checked in the text, so Theorem 2.1 is conditional on those figure-based verifications.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":9171,"tokens_out":10666,"duration_ms":93394,"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":[{"comment":"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.","section":"Section 2, proof of Theorem 2.1"},{"comment":"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.","section":"Section 2, Figure 4"},{"comment":"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.","section":"Section 4, Proposition 4.4"},{"comment":"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.","section":"Section 5, proof of Theorem 5.1"}],"minor_comments":[{"comment":"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.","section":"Section 3, Theorem 3.1"},{"comment":"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.","section":"Section 4, Definition 4.1"},{"comment":"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.","section":"Section 2, Figure 3"},{"comment":"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.","section":"Section 2"},{"comment":"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\".","section":"Section 5"},{"comment":"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.","section":"Section 5, discussion of cocycle invariants"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is compact for the amount of claimed content, and much of the verification is delegated to figures and phrases such as \"straightforward to see\" and \"standard hand calculations\". The Section 5 proof has a concrete gap in the mod 9 step that should be fixed before the paper can be accepted. If the author can supply the missing verifications and repair the group-theoretic argument, the results would be valuable; in its current form the paper is not independently checkable from the text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The paper claims three results: Gamma5 independence, a biquandle coloring invariant for immersed surface-links, and infinitely many ribbon 2-knots with isomorphic groups but non-isomorphic quandles. The first is the headline and it directly answers an open problem from [JKL15] and [Oht16]. The other two are natural extensions of existing machinery.\n\nWhat's genuinely new: Theorem 2.1, if correct, shows that Gamma5 is an essential generator of the Yoshikawa move calculus. The biquandle invariant extends known coloring techniques to the singular setting, and the ribbon 2-knot family fills a gap left by Tanaka-Taniguchi, who had pairs but not both ribbon. The references are appropriate; the paper builds on published work and acknowledges prior results.\n\nThe soft spots are in the proof details. The proof of Theorem 2.1 rests on two assertions that are not demonstrated in the text. First, the semi-invariant L*, obtained by replacing markers with crossings, is claimed to be unchanged by every non-Gamma5 move, with only 'straightforward to see' as justification. That is not obvious: the moves where markers interact with crossings (Gamma4, Gamma4', Gamma7, Gamma8) are exactly the cases where the replaced diagram may not undergo a Reidemeister move. Second, D1 and D2 are said to represent equivalent surface-links, but no sequence of Yoshikawa moves is displayed. If either assertion fails, the independence proof collapses. These are checkable from the figures, but the paper doesn't do the checks.\n\nThe same pattern appears in the other two theorems. Proposition 4.4 delegates several move verifications to 'standard hand calculations'; that is acceptable if a referee can reproduce them, but it is not a proof in the text. Theorem 5.1 is the shakiest of all. The lower-central-series computation is compressed into a few lines: 'a direct Hall-Witt computation gives', 'one verifies that', and a final argument that differences in base-3 expansions eventually distinguish the quotients. The core group idea is sound, but the group theory as written is too condensed to verify. There is also an unexplained step where 'w^3 central iff k congruent 1 mod 3' is used to conclude non-isomorphism when n and m differ mod 3; the logic works, but it's not spelled out.\n\nOverall, the paper is conditional. The gaps are addressable but real. The central argument of Theorem 2.1 holds only if the figure-based checks work out. The other results need expansion rather than replacement.\n\nWho this is for: low-dimensional topologists who care about surface-links, Yoshikawa moves, or quandle/biquandle invariants. It deserves serious peer review, not desk rejection, but the referee will need to do real work verifying the hand checks. My recommendation: send it out, but ask the referee specifically to verify the L* invariance and the D1/D2 equivalence before anything else.","headline":"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.","tokens_in":9648,"tokens_out":4044,"would_cite":false,"duration_ms":36875,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K45","57Q35","57R42","57K12"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["biquandle invariant","immersed surface-links","Yoshikawa moves","marked graph diagrams","ribbon 2-knots","knot quandles","core group","surface-links"],"falsifier":"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.","tokens_in":8714,"feed_emoji":"🪢","tokens_out":9211,"duration_ms":78433,"temperature":0.7,"pith_summary":"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.","feed_headline":"Fifth Yoshikawa move cannot be reproduced by the other nine","feed_subtitle":"A marker-to-crossing trick pins down the last independent move, while new coloring invariants separate ribbon 2-knots.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"introduces the ten oriented Yoshikawa moves and the marked graph diagram calculus that the paper studies.","marker":"[Yos94]"},{"why":"establishes independence of the other moves and poses the openness of $\\Gamma_5$, the problem resolved here.","marker":"[JKL15]"},{"why":"lists the independence of $\\Gamma_5$ as an open problem, giving the target question its standing.","marker":"[Oht16]"},{"why":"supplies the banded-unlink description of immersed surfaces that the singular marked graph presentation extends.","marker":"[HKM25]"},{"why":"provides the twelve-move calculus for immersed surface-links that the biquandle coloring must respect.","marker":"[Jab23]"},{"why":"develops the biquandle framework for surface-links and the fundamental biquandle construction used in the coloring invariant.","marker":"[KKKL18]"},{"why":"constructs the infinite family $R_k$ of ribbon 2-knots with isomorphic groups, the family whose quandles are distinguished here.","marker":"[Suc85]"},{"why":"gives the method for calculating fundamental biquandles of surface-links from marked graph diagrams, used for $Q(R_k)$.","marker":"[Ash12]"}],"fun_headline_variants":["Yoshikawa's fifth move: absolutely necessary","No substitute: Yoshikawa's fifth move is essential","Fifth Yoshikawa move cannot be mimicked","Biquandle coloring separates ribbon 2-knots"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Yoshikawa's fifth move: absolutely necessary","No substitute: Yoshikawa's fifth move is essential","Fifth Yoshikawa move cannot be mimicked","Biquandle coloring separates ribbon 2-knots"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000405,"raw_usage":{"total_tokens":2132,"prompt_tokens":993,"completion_tokens":1139,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":609,"completion_tokens_details":{"reasoning_tokens":1078}},"tokens_in":609,"tokens_out":1139,"duration_ms":11333,"temperature":1.0,"reasoning_tokens":1078,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:12:06.473482+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}