partition
6354 papers tagged with this keyword
Asymptotics for the reciprocal and shifted quotient of the partition function
Published
• View Publication
• BIB
Let $p(n)$ denote the partition function. In this paper our main goal is to derive an asymptotic expansion up to order $N$ (for any fixed positive integer $N$) along with estimates for error bounds for the shifted quotient of the partition function, namely $p(n+k)/p(n)$ with $k\in \mathbb{N}$, which generalizes a result of Gomez, Males, and Rolen. In order to do so, we derive asymptotic expansions with error bounds for the shifted version $p(n+k)$ and the multiplicative inverse $1/p(n)$, which is of independent interest.
Listing faces of polytopes
Published
• View Publication
• BIB
This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.
Cacti, Toggles, and Reverse Plane Partitions
The cactus group acts combinatorially on crystals via partial Schützenberger involutions. This action has been studied extensively in type $A$ and described via Bender-Knuth involutions. We prove an analogous result for the family of crystals $B(n\varpi_1)$ in type $D$. Our main tools are combinatorial toggles acting on reverse plane partitions of height $n$. As a corollary, we show that the length one and two subdiagram elements generate the full cactus action, addressing conjectures of Dranowski, the second author, Kamnitzer, and Morton-Ferguson.
The Ehrhart series of alcoved polytopes
Alcoved polytopes are convex polytopes, which are the closure of a union of alcoves in an affine Coxeter arrangement. They are rational polytopes and, therefore, have Ehrhart quasipolynomials. Here we describe a method for computing the generating function of the Ehrhart quasipolynomial, or Ehrhart series, of any alcoved polytope via a particular shelling order of its alcoves. We also show a connection between Early's decorated ordered set partitions and this shelling order for the hypersimplex $Δ_{2,n}$.
Compression with wildcards: Enumerating specific induced subgraphs, and packing them as well
Various algorithms have been proposed to enumerate all connected induced subgraphs of a graph $G=(V,E)$. As a variation we enumerate all "packings of connected sets", i.e. partitions $Π$ of $V$ with the property that each part of $Π$ induces a connected subgraph. More generally, for various types $T$ of graphs we do (one or both of) the following: (i) enumerate all type $T$ (induced) subgraphs of a given graph $G$, or (ii) enumerate all packings of type $T$ subgraphs of $G$
Exploring Parking Functions: Poset and Polytope Perspectives
Published
• View Publication
• BIB
This paper provides an exploration of parking functions, a classical combinatorial object. We present two viewpoints on their structure and properties: through poset of noncrossing partitions and polytopes.
On hook length biases in $t$-regular partitions
Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Recently, the first and the third authors proved that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n\geq 4$, and conjectured that $b_{t+1,2}(n)\geq b_{t,2}(n)$ for all $t\geq 3$ and $n\geq 0$. In this paper, we prove that the conjecture is true for $t=3$.
Exponential Schur and Hindman Theorem in Ramsey Theory
Answering a conjecture of A. Sisto, J. Sahasrabudhe proved the exponential version of the Schur theorem: for every finite coloring of the naturals, there exists a monochromatic copy of $\{x,y,x^y:x\neq y\},$ which initiates the study of exponential Ramsey theory in arithmetic combinatorics. In this article, We first give two short proofs of the exponential Schur theorem, one using Zorn's lemma and another using $IP_r^\star$ van der Waerden's theorem. Then using the polynomial van der Waerden theorem iteratively we give a proof of the exponential Hindman theorem. Then applying our results we prove for every natural number $m,n$ the equation $x_n^{x_{n-1}^{\cdot^{\cdot^{\cdot^{x_1}}}}}=y_1\cdots y_m$ is partition regular, which can be considered as the exponential version of a more general version of the P. Csikvári, K. Gyarmati, and A. Sárközy conjecture, which was solved by V. Bergelson and N. Hindman independently. As a consequence of our results, we also prove that for every finite partition of $\mathbb{N},$ there exists two different sequences $\langle x_n\rangle_n$ and $\langle y_n\rangle_n$ such that both the multiplicative and exponential version of Hindman theorem generated by these sequences resp. are monochromatic, whereas in the counterpart in the finitary case, J. Sahasrabudhe proved that both sequences are the same. Our result can be considered as an exponential analog to the result of V. Bergelson and N. Hindman. We also prove that a large class of ultrafilters with certain properties do not exist, which could give us direct proof of the exponential Schur theorem. This result can be thought of as partial evidence of the nonexistence of Galvin-Glazer's proof of the exponential Hindman theorem.
Sparse Partitions of Graphs with Bounded Clique Number
We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most $(1/\varepsilon)^{C_r}$ sets $S_1, \dots, S_t,$ such that $G[S_i]$ has maximum degree at most $\varepsilon |S_i|$ for each $1 \leq i \leq t.$ This answers a question of Fox, Nguyen, Scott and Seymour, who proved a similar result for graphs with no induced $P_4.$
$q$-Whittaker polynomials: bases, branching and direct limits
Published
• View Publication
• BIB
We study $q$-Whittaker polynomials and their monomial expansions given by the fermionic formula, the inv statistic of Haglund-Haiman-Loehr and the quinv statistic of Ayyer-Mandelshtam-Martin. The combinatorial models underlying these expansions are partition overlaid patterns and column strict fillings. The former model is closely tied to representations of the affine Lie algebra $\widehat{\mathfrak{sl}_n}$ and admits projections, branching maps and direct limits that mirror these structures in the Chari-Loktev basis of local Weyl modules. We formulate novel versions of these notions in the column strict fillings model and establish their main properties. We construct weight-preserving bijections between the models which are compatible with projection, branching and direct limits. We also establish connections to the coloured lattice paths formalism for $q$-Whittaker polynomials due to Wheeler and collaborators.
Identifying Partitions with maximum commuting orbit $Q=(u,u-r)$
The authors here show that the partition $P_{k,l}(Q)$ in the table $\mathcal T(Q)$ of partitions having maximal nilpotent commutator a given stable partition $Q$, defined in [IKVZ2], is identical to the analogous partition $P_{k,l}^Q$ defined by the authors in [BIK] using the Burge correspondence.
On stabilizers in finite permutation groups
Published
• View Publication
• BIB
Let $G$ be a permutation group on the finite set $Ω$. We prove various results about partitions of $Ω$ whose stabilizers have good properties. In particular, in every solvable permutation group there is a set-stabilizer whose orbits have length at most $6$, which is best possible and answers two questions of Babai. Every solvable maximal subgroup of any almost simple group has derived length at most $10$, which is best possible. In every primitive group with solvable stabilizer, there are two points whose stabilizer has derived length bounded by an absolute constant.
On decomposition thresholds for odd-length cycles and other tripartite graphs
Published
• View Publication
• BIB
An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least $(\frac{1}{2}+\frac{1}{2\ell-4}+o(1))n$ has a decomposition into $\ell$-cycles if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. This threshold cannot be improved beyond $\frac{1}{2}+\frac{1}{2\ell-2}$. It was previously shown that the thresholds approach $\frac{1}{2}$ as $\ell$ becomes large, but our thresholds do so significantly more rapidly. Our methods can be applied to tripartite graphs more generally and we also obtain some bounds for decomposition thresholds of other tripartite graphs.
Partition regularity of homogeneous quadratics: Current trends and challenges
Suppose we partition the integers into finitely many cells. Can we always find a solution of the equation $x^2+y^2=z^2$ with $x,y,z$ on the same cell? What about more general homogeneous quadratic equations in three variables? These are basic questions in arithmetic Ramsey theory, which have recently been partially answered using ideas inspired by ergodic theory and tools such as Gowers-uniformity properties and concentration estimates of bounded multiplicative functions. The aim of this article is to provide an introduction to this exciting research area, explaining the main ideas behind the recent progress and some of the important challenges that lie ahead.
Generalizing the Bierbrauer-Friedman bound for orthogonal arrays
Published in Des. Codes Cryptogr. 93(11) 2025, 4937-4950
• View Publication
• BIB
We characterize mixed-level orthogonal arrays in terms of algebraic designs in a special multigraph. We prove a mixed-level analog of the Bierbrauer-Friedman (BF) bound for pure-level orthogonal arrays and show that arrays attaining it are radius-1 completely regular codes (equivalently, intriguing sets, equitable 2-partitions, perfect 2-colorings) in the corresponding multigraph. For the case when the numbers of levels are powers of the same prime number, we characterize, in terms of multispreads, additive mixed-level orthogonal arrays attaining the BF bound. For pure-level orthogonal arrays, we consider versions of the BF bound obtained by replacing the Hamming graph by its polynomial generalization and show that in some cases this gives a new bound.
Keywords: orthogonal array, algebraic t-design, completely regular code, equitable partition, intriguing set, Hamming graph, Bierbrauer-Friedman bound, additive codes.
A resolution of the Aharoni-Korman conjecture
A poset $P$ is said to satisfy the finite antichain condition, or FAC for short, if it has no infinite antichain. It was conjectured by Aharoni and Korman in 1992 that any FAC poset $P$ possesses a chain $C$ and a partition into antichains such that $C$ meets every antichain of the partition. Our main results are twofold. We provide a counterexample to the conjecture in full generality, but, despite this, we also prove that the conjecture does hold true for a broad class of posets. In particular, we prove that the Aharoni-Korman conjecture holds for countable posets avoiding intervals $I$ such that either $I$ or its reverse $I^*$ is of the form $\bigoplus_{x\inω} Q_x$, where each $Q_x$ is infinite and co-wellfounded.
In pursuit of these goals, we also investigate other facets of the structure of FAC posets. In particular, we consider strongly maximal chains in FAC posets, proving some results, and posing several questions and conjectures.
Pentagonal number recurrence relations for $p(n)$
Published
• View Publication
• BIB
We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-ω(k)), $$ where $ω(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $ν=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $ν\geq 0,$ we prove for positive $n$ that
$$ p(n)=\frac{1}{g_ν(n,0)}\left(α_ν\cdot σ_{2ν-1}(n)+ \mathrm{Tr}_{2ν}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_ν(n,k)\cdot p(n-ω(k))\right), $$ where $σ_{2ν-1}(n)$ is a divisor function, $\mathrm{Tr}_{2ν}(n)$ is the $n$th weight $2ν$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_ν(n,k)$ is a polynomial in $n$ and $k.$ The $ν=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot τ(n). $$
Transformation representations of diagram monoids
Published
• View Publication
• BIB
We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.
Proof of Merca's stronger conjecture on truncated Jacobi triple product series
In the study of theta series and partition functions, Andrews and Merca, Guo and Zeng independently conjectured that a truncated Jacobi triple product series has nonnegative coefficients. This conjecture was proved analytically by Mao and combinatorially by Yee. In 2021, Merca proposed a stronger version of the conjecture, that is, for positive integers $1\leq S<R$ with $k\geq 1$, the coefficient of $q^n$ in
the theta series
\[
\frac{(-1)^{k} \sum_{j=k}^{\infty}(-1)^j q^{R j(j+1) / 2}\left(q^{-Sj}-q^{( j+1) S}\right)}{\left(q^S, q^{R-S}; q^R\right)_{\infty}}
\]
is nonnegative. Recently, some very special cases of this conjecture have been proved and studied. For any given $R, S$ and $k$, we take $s=S/(S,R), r=R/(S,R)$ which are coprime, equivalently. In this paper, we confirm Merca's stronger conjecture for sufficiently large $n$. Furthermore, for given $r, s$ and $k$, we provide a systematic method to determine an integer $N(r, s, k)$ such that Merca's stronger conjecture holds for $ n\geq N(r,s,k) $. More precisely, we decompose the infinite product in the denominator of the above theta series into two parts, one of which can be interpreted as the generating function of partitions with certain restricted parts and the other is a nonmodular infinite product.
We derive the general upper and lower bounds for the coefficients of these two parts by using the partition theoretical method and the circle method, respectively. Further multiplying the partition part by the numerator of the theta series and considering the convolution with the nonmodular infinite product, we obtain the constant $N(r,s,k)$ and confirm Merca's stronger conjecture when $n\geq N(r,s,k)$. Moreover, we also show that when $k$ is sufficiently large, this conjecture holds directly for any $n\geq 0$.
Sharp Thresholds for Factors in Random Graphs
Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn and Vu established the thresholds for the existence of an $F$-factor for strictly 1-balanced $F$ -- up to the leading constant. The sharp thresholds, meaning the leading constants, were obtained only recently by Riordan and Heckel, but only for complete graphs $F=K_r$ and for so-called nice graphs. Their results rely on sophisticated couplings that utilize the recent, celebrated solution of Shamir's problem by Kahn.
We extend the couplings by Riordan and Heckel to any strictly 1-balanced $F$ and thereby obtain the sharp threshold for the existence of an $F$-factor. In particular, we confirm the thirty year old conjecture by Rucínski that this sharp threshold indeed coincides with the sharp threshold for the disappearance of the last vertices which are not contained in a copy of $F$.