\(
\def\cuberoot#1{\sqrt[3]{#1}}
\def\fourthroot#1{\sqrt[4]{#1}}
\def\abspartial#1#2#3#4{\left|\,{\partial(#1,#2)\over\partial(#3,#4)}\,\right|}
\def\absdeltal#1#2#3#4{\left|\,{\d(#1,#2)\over\d(#3,#4)}\,\right|}
\def\dispop#1#2{\disfrac{\partial #1}{\partial #2}}
\def\definedas{\equiv}
\def\bb{{\bf b}}
\def\bB{{\bf B}}
\def\bsigma{\boldsymbol{\sigma}}
\def\bx{{\bf x}}
\def\bu{{\bf u}}
\def\Re{{\rm Re\hskip1pt}}
\def\Reals{{\mathbb R\hskip1pt}}
\def\Integers{{\mathbb Z\hskip1pt}}
\def\Im{{\rm Im\hskip1pt}}
\def\P{\mbox{P}}
\def\half{{\textstyle{1\over 2}}}
\def\third{{\textstyle{1\over3}}}
\def\fourth{{\textstyle{1\over 4}}}
\def\fifth{{\scriptstyle{1\over 5}}}
\def\sixth{{\textstyle{1\over 6}}}
\def\oA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obA{\rlap{$A$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obX{\rlap{$X$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obY{\rlap{$Y$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obZ{\rlap{$Z$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obc{\rlap{$c$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obd{\rlap{$d$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obk{\rlap{$k$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\oba{\rlap{$a$}\kern2pt\overline{\phantom{\dis{}I}}\kern.5pt}
\def\obb{\rlap{$b$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}
\def\obw{\rlap{$w$}\kern1pt\overline{\phantom{\dis{}t}}\kern.5pt}
\def\obz{\overline{z}}\kern.5pt}
\newcommand{\bx}{\boldsymbol{x}}
\newcommand{\by}{\boldsymbol{y}}
\newcommand{\br}{\boldsymbol{r}}
\renewcommand{\bk}{\boldsymbol{k}}
\def\cuberoot#1{\sqrt[3]{#1}}
\def\fourthroot#1{\sqrt[4]{#1}}
\def\fifthroot#1{\sqrt[5]{#1}}
\def\eighthroot#1{\sqrt[8]{#1}}
\def\twelfthroot#1{\sqrt[12]{#1}}
\def\dis{\displaystyle}
%\def\definedas{\equiv}
\def\bq{{\bf q}}
\def\bp{{\bf p}}
\def\abs#1{\left|\,#1\,\right|}
\def\disfrac#1#2{{\displaystyle #1\over\displaystyle #2}}
\def\select#1{ \langle\, #1 \,\rangle }
\def\autoselect#1{ \left\langle\, #1 \,\right\rangle }
\def\bigselect#1{ \big\langle\, #1 \,\big\rangle }
\renewcommand{\ba}{\boldsymbol{a}}
\renewcommand{\bb}{\boldsymbol{b}}
\newcommand{\bc}{\boldsymbol{c}}
\newcommand{\bh}{\boldsymbol{h}}
\newcommand{\bA}{\boldsymbol{A}}
\newcommand{\bB}{\boldsymbol{B}}
\newcommand{\bC}{\boldsymbol{C}}
\newcommand{\definedas}{\equiv}
\newcommand{\half}{\frac{1}{2}}
%\newcommand{\slfrac}[2]{\raisebox{0.5pt}{$\scriptstyle{}^{#1}\!/\!_{#2}$}}
\def\slfrac#1#2{\raise.8ex\hbox{$\scriptstyle#1$}\!/\!\lower.5ex\hbox{$\scriptstyle#2$}}
\newcommand{\bsigma}{\boldsymbol \sigma}
\newcommand{\abs}[1]{\left|\,#1\,\right|}
\newcommand{\Rectangle}{\sqsubset\!\sqsupset}
\newcommand{\rectangle}{{%
\ooalign{$\sqsubset\mkern3mu$\cr$\mkern3mu\sqsupset$\cr}%
% How to do fractions: for 1/2 use this in place: $\raise{0.8pt}{\scriptstyle{}^{1}\!/\!_{2}}$
% for n/m use this in place: $\raise{0.8pt}{\scriptstyle{}^{n}\!/\!_{m}}$
}}
\)
June Huh, Fields Medal Winner
Patrick Reany
15 December 2025
Note: This chat I had with Copilot is likely edited for relevance and brevity. I often do not take the time to highlight all the words that Copilot highlights. Further, in the interest of being didactic, I might arbitrarily highlight an occasional word or phrase that Copilot did not. (Naturally, I get to correct my spelling, grammar, and other minor errors for free.)
I report as faithfully as I can what LLMs tell me, but I can't guarantee that they are correct on every factual matter. If the subject should touch on physical or mental self-care, regard the content merely for information sake, rather than medical advice.
Patrick:
Can you tell me a bit about June Huh, Fields Medal Winner?
Copilot:
June Huh is a Korean-American mathematician who won the Fields Medal in 2022 for groundbreaking work linking algebraic geometry and combinatorics. He is celebrated for proving long-standing conjectures in matroid theory and for bringing deep geometric ideas into combinatorics.
Here are some highlights of his remarkable journey and contributions:
- Unconventional Path: Huh was born in 1983 in California but grew up in South Korea. He dropped out of high school to pursue poetry, only later rediscovering mathematics during his university years. His late start in math has often been described as a "miracle of wandering."
- Mentorship: His turning point came when he studied under Heisuke Hironaka, a Fields Medalist himself, who introduced him to algebraic geometry. This mentorship sparked Huh's passion for research-level mathematics.
- Major Achievements:
- Proved the Heron–Rota–Welsh conjecture on matroids, showing log-concavity of characteristic polynomials.
- Solved the Dowling–Wilson conjecture and contributed to the strong Mason conjecture.
- Developed the theory of Lorentzian polynomials, extending Hodge theory ideas into combinatorics.
- Recognition: In addition to the Fields Medal, Huh received the New Horizons in Mathematics Prize (2019) and a MacArthur Fellowship (2022).
- Philosophy of Mathematics: Colleagues often describe his work as artistic. His background in poetry influences his mathematical style, emphasizing beauty, elegance, and the search for "just-right objects" in proofs.
- Current Role: He is a professor at Princeton University, continuing to explore deep connections between geometry and combinatorics.
June Huh's story resonates because it blends creativity, resilience, and intellectual curiosity. He shows that mathematics is not only about technical mastery but also about finding beauty and meaning in abstract structures. Would you like me to walk you through one of his famous results---like how he proved the log-concavity conjecture for matroids---in a way that connects the technical details to his poetic sensibility?
Patrick:
Can you expand on Huh's work on Lorentzian polynomials, extending Hodge theory?
Copilot:
June Huh's work on Lorentzian polynomials is a landmark in modern combinatorics: he and Petter Brändén developed a new class of polynomials that extend the spirit of Hodge theory into discrete mathematics, providing powerful tools to prove long-standing conjectures about matroids, log-concavity, and negative dependence.
What are Lorentzian polynomials?
- A Lorentzian polynomial is a multivariate polynomial whose Hessian (matrix of second derivatives) has exactly one positive eigenvalue at every point in the positive orthant.
- This property mirrors the Hodge–Riemann relations in algebraic geometry, which constrain the curvature of cohomology spaces.
- In essence, Lorentzian polynomials are a combinatorial analogue of Hodge structures, allowing techniques from geometry to be applied to purely discrete objects.
Key Contributions
- Extension of Hodge theory: Huh and collaborators showed that the Hard Lefschetz theorem and Hodge–Riemann relations, central to algebraic geometry, can be reformulated in the setting of Lorentzian polynomials. This opened the door to applying geometric intuition to combinatorial problems.
- Matroid theory breakthroughs:
- Proved the Heron–Rota–Welsh conjecture: coefficients of the characteristic polynomial of a matroid form a log-concave sequence.
- Proved the strong Mason conjecture: a deep statement about the growth of independent sets in matroids.
- These results relied on the Lorentzian framework, which guarantees log-concavity and unimodality properties.
- Connections to physics and probability: Lorentzian polynomials also appear in the Potts model partition functions and in the study of negative dependence in probability theory, linking statistical mechanics with combinatorics.
- Discrete convex analysis: Tropical versions of Lorentzian polynomials coincide with M-convex functions, bridging continuous convex geometry with discrete optimization.
Why it matters
- Unified framework: Lorentzian polynomials provide a single conceptual lens to view problems across algebraic geometry, combinatorics, convex analysis, and probability.
- Proof power: They enabled the resolution of conjectures that resisted decades of traditional combinatorial methods.
- Philosophical depth: Huh’s approach exemplifies his poetic sensibility---finding "just-right" structures that reveal hidden unity between continuous and discrete worlds.
Takeaway
June Huh's theory of Lorentzian polynomials is not just a technical advance; it's a conceptual bridge. By extending Hodge theory into combinatorics, he transformed how mathematicians understand log-concavity, matroids, and the deep geometry underlying discrete structures. It's a perfect example of his gift for blending elegance with rigor.
Would you like me to sketch out, step by step, how the Lorentzian property directly implies log-concavity of matroid characteristic polynomials? That’s one of the most beautiful applications of his theory.
Afterword: