Related papers: Knots, Braids and First Order Logic
For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological…
This article fits in the area of research that investigates the application of topological duality methods to problems that appear in theoretical computer science. One of the eventual goals of this approach is to derive results in…
We introduce a geometric invariant of knots in the three-sphere, called the first-order genus, that is derived from certain 2-complexes called gropes, and we show it is computable for many examples. While computing this invariant, we draw…
Recent work suggests that topological features of certain quantum gravity theories can be interpreted as particles, matching the known fermions and bosons of the first generation in the Standard Model. This is achieved by identifying…
We show that a regular isomorphism of profinite completion of the fundamental groups of two 3-manifolds $N_1$ and $N_2$ induces an isometry of the Thurston norms and a bijection between the fibered classes. We study to what extent does the…
Two knots are homology concordant if they are smoothly concordant in a homology cobordism. The group $\hat{\mathcal{C}}_{\mathbb{Z}}$ (resp. $\mathcal{C}_{\mathbb{Z}}$) was previously defined as the set of knots in homology spheres that…
A Chebyshev knot ${\cal C}(a,b,c,\phi)$ is a knot which has a parametrization of the form $ x(t)=T_a(t); y(t)=T_b(t) ; z(t)= T_c(t + \phi), $ where $a,b,c$ are integers, $T_n(t)$ is the Chebyshev polynomial of degree $n$ and $\phi \in \R.$…
Any knot $K$ in genus-$1$ $1$-bridge position can be moved by isotopy to lie in a union of $n$ parallel tori tubed by $n-1$ tubes so that $K$ intersects each tube in two spanning arcs, which we call a leveling of the position. The minimal…
Knots have a twisted history in quantum physics. They were abandoned as failed models of atoms. Only much later was the connection between knot invariants and Wilson loops in topological quantum field theory discovered. Here we show that…
2-dimensional knots and links are studied in the article. The notion of parity is introduced via techniques similar to the ones used by the second named author in 1-dimensional case. By using parity new invariants are constructed and known…
We show that every knot has a checkerbord diagram and that every knot is the closure of a rosette braid. We define Fourier knots of type (n_1, n_2, n_3) as knots which have parametrizations where each coordinate function x_i(t) is a finite…
Each ruling of a Legendrian link can be naturally treated as a surface. For knots, the ruling is 2-graded if and only if the surface is orientable. For 2-graded rulings of homogeneous (in particular, alternating) knots, we prove that the…
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using a theorem prover to try to establish a positive result…
We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the…
Let K be a knot in the 3-sphere with 2-fold branched covering space M. If for some prime p congruent to 3 mod 4 the p-torsion in the first homology of M is cyclic with odd exponent, then K is of infinite order in the knot concordance group.…
Talk 1: Open problems in knot theory that everyone can try to solve. Knot theory is more than two hundred years old; the first scientists who considered knots as mathematical objects were A.Vandermonde (1771) and C.F.Gauss (1794). However,…
It is sometimes said that there may be a unique algebraic theory independent of space-time topologies which underlies superstring and p-brane theories. In this paper, I construct some algebras using knot relations within the framework of…
We prove that every knot type in $\mathbb{R}^3$ can be parametrised by a smooth function $f:S^1\to\mathbb{R}^3$, $f(t)=(x(t),y(t),z(t))$ such that all derivatives $f^{(n)}(t)=(x^{(n)}(t),y^{(n)}(t),z^{(n)}(t))$, $n\in\mathbb{N}$,…
There is an infinitely generated free subgroup of the smooth knot concordance group with the property that no nontrivial element in this subgroup can be represented by an alternating knot. This subgroup has the further property that every…
We construct two complete invariants of oriented classical knots in space. The value of each invariant on any knot is a set, infinite for the first invariant and finite for the second. The finite set is computed algorithmically from any…