Ho Boon Suan
I am an undergraduate at the National University of Singapore (NUS). You can reach me at hbs@u.nus.edu.
This page collects papers, notes, talks, and a few other things I have put on the internet.
Papers
- The Ferrers bound for spanning trees in bipartite graphs, submitted (2026) (Lean formalization)
- A new lower bound for the kissing number in 19 dimensions, submitted (2026) (code)
- 3AP-free permutations have no exponential growth rate, submitted (2026) (Lean formalization)
- A generalization of Boppana's entropy inequality, submitted (2026) (Lean formalization)
- Two product formulas for counting successive vertex orderings, preprint (2023)
- Equality cases for a bound on the chromatic number, with Joel Tan Junyao and Zhang Xiaorui, preprint (2019)
Notes and Miscellany
- A set of balanced Masyu puzzles made with my friend Gabriel (TAOCP, Vol. 4B, Exercise 7.2.2.1–425)
- A Manim animation of a universal graph that contains every four-vertex graph as an induced subgraph (TAOCP, Vol. 4C, Exercise 7.2.2.3–212)
- Solutions to Tao's UCLA course 245A Measure Theory (2021, 44 pages)
- Solutions to Tao's UCLA course 245B Real Analysis (2022, 78 pages)
- Solutions to Chapter 1 of Yufei Zhao's 2023 book Graph Theory and Additive Combinatorics (PDF)
- Expository note: The Cauchy–Binet formula (2021, 3 pages)
- Expository note: Two non-attacking queens (2022, 1 page)
- A note on Exercise 3.2.1.1–3 of The Art of Computer Programming (17 Jul 2025)
- A small animation of a Dyck cycle
- A Mathematica notebook that supplements my paper “Two product formulas for counting successive vertex orderings” (2023)
- Slides from a talk at the NUS Combinatorics and Graph Theory Seminar: How many ways are there to traverse a graph? (9 Oct 2024)
Friends
Books I love
- Rainer Maria Rilke, Letters to a Young Poet (1903–1908)
- Jeffrey Kripal, The Flip (2019)
- Iain McGilchrist, The Matter with Things (2021)
- Bernardo Kastrup, The Daimon and the Soul of the West (2025)
- Paul Kingsnorth, Against the Machine (2025)