arXiv research

The flyping theorem is extended to virtual links and surfaces.

First geometric proof of the flyping theorem.

New invariant for prime alternating knots from error-correcting codes

Let Πbe a link projection in S^2. John Conway and later Francis Bonahon and Larry Siebenmann undertook to split $Π$ into canonical pieces. These pieces received different names: basic or polyhedral diagrams on one hand, rational, algebraic, bretzel, arborescent diagrams on the other hand. This paper proposes a thorough…

Tait's flyping conjecture, stating that two reduced, alternating, prime link diagrams can be connected by a finite sequence of flypes, is extended to reduced, alternating, prime diagrams of 4-regular graphs in S^3. The proof of this version of the flyping conjecture is based on the fact that the equivalence classes wit…

The Markov Theorem Without Stabilization (MTWS) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isoto…

The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive the…

This paper studies periodic and free periodic knots in alternating projections.

New invariant for special alternating links based on graph Laplacian.

Let K be a an alternating prime knot in the 3-sphere. We investigate the category of flypes between reduced alternating diagrams for K. As a consequence, we show that any odd prime order action on K is isotopic through maps of pairs to a single flype. This implies that for any odd prime order action on K there is eithe…

We introduce a new braid-theoretic framework with which to understand the Legendrian and transversal classification of knots, namely a Legendrian Markov Theorem without Stabilization which induces an associated transversal Markov Theorem without Stabilization. We establish the existence of a nontrivial knot-type specif…

Essential surfaces in link diagrams on surfaces are crucial for understanding link properties.

New invariants derived from Seifert graphs help distinguish alternating links.

Polynomial algorithm found for alternating link equivalence.

This paper is devoted to prove the existence of $q$-periodic alternating projections of prime alternating $q$-periodic knots. The main tool is the Menasco-Thistlethwaite's Flyping theorem. Let $K$ be an oriented prime alternating knot that is $q$-periodic with $q\geq 3$, i.e. $K$ admits a symmetry that is a rotation of…

Let $L$ be an alternating prime non-split link in $S^3$. We use the category of flypes between reduced alternating diagrams for $L$ to classify involutions on $L$. As consequences, we show that the quotient of an alternating periodic link is alternating, and that all freely 2-periodic alternating links have an even num…

Study counts sub-chord diagrams to classify spherical curves.

This paper gives new and elementary combinatorial topological proofs of the classification of unoriented and oriented rational knots and links. These proofs are based on the known classification of alternating knots through flyping, and the calculus of continued fractions. We characterize the class of strongly invertib…

This paper tabulates prime knot projections up to eight double points.

When the signed weighted resolution set was defined as an invariant of pseudoknots, it was unknown whether this invariant was complete. Using the Gauss-diagrammatic invariants of pseudoknots introduced by Dorais et al, we show that the signed were-set cannot distinguish all non-equivalent pseudoknots. This goal is achi…

A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative.In this paper, we introduce a method of converting a virtual link diagram to a normal virtual link diagram by use of the double covering …

We show that under certain conditions the flyping operation on rational tangles, which produces topologically isotopic tangles, may also produce tangles which are not Legendrian isotopic when viewed in the standard contact structure on $\mathbb{R}^3$. This work is motivated by questions posed by Traynor, and incorporat…

Choose any oriented link type X and closed braid representatives X[+], X[-] of X, where X[-] has minimal braid index among all closed braid representatives of X. The main result of this paper is a `Markov theorem without stabilization'. It asserts that there is a complexity function and a finite set of `templates' such…

O. Plamenevskaya associated to each transverse knot K an element of the Khovanov homology of K. In this paper, we give two refinements of Plamenevskaya's invariant, one valued in Bar-Natan's deformation of the Khovanov complex and another as a cohomotopy element of the Khovanov spectrum. We show that the first of these…

We give an infinite family of knots such that for any given $r \geq 3$, the family contains a knot which can be embedded on a hexagonal $r$-mosaic, but cannot fit on a hexagonal $r$-mosaic in an embedding that achieves its crossing number. This extends the rectangular mosaic result of Ludwig, Evans, and Paat. We also i…

This paper gives two new combinatorial topological proofs of the classification of rational tangles. Each proof rests on an elegant lemma showing that rational tangles are isotopic to canonical alternating rational tangles. The first proof defines the tangle fraction from the canonical form and uses flyping to prove in…

It is shown that, in the 1-jet space of the circle, the swapping and the flyping procedures, which produce topologically equivalent links, can produce nonequivalent legendrian links. Each component of the links considered is legendrian isotopic to the 1-jet of the 0-function, and thus cannot be distinguished by the cla…

Differential graded algebra invariants are constructed for Legendrian links in the 1-jet space of the circle. In parallel to the theory for R^3, Poincare-Chekanov polynomials and characteristic algebras can be associated to such links. The theory is applied to distinguish various knots, as well as links that are closur…

The interior polynomial is an invariant of (signed) bipartite graphs, and the interior polynomial of a plane bipartite graph is equal to a part of the HOMFLY polynomial of a naturally associated link. The HOMFLY polynomial $P_L(v,z)$ is a famous link invariant with many known properties. For example, the HOMFLY polynom…

The paper studies knots in projective space using virtual link theory.

Virtual links are generalizations of classical links that can be represented by links embedded in a ``thickened'' surface $Σ\times I$, product of a Riemann surface of genus $h$ with an interval. In this paper, we show that virtual alternating links and tangles are naturally associated with the $1/N^2$ expansion of an i…

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.