arXiv ScienceSearch

arXiv · 2608.07319

Reachability under arc crossing changes

Abstract

Cericola proved that every knot diagram can be transformed into an ascending unknot diagram by arc crossing changes. We refine this result for all diagrams on a fixed R1-reduced classical knot shadow with more than three crossings. Apart from at most two source diagrams, any two diagrams of the same state parity are mutually reachable. Each source diagram reaches every non-source diagram of its parity but cannot be reached from another diagram. A local five-occurrence condition on the marked Gauss word characterizes the sources and thereby determines the full directed reachability relation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bo Chen, Jinbo Geng, Zerui Wu. 2026-08-07. Reachability under arc crossing changes. https://arxiv.org/abs/2608.07319

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Burau representation of the braid group is faithful for n = 4

In this paper we use ideas introduced earlier by Moody, Long, Long-Paton, and Bigelow to prove the theorem of the title, that the Burau representation of the classical braid group is faithful for n = 4. An immediate corollary is that the Jones representation of the braid group is also faithful for n = 4.

math.GT

The Lorenz braid index and hyperbolic volume

A result of Futer, Kalfagianni, and Purcell implies that an upper volume bound for all link complements in the 3-sphere cannot depend solely on the braid index. In this paper, we introduce the Lorenz braid index and generalise the bunch algorithm to provide a general upper volume bound for all link complements in the 3-sphere. Such an upper bound is a quadratic polynomial in the Lorenz braid index. In addition, we construct an explicit family of hyperbolic Lorenz knots for which the classical braid index and the Seifert genus both tend to infinity, while the Lorenz braid index remains bounded.

math.GT