arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6235 papers tagged with this keyword
2024-08-29
The Briggs inequality for partitions and overpartitions
A sequence of $\{a_n\}_{n\ge 0}$ satisfies the Briggs inequality if \begin{align*} a_n^2(a_n^2-a_{n-1}a_{n+1})>a_{n-1}^2(a_{n+1}^2-a_na_{n+2}) \end{align*} holds for any $n\ge 1$. In this paper we show that both the partition function $\{p(n+N_0)\}_{n\geq 0}$ and the overpartition function $\{\overline{p}(n+\overline{N}_0)\}_{n\ge 0}$ satisfy the Briggs inequality for some $N_0$ and $\overline{N}_{0}$. Based on Chern's formula for $η$-quotients, we further prove that the $k$-regular partition function $\{p_k(n+N_{k})\}_{n\geq 0}$ and the $k$-regular overpartition function $\{\overline{p}_k(n+\overline{N}_k)\}_{n\ge 0}$ also satisfy the Briggs inequality for $2\le k\le 9$ and some $N_k,\overline{N}_{k}$.
2024-08-29
Hecke growth diagrams, and maximal increasing and decreasing sequences in fillings of stack polyominoes
We establish a bijection between $01$-fillings of stack polyominoes with at most one $1$ per column and labelings of the corners along the top-right border of stack polyominoes. These labellings indicate the lengths of the longest increasing and decreasing chains of the largest rectangular region below and to the left of the corners. Our results provide an alternative proof of Guo and Poznanović's theorem on the lengths of the longest increasing and decreasing chains have a symmetric joint distribution over $01$-fillings of stack polyomino. Moreover, our results offer new perspective to Chen, Guo and Pang's result on the crossing number and the nesting number have a symmetric joint distribution over linked partitions. In particular, our construction generalizes the growth diagram techniques of Rubey for the $01$-fillings of stack polyominoes with at most one $1$ per column and row.
Branch-and-cut algorithms for colorful components problems
Published in INFORMS Journal on Computing (2025) • View PublicationBIB
We tackle three optimization problems in which a colored graph, where each node is assigned a color, must be partitioned into colorful connected components. A component is defined as colorful if each color appears at most once. The problems differ in the objective function, which determines which partition is the best one. These problems have applications in community detection, cybersecurity, and bioinformatics. We present integer non-linear formulations, which are then linearized using standard techniques. To solve these formulations, we develop exact branch-and-cut algorithms, embedding various improving techniques, such as valid inequalities, bounds limiting the number of variables, and warm-start and preprocessing techniques. Extensive computational tests on benchmark instances demonstrate the effectiveness of the proposed procedures. The branch-and-cut algorithms can solve reasonably sized instances efficiently. To the best of our knowledge, we are the first to propose an exact algorithm for solving these problems.
Zeros of Hook Polynomials and Related Questions
Published in SIGMA 21 (2025), 026, 14 pages • View PublicationBIB
We study the zero set of polynomials built from partition statistics, complementing earlier work in this direction by Boyer, Goh, Parry, and others. In particular, addressing a question of Males with two of the authors, we prove asymptotics for the values of $t$-hook polynomials away from an annulus and isolated zeros of a theta function. We also discuss some open problems and present data on other polynomial families, including those associated to deformations of Rogers-Ramanujan functions.
2024-08-29
A Generalized Burge Correspondence and $k$-measure of Partitions
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.
2024-08-26 v2
Residue class biases in unrestricted partitions, partitions into distinct parts, and overpartitions
We prove specific biases in the number of occurrences of parts belonging to two different residue classes $a$ and $b$, modulo a fixed non-negative integer $m$, for the sets of unrestricted partitions, partitions into distinct parts, and overpartitions. These biases follow from inequalities for residue-weighted partition functions for the respective sets of partitions. We also establish asymptotic formulas for the numbers of partitions of size $n$ that belong to these sets of partitions and have a symmetric residue class bias (i.e., for $1\le a<m/2$ and $b=m-a$), as $n$ tends to infinity.
2024-08-24
Partitioning perfect graphs into comparability graphs
We study how many comparability subgraphs are needed to partition the edge set of a perfect graph. We show that many classes of perfect graphs can be partitioned into (at most) two comparability subgraphs and this holds for almost all perfect graphs. On the other hand, we prove that for interval graphs an arbitrarily large number of comparability subgraphs might be necessary.
2024-08-24 v3
$s$-Modular, $s$-congruent and $s$-duplicate partitions
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).
2024-08-23
Partitions and elementary symmetric polynomials -- an experimental approach
Given a partition $λ$, we write $e_j(λ)$ for the $j^{\textrm{th}}$ elementary symmetric polynomial $e_j$ evaluated at the parts of $λ$ and $e_jp_A(n)$ for the sum of $e_j(λ)$ as $λ$ ranges over the set of partitions of $n$ with parts in $A$. For $e_jp_A(n)$, we prove analogs of the classical formula for the partition function, $p(n)=1/n \sum_{k=0}^{n-1}σ_1(n-k)p(k)$, where $σ_1$ is the sum of divisors function. We prove several congruences for $e_2p_4(n)$, the sum of $e_2$ over the set of partitions of $n$ into four parts. Define the function $\textrm{pre}_j(λ)$ to be the multiset of monomials in $e_j(λ)$, which is itself a partition. If $\mathcal A$ is a set of partitions, we define $\textrm{pre}_j(\mathcal A)$ to be the set of partitions $\textrm{pre}_j(λ)$ as $λ$ ranges over $\mathcal A$. If $\mathcal P(n)$ is the set of all partitions of $n$, we conjecture that the number of odd partitions in $\textrm{pre}_2(\mathcal P(n))$ is at least the number of distinct partitions. We prove some results about $\textrm{pre}_2(\mathcal B(n))$, where $\mathcal B(n)$ is the set of binary partitions of $n$. We conclude with conjectures on the log-concavity of functions related to $e_jp(n)$, the sum of $e_j(λ)$ for all $λ\in \mathcal P(n)$.
2024-08-22 v2
A strange five vertex model and multispecies ASEP on a ring
We revisit the problem of constructing the stationary states of the multispecies asymmetric simple exclusion process on a one-dimensional periodic lattice. Central to our approach is a quantum oscillator weighted five vertex model which features a strange weight conservation distinct from the conventional one. Our results clarify the interrelations among several known results and refine their derivations. For instance, the stationary probability derived from the multiline queue construction by Martin (2020) and Corteel--Mandelshtam--Williams (2022) is identified with the partition function of a three-dimensional system. The matrix product operators by Prolhac--Evans--Mallick (2009) acquire a natural diagrammatic interpretation as corner transfer matrices (CTM). The origin of their recursive tensor structure, as questioned by Aggarwal--Nicoletti--Petrov (2023), is revealed through the CTM diagrams. Finally, the derivation of the Zamolodchikov--Faddeev algebra by Cantini--de Gier--Wheeler (2015) is made intrinsic by elucidating its precise connection to a solution to the Yang--Baxter equation originating from quantum group representations.
2024-08-22 v3
Partition subcubic planar graphs into independent sets
A packing $(1^{\ell}, 2^k)$-coloring of a graph $G$ is a partition of $V(G)$ into $\ell$ independent sets and $k$ $2$-packings (whose pairwise vertex distance is at least $3$). The square coloring of planar graphs was first studied by Wegner in 1977. Thomassen and independently Hartke et al. proved one can always square color a cubic planar graph with $7$ colors, i.e., every subcubic planar graph is packing $(2^7)$-colorable. We focus on packing $(1^{\ell}, 2^k)$-colorings, which lie between proper coloring and square coloring. Gastineau and Togni proved every subcubic graph is packing $(1,2^6)$-colorable and asked whether every subcubic graph except the Petersen graph is packing $(1,2^5)$-colorable. In this paper, we prove an analogue result of Thomassen and Hartke et al. on packing coloring that every subcubic planar graph is packing $(1,2^5)$-colorable. This also answers the question of Gastineau and Togni affirmatively for subcubic planar graphs. Moreover, we prove that there exists an infinite family of subcubic planar graphs that are not packing $(1,2^4)$-colorable, which shows that our result is the best possible. Besides, our result is also sharp in the sense that the disjoint union of Petersen graphs is subcubic and non-planar, but not packing $(1,2^5)$-colorable.
2024-08-22 v3
Shelling of links and star clusters in edgewise subdivision of a simplex
We show that the combinatorial types of the links of the vertices in the edgewise triangulation $T_{k,q}$ of a $(k-1)$-simplex are encoded by the partitions of $k$. Each of these complexes is isomorphic to a subcomplex of the barycentric subdivision of the boundary of a $(k-1)$-simplex, and the containment relations among them are described by a new poset on the set of partitions of $k$. We compute the $h$-vectors of these complexes and determine the number of vertices of $T_{k,q}$ whose links are the same (correspond to the same partition). The combinatorial type of the link of an $(s-1)$-dimensional face of $T_{k,q}$ corresponds to a partition $(λ_1,λ_2,\ldots,λ_s)$ of $k$ into $s$ parts, together with additional partitions of each $λ_i$. We also enumerate the combinatorial types of all $m$-dimensional complexes that arise as the links in edgewise triangulations. A new permutation statistic, \textit{the faithful initial part}, is introduced and used to describe the star cluster of a facet of $T_{k,q}$. By examining a specific shelling of this star cluster, we prove that the $i$-th entry of its $h$-vector counts the number of permutations of $[k]$ with exactly $i$ descents, taking into account the faithful initial part as the multiplicity. Finally, we describe a concrete shelling order for $T_{k,q}$, give a combinatorial interpretation of its $h$-vector, and derive an explicit formula for it.
2024-08-20
Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals
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.
2024-08-16 v2
Rainbow perfect matchings in 3-partite 3-uniform hypergraphs
Let $m,n,r,s$ be nonnegative integers such that $n\ge m=3r+s$ and $1\leq s\leq 3$. Let \[δ(n,r,s)=\left\{\begin{array}{ll} n^2-(n-r)^2 &\text{if}\ s=1 , \\[5pt] n^2-(n-r+1)(n-r-1) &\text{if}\ s=2,\\[5pt] n^2 - (n-r)(n-r-1) &\text{if}\ s=3. \end{array}\right.\] We show that there exists a constant $n_0 > 0$ such that if $F_1,\ldots, F_n$ are 3-partite 3-graphs with $n\ge n_0$ vertices in each partition class and minimum vertex degree of $F_i$ is at least $δ(n,r,s)+1$ for $i \in [n]$ then $\{F_1,\ldots,F_n\}$ admits a rainbow perfect matching. This generalizes a result of Lo and Markström on the vertex degree threshold for the existence of perfect matchings in 3-partite 3-graphs. In this proof, we use a fractional rainbow matching theory obtained by Aharoni et al. to find edge-disjoint fractional perfect matching.
2024-08-15 v2
Chern-Simons theories with defects, Rogers-Ramanujan type functions and eta-products
We study the line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric Chern-Simons (CS) theories with (special)unitary, symplectic, orthogonal and exceptional gauge groups. We find that they have several beautiful infinite product $q$-series expressions in terms of Ramanujan's general theta function. For the theories with fundamental chiral multiplets, the pairs of the Neumann half-indices and one-point functions of the fundamental Wilson lines form a basis for the line defect indices in terms of the Rogers-Ramanujan type functions. Furthermore, the theories with an adjoint chiral admit the expressions as the eta-products. In particular, for the $SU(N)_{-2N}$ CS theory, there is a one-to-one correspondence between the BPS boundary local operators and the $N$-core partitions.
2024-08-15
About the Hardy-Ramanujan partition function asymptotics
The Hardy-Ramanujan partition function asymptotics is a famous result in the asymptotics of combinatorial sequences. It was originally derived using complex analysis and number-theoretic ideas by Hardy and Ramanujan. It was later re-derived by Paul Erdős using real analytic methods. Later still, D.J.~Newman used just the usual Hayman saddle-point approach, ubiquitous in asymptotic analysis. Fristedt introduced a probabilistic approach, which was further extended by Dan Romik, for restricted partition functions. Our perspective is that the Laplace transform changes the essentially algebraic generating function into an exponential form. Using this, we carry out the exercise of deriving the leading order asymptotics, following the Fristedt-Romik approach. We also give additional examples of the Laplace transform method.
2024-08-14
On the Min-Max Star Partitioning Number
In this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(Δ) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $Δ$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.
2024-08-14
Partition of Abelian groups into zero-sum sets by complete mappings and its application to the existence of a magic rectangle set
Published in Journal of Algebraic Combinatorics 61(24) (2025) • View PublicationBIB
A complete mapping of a group $Γ$ is a bijection $\varphi\colon Γ\to Γ$ for which the mapping $x \mapsto x+\varphi(x)$ is a bijection. In this paper we consider the existence of a complete mapping $\varphi$ of $Γ$ and a partition $S_1,S_2,\ldots S_t$ of elements of $Γ$, such that $\sum_{s\in S_i}s=\sum_{s\in S_i}\varphi(s)=0$ for every $i$, $1 \leq i \leq t$. A $Γ$-magic rectangle set $MRS_Γ(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $Γ$ of order $abc$, each appearing once, with all row sums in every rectangle equal to a constant $ω\in Γ$ and all column sums in every rectangle equal to a constant $δ\in Γ$. While a complete characterization of MRS$_Γ(a,b;c)$ exists for cases where $\{a,b\}\not=\{2k+1,2^α\}$, the scenario where $\{a,b\}=\{2k+1,2^α\}$ remains unsolved for $α>1$. Using the partition of $Γ$ into zero-sum sets by complete mappings, we give some sufficient conditions that a $Γ$-magic rectangle set MRS$_Γ(2k+1, 2^α;c)$ exists.
On the locating-chromatic number of corona product of graphs
Let $G=(V,E)$ be a finite, simple, and connected graph. The locating-chromatic number of a graph $G$ can be defined as the cardinality of a minimum resolving partition of the vertex set $V(G)$ such that all vertices have different coordinates and every two adjacent vertices in $G$ is not contained in the same partition class. In this case, the coordinate of a vertex in $G$ is expressed in terms of the distances of this vertex to all partition classes. The corona product of a graph $G$ of order $n$ and a graph $H,$ denoted by $G \odot H,$ is the graph obtained by taking one copy of $G$ and $n$ copies of $H$ and joining the $i^{th}$-vertex of $G$ to every vertex in the $i^{th}$-copy of $H$. In this paper, we determine the sharp general bound of the locating-chromatic number of $G \odot H$ for $G$ is a connected graph and $H$ is an arbitrary graph, or $G$ is a tree graph and $H$ is a complement of complete graph.
Higher $q$-Continued Fractions
We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.