-
Learning bridge numbers of knots
Authors:
Hanh Vo,
Puttipong Pongtanapaisan,
Thieu Nguyen
Abstract:
This paper employs various computational techniques to determine the bridge numbers of both classical and virtual knots. For classical knots, there is no ambiguity of what the bridge number means. For virtual knots, there are multiple natural definitions of bridge number, and we demonstrate that the difference can be arbitrarily far apart. We then acquired two datasets, one for classical and one f…
▽ More
This paper employs various computational techniques to determine the bridge numbers of both classical and virtual knots. For classical knots, there is no ambiguity of what the bridge number means. For virtual knots, there are multiple natural definitions of bridge number, and we demonstrate that the difference can be arbitrarily far apart. We then acquired two datasets, one for classical and one for virtual knots, each comprising over one million labeled data points. With the data, we conduct experiments to evaluate the effectiveness of common machine learning models in classifying knots based on their bridge numbers.
△ Less
Submitted 29 April, 2024;
originally announced May 2024.
-
Widths of links via diagram colorings
Authors:
Ricky Lee,
Puttipong Pongtanapaisan,
Hanh Vo
Abstract:
In this paper, we define invariants of links in terms of colorings of link diagrams and prove that these invariants coincide with various notions of widths of links with respect to the standard Morse function. Our formulations are advantageous because they are algorithmic and suitable for program implementations. As an application, we calculate the max-width of over 10000 links up to 14 crossings…
▽ More
In this paper, we define invariants of links in terms of colorings of link diagrams and prove that these invariants coincide with various notions of widths of links with respect to the standard Morse function. Our formulations are advantageous because they are algorithmic and suitable for program implementations. As an application, we calculate the max-width of over 10000 links up to 14 crossings from the link table.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Planar stick indices of some knotted graphs
Authors:
Tirasan Khandhawit,
Puttipong Pongtanapaisan,
Athibadee Wasun
Abstract:
Two isomorphic graphs can have inequivalent spatial embeddings in 3-space. In this way, an isomorphism class of graphs contains many spatial graph types. A common way to measure the complexity of a spatial graph type is to count the minimum number of straight sticks needed for its construction in 3-space. In this paper, we give estimates of this quantity by enumerating stick diagrams in a plane. I…
▽ More
Two isomorphic graphs can have inequivalent spatial embeddings in 3-space. In this way, an isomorphism class of graphs contains many spatial graph types. A common way to measure the complexity of a spatial graph type is to count the minimum number of straight sticks needed for its construction in 3-space. In this paper, we give estimates of this quantity by enumerating stick diagrams in a plane. In particular, we compute the planar stick indices of knotted graphs with low crossing numbers. We also show that if a bouquet graph or a theta-curve has the property that its proper subgraphs are all trivial, then the planar stick index must be at least seven.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Pants distances of knotted surfaces in 4-manifolds
Authors:
Román Aranda,
Sarah Blackwell,
Devashi Gulati,
Homayun Karimi,
Geunyoung Kim,
Nicholas Paul Meyer,
Puttipong Pongtanapaisan
Abstract:
We define a pants distance for knotted surfaces in 4-manifolds which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not surpass a theoretical bound in terms of the multisection genus, then the (4-manifold, surface) pair has a simple topology. Furthermore, we calculate the exact value…
▽ More
We define a pants distance for knotted surfaces in 4-manifolds which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not surpass a theoretical bound in terms of the multisection genus, then the (4-manifold, surface) pair has a simple topology. Furthermore, we calculate the exact values of our invariants for many new examples such as the spun lens spaces. We provide a characterization of genus two quadrisections with distance at most six.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Quandle coloring quivers and 2-bridge links
Authors:
Tirasan Khandhawit,
Korn Kruaykitanon,
Puttipong Pongtanapaisan
Abstract:
The quandle coloring quiver was introduced by Cho and Nelson as a categorification of the quandle coloring number. In some cases, it has been shown that the quiver invariant offers more information than other quandle enhancements. In this paper, we compute the quandle coloring quivers of 2-bridge links with respect to the dihedral quandles.
The quandle coloring quiver was introduced by Cho and Nelson as a categorification of the quandle coloring number. In some cases, it has been shown that the quiver invariant offers more information than other quandle enhancements. In this paper, we compute the quandle coloring quivers of 2-bridge links with respect to the dihedral quandles.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Modeling knotted proteins with tangles
Authors:
Isabel K. Darcy,
Garrett Jones,
Puttipong Pongtanapaisan
Abstract:
Although rare, an increasing number of proteins have been observed to contain entanglements in their native structures. To gain more insight into the significance of protein knotting, researchers have been investigating protein knot formation using both experimental and theoretical methods. Motivated by the hypothesized folding pathway of $α$-haloacid dehalogenase (DehI) protein, Flapan, He, and W…
▽ More
Although rare, an increasing number of proteins have been observed to contain entanglements in their native structures. To gain more insight into the significance of protein knotting, researchers have been investigating protein knot formation using both experimental and theoretical methods. Motivated by the hypothesized folding pathway of $α$-haloacid dehalogenase (DehI) protein, Flapan, He, and Wong proposed a theory of how protein knots form, which includes existing folding pathways described by Taylor and Bölinger et al. as special cases. In their topological descriptions, two loops in an unknotted open protein chain containing at most two twists each come close together, and one end of the protein eventually passes through the two loops. In this paper, we build on Flapan, He, and Wong's theory where we pay attention to the crossing signs of the threading process and assume that the unknotted protein chain may arrange itself into a more complicated configuration before threading occurs. We then apply tangle calculus, originally developed by Ernst and Sumners to analyze the action of specific proteins on DNA, to give all possible knots or knotoids that may be discovered in the future according to our model and give recipes for engineering specific knots in proteins from simpler pieces. We show why twists knots are the most likely knots to occur in proteins. We use chirality to show that the most likely knots to occur in proteins via Taylor's twisted hairpin model are the knots $+3_1$, $4_1$, and $-5_2$.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Graphoids
Authors:
Neslihan Gügümcü,
Louis H. Kauffman,
Puttipong Pongtanapaisan
Abstract:
We study invariants of virtual graphoids, which are virtual spatial graph diagrams with two distinguished degree-one vertices modulo graph Reidemeister moves applied away from the distinguished vertices. Generalizing previously known results, we give topological interpretations of graphoids. There are several applications to virtual graphoid theory. First, virtual graphoids are suitable objects fo…
▽ More
We study invariants of virtual graphoids, which are virtual spatial graph diagrams with two distinguished degree-one vertices modulo graph Reidemeister moves applied away from the distinguished vertices. Generalizing previously known results, we give topological interpretations of graphoids. There are several applications to virtual graphoid theory. First, virtual graphoids are suitable objects for studying knotted graphs with open ends arising in proteins. Second, a virtual graphoid can be thought of as a way to represent a virtual spatial graph without using as many crossings, which can be advantageous for computing invariants.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Bounds for Kirby-Thompson invariants of knotted surfaces
Authors:
Román Aranda,
Puttipong Pongtanapaisan,
Suixin Zhang
Abstract:
We provide sharp lower bounds for two versions of the Kirby-Thompson invariants for knotted surfaces, one of which was originally defined by Blair, Campisi, Taylor, and Tomova. The second version introduced in this paper measures distances in the dual curve complex instead of the pants complex. We compute the exact values of both KT-invariants for infinitely many knotted surfaces with bridge numbe…
▽ More
We provide sharp lower bounds for two versions of the Kirby-Thompson invariants for knotted surfaces, one of which was originally defined by Blair, Campisi, Taylor, and Tomova. The second version introduced in this paper measures distances in the dual curve complex instead of the pants complex. We compute the exact values of both KT-invariants for infinitely many knotted surfaces with bridge number at most six.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Bounding the Kirby-Thompson invariant of spun knots
Authors:
Román Aranda,
Puttipong Pongtanapaisan,
Scott A. Taylor,
Suixin Zhang
Abstract:
A bridge trisection of a smooth surface in $S^4$ is a decomposition analogous to a bridge splitting of a link in $S^3$. The Kirby-Thompson invariant of a bridge trisection measures its complexity in terms of distances between disc sets in the pants complex of the trisection surface. We give the first significant bounds for the Kirby-Thompson invariant of spun knots. In particular, we show that the…
▽ More
A bridge trisection of a smooth surface in $S^4$ is a decomposition analogous to a bridge splitting of a link in $S^3$. The Kirby-Thompson invariant of a bridge trisection measures its complexity in terms of distances between disc sets in the pants complex of the trisection surface. We give the first significant bounds for the Kirby-Thompson invariant of spun knots. In particular, we show that the Kirby-Thompson invariant of the spun trefoil is 15.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Bridge numbers and meridional ranks of knotted surfaces and welded knots
Authors:
Jason Joseph,
Puttipong Pongtanapaisan
Abstract:
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite ord…
▽ More
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, we show that the meridional rank of knotted spheres is not additive under connected sum, so that either bridge number also collapses, or meridional rank is not equal to bridge number for knotted spheres. We also show a relationship between the bridge numbers of welded knots and ribbon tori using the Tube map, and give applications to bridge trisections of knotted surfaces.
△ Less
Submitted 6 February, 2023; v1 submitted 17 November, 2021;
originally announced November 2021.
-
On keen weakly reducible bridge spheres
Authors:
Puttipong Pongtanapaisan,
Daniel Rodman
Abstract:
A bridge sphere is said to be keen weakly reducible if it admits a unique pair of disjoint compressing disks on opposite sides. In particular, such a bridge sphere is weakly reducible, not perturbed, and not topologically minimal in the sense of David Bachman. In terms of Jennifer Schultens' width complex, a link in bridge position with respect to a keen weakly reducible bridge sphere is distance…
▽ More
A bridge sphere is said to be keen weakly reducible if it admits a unique pair of disjoint compressing disks on opposite sides. In particular, such a bridge sphere is weakly reducible, not perturbed, and not topologically minimal in the sense of David Bachman. In terms of Jennifer Schultens' width complex, a link in bridge position with respect to a keen weakly reducible bridge sphere is distance one away from a local minimum. In this paper, we give infinitely many examples of keen weakly reducible bridge spheres for links in $b$ bridge position for $b \geq 4.$
△ Less
Submitted 27 March, 2023; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Critical Bridge Spheres for Links with Arbitrarily Many Bridges
Authors:
Puttipong Pongtanapaisan,
Daniel Rodman
Abstract:
We show that for every integer $b\geq 3$, there exists a link in a $b$-bridge position with respect to a critical bridge sphere. In fact, for each $b$, we construct an infinite family of links which we call square whose bridge spheres are critical.
We show that for every integer $b\geq 3$, there exists a link in a $b$-bridge position with respect to a critical bridge sphere. In fact, for each $b$, we construct an infinite family of links which we call square whose bridge spheres are critical.
△ Less
Submitted 8 June, 2019;
originally announced June 2019.
-
Oriented Local Moves and Divisibility of the Jones Polynomial
Authors:
Paul Drube,
Puttipong Pongtanapaisan
Abstract:
For any virtual link $L = S \cup T$ that may be decomposed into a pair of oriented $n$-tangles $S$ and $T$, an oriented local move of type $T \mapsto T'$ is a replacement of $T$ with the $n$-tangle $T'$ in a way that preserves the orientation of $L$. After develo** a general decomposition for the Jones polynomial of the virtual link $L = S \cup T$ in terms of various (modified) closures of $T$,…
▽ More
For any virtual link $L = S \cup T$ that may be decomposed into a pair of oriented $n$-tangles $S$ and $T$, an oriented local move of type $T \mapsto T'$ is a replacement of $T$ with the $n$-tangle $T'$ in a way that preserves the orientation of $L$. After develo** a general decomposition for the Jones polynomial of the virtual link $L = S \cup T$ in terms of various (modified) closures of $T$, we analyze the Jones polynomials of virtual links $L_1,L_2$ that differ via a local move of type $T \mapsto T'$. Succinct divisibility conditions on $V(L_1)-V(L_2)$ are derived for broad classes of local moves that include the $Δ$-move and the double-$Δ$-move as special cases. As a consequence of our divisibility result for the double-$Δ$-move, we introduce a necessary condition for any pair of classical knots to be $S$-equivalent.
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
Wirtinger Numbers for Virtual Links
Authors:
Puttipong Pongtanapaisan
Abstract:
The Wirtinger number of a virtual link is the minimum number of generators of the link group over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a virtual link equals its virtual bridge number. Since the Wirtinger number is algorithmically computable, it gives a more effective way to calculate an up…
▽ More
The Wirtinger number of a virtual link is the minimum number of generators of the link group over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a virtual link equals its virtual bridge number. Since the Wirtinger number is algorithmically computable, it gives a more effective way to calculate an upper bound for the virtual bridge number from a virtual link diagram. As an application, we compute upper bounds for the virtual bridge numbers and the quandle counting invariants of virtual knots with 6 or fewer crossings. In particular, we found new examples of nontrivial virtual bridge number one knots, and by applying Satoh's Tube map to these knots we can obtain nontrivial weakly superslice links.
△ Less
Submitted 11 November, 2019; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Annular Non-Crossing Matchings
Authors:
Paul Drube,
Puttipong Pongtanapaisan
Abstract:
It is well known that the number of distinct non-crossing matchings of $n$ half-circles in the half-plane with endpoints on the x-axis equals the $n^{th}$ Catalan number $C_n$. This paper generalizes that notion of linear non-crossing matchings, as well as the circular non-crossings matchings of Goldbach and Tijdeman, to non-crossings matchings of $n$ line segments embedded within an annulus. We p…
▽ More
It is well known that the number of distinct non-crossing matchings of $n$ half-circles in the half-plane with endpoints on the x-axis equals the $n^{th}$ Catalan number $C_n$. This paper generalizes that notion of linear non-crossing matchings, as well as the circular non-crossings matchings of Goldbach and Tijdeman, to non-crossings matchings of $n$ line segments embedded within an annulus. We prove that the number of such matchings $\vert Ann(n,m) \vert$ with $n$ exterior endpoints and $m$ interior endpoints correspond to an entirely new, one-parameter generalization of the Catalan numbers with $C_n = \vert Ann(1,m) \vert$. We also develop bijections between specific classes of annular non-crossing matchings and other combinatorial objects such as binary combinatorial necklaces and planar graphs. Finally, we use Burnside's Lemma to obtain an explicit formula for $\vert Ann(n,m) \vert$ for all $n,m \geq 0$.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.