skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Learning knot invariants across dimensions
We use deep neural networks to machine learn correlations betweenknot invariants in various dimensions. The three-dimensional invariantof interest is the Jones polynomial J(q) J ( q ) ,and the four-dimensional 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 two-layer feed-forward 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 three-dimensional 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
Award ID(s):
2213295
PAR ID:
10466138
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
SciPost Physics
Volume:
14
Issue:
2
ISSN:
2542-4653
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We show that Khovanov link homology is trivial in a range of gradings and utilize relations between Khovanov and chromatic graph homology to determine extreme Khovanov groups and corresponding coefficients of the Jones polynomial. The extent to which chromatic homology and the chromatic polynomial can be used to compute integral Khovanov homology of a link depends on the maximal girth of its all-positive graphs. In this paper, we define the girth of a link, discuss relations to other knot invariants, and describe possible values for girth. Analyzing girth leads to a description of possible all-A state graphs of any given link; e.g., if a link has a diagram such that the girth of the corresponding all-A graph is equal to [Formula: see text], then the girth of the link is equal to [Formula: see text] 
    more » « less
  2. Network polymers of sulfur and poly(4-allyloxystyrene), PAOSx ( x = percent by mass sulfur, where x is varied from 10–99), were prepared by reaction between poly(4-allyloxystyrene) with thermal homolytic ring-opened S 8 in a thiol-ene-type reaction. The extent to which sulfur content and crosslinking influence thermal/mechanical properties was assessed. Network materials having sulfur content below 50% were found to be thermosets, whereas those having >90% sulfur content are thermally healable and remeltable. DSC analysis revealed that low sulfur-content materials exhibited neither a T g nor a T m from −50 to 140 °C, whereas higher sulfur content materials featured T g or T m values that scale with the amount of sulfur. DSC data also revealed that sulfur-rich domains of PAOS90 are comprised of sulfur-crosslinked organic polymers and amorphous sulfur, whereas, sulfur-rich domains in PAOS99 are comprised largely of α-sulfur (orthorhombic sulfur). These conclusions are further corroborated by CS 2 -extraction and analysis of extractable/non-extractable fractions. Calculations based on TGA, FT-IR, H 2 S trapping experiments, CS 2 -extractable mass, and elemental combustion microanalysis data were used to assess the relative percentages of free and crosslinked sulfur and average number of S atoms per crosslink. Dynamic mechanical analyses indicate high storage moduli for PAOS90 and PAOS99 (on the order of 3 and 6 GPa at −37 °C, respectively), with a mechanical T g between −17 °C and 5 °C. A PAOS99 sample retains its full initial mechanical strength after at least 12 pulverization-thermal healing cycles, making it a candidate for facile repair and recyclability. 
    more » « less
  3. In studying the “11/8-Conjecture” on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin ⁡ ( 2 ) \operatorname {Pin}(2) -equivariant stable maps between certain representation spheres. A precise answer of Furuta’s problem was later conjectured by Jones. In this paper, we completely resolve Jones conjecture by analyzing the Pin ⁡ ( 2 ) \operatorname {Pin}(2) -equivariant Mahowald invariants. As a geometric application of our result, we prove a “10/8+4”-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from B Pin ⁡ ( 2 ) B\operatorname {Pin}(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the j j -based Atiyah–Hirzebruch spectral sequence. 
    more » « less
  4. Let f be a drawing in the Euclidean plane of a graph G, which is understood to be a 1-dimensional simplicial complex. We assume that every edge of G is drawn by f as a curve of constant algebraic complexity, and the ratio of the length of the longest simple path to the the length of the shortest edge is poly(n). In the drawing f, a path P of G, or its image in the drawing π = f(P), is β-stretch if π is a simple (non-self-intersecting) curve, and for every pair of distinct points p ∈ P and q ∈ P , the length of the sub-curve of π connecting f(p) with f(q) is at most β∥f(p) − f(q)∥, where ∥.∥ denotes the Euclidean distance. We introduce and study the β-stretch Path Problem (βSP for short), in which we are given a pair of vertices s and t of G, and we are to decide whether in the given drawing of G there exists a β-stretch path P connecting s and t. We also output P if it exists. The βSP quantifies a notion of “near straightness” for paths in a graph G, motivated by gerrymandering regions in a map, where edges of G represent natural geographical/political boundaries that may be chosen to bound election districts. The notion of a β-stretch path naturally extends to cycles, and the extension gives a measure of how gerrymandered a district is. Furthermore, we show that the extension is closely related to several studied measures of local fatness of geometric shapes. We prove that βSP is strongly NP-complete. We complement this result by giving a quasi-polynomial time algorithm, that for a given ε > 0, β ∈ O(poly(log |V (G)|)), and s, t ∈ V (G), outputs a β-stretch path between s and t, if a (1 − ε)β-stretch path between s and t exists in the drawing. 
    more » « less
  5. Abstract Khovanov homology has been the subject of much study in knot theory and low dimensional topology since 2000. This work introduces a Khovanov Laplacian and a Khovanov Dirac to study knot and link diagrams. The harmonic spectrum of the Khovanov Laplacian or the Khovanov Dirac retains the topological invariants of Khovanov homology, while their non-harmonic spectra reveal additional information that is distinct from Khovanov homology. 
    more » « less