PreprintCC BY 4.0arXiv
Computations of the slice genus and the unknotting number of links via machine learning
Abstract
Links are disjoint unions of circles smoothly embedded in S3. We use reinforcement learning and Bayesian optimisation to obtain new upper bounds on several link invariants that are not known to be algorithmically computable: the slice genus and the unknotting number for links, and the strong slice genus for algebraically split links. We also compute lower bounds using known invariants. Combining the upper and lower bounds, we obtain new exact values in many cases. Our unknotting agents can reproduce the non-additivity of the unknotting number for several counterexamples due to Brittenham and Hermiller, in some cases finding new unknotting trajectories.
Related
BibTeX
@misc{dai2026computations,
title = {{Computations of the slice genus and the unknotting number of links via machine learning}},
author = {Yutong Dai and Oliver Hayman and András Juhász and Ludovico Morellato},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10206},
eprint = {2610.10206},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10206},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Computations of the slice genus and the unknotting number of links via machine learning
AU - Yutong Dai
AU - Oliver Hayman
AU - András Juhász
AU - Ludovico Morellato
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10206
UR - https://arxiv.org/abs/2610.10206
AB - Links are disjoint unions of circles smoothly embedded in S^3. We use reinforcement learning and Bayesian optimisation to obtain new upper bounds on several link invariants that are not known to be algorithmically computable: the slice genus and the unknotting number for links, and the strong slice genus for algebraically split links. We also compute lower bounds using known invariants. Combining the upper and lower bounds, we obtain new exact values in many cases. Our unknotting agents can reproduce the non-additivity of the unknotting number for several counterexamples due to Brittenham and Hermiller, in some cases finding new unknotting trajectories.
ER -