Scharlemann and Schultens have shown that for any pair of knots K_1 and K_2, w(K_1 # K_2) is greater than or equal to max{w(K_1),w(K_2)}. Scharlemann and Thompson have given a scheme for possible examples where equality holds. Using results of Scharlemann-Schultens, Rieck-Sedgwick and Thompson, it is shown that for K the connected sum of mp-small knots and K' any non-trivial knot, w(K # K')>w(K).
We show that there exists a $\mathbb{Z}^\infty$-summand in the subgroup of the knot concordance group generated by knots with trivial Alexander polynomial. To this end we use the invariant Upsilon $Υ$ recently introduced by Ozsváth, Stipsicz and Szabó using knot Floer homology. We partially compute $Υ$ of $(n,1)$-cable of the Whitehead double of the trefoil knot. For this computation of $Υ$, we determine a sufficient condition for two satellite knots to have identical $Υ$ for any pattern with nonzero winding number.
We describe an error in the proof of a key proposition, which was necessary for the proof of the main result. Alternate proofs of the main result are given by Ozsvath-Stipsicz-Szabo and Dai-Hom-Stoffregen-Truong.
We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below.
Let $K$ be a tunnel number two knot. Then, by considering the $(g, b)$-decompositions, $K$ is one of (3, 0)-, (2, 1)-, (1, 2)- or (0, 3)-knots. In the present paper, we analyze the connected sum summands of composite tunnel number two knots and give a complete table of those summands from the point of view of $(g, b)$-decompositions.
A knot $κ$ in $S^3$ is persistently foliar if, for each non-trivial boundary slope, there is a co-oriented taut foliation meeting the boundary of the knot complement transversely in a foliation by curves of that slope. For rational slopes, these foliations may be capped off by disks to obtain a co-oriented taut foliation in every manifold obtained by non-trivial Dehn surgery on that knot. We show that any composite knot with a persistently foliar summand is persistently foliar and that any nontrivial connected sum of fibered knots is persistently foliar. As an application, it follows that any …
Let k be a knot in S3. In [8], H.N. Howards and J. Schultens introduced a method to construct a manifold decomposition of double branched cover of (S3, k) from a thin position of k. In this article, we will prove that if a thin position of k induces a thin decomposition of double branched cover of (S3,k) by Howards and Schultens' method, then the thin position is the sum of prime summands by stacking a thin position of one of prime summands of k on top of a thin position of another prime summand, and so on. Therefore, k holds the nearly additivity of knot width (i.e. for k = k1#k2, w(k) = w(k1…
As a corollary of work of Ozsvath and Szabo [math.GT/0301149], it is shown that the classical concordance group of algebraically slice knots has an infinite cyclic summand and in particular is not a divisible group.
For a polygonal knot K, it is shown that a tube of radius R(K), the polygonal thickness radius, is an embedded torus. Given a thick configuration K, perturbations of size r<R(K) define satellite structures, or local knotting. We explore knotting within these tubes both theoretically and numerically. We provide bounds on perturbation radii for which we can see small trefoil and figure-eight summands and use Monte Carlo simulations to approximate the relative probabilities of these structures as a function of the number of edges.
We extend the classical definition of {\it width} to higher dimensional, smooth codimension 2 knots and show in each dimension there are knots of arbitrarily large width.
We show that for a twist knot, the A-polynomial can be obtained from recurrences for the summand in Masbaum's formula of the colored Jones polynomial. Our result supports the AJ conjecture due to S.Garoufalidis.
In "Width complexes for knots and 3-manifolds," Jennifer Schultens defines the width complex for a knot in order to understand the different positions a knot can occupy in the 3-sphere and the isotopies between these positions. She poses several questions about these width complexes; in particular, she asks whether the width complex for a knot can have local minima that are not global minima. In this paper, we find an embedding of the unknot that is a local minimum but not a global minimum in its width complex. We use this embedding to exhibit for any knot K infinitely many distinct local mini…
We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the total width) of a surface knot is a numerical invariant related to the number of points in the inverse image of a point in each of the regions. We determine the widths of certain surface knots and characterize those surface knots with small total widths. Relation to the surface braid index is also studied.
In the paper we prove the conjecture by Alexander Zupan that $w(K) \geqslant n^2w(J)$ where w denote the width and $K$ and $J$ are satellite knot and its companion with winding number $n$. Also we proved that for satellite knot with braid pattern, the equality holds.
We show that a small tree-decomposition of a knot diagram induces a small sphere-decomposition of the corresponding knot. This, in turn, implies that the knot admits a small essential planar meridional surface or a small bridge sphere. We use this to give the first examples of knots where any diagram has high tree-width. This answers a question of Burton and of Makowsky and Mariño.
It has been conjectured that the geometric invariant of knots in 3-space called the width is nearly additive. That is, letting w(K) in N denote the width of a knot K in S^3, the conjecture is that w(K # K') = w(K) + w(K') - 2. We give an example of a knot K_1 so that for K_2 any 2-bridge knot, it appears that w(K_1 # K_2) = w(K_1), contradicting the conjecture.
Thin position for knots in the 3-sphere was introduced by Gabai and has been used in a variety of contexts. We conjecture an analogue to a theorem of Schubert and Schultens concerning the bridge number of satellite knots. For a satellite knot K, we use the companion torus T to provide a lower bound for w(K), proving the conjecture for K with a 2-bridge companion. As a corollary, we find thin position for any satellite knot with a braid pattern and 2-bridge companion.
We consider compact 3-manifolds M having a submersion h to R in which each generic point inverse is a planar surface. The standard height function on a submanifold of the 3-sphere is a motivating example. To (M, h) we associate a connectivity graph G. For M in the 3-sphere, G is a tree if and only if there is a Fox reimbedding of M which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of the complement of M is a tree, then there is a level-preserving reimbedding of M so that its complement is a connected sum of…
We develop a construction suggested by Scharlemann and Thompson to obtain an infinite family of pairs of knots $K_α$ and $K'_α$ so that $w(K_α # K'_α)=max{w(K_α), w(K'_α)}$. This is the first known example of a pair of knots such that $w(K#K')<w(K)+w(K')-2$ and it establishes that the lower bound $w(K#K')\geq max{w(K),w(K')}$ obtained by Scharlemann and Schultens is best possible. Furthermore, the knots $K_α$ provide an example of knots where the number of critical points for the knot in thin position is greater than the number of critical points for the knot in bridge position.
It has been conjectured that for knots $K$ and $K'$ in $S^3$, $w(K#K')= w(K)+w(K')-2$. Scharlemann and Thompson have proposed potential counterexamples to this conjecture. For every $n$, they proposed a family of knots ${K^n_i}$ for which they conjectured that $w(B^n#K^n_i)=w(K^n_i)$ where $B^n$ is a bridge number $n$ knot. We show that for $n>2$ none of the knots in ${K^n_i}$ produces such counterexamples.
A regular circle-valued Morse function on the knot complement C(K) = S^3\K is a function f from C(K) to S^1 which separates critical points and which behaves nicely in a neighborhood of the knot. Such a function induces a handle decomposition on the knot exterior E(K) = S^3\N (K), with the property that every regular level surface contains a Seifert surface for the knot. We rearrange the handles in such a way that the regular surfaces are as simple as possible. To make this precise the concept of circular width for E(K) is introduced. When E(K) is endowed with a handle decomposition which real…
This paper gives mathematical models for flat knotted ribbons, and makes specific conjectures for the least length of ribbon (for a given width) needed to tie the trefoil knot and the figure eight knot. The first conjecture states that (for width one) the least length of ribbon needed to tie an open-ended trefoil knot is L = 4(F + 1)/Sqrt[2 + F] where F = (1 + Sqrt[5])/2 is the golden ratio. The second conjecture states that the least length of the figure eight knot (in the same sense) is 32/Sqrt[15].
The trunk of a knot in $S^3$, defined by Makoto Ozawa, is a measure of geometric complexity similar to the bridge number or width of a knot. We prove that for any two knots $K_1$ and $K_2$, we have $tr(K_1 \# K_2) = \max\{tr(K_1),tr(K_2)\}$, confirming a conjecture of Ozawa. Another conjecture of Ozawa asserts that any width-minimizing embedding of a knot $K$ also minimizes the trunk of $K$. We produce several families of probable counterexamples to this conjecture.
We investigate several integer invariants of curves in 3-space. We demonstrate relationships of these invariants to crossing number and to total curvature.
A ribbon is, intuitively, a smooth mapping of an annulus $S^1 \times I$ in 3-space having constant width $\varepsilon$. This can be formalized as a triple $(x,\varepsilon, \mathbf{u})$ where $x$ is smooth curve in 3-space and $\mathbf{u}$ is a unit vector field based along $x$. In the 1960s and 1970s, G. Calugareanu, G. H. White, and F. B. Fuller proved relationships between the geometry and topology of thin ribbons, in particular the "Link = Twist + Writhe" theorem that has been applied to help understand properties of double-stranded DNA. Although ribbons of small width have been studied ext…
To each knot $K\subset S^3$ one can associated its knot Floer homology $\hat{HFK}(K)$, a finitely generated bigraded abelian group. In general, the nonzero ranks of these homology groups lie on a finite number of slope one lines with respect to the bigrading. The width of the homology is, in essence, the largest horizontal distance between two such lines. Also, for each diagram $D$ of $K$ there is an associated Turaev surface, and the Turaev genus is the minimum genus of all Turaev surfaces for $K$. We show that the width of knot Floer homology is bounded by Turaev genus plus one. Skein relati…
We produce infinite families of knots $\{K^i\}_{i\geq 1}$ for which the set of cables $\{K^i_{p,1}\}_{i,p\geq 1}$ is linearly independent in the knot concordance group. We arrange that these examples lie arbitrarily deep in the solvable and bipolar filtrations of the knot concordance group, denoted by $\{F_n\}$ and $\{B_n\}$ respectively. As a consequence, this result cannot be reached by any combination of algebraic concordance invariants, Casson-Gordon invariants, and Heegaard-Floer invariants such as tau, epsilon, and Upsilon. We give two applications of this result. First, for any n>=0, th…
As proved by Hedden and Ording, there exist knots for which the Ozsvath-Szabo and Rasmussen smooth concordance invariants, tau and s, differ. The Hedden-Ording examples have nontrivial Alexander polynomials and are not topologically slice. It is shown in this note that a simple manipulation of the Hedden-Ording examples yields a topologically slice Alexander polynomial one knot for which tau and s differ. Manolescu and Owens have previously found a concordance invariant that is independent of both tau and s on knots of polynomial one, and as a consequence have shown that the smooth concordance…
We define two new families of invariants for (3-manifold, graph) pairs which detect the unknot and are additive under connected sum of pairs and (-1/2)-additive under trivalent vertex sum of pairs. The first of these families is closely related to both bridge number and tunnel number. The second of these families is a variation and generalization of Gabai's width for knots in the 3-sphere. We give applications to the tunnel number and higher genus bridge number of connected sums of knots.
We study Khovanov homology classes which have state cycle representatives, and examine how they interact with Jacobsson homomorphisms and Lee's map $Φ$. As an application, we describe a general procedure, quasipositive modification, for constructing H-thick knots in rational Khovanov homology. Moreover, we show that specific families of such knots cannot be detected by Khovanov's thickness criteria. We also exhibit a sequence of prime links related by quasipositive modification whose width is increasing.
We examine geometric properties of a knot J that are unchanged by taking a (p,q)-cable K of J. Specifically, we relate w(K) to w(J), where w(K) is the width of K in the sense of Gabai. We use this information to demonstrate that thin position is a minimal bridge position of J if and only if the same is true for K, and more generally we show that any thin position of K is an "obvious" cabling of a thin position of J. We conclude by proving that J is meridionally small (mp-small) if and only if K is meridionally small (mp-small), and if J is mp-small and every non-minimal bridge position of J is…
The unknotting number, hard unknot diagrams, and reinforcement learning
Google DeepMind, London, UK(谷歌深思(DeepMind),伦敦,英国);Mathematical Institute, University of Oxford, Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, UK(牛津大学数学研究所)
Wu has shown that if a link or a knot $L$ in $S^3$ in thin position has thin spheres, then the thin sphere of lowest width is an essential surface in the link complement. In this paper we show that if we further assume that $L \subset S^3$ is prime, then the thin sphere of lowest width also does not have any vertical cut-disks. We also prove the result for a specific kind of tangles in $S^2 \times [-1,1]$.