arXiv++ Combinatorics

For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.

Berlekamp proposed a class of impartial combinatorial games based on the moves of chess pieces on rectangular boards. We generalize impartial chess games by playing them on Young diagrams and obtain results about winning and losing positions and Sprague-Grundy values for all chess pieces. We classify these games, and their restrictions to sets of partitions known as rectangles, staircases, and general staircases, according to the approach of Conway, later extended by Gurvich and Ho. The games $\rm {R\small OOK}$ and $\rm{Q\small UEEN}$ restricted to rectangles are known to have the same game tree as $2$-pile $\rm N{\small IM}$ and $\rm W{\small YTHOFF}$, respectively, so our work generalizes these well-known games.

We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.

We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that naturally predicts the prime number theorem as well as the twin prime conjecture. The model posits that, for $n\geq 2$, $$p_{n}\ =\ 1\ +\ 2\sum_{j=1}^{n-1}\left\lceil \frac{d(j)}{2}\right\rceil\ +\ \varepsilon(n),$$ where $p_k$ is the $k$th prime number, $d(k)$ is the divisor function, and $\varepsilon(k)$ is an explicit error term that is negligible asymptotically; both the main term and error term represent enumerative functions in our conceptual model. We refine the error term to give numerical estimates of $π(n)$ similar to those provided by the logarithmic integral, and much more accurate than $\operatorname{li}(n)$ up to $n=10{,}000$ where the estimates are {\it almost exact}. We then perform computational tests of unusual predictions of the model, finding limited evidence of predictable variations in prime gaps.

We prove that meromorphic differentials $ω^{(0)}_n(z_1,...,z_n)$ which are recursively generated by an involution identity are symmetric in all their arguments $z_1,...,z_n$. The proof involves an intriguing combinatorial identity between integer partitions into given number of parts.

Inspired by the study of the minimal excludant in integer partitions by G.E. Andrews and D. Newman, we introduce a pair of new partition statistics, sqrank and rerank. They are related to a polynomial bosonic form of statistical configuration sums for an integrable cellular automaton. For all nonnegative integers $n$, we prove that the partitions of $n$ on which sqrank or rerank takes on a particular value, say $r$, are equinumerous with the partitions of $n$ on which the odd/even minimal exclutant takes on the corresponding value, $2r+1$ or $2r+2$.

Let \(\mathcal{P}(n)\) be the set of partitions of the positive integer \(n\). For \(α=(α_1,...,α_t) \in \mathcal{P}(n)\) define the diagonal sequence \(δ(α)=(d_k(α))_{k \geq 1}\) via \( d_k(α) = \big\lvert \{ i \, \rvert \, 1 \leq i \leq k \mbox{ and } α_i + i- 1\geq k \} \big\rvert.\) We show that the set of all partitions in \(\mathcal{P}(n)\) with the same diagonal sequence is a partially ordered set under majorization with unique maximal and minimal elements and we give an explicit formula for the number of partitions with the same diagonal sequence.

Given a digraph $H$, we say a digraph $H^\prime$ is an $H$-subdivision if $H^\prime$ is obtained from $H$ by replacing one or more arcs from $H$ with internally vertex-disjoint path(s). In this paper, we prove that for any digraph $H$ with $h$ arcs and no isolated vertices, there is a constant $C_0>0$ such that the following hold. $(1)$ For any integer $C\geq C_0$ and every digraph $D$ on $n\geq Ch$ vertices, if the minimum in- and out-degree of $D$ is at least $n/2$, then it contains an $H$-subdivision covering all vertices of $D$. $(2)$ For any integer partition $n=n_1+\cdots+n_m$ such that the sum of the $n_i$ less than $αn$ is no more than $βn$, if a digraph $D$ has the order $n\geq Cm$ and the minimum in- and out-degree at least $\sum_{i=1}^m\lceil\frac{n_i}{2}\rceil$, then it contains $m$ disjoint $H$-subdivisions, where the order of these $H$-subdivisions is $n_1, \ldots, n_m$, respectively. The result of $(1)$ settles the conjecture raised by Pavez-Signé \cite{Pavez} in a stronger form, and ameliorate the result of Lee \cite{Lee}. Also, the conclusion of $(2)$ partly answers of the conjecture of Lee \cite{Lee1} and generalizes the recent work of Lee \cite{Lee1}.

In a 2022 paper, Dawsey, Just and the present author prove that the set of integer partitions, taken as a monoid under a partition multiplication operation I defined in my Ph.D. work, is isomorphic to the positive integers as a monoid under integer multiplication. In this note, I extend partition multiplication to the set of overpartitions, which are of much interest in partition theory. I prove the overpartitions form an Abelian group under partition multiplication. Moreover, the overpartitions and the positive rational numbers are isomorphic as multiplicative groups. I then prove further overpartition isomorphisms and discuss approaches to a ring theory of overpartitions.

