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: Searching for ribbons with machine learning
Abstract We apply Bayesian optimization and reinforcement learning to a problem in topology: the question of when a knot bounds a ribbon disk. This question is relevant in an approach to disproving the four-dimensional smooth Poincaré conjecture; using our programs, we rule out many potential counterexamples to the conjecture. We also show that the programs are successful in detecting many ribbon knots in the range of up to 70 crossings.  more » « less
Award ID(s):
1848089
PAR ID:
10606794
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
IOP Publishing
Date Published:
Journal Name:
Machine Learning: Science and Technology
Volume:
6
Issue:
2
ISSN:
2632-2153
Format(s):
Medium: X Size: Article No. 025065
Size(s):
Article No. 025065
Sponsoring Org:
National Science Foundation
More Like this
  1. Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant singular instanton theory, and which is closely related to the Chern-Simons functional. This also answers a conjecture of Livingston about slicing numbers. Also studied is the singular instanton Frøyshov invariant of a knot. If defined with integer coefficients, this gives a lower bound for the unoriented slice genus, and is computed for quasi-alternating and torus knots. In contrast, for certain other coefficient rings, the invariant is identified with a multiple of the knot signature. This result is used to address a conjecture by Poudel and Saveliev about traceless SU(2) representations of torus knots. Further, for a concordance between knots with non-zero signature, it is shown that there is a traceless representation of the concordance complement which restricts to non-trivial representations of the knot groups. Finally, some evidence towards an extension of the slice-ribbon conjecture to torus knots is provided. 
    more » « less
  2. We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the canonical ribbon conjecture of Bayer and Eisenbud holds over a field of characteristic $$0$$ or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics the results of Voisin asserting that Green's conjecture holds for generic curves of each gonality. 
    more » « less
  3. Abstract LetMbe a connected, closed, oriented three-manifold andK, Ltwo rationally null-homologous oriented simple closed curves in M. We give an explicit algorithm for computing the linking number betweenKandLin terms of a presentation of Mas an irregular dihedral three-fold cover of $$S^3$$ S 3 branched along a knot$$\alpha \subset S^3$$ α S 3 . Since every closed, oriented three-manifold admits such a presentation, our results apply to all (well-defined) linking numbers in all three-manifolds. Furthermore, ribbon obstructions for a knot $$\alpha $$ α can be derived from dihedral covers of $$\alpha $$ α . The linking numbers we compute are necessary for evaluating one such obstruction. This work is a step toward testing potential counter-examples to the Slice-Ribbon Conjecture, among other applications. 
    more » « less
  4. Abstract The central question of knot theory is that of distinguishing links up to isotopy. The first polynomial invariant of links devised to help answer this question was the Alexander polynomial (1928). Almost a century after its introduction, it still presents us with tantalizing questions, such as Fox’s conjecture (1962) that the absolute values of the coefficients of the Alexander polynomial $$\Delta _{L}(t)$$ of an alternating link $$L$$ are unimodal. Fox’s conjecture remains open in general with special cases settled by Hartley (1979) for two-bridge knots, by Murasugi (1985) for a family of alternating algebraic links, and by Ozsváth and Szabó (2003) for the case of genus $$2$$ alternating knots, among others. We settle Fox’s conjecture for special alternating links. We do so by proving that a certain multivariate generalization of the Alexander polynomial of special alternating links is Lorentzian. As a consequence, we obtain that the absolute values of the coefficients of $$\Delta _{L}(t)$$, where $$L$$ is a special alternating link, form a log-concave sequence with no internal zeros. In particular, they are unimodal. 
    more » « less
  5. Abstract Spectral lines formed at lower atmospheric layers show peculiar profiles at the “leading edge” of ribbons during solar flares. In particular, increased absorption of the BBSO/GST Heiλ10830 line, as well as broad and centrally reversed profiles in the spectra of the Mgiiand Ciilines observed by the IRIS satellite, has been reported. In this work, we aim to understand the physical origin of such peculiar IRIS profiles, which seem to be common of many, if not all, flares. To achieve this, we quantify the spectral properties of the IRIS Mgiiprofiles at the ribbon leading edge during four large flares and perform a detailed comparison with a grid of radiative hydrodynamic models using theRADYN+FPcode. We also studied their transition region (TR) counterparts, finding that these ribbon front locations are regions where TR emission and chromospheric evaporation are considerably weaker compared to other parts of the ribbons. Based on our comparison between the IRIS observations and modeling, our interpretation is that there are different heating regimes at play in the leading edge and the main bright part of the ribbons. More specifically, we suggest that bombardment of the chromosphere by more gradual and modest nonthermal electron energy fluxes can qualitatively explain the IRIS observations at the ribbon leading front, while stronger and more impulsive energy fluxes are required to drive chromospheric evaporation and more intense TR emission in the bright ribbon. Our results provide a possible physical origin for the peculiar behavior of the IRIS chromospheric lines in the ribbon leading edge and new constraints for the flare models. 
    more » « less