REVIEW 5 minor 48 references
Mixed Eulerian numbers and beyond
T0 review · 0 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read Matroidal mixed Eulerian numbers are shown to be exactly the universal valuative invariant, with an explicit non-recursive formula.
desk verdict Closed formula for mixed Eulerian numbers plus a clean equivalence with Derksen's G-invariant; proofs hold up, with a small scalar typo in Lemma 3.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the permutohedral variety $X_{\Pi_n}$ with two families of divisors: the hypersimplex classes $L_1,\ldots,L_n$, whose intersections with the matroid class $[X_M]$ define the matroidal mixed Eulerian numbers, and the exceptional divisors $S_1,\ldots,S_n$, whose intersections are easy to compute by restriction to facets. The key identity is the linear change of basis $S_i = -L_{i-1}+2L_i-L_{i+1}$ (equivalently the symmetric-power matrices $S^d A_{n,L\to S}$ and $S^d B_{n,S\to L}$), together with the restriction rule $[X_M]|_{x_F} = [X_{M|F}]\otimes [X_{M/F}]$ for every nonempty proper flat $F$, which splits an intersection into smaller permutohedral varieties and drives the inductions.
What would settle it
Run through all loopless matroids on five elements: if two of them share every matroidal mixed Eulerian number for all tuples summing to rank minus one but have different G-invariants, Theorem 1.12 is false. Alternatively, evaluate the closed formula of Corollary 1.6 for $A(1,1,1)$ and compare it with the original mixed-volume definition of mixed Eulerian numbers; disagreement would falsify the formula.
Extended reading notes
Core claim
The central discovery is the equivalence between matroidal mixed Eulerian numbers and the G-invariant: for loopless matroids $M_1, M_2$ of rank $r+1$ on $n+1$ elements, $\mathcal{G}(M_1)=\mathcal{G}(M_2)$ if and only if $A_{M_1}(a_1,\ldots,a_n)=A_{M_2}(a_1,\ldots,a_n)$ for every nonnegative tuple summing to $r$ (Theorem 1.12). Because the G-invariant is universal among valuative invariants, this says the mixed Eulerian numbers carry all valuative information of a matroid. The paper also proves an explicit, non-recursive formula for every mixed Eulerian number (Corollary 1.6), obtained by expressing the volume polynomial of the permutohedral variety in a basis of exceptional divisors and evaluating the resulting binomial coefficients; the same formula is extended to all matroidal mixed Eulerian numbers (Theorem 1.8).
Load-bearing premise
The whole construction rests on a factorization rule imported from earlier work: the class of a matroid restricts to a facet as the tensor product of the class of the restricted matroid and the class of the contracted matroid, and if that rule failed the induction, the closed formulas, and the equivalence with the G-invariant would collapse.
Editorial extensions
If this is right
- All classical mixed Eulerian numbers can be computed by a closed formula involving binomial coefficients and the entries of the inverse change-of-basis matrix, with no recursion.
- The Tutte polynomial can be written as a linear combination of matroidal mixed Eulerian numbers (Proposition 3.16).
- Any valuative matroid invariant that vanishes on matroids with loops can be recovered from the symmetrized class $[X_{M,\mathrm{sym}}]$ in the permutohedral Chow ring; the mixed Eulerian numbers are coordinates for this class.
- The recursion in Theorem 1.9 shows all matroidal mixed Eulerian numbers are nonnegative, since the matrix coefficients and the smaller factors appearing are nonnegative.
Reading between the lines
- The closed formula suggests that mixed Eulerian numbers, long believed to lack a simple form, are just the coefficients of a fixed polynomial after an integer change of basis; one could test whether the same strategy applies to other toric volume polynomials.
- Because the G-invariant already distinguishes many matroids up to isotopy, the equivalence gives a geometric certificate: the full intersection table of $[X_M]$ with $L$-monomials is a complete valuative fingerprint, potentially useful for computational checks of matroid non-isomorphism.
- The explicit binomial structure may point toward purely combinatorial proofs of log-concavity statements that motivated the question, bypassing the algebraic geometry used in earlier approaches.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies matroidal mixed Eulerian numbers A_M(a), defined as intersection numbers of the matroid class [X_M] with monomials in the hypersimplex divisor classes L_i on the permutohedral variety. Its main results are: an explicit closed formula for classical mixed Eulerian numbers (Corollary 1.6, via Theorem 1.5), a closed formula for matroidal mixed Eulerian numbers in terms of flags of flats and gamma invariants (Theorem 1.8/3.5), two recursive formulas (Theorems 1.9/3.7 and 1.10/3.8), and the structural result that the collection of all matroidal mixed Eulerian numbers is equivalent to Derksen's G-invariant (Theorem 1.12/3.14). The paper also gives a formula for the Tutte polynomial in terms of these numbers (Proposition 3.16). The proofs work through the Chow ring of the permutohedral variety, using restriction to facets, the change of basis between the L_i and exceptional S_i divisors, and external results such as the factorization of matroid classes under restriction (Lemma 2.18).
Significance. The equivalence with Derksen's G-invariant is a strong and satisfying answer to the question of Berget, Spink, and Tseng, and Corollary 1.6 appears to be the first explicit non-recursive closed formula for all mixed Eulerian numbers. The approach is original in combining Schubert's classical complete-quadrics technique with modern matroid Chow-ring methods, and the resulting formulas are concrete and independently checkable. The main theorems are proved in detail, with external inputs clearly identified; I found no circularity or hidden fitting parameters. The paper is a substantial contribution to the intersection-theoretic study of matroids and should be published after the local issues below are addressed.
minor comments (5)
- [Section 3.A, Lemma 3.1] The displayed scalar q omits the factor a_l! = (n+1-|F_l|)!, so the equality m = q S_{a_1} ... S_{a_l} is false as written. For example, when n = 2 and F_1 = {0}, the symmetrized sum is 2 S_2, not 1 S_2. Since the proof only needs q to be nonzero, the generation claim is unaffected, but the displayed equality should be corrected.
- [Section 3.C, Proposition 3.13] The coefficients D_c(b) are asserted rather than defined or proved to exist. Because equation (3.6) is the bridge from S-intersection numbers to matroidal mixed Eulerian numbers in the proof of Theorem 1.12, please add an explicit definition of D_c(b) (for instance, as the coefficients obtained by applying the inverse of the linear transformation in (1.1) to the S-monomial) and a one-sentence verification of the expansion. This is a completeness issue rather than a substantive gap, since Lemma 3.1 and the invertibility of the two bases guarantee the coefficients exist.
- [Section 3.C, heading] The heading contains the typo "matrodal" and should read "matroidal".
- [Section 3.B, Theorem 3.8] The condition a_{j-1} = 0 is written inside the set over which F ranges, although it is not a condition on F. Please move this condition outside the sum, or state explicitly that the last summand is zero when a_{j-1} is nonzero.
- [Throughout] There are several residual typos and infelicities, including "satsify", "polyope", "explecit", and "of of"; a careful proofreading pass would be helpful.
Circularity Check
No significant circularity; derivation is self-contained with external anchors.
full rationale
The paper's central results are derived from independent external theorems rather than from its own conclusions. Matroidal mixed Eulerian numbers are defined as intersection numbers on the permutohedral variety (Section 1.B), and the restriction/factorization engine Lemma 2.18 is quoted from the published independent work [7, Proposition 5.3] by Berget-Eur-Spink-Tseng, with no author overlap; Lemma 2.17 similarly imports [32, Lemma 2.6]. The explicit formulas in Theorem 3.5 and Corollary 1.6 are obtained by induction using only these external restriction rules and the elementary Lemma 2.15, so the target formulas are not assumed as inputs. For the G-invariant equivalence, the paper uses Derksen-Fink's universality theorem [18, Theorem 1.4] and Bonin-Kung's catenary-data theorem [9, Theorem 3.3] as external anchors, then expresses the catenary data as S-intersections and converts to L-intersections; this exhibits G as a linear combination of matroidal mixed Eulerian numbers rather than defining those numbers in terms of G. The self-citations that appear (e.g., [36] for mixed volumes, [6,27] for equivariant classes) are background or contextual and are not load-bearing. A small scalar typo in Lemma 3.1 (the displayed q omits a factor a_l!, so the printed equality fails in small examples) is a correctness blemish, not a circular step, since any nonzero scalar suffices for the generation claim. No fitted input is renamed as a prediction, no ansatz is smuggled via self-citation, and no known result is merely renamed. Accordingly, the derivation chain is self-contained against external benchmarks.
Assumptions & free parameters
assumptions (5)
- standard math Chow ring presentation of the permutohedral variety and perfect pairing (Proposition 2.1).
- domain assumption The matroid class [X_M] is well-defined and satisfies the restriction formula [X_M]|_F = [X_{M|F}] tensor [X_{M/F}] (Lemma 2.18).
- domain assumption Derksen's G-invariant is universal among valuative matroid invariants (Theorem 3.10, [18]).
- domain assumption Bonin-Kung's theorem expresses G(M) as a nonnegative combination of catenary data gamma(b) with coefficients nu(M; b) (Theorem 3.12, [9]).
- standard math Kunneth formula identifies CH(X_{Pi_F} x X_{Pi_{E\F}}) with the tensor product of Chow rings (used in Lemma 2.15).
Cite this review
Pith. "Pith review of Mixed Eulerian numbers and beyond." pith.science (2026). https://pith.science/paper/NHAAH3YB
@misc{pith2026250204980,
author = {Pith},
title = {Pith review of: Mixed Eulerian numbers and beyond},
year = {2026},
howpublished = {\url{https://pith.science/paper/NHAAH3YB}},
note = {Machine review of arXiv:2502.04980}
}
abstract
We derive explicit formulas for the matroidal mixed Eulerian numbers. We resolve a question posed by Berget, Spink, and Tseng, demonstrating that the invariant defined by matroidal mixed Eulerian numbers is precisely equivalent to Derksen's $\mathcal{G}$-invariant. As an application, we provide the first explicit, non-recursive formula for mixed Eulerian numbers. Our combinatorial approach draws inspiration from the classical work of Schubert and incorporates the cutting-edge contributions of Huh.
Reference graph
Works this paper leans on
-
[7]
Tautological classes of matroids
Andrew Berget, Christopher Eur, Hunter Spink, and Denni s Tseng. Tautological classes of matroids. Inventiones mathematicae, pages 1–89, 2023
work page 2023
-
[1]
Geometry of Peterson Schubert calculus in type A and left-right diagrams
Hiraku Abe, Tatsuya Horiguchi, Hideya Kuwata, and Haozh i Zeng. Geometry of Peterson Schubert calculus in type A and left-right diagrams. arXiv preprint arXiv:2104.02914 , 2021
work page Pith review arXiv 2021
-
[2]
The integral cohomology rings of Peterson varieties in type A
Hiraku Abe and Haozhi Zeng. The integral cohomology ring s of Peterson varieties in type A. arXiv preprint arXiv:2203.02629, 2022
work page Pith review arXiv 2022
-
[3]
Hodge theory f or combinatorial geometries
Karim Adiprasito, June Huh, and Eric Katz. Hodge theory f or combinatorial geometries. Annals of Mathematics, 188(2):381–452, 2018
work page 2018
-
[4]
Introduction to equivariant cohomology in algebraic geometry
Dave Anderson. Introduction to equivariant cohomology in algebraic geometry. Contributions to Alge- braic Geometry, pages 71–92, 2012
work page 2012
-
[5]
The Bergman comp lex of a matroid and phylogenetic trees
Federico Ardila and Caroline J Klivans. The Bergman comp lex of a matroid and phylogenetic trees. Journal of Combinatorial Theory, Series B , 96(1):38–49, 2006
work page 2006
-
[6]
Equi- variant Tutte polynomial
Mario Bauer, Matˇ ej Doleˇ z´ alek, Magdal´ ena Miˇ sinov´a, Semen S/suppress lobodianiuk, and Julian Weigert. Equi- variant Tutte polynomial. arXiv preprint arXiv:2312.00913 , 2023
-
[8]
Log-conc avity of matroid h-vectors and mixed Euler- ian numbers
Andrew Berget, Hunter Spink, and Dennis Tseng. Log-conc avity of matroid h-vectors and mixed Euler- ian numbers. Duke Mathematical Journal , 172(18):3475–3520, 2023
work page 2023
Show all 48 references
-
[9]
Bonin and Joseph P.S
Joseph E. Bonin and Joseph P.S. Kung. The g-invariant and catenary data of a matroid. Advances in Applied Mathematics, Volume 94, Pages 39-70 , 2018
2018
-
[10]
Lorentzian polynomials
Petter Br¨ and´ en and June Huh. Lorentzian polynomials. Annals of Mathematics , 192(3):821–891, 2020
2020
-
[11]
A. Fink C. Dupont and L. Moci. Universal Tutte character s via combinatorial coalgebras. Algebraic Combinatorics, Volume 1 no. 5, pp. 603-651 , 2018
2018
-
[12]
Sullivant-Talaska ideal of the cyclic Gaussian graphical model
Austin Conner, Kangjin Han, and Mateusz Micha/suppress lek. Sullivant-Talaska ideal of the cyclic Gaussian graphical model. arXiv preprint arXiv:2308.05561 , 2023
2023 arXiv
-
[13]
Characteristic numbers and chromatic polynomial of a tensor
Austin Conner and Mateusz Micha/suppress lek. Characteristic numbers and chromatic polynomial of a tensor. arXiv preprint arXiv:2111.00809 , 2021
2021 arXiv
-
[14]
Cox, John B
David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011
2011
-
[15]
Mixed volumes of hypersimplices, root systems and shifted Y oung tableaux
Dorian Eugen Croitoru. Mixed volumes of hypersimplices, root systems and shifted Y oung tableaux . PhD thesis, Massachusetts Institute of Technology, 2010
2010
-
[16]
Complete symme tric varieties
Corrado De Concini and Claudio Procesi. Complete symme tric varieties. In Invariant theory (Monte- catini, 1982), volume 996 of Lecture Notes in Math. , pages 1–44. Springer, Berlin, 1983
1982
-
[17]
Symmetric and quasi-symmetric function s associated to polymatroids
Harm Derksen. Symmetric and quasi-symmetric function s associated to polymatroids. Journal of Alge- braic Combinatorics, 30(1):43–86, 2009
2009
-
[18]
Valuative invariants for po lymatroids
Harm Derksen and Alex Fink. Valuative invariants for po lymatroids. Advances in Mathematics , 225(4):1840–1892, 2010
2010
-
[19]
Applications of intersection theory: from maximum likelihood to chromatic polynomials
Rodica Andreea Dinu, Mateusz Micha/suppress lek, and Tim Seynnaeve. Applications of intersection theory: from maximum likelihood to chromatic polynomials. arXiv preprint arXiv:2111.02057, to appear in Einstein Semester Proceedings ”Varieties, Polyhedra, Computation ”, EMS , 2024
2024 arXiv
-
[20]
Geometry of the Gaussian graphical model of the cycle
Rodica Andreea Dinu, Mateusz Micha/suppress lek, and Martin Vodiˇ cka. Geometry of the Gaussian graphical model of the cycle. arXiv preprint arXiv:2111.02937 , 2021
2021 arXiv
-
[21]
Mixed volumes and slices of the cube
Richard Ehrenborg, Margaret Readdy, and Einar Steingr ´ ımsson. Mixed volumes and slices of the cube. Journal of Combinatorial Theory Series A , 81(1):121–126, 1998
1998
-
[22]
3264 and all that: A second course in algebraic geometry
David Eisenbud and Joe Harris. 3264 and all that: A second course in algebraic geometry . Cambridge University Press, 2016
2016
-
[23]
Stellahedr al geometry of matroids
Christopher Eur, June Huh, and Matt Larson. Stellahedr al geometry of matroids. In Forum of Mathe- matics, Pi , volume 11, page e24. Cambridge University Press, 2023
2023
-
[24]
A. Fink F. Ardila and F. Rinc´ on. Valuations for matroid polytope subdivisions. Canadian Journal of Mathematics. 62(6) , 2010
2010
-
[25]
The equivariant cohomology rings of Peterson varieties
Yukiko Fukukawa, Megumi Harada, and Mikiya Masuda. The equivariant cohomology rings of Peterson varieties. Journal of the Mathematical Society of Japan , 67(3):1147–1159, 2015
2015
-
[26]
Intersection theo ry on toric varieties
William Fulton and Bernd Sturmfels. Intersection theo ry on toric varieties. Topology, 36(2):335–353, 1997
1997
-
[27]
Equivariant Euler characteristics.Lef- schetz Properties: Current and New Directions , 59:129, 2024
Vincenzo Galgano, Hanieh Keneshlou, and Mateusz Micha /suppress lek. Equivariant Euler characteristics.Lef- schetz Properties: Current and New Directions , 59:129, 2024
2024
-
[28]
The intersection ring of matroids
Simon Hampe. The intersection ring of matroids. Journal of Combinatorial Theory, Series B , 122:578– 614, 2017. 26 LIU, MICHA/suppress LEK, AND WEIGERT
2017
-
[29]
Milnor numbers of projective hypersurfaces a nd the chromatic polynomial of graphs
June Huh. Milnor numbers of projective hypersurfaces a nd the chromatic polynomial of graphs. Journal of the American Mathematical Society , 25(3):907–927, 2012
2012
-
[30]
Tropical geometry of matroids
June Huh. Tropical geometry of matroids. In Current developments in mathematics 2016 , pages 1–46. Int. Press, Somerville, MA, 2018
2016
-
[31]
Log-concavity of characteristi c polynomials and the Bergman fan of matroids
June Huh and Eric Katz. Log-concavity of characteristi c polynomials and the Bergman fan of matroids. Mathematische Annalen , 354(3):1103–1116, 2012
2012
-
[32]
Matroidal mixed Eulerian numb ers
Eric Katz and Max Kutler. Matroidal mixed Eulerian numb ers. arXiv preprint arXiv:2305.19095 , 2023
2023 arXiv
-
[33]
Realization spaces for tropica l fans
Eric Katz and Sam Payne. Realization spaces for tropica l fans. Combinatorial aspects of commutative algebra and algebraic geometry , 6:73–88, 2011
2011
-
[34]
Orbits of a maximal t orus on a flag space
Aleksandr Anatol’evich Klyachko. Orbits of a maximal t orus on a flag space. Functional analysis and its applications, 19(1):65–66, 1985
1985
-
[35]
On Giambe lli’s theorem on complete correlations
Dan Laksov, Alain Lascoux, and Anders Thorup. On Giambe lli’s theorem on complete correlations. Acta Math., 162(3-4):143–199, 1989
1989
-
[36]
Mixed volumes of hypersimplices
Gaku Liu. Mixed volumes of hypersimplices. Discrete Mathematics & Theoretical Computer Science , (Proceedings), 2015
2015
-
[37]
Complete quadrics: Schubert calculus for Gaussian models and semide finite programming
Laurent Manivel, Mateusz Micha/suppress lek, Leonid Monin, TimSeynnaeve, and Martin Vodiˇ cka. Complete quadrics: Schubert calculus for Gaussian models and semide finite programming. Journal of the Euro- pean Mathematical Society , 2023
2023
-
[38]
On the birational geometry of spaces o f complete forms i: collineations and quadrics
Alex Massarenti. On the birational geometry of spaces o f complete forms i: collineations and quadrics. Proceedings of the London Mathematical Society , 121(6):1579–1618, 2020
2020
-
[39]
Enumerative geometry meets statistics, combinatorics, and topology
Mateusz Micha/suppress lek. Enumerative geometry meets statistics, combinatorics, and topology. Notices of the American Mathematical Society , 70(4), 2023
2023
-
[40]
Maximum likelihood degree, complete quadrics, and C∗ action
Mateusz Micha/suppress lek, Leonid Monin, and Jaros/suppress law A Wi´ sniewski. Maximum likelihood degree, complete quadrics, and C∗ action. SIAM Journal on Applied Algebra and Geometry , 5(1):60–85, 2021
2021
-
[41]
American Mathematical Society, 2019
Mateusz Micha/suppress lek and Bernd Sturmfels.Invitation to nonlinear algebra , volume 211, Graduate Studies in Mathematics. American Mathematical Society, 2019
2019
-
[42]
Chow quo- tients of C∗ -actions
Gianluca Occhetta, Eleonora A Romano, Luis E Sol´ a Conde, and Jaros/suppress law A Wi´ sniewski. Chow quo- tients of C∗ -actions. arXiv preprint arXiv:2310.18623 , 2023
2023 arXiv
-
[43]
Permutohedra, associahedra, an d beyond
Alexander Postnikov. Permutohedra, associahedra, an d beyond. International Mathematics Research Notices, 2009(6):1026–1106, 2009
2009
-
[44]
Enumerative geometry of degeneracy loc i
Piotr Pragacz. Enumerative geometry of degeneracy loc i. Ann. Sci. ´Ecole Norm. Sup. (4) , 21(3):413– 454, 1988
1988
-
[45]
Algebraic topology
Edwin H Spanier and Edwin Henry Spanier. Algebraic topology. Springer Science & Business Media, 1989
1989
-
[46]
Solving systems of polynomial equations
Bernd Sturmfels. Solving systems of polynomial equations . Number 97. American Mathematical Soc., 2002
2002
-
[47]
Complete collineations revisited
Michael Thaddeus. Complete collineations revisited. Math. Ann. , 315(3):469–495, 1999
1999
-
[48]
Linear conditions imposed on flag v arieties
Julianna S Tymoczko. Linear conditions imposed on flag v arieties. American Journal of Mathematics , 128(6):1587–1604, 2006. University of W ashington, Seattle, USA Email address : gakuliu@uw.edu University of Konstanz, Germany, F achbereich Mathematik un d Statistik, F ach D 1...
2006
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.