Pith. sign in

REVIEW 5 minor 2 cited by

Magic Positivity for the Ehrhart Polynomials of Partial Permutohedra

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For n at least m-1 the Ehrhart polynomial of the partial permutohedron is magic positive except one case.

desk verdict Clean partial solution of Ferroni–Higashitani 4.23: magic positivity for all n≥m−1 except (2,1), plus complete n=1,2,3 classification. read the letter →

arxiv 2607.03854 v1 pith:NIZVVGFH submitted 2026-07-04 math.CO

Feihu Liu , Zihao Zhang This is my paper
classification math.CO MSC 05A1552B2052B05
keywords latticepolytopepartialpermutohedronparkingfunctionEhrhartpolynomialmagicpositivityh*-polynomialrooted-tree
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper settles most of an open classification question: which partial permutohedra have magic-positive Ehrhart polynomials. Magic positivity is a stronger form of Ehrhart positivity that also forces the associated h*-polynomial to be real-rooted. The authors prove that whenever the second parameter n is at least m-1, the Ehrhart polynomial is magic positive except for the single pair (m,n)=(2,1). In particular the parking-function polytope, integrally equivalent to P(m,m-1), is magic positive for every m greater than or equal to 3. Below the threshold n less than m-1 the picture is mixed: they exhibit infinite families of counterexamples for n=1 and n=2, while for n=3 only the two small polytopes P(5,3) and P(6,3) remain magic positive. The result therefore supplies a clean affirmative answer on the “stable” side of the parameter plane and already shows that the complementary side is not uniformly positive.

What carries the argument

Behrend’s coefficient-extraction formula for the Ehrhart polynomial when n is at least m-1, rewritten as a generating function whose coefficients B_{i,r}(n) are shown non-negative by a differential reduction in n, evaluation of the boundary values via the rooted-tree function and Lagrange inversion, and coefficient-wise positivity estimates for two auxiliary series R(u) and C(u).

What would settle it

Compute the magic transform of the Ehrhart polynomial of P(m,n) for any pair with n greater than or equal to m-1 other than (2,1) and check whether every coefficient is non-negative; a single negative coefficient would refute the main theorem.

Watch

Extended reading notes

Core claim

For every pair of positive integers m,n with n greater than or equal to m-1 the Ehrhart polynomial of the partial permutohedron P(m,n) can be written with non-negative coefficients in the magic basis {t^i (t+1)^{m-i}}, with the sole exception of the two-dimensional polytope P(2,1). Equivalently, every magic coefficient is non-negative except that one case.

Load-bearing premise

The entire argument for the stable range rests on a single closed-form generating function for the Ehrhart polynomial that is known only when n is at least m-1.

Editorial extensions

If this is right

  • The h*-polynomial of every partial permutohedron with n at least m-1 is real-rooted.
  • The parking-function polytope of length m is magic positive for all m greater than or equal to 3.
  • Partial permutohedra supply an infinite family of Y-generalized permutohedra that are magic positive for all admissible parameters except one explicit exception.
  • Below the line n = m-1 the property fails for infinitely many pairs, so any complete classification must treat the two regimes separately.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same rooted-tree analysis may extend to other families of Y-generalized permutohedra once an analogous coefficient formula is available.
  • The two exceptional positive cases for n=3 suggest that a finite list of sporadic magic-positive polytopes may exist for each fixed n less than m-1.
  • Because magic positivity implies real-rootedness of h*, the result immediately yields new infinite families of real-rooted h*-polynomials coming from combinatorial polytopes.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies magic positivity of the Ehrhart polynomials of partial permutohedra P(m,n). For n ≥ m-1 it proves that E_{m,n}(t) is magic positive except precisely for (m,n)=(2,1), by converting Behrend’s coefficient-extraction formula into magic coefficients μ_{m,n,i}=(m!/r!)B_{i,r}(n), reducing non-negativity via ∂/∂n B_{i,r}=B_{i-1,r} to boundary values B_{i,r}(i+r-1), and establishing those signs by expressing the boundary values through the rooted-tree function and Lagrange inversion as [u^i]R(u)^r C(u), with explicit coefficient estimates for R and C. As a corollary the parking-function polytope (integrally equivalent to P(m,m-1)) is magic positive for m≥3. For n<m-1 the paper classifies the cases n=1,2,3 completely: infinite families of counterexamples for n=1 (m≥3) and n=2 (m≥4), and for n=3 positivity only when m=5,6. This partially answers an open problem of Ferroni–Higashitani.

