This content will become publicly available on April 1, 2024
 Award ID(s):
 1952762
 NSFPAR ID:
 10416221
 Date Published:
 Journal Name:
 Journal of the European Mathematical Society
 ISSN:
 14359855
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Goaoc, Xavier ; Kerber, Michael (Ed.)A knot is a circle piecewiselinearly embedded into the 3sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to links as well as knots, allows us to recover links with hundreds of crossings. We use it to find the first diagrams known for 23 principal congruence arithmetic link exteriors; the largest has over 2,500 crossings. Other applications include finding pairs of knots with the same 0surgery, which relates to questions about slice knots and the smooth 4D Poincaré conjecture.more » « less

Abstract A knot is a circle piecewiselinearly embedded into the 3sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to links as well as knots, and allows us to recover links with hundreds of crossings. We use it to find the first diagrams known for 23 principal congruence arithmetic link exteriors; the largest has over 2500 crossings. Other applications include finding pairs of knots with the same 0surgery, which relates to questions about slice knots and the smooth 4D Poincaré conjecture.

We use deep neural networks to machine learn correlations betweenknot invariants in various dimensions. The threedimensional invariantof interest is the Jones polynomial J(q) J ( q ) ,and the fourdimensional invariants are the Khovanov polynomial \text{Kh}(q,t) Kh ( q , t ) ,smooth slice genus g g ,and Rasmussen’s s s invariant.We find that a twolayer feedforward neural network can predict s s from \text{Kh}(q,q^{4}) Kh ( q , − q − 4 ) with greater than 99% 99 % accuracy. A theoretical explanation for this performance exists in knottheory via the now disproven knight move conjecture, which is obeyed byall knots in our dataset. More surprisingly, we find similar performancefor the prediction of s s from \text{Kh}(q,q^{2}) Kh ( q , − q − 2 ) ,which suggests a novel relationship between the Khovanov and Leehomology theories of a knot. The network predicts g g from \text{Kh}(q,t) Kh ( q , t ) with similarly high accuracy, and we discuss the extent to which themachine is learning s s as opposed to g g ,since there is a general inequality s ≤2g  s  ≤ 2 g .The Jones polynomial, as a threedimensional invariant, is not obviouslyrelated to s s or g g ,but the network achieves greater than 95% 95 % accuracy in predicting either from J(q) J ( q ) .Moreover, similar accuracy can be achieved by evaluating J(q) J ( q ) at roots of unity. This suggests a relationship with SU(2) S U ( 2 ) Chern—Simons theory, and we review the gauge theory construction ofKhovanov homology which may be relevant for explaining the network’sperformance.more » « less

Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1parameter family of homomorphisms fr , from the knot concordance group to R. Prima facie, these concordance invariants have the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot.more » « less

We conjecture a fourdimensional characterization of tightness: A contact structure on a 3manifold Y is tight if and only if a sliceBennequin inequality holds for smoothly embedded surfaces in
$Y\times \left[\mathrm{0,1}\right]$ . An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots: If a fibered link L induces a tight contact structure on Y, then its fiber surface maximizes the Euler characteristic among all surfaces in$Y\times \left[\mathrm{0,1}\right]$ with boundary L. We provide evidence for both conjectures by proving them for contact structures with nonvanishing Ozsváth–Szabó contact invariant.