REVIEW 5 major objections 8 minor 11 references
Classification of virtual links by arc shift move
T0 review · 5 major / 8 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Two virtual links are arc shift equivalent exactly when the parities of their virtual linking numbers match.
desk verdict A parity invariant and a lower bound for arc shift number are solid, but the classification theorem rests on an unproved normalization algorithm. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the arc shift move on Gauss diagrams plus the parity of virtual linking numbers. In a Gauss diagram, each crossing is a directed chord from the over-passing component to the under-passing component; an arc shift slides one endpoint past an adjacent endpoint and flips both chord signs, and the paper's key observation is that every variant of the move preserves the parity of each $L^i_j$ while changing the value by an even integer. A link is n-homogeneous proper when all these parities are even, which is exactly the condition under which the reduction algorithm can align self-chords, remove them by RI, then align mixed chords and cancel them in opposite-sign RII pairs. The canonical representatives $L(p,q)$ for $p,q \in \{0,1\}$ encode the surviving parity patterns, and the odd writhe $J(L)$ supplies the lower bound for the arc shift number.
What would settle it
Build the Gauss diagram of a two-component link with four mixed chords, all parallel, all directed from component 1 to component 2, and all with the same sign; then $L^1_2=4$ and $L^2_1=0$, so the link is 2-homogeneous proper and Theorem 3.12 predicts arc shift triviality. Since arc shifts, by the paper's own observation, never invert a chord's direction, and RII cancellation requires a pair of opposite directions, this diagram could not be reduced to the empty diagram. If such a diagram exists as a virtual link, the 'if' direction of the classification fails; if it can be trivialized, the reduction handles a case the written argument does not cover.
Extended reading notes
Core claim
The central claim is Theorem 3.21: for ordered n-component virtual links, arc shift equivalence is classified by the parity of the virtual linking numbers $L^i_j$ and $L^j_i$, where $L^i_j$ is the sum of signs of the crossings in which component $i$ overpasses component $j$. The forward direction is invariance of parity under every arc shift variant; the reverse direction is a reduction argument on Gauss diagrams. When all these numbers are even, the link is n-homogeneous proper and arc shift becomes an unknotting operation (Theorem 3.12 and Corollary 3.14), so the two-component pattern L(0,0), L(1,0), L(0,1), L(1,1) generalizes to $2^{\binom{n}{2}}$ classes. Non-homogeneous links survive as representatives $L(p,q)$ with $p,q \in \{0,1\}$, and the mirror image is arc shift equivalent to the original iff all parities agree. The paper's arc shift number results show the odd writhe $J(L)$ controls the cost of unknotting from below, while (2,4n)-virtual torus links give explicit upper bounds.
Load-bearing premise
The proof depends on the reduction step that every Gauss diagram can, using only arc shifts and Reidemeister moves, be brought to a canonical form with all self-chords parallel and all mixed chords arranged in canceling opposite-sign pairs; if some diagram resists this reduction, the classification collapses.
Editorial extensions
If this is right
- For n-component virtual links, arc shift equivalence has exactly $2^{\binom{n}{2}}$ classes, one for each parity pattern of the ordered virtual linking numbers.
- A virtual link can be unknotted by arc shifts if and only if it is n-homogeneous proper, meaning every virtual linking number is even; any odd entry makes trivialization impossible.
- For n-homogeneous proper links, the arc shift number is an invariant and is at least $J(L)/2$, where $J(L)$ is the total odd writhe.
- There are explicit sequences of 2-homogeneous proper link diagrams, such as the $(2,4n)$-virtual torus links, whose arc shift number is at most n.
- The mirror image of a link is arc shift equivalent to the original exactly when all virtual linking numbers of the link have the same parity.
Reading between the lines
- If the classification is right, arc shift equivalence becomes a purely algebraic quotient: the parity matrix of the virtual linking numbers is a complete invariant, so no diagram-level search is needed to tell two links apart.
- The same parity data gives a practical route to arc shift numbers: the paper's reduction supplies an upper bound from the number of moves used, while $J(L)/2$ supplies a lower bound, leaving equality as a testable condition on specific families.
- The proof's reduction step is the place to look for a sharper statement: because arc shifts cannot reverse chord directions, any parity-even diagram whose mixed chords all point one way could be an obstruction to the RII pairing step, suggesting an extra invariant beyond parity.
- The finite quotient may generalize to welded or fused settings, where virtual linking numbers are already known to classify, turning an infinite classification into a coarse but computable one.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the arc shift move for n-component virtual links. The main claims are: (1) an n-component virtual link is unknottable by arc shift moves exactly when it is n-homogeneous proper, i.e. when all virtual linking numbers are even (Theorem 3.12 for n=2 and Corollary 3.14 by induction); (2) arc shift equivalence of n-component virtual links is classified by the parities of the virtual linking numbers, giving finitely many classes (Theorem 3.21 and Remark 3.23); and (3) the arc shift number A(L) of an n-homogeneous proper link is bounded below by J(L)/2, where J is the odd writhe (Theorem 3.29), with explicit diagram sequences satisfying A(D) ≤ n (Theorem 3.30 and Example 3.31). The invariance half of the story (Lemma 3.6 and the forward directions of the theorems) is straightforward and correct. The converse of the classification, however, is the entire substance of the paper and it rests on informally described reduction procedures that are not proved.
Significance. If the classification were proved, it would be a clean and striking result: arc shift equivalence would partition n-component virtual links into finitely many classes, in contrast to the infinite classifications under Ξ-moves and forbidden moves cited in the paper. The parity invariance lemma (Lemma 3.6) is correct and clean, and the forward directions of Theorems 3.12 and 3.21 follow directly from it. The worked reductions in Remarks 3.9–3.11 and Examples 3.13 and 3.27 are reproducible and illustrate a plausible reduction mechanism, and the upper-bound constructions for the arc shift number (Theorem 3.30 and Example 3.31) are explicit. The paper's central contribution is not, however, established: the converse direction of the classification is asserted rather than proved, and the class count in Remark 3.23 is internally inconsistent. The paper is not suitable for publication in its present form, but the underlying idea may be repairable.
major comments (5)
- [Theorem 3.12 (⇐) proof] The converse direction of Theorem 3.12 is the load-bearing step for the unknotting claim, but the proof is a procedural description, not a proof. The claims 'Repeating this process for all self-chords yields a Gauss diagram where no two chords intersect' and 'Continue this process until the selected chord occupies the same position in both components' assert that certain arc shift sequences exist, terminate, and do not disturb previously sorted chords, but no argument is given for any of these properties; Remarks 3.9–3.11 illustrate the procedure only on the specific diagrams in Figures 13–15. In particular, the final step requires the RII-removability conditions (adjacent endpoints, opposite signs, compatible directions) to hold simultaneously, and it is never shown that the sorting procedure produces a configuration satisfying them.
- [Proposition 3.16] Proposition 3.16 is the only passage from the homogeneous-proper case to arbitrary 2-component links, but its proof consists of the assertions 'we will ultimately obtain the Gauss diagram of L(1,1)' and 'the Gauss diagram can be transformed into either L(1,0) or L(0,1)', with no move sequence and no argument that the crossings can be made to have the uniform signs required by Definition 3.15. Since Theorem 3.21 and Remark 3.23 both depend on this proposition, the non-homogeneous case of the classification is unsupported.
- [Theorem 3.21 (ii)⇒(i)] The converse of the classification theorem is justified only by the sentence 'By the reducing algorithm, depicted in Theorem 3.12, both L and L′ can be reduced... to same virtual link L′′.' That algorithm is described, incompletely, for n-homogeneous proper links (all virtual linking numbers even); for general parity data no n-component normal form is even defined, and Proposition 3.16 treats only the two-component case. Thus the if-direction of Theorem 3.21 is not established, and the finiteness claim of Remark 3.23 has no demonstrated upper bound.
- [Remark 3.23] The count 2^(n choose 2) is internally inconsistent: for n = 2 it gives 2, contradicting the paper's own conclusion (Remark 3.17 and Figure 19) that there are exactly four 2-component classes, a fact forced by Lemma 3.6 since L(0,0), L(1,0), L(0,1), and L(1,1) have mutually different parity pairs. Theorem 3.21(ii) concerns the n(n−1) ordered-pair parities, so the formula consistent with the stated invariant would be 2^(n(n−1)); the remark as written cannot be correct under either reading of the invariant.
- [Theorem 3.28 proof] The proof of Theorem 3.28 considers only the sign and parity change of the selected crossing c1, but an arc shift moves a chord endpoint past other chords, which changes the odd/even status of every chord whose endpoint-count interval is affected; these additional contributions to J(K_i) are not accounted for. In the self-crossing case the proof invokes Theorem 2.18, but Theorem 2.18 is a consequence of a per-move bound on J (via the telescoping argument), not a proof of such a bound. Since Theorem 3.29's inequality A(L) ≥ J(L)/2 telescopes the bound |J(L_{i+1}) − J(L_i)| ≤ 2 obtained from Theorem 3.28, the lower bound result inherits this gap.
minor comments (8)
- [Proposition 3.20 proof] The reference 'Corollary 3.16' (twice) should be 'Proposition 3.16'.
- [Theorem 3.21 statement] The formula 'Li_j = (L′i_j mod 2)' should be written as a congruence, e.g., L^i_j ≡ L′^i_j (mod 2), and the phrase 'related by finite sequence of arc shift moves' should be 'arc shift equivalence' (Definition 3.5), which includes generalized Reidemeister moves.
- [Proposition 3.24] This proposition is asserted without proof, and the virtual linking numbers of L(a1,a2,b1,b2;k,l) and M(a1,a2,b1,b2;k,l) in terms of the parameters are not computed, so the four cases cannot be verified; a derivation should be supplied or the statement demoted to a remark.
- [Corollary 3.14 proof] The induction step requires one to 'use arc shifts to parallel all the mixed chords between the first two components, ensuring that there are no self-chords of the second component located between the mixed chords'; the existence of such an interleaved sorting is exactly the unproven step of Theorem 3.12 and needs separate justification.
- [Theorem 3.29 proof] The symbol n is used both for the number of components and for the value of the arc shift number, and the sentence 'There are exactly n terms in the inequality (4)' counts arc shift moves; a distinct symbol (e.g., m or k) should be used for the arc shift number.
- [Example 3.31] There is a spelling error ('Condiser'), and the claim that the upper bound for D_n is exactly n is only sketched; the Gauss diagram in Figure 23 appears to show n−1 mixed chords, and the move sequence is not described.
- [Definitions 3.2–3.3] The definition of an odd self-crossing counts 'odd number of real crossings from c to c'; it should be stated explicitly whether mixed crossings are included in this count, since the behavior of odd writhe under arc shifts (Theorem 3.28) is sensitive to this.
- [Abstract] The phrase 'the upper bound of the arc shift number is exactly n' is imprecise: Theorem 3.30 and Example 3.31 establish upper bounds A(D_n) ≤ n, not exact values.
Circularity Check
No circularity: the parity classification is not definitionally forced; the main weakness is an omitted normalization proof, which is a rigor gap rather than a circular reduction.
full rationale
The derivation chain is not circular in the sense of the seven enumerated patterns. Lemma 3.6 proves parity invariance of virtual linking numbers under arc shifts from the local sign changes of the move, giving the 'only if' direction of Theorem 3.21 independently. The converse is attempted constructively: Theorem 3.12 supplies an arc-shift/RII reduction for 2-homogeneous proper diagrams, and Proposition 3.16 is intended to produce the normal forms L(0,0), L(1,0), L(0,1), L(1,1) from the parities of the virtual linking numbers. Theorem 3.21 then combines Lemma 3.6 with these normal forms; the equivalence classes are not defined in terms of the theorem being proved, nor is a fitted parameter renamed as a prediction. The citations to the authors' prior work ([6], [7]) are used as tools—the virtual-knot arc-shift unknotting theorem and the arc-shift/odd-writhe inequality—and they concern knots, not the n-component link classification claimed here, so they are independent of the target conclusion. The genuine defect is an omitted proof, located in Proposition 3.16 ('we will ultimately obtain the Gauss diagram of L(1, 1) ... even after applying the arc shift moves and RII move') and again in Theorem 3.21's appeal to 'the reducing algorithm, depicted in Theorem 3.12' for arbitrary parity patterns and arbitrary n. No explicit terminating move sequence or n-component normal form is given, so the converse of Theorem 3.21 is not established. That is a correctness/rigor concern, not a circularity: the claimed reduction is absent, but it is not identical to the input by construction.
Assumptions & free parameters
assumptions (4)
- standard math Generalized Reidemeister moves on diagrams correspond to the depicted moves on Gauss diagrams.
- domain assumption Odd writhe as defined in Definition 3.3 is an invariant of n-homogeneous proper links.
- ad hoc to paper Every Gauss diagram of a homogeneous proper link can be aligned by arc shifts into a parallel configuration, and every parallel configuration with even mixed chords can be paired and removed by RII.
- domain assumption Arc shift changes signs of chords but preserves the count of heads and tails on each component.
Cite this review
Pith. "Pith review of Classification of virtual links by arc shift move." pith.science (2026). https://pith.science/paper/JQDOCZ2O
@misc{pith2026250208955,
author = {Pith},
title = {Pith review of: Classification of virtual links by arc shift move},
year = {2026},
howpublished = {\url{https://pith.science/paper/JQDOCZ2O}},
note = {Machine review of arXiv:2502.08955}
}
abstract
In this paper, we establish that the arc shift operation on a $n$-component virtual link diagram acts as an unknotting operation when the virtual link is $n$-homogeneous proper, aiding in the classification of \( n \)-component virtual links up to arc shift equivalence. We explore the connection between the arc shift number and the odd writhe of virtual links which are homogeneous proper. Additionally, we identify sequences of virtual link diagrams \( L_n \) for which the upper bound of the arc shift number is exactly \( n \).
Figures
Figures from the paper (19 more)
Reference graph
Works this paper leans on
-
[1]
D. Ali, Z. Yang, M. I. Sheikh, The H(n)-move is an unknotting operation for virtual and welded links, J. Knot theory ramifications 32(09), 2350061(2023)
work page 2023
- [2]
-
[3]
Extensions of some classical local moves on knot diagrams
B. Audoux, P. Bellingeri, J. B. Meilhan, E. Wagner, On forbidden moves and the Delta move , arXiv:1510.04237(2015)
work page Pith review arXiv 2015
-
[4]
J. S. Carter, S. Kamada, M. Saito, Stable equivalence of knots on surfaces and virtual knot cobordisms, J. Knot Theory Ramifications 11(03)(2002), 311–322
work page 2002
-
[5]
A. Fish, E. Keyman, Classifying links under fused isotopy , J. Knot Theory Ramifica- tions(07)(25), 1650042(2016)
work page 2016
-
[6]
A. Gill, K. Kaur, M. Prabhakar, Arc shift number for some virtual knots , Trends in Algebraic Topology and related topics, Trends Math., Birkhauser/Springer, 2018
work page 2018
-
[7]
A. Gill, K. Kaur, M. Prabhakar, Arc shift number and region arc shift number for virtual knots, J. Korean Math. Soc. 56(04) (2019), 1063–1081
work page 2019
-
[8]
L. H. Kauffman, Virtual knot theory , European J. Combin. 20(07) (1999), 663–691
work page 1999
Show all 11 references
-
[9]
Kamada and S
N. Kamada and S. Kamada, Invariants of virtual links and twisted links using affine indices , arXiv:2312.05489(2022)
2022 arXiv
-
[10]
J. B. Meilhan, S. Satoh, K. Wada, Classification of 2-component virtual links up to Ξ-moves, Fund. Math.263(03) (2023), 203–234
2023
-
[11]
Ohyama and M
Y. Ohyama and M. Sakurai, Virtualization and n-writhes for virtual knots , J. Knot Theory Ramifications, 28(12), 1950074(2019). 19
2019
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.