I‑AIMS Institute for Artificial Intelligence
and Mathematical Sciences
/

Galois Groups of Quintics: A Neurosymbolic Approach to Polynomial Classification

Elira Shaska, Tanush Shaska

I-AIMS paper sh-85 · 2025

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. More specifically, we design a neurosymbolic network to classify Galois groups and show how this is more efficient than usual neural networks. We discover some very interesting distribution of polynomials for groups not isomorphic to the symmetric groups and alternating groups.

MSC classes: Primary 12F10; Secondary 68T07

References

  1. W. E. H. Berwick. 1928. On Soluble Sextic Equations. Proc. London Math. Soc. (2) 29, 1 (1928), 1–28. https://doi.org/10.1112/plms/s2-29.1.1
  2. Manjul Bhargava and Arul Shankar. 2015. Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves. Ann. of Math. (2) 181, 1 (2015), 191–242. https://doi.org/10.4007/annals.2015.181.1.3
  3. A. Bialostocki and T. Shaska. 2005. Galois groups of prime degree polynomials with nonreal roots. In Computational aspects of algebraic curves. Lecture Notes Ser. Comput., Vol. 13. World Sci. Publ., Hackensack, NJ, 243–255. https://doi.org/ 10.1142/9789812701640_0015
  4. Elira Curri. 2022. On the stability of binary forms and their weighted heights. Albanian J. Math. 16, 1 (2022), 3–23.
  5. Tereso del Río and Matthew England. 2024. Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD. Math. Comput. Sci. 18, 3 (2024), Paper No. 17, 27. https://doi.org/10.1007/s11786-024-00591-0
  6. Igor Dolgachev. 2003. Lectures on invariant theory. Lond. Math. Soc. Lect. Note Ser., Vol. 296. Cambridge: Cambridge University Press.
  7. Thomas R. Hagedorn. 2000. General formulas for solving solvable sextic equations. J. Algebra 233, 2 (2000), 704–757. https://doi.org/10.1006/jabr.2000.8428
  8. R. Bruce King. 1996. Beyond the quartic equation. Birkhäuser Boston, Inc., Boston, MA. viii+149 pages.
  9. Ilias Kotsireas and Tony Shaska. 2025. A machine learning approach of Julia reduction. In (submitted). ISSAC. https://www.risat.org/pdf/2024-06.pdf
  10. Guillaume Lample and François Charton. 2019. Deep Learning for Symbolic Mathematics. (2019). arXiv:1912.01412 [cs.SC] https://arxiv.org/abs/1912.01412
  11. Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy, and Pooyan Jamshidi. 2023. Pretrained Language Models are Symbolic Mathematics Solvers too! (2023). arXiv:2110.03501 [stat.ML] https://arxiv.org/abs/2110.03501
  12. Lynn Pickering, Tereso del Río Almajano, Matthew England, and Kelly Cohen. 2024. 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. https://doi.org/10.1016/j.jsc.2023.102276
  13. I. Schur. 1968. Vorlesungen über Invariantentheorie. Grundlehren Math. Wiss., Vol. 143. Springer, Cham.
  14. Jean-Pierre Serre. 1992. Topics in Galois theory. Research Notes in Mathematics, Vol. 1. Jones and Bartlett Publishers, Boston, MA. xvi+117 pages. Lecture notes prepared by Henri Damon [Henri Darmon], With a foreword by Darmon and the author.
  15. Elira Shaska and Tony Shaska. 2024. Irreducible sextics, invariants, and their Galois groups. https://www.risat.org/pdf/2024-07.pdf. RISAT preprints (12 2024). risat:https://www.risat.org/pdf/2024-07.pdf [math.AG] https://www.risat.org/ pdf/2024-07.pdf
  16. Elira Shaska and Tony Shaska. 2024. Machine learning for moduli space of genus two curves and an application to isogeny based cryptography. (2024). arXiv:2403.17250 [math.AG] https://arxiv.org/abs/2403.17250
  17. Elira Shaska and Tony Shaska. 2024. Polynomials, Galois groups, and Deep Learning. https://www.risat.org/pdf/2024-05.pdf. RISAT preprints (12 2024). risat:https://www.risat.org/pdf/2024-05.pdf [math.AG] https://www.risat.org/ pdf/2024-05.pdf
  18. Elira Shaska and Tony Shaska. 2025. Galois Theory: A database approach. https: //www.risat.org/galois.html
  19. T. Shaska. 2022. Reduction of superelliptic Riemann surfaces. In Automorphisms of Riemann surfaces, subgroups of mapping class groups and related topics. Contemp. Math., Vol. 776. Amer. Math. Soc., [Providence], RI, 227–247. https://doi.org/10. 1090/conm/776/15614
  20. T. Shaska and L. Beshaj. 2015. Heights on algebraic curves. In Advances on superelliptic curves and their applications (NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur., Vol. 41). IOS Press, Amsterdam, 137–175.
  21. Helmut Völklein. 1996. Groups as Galois groups. Cambridge Studies in Advanced Mathematics, Vol. 53. Cambridge University Press, Cambridge. xviii+248 pages. https://doi.org/10.1017/CBO9780511471117

All preprints