arXiv++ Combinatorics

A tremendous amount of research has been done in the last two decades on $(s,t)$-core partitions when $s$ and $t$ are positive integers with no common divisor. Here we change perspective slightly and explore properties of $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ with nontrivial common divisor $g$. We begin by revisiting work by D. Aukerman, D. Kane and L. Sze on $(s,t)$-core partitions for nontrivial $g$ before obtaining a generating function for the number of $(\bar{s},\bar{t})$-core partitions of $n$ under the same conditions. Our approach, using the $g$-core, $g$-quotient and bar-analogues, allows for new results on $t$-cores and self-conjugate $t$-cores that are {\it not} $g$-cores and $\bar{t}$-cores that are {\it not} $\bar{g}$-cores, thus strengthening positivity results of K. Ono and A. Granville, J. Baldwin et. al., and I. Kiming. We then detail a new bijection between self-conjugate $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ odd with odd, nontrivial common divisor $g$. Here the core-quotient construction fits remarkably well with certain lattice-path labelings due to B. Ford, H. Mai, and L. Sze and C. Bessenrodt and J. Olsson. Along the way we give a new proof of a correspondence of J. Yang between self-conjugate $t$-core and $\bar{t}$-core partitions when $t$ is odd and positive. We end by noting $(s,t)$-core and $(\bar{s}, \bar{t})$-core partitions inherit Ramanujan-type congruences from those of $g$-core and $\bar{g}$-core partitions.

The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{ü}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.

We investigate $sc_7(n)$, the number of self-conjugate $7$-core partitions of size $n$. It turns out that $sc_7(n)=0$ for $n\equiv 7\pmod 8$. For $n\equiv 1, 3, 5\pmod 8$, with $n\not \equiv 5\pmod 7,$ we find that $sc_7(n)$ is essentially a Hurwitz class number. Using recent work of Gao and Qin, we show that $$ sc_7(n) = 2^{-\varepsilon(n)-1}\cdot H(-D_n), $$ where $-D_n:=-4^{\varepsilon(n)}(7n+14)$ and $\varepsilon(n):=\frac{1}{2}\cdot(1+(-1)^{\frac{n-1}{2}})$. This fact implies several corollaries which are of interest. For example, if $-D_n$ is a fundamental discriminant and $p\not \in \{2, 7\}$ is a prime with $ord_p(-D_n)\leq 1$, then for every positive integer $k$ we have $$ sc_7\left((n+2)p^{2k}-2\right)=sc_7(n)\cdot \left(1+\frac{p^{k+1}-p}{p-1}-\frac{p^k-1}{p-1}.\left(\frac{-D_n}{p}\right)\right), $$ where $\left(\frac{-D_n}{p}\right)$ is the Legendre symbol.

Simultaneous core partitions have been widely studied since Anderson's work on the enumeration of $(s,t)$-core partitions. Amdeberhan and Leven showed that the number of $(s,s+1, \ldots, s+k)$-core partitions is equal to the number of $(s, k)$-Dyck paths. In this paper, we prove that self-conjugate $(s,s+1, \ldots, s+k)$-core partitions are equinumerous with symmetric $(s, k)$-Dyck paths, confirming a conjecture posed by Cho, Huh and Sohn.

We are concerned with counting self-conjugate $(s,s+1,s+2)$-core partitions. A Motzkin path of length $n$ is a path from $(0,0)$ to $(n,0)$ which stays above the $x$-axis and consists of the up $U=(1,1)$, down $D=(1,-1)$, and flat $F=(1,0)$ steps. We say that a Motzkin path of length $n$ is symmetric if its reflection about the line $x=n/2$ is itself. In this paper, we show that the number of self-conjugate $(s,s+1,s+2)$-cores is equal to the number of symmetric Motzkin paths of length $s$, and give a closed formula for this number.

This note introduces some bijections relating core partitions and tuples of integers. We apply these bijections to count the number of cores with various types of restriction, including fixed number of parts, limited size of parts, parts divisible by some integer, and distinct parts. For example, we prove that the number of $2t$-core partitions into $l$ even parts equals the number of $t$-core partitions into $l$ parts. We also generalize one expression for simultaneous cores, which was given by Baek, Nam and Yu, recently. Subsequently, we use this expression to obtain recurrence satisfied by numbers of $(s,s+1,\cdots,s+r)-$core partitions for $s\geq1$.

