arXiv++ Combinatorics

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.

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.

We develop a geometric approach to the study of $(s,ms-1)$-core and $(s,ms+1)$-core partitions through the associated $ms$-abaci. This perspective yields new proofs for results of H. Xiong and A. Straub (originally proposed by T. Amdeberhan) on the enumeration of $(s, s+1)$ and $(s,ms-1)$-core partitions with distinct parts. It also enumerates the $(s, ms+1)$-cores with distinct parts. Furthermore, we calculate the weight of the $(s, ms-1,ms+1)$-core partition with the largest number of parts. Finally we use 2-core partitions to enumerate self-conjugate core partitions with distinct parts. The central idea is that the $ms$-abaci of maximal $(s,ms\pm1)$-cores can be built up from $s$-abaci of $(s,s\pm 1)$-cores in an elegant way.

We give a closed formula for the number of partitions $λ$ of $n$ such that the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We determine how many of these partitions are self-conjugate and how many are hooks. This is achieved by characterizing the $2$-core towers of such partitions. We also obtain a formula for the number of partitions of $n$ such that the associated permutation representation of $S_n$ has non-trivial determinant.

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

Fix coprime $s,t\ge1$. We re-prove, without Ehrhart reciprocity, a conjecture of Armstrong (recently verified by Johnson) that the finitely many simultaneous $(s,t)$-cores have average size $\frac{1}{24}(s-1)(t-1)(s+t+1)$, and that the subset of self-conjugate cores has the same average (first shown by Chen--Huang--Wang). We similarly prove a recent conjecture of Fayers that the average weighted by an inverse stabilizer---giving the "expected size of the $t$-core of a random $s$-core"---is $\frac{1}{24}(s-1)(t^2-1)$. We also prove Fayers' conjecture that the analogous self-conjugate average is the same if $t$ is odd, but instead $\frac{1}{24}(s-1)(t^2+2)$ if $t$ is even. In principle, our explicit methods---or implicit variants thereof---extend to averages of arbitrary powers. The main new observation is that the stabilizers appearing in Fayers' conjectures have simple formulas in Johnson's $z$-coordinates parameterization of $(s,t)$-cores. We also observe that the $z$-coordinates extend to parameterize general $t$-cores. As an example application with $t := s+d$, we count the number of $(s,s+d,s+2d)$-cores for coprime $s,d\ge1$, verifying a recent conjecture of Amdeberhan and Leven.

Given a coprime pair $(m,n)$ of positive integers, rational Catalan numbers $\frac{1}{m+n} \binom{m+n}{m,n}$ counts two combinatorial objects:rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal; $(m,n)$-cores are partitions with no hook length equal to $m$ or $n$.Anderson established a bijection between $(m,n)$-Dyck paths and $(m,n)$-cores. We define a new transformation, called rank complement, on rational Dyck paths. We show that rank complement corresponds to conjugation of $(m,n)$-cores under Anderson's bijection. This leads to: i) a new approach to characterizing $n$-cores; ii) a simple approach for counting the number of self-conjugate $(m,n)$-cores; iii) a proof of the equivalence of two conjectured combinatorial sum formulas, one over rational $(m,n)$-Dyck paths and the other over $(m,n)$-cores, for rational Catalan polynomials.

The study of core partitions has been very active in recent years, with the study of $(s,t)$-cores - partitions which are both $s$- and $t$-cores - playing a prominent role. A conjecture of Armstrong, proved recently by Johnson, says that the average size of an $(s,t)$-core, when $s$ and $t$ are coprime positive integers, is $\frac1{24}(s-1)(t-1)(s+t-1)$. Armstrong also conjectured that the same formula gives the average size of a self-conjugate $(s,t)$-core; this was proved by Chen, Huang and Wang. In the present paper, we develop the ideas from the author's paper [J. Combin. Theory Ser. A 118 (2011) 1525-1539] studying actions of affine symmetric groups on the set of $s$-cores in order to give variants of Armstrong's conjectures in which each $(s,t)$-core is weighted by the reciprocal of the order of its stabiliser under a certain group action. Informally, this weighted average gives the expected size of the $t$-core of a random $s$-core.

