English
Related papers

Related papers: A polynomial upper bound on Reidemeister moves for…

200 papers

We study the computational complexity of the optimal transport problem that evaluates the Wasserstein distance between the distributions of two K-dimensional discrete random vectors. The best known algorithms for this problem run in…

Optimization and Control · Mathematics 2022-10-17 Bahar Taşkesen , Soroosh Shafieezadeh-Abadeh , Daniel Kuhn , Karthik Natarajan

The $k$-independence number of a graph is the maximum size of a set of vertices at pairwise distance greater than $k$. A graph is called $k$-partially walk-regular if the number of closed walks of a given length $l\le k$, rooted at a vertex…

Combinatorics · Mathematics 2019-11-26 M. A. Fiol

We develop a theory of link projections to trivalent spines of 3-manifolds. We prove a Reidemeister Theorem providing a set of combinatorial moves sufficient to relate the projections of isotopic links. We also show that any link admits a…

Geometric Topology · Mathematics 2024-05-13 Jack Brand , Benjamin A. Burton , Zsuzsanna Dancso , Alexander He , Adele Jackson , Joan Licata

Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of…

Data Structures and Algorithms · Computer Science 2022-02-01 Yu Nakahata

We describe a method of encoding various types of link diagrams, including those with classical, flat, rigid, welded, and virtual crossings. We show that this method may be used to encode link diagrams, up to equivalence, in a notation…

Geometric Topology · Mathematics 2013-05-03 Chad Musick

In the dynamic network model, the communication graph is assumed to be connected in every round but is otherwise arbitrary. We consider the related setting of $p$-partitioned dynamic networks, in which the communication graph in each round…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-08-05 Adam Sealfon , Aikaterini Sotiraki

We use Andrew Baker's analysis of the cofiber of the endomorphism of the $p$-adic elliptic spectrum ($p>3$) defined by multiplication by the `Hasse invariant' $E_{p-1}$ to present its completion away from the locus of ordinary elliptic…

Algebraic Topology · Mathematics 2020-07-07 Jack Morava

We consider Kempe changes on the $k$-colorings of a graph on $n$ vertices. If the graph is $(k-1)$-degenerate, then all its $k$-colorings are equivalent up to Kempe changes. However, the sequence between two $k$-colorings that arises from…

Combinatorics · Mathematics 2021-12-07 Marthe Bonamy , Vincent Delecroix , Clément Legrand-Duchesne

The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph…

Geometric Topology · Mathematics 2020-08-14 Daniel S. Silver , Susan G. Williams

We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot…

Geometric Topology · Mathematics 2021-04-16 Wei Lin

The support of a flow $x$ in a network is the subdigraph induced by the arcs $uv$ for which $x(uv)>0$. We discuss a number of results on flows in networks where we put certain restrictions on structure of the support of the flow. Many of…

Discrete Mathematics · Computer Science 2024-05-16 Stéphane Bessy , Jørgen Bang-Jensen , Lucas Picasarri-Arrieta

An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t…

Combinatorics · Mathematics 2019-10-17 Hoang Dau , Olgica Milenkovic , Gregory J. Puleo

In the previous paper, we considered a link diagram invariant of Hass and Nowik type using regular smoothing and unknotting number, to estimate the number of Reidemeister moves needed for unlinking. In this paper, we introduce a new link…

Geometric Topology · Mathematics 2011-03-29 Chuichiro Hayashi , Miwa Hayashi

Classes of polynomial differential equations of degree n are considered. An explicit upper bound on the size of the coefficients are given which implies that each equation in the class has exactly n complex periodic solutions. In most of…

Classical Analysis and ODEs · Mathematics 2009-04-20 M. A. M. Alwash

Let $K\subset S^3$ be a knot, $X:= S^3\setminus K$ its complement, and $\mathbb{T}$ the circle group identified with $\mathbb{R}/\mathbb{Z}$. To any oriented long knot diagram of $K$, we associate a quadratic polynomial in variables…

Geometric Topology · Mathematics 2017-04-25 Rinat Kashaev

A bipartite graph $G = (X \cup Y, E)$ is a 2-layer $k$-planar graph if it admits a drawing on the plane such that the vertices in $X$ and $Y$ are placed on two parallel lines respectively, edges are drawn as straight-line segments, and…

Discrete Mathematics · Computer Science 2026-02-20 Yuto Okada

Not every directed acyclic graph (DAG) whose underlying undirected graph is planar admits an upward planar drawing. We are interested in pushing the notion of upward drawings beyond planarity by considering upward $k$-planar drawings of…

Let $P$ be a set of $n$ points and $Q$ a convex $k$-gon in ${\mathbb R}^2$. We analyze in detail the topological (or discrete) changes in the structure of the Voronoi diagram and the Delaunay triangulation of $P$, under the convex distance…

Computational Geometry · Computer Science 2014-04-21 Pankaj K. Agarwal , Haim Kaplan , Natan Rubin , Micha Sharir

In this paper, we study knot diagrams for which the underlying graph has treewidth two. We give a linear time algorithm for the following problem: given a knot diagram of treewidth two, does it represent the unknot? We also show that for a…

Data Structures and Algorithms · Computer Science 2019-04-09 Hans L. Bodlaender , Benjamin Burton , Fedor V. Fomin , Alexander Grigoriev

We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330-338) by proving that it is NP-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show…

Computational Complexity · Computer Science 2019-05-14 Juho Lauri , Christodoulos Mitillos