arXiv++ Combinatorics

Given permutations $π\in S_n$ and $σ\in S_k$, let $N_σ(π)$ denote the number of occurrences of $σ$ in $π$. While pattern avoidance and the distribution of pattern occurrences in permutations have been extensively studied, their interactions with the group structure on $S_n$ are still poorly understood. Gaetz and Ryba showed that the expected value of $χ^{λ[n]}(π)N_σ(π)$ for $π\in S_n$ is given by a polynomial $a_σ^λ(n)$. More recently, Gaetz and Pierson derived explicit formulas for $a_{\mathrm{id}_k}^λ(n)$ when $\lvertλ\rvert \le 2$, which led them to conjecture that the polynomials $a_{\mathrm{id}_k}^λ(n)$ are real-rooted and nonnegative for $n \ge k$. We show that for all partitions $λ$, the polynomials $a_{\mathrm{id}_k}^λ(n)$ admit explicit closed forms in $n$ and $k$. These formulas allow us to exhibit counterexamples to Gaetz and Pierson's real-rootedness conjecture as well as to prove special cases of their nonnegativity conjecture. Lastly, we note that our results imply that the expected value of $f \cdot N_{\mathrm{id}_k}$ on $S_n$ admits a closed form whenever $f$ is a permutation statistic expressible as a polynomial in the functions $m_j \colon \bigsqcup_{n \ge 0} S_n \to \mathbb{Z}$ which count $j$-cycles in their inputs.

The partition function $p(n)$ has been a testing ground for applications of analytic number theory to combinatorics. In particular, Hardy and Ramanujan invented the "circle method" to estimate the size of $p(n)$, which was later perfected by Rademacher who obtained an exact formula. Recently, Chan and Wang considered the fractional partition functions, defined by $\sum_{n = 0}^\infty p_α(n)x^n := \prod_{k=1}^\infty (1-x^k)^{-α}$. In this paper we use the Rademacher circle method to find an exact formula for $p_α(n)$ and study its implications, including log-concavity and the higher-order generalizations (i.e., the Turán inequalities) that $p_α(n)$ satisfies.