English

Combinatorial proofs of Petrie Pieri rule and Plethystic Pieri rule

Combinatorics 2026-05-29 v2

Abstract

Petrie symmetric functions G(k,n)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 ene_n and the homogeneous symmetric functions hnh_n. Analogous to the Pieri rule for sμhns_\mu h_n and the dual Pieri rule for sμens_\mu e_n, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of sμG(k,n)s_\mu G(k,n) can be determined by the determinant petk(λ,μ)\mathbf{pet}_k(\lambda,\mu) of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient petk(λ,)\mathbf{pet}_k(\lambda,\varnothing), which was later generalized by Jin, Jing, and Liu to petk(λ,μ)\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.

Keywords

Cite

@article{arxiv.2509.16872,
  title  = {Combinatorial proofs of Petrie Pieri rule and Plethystic Pieri rule},
  author = {Saintan Wu and Sen-Peng Eu and Kuo-Han Ku and Yu-Sheng Shih},
  journal= {arXiv preprint arXiv:2509.16872},
  year   = {2026}
}

Comments

30 pages, 13 figures