Significance. Magic positivity is a strong positivity property that implies both Ehrhart positivity and real-rootedness of the h*-polynomial (via Brändén). Partial permutohedra form a natural family of Y-generalized permutohedra for which the stable-range Ehrhart formula is known, so a complete magic-positivity classification in that range is a concrete advance. The parking-function corollary is of independent combinatorial interest. The argument is self-contained once Behrend’s formula is granted: every non-negativity claim is proved by explicit series comparison or induction, with no fitted parameters. The small-n analysis already exhibits both infinite counterexample families and exceptional positive cases, clarifying that the complementary range is mixed. The result therefore supplies a substantial partial resolution of the open problem posed in the Ferroni–Higashitani survey.

minor comments (5)
  1. [Abstract / §1] In the abstract and introduction the phrase “integrally equivalent to P(m,m-1)” for the parking-function polytope is used without a one-line reference or definition of the equivalence; a short citation or parenthetical would help readers who know only the classical definition of P_m.
  2. [§3.3, Lemma 3.5] Lemma 3.5 computes the first few coefficients of C(u) by hand (c_2=c_3=0) and then gives a lower bound for k≥4; while correct, a brief remark that the same closed-form expression for [u^k]e^{-T} and the Lagrange formula for powers of T can be used to obtain an exact formula for all c_k would make the argument more uniform.
  3. [§5.3, Table 1] Table 1 lists the coefficient of y^4 for 7≤m≤17 as negative fractions; the fractions are correct but extremely large. Adding a short sentence that they were obtained by expanding the product formula of Proposition 5.7 (or by a computer-algebra script) would improve reproducibility.
  4. [Throughout / References] A few typographical inconsistencies appear: “Brändén” is sometimes written without the umlaut, and the arXiv identifier of the concurrent Avila–Ferroni–Morales preprint is given as 2603.19194 (future-dated). Standardizing the orthography and confirming the identifier would be helpful.
  5. [§4, Proposition 4.1] In the proof of Proposition 4.1 the three sub-cases for the induction step on B_{i-1,r} are exhaustive, but a one-line summary table of the exceptional pairs (i,r)=(1,0),(1,1),(2,0),(2,1) would make the case distinction easier to follow on a first reading.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: self-contained nonnegativity proof from an external generating-function identity via series comparison and induction.

full rationale

The central claim (Theorem 1.3) converts Behrend’s external coefficient-extraction formula (1) (valid precisely for n≥m-1) into magic coefficients μm,n,i=(m!/r!)Bi,r(n) (Lemma 2.1). Nonnegativity of Bi,r(n) for n≥i+r-1 is reduced by the elementary differentiation identity ∂/∂n Bi,r=Bi-1,r (Lemma 2.2) to boundary values Bi,r(i+r-1). Those boundaries are rewritten, via the classical rooted-tree function and Lagrange inversion (Lemma 3.1–3.2), as coefficients [ui]R(u)rC(u). Explicit closed forms and sign estimates for the series R and C (Lemmas 3.3–3.5) establish the required nonnegativity except for the single pair (i,r)=(1,1), which is checked by direct computation and produces the unique exception (m,n)=(2,1). Induction (Proposition 4.1) then propagates the boundary inequalities. All steps are algebraic identities or coefficient comparisons; no parameter is fitted, no uniqueness theorem is imported from the authors, and the sole external input (Behrend’s formula) is cited from independent work whose domain matches the claimed range. The n<m-1 cases likewise rest on explicit formulas from the same external source and direct product expansions. The derivation is therefore free of circular reduction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 1 invented entities

