Related papers: Knots, Braids and First Order Logic
In \cite{Kim} it is shown that knots in $S_{g} \times S^{1}$ can be presented by virtual diagrams with a decoration, so called, {\em double lines}. In this paper, we study the essential diagram for each knot in $S_{g} \times S^{1}$, which…
We define a set of "second-order" L^(2)-signature invariants for any algebraically slice knot. These obstruct a knot's being a slice knot and generalize Casson-Gordon invariants, which we consider to be "first-order signatures". As one…
We construct a map from knots to (abstract) 2-knots which can be extended to higher dimensions; this map is the natural "knot" counterpart for "braid" theory of groups $G_{n}^{k}$.
For all n > 0 there is a homomorphism from the smooth concordance group of knots in dimension 2n + 1 to an algebraically defined group called the rational algebraic concordance group. This algebraic concordance group splits as a direct sum…
We introduce topological invariants of knots and braid conjugacy classes, in the form of differential graded algebras, and present an explicit combinatorial formulation for these invariants. The algebras conjecturally give the relative…
In this report, I will start by first giving a brief introduction on knots to build some intuition before beginning the more rigorous review in the Literature Review section. There, I will define knot equivalence, the Jones polynomial…
In this paper, we prove than given two cubic knots $K_1$, $K_2$ in $\mathbb{R}^3$, they are isotopic if and only if one can pass from one to the other by a finite sequence of cubulated moves. These moves are analogous to the Reidemeister…
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a…
Historically originated as a sub-field of topology, knot theory is an active area of mathematical investigation that has strong connections with a diverse set of scientific fields such as algebra, biology, and statistical mechanics. A…
We partially determine grid homology (combinatorial knot Floer homology) of diagonal knots, which are conjectured to be equivalent to positive braid knots, by exploiting nice grid diagrams. Its next-to-top term detects the number of prime…
Knots are familiar entities that appear at a captivating nexus of art, technology, mathematics, and science. As topologically stable objects within field theories, they have been speculatively proposed as explanations for diverse persistent…
One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…
To determine whether a number is congruent or not is an old and difficult topic and progress is slow. The paper presents a new theorem when a prime number is a congruent number or not. The proof is not necessarily any simpler or shorter…
A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified…
The transient number of a knot K, denoted tr(K), is the minimal number of simple arcs that have to be attached to K, in order that K can be homotoped to a trivial knot in a regular neighborhood of the union of K and the arcs. We give a…
After Dirac introduced the monopole, topological objects have played increasingly important roles in physics. In this review we discuss the role of the knot, the most sophisticated topological object in physics, and related topological…
I briefly discuss a method of obtaining distinct classes of topologically equivalent knots by developing appropriate computer programs.
We propose a new method of computing cohomology groups of spaces of knots in $\R^n$, $n \ge 3$, based on the topology of configuration spaces and two-connected graphs, and calculate all such classes of order $\le 3.$ As a byproduct we…
We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the…
Blocked clauses provide the basis for powerful reasoning techniques used in SAT, QBF, and DQBF solving. Their definition, which relies on a simple syntactic criterion, guarantees that they are both redundant and easy to find. In this paper,…