Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper leverages reinforcement learning and Bayesian optimization to derive novel upper bounds for the slice genus and unknotting number of links, invariants currently lacking efficient algorithmic computation. By combining these with existing lower bounds, the authors achieve new exact values for these invariants in numerous instances. The developed "unknotting agents" also successfully reproduce known non-additive properties of the unknotting number and discover new unknotting trajectories.
Machine learning agents discover new exact values for notoriously difficult-to-compute link invariants like slice genus and unknotting number.
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.