I‑AIMS Institute for Artificial Intelligence
and Mathematical Sciences
/

Polynomials, Galois groups, and Database-Driven Arithmetic

Elira Shaska, Tanush Shaska

I-AIMS paper 2024-05 · Published in Contemp. Math. 835 (2026), 231–305 · 2026

This paper introduces a novel approach to understanding Galois theory, one of the foundational areas of algebra, through the lens of machine learning. By analyzing polynomial equations with machine learning techniques, we aim to streamline the process of determining solvability by radicals and explore broader applications within Galois theory. This summary encapsulates the background, methodology, potential applications, and challenges of using data science in Galois theory.

MSC classes: Primary 12F10; Secondary 12-08, 11R32, 11G50, 13A50

PDF

References

  1. Rashid Barket, Matthew England, and Jürgen Gerhard, Symbolic integration algorithm selection with machine learning: LSTMs vs tree LSTMs, Mathematical software—ICMS 2024, [2024] ©2024, pp. 167–175.
  2. Rashid Barket, Uzma Shafiq, Matthew England, and Juergen Gerhard, Transformers to predict the applicability of symbolic integration routines (2024), available at 2410.23948.
  3. W. E. H. Berwick, On Soluble Sextic Equations, Proc. London Math. Soc. (2) 29 (1928), no. 1, 1–28.
  4. Manjul Bhargava, Jan-Hendrik Evertse, Kálmán Györy, László Remete, and Ashvin A. Swaminathan, Hermite equivalence of polynomials, Acta Arith. 209 (2023), 17–58.
  5. Manjul Bhargava and Arul Shankar, Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves, Ann. of Math. (2) 181 (2015), no. 1, 191–242.
  6. A. Bialostocki and T. Shaska, Galois groups of prime degree polynomials with nonreal roots, Computational aspects of algebraic curves, 2005, pp. 243–255.
  7. Enrico Bombieri and Walter Gubler, Heights in Diophantine geometry, New Mathematical Monographs, vol. 4, Cambridge University Press, Cambridge, 2006. (2007a:11092)
  8. A. Clebsch and P. Gordan, Theorie der abelschen funktionen, Teubner, 1866.
  9. Elira Curri, On the stability of binary forms and their weighted heights, Albanian J. Math. 16 (2022), no. 1, 3–23.
  10. Tereso del Río and Matthew England, Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD, Math. Comput. Sci. 18 (2024), no. 3, Paper No. 17, 27.
  11. Igor Dolgachev, Lectures on invariant theory, Lond. Math. Soc. Lect. Note Ser., vol. 296, Cambridge: Cambridge University Press, 2003 (English).
  12. Quentin Guignard, Counting algebraic points of bounded height on projective spaces, J. Number Theory 170 (2017), 103–141.
  13. Thomas R. Hagedorn, General formulas for solving solvable sextic equations, J. Algebra 233 (2000), no. 2, 704–757.
  14. Marc Hindry and Joseph H. Silverman, Diophantine geometry, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000. An introduction. (2001e:11058)
  15. Gaston Julia, Etude sur les formes binaires non quadratiques `á indéterminées réelles, ou complexes, ou à indéterminées conjuguées (1917), 293.
  16. R. Bruce King, Beyond the quartic equation, Birkhäuser Boston, Inc., Boston, MA, 1996.
  17. Ilias Kotsireas and Tony Shaska, A machine learning approach of Julia reduction, RISAT preprints (202412), available at https://www.risat.org/pdf/2024-06.pdf.
  18. Vishwanath Krishnamoorthy, Tanush Shaska, and Helmut Völklein, Invariants of binary forms, Progress in Galois theory, 2005, pp. 101–122.
  19. Joseph P. S. Kung and Gian-Carlo Rota, The invariant theory of binary forms, Bull. Amer. Math. Soc. (N.S.) 10 (1984), no. 1, 27–85.
  20. Guillaume Lample and François Charton, Deep learning for symbolic mathematics (2019), available at 1912.01412.
  21. Shigeru Mukai, An introduction to invariants and moduli. Transl. from the Japanese by W. M. Oxbury, Reprint of the 2003 hardback ed., Camb. Stud. Adv. Math., vol. 81, Cambridge: Cambridge University Press, 2012 (English).
  22. P. E. Newstead, Geometric invariant theory, Moduli spaces and vector bundles, 2009, pp. 99–127.
  23. Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy, and Pooyan Jamshidi, Pretrained language models are symbolic mathematics solvers too! (2023), available at 2110.03501.
  24. Peter J. Olver, Classical invariant theory, London Mathematical Society Student Texts, vol. 44, Cambridge University Press, Cambridge, 1999.
  25. Lynn Pickering, Tereso del Río Almajano, Matthew England, and Kelly Cohen, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, J. Symbolic Comput. 123 (2024), Paper No. 102276, 24.
  26. George Salmon, Modern higher algebra, Cambridge University Press, Cambridge, 1876.
  27. I. Schur, Vorlesungen über Invariantentheorie, Grundlehren Math. Wiss., vol. 143, Springer, Cham, 1968 (German).
  28. Elira Shaska and Tony Shaska, Galois theory: A database approach, RISAT preprints (December 2024), 40.
  29. ———, Irreducible sextics, invariants, and their galois groups, RISAT preprints (202412), available at https://www.risat.org/ pdf/2024-07.pdf.
  30. ———, Machine learning for moduli space of genus two curves and an application to isogeny based cryptography (2024), available at 2403.17250.
  31. T. Shaska, Reduction of superelliptic Riemann surfaces, Automorphisms of Riemann surfaces, subgroups of mapping class groups and related topics, 2022, pp. 227–247.
  32. T. Shaska and L. Beshaj, Heights on algebraic curves, Advances on superelliptic curves and their applications, 2015, pp. 137–175. Department of Computer Science, College of Computer Science and Engineering,, Oakland University, Rochester, MI, 48309.

All preprints