Abstract We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.
Explore similar work May 18, 2026 · Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci +2 Combinations Symmetry
May 24, 2026 · Gergely Bérczi, László M. Fehér Chern Numbers Symmetry
Aug 8, 2026 · David Seka, Stefan Szeider Graph Theory Algebraic Structures
May 18, 2026 · cs.LG J/K move · Enter open · S save
Eugenio Cainelli, Lorenzo Luccioli, Alessandro Iraci, Michele D'Adderio +1
University of Bologna · Pegaso University · University of Pisa
Inspired by long-standing open problems in algebraic combinatorics, we show that modern machine learning can meaningfully contribute to verifiable mathematical discoveries. In particular, we focus on the construction of simple mathematical functions under exact distributional constraints, a setting we formalize as Simple Learning Under Rigid Proportions (SLURP). We tackle this problem by introducing two methods: MapSeek-Functional, which models the desired function alternating pseudo-labeling and supervised training steps; and MapSeek-Symbolic, designed to directly produce symbolic formulas. We successfully apply both methods to a research problem in algebraic combinatorics, discovering a new combinatorial interpretation of the
q , t q,t q , t -Narayana polynomials arising from representation theory. To our knowledge, this is the first such interpretation based on noncrossing partitions. Using one discovered statistic, we find a combinatorial proof of the symmetry of these polynomials in a previously unsolved case. To streamline verification and reproducibility, we release all code, including a formalization of all the mathematical discoveries of this paper in Lean 4.