String links classified up to -moves and link-homotopy.
problem Classifying string links up to specific moves and link-homotopy.
method Using Milnor link-homotopy invariants and -moves.
result Equivalence classes of string links form a finite group.
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
169,341 papers · 148 categories
Trend · papers per month
48 results for “homotopy moves”
Paper defines weak (1, 3) homotopy for knot projections and classifies trivial knots.
problem Classifying knot projections under weak (1, 3) homotopy.
method Defines weak (1, 3) homotopy, introduces a map to knot isotopy classes, and determines trivial knots.
result Determines which knot projections are trivial under weak (1, 3) homotopy.
A calculus modifies flow categories without changing their homotopy type.
problem Modifying flow categories without altering their homotopy type.
method A calculus of moves to modify framed flow categories.
result Two flow categories with stable homotopy type give move equivalent categories.
The paper defines new homotopy relations on knot projections and classifies certain knot types.
problem Defining and classifying knot homotopy relations.
method Introducing cross chord numbers and using them to define strong and weak (1, 3) homotopies.
result Complete classification of knot projections with trivializing number two.
Classifies welded string links up to specific moves.
problem Classifying welded string links up to moves.
method Using Milnor invariants, classify welded string links up to -move and -move.
result Classifies welded string links up to -move and -move.
This paper improves bounds on how many Delta-moves are needed to trivialize a link.
problem Counting the minimum number of Delta-moves to make a link homotopy trivial.
method Classification of link homotopy and extremal graph theory.
result Quadratic and cubic upper bounds on the homotopy trivializing numbers of links.
Paper introduces moves to simplify framed flow categories.
problem Simplifying framed flow categories for easier study.
method Inspired by Morse-Smale moves, introduces moves to change framed flow categories without altering their stable homotopy type.
result Finite sequence of moves can connect two framed flow categories representing the same stable homotopy type.
It has long been known that a Milnor invariant with no repeated index is an invariant of link homotopy. We show that Milnor's invariants with repeated indices are invariants not only of isotopy, but also of self C_k-moves. A self C_k-move is a natural generalization of link homotopy based on certain degree k clasper su…
The paper defines a new equivalence relation for knot projections and finds an infinite number of distinct classes.
problem Classifying knot projections based on weak homotopy equivalence.
method Defining weak (1, 2, 3) homotopy and using it to find an invariant.
result There are an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections.
A pass-move and a $#$-move are local moves on oriented links defined by L.H. Kauffman and H. Murakami respectively. Two links are self pass-equivalent (resp. self $#$-equivalent) if one can be deformed into the other by pass-moves (resp. $#$-moves), where non of them can occur between distinct components of the link. T…
32 knot projections classified based on forbidden Reidemeister moves.
problem Classifying knot projections based on allowed Reidemeister moves.
method 32 homotopy classifications based on forbidden Reidemeister moves.
result 20 non-trivial cases of knot projections are mutually different.
Transforming curves with crossings requires a number of moves proportional to n^(3/2).
problem Transforming curves with crossings into simple curves.
method Finite sequence of local transformations called homotopy moves.
result Transforming a curve with n crossings requires Θ(n^(3/2)) homotopy moves in the worst case.
We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent i…
New homotopy types and invariants defined for knots.
problem Defining and characterizing different homotopy types of knot projections.
method Introducing strong and weak (1, 2) homotopies and defining new invariants.
result New necessary and sufficient conditions for homotopy equivalence of knot projections.
The paper explores constructing an invariant for s-move 3-cells using 2-cell decompositions.
problem Creating an invariant for s-move 3-cells.
method Using elementary 3-expansions and 2-cell decompositions, the paper constructs an invariant.
result The method provides a sequence of 2-cells to decompose s-move 3-cells.
Forbidden moves categorify fused links into quivers.
problem Categorify fused links to invariant of links.
method Use forbidden moves to categorify fused links.
result Obtain three polynomial invariants of links.
Complete obstruction found for 2-spheres in 5-manifolds to be isotopic.
problem Obstructing homotopic embeddings of 2-spheres into 5-manifolds from being isotopic.
method Using a level preserving Whitney move in codimension 3 to eliminate double points, and classical methods.
result New results for simply-connected 5-manifolds and 2-spheres with algebraic dual 3-spheres.
Study surfaces in 4-manifolds using banded unlink diagrams.
problem Representing and manipulating immersed surfaces in 4-manifolds.
method Singular banded unlink diagrams and associated moves.
result Every immersed surface can be represented uniquely by a singular banded unlink diagram.
Equivalence relations can be defined on Gauss phrases using combinatorial moves. In this paper we consider two closely related equivalence relations on Gauss phrases, homotopy and open homotopy. In particular, in each case, we define a new invariant and determine the values that it can attain.
By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, …
This paper disproves a conjecture about knot projections under specific homotopy conditions.
problem Reidemeister moves of types 1 and 3 are insufficient to describe all homotopies of circle immersions.
method Constructs counterexamples with minimal crossing numbers of 15 and higher, extending previous results.
result Obtains the first counterexample with a minimal crossing number of 15, extending to higher odd numbers.
Paper explores relationships between triple chords and a specific homotopy relation in knot theory.
problem Understanding the relationship between triple chords and a homotopy equivalence class in knot theory.
method Analyzes the number of triple chords and their connection to the strong (1, 2) homotopy equivalence class.
result Prime knot projections are trivialized by strong (1, 2) homotopy if they have no triple chords.
We discuss a topological approach to words introduced by the author. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants …
In 2001, Oestlund conjectured that Reidemeister moves 1 and 3 are sufficient to describe a homotopy from any generic immersion from the circle into the plane to the standard embedding of the circle. We show that this conjecture is false.
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse of finite spaces induces a simplicial …
In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or …
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of usi…
Multistring based matricesmath.GT
A new method for virtual homotopy classes of virtual strings.
problem Addressing an open problem of Turaev regarding virtual homotopy classes of virtual strings.
method Generalizing Turaev's method to multistring based matrices for virtual n-strings.
result Construction of similar invariants for virtual homotopy classes of virtual n-strings.
Connected graph for twice-punctured torus curves.
problem Structure of tri-pants graph on twice-punctured torus.
method Examined relationship with Farey complex to prove connectivity and infinite diameter.
result Tri-pants graph is connected and has infinite diameter.
As Oleg Viro describes in his paper, the most fundamental property of the Khovanov homology group is their invariance under Reidemeister moves. Viro constructes Khovanov complex and homology consisting of Jordan curves with sign and also gives a proof for the only case of first Reidemeister move by using his definition…
Constructs a homotopy Loday algebra from symplectic 2-manifolds.
problem Tackles the construction of algebraic structures from symplectic 2-manifolds.
method Uses higher derived brackets and Voronov's technique to construct a homotopy Loday algebra.
result Constructs a homotopy Loday algebra with a specific structure accommodating the Dorfman bracket.
Link concordance equals homotopy for high-dimensional spheres.
problem Understanding when immersions of high-dimensional spheres are homotopically trivial.
method Developed stratified Morse theory for generic immersions, using gradient-like vector fields and Cerf theory.
result Every link of high-dimensional spheres is homotopically trivial, resolving a long-standing conjecture.
Two link diagrams are link homotopic if one can be transformed into the other by a sequence of Reidemeister moves and self crossing changes. Milnor introduced invariants under link homotopy called . Nanophrases, introduced by Turaev, generalize links. In this paper, we extend the notion of link homotopy to nanop…
Virtual Homotopymath.GT
Two welded (respectively virtual) link diagrams are homotopic if one may be transformed into the other by a sequence of extended Reidemeister moves, classical Reidemeister moves, and self crossing changes. In this paper, we extend Milnor's mu and bar mu invariants to welded and virtual links. We conclude this paper wit…
We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular CW-complex, generalizing the concept of regular CW-complex, and prove that the h-regu…
We prove the first nontrivial worst-case lower bounds for two closely related problems. First, degree-1 reductions, series-parallel reductions, and Y transformations are required in the worst case to reduce an -vertex plane graph to a single vertex or edge. The lower bound is achieved by any planar g…
An R_2-move is a homotopy of wrinkled fibrations which deforms images of indefinite fold singularities like Reidemeister move of type II. Variants of this move are contained in several important deformations of wrinkled fibrations, flip and slip for example. In this paper, we first investigate how monodromies are chang…
We introduce some chain maps between Khovanov complexes. Each of the chain maps commutes with a chain homotopy map and a retraction maps which obtain a Reidemeister invariance of Khovanov homology.
A new formula detects differences between counterexamples and standard embeddings of circles.
problem Detecting differences between counterexamples and standard embeddings of circles.
method Introducing a Gauss diagram formula for two-component links.
result A desired function is found for the two-component case.
Study on the parity of fold map singular points, showing non-invariance for odd-dimensional manifolds.
problem Parity of connected components of fold map singular points for odd-dimensional manifolds.
method Constructive proofs using open book decompositions, round fold maps, and allowable moves.
result Parity of connected components is not a homotopy invariant for odd-dimensional manifolds.
It is known that an arbitrary smooth, oriented 4-manifold admits the structure of what is called a broken Lefschetz fibration. Given a broken fibration, there are certain modifications, realized as homotopies of the fibration map, that enable one to construct infinitely many distinct fibrations of the same manifold. Th…
We define several homology theories for central hyperplane arrangements, categorifying well-known polynomial invariants including the characteristic polynomial, Poincare polynomial, and Tutte polynomial. We consider basic algebraic properties of such chain complexes, including long-exact sequences associated to deletio…
Pseudodiagrams are knot or link diagrams where some of the crossing information is missing. Pseudoknots are equivalence classes of pseudodiagrams, where equivalence is generated by a natural set of Reidemeister moves. In this paper, we introduce a Gauss-diagrammatic theory for pseudoknots which gives rise to the notion…
The stable Andrews-Curtis conjecture in combinatorial group theory is the statement that every balanced presentation of the trivial group can be simplified to the trivial form by elementary moves corresponding to "handle-slides" together with "stabilization" moves. Schoenflies conjecture is the statement that the compl…
A new method calculates the minimum volume swept by a sphere's homotopy in 3D space.
problem Finding the minimum volume swept by a sphere's homotopy in 3D space.
method Cable system approach to define and compute cable indices.
result A linear-time algorithm computes all cable indices and achieves the lower bound for the swept volume.
Classifies knotted annuli in 4-space up to a specific equivalence.
problem Classifying knotted annuli in 4-space up to a specific equivalence.
method Uses Milnor invariants and a 4-dimensional version of them, along with a Roseman-type result for immersed surfaces.
result Classifies 2-string-links up to link-homotopy.
The paper is devoted to study the Dirichelet energy of moving frames on 2-dimensional tori immersed in the euclidean -dimensional space. This functional, called Frame energy, is naturally linked to the Willmore energy of the immersion and on the conformal structure of the abstract underlying surface. As first …
A necessary and sufficient algebraic condition for a diffeomorphism over a surface embedded in the 3-sphere to be induced by a regular homotopic deformation is discussed, and a formula for the number of signed pass moves needed for this regular homotopy is given.