Pith. sign in

REVIEW 5 minor 21 references

The orbit harmonics quotient of derangement permutation matrices is presented by the usual row-column ideal plus the diagonal variables, has Hilbert series summing q to the n minus Foata-LIS over derangements, and has graded Sn-character gi

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-31 16:03 UTC pith:3ZNKU7IO

load-bearing objection Solid derangement extension of Rhoades’ orbit-harmonics theorem: explicit generators, Foata–lis Hilbert series, and a mapping-cone graded character, all proved by checkable induction.

arxiv 2607.28157 v1 pith:3ZNKU7IO submitted 2026-07-30 math.CO math.AC

Derangement permutation matrices and orbit harmonics

Yupeng Li , Jasper Liu , Brendon Rhoades This is my paper
classification math.CO math.AC MSC 05E1005A0513A5013D02
keywords derangementsorbit harmonicsFoata transformationlongest increasing subsequencemapping conegraded Frobenius characteristicrook placementsKronecker product
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper studies the orbit harmonics ring built from the locus of n-by-n derangement permutation matrices inside matrix space. It proves that the associated graded vanishing ideal is generated by the familiar row-and-column sum and product relations together with the diagonal variables themselves (for n not equal to 1). From a deletion-contraction short exact sequence the authors obtain the Hilbert series as a sum, over derangements, of q raised to n minus the length of the longest increasing subsequence of the Foata transform. Mapping cones then produce an exact sequence of graded Sn-modules whose alternating sum yields an explicit formula for the graded Frobenius characteristic in terms of elementary symmetric functions times Kronecker squares of Schur functions. A sympathetic reader cares because the same orbit-harmonics deformation that previously encoded ordinary permutations and increasing subsequences now encodes derangements, with the Foata map and homological algebra supplying the bridge.

Core claim

For any rook placement R on the n-by-n board (n eq1 or R empty) the graded ideal gr I(Sn(R)) equals the ideal In generated by row/column sums and same-row/column products, plus the variables x_i,j for (i,j) in R; in particular gr I(Dn) = In + (x_11, abledots,x_nn). The Hilbert series of R(Dn) is therefore the sum over derangements w of q^{n-lis(Ψ(w))}, and the graded Frobenius image is the displayed alternating sum involving e_k and the Kronecker squares s_λ * s_λ.

What carries the argument

The deletion-contraction short exact sequence of Theorem 4.2 (multiplication by a rook variable injects the contracted ring into the deleted ring) together with the mapping-cone construction that assembles these sequences into a resolution of R(Dn) by induced copies of the ordinary permutation orbit-harmonics rings.

Load-bearing premise

The proof that multiplication by a diagonal variable remains injective after passing to associated graded rings, which relies on a technical filtration identity proved by an averaging operator and a characteristic-zero cancellation.

What would settle it

For a fixed small n (say n=5 or 6) compute the Hilbert series of the explicit quotient S/(In+(x_11, abledots,x_nn)) by Gröbner bases or linear algebra and check whether it equals the sum of q^{n-lis(Ψ(w))} over the derangements of [n]; any mismatch falsifies the main theorems.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The same generators give an explicit presentation of the orbit-harmonics rings for every rook-avoiding permutation locus Sn(R).
  • The graded dimension identity supplies a q-analogue of the classical inclusion-exclusion count of derangements that involves squares of standard Young tableau numbers.
  • The graded Sn-character is an equivariant q-analogue of the same inclusion-exclusion, expressible via Kronecker products.
  • A conjectural monomial basis indexed by patience-sorting bumps of Foata images of derangements is consistent with the Hilbert series.

