arXiv++ Combinatorics

We define a new statistic on Weyl groups called the atomic length and investigate its combinatorial and representation-theoretic properties. In finite types, we show a number of properties of the atomic length which are reminiscent of the properties of the usual length. Moreover, we prove that, with the exception of rank two, this statistic describes an interval. In affine types, our results shed some light on classical enumeration problems, such as the celebrated Granville-Ono theorem on the existence of core partitions, by relating the atomic length to the theory of crystals.

Using equidistribution criteria, we establish divisibility by cyclotomic polynomials of several partition polynomials of interest, including $spt$-crank, overpartition pairs, and $t$-core partitions. As corollaries, we obtain new proofs of various Ramanujan-type congruences for associated partition functions. Moreover, using results of Erdös and Turán, we establish the equidistribution of roots of partition polynomials on the unit circle including those for the rank, crank, $spt$, and unimodal sequences. Our results complement earlier work on this topic by Stanley, Boyer-Goh, and others. We explain how our methods may be used to establish similar results for other partition polynomials of interest, and offer many related open questions and examples.

We exactly determine the maximum possible hook length of $(s,t)$-core partitions with $d$-distinct parts when there are finitely many such partitions. Moreover, we provide an algorithm to construct a $d$-distinct $(s,t)$-core partition with this maximum possible hook length.

For primes $p$, we study the maximal possible size of a $p$-core $p'$-partition (a partition with no hook lengths or parts divisible by $p$). McDowell recently proved that the maximum is attained by a unique partition, say $Λ_p$. Using his graph theoretic description of $Λ_p$, we prove for $p > 10^6$ that \[\frac{1}{24}p^6 - p^5\sqrt{p} < |Λ_p| < \frac{1}{24}p^6 - \frac{1}{200}p^5\sqrt{p},\] which shows that $|Λ_p| \sim p^6/24$ as $p \to \infty$.

This paper investigates partitions which have neither parts nor hook lengths divisible by $p$, referred to as $p$-core $p'$-partitions. We show that the largest $p$-core $p'$-partition corresponds to the longest walk on a graph with vertices $\{0, 1, \ldots, p-1\}$ and labelled edges defined via addition modulo $p$. We also exhibit an explicit family of large $p$-core $p'$-partitions, giving a lower bound on the size of the largest such partition which is of the same degree as the upper bound found by McSpirit and Ono.

In this paper, we construct a bijection from a set of bounded free Motzkin paths to a set of bounded Motzkin prefixes that induces a bijection from a set of bounded free Dyck paths to a set of bounded Dyck prefixes. We also give bijections between a set of bounded cornerless Motzkin paths and a set of $t$-core partitions, and a set of bounded cornerless symmetric Motzkin paths and a set of self-conjugate $t$-core partitions. As an application, we get explicit formulas for the number of ordinary and self-conjugate $t$-core partitions with a fixed number of corners.

