arXiv research

In the classical knot theory there is a well-known notion of descending diagram. From an arbitrary diagram one can easily obtain, by some crossing changes, a descending diagram which is a diagram of the unknot or unlink. In this paper the notion of descending diagram for knots and links in the real space is extended to…

Robot untangles knots by walking and switching crossings.

In this paper, we introduce a new type of relation between knots called the descendant relation. One knot $H$ is a descendant of another knot $K$ if $H$ can be obtained from a minimal crossing diagram of $K$ by some number of crossing changes. We explore properties of the descendant relation and study how certain knots…

The paper studies unknotting operations and numbers for plus-welded knotoids.

We introduce a new numerical invariant of knots and links from the descending diagrams. It is considered to live between the unknotting number and the bridge number.

We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show…

Planar pure braids form a group that acts on a CAT(0) cubical complex.

The paper characterizes and examines nilpotent complex structures on stratified Lie algebras.

The most general construction of double affine Artin groups (DAAG) and Hecke algebras (DAHA) associates such objects to pairs of compatible reductive group data. We show that DAAG/DAHA always admit a faithful action by automorphisms of a finite index subgroup of the Artin group of type $A_{2}$, which descends to a fait…

Descending phase retrieval algorithms show a phase transition with increasing sample complexity.

Suppose $TM\setminus \{0\}$ and $T\widetilde M\setminus\{0\}$ are slashed tangent bundles of two smooth manifolds $M$ and $\widetilde M$, respectively. In this paper we characterize those diffeomorphisms $F\colon TM\setminus\{0\} \to T\widetilde M\setminus\{0\}$ that can be written as $F = (Dφ)|_{TM\setminus\{0\}}$ for…

Polyak proved that the set $\{\Omega1a,\Omega1b,\Omega2a,\Omega3a\}$ is a minimal generating set of oriented Reidemeister moves. One may distinguish between forward and backward moves, obtaining $32$ different types of moves, which we call directed oriented Reidemeister moves. In this article we prove that the set of $…

This is the second part in a series of two papers. The $k$-Dirac complex is a complex of differential operators which are natural to a particular $|2|$-graded parabolic geometry. In this paper we will consider the $k$-Dirac complex over a homogeneous space of the parabolic geometry and as a first result, we will prove …

Holomorphic quantum modular forms linked to knot volumes.