The paper rests on standard generating-function and polytope theory plus one external closed-form formula of Behrend. No free parameters are fitted; the only non-standard objects are intermediate coefficient series introduced for bookkeeping.

assumptions (3)
  • domain assumption Behrend’s coefficient-extraction formula (Eq. (1)) for the Ehrhart polynomial of P(m,n) when n≥m-1
    Invoked at the start of Section 2; every subsequent identity for the magic coefficients is derived from it.
  • standard math Lagrange inversion formula for the rooted-tree function T(u)=u e^{T(u)}
    Used in Lemma 3.1 and throughout Section 3; classical and cited to Gessel and Corless et al.
  • standard math Stanley’s nonnegativity of h*-coefficients and Bränden’s implication from magic positivity to real-rootedness
    Background facts recalled in the introduction; not re-proved.
invented entities (1)
  • The auxiliary series B_{i,r}(n) and the generating functions R(u), C(u)
    purpose: Book-keeping devices that convert magic-coefficient nonnegativity into ordinary power-series coefficient nonnegativity
    Defined in Lemmas 2.1 and 3.2 purely for the proof; they have no independent geometric meaning outside the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Magic Positivity for the Ehrhart Polynomials of Partial Permutohedra." pith.science (2026). https://pith.science/paper/NIZVVGFH

@misc{pith2026260703854,
  author       = {Pith},
  title        = {Pith review of: Magic Positivity for the Ehrhart Polynomials of Partial Permutohedra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NIZVVGFH}},
  note         = {Machine review of arXiv:2607.03854}
}
abstract

For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Ehrhart $h^*$-distributions

    math.CO 2026-07 conditional novelty 6.0 of 10

    Normalized Ehrhart h*-polynomials form 'h*-distributions' whose mean/variance are fixed by Ehrhart polynomial coefficients and whose dilation limit is the Eulerian distribution.

  2. Lattice slices, Ehrhart polynomials, and magic positivity of generalized parking-function polytopes

    math.CO 2026-07 accept novelty 6.0 of 10

    Every integer slice of a b-parking-function polytope is a parking-function polytope, yielding explicit Ehrhart formulas and proving all X_n(a,b) are magic positive except PF_2.

Reference graph

Works this paper leans on

23 extracted references · 2 linked inside Pith · cited by 2 Pith papers

  1. [1]

    Amanbayeva and D

    A. Amanbayeva and D. Wang, The convex hull of parking functions of lengthn,Enumer. Comb. Appl.2 (2022), no.2, Paper No. S2R10, 10 pp. 3

    2022

  2. [2]

    Avila, L

    N. Avila, L. Ferroni, and A. Morales, Luck and magic for Pitman-Stanley polytopes and parking functions, arXiv:2603.19194, (2026). 2

    arXiv 2026

  3. [3]

    Beck and S

    M. Beck and S. Robins,Computing the continuous discretely, in: Integer-Point Enumer- ation in Polyhedra, second edition, Undergraduate Texts in Mathematics. Springer, New York, (2015). 2

    2015

  4. [4]

    Behrend, Ehrhart polynomials of partial permutohedra, arXiv:2403.06975, (2024)

    R. Behrend, Ehrhart polynomials of partial permutohedra, arXiv:2403.06975, (2024). 2, 3, 4

    arXiv 2024

  5. [5]

    Behrend, F

    R. Behrend, F. Castillo, A. Chavez, A. Diaz-Lopez, L. Escobar, P, Harris, and E. Insko, Partial permutohedra,S´ em. Lothar. Combin.89B (2023), Art. 64, 12pp. 2

    2023

  6. [6]

    Behrend, F

    R. Behrend, F. Castillo, A. Chavez, A. Diaz-Lopez, L. Escobar, P, Harris, and E. Insko, Partial permutohedra,Discrete Comput. Geom.76 (2026), 589–642. 2, 13

    2026

  7. [7]

    Black and R

    A. Black and R. Sanyal, Underlying flag polymatroids,Adv. Math.453 (2024), 109835. 2

    2024

  8. [8]

    Br¨ and´ en, On linear transformations preserving the P´ olya frequency property,Trans

    P. Br¨ and´ en, On linear transformations preserving the P´ olya frequency property,Trans. Amer. Math. Soc.358 (2006), 3697–3716. 2

    2006

