Pith. sign in

REVIEW 1 cited by

Combinatorial proofs of Petrie Pieri rule and Plethystic Pieri rule

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2509.16872 v2 pith:RMQDPIFR submitted 2025-09-21 math.CO

classification math.CO
keywords functionssymmetricpierirulecombinatorialpetrielambdamathbf
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_\mu h_n$ and the dual Pieri rule for $s_\mu e_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_\mu G(k,n)$ can be determined by the determinant $\mathbf{pet}_k(\lambda,\mu)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\mathbf{pet}_k(\lambda,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\mathbf{pet}_k(\lambda,\mu)$ in the case where $\lambda/\mu$ is connected. The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. A skew Murnaghan--Nakayama rule for Hopf dual pairs

    math.CO 2026-06 accept novelty 7.0 of 10

    A completed Cauchy element in graded Hopf dual pairs yields uniform skew Murnaghan–Nakayama rules, with applications to Ariki–Koike characters, skew (q,t)-Kostka coefficients, and Walker's k-core conjecture.

Pith tools