Searching for ribbons with machine learning

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\'e 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.

[1]  Irving Dai,et al.  The $(2,1)$-cable of the figure-eight knot is not smoothly slice , 2022, 2207.14187.

[2]  Kai Nakamura.  Trace embeddings from zero surgery homeomorphisms , 2022, Journal of Topology.

[3]  D. Hassabis,et al.  Advancing mathematics by guiding human intuition with AI , 2021, Nature.

[4]  Nenad Tomašev,et al.  The signature and cusp geometry of hyperbolic knots , 2021, ArXiv.

[5]  Brendan Owens,et al.  An Algorithm to Find Ribbon Disks for Alternating Knots , 2021, Experimental Mathematics.

[6]  Ciprian Manolescu,et al.  From zero surgeries to candidates for exotic definite 4‐manifolds , 2021, Journal of the London Mathematical Society.

[7]  Sergei Gukov,et al.  Learning to unknot , 2020, Mach. Learn. Sci. Technol..

[8]  Fabian Ruehle,et al.  Machine learning and algebraic approaches towards complete matter spectra in 4d F-theory , 2020, 2007.00009.

[9]  Fabian Ruehle.  Data science applications to string theory , 2020 .

[10]  Callum R. Brodie,et al.  Machine Learning Line Bundle Cohomology , 2019, Fortschritte der Physik.

[11]  Fabian Ruehle,et al.  Branes with brains: exploring string vacua with deep reinforcement learning , 2019, Journal of High Energy Physics.

[12]  Demis Hassabis,et al.  A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play , 2018, Science.

[13]  K. Allegaert,et al.  (Preprint) , 2018 .

[14]  Lisa Piccirillo.  The Conway knot is not slice , 2018, Annals of Mathematics.

[15]  C. Lamm.  The Search for Nonsymmetric Ribbon Knots , 2017, Exp. Math..

[16]  Michael I. Jordan,et al.  Trust Region Policy Optimization , 2015, ICML.

[17]  Jasper Snoek,et al.  Practical Bayesian Optimization of Machine Learning Algorithms , 2012, NIPS.

[18]  Robert E. Gompf,et al.  Fibered knots and potential counterexamples to the Property 2R and Slice-Ribbon Conjectures , 2010, 1103.1601.

[19]  Robert E. Gompf,et al.  Man and machine thinking about the smooth 4-dimensional Poincaré conjecture , 2009, 0906.5177.

[20]  C. Livingston,et al.  Metabelian representations, twisted Alexander polynomials, knot slicing, and mutation , 2008, 0804.1355.

[21]  J. Rasmussen.  Khovanov homology and the slice genus , 2004, math/0402131.

[22]  P. Ozsváth,et al.  Knot Floer homology and the four-ball genus , 2003, math/0301149.

[23]  Krzysztof J. Cios,et al.  Advances in neural information processing systems 7 , 1997 .

[24]  K. Murasugi.  ON A CERTAIN NUMERICAL INVARIANT OF LINK TYPES , 1965 .

[25]  R. D. Keever.  Some problems in knot theory , 1989 .

[26]  J. Milnor,et al.  Singularities of 2-spheres in 4-space and cobordism of knots , 1966 .

[27]  S. Kinoshita,et al.  On unions of knots , 1957 .