The purpose of this note is introduce a new axiom (called the Descent Axiom) in the theory of $r$-spin cohomological field theories. This axiom explains the origin of gravitational descendants in this theory. Furthermore, the Descent Axiom immediately implies the Vanishing Axiom, explicating the latter (which has no a …

We study finite type invariants of nullhomologous knots in a closed 3-manifold $M$ defined in terms of certain descending filtration $\{\mathscr{K}_n(M)\}_{n\geq 0}$ of the vector space $\mathscr{K}(M)$ spanned by isotopy classes of nullhomologous knots in $M$. The filtration $\{\mathscr{K}_n(M)\}_{n \geq 0}$ is define…

New algorithms handle phase retrieval with rank d measurements, revealing phase transitions.

We study the existence of $S^1$-equivariant characteristic classes on certain natural infinite rank bundles over the loop space $LM$ of a manifold $M$. We discuss the different $S^1$-equivariant cohomology theories in the literature and clarify their relationships. We attempt to use $S^1$-equivariant Chern-Weil techniq…

Poly-free groups are constructed as iterated semidirect products of free groups. The class of poly-free groups includes the classical pure braid groups, fundamental groups of fiber-type hyperplane arrangements, and certain subgroups of the automorphism groups of free groups. The purpose of this article is to compute ce…

Phylogenetic tree inference using deep DNA sequencing is reshaping our understanding of rapidly evolving systems, such as the within-host battle between viruses and the immune system. Densely sampled phylogenetic trees can contain special features, including "sampled ancestors" in which we sequence a genotype along wit…

We study geodesic equations for a family of right-invariant Riemannian metrics on the group of diffeomorphisms of a compact manifold. The metrics descend to Fisher's information metric on the space of smooth probability densities. The right reduced geodesic equations are higher-dimensional generalisations of the $μ$--H…

We investigate Friedl-Lück's universal $L^2$-torsion for descending HNN extensions of finitely generated free groups, and so in particular for $F_n$-by-$\mathbb{Z}$ groups. This invariant induces a semi-norm on the first cohomology of the group which is an analogue of the Thurston norm for $3$-manifold groups. We prove…

The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the…

A new approach to maximum likelihood learning of discrete graphical models and RBM in particular is introduced. Our method, Perturb and Descend (PD) is inspired by two ideas (I) perturb and MAP method for sampling (II) learning by Contrastive Divergence minimization. In contrast to perturb and MAP, PD leverages trainin…

A flow from hypersymplectic to hyperkähler structures is described.

Study on descent properties of complex affine surfaces under proper morphisms.

New method for selective prediction under interventions learns causal structure from data.

Discrete linear Weingarten surfaces in space forms are characterized as special discrete $Ω$-nets, a discrete analogue of Demoulin's $Ω$-surfaces. It is shown that the Lie-geometric deformation of $Ω$-nets descends to a Lawson transformation for discrete linear Weingarten surfaces, which coincides with the well-known L…

The purpose of this paper is to describe certain natural 4-vector fields on quaternionic flag manifolds, which geometrically determine the Bruhat cell decomposition. This structure naturally descends from the symplectic group, where it is related to the dressing action given by the Iwasawa decomposition of the general …

The paper refines transformations of lattice diagrams and introduces dotted diagrams.

Two critical questions about intergenerational outcomes are: one, whether significant barriers or traps exist between different social or economic strata; and two, the extent to which intergenerational outcomes do (or can be used to) affect individual investment and consumption decisions. We develop a model to explicit…

Paper connects neural networks to Gaussian processes for understanding double-descent.

This note explains how to transform Heegaard diagrams into framed link diagrams.

A new algorithm FastGM speeds up generating Gumbel-Max variables.

New minimal link diagrams found, including torus links and homogeneous ones.

A second-order differential identity for the Riemann tensor is obtained, on a manifold with symmetric connection. Several old and some new differential identities for the Riemann and Ricci tensors descend from it. Applications to manifolds with Recurrent or Symmetric structures are discussed. The new structure of K-rec…

We discuss the Ribaucour transformation of Legendre maps in Lie sphere geometry. In this context, we give a simple conceptual proof of Bianchi's original Permutability Theorem and its generalisation by Dajczer--Tojeiro. We go on to formulate and prove a higher dimensional version of the Permutability Theorem. It is sho…

Algorithm converts Kirby diagrams to trisection diagrams for 4-manifolds.

Kernelized Taylor diagram visualizes data populations with fewer assumptions.

Constructs explicit $p$-harmonic functions on Grassmannians and flag manifolds.

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 …

Study categorizes knots and links as rigid or shaky based on Reidemeister moves.

Twisted graph diagrams are virtual graph diagrams with bars on edges. A bijection between abstract graph diagrams and twisted graph diagrams is constructed. Then a polynomial invariant of Yamada-type is developed which provides a lower bound for the virtual crossing number of virtual graph diagrams.

We prove two tropical gluing formulae for Gromov-Witten invariants of exploded manifolds, useful for calculating Gromov-Witten invariants of a symplectic manifold using a normal-crossing degeneration. The first formula generalizes the symplectic-sum formula for Gromov-Witten invariants. The second formula is stronger, …

In this work we construct Calabi quasi-morphisms on the universal cover of the group Ham(M) of Hamiltonian diffeomorphisms for some non-monotone symplectic manifolds. This complements a result by Entov and Polterovich which applies in the monotone case. Moreover, in contrast to their work, we show that these quasi-morp…

Bayesian interpretation explains double descent in deep learning models.

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. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link d…

Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of …