Where Pith is reading between the lines

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

  • The same mapping-cone resolution may produce graded characters for other conjugacy-class loci inside the permutation matrices once suitable averaging operators are found.
  • If the patience-sorting bump monomials form a basis, they would give a combinatorial model for the graded pieces that is independent of the Foata transform appearing in the Hilbert series.
  • The failure of the ungraded conjugation module F[Dn] to match the Désarménien–Wachs character suggests that no Sn-stable polynomial quotient can refine that character, so any geometric model must live outside ordinary orbit harmonics.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper studies the orbit harmonics quotient R(D_n)=S/gr I(D_n) associated to the locus of n×n derangement permutation matrices. Extending the third author’s earlier work on permutation matrices, it proves that for n≠1 (or empty rook set) the associated graded ideal is generated by the row/column sum and product generators of I_n together with the variables x_{i,j} for (i,j) in the forbidden rook placement R (Theorem 4.2). From the resulting deletion-contraction short exact sequence it obtains the Hilbert series Hilb(R(D_n);q)=∑_{w∈D_n} q^{n-lis(Ψ(w))} via the Foata transformation (Theorem 4.5) and, by a mapping-cone resolution of graded S_n-modules V_k built from copies of R(S_{n-k}), an explicit alternating-sum formula for the graded Frobenius image (Theorem 5.8). A conjectural patience-sorting basis is stated in Section 6.

Significance. The work supplies a clean algebraic lift of the classical derangement inclusion-exclusion to the graded S_n-module setting of orbit harmonics, together with a new combinatorial interpretation of the Hilbert series in terms of Foata images and longest increasing subsequences. The systematic use of mapping cones to produce an equivariant resolution is a technically attractive contribution that may be reusable for other matrix loci. The results sit naturally in the recent literature on combinatorial orbit harmonics and give a concrete, computable q-analogue of |D_n| that is visibly Schur-positive in low degrees. The proofs are self-contained once the earlier structure of R(S_n) is granted, and the base cases n=0,1,2 are checked explicitly.

