Abstract:The solution set of a system of polynomial equations typically contains ill-behaved, singular points. Resolution is a fundamental process in geometry in which we replace singular points with smooth points, while keeping the rest of the solution set unchanged. Resolutions are not unique: the usual way to describe them involves repeatedly performing a fundamental operation known as "blowing-up", and the complexity of the resolution highly depends on certain choices. The process can be translated into various versions of a 2-player game, the so-called Hironaka game, and a winning strategy for the first player provides a solution to the resolution problem. In this paper we introduce a new approach to the Hironaka game that uses reinforcement learning agents to find optimal resolutions of singularities. In certain domains, the trained model outperforms state-of-the-art selection heuristics in total number of polynomial additions performed, which provides a proof-of-concept that recent developments in machine learning have the potential to improve performance of algorithms in symbolic computation.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to improve the process of resolution of singularities through machine - learning methods. Specifically, resolution of singularities refers to the process in geometry of replacing singular points with smooth points while keeping the rest of the solution set unchanged. This process is crucial for solving the problems of singular points in polynomial equation systems, because these singular points may lead to numerical instability and computational difficulties. ### Main contributions of the paper 1. **Introduction of the reinforcement - learning model**: - The authors propose a new method, using Deep Reinforcement Learning (DRL) to find the optimal resolution - of - singularities scheme. They transform the resolution - of - singularities problem into a two - person game, the so - called Hironaka game, and find the best strategy by training reinforcement - learning agents. 2. **Optimization of the number of polynomial additions**: - In some fields, the trained model is superior to existing selection heuristic methods in terms of the total number of polynomial additions, which proves that recent developments in machine learning may improve the performance of symbolic - computation algorithms. 3. **Combination of mathematics and machine learning**: - This research not only focuses on mathematical motivation and the transformation from mathematics to reinforcement learning, but also shows preliminary experimental results, indicating that it is feasible to use Deep Reinforcement Learning to solve the resolution - of - singularities problem. In addition, the authors also explore how to apply reinforcement learning to other mathematical optimization problems. ### Importance of resolution of singularities Resolution of singularities is an ancient and core geometric problem with a long history. For example, the resolution of curves can be traced back to Newton, Riemann, and Albanese, and the resolution of surfaces was widely studied by the 19th - century Italian algebraic - geometry school. In 1964, Hironaka proved that in the case of characteristic 0, any singularity can be resolved. This breakthrough result redefined the pattern of geometry and made Hironaka win the Fields Medal in 1970. ### Application of reinforcement learning The authors use two popular algorithms in reinforcement learning - Monte Carlo Tree Search (MCTS) and Deep Q - Networks (DQN) - to solve the Hironaka game and its similar optimization problems. Although the current experimental results cannot yet deterministically solve all singularities in specific dimensions, they show the feasibility of MCTS and DQN in such problems and observe the improvement of strategies during the training process. ### Conclusion This paper provides a new solution to the resolution - of - singularities problem by introducing a Deep Reinforcement Learning model and shows its potential in reducing the number of polynomial additions. This work is not only of great significance to geometry, but also provides new ideas and tools for other mathematical optimization problems.

An ML approach to resolution of singularities

A multi-dimensional resolution of singularities with applications to analysis

Asymptotic Rules of Equilibrium Desingularization

Combinatorial aspects of classical resolution of singularities

Specialized Mathematical Solving by a Step-By-Step Expression Chain Generation

Deep Learning is Singular, and That's Good

Turning Mathematics Problems into Games: Reinforcement Learning and Gröbner bases together solve Integer Feasibility Problems

Strong desingularization of semialgebraic sets and applications

Solving Poisson Problems in Polygonal Domains with Singularity Enriched Physics Informed Neural Networks

A Novel Approach to Solving Goal-Achieving Problems for Board Games

Resolution of singularities by rational functions

Deep Learning Is Singular, and That’s Good

Reasoning, Memorization, and Fine-Tuning Language Models for Non-Cooperative Games

Problem-Solving as a Language: A Computational Lens into Human and Monkey Intelligence

From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero

Singularity Computation for Rational Parametric Surfaces Using Moving Planes.

Deep Learning solutions to singular problems: from special functions to spherical accretion

Symbolic Equation Solving via Reinforcement Learning

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Sigmoid Functions, Multiscale Resolution of Singularities, and -Mesh Refinement

A Self-learning Algebraic Multigrid Method for Extremal Singular Triplets and Eigenpairs