Show all 23 references
  1. [9]

    Corless, G

    R. Corless, G. Gonnet, D. Hare, D. Jeffrey, and D. Knuth, On the Lambert W function, Adv. Comput. Math5 (1996), 329–359. 5

    1996

  2. [10]

    Ehrhart, Sur les polyh´ edres rationnels homoth´ etiques ´ andimensions,C

    E. Ehrhart, Sur les polyh´ edres rationnels homoth´ etiques ´ andimensions,C. R. Acad Sci. Paris.254 (1962), 616–618. 2

    1962

  3. [11]

    Ferroni and A

    L. Ferroni and A. Higashitani, Examples and counterexamples in Ehrhart Theory,EMS Surv. Math. Sci.(2024). 2

    2024

  4. [12]

    I. M. Gessel, Lagrange inversion,J. Combin Theory, Series A144 (2016), 212–249. 5, 6, 10 19

    2016

  5. [13]

    Hanada, J

    M. Hanada, J. Lentfer, and A. Vindas-Mel´ endez, Generalized parking function polytopes, Ann. Comb.28 (2024), 575–613. 2, 3

    2024

  6. [14]

    Heuer and J

    D. Heuer and J. Striker, Partial permutation and alternating sign matrix polytopes,S´ em. Lothar. Combin.85B (2021), Art.35, 12pp. 2

    2021

  7. [15]

    Heuer and J

    D. Heuer and J. Striker, Partial permutation and alternating sign matrix polytopes,SIAM J. Discrete Math.36 (2022), 2863–2888. 2

    2022

  8. [16]

    Liu, On positivity of Ehrhart polynomials, Recent trends in algebraic combinatorics, Assoc

    F. Liu, On positivity of Ehrhart polynomials, Recent trends in algebraic combinatorics, Assoc. Women Math Ser., vol. 16, Springer, Cham, (2019), 189–237. 2

    2019

  9. [17]

    Postnikov, Permutohedra, associahedra, and beyond,Int

    A. Postnikov, Permutohedra, associahedra, and beyond,Int. Math. Res. Not. IMRN6 (2009), 1026–1106. 2

    2009

  10. [18]

    R. P. Stanley, Decompositions of rational convex polytopes,Ann. Discrete Math.6 (1980), 333–342. 2

    1980

  11. [19]

    R. P. Stanley,Enumerative Combinatorics (volume 1), Second Edition. Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, (2012). 2

    2012

  12. [20]

    R. P. Stanley,Enumerative Combinatorics (volume 2), second Edition. Cambridge Studies in Advanced Mathematics, vol. 208, Cambridge University Press, (2023). 5

    2023

  13. [21]

    R. P. Stanley, Problem 12191,Amer. Math. Monthly127 (2020), no.6, 563. 3

    2020

  14. [22]

    Stong, The polytope of parking functions, Solution to Problem 12191,Amer

    R. Stong, The polytope of parking functions, Solution to Problem 12191,Amer. Math. Monthly129 (2022), no.3, 286–289. 3

    2022

  15. [23]

    G. M. Ziegler,Lectures on Polytopes, Grad. Texts Math. 152, Springer-Verlag, New York (1995). 2 20

    1995

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.