minor comments (5)
  1. [§1] The non-standard convention for the Foata transformation (smallest elements first, cycles ordered decreasingly) is explained only in a footnote; a brief forward reference in the introduction would help readers accustomed to the opposite convention.
  2. [§3.2] In the proof of Lemma 3.8 (Case 4) the rook-monomial expansion of f_{d+1} is acknowledged to be non-unique; while the subsequent averaging argument is unaffected, a one-sentence remark that any choice of coefficients works would remove a possible source of reader doubt.
  3. [§5.3] The tables of low-degree graded Frobenius images (end of §5) would be clearer if the Schur functions were written in decreasing lexicographic order or grouped by degree.
  4. [§6] Conjecture 6.1 is consistent with the Hilbert series but no computational verification for small n is supplied; a short table for n≤5 would strengthen the claim.
  5. A few typographical slips appear (e.g., “n[×[n]” near (4.6), missing spaces around some equality signs). A careful copy-edit pass is recommended.

Circularity Check

0 steps flagged

No significant circularity: derangement formulas are derived from prior R(S_n) input plus new SES/mapping-cone arguments, not forced by definition or self-citation chains.

full rationale

The paper’s load-bearing claims (generators of gr I(S_n(R)), Foata–lis Hilbert series of R(D_n), and the alternating graded Frobenius formula) are obtained by induction from the short exact deletion–contraction sequence of Theorem 4.2 and the mapping-cone resolution of Lemma 5.6/Theorem 5.8. The base case is the independently published structure of R(S_n) (Theorem 1.3 / Rhoades [16]), used as ordinary input rather than as a uniqueness theorem that forbids alternatives or as an ansatz smuggled back into the derangement setting. The technical injectivity of gr E (Lemmas 3.8–3.10) is proved internally via the averaging operator and characteristic-zero cancellation; it does not redefine the target Hilbert series or character. There is no parameter fitting, no self-definitional loop (X defined from Y then used to “predict” Y), and no renaming of a known empirical pattern. Self-citation of the third author’s prior permutation-matrix paper is foundational and externally checkable, not circular forcing of the new derangement identities. Score 0 is therefore appropriate.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

The paper works in standard characteristic-zero commutative algebra and S_n-representation theory. Load-bearing external inputs are the Fundamental Theorem of Orbit Harmonics, Rhoades’ identification R(S_n)=S/I_n with its Hilbert series and graded bimodule structure, and classical Foata/lis combinatorics. No fitted numerical parameters. Invented objects are the usual paper-specific quotient rings and complexes, not new physical entities.

axioms (5)
  • domain assumption Field F has characteristic zero (used for n−2−d ≠ 0 in filtration averaging and for ordinary S_n-representation theory).
    Stated in the setup; first essential use in Lemma 3.8 Case 4 and throughout character theory.
  • standard math Fundamental Theorem of Orbit Harmonics: R(Z) ≅ F[Z] as ungraded G-modules when Z is G-stable (Thm 2.1).
    Standard deformation fact used to equate dimensions and ungraded module structures.
  • domain assumption Rhoades’ theorem: gr I(S_n)=I_n, Hilb(R(S_n);q)=∑_w q^{n−lis(w)}, and graded (S_n×S_n)-structure ⊕_{λ_1=n−d} V_λ⊗V_λ (Thm 1.3).
    Inductive base and building block for all Hilbert and Frobenius formulas via deletion-contraction and induction products.
  • standard math Foata transformation Ψ is a bijection S_n→S_n; lis interacts with fixed points as in Lemma 4.4.
    Classical combinatorics; Lemma 4.4 is proved in-paper from the cycle-form definition.
  • standard math Mapping cone of a chain map between resolutions of A and B yields a resolution of C in a short exact sequence 0→A→B→C→0 (Thm 2.4).
    Standard homological algebra (Weibel); applied to build the resolution of R(D_n).
invented entities (2)
  • Rings A_{n,T}, modules V_k / C_{n,k}(T), and the cone resolution of R(D_n) independent evidence
    purpose: Organize the inductive deletion-contraction and compute graded S_n-structure of R(D_n).
    Paper-specific algebraic constructions built from standard quotients; not external physical or ad-hoc ontological posits.
  • Bump monomials b(w) from patience sorting of Ψ(w) (Conjecture 6.1) no independent evidence
    purpose: Proposed monomial basis of R(D_n) compatible with the Hilbert series.
    Conjectural only; not used in proved theorems. Independent combinatorial meaning via patience sorting/lis.

pith-pipeline@v1.2.0-daily-grok45 · 36984 in / 3325 out tokens · 70331 ms · 2026-07-31T16:03:37.616622+00:00 · methodology

0 comments
read the original abstract

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.

Figures

Figures reproduced from arXiv: 2607.28157 by Brendon Rhoades, Jasper Liu, Yupeng Li.

Figure 1
Figure 1. Figure 1: A rook placement, a deletion, and a contraction. Although the locus 𝔇𝑛 is not closed under the row and column permuting action of the full product group 𝔖𝑛 × 𝔖𝑛, it is closed under the action of the diagonal subgroup 𝔖𝑛 ⊆ 𝔖𝑛 × 𝔖𝑛 via 𝑤 · 𝑣 := 𝑤𝑣𝑤−1 for 𝑤 ∈ 𝔖𝑛 and 𝑣 ∈ 𝔇𝑛. The ideal grI(𝔇𝑛) ⊆ 𝑆 is therefore stable under the 𝔖𝑛-action on 𝑆 given by 𝑤 · 𝑥𝑖, 𝑗 := 𝑥𝑤(𝑖),𝑤( 𝑗) (𝑤 ∈ 𝔖𝑛, 1 ≤ 𝑖, 𝑗 ≤ 𝑛) and the quoti… view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

21 extracted references · 1 linked inside Pith

  1. [1]

    J. Baik, P. Deift, and K. Johansson. On the Distribution of the Length of the Longest Increasing Subsequence of Random Permutations,J. Amer. Math. Soc.12 (4)(1999), 1119–1178

    1999

  2. [2]

    Désarménien and M

    J. Désarménien and M. Wachs. Descentes des dérangements et mots circulaires. Sem. Lotharing. Combin.19 (1988), 13–21

    1988

  3. [3]

    D. Foata. On the Netto inversion number of a sequence.Proc. Amer. Math. Soc.,19(1968), 236–240. 34 YUPENG LI, JASPER LIU, AND BRENDON RHOADES

    1968

  4. [4]

    A. M. Garsia and C. Procesi. On certain graded𝑆𝑛-modules and the𝑞-Kostka polynomials.Adv. Math.,94 (1) (1992), 82–138

    1992

  5. [5]

    S. Griffin. Ordered set partitions, Garsia-Procesi modules, and rank varieties.Trans. Amer. Math. Soc.,374 (4) (2021), 2609–2660

    2021

  6. [6]

    Haglund, B

    J. Haglund, B. Rhoades, and M. Shimozono. Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture.Adv. Math.,329(2018), 851–915

    2018

  7. [7]

    Hammersley

    J. Hammersley. A few seedlings of research.Proc. Sixth Berkeley Symp. Math. Statist. and Probability.Vol. 1. University of California Press. 345–394

  8. [8]

    B. Kostant. Lie group representations on polynomial rings.Amer. J. Math.,85(1963), 327–404

    1963

  9. [9]

    M. J. Liu. Viennot shadows and graded module structure in colored permutation groups.Comb. Theory,5 (2) (2025), #7

    2025

  10. [10]

    J. Liu, Y. Ma, B. Rhoades, and H. Zhu. Involution matrix loci and orbit harmonics.Math. Z., Vol. 310, Article Number 23 (2025)

    2025

  11. [11]

    Liu and H

    J. Liu and H. Zhu. An extension of Viennot’s shadow to rook placements via orbit harmonics. Preprint, 2025. arXiv:2510.23735

    arXiv 2025

  12. [12]

    Oh and B

    J. Oh and B. Rhoades. Zigzags, contingency tables, and quotient rings.J. London Math. Soc., Vol. 112, Issue 3 (2025), e70344

    2025

  13. [13]

    Reineke, B

    M. Reineke, B. Rhoades, and V. Tewari. Zonotopal algebras, orbit harmonics, and Donaldson-Thomas invariants of symmetric quivers.Int. Math. Res. Notices, Vol. 2023, No. 23, 20169–20210

    2023

  14. [14]

    Reiner and B

    V. Reiner and B. Rhoades. Harmonics and graded Ehrhart theory. To appear,J. Comb. Algebra, 2026. arXiv:2407.06511

    Pith/arXiv arXiv 2026

  15. [15]

    Reiner and P

    V. Reiner and P. Webb. The combinatorics of the bar resolution in group homology.J. Pure Appl. Alg.,190(2004), 291–327

    2004

  16. [16]

    B. Rhoades. Increasing subsequences, matrix loci, and Viennot shadows.Forum Math. Sigma, (2024). Vol. 12:e97, 1-23

    2024

  17. [17]

    Sagan.The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions, 2nd ed., Graduate Texts in Mathematics, Vol

    B. Sagan.The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions, 2nd ed., Graduate Texts in Mathematics, Vol. 203, Springer, New York, 2001

    2001

  18. [18]

    Schensted

    C. Schensted. Longest Increasing and Decreasing Subsequences,Canad. J. Math.13(1961), 179–191

    1961

  19. [19]

    G. Viennot. Une forme géométrique de la correspondance de Robinson–Schensted, in Combinatoire et Représenta- tion du Groupe Symétrique, Lecture Notes in Mathematics 579, Springer, 1977

    1977

  20. [20]

    Weibel.An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics 38, Cambridge University Press, 1994

    C. Weibel.An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics 38, Cambridge University Press, 1994

    1994

  21. [21]

    H. Zhu. Rook placements and orbit harmonics. Preprint, 2025.arXiv:2510.25106. Michigan State University Email address:yupengli@msu.edu University of California, San Diego Email address:mol008@ucsd.edu University of California, San Diego Email address:bprhoades@ucsd.edu

    arXiv 2025