pith. sign in

arxiv: 2511.12408 · v2 · submitted 2025-11-16 · 🧮 math.CO · math.AG

On gamma-vectors and Chow polynomials of restrictions of reflection arrangements

Sebastian Degen , Lisa Henetmayr , Magdal\'ena Mi\v{s}inov\'a , Pawe{\l} Pielasa , Florian Rieg This is my paper

Pith reviewed 2026-05-17 22:44 UTC · model grok-4.3

classification 🧮 math.CO math.AG
keywords gamma-vectorsChow polynomialsreflection arrangementsrestrictionsh-polynomialssimplicial arrangementstype Btype D
0
0 comments X

The pith

Restrictions of reflection arrangements are gamma-positive with explicit Chow formulas in type B

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

The paper proves that restrictions of reflection arrangements preserve gamma-positivity. It supplies an explicit combinatorial formula for the Chow polynomial in the type B case. For intermediate restrictions in type D the h-polynomial and Chow polynomial interpolate linearly between the type B and type D cases. A sympathetic reader cares because these results extend positivity properties to a wider class of simplicial arrangements and reveal an arithmetic link between different reflection types.

Core claim

All restrictions of reflection arrangements are γ-positive. An explicit combinatorial formula is given for the Chow polynomial in type B. For the special class of intermediate restrictions of type D arrangements, both the h-polynomial and the Chow polynomial behave arithmetically by linearly interpolating between the corresponding invariants for type B and type D.

What carries the argument

The γ-vector of the h-polynomial together with the Chow polynomial, which carry the positivity and arithmetic interpolation claims under restriction.

If this is right

  • Gamma-positivity holds for every restriction of a reflection arrangement.
  • The Chow polynomial admits an explicit combinatorial formula in type B.
  • Intermediate type D restrictions have h-polynomials and Chow polynomials that interpolate linearly between type B and type D.
  • These polynomial properties follow directly from the simplicial character of the restricted arrangements.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same positivity and interpolation may hold for restrictions of other simplicial arrangements beyond reflections.
  • The linear interpolation points toward a possible continuous deformation parameter linking type B and type D invariants.
  • The explicit formulas could simplify verification of related positivity conjectures in the theory of hyperplane arrangements.

Load-bearing premise

The simpliciality property is preserved under taking restrictions of the arrangements.

What would settle it

A direct computation of the γ-vector for an explicit small restriction of a reflection arrangement that contains a negative entry.

Figures

Figures reproduced from arXiv: 2511.12408 by Florian Rieg, Lisa Henetmayr, Magdal\'ena Mi\v{s}inov\'a, Pawe{\l} Pielasa, Sebastian Degen.

Figure 1
Figure 1. Figure 1: L(D3) with the EL-labeling. Lemma 4.24. Let x ∈ L(Dn) and y ∈ L(Bn) \ L(Dn) with x ≺· y. Then Exy is a signed edge. Proof. We know that y ∈ L(Bn) \ L(Dn), therefore y contains a block of the form {k, 0, −k}, for some k ∈ [n]. At the same time, x cannot contain such a block. Hence, the only possible way to go from x to y is via merging {k} and {−k} which creates the signed block {k, 0, −k}. Thus Exy is sign… view at source ↗
read the original abstract

Simplicial arrangements are a special class of hyperplane arrangements, having the property that every chamber is a simplicial cone. It is known that the simpliciality property is preserved under taking restrictions. In this article we focus on the class of reflection arrangements and investigate two different polynomial invariants associated to them and their restrictions, the $h$-polynomial with its $\gamma$-vector and the Chow polynomial. We prove that all restrictions of reflection arrangements are $\gamma$-positive and give an explicit combinatorial formula of the Chow polynomial in type $B$. Furthermore we prove that for a special class of restrictions of arrangements of type $D$, called intermediate arrangements, both the $h$-polynomial as well as the Chow polynomial behave arithmetically, that is they interpolate linearly between the respective invariants for type $B$ and $D$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that all restrictions of reflection arrangements are γ-positive, supplies an explicit combinatorial formula for the Chow polynomial in type B, and shows that the h-polynomial and Chow polynomial of intermediate type-D restrictions interpolate arithmetically between the corresponding invariants for types B and D. The arguments rely on the known preservation of simpliciality under restriction together with direct combinatorial constructions specific to reflection groups.

Significance. If the proofs are correct, the work supplies concrete positivity results and explicit formulas for two standard polynomial invariants of simplicial arrangements arising from reflection groups. The arithmetic interpolation property for the intermediate type-D case is a particularly clean structural observation that may simplify computations and suggest further relations among these polynomials.