We give a bijection between the set of self-conjugate partitions and that of ordinary partitions. Also, we show the relation between hook lengths of self conjugate partition and corresponding partition via the bijection. As a corollary, we give new combinatorial interpretations for the Catalan number and the Motzkin number in terms of self-conjugate simultaneous core partitions.

Simultaneous core partitions are important objects in algebraic combinatorics. Recently there has been interest in studying the distribution of sizes among all $(s,t)$-cores for coprime $s$ and $t$. Zaleski (2017) gave strong evidence that when we restrict our attention to $(s,s+1)$-cores with distinct parts, the resulting distribution is approximately normal. We prove his conjecture by applying the Combinatorial Central Limit Theorem and mixing the resulting normal distributions.

We investigate the number $N_{d,r}(s)$ of $(s, s+r)$-core integer partitions with $d$-distinct parts. Our first main result is a proof of a recurrence relation conjectured by Sahin in 2018. We also derive generating functions, asymptotics, and exact formulas for $N_{d,r}(s)$ when $r$ is within $d$ of a multiple of $s$. Finally, we exhibit a surprising connection to $A$-restricted compositions.

Amdeberhan's conjectures on the enumeration, the average size, and the largest size of $(n,n+1)$-core partitions with distinct parts have motivated many research on this topic. Recently, Straub and Nath-Sellers obtained formulas for the numbers of $(n, dn-1)$ and $(n, dn+1)$-core partitions with distinct parts, respectively. Let $X_{s,t}$ be the size of a uniform random $(s,t)$-core partition with distinct parts when $s$ and $t$ are coprime to each other. Some explicit formulas for the $k$-th moments $\mathbb{E} [X_{n,n+1}^k]$ and $\mathbb{E} [X_{2n+1,2n+3}^k]$ were given by Zaleski and Zeilberger when $k$ is small. Zaleski also studied the expectation and higher moments of $X_{n,dn-1}$ and conjectured some polynomiality properties concerning them in arXiv:1702.05634. Motivated by the above works, we derive several polynomiality results and asymptotic formulas for the $k$-th moments of $X_{n,dn+1}$ and $X_{n,dn-1}$ in this paper, by studying the beta sets of core partitions. In particular, we show that these $k$-th moments are asymptotically some polynomials of n with degrees at most $2k$, when $d$ is given and $n$ tends to infinity. Moreover, when $d=1$, we derive that the $k$-th moment $\mathbb{E} [X_{n,n+1}^k]$ of $X_{n,n+1}$ is asymptotically equal to $\left(n^2/10\right)^k$ when $n$ tends to infinity. The explicit formulas for the expectations $\mathbb{E} [X_{n,dn+1}]$ and $\mathbb{E} [X_{n,dn-1}]$ are also given. The $(n,dn-1)$-core case in our results proves several conjectures of Zaleski on the polynomiality of the expectation and higher moments of $X_{n,dn-1}$.

In this paper, we study $(s,s+1)$-core partitions with $d$-distinct parts. We obtain results on the number and the largest size of such partitions, so we extend Xiong's paper in which the results are obtained about $(s,s+1)$-core partitions with distinct parts. Also, we propose a conjecture about $(s,s+r)$-core partitions with $d$-distinct parts for $1 \le r \le d$.

IMPORTANT NOTE: This paper is much rougher than I'd usually submit, and not entirely complete, though the main theorems and proofs should not be hard to follow. Given the ongoing strike at UK Universities it may be some time before I get to complete it to my satisfaction, and in the meantime people I've shared the preliminary draft with would like to be able to reference it. Hence I'm uploading it in its current form, and will update it later. The main new result of this paper is to count the number of (n,n+1)-core partitions with odd parts, answering a question of Zaleski and Zeilberger with bounty a charitable contribution to the OEIS. Along the way, we prove a general theorem giving a recurrence for (n,n+1)-core parts whose smallest part and consecutive part differences are restricted to lie in an arbitrary set M. This theorem unifies many known results about (n,n+1)-core partitions with restrictions. We end with discussions of extensions of the general theorem that keep track of the largest part, number of parts, and size of the partition, and about a few cases where the same methods work on more general simultaneous cores.

Let $p_k(n)$ be given by the $k$-th power of the Euler Product $\prod _{n=1}^{\infty}(1-q^n)^k=\sum_{n=0}^{\infty}p_k(n)q^{n}$. By investigating the properties of the modular equations of the second and the third order under the Atkin $U$-operator, we determine the generating functions of $p_{8k}(2^{2α} n +\frac{k(2^{2α}-1)}{3})$ $(1\leq k\leq 3)$ and $p_{3k} (3^{2β}n+\frac{k(3^{2β}-1)}{8})$ $(1\leq k\leq 8)$ in terms of some linear recurring sequences. Combining with a result of Engstrom about the periodicity of linear recurring sequences modulo $m$, we obtain infinite families of congruences for $p_k(n)$ modulo any $m\geq2$, where $1\leq k\leq 24$ and $3|k$ or $8|k$. Based on these congruences for $p_k(n)$, infinite families of congruences for many partition functions such as the overpartition function, $t$-core partition functions and $\ell$-regular partition functions are easily obtained.

Tewodros Amdeberhan and Armin Straub initiated the study of enumerating subfamilies of the set of (s,t)-core partitions. While the enumeration of (n+1,n+2)-core partitions into distinct parts is relatively easy (in fact it equals the Fibonacci number F_{n+2}), the enumeration of (n+1,n+2)-core partitions into odd parts remains elusive. Straub computed the first eleven terms of that sequence, and asked for a "formula," or at least a fast way, to compute many terms. While we are unable to find a "fast" algorithm, we did manage to find a "faster" algorithm, which enabled us to compute 23 terms of this intriguing sequence. We strongly believe that this sequence has an algebraic generating function, since a "sister sequence" (see the article), is OEIS sequence A047749 that does have an algebraic generating function. One of us (DZ) is pledging a donation of 100 dollars to the OEIS, in honor of the first person to generate sufficiently many terms to conjecture (and prove non-rigorously) an algebraic equation for the generating function of this sequence, and another 100 dollars for a rigorous proof of that conjecture. Finally, we also develop algorithms that find explicit generating functions for other, more tractable, families of (n+1,n+2)-core partitions.

Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at least one pair of relatively prime numbers. We also evaluate the largest size of a self-conjugate $(s,s+1,s+2)$-core partition.

Motivated by Amdeberhan's conjecture on $(t,t+1)$-core partitions with distinct parts, various results on the numbers, the largest sizes and the average sizes of simultaneous core partitions with distinct parts were obtained by many mathematicians recently. In this paper, we derive the largest sizes of $(t,mt\pm 1)$-core partitions with distinct parts, which verifies a generalization of Amdeberhan's conjecture. We also prove that the numbers of such partitions with the largest sizes are at most $2$.

We initiate the study of simultaneous core multipartitions, generalising simultaneous core partitions, which have been studied extensively in the recent literature. Given a multipartition datum (s|c), which consists of a non-negative integer s and an l-tuple c of integers, we introduce the notion of an (s|c)-core multipartition. Given an arbitrary set of multicore data, we give necessary and sufficient conditions for the corresponding set of simultaneous core multipartitions to be finite. We then study the special case of simultaneous core bipartitions, giving exact enumerative results in some special subcases.

Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.

In a previous paper (arXiv:1608.02262), we used computer-assisted methods to find explicit expressions for the moments of the size of a uniform random (n,n+1)-core partition with distinct parts. In particular, we conjectured that the distribution is asymptotically normal. However, our analysis hinged on a characterization of (n,n+1)-core partitions given by Straub, which is not readily generalized to other families of simultaneous core partitions. In another paper (arXiv:1611.05775) with Doron Zeilberger, we made use of the characterization in terms of posets to analyze (2n+1,2n+3)-core partitions with distinct parts; here, the distribution was found not to be asymptotically normal. Our method involved finding recursive structure in the relevant sequence of posets. We remarked that this method is applicable to other families of core partitions, provided that one can understand the corresponding posets. Here, we use the poset method (and, as before, a computer) to analyze (n,dn-1)-core partitions with distinct parts, where d is a natural number. (This problem was introduced by Straub in arXiv:1601.07161.) We exhibit formulas for the moments of the size, as functions of d with n fixed, and vice versa. We conjecture that the distribution is asymptotically normal as n approaches infinity. Finally, we find formulas for the first few moments, as functions of both n and d.

Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear functional recurrences, to generate the generating functions, according to size, of the set of such partitions. By computing these polynomials for n=1,...21, we are able to rigorously derive explicit expressions for the expectation, variance, and third through seventh moments of the random variable "size of a (2n+1, 2n+3)-core partition with distinct parts." In particular, we find that this random variable is not asymptotically normal as n goes to infinity.