Writing

Papers, articles, notes...

Papers

Research I've written up, whether it's still a preprint or has found a home in a journal.

Zero-free columns in character tables of symmetric groups

Colin Defant, Sidharth Hariharan, Kenny Lau and Ken Ono

Preprint

August 2026

The rows and columns of the character table of the symmetric group \(S_n\) are both naturally indexed by partitions of \(n\). Let \(D(n)\) denote the number of conjugacy classes of \(S_n\) whose column contains no zero entry. The identity column is always zero-free, so \(D(n) \geq 1\). It is known that \(D(n) \ll n^2\). We prove that \(D(n) \ll n^{3/4}\). Second, we prove for almost all positive integers \(n\) that \(D(n) \ll_B n^{1/2}(\log n)^B\) for every \(B > 5/6\), with a quantitative bound for the exceptional set, using work of Matomäki and Radziwill. Finally, we offer a heuristic supporting our conjecture that \(D(n) \ll_{\varepsilon} n^{\varepsilon}\). AxiomProver formalized the results in this paper in Lean assuming preexisting literature.

Progress in Formalizing Sphere Packing in Dimension 8

Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux and Maryna Viazovska

To appear in Proceedings of the International Congress on Mathematical Software

April 2026

In 2016, Viazovska famously solved the sphere packing problem in dimension \(8\), using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

Expository Writing

I really enjoy expository writing, because it allows me to demonstrate my point of view on mathematics that might already have been understood by people who... aren't me. Click on the links below to read my work!

Designing a Mathematical Mandala

Mathematics Today

Pages 43-47 · April 2024

In this article, I describe how to design a work of Mandala Art using relatively simple mathematics.

Notes

Notes I've live-TeXed my way through courses with. They come as they are, typos and all.

Notes on Discrete Mathematics

21-701: Discrete Mathematics

Fall 2026 · Carnegie Mellon University

Instructor: Wesley Pegden

A set of notes I am currently live-TeXing for a graduate course on Discrete Mathematics.

Notes on General Topology

21-651: General Topology

Fall 2025 · Carnegie Mellon University

Instructor: James Cummings

A set of notes I live-TeXed (along with Teresa Pollard) for a graduate course on General Topology.

Notes on Mathematical Logic

MATH70132: Mathematical Logic

Spring 2025 · Imperial College London

Instructor: David Evans

A set of notes I live-TeXed for a second-term Master's course on Mathematical Logic.

Notes on Lie Algebras

MATH70062: Lie Algebras

Winter 2024 · Imperial College London

Instructor: Ambrus Pál

A set of notes I live-TeXed for a first-term Master's course on Lie Algebras.

Notes on Representation Theory

MATH-314: Representation Theory of Finite Groups

Spring 2024 · EPFL

Instructor: Aluna Rizzoli

A set of notes I live-TeXed for a final-semester undergraduate course on Representation Theory.