Let $\mathcal{C}_n =\left [χ_λ(μ)\right]_{λ, μ}$ be the character table for $S_n,$ where the indices $λ$ and $μ$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $χ_λ(μ)$ in $\mathcal{C}_n,$ where $λ$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form $$ Z_{\ell}(n)\sim α_{\ell}\cdot σ_{\ell}(n+δ_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{π\sqrt{2n/3}},$$ where $σ_{\ell}(n)$ is a twisted Legendre symbol divisor function, $δ_{\ell}:=(\ell^2-1)/24,$ and $1/α_{\ell}>0$ is a normalization of the Dirichlet $L$-value $L\left(\left(\frac{\cdot}{\ell}\right),\frac{\ell-1}{2}\right).$ For primes $\ell$ and $n>\ell^6/24,$ we show that $χ_λ(μ)=0$ whenever $λ$ and $μ$ are both $\ell$-cores. Furthermore, if $Z^*_{\ell}(n)$ is the number of zero entries indexed by two $\ell$-cores, then for $\ell\geq 5$ we obtain the asymptotic $$ Z^*_{\ell}(n)\sim α_{\ell}^2 \cdot σ_{\ell}( n+δ_{\ell})^2 \gg_{\ell} n^{\ell-3}. $$

Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a characterization of $\bar{s}$-core partitions to obtain characterizations of doubled distinct $s$-core partitions and $s$-CSYDs. By using them, we construct $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores. Also, we give free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores.

Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding partition into distinct odd parts, by proving a new hook length formula. Corollaries of these results include new applications of $t$-core self-conjugate partitions to subsets of the natural numbers, due to the recent investigation of a new partition statistic called the supernorm by the first author, Just, and Schneider, as well as many results on $t$-cores by Bringmann, Kane, Males, Ono, Raji, and others. We provide several examples of these applications, one of which gives a new formula for certain families of Hurwitz class numbers.

Let $s,t$ be natural numbers, and fix an $s$-core partition $σ$ and a $t$-core partition $τ$. Put $d=\gcd(s,t)$ and $m= lcm(s,t)$, and write $N_{σ, τ}(k)$ for the number of $m$-core partitions of length no greater than $k$ whose $s$-core is $σ$ and $t$-core is $τ$. We prove that for $k$ large, $N_{σ, τ}(k)$ is a quasipolynomial of period $m$ and degree $\frac{1}{d}(s-d)(t-d)$.

This note is concerned with the set of integral solutions of the equation $x^2+3y^2=12n+4$, where $n$ is a positive integer. We will describe a parametrization of this set using the 3-core partitions of n. In particular we construct a crank using the action of a suitable subgroup of the isometric group of the plane that we connect with the unit group of the ring of Eisenstein integers. We also show that the process goes in the reverse direction: from the solutions of the equation and the crank, we can describe the 3-core partitions of n. As a consequence we describe an explicit bijection between $3$-core partitions and ideals of the ring of Eisenstein integers, explaining a result of G. Han and K. Ono obtained using modular forms.

Given a random text over a finite alphabet, we study the frequencies at which fixed-length words occur as subsequences. As the data size grows, the joint distribution of word counts exhibits a rich asymptotic structure. We investigate all linear combinations of subword statistics, and fully characterize their different orders of magnitude using diverse algebraic tools. Moreover, we establish the spectral decomposition of the space of word statistics of each order. We provide explicit formulas for the eigenvectors and eigenvalues of the covariance matrix of the multivariate distribution of these statistics. Our techniques include and elaborate on a set of algebraic word operators, recently studied and employed by Dieker and Saliola (Adv Math, 2018). Subword counts find applications in Combinatorics, Statistics, and Computer Science. We revisit special cases from the combinatorial literature, such as intransitive dice, random core partitions, and questions on random walk. Our structural approach describes in a unified framework several classical statistical tests. We propose further potential applications to data analysis and machine learning.

We classify the connection between $t$-cores and self-conjugate $t$-cores to sums of squares. To do so, we provide explicit maps between $t$-core partitions and self-conjugate $t$-core partitions of a positive integer $n$ to representations of certain numbers as sums of squares. For example, the self-conjugate $4$-core partition $λ=(4,1,1,1)$ corresponds uniquely to the solution $61=6^2+5^2$. As a corollary, we completely classify the relationship between $t$-cores and Hurwitz class numbers. Using these tools, we see how certain sets of representations as sums of squares naturally decompose into families of $t$-cores. Finally, we construct an explicit map on partitions to explain the equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$ previously studied by Bringmann, Kane, and the first author.

Suppose $s$ and $t$ are coprime positive integers, and let $σ$ be an $s$-core partition and $τ$ a $t$-core partition. In this paper we consider the set $\mathcal P_{σ,τ}(n)$ of partitions of $n$ with $s$-core $σ$ and $t$-core $τ$. We find the smallest $n$ for which this set is non-empty, and show that for this value of $n$ the partitions in $\mathcal P_{σ,τ}(n)$ (which we call $(σ,τ)$-minimal partitions) are in bijection with a certain class of $(0,1)$-matrices with $s$ rows and $t$ columns. We then use these results in considering conjugate partitions: we determine exactly when the set $\mathcal P_{σ,τ}(n)$ consists of a conjugate pair of partitions, and when $\mathcal P_{σ,τ}(n)$ contains a unique self-conjugate partition.

We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$.

A partition is called an $(s_1,s_2,\dots,s_p)$-core partition if it is simultaneously an $s_i$-core for all $i=1,2,\dots,p$. Simultaneous core partitions have been actively studied in various directions. In particular, researchers concerned with properties of such partitions when the sequence of $s_i$ is an arithmetic progression. In this paper, for $p\geq 2$ and relatively prime positive integers $s$ and $d$, we propose the $(s+d,d;a)$-abacus of a self-conjugate partition and establish a bijection between the set of self-conjugate $(s,s+d,\dots,s+pd)$-core partitions and the set of free rational Motzkin paths with appropriate conditions. For $p=2,3$, we give formulae for the number of self-conjugate $(s,s+d,\dots,s+pd)$-core partitions and the number of self-conjugate $(s,s+1,\dots,s+p)$-core partitions with $m$ corners.

There is a well-studied correspondence by Jaclyn Anderson between partitions that avoid hooks of length s or t and certain binary strings of length s+t. Using this map, we prove that the total size of a random partition of this kind converges in law to Watson's U^2 distribution, as conjectured by Doron Zeilberger.

In this paper, we propose an $(s+d,d)$-abacus for $(s,s+d,\dots,s+pd)$-core partitions and establish a bijection between the $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths of type $(s+d,-d)$. This result not only gives a lattice path interpretation of the $(s,s+d,\dots,s+pd)$-core partitions but also counts them with a closed formula. Also we enumerate $(s,s+1,\dots,s+p)$-core partitions with $k$ corners and self-conjugate $(s,s+1,\dots,s+p)$-core partitions.

The Frobenius symbol was first introduced in 1900 by Frobenius as a way to encode an integer partition. In 1941, motivated by the modular representation theory of the symmetric group, Nakayama introduced the idea of a p-core partition, for p prime, using hook removals. In the following decade, Robinson, Littlewood, Staal and Farahat codified the $p$-quotient of such a partition, using variations of the star diagram. Since the 1970s, the convention has been to build up the theory of both core and quotients with the abacus construction, first introduced by G. James. In this paper we return to the earlier point of view. First we show that, for any positive integer t, the t-core and t-quotient of an integer partition can be directly obtained from its Frobenius symbol. The argument also works in the opposite direction: that is, given the Frobenius symbol of a t-core and a $t$-tuple of Frobenius symbols, one can recover the Frobenius symbol of the corresponding partition. One immediate application is the calculation of the Durfee number of the associated partition from the Frobenius symbols of the core and quotient. In 1991, J. Scopes gathered together the $p$-core partitions into families to prove that Donovan's conjecture holds for the symmetric groups at the prime p. We describe, using our methods, the action of the affine Weyl group W_p of type $A$ on Frobenius symbols, and use this to parametrize and compute the explicit number of Scopes families. In particular we enumerate both the infinite and finite Scopes families. Core partitions have also attracted recent interest in number theory. By constructing explicit and combinatorial bijections, we revisit some well-known identities originally obtained using sophisticated methods. We end with a close study of the relationship between certain hooks in the quotient and certain hooks in the associated partition.

Using a combinatorial bijection with certain abaci diagrams, Nath and Sellers have enumerated $(s, m s \pm 1)$-core partitions into distinct parts. We generalize their result in several directions by including the number of parts of these partitions, by considering $d$-distinct partitions, and by allowing more general $(s, m s \pm r)$-core partitions. As an application of our approach, we obtain the average and maximum number of parts of these core partitions.