minor comments (1)
  1. The abstract states that simpliciality is preserved under restriction and labels the fact 'known,' but a short reference or one-sentence reminder of the standard argument would help readers who are not already familiar with the background literature on simplicial arrangements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the arithmetic interpolation property, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper states direct combinatorial proofs that all restrictions of reflection arrangements are gamma-positive, supplies an explicit combinatorial formula for the Chow polynomial in type B, and shows arithmetic interpolation for h- and Chow polynomials of intermediate type-D restrictions. These rest on the explicitly labeled known fact that simpliciality is preserved under restriction together with type-specific combinatorial arguments. No self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work appear in the stated claims or abstract. The central results are presented as independent proofs and formulas rather than tautological rewritings of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the known fact that simpliciality is preserved under restriction and on the standard definitions of reflection arrangements, h-polynomials, gamma-vectors, and Chow polynomials in the literature on hyperplane arrangements. No new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Simpliciality is preserved under taking restrictions of hyperplane arrangements.
    Stated as known background in the abstract and used as the foundation for all claims about the restricted arrangements.

pith-pipeline@v0.9.0 · 5459 in / 1286 out tokens · 23152 ms · 2026-05-17T22:44:06.192981+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We prove that all restrictions of reflection arrangements are γ-positive and give an explicit combinatorial formula of the Chow polynomial in type B. Furthermore we prove that for a special class of restrictions of arrangements of type D, called intermediate arrangements, both the h-polynomial as well as the Chow polynomial behave arithmetically.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Theorem B. The Chow polynomial for type B has the expansion HBn(x) = sum ... x^des(...) (x+1)^... where the sum ranges over tuples with descent conditions.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · 1 internal anchor

  1. [1]

    Hodge theory for combinatorial geometries

    [AHK18] K. Adiprasito, J. Huh, and E. Katz. “Hodge theory for combinatorial geometries”. In: Ann. of Math.188.2.2 (2018), pp. 381–452. [Ath18] C. A. Athanasiadis. “Gamma-positivity in combinatorics and geometry”. In:Séminaire Lotharingien de Combinatoire77 (2018), Article B77i. [Bre94] F. Brenti. “q-Eulerian polynomials arising from Coxeter groups”. In:Eu...

    work page 2018

  2. [2]

    Finite Weyl groupoids

    arXiv:2501.07364 [math.CO]. [CH15] M. Cuntz and I. Heckenberger. “Finite Weyl groupoids”. In:J. Reine Angew. Math.702 (2015), pp. 77–108. [Cun12] M. Cuntz. “Simplicial Arrangements with up to 27 Lines”. In:Discrete & Computational Geometry48 (2012). [Cun22] M. Cuntz. “A greedy algorithm to compute arrangements of lines in the projective plane”. In:Discret...

    work page arXiv 2015

  3. [3]

    Shellability of posets of labeled partitions and arrangements defined by root systems

    [DGP19] E. Delucchi, N. Girard, and G. Paolini. “Shellability of posets of labeled partitions and arrangements defined by root systems”. In:The Electronic Journal of Combinatorics26 (2019). [Fer+24] L. Ferroni, J. P. Matherne, M. Stevens, and L. Vecchi. “Hilbert–Poincaré series of matroid Chow rings and intersection cohomology”. In:Advances in Mathematics...

    work page 2019

  4. [4]

    [Hum90] J

    arXiv: 2410.22329 [math.CO]. [Hum90] J. E. Humphreys.Reflection groups and Coxeter groups. Vol

    work page arXiv

  5. [5]

    A combinatorial proof of Poincar´e’s duality theorem

    REFERENCES 25 [Kle64] V. Klee. “A combinatorial proof of Poincar´e’s duality theorem”. In:Can. J. Math.16 (1964), pp. 517–531. [Kör+25a] V. Körber, T. Schnieders, J. Stricker, and J. Walizadeh.Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements

    work page 1964

  6. [6]

    Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements

    arXiv:2508.14538 [math.CO]. [Kör+25b] V. Körber, T. Schnieders, J. Stricker, and J. Walizadeh.Hamiltonian Cycles in Sim- plicial Arrangements.https : / / github . com / Tobias271828 / Hamilton - Cycles - in - Simplicial-Arrangements. GitHub. Mar

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    Arrangements of Hyperplanes

    arXiv:2203.11062 [math.MG]. [OT13] P. Orlik and H. Terao. “Arrangements of Hyperplanes”. In:Springer Science & Business Media(2013). [Oxl11] J. Oxley. “Matroid Theory”. In:Oxford Graduate Text in Mathematics2nd edition (2011). [PRW08] A. Postnikov, V. Reiner, and L. Williams. “Faces of generalized permutohedra”. In:Doc- umenta Mathematica13 (2008). [Sta97...

    work page arXiv 2013

  8. [8]

    Coxeter cones and their h-vectors

    [Ste08] J. R. Stembridge. “Coxeter cones and their h-vectors”. In:Advances in Mathematics217.5 (2008). [Ste21] M. Stevens.Real-rootedness conjectures in matroid theory.https://mcs0042.github. io/bachelor.pdf

    work page 2008

  9. [9]

    Chow and augmented Chow polynomials as evaluations of Poincaré-extended ab-indices

    [Stu25] C. Stump. “Chow and augmented Chow polynomials as evaluations of Poincaré-extended ab-indices”. In:Advances in Mathematics482 (2025), p. 110618. 26 REFERENCES AppendixA.Small catalogue of Chow polynomials ofD n,s- arrangements We provide a small catalogue of Chow polynomials of matroids arising fromDn,s arrangements up to dimensionn=

    work page 2025