We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics. Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores. We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.

Armstrong, Hanusa and Jones conjectured that if $s,t$ are coprime integers, then the average size of an $(s,t)$-core partition and the average size of a self-conjugate $(s,t)$-core partition are both equal to $\frac{(s+t+1)(s-1)(t-1)}{24}$. Stanley and Zanello showed that the average size of an $(s,s+1)$-core partition equals $\binom{s+1}{3}/2$. Based on a bijection of Ford, Mai and Sze between self-conjugate $(s,t)$-core partitions and lattice paths in $\lfloor \frac{s}{2} \rfloor\times \lfloor \frac{t}{2}\rfloor$ rectangle, we obtain the average size of a self-conjugate $(s,t)$-core partition as conjectured by Armstrong, Hanusa and Jones.

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

A recent paper by Hanusa and Nath states many conjectures in the study of self-conjugate core partitions. We prove all but two of these conjectures asymptotically by number-theoretic means. We also obtain exact formulas for the number of self-conjugate t-core partitions for "small" t via explicit computations with modular forms. For instance, self-conjugate 9-core partitions are related to counting points on elliptic curves over \Q with conductor dividing 108, and self-conjugate 6-core partitions are related to the representations of integers congruent to 11 mod 24 by 3X^2 + 32Y^2 + 96Z^2, a form with finitely many (conjecturally five) exceptional integers in this arithmetic progression, by an ineffective result of Duke--Schulze-Pillot.

A conjecture on the monotonicity of t-core partitions in an article of Stanton [Open positivity conjectures for integer partitions, Trends Math., 2:19-25, 1999] has been the catalyst for much recent research on t-core partitions. We conjecture Stanton-like monotonicity results comparing self-conjugate (t+2)- and t-core partitions of n. We obtain partial results toward these conjectures for values of t that are large with respect to n, and an application to the block theory of the symmetric and alternating groups. To this end we prove formulas for the number of self-conjugate t-core partitions of n as a function of the number of self-conjugate partitions of smaller n. Additionally, we discuss the positivity of self-conjugate 6-core partitions and introduce areas for future research in representation theory, asymptotic analysis, unimodality, and numerical identities and inequalities.

In 2003, Maroti showed that one could use the machinery of l-cores and l-quotients of partitions to establish lower bounds for p(n), the number of partitions of n. In this paper we explore these ideas in the case l=2, using them to give a largely combinatorial proof of an effective upper bound on p(n), and to prove asymptotic formulae for the number of self-conjugate partitions, and the number of partitions with distinct parts. In a further application we give a combinatorial proof of an identity originally due to Gauss.

The maximum integer skew-symmetric flow problem (MSFP) generalizes both the maximum flow and maximum matching problems. It was introduced by Tutte in terms of self-conjugate flows in antisymmetrical digraphs. He showed that for these objects there are natural analogs of classical theoretical results on usual network flows, such as the flow decomposition, augmenting path, and max-flow min-cut theorems. We give unified and shorter proofs for those theoretical results. We then extend to MSFP the shortest augmenting path method of Edmonds and Karp and the blocking flow method of Dinits, obtaining algorithms with similar time bounds in general case. Moreover, in the cases of unit arc capacities and unit ``node capacities'' the blocking skew-symmetric flow algorithm has time bounds similar to those established in Even and Tarjan (1975) and Karzanov (1973) for Dinits' algorithm. In particular, this implies an algorithm for finding a maximum matching in a nonbipartite graph in $O(\sqrt{n}m)$ time, which matches the time bound for the algorithm of Micali and Vazirani. Finally, extending a clique compression technique of Feder and Motwani to particular skew-symmetric graphs, we speed up the implied maximum matching algorithm to run in $O(\sqrt{n}m\log(n^2/m)/\log{n})$ time, improving the best known bound for dense nonbipartite graphs. Also other theoretical and algorithmic results on skew-symmetric flows and their applications are presented.