Let e_k(x_1,...,x_l) be an elementary symmetric polynomial and let mu = (mu_1,...,mu_l) be an integer partition. Define pre_k(mu) to be the partition whose parts are the summands in the evaluation e_k(mu_1,...,mu_l). The study of such partitions was initiated by Ballantine, Beck, and Merca who showed (among other things) that pre_2 is injective as a map on binary partitions of n. In the present work we derive a host of identities involving the sequences which count the number of parts of a given value in the image of pre_2. These include generating functions, explicit expressions, and formulas for forward differences. We generalize some of these to d-ary partitions and explore connections with color partitions. Our techniques include the use of generating functions and bijections on rooted partitions. We end with a list of conjectures and a direction for future research.

Let $P$ be the set of integer partitions and $D$ the subset of those with distinct parts. We extend a correspondence of Burge between partitions and binary words to give encodings of both $D$ and $D$ as words over a $k$-ary alphabet, for any fixed $k\geq 2$. These are used to prove refinements of two partition identities involving $k$-measure that were recently derived algebraically by Andrews, Chern and Li. The relationship between our encoding of $D$ and minimum gap-size partition identities (e.g. Schur's Theorem) is also briefly discussed.

In this paper, we investigate the combinatorial properties of three classes of integer partitions: (1) $s$-modular partitions, a class consisting of partitions into parts with a number of occurrences (i.e., multiplicity) congruent to $0$ or $1$ modulo $s$, (2) $s$-congruent partitions, which generalize Sellers' partitions into parts not congruent to $2$ modulo $4$, and (3) $s$-duplicate partitions, of which the partitions having distinct odd parts and enumerated by the function $\mypod(n)$ are a special case. In this vein, we generalize Alladi's series expansion for the product generating function of $\mypod(n)$ and show that Andrews' generalization of Göllnitz-Gordon identities coincides with the number of partitions into parts simultaneously $s$-congruent and $t$-distinct (parts appearing fewer than $t$ times).

A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer partition can be realized as the degree sequence of a $3$-uniform hypergraph with high probability. These results are in stark contrast with the case of graphs, where a classical result of Erdős and Gallai provides an efficient algorithm for checking if a sequence is a degree sequence of a graph and a result of Pittel shows that with high probability a random partition is not the degree sequence of a graph. By the same method, we address analogous realizability problems about high-dimensional binary contingency tables. We prove that if $(λ,μ,ν)$ are three independent random partitions then with high probability one can construct a three-dimensional binary contingency table with marginals $(λ,μ,ν)$. Conversely, if one insists that the contingency table forms a pyramid shape, then we show that with high probability one cannot construct such a contingency table. These two results confirm two conjectures of Pak and Panova.

We exhibit, for any positive integer parameter $s$, an involution on the set of integer partitions of $n$. These involutions show the joint symmetry of the distributions of the following two statistics. The first counts the number of parts of a partition divisible by $s$, whereas the second counts the number of cells in the Ferrers diagram of a partition whose leg length is zero and whose arm length has remainder $s-1$ when dividing by $s$. In particular, for $s=1$ this involution is just conjugation. Additionally, we provide explicit expressions for the bivariate generating functions. Our primary motivation to construct these involutions is that we know only of two other "natural" bijections on integer partitions of a given size, one of which is the Glaisher-Franklin bijection sending the set of parts divisible by $s$, each divided by $s$, to the set of parts occurring at least $s$ times.

In this article, we first investigate the partitions whose parts are congruent to $a$ or $b$ modulo $k$ with the aid of separable integer partition classes with modulus $k$ introduced by Andrews. Then, we introduce the $(k,r)$-overpartitions in which only parts equivalent to $r$ modulo $k$ may be overlined and we will show that the number of $(k,k)$-overpartitions of $n$ equals the number of partitions of $n$ such that the $k$-th occurrence of a part may be overlined. Finally, we extend separable integer partition classes with modulus $k$ to overpartitions and then give the generating function for $(k,r)$-modulo overpartitions, which are the $(k,r)$-overpartitions satisfying certain congruence conditions.

A cubic partition is an integer partition wherein the even parts can appear in two colors. In this paper, we introduce the notion of generalized cubic partitions and prove a number of new congruences akin to the classical Ramanujan-type. We emphasize two methods of proofs, one elementary (relying significantly on functional equations) and the other based on modular forms. We close by proving analogous results for generalized overcubic partitions.

We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean $μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}+\frac{δ_t}{4}$ and variance $σ_t^2(n) \sim \frac{(π^2 - 6) \sqrt{6n}}{π^3},$ where $δ_t:=1$ if $t$ is odd, and is 0 otherwise.

Given an integer partition $(h_1,h_2,\dots,h_k)$ of $n$, is it possible to find an order $n$ latin square with $k$ disjoint subsquares of orders $h_1,\dots,h_k$? This question was posed by L.Fuchs and is only partially solved. Existence has been determined in general when $k\leq 4$, and in this paper we will complete the case when $k=5$. We also prove some less general results for partitions with $k=5$.

We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids containing the symmetric group to downsets in a new partial order on integer partitions. Furthermore, we show that the sizes of the $\mathscr{J}$-classes of the uniform block permutation monoid are sums of squares of dimensions of irreducible modules of the monoid algebra.

A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.