From the 1 of 14 linked papers with an AI index.
10 papers · 1 filter
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
Barinder S. Banwait, Xiaoyu Huang, Kyu-Hwan Lee +3
We investigate the extent to which the reduced minimal Weierstrass coefficients of an elliptic curve over may be computed from it's Frobenius traces. Decision tree mod…
Formalized -series: The Rogers-Ramanujan Identities and Beyond
Kenny Lau, Seewoo Lee, Ken Ono
The paper develops a formalization of q‑series theory in the Lean proof assistant, building foundational structures like q‑Pochhammer symbols and Bailey's Lemma, and provides fully…
Machines Learn Number Fields, But How? The Case of Galois Groups
Kyu-Hwan Lee, Seewoo Lee
By applying interpretable machine learning methods such as decision trees, we study how simple models can classify the Galois groups of Galois extensions over of degre…
Algebraic proof of modular form inequalities for optimal sphere packings
Seewoo Lee
We give algebraic proofs of Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska's modular form inequalities for 8 and 24-dimensional optimal sphere packings.
ABC implies that Ramanujan's tau function misses almost all primes
David Kurniadi Angdinata, Evan Chen, Chris Cummins +21
Lehmer conjectured that Ramanujan's tau-function never vanishes. In a related direction, a folklore conjecture asserts that infinitely many primes arise as absolute values of Raman…
Ties in Function Field Prime Races
Graeme Bates, Ryan Jesubalan, Seewoo Lee +2
The function field analogue of Chebyshev's bias was first studied by Cha. In this paper, we study *ties* in this race, namely collections of distinct congruence classes $c_1, \dots…