arXiv research

New combinatorial type helps distinguish plane curve topologies.

The present paper produces examples of Gauss diagram formulae for virtual knot invariants which have no analogue in the classical knot case. These combinatorial formulae contain additional information about how a subdiagram is embedded in a virtual knot diagram. The additional information comes from the second author's…

We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres …

Real Lagrangians in toric manifolds are classified by combinatorial data.

In this paper we provide a new Bennequin-type inequality for the Rasmussen- Beliakova-Wehrli invariant, featuring the numerical transverse braid invariants (the c-invariants) introduced by the author. From the Bennequin type-inequality, and a combinatorial bound on the value of the c-invariants, we deduce a new computa…

In this article we give combinatorial criteria to decide whether a transitive cyclic combinatorial d-manifold can be generalized to an infinite family of such complexes, together with an explicit construction in the case that such a family exists. In addition, we substantially extend the classification of combinatorial…

Let a $A$ be the 1-skeleton of a triangulated topological annulus. We establish bounds on the combinatorial modulus of a refinement $A'$, formed by attaching new vertices and edges to $A$, that depend only on the refinement and not on the structure of $A$ itself. This immediately applies to showing that a disk triangul…

We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a number of known results. New results include a combinatorial characterization of c…

Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unorde…

The paper finds hyperbolic metrics on surfaces with boundary using combinatorial curvature flows.

Goussarov, Polyak, and Viro proved that finite type invariants of knots are ``finitely multi-local'', meaning that on a knot diagram, sums of quantities, defined by local information, determine the value of the knot invariant. The result implies the existence of Gauss diagram combinatorial formulas for finite type inva…

Advances combinatorial complexes for better modeling of hierarchical and set-type relations.

We study the moduli space of euclidean structures with cone points on a surface, and describe a decomposition into cells each of which corresponds to a given combinatorial type of Delaunay tessellation. We use some of the ideas to study hyperbolic structures on three-dimensional manifolds

Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large gluing heights. Specifically, we show the existence and uniqueness of hyperbolic me…

The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a non-degenerate scalar product. Moreover, as a bypass result, we recover the existe…

Alexander method extended to infinite-type surfaces.

The study broadens the concept of cyclic polytopes to Veronese polytopes.

New method classifies spinor orbits in dimensions up to 14.

Following the general strategy proposed by G.Rybnikov, we present a proof of his well-known result, that is, the existence of two arrangements of lines having the same combinatorial type, but non-isomorphic fundamental groups. To do so, the Alexander Invariant and certain invariants of combinatorial line arrangements a…

In this paper we present the Ricci curvature on cell-complexes and show the Gauss-Bonnnet type theorem on graphs and 2-complex that decomposes closed surface. The defferential forms on a cell complex is defined as linear maps on chain complex, and Laplacian operates this defferential forms. Then we construct the Bochne…

Floer constructs homology from flow lines in generalized dynamical systems and combinatorial vector fields.

If a real value invariant of compact combinatorial manifolds (with or without boundary) depends only on the number of simplices in each dimension on the manifold, then the invariant is completely determined by Euler characteristics of the manifold and its boundary. So essentially, Euler characteristic is the unique inv…

It is shown that for any piecewise-linear closed orientable manifold of odd dimension there exists an invariantly defined metric on the determinant line of cohomology with coefficients in an arbitrary flat bundle E over the manifold (E is not required to be unimodular). The construction of this metric (called Poincare …

The paper explores orthogeodesics on hyperbolic surfaces and their integer traces.

We combinatorially describe the $2$-category of singular cobordisms, called (rank one) foams, which governs the functorial version of Khovanov homology. As an application we topologically realize the type $\mathrm{D}$ arc algebra using this singular cobordism construction.

The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial …

Deep learning uncovers patterns between knot types.

We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for co…

We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of log-resolution logarithmic forms on $\mathbb P^2$. As a first consequence, we de…

Algorithm constructs and classifies weaving diagrams using combinatorial methods.

New combinatorial model for Milnor fibration using oriented matroids.

A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain combinatorial types. These formulas generalize the calculation of a linking number by coun…

We extend our generic rigidity theory for periodic frameworks in the plane to frameworks with a broader class of crystallographic symmetry. Along the way we introduce a new class of combinatorial matroids and associated linear representation results that may be interesting in their own right. The same techniques immedi…

Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by consi…

Researchers solve 3D cube complex boundary rigidity problem.

The study finds all possible 3D polytopes in Riemannian 3-manifolds with positive scalar curvature.

We use a variational principle to prove an existence and uniqueness theorem for planar weighted Delaunay triangulations (with non-intersecting site-circles) with prescribed combinatorial type and circle intersection angles. Such weighted Delaunay triangulations may be interpreted as images of hyperbolic polyhedra with …

Linear-time graph optimization using reinforcement learning.

In graph theory there are intimate connections between the expansion properties of a graph and the spectrum of its Laplacian. In this paper we define a notion of combinatorial expansion for simplicial complexes of general dimension, and prove that similar connections exist between the combinatorial expansion of a compl…

A new deep learning framework for topological data.

The paper tackles prescribing discrete Gaussian curvature on polyhedral surfaces.

A Gauss diagram is a simple, combinatorial way to present a link. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting subdiagrams of certain combinatorial types. In this paper we present simple formulas for an infinite family of invariants in terms of counting su…

We describe the first part of a gluing theory for the bigraded Khovanov homology with integer coefficients. This part associates a type D structure to a tangle properly embedded in a half-space and proves that the homotopy class of the type D structure is an invariant of the isotopy class of the tangle. The constructio…

Paper analyzes FTPL's effectiveness in combinatorial semi-bandit problems.

Reduces conjecture for Artin groups to simpler cases.

We present a combinatorial method for a calculation of knot Floer homology with Z-coefficient of (1,1)-knots, and then demonstrate it for non-alternating (1,1)-knots with ten crossings and the pretzel knots of type (-2,m,n). Our calculations determine the unknotting numbers and 4-genera of the pretzel knots of this typ…

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low de…

Constructs combinatorial 2D topological field theories from cyclic A-infinity algebras.