arXiv++ Combinatorics

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_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ 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.

The Union-Closed Sets Conjecture asks whether every union-closed set family $\mathcal{F}$ has an element contained in half of its sets. In 2022, Nagel posed a generalisation of this problem, suggesting that the $k$th-most popular element in a union-closed set family must be contained in at least $\frac{1}{2^{k-1} + 1} |\mathcal{F}|$ sets. We combine the entropic method of Gilmer with the combinatorial arguments of Knill to show that this is indeed the case for all $k \ge 2$, and characterise the families that achieve equality. Furthermore, we show that when $|\mathcal{F}| \to \infty$, the $k$th-most frequent element will appear in at least $\left( \frac{3 - \sqrt{5}}{2} - o(1) \right) |\mathcal{F}|$ sets, reflecting the recent progress made for the Union-Closed Set Conjecture.

The Union-Closed Sets Conjecture, also known as Frankl's conjecture, asks whether, for any union-closed set family $\mathcal{F}$ with $m$ sets, there is an element that lies in at least $\frac{1}{2}\cdot m$ sets in $\mathcal{F}$. In 2022, Nagel posed a stronger conjecture that within any union-closed family whose ground set size is at least $k$, there are always $k$ elements in the ground set that appear in at least $\frac{1}{2^{k-1}+1}$ proportion of the sets in the family. Das and Wu showed that this conjecture is true for $k\geq 3$ and $k=2$ if $|\mathcal{F}|$ is outside a particular range. In this companion paper, we analyse further when $\mathcal{F}$ fails Nagel's conjecture for $k=2$ via linear programming.