English
Related papers

Related papers: Knottedness is in NP, modulo GRH

200 papers

The truncated moment problem consists of determining whether a given finitedimensional vector of real numbers y is obtained by integrating a basis of the vector space of polynomials of bounded degree with respect to a non-negative measure…

Algebraic Geometry · Mathematics 2023-02-15 Didier Henrion , Simone Naldi , Mohab Safey El Din

We define a notion of complexity for shake-slice knots which is analogous to the definition of complexity for h-cobordisms studied by Morgan-Szab\'o. We prove that for each framing $n \ne 0$ and complexity $c \ge 0$, there is an…

Geometric Topology · Mathematics 2022-11-14 Charles Ransome Stine

Early last century witnessed both the complete classification of 2-dimensional manifolds and a proof that classification of 4-dimensional manifolds is undecidable, setting up 3-dimensional manifolds as a central battleground of topology to…

Geometric Topology · Mathematics 2013-02-28 Carl D. Modes , Marcelo O. Magnasco

We investigate properties of spatial graphs on the standard torus. It is known that nontrivial embeddings of planar graphs in the torus contain a nontrivial knot or a nonsplit link due to [1],[2]. Building on this and using the chirality of…

Geometric Topology · Mathematics 2019-05-06 Senja Barthel

The Planar Contraction problem is to test whether a given graph can be made planar by using at most k edge contractions. This problem is known to be NP-complete. We show that it is fixed-parameter tractable when parameterized by k.

Data Structures and Algorithms · Computer Science 2012-04-24 Petr A. Golovach , Pim van 't Hof , Daniel Paulusma

Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the…

Rings and Algebras · Mathematics 2007-05-23 Francesco Vaccarino

Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification…

Combinatorics · Mathematics 2008-01-17 Ovidiu Daescu , Anastasia Kurdia

It is shown that every knot or link is the set of complex tangents of a 3-sphere smoothly embedded in the three-dimensional complex space. We show in fact that a one-dimensional submanifold of a closed orientable 3-manifold can be realised…

Geometric Topology · Mathematics 2018-03-22 Naohiko Kasuya , Masamichi Takase

We define and study a bigraded knot invariant whose Euler characteristic is the Alexander polynomial, closely connected to knot Floer homology. The invariant is the homology of a chain complex whose generators correspond to Kauffman states…

Geometric Topology · Mathematics 2018-02-06 Peter Ozsvath , Zoltan Szabo

The knotting probability is defined by the probability with which an $N$-step self-avoiding polygon (SAP) with a fixed type of knot appears in the configuration space. We evaluate these probabilities for some knot types on a simple cubic…

Statistical Mechanics · Physics 2009-11-07 Akihisa Yao , Hiroshi Matsuda , Hiroshi Tsukahara , Miyuki K. Shimamura , Tetsuo Deguchi

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

The problem Cover(H) asks whether an input graph G covers a fixed graph H (i.e., whether there exists a homomorphism G to H which locally preserves the structure of the graphs). Complexity of this problem has been intensively studied. In…

Combinatorics · Mathematics 2011-08-20 Ondřej Bílka , Jozef Jirásek , Pavel Klavík , Martin Tancer , Jan Volec

The relationship between the complexity classes P and NP is a question that has not yet been answered by the Theory of Computation. The existence of a language in NP, proven not to belong to P, is sufficient evidence to establish the…

Computational Complexity · Computer Science 2014-07-08 Frank Vega Delgado

The lectures review the state of affairs in modern branch of mathematical physics called probabilistic topology. In particular we consider the following problems: (i) We estimate the probability of a trivial knot formation on the lattice…

Statistical Mechanics · Physics 2007-05-23 Sergei Nechaev

Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL…

Metric Geometry · Mathematics 2014-09-30 Michael Freedman , Vyacheslav Krushkal

Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R^{n x n} are stable. In particular, we are interested whether there exist…

Optimization and Control · Mathematics 2009-01-15 L. Gurvits , A. Olshevsky

Generalized knot groups $G_n(K)$ were introduced independently by Kelly (1991) and Wada (1992). We prove that $G_2(K)$ determines the unoriented knot type and sketch a proof of the same for $G_n(K)$ for $n>2$.

Geometric Topology · Mathematics 2009-01-15 Sam Nelson , Walter D. Neumann

We point out the connection between mathematical knot theory and spin glass/search problem. In particular, we present a statistical mechanical formulation of the problem of computing a knot invariant; p-colorability problem, which provides…

Disordered Systems and Neural Networks · Physics 2015-06-03 Chihiro H. Nakajima , Takahiro Sakaue

Let G be an undirected simple graph having n vertices and let f be a function defined to be f:V(G) -> {0,..., n-1}. An f-factor of G is a spanning subgraph H such that degree of a vertex v in H is f(v) for every vertex v in V(G). The…

Computational Complexity · Computer Science 2018-12-06 R. Ganian , N. S. Narayanaswamy , S. Ordyniak , C. S. Rahul , M. S. Ramanujan

This paper focuses on the graphs in the Petersen family, the set of minor minimal intrinsically linked graphs. We prove there is a relationship between algebraic linking of an embedding and knotting in an embedding. We also present a more…

Geometric Topology · Mathematics 2010-08-03 Danielle O'Donnol