arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

June Huh

46 papers · 2010–2026

2010: 12011: 12012: 32013: 62014: 12015: 22016: 52017: 12018: 32019: 32020: 32021: 12022: 22023: 12024: 12025: 72026: 5
2010peak 7 in 20252026

Frequent co-authors

Papers

showing 1–25 of 46 RSS

Hodge Theory for Combinatorial Geometries

Karim Adiprasito, June Huh, Eric Katz

math.CO · · cited 336× · arXiv ↗ · more like this ·

We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the log-concavity of the coefficients of the characteristic polynomial of M. We furthermore conclude that the f-vector of the independence complex of a matroid forms a log-concave sequence, proving a conjecture of Mason and Welsh for general matroids.

Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs

June Huh

math.AG · · cited 246× · arXiv ↗ · more like this ·

The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.

\tMILNOR NUMBERS OF PROJECTIVE HYPERSURFACES AND THE CHROMATIC POLYNOMIAL OF GRAPHS

June Huh

Algebra and Number Theory · · cited 177× · OpenAlex ↗ · more like this ·

The chromatic polynomial $\chi _G(q)$ of a graph $G$ counts the number of proper colorings of $G$. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. The proof is obtained by identifying $\chi _G(q)$ with a sequence of numerical invariants of a projective hypersurface analogous to the Milnor number of a local analytic hypersurface. As a by-product of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope; we also characterize homology classes of $\mathbb {P}^n \times \mathbb {P}^m$ corresponding to subvarieties and answer a question posed by Trung-Verma.

Lorentzian polynomials

Petter Brändén, June Huh

math.CO · · cited 120× · arXiv ↗ · more like this ·

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has exactly one positive eigenvalue at any point on the positive orthant. This property can be seen as an analog of Hodge--Riemann relations for Lorentzian polynomials. Lorentzian polynomials are intimately connected to matroid theory and negative dependence properties. We show that matroids, and more generally M-convex sets, are characterized by the Lorentzian property, and develop a theory around Lorentzian polynomials. In particular, we provide a large class of linear operators that preserve the Lorentzian property and prove that Lorentzian measures enjoy several negative dependence properties. We also prove that the class of tropicalized Lorentzian…

The maximum likelihood degree of a very affine variety

June Huh

math.AG · · cited 115× · arXiv ↗ · more like this ·

We show that the maximum likelihood degree of a smooth very affine variety is equal to the signed topological Euler characteristic. This generalizes Orlik and Terao's solution to Varchenko's conjecture on complements of hyperplane arrangements to smooth very affine varieties. For very affine varieties satisfying a genericity condition at infinity, the result is further strengthened to relate the variety of critical points to the Chern-Schwartz-MacPherson class. The strengthened version recovers the geometric deletion-restriction formula of Denham et al. for arrangement complements, and generalizes Kouchnirenko's theorem on the Newton polytope for nondegenerate hypersurfaces.

Singular Hodge theory for combinatorial geometries

Tom Braden, June Huh, Jacob P. Matherne +2 more

math.CO · · cited 89× · arXiv ↗ · more like this ·

We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.

Enumeration of points, lines, planes, etc

June Huh, Botong Wang

math.CO · · cited 86× · arXiv ↗ · more like this ·

One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for…

A semi-small decomposition of the Chow ring of a matroid

Tom Braden, June Huh, Jacob P. Matherne +2 more

math.AG · · cited 77× · arXiv ↗ · more like this ·

We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.

Lagrangian geometry of matroids

Federico Ardila, Graham Denham, June Huh

math.CO · · cited 68× · arXiv ↗ · more like this ·

We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when combined with the Hodge-Riemann relations for the conormal fan of M, implies Brylawski's and Dawson's conjectures that the h-vectors of the broken circuit complex and the independence complex of M are log-concave sequences.

A tropical approach to a generalized Hodge conjecture for positive currents

Farhad Babaee, June Huh

math.AG · · cited 38× · arXiv ↗ · more like this ·

Demailly showed that the Hodge conjecture is equivalent to the statement that any (p,p)-dimensional closed current with rational cohomology class can be approximated by linear combinations of integration currents associated to subvarieties, and asked whether any strongly positive (p,p)-dimensional closed current with rational cohomology class can be approximated by positive linear combinations of integration currents associated to subvarieties. Using tropical geometry, we construct a (p,p)-dimensional current on a smooth projective variety that does not satisfy the latter statement.

Milnor numbers of projective hypersurfaces with isolated singularities

June Huh

math.AG · · cited 27× · arXiv ↗ · more like this ·

Let V be a projective hypersurface of fixed degree and dimension which has only isolated singular points. We show that, if the sum of the Milnor numbers at the singular points of V is large, then V cannot have a point of large multiplicity, unless V is a cone. As an application, we give an affirmative answer to a conjecture of Dimca and Papadima.

Hodge-Riemann relations for Potts model partition functions

Petter Brändén, June Huh

math.CO · · cited 23× · arXiv ↗ · more like this ·

We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0<q\leq 1$. Consequences are proofs of the strongest conjecture of Mason and negative dependence properties for $q$-state Potts model partition functions.

Combinatorics and Hodge theory

June Huh

Geometry and Topology · EMS Press eBooks · · cited 13× · DOI ↗ · more like this ·

I will tell two interrelated stories illustrating fruitful interactions between combinatorics and Hodge theory. The first is that of Lorentzian polynomials, based on my joint work with Petter Brändén. They link continuous convex analysis and discrete convex analysis via tropical geometry, and they reveal subtle information on graphs, convex bodies, projective varieties, Potts model partition functions, log-concave polynomials, and highest weight representations of general linear groups. The second is that of intersection cohomology of matroids, based on my joint work with Tom Braden, Jacob Matherne, Nick Proudfoot, and Botong Wang. It shows a surprising parallel between the theory of convex polytopes, Coxeter groups, and matroids. After giving an overview of the similarity, I will outline proofs of two combinatorial conjectures on matroids, the nonnegativity conjecture for their…

Hodge Theory of Matroids

Karim Adiprasito, June Huh, Eric Katz

Discrete Mathematics and Combinatorics · Notices of the American Mathematical Society · · cited 12× · DOI ↗ · more like this ·

which satisfies analogues of Poincar duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the cohomology of smooth projective varieties. Log-concavity will be deduced from the Hodge-Riemann relations for . We believe that behind any log-concave sequence that appears in nature there is such a "Hodge structure" responsible for the log-concavity.

Correlation bounds for fields and matroids

June Huh, Benjamin Schröter, Botong Wang

math.CO · · cited 6× · arXiv ↗ · more like this ·

Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.

Rota's Conjecture and Positivity of Algebraic Cycles in Permutohedral Varieties.

June Huh

Discrete Mathematics and Combinatorics · Deep Blue (University of Michigan) · · cited 6× · OpenAlex ↗ · more like this ·

Rota's conjecture predicts that the coefficients of the characteristic polynomial of a matroid form a log-concave sequence. We give a proof of the conjecture for realizable matroids using techniques of algebraic geometry. The same approach to the conjecture in the general case (for possibly non-realizable matroids) leads to several intriguing questions on higher codimension algebraic cycles in the toric variety associated to the permutohedron.

Log-concavity of characteristic polynomials and the Bergman fan of matroids

June Huh, Eric Katz

math.CO · · cited 6× · arXiv ↗ · more like this ·

In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We extend the proof to all realizable matroids, making progress towards a more general conjecture of Rota-Heron-Welsh. Our proof follows from an identification of the coefficients of the reduced characteristic polynomial as answers to particular intersection problems on a toric variety. The log-concavity then follows from an inequality of Hodge type.

Lagrangian combinatorics of matroids

Federico Ardila, Graham Denham, June Huh

math.CO · · cited 4× · arXiv ↗ · more like this ·

The Lagrangian geometry of matroids was introduced in [ADH20] through the construction of the conormal fan of a matroid M. We used the conormal fan to give a Lagrangian-geometric interpretation of the h-vector of the broken circuit complex of M: its entries are the degrees of the mixed intersections of certain convex piecewise linear functions $γ$ and $δ$ on the conormal fan of M. By showing that the conormal fan satisfies the Hodge-Riemann relations, we proved Brylawski's conjecture that this h-vector is a log-concave sequence. This sequel explores the Lagrangian combinatorics of matroids, further developing the combinatorics of biflats and biflags of a matroid, and relating them to the theory of basis activities developed by Tutte, Crapo, and Las Vergnas. Our main result is a combinatorial strengthening of the $h$-vector computation: we write the k-th mixed intersection of $γ$ and $δ$…

h-Vectors of matroids and logarithmic concavity

June Huh

math.CO · · cited 3× · arXiv ↗ · more like this ·

Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of $M$ relative to an ordering of E. The first implies a conjecture of Colbourn on the reliability polynomial of a graph, and the second implies a conjecture of Hoggar on the chromatic polynomial of a graph. The proof is based on the geometric formula for the characteristic polynomial of Denham, Garrousian, and Schulze.

Varieties with maximum likelihood degree one

June Huh

math.AG · · cited 2× · arXiv ↗ · more like this ·

We show that algebraic varieties with maximum likelihood degree one are exactly the images of reduced A-discriminantal varieties under monomial maps with finite fibers. The maximum likelihood estimator corresponding to such a variety is Kapranov's Horn uniformization. This extends Kapranov's characterization of A-discriminantal hypersurfaces to varieties of arbitrary codimension.

Correlation inequalities for volume polynomials

June Huh, Mateusz Michałek, Botong Wang +1 more

math.AG · · cited 1× · arXiv ↗ · more like this ·

We establish sharp correlation inequalities for volume polynomials associated with covers of multisets. These inequalities simultaneously generalize the Khovanskii--Teissier and reverse Khovanskii--Teissier inequalities for intersections of nef divisor classes on projective varieties. They also hold for volume polynomials arising from convex bodies and Hermitian matrices, recovering and extending classical results such as the Alexandrov--Fenchel inequality for mixed volumes of convex bodies and the Hadamard--Fischer inequality for determinants of positive semidefinite matrices. As a combinatorial application, we prove a negative correlation inequality for partitions of bases of matroids that are linearly realizable over a field.