Related papers: Knots, Braids and First Order Logic
A knot in a thickened surface $K$ is a smooth embedding $K:S^1 \rightarrow \Sigma \times [0,1]$, where $\Sigma$ is a closed, connected, orientable surface. There is a bijective correspondence between knots in $S^2 \times [0,1]$ and knots in…
For every integer g, we construct a 2-solvable and 2-bipolar knot whose topological 4-genus is greater than g. Note that 2-solvable knots are in particular algebraically slice and have vanishing Casson-Gordon obstructions. Similarly all…
In the study of ribbon knots, Lamm introduced symmetric unions inspired by earlier work of Kinoshita and Terasaka. We show an identity between the twisted Alexander polynomials of a symmetric union and its partial knot. As a corollary, we…
Knots are deeply entangled with every branch of science. One of the biggest open challenges in knot theory is to formalise a knot invariant that can unambiguously and efficiently distinguish any two knotted curves. Additionally, the…
The study of various decision problems for logic fragments has a long history in computer science. This paper is on the membership problem for a fragment of first-order logic over infinite words; the membership problem asks for a given…
We consider ribbon n-knots for n\geq 2. For such knots we define a set of moves on ribbon disks, and show that any two ribbon disks for isotopic knots are related by a finite sequence of such moves and ambient isotopies. Using this we are…
We find further evidence for the conjecture relating large N Chern-Simons theory on S^3 with topological string on the resolved conifold geometry by showing that the Wilson loop observable of a simple knot on S^3 (for any representation)…
We say that a link $L_1$ is an s-major of a link $L_2$ if any diagram of $L_1$ can be transformed into a diagram of $L_2$ by changing some crossings and smoothing some crossings. This relation is a partial ordering on the set of all prime…
In this paper we consider first-order logic theorem proving and model building via approximation and instantiation. Given a clause set we propose its approximation into a simplified clause set where satisfiability is decidable. The…
Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are…
We study the properties of glued knots, a sub-class of real rational knots, that can be constructed by gluing ellipses. We define an invariant called the gluing degree and relate it to various classical properties of knots and classify all…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
This paper contains linear systems of equations which can distinguish knots without knot invariants. Let $M_n$ be the topological moduli space of all n-component string links and such that a fixed projection into the plane is an immersion.…
This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of…
We derive a linear estimate of the signature of positive knots, in terms of their genus. As an application, we show that every knot concordance class contains at most finitely many positive knots.
We introduce and explore the relation between knot invariants and quiver representation theory, which follows from the identification of quiver quantum mechanics in D-brane systems representing knots. We identify various structural…
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single obstruction. To achieve this we impose…
The problem of classification of Legendrian knots (links) up to isotopy in the class of Legendrian embeddings (Legendrian isotopy) naturally leads to the following two subproblems. The first of them is: which combinations of the three…
Musical gestures connect the symbolic layer of the score to the physical layer of sound. I focus here on the mathematical theory of musical gestures, and I propose its generalization to include braids and knots. In this way, it is possible…
This paper introduces the concept of a Fourier knot. A Fourier knot is a knot that is represented by a parametrized curve in three dimensional space such that the coordinate functions are finite Fourier series in the parameter. The…