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.
Heegaard Floer homology connects group presentations to algebraic invariants.
problem Understanding algebraic invariants of groups through geometric topology.
method Using Heegaard Floer homology, linking group presentations to algebraic invariants.
result Heegaard Floer homology groups are independent of choices and invariant under stable transformations.
Establishes bounds on Andrews-Curtis moves for trivial group presentations.
problem Understanding presentations of the trivial group and Andrews-Curtis moves.
method Explicit upper bounds on stable Andrews-Curtis moves for thickenable presentations.
result Thickenable presentations of the trivial group satisfy the Andrews-Curtis conjecture.
We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture.
Paper proves contractible fake surfaces up to complexity 6 are deformable.
problem Stable Andrews-Curtis conjecture and contractible fake surfaces.
method Induction scheme proving contractibility up to complexity 6.
result Contractible fake surfaces up to complexity 6 are 3-deformable.
New findings on 3-manifolds using Heegaard Floer theory.
problem Understanding equivalence classes of 3-manifolds.
method Heegaard Floer homology tools.
result Existence of simple balanced 3-manifolds not equivalent to S2imes[−1,1]. Counterexample disproves strong version of Andrews-Curtis conjecture.
problem Strong version of Andrews-Curtis conjecture
method Proved presentations not Q* equivalent despite similar homotopy type
result Presentations are not Q* equivalent even with same homotopy type
We show that the Andrews-Curtis conjecture holds for all balanced presentations of the trivial group corresponding to Heegaard diagrams of S3.
Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new understanding of how Dehn functions of groups behave under certain kinds of push-outs. We co…
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many p…
It is shown that the original Andrews--Curtis conjecture on balanced presentations of the trivial group is equivalent to its "cyclic" version in which, in place of arbitrary conjugations, one can use only cyclic permutations. This, in particular, proves a satellite conjecture of Andrews and Curtis made in 1966. We also…
New method shows certain group presentations are trivial.
problem Proving certain group presentations are trivial.
method 4-manifold trisections
result Certain group presentations are Andrews-Curtis trivial.
Given a semisimple stable autonomous tensor category over a field K, to any group presentation with finite number of generators we associate an element Q(P)∈K invariant under the Andrews-Curtis moves. We show that in fact, this is the same invariant as the one produced by the algorithm of Frank Quinn. The new de…
Study of transformations in 3-manifolds with boundary and their equivalence classes.
problem Understanding transformations in 3-manifolds with boundary and their equivalence classes.
method Investigation of extended Andrews-Curtis transformations and equivalence classes of simple balanced 3-manifolds.
result Every balanced 3-manifold in the trivial equivalence class admits a simplifier to a trivial balanced 3-manifold.
We consider a 2-complex in a particular form, called the Quinn model of a 2-complex. It can be sliced in graphs, where a change from one graph to another can be organized by a sequence of local transitions, which are described in a list of F. Quinn [Q1]. The decomposition of that 2-complex into graphs has to be transla…
New method refines Morse theory for group presentations.
problem Studying transformations of group presentations.
method Refined discrete Morse theory for CW-complexes.
result Some counterexamples to the Andrews--Curtis conjecture are shown to satisfy the conjecture.
Proves universal pairing result for 2-complexes, showing lack of positivity.
problem Detecting equivalence relations in 2-complexes.
method Analogous to Freedman et al. for manifolds, but for 2-complexes.
result Universal pairing does not detect simple homotopy equivalence vs 3-deformations for 2-complexes.
Study shows challenges in reinforcement learning math problems, proposing enhancements and a hardness measure.
problem Challenges in reinforcement learning finding rare high-reward instances.
method Combining combinatorial group theory, algorithmic enhancements, and topological hardness measure.
result Resolved mathematical questions and proposed enhancements for reinforcement learning.
Classifies fake surfaces up to complexity 5.
problem Classifying fake surfaces for low-dimensional topology.
method Derived properties of fake surfaces, classified up to complexity 5.
result Proved conjectures about fake surfaces up to complexity 5.
We introduce the notion of volume of the representation variety of a finitely presented discrete group in a compact Lie group using the push-forward measure associated to a map defined by a presentation of the discrete group. We show that the volume thus defined is invariant under the Andrews-Curtis moves of the genera…
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…
We show that a compact n-polyhedron PL embeds in a product of n trees if and only if it collapses onto an (n-1)-polyhedron. If the n-polyhedron is contractible and n\ne 3 (or n=3 and the Andrews-Curtis Conjecture holds), the product of trees may be assumed to collapse onto the image of the embedding. In contrast, there…
New 5-manifold without 'spine' challenges deformation conjecture.
problem Existence of exotic smooth structures on 4-manifolds.
method Constructed a compact PL 5-manifold homotopy equivalent to a wedge of 11 spheres.
result The constructed manifold is 'spineless', not a regular neighborhood of any 2-complex.
Study shows S1 algebraic structure in 2-dimensional CW-complex cobordisms.
problem Characterize cobordisms of 2-dimensional CW-complexes.
method Algebraic characterisation using Hopf algebras and symmetric monoidal categories.
result Category of cobordisms is equivalent to a freely generated Hopf algebra.
According to Giroux, contact manifolds can be described as open books whose pages are Stein manifolds. For 5-dimensional contact manifolds the pages are Stein surfaces, which permit a description via Kirby diagrams. We introduce handle moves on such diagrams that do not change the corresponding contact manifold. As an …
Mathematical Reinforcement Learning faces a 'Two-Hump' problem due to sparse rewards and a scarcity of intermediate 'hard-but-solvable' instances.
problem Mathematical search problems in Reinforcement Learning
method Novel data generation techniques and algorithmic enhancements
result Substantial performance improvements over previous baselines
New methods reveal rare epimorphisms linking 3-manifold groups to free groups.
problem Understanding which groups can be fundamental groups of 3-manifolds.
method Constructing and analyzing splitting coordinate-surjective homomorphisms.
result Splitting epimorphisms are rare and can be reduced to standard form.
Abstract invariant cannot be expressed using various slice-torus invariants.
problem Cannot express Iida-Taniguchi's slice-torus invariant using other known invariants.
method Analysis of various known invariants and their properties.
result Iida-Taniguchi's slice-torus invariant cannot be realized as a linear combination of other invariants.
New equivalence found between knot invariants.
problem Understanding relationships between knot invariants.
method Comparing tree reductions of Kontsevich invariant with Orr invariants.
result Orr invariant of degree k is equivalent to tree reduction of Kontsevich invariant of degree <2k.
The θ invariant encompasses the Rozansky-Overbay invariant.
problem None explicitly stated in the abstract.
method Generalization of the Rozansky-Overbay invariant using the θ invariant. result The θ invariant recovers the Rozansky-Overbay invariant. Non-invariant complex structures on Lie groups are not biholomorphic to invariant ones.
problem Understanding non-invariant deformations of complex structures on Lie groups.
method Computed cohomologies to show non-biholomorphicity.
result Non-invariant complex structures are not biholomorphic to invariant ones.
Study of Bauer-Furuta invariants under Lie group actions and Galois coverings.
problem Investigating invariants of 4-manifolds under group actions and Galois coverings.
method Functorial approach to equivariant invariants and study in Galois covering situations.
result Ordinary invariants of quotients are determined by equivariant invariants of the covering manifold.
The Kuperberg invariant is shown to be gauge invariant for certain framed 3-manifolds.
problem Exploring gauge invariance of the Kuperberg invariant for specific 3-manifolds.
method Using hyperbolic 3-manifolds and finite-dimensional Hopf algebras.
result First examples of gauge invariants of general finite-dimensional Hopf algebras via topological methods.
Paper introduces new invariant for pairs of immersions.
problem Understanding behavior of immersions through tangencies and triple points.
method Introduces J2+-invariant for oriented pairs of immersions, invariant under inverse tangencies and triple points. result Invariant changes under direct tangencies but remains invariant under orientation change and inverse tangencies.
Constructs universal link invariants from intersections in configuration spaces.
problem Globalise topologically all coloured Jones polynomials and ADO polynomials.
method Defines new link invariants from graded intersections in configuration spaces.
result Recover all coloured Jones polynomials and ADO polynomials for links.
New polynomial invariant distinguishes singular links.
problem Distinguishing singular links using existing invariants.
method Generalized quandle polynomial to singquandles and constructed a singular link invariant.
result New polynomial invariant distinguishes singular links with same counting invariant.
We show that the perturbative g invariant of rational homology 3-spheres can be recovered from the LMO invariant for any simple Lie algebra g, i.e, the LMO invariant is universal among the perturbative invariants. This universality was conjectured in [25]. Since the perturbative invariants dominate …
Grid homology confirms the Upsilon invariant in knot theory.
problem Verifying the equivalence of Upsilon invariants in knot theory.
method Reconstructed Upsilon invariant using grid homology and proved equivalence.
result Upsilon invariants in knot Floer and grid homology are equivalent.
New invariant CWR for alternating links is stronger than existing invariants.
problem Developing a stronger invariant for alternating links.
method Introducing CWR invariant as an array of two-variable polynomials. result The CWR invariant is stronger than classical invariants like HOMFLYPT and Kauffman polynomials. Defines knot concordance invariant using instanton homology and Donaldson invariants.
problem Knot concordance and its classification.
method Defines an invariant φ for knots in the 3-sphere using Donaldson invariants and Floer's instanton homology. result The invariant φ coincides with a special case of an invariant defined by Froyshov. Combines combinatorial method to extend Milnor invariants to welded links.
problem Extending Milnor invariants to welded links.
method Combinatorial approach.
result Invariance of extended Milnor invariants for welded links.
Paper introduces a new invariant for virtual knotoids and proves it's a Vassiliev invariant of order one.
problem Tackles the problem of understanding invariants for virtual knotoids.
method Uses a 0-smoothing invariant constructed from local modifications at classical crossings.
result Demonstrates that the 0-smoothing invariant provides less information than the gluing invariant.
New family of knots with epsilon invariant nonzero despite Upsilon and phi being zero.
problem Comparing smooth concordance invariants.
method Building an infinite family of knots.
result Found knots with epsilon invariant nonzero but Upsilon and phi zero.
We construct two knot invariants. The first knot invariant is a sum constructed using linking numbers. The second is an invariant of flat knots and is a formal sum of flat knots obtained by smoothing pairs of crossings. This invariant can be used in conjunction with other flat invariants, forming a family of invariants…
Formula connects surface and curve invariants via slice transitions.
problem Computing surface invariants from curve invariants.
method Introducing differential measures for local changes across singular slice transitions.
result Explicit formula for surface invariant change during quadruple-point events.
In this article we introduce a family of transverse invariants arising from the deformations of Khovanov homology. This family includes the invariants introduced by Plamenevskaya and by Lipshitz, Ng, and Sarkar. Then, we investigate the invariants arising from Bar-Natan's deformation. These invariants, called β-invar…
New concordance invariants phi and phi_j are defined and studied.
problem Understanding the relationships between different concordance invariants.
method Defined and analyzed new invariants phi and phi_j, and provided recursive formulas.
result Found infinitely many knots with specific combinations of zero and nonzero phi invariant.
We recall the definition of the quadratic helicity invariant and of the higher asymptotic ergodic M-invariant. We present a simpler new proof (in part) that the M-invariant is ergodic. The M-invariant is a higher invariant, this means that for the magnetic field with closed magnetic lines the invariant is not a f…