TriSearch: Learning to Optimize Triangulations via Bistellar Flips
Summary
TriSearch is a novel reinforcement learning framework designed to optimize objectives over triangulations of a polytope by employing bistellar flips. Its core innovation lies in a circuit-supported subtriangulation action representation, which encodes feasible flips via their supporting circuit and realized local subtriangulation. This allows a learned policy to effectively rank these flips using local geometric and combinatorial features, providing a dimension-agnostic interface for efficient traversal of the flip graph without explicit enumeration of the entire triangulation space. When instantiated in 3D and 4D, TriSearch demonstrates zero-shot generalization from smaller training examples to significantly larger polytopes with exponentially expanded search spaces. It achieves top performance on metric objectives in 3D and, in 4D, identifies more distinct Fine, Regular, and Star triangulations of reflexive polytopes, which correspond to Calabi-Yau threefolds, compared to current samplers within a fixed computational budget.
Key takeaway
For research scientists exploring high-dimensional geometric structures or optimizing complex triangulations, TriSearch offers a powerful reinforcement learning approach. You should consider integrating its circuit-supported subtriangulation action representation to achieve zero-shot generalization and more efficient flip graph traversal. This method can significantly outperform existing samplers, especially when discovering specific triangulations like 4D Calabi-Yau threefolds, saving computational budget and accelerating discovery.
Key insights
TriSearch uses RL with circuit-supported subtriangulation to optimize polytope triangulations via bistellar flips, generalizing across dimensions.
Principles
- Feasible flips can be encoded by their supporting circuit.
- Local geometric features enable policy ranking of flips.
- Dimension-agnostic interfaces improve search efficiency.
Method
TriSearch employs a reinforcement learning policy to rank bistellar flips, represented by circuit-supported subtriangulations, using local geometric and combinatorial features to efficiently traverse the flip graph and optimize triangulation objectives.
In practice
- Optimize triangulations in 3D for metric objectives.
- Discover 4D Calabi-Yau threefolds more efficiently.
- Generalize RL policies zero-shot to larger search spaces.
Topics
- Reinforcement Learning
- Polytope Triangulations
- Bistellar Flips
- Geometric Optimization
- Calabi-Yau Threefolds
- TriSearch Framework
Best for: AI Scientist, Research Scientist
Related on AIssential
Editorial summary, takeaway, and curation by AIssential. Original article published by Machine Learning.