Abstract
AbstractThis paper presents a novel, interdisciplinary study that leverages a Machine Learning (ML) assisted framework to explore the geometry of affine Deligne–Lusztig varieties (ADLV). The primary objective is to investigate the non-emptiness pattern, dimension, and enumeration of irreducible components of ADLV. Our proposed framework demonstrates a recursive pipeline of data generation, model training, pattern analysis, and human examination, presenting an intricate interplay between ML and pure mathematical research. Notably, our data-generation process is nuanced, emphasizing the selection of meaningful subsets and appropriate feature sets. We demonstrate that this framework has a potential to accelerate pure mathematical research, leading to the discovery of new conjectures and promising research directions that could otherwise take significant time to uncover. We rediscover the virtual dimension formula and provide a full mathematical proof of a newly identified problem concerning a certain lower bound of dimension. Furthermore, we extend an open invitation to the readers by providing the source code for computing ADLV and the ML models, promoting further explorations. This paper concludes by sharing valuable experiences and highlighting lessons learned from this collaboration.
Publisher
Springer Science and Business Media LLC
Reference70 articles.
1. Aitken, A.C.: IV.—on least squares and linear combination of observations. Proc. R. Soc. Edinb. 55, 42–48 (1936)
2. Bach, F., Jenatton, R., Mairal, J., Obozinski, G.: Convex optimization with sparsity-inducing norms. In: Optimization for Machine Learning, pp. 19–53. MIT Press, Cambridge, MA (2011)
3. Beazley, E.T.: Codimensions of Newton strata for $$\rm {SL}_3(F)$$ in the Iwahori case. Math. Z. 263(3), 499–540 (2009)
4. Berglund, P., Campbell, B., Jejjala, V.: Machine learning Kreuzer–Skarke Calabi–Yau threefolds. arXiv:2112.09117 (2021)
5. Brenti, F., Fomin, S., Postnikov, A.: Mixed Bruhat operators and Yang-Baxter equations for Weyl groups. Int. Math. Res. Not. IMRN 1999(8), 419–441 (1999)