partition
6235 papers tagged with this keyword
Distribution of Alternating Sums of Parts in Partitions
Recently, many authors have investigated how various partition statistics distribute as the size of the partition grows. In this work, we look at a particular statistic arising from the recent rejuvenation of MacMahon's partition analysis. More specifically, we compute all the moments of the alternating sum statistic for partitions. We prove this results using the Circle Method. We also propose a general framework for studying further questions of this type that may avoid some of the complications that arise in traditional approaches to the distributions of partition statistics, and we comment on the utility, comparative ease and opportunities to generalize to very broad settings.
When alcoved polytopes add
Alcoved polytopes are characterized by the property that all facet normal directions are parallel to the roots $e_i-e_j$. Unlike other prominent families of polytopes, like generalized permutahedra, alcoved polytopes are not closed under Minkowski sums. We nonetheless show that the Minkowski sum of a collection of alcoved polytopes is alcoved if and only if each pairwise sum is alcoved. This implies that the type fan of alcoved polytopes is determined by its two-dimensional cones. Moreover, we provide a complete characterization of when the Minkowski sum of alcoved simplices is again alcoved via a graphical criterion on pairs of ordered set partitions. Our characterization reduces to checking conditions on restricted partitions of length at most six. In particular, we show how the Minkowski sum decompositions of the two most well-known families of alcoved polytopes, the associahedron and the cyclohedron, fit in our framework. Additionally, inspired by the physical construction of one-loop scattering amplitudes, we present a new infinite family of alcoved polytopes, called $\widehat{D}_n$ polytopes. We conclude by drawing a connection to matroidal blade arrangements and the Dressian.
A divisor generating $q$-series and cumulants arising from random graphs
Uchimura, in 1987, introduced a probability generating function for a random variable $X$ and using properties of this function he discovered an interesting $q$-series identity. He further showed that the $m$-th cumulant with respect to the random variable $X$ is nothing but the generating function for the generalized divisor function $σ_{m-1}(n)$. Simon, Crippa, and Collenberg, in 1993, explored the $G_{n,p}$-model of a random acyclic digraph and defined a random variable $γ_n^{*}(1)$. Quite interestingly, they found links between limit of its mean and the generating function for the divisor function $d(n)$. Later in 1997, Andrews, Crippa and Simon extended these results using $q$-series techniques. They calculated limit of the mean and variance of the random variable $γ_n^{*}(1)$ which correspond to the first and second cumulants. In this paper, we generalize the result of Andrews, Crippa and Simon by calculating limit of the $t$-th cumulant in terms of the generalized divisor function. Furthermore, we also discover limit forms for identities of Uchimura and Dilcher. This provides a fourth side to the Uchimura-Ramanujan-divisor type three way partition identities expounded by the first four authors recently.
The Integrable Snake Model
A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not left) from a given vertex. Pure snake configurations are a generalisation of lozenge tilings, which are in natural correspondence with paths that only travel right or up. We introduce a partition function on a finite version of this model and study the probabilistic properties of random pure snake configurations chosen according to their contribution to this partition function. Under a suitable weighting, the model is integrable in the sense that we have access to explicit formulas for its partition function and correlation function. We utilise the integrable structure of this model in several applications through its various scaling limits, such as to prove a traffic representation of ASEP on the ring, generalising the analogous result for TASEP by the first author.
Degree Realization by Bipartite Multigraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (January 7, 2026) dmtcs:15158
• View Publication
• BIB
The problem of realizing a given degree sequence by a multigraph can be thought of as a relaxation of the classical degree realization problem (where the realizing graph is simple). This paper concerns the case where the realizing multigraph is required to be bipartite.
The problem of characterizing sequences that can be realized by a bipartite graph has two variants. In the simpler one, termed BDR$^P$, the partition of the sequence into two sides is given as part of the input. A complete characterization for realizability in this variant was given by Gale and Ryser over sixty years ago. However, the variant where the partition is not given, termed BDR, is still open.
For bipartite multigraph realizations, there are also two variants. For BDR$^P$, where the partition is given as part of the input, a characterization was known for determining whether there is a multigraph realization whose underlying graph is bipartite, such that the maximum number of copies of an edge is at most $r$. We present a characterization for determining if there is a bipartite multigraph realization such that the total number of excess edges is at most $t$. We show that optimizing these two measures may lead to different realizations, and that optimizing by one measure may increase the other substantially. As for the variant BDR, where the partition is not given, we show that determining whether a given (single) sequence admits a bipartite multigraph realization is NP-hard. Moreover, we show that this hardness result extends to any graph family which is a sub-family of bipartite graphs and a super-family of paths. On the positive side, we provide an algorithm that computes optimal realizations for the case where the number of balanced partitions is polynomial, and present sufficient conditions for the existence of bipartite multigraph realizations that depend only on the largest degree of the sequence.
Quasi-immanants
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.
Impartial Chess on Integer Partitions
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.
On the hook length biases of the $2$- and $3$-regular partitions
Let $b_{t,i}(n)$ denote the total number of the $i$ hooks in the $t$-regular partitions of $n$. Singh and Barman (J. Number Theory { 264} (2024), 41--58) raised two conjectures on $b_{t,i}(n)$. The first conjecture is on the positivity of $b_{3,2}(n)-b_{3,1}(n)$ for $n\ge 28$. The second conjecture states that when $k\ge 3$, $b_{2,k}(n)\ge b_{2,k+1}(n)$ for all $n$ except for $n= k+1$. In this paper, we confirm the first conjecture. {Moreover, we show that for any odd $k\ge 3$, the second conjecture fails for infinitely many $n$.} {Furthermore, we verify that the second conjecture holds for $k=4$ and $6$.} We also propose a conjecture on the even case $k$, which is a modification of Singh and Barman's second conjecture.
On total transitivity of graphs
Let $G = (V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say that $A$ \emph{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive partition} of size $k$ if $V_i$ dominates $V_j$ for all $1 \leq i < j \leq k$. In this article, we study a variation of the transitive partition, namely the \emph{total transitive partition}. The total transitivity $Tr_t(G)$ is defined as the maximum order of a vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ obtained by repeatedly removing a total dominating set from $G$ until no vertices remain. Thus, $V_1$ is a total dominating set of $G$, $V_2$ is a total dominating set of the graph $G_1 = G - V_1$, and, for $2 \leq i \leq k - 1$, $V_{i+1}$ is a total dominating set in the graph $G_i = G - \bigcup_{j=1}^i V_j$. A vertex partition of order $Tr_t(G)$ is called a $Tr_t$-partition. The \textsc{Maximum Total Transitivity Problem} is to find a total transitive partition of a given graph with the maximum number of parts. First, we characterize split graphs with total transitivity equal to $1$ and $ω(G) - 1$. Moreover, for a split graph $G$ and $1 \leq p \leq ω(G) - 1$, we provide necessary conditions for $Tr_t(G) = p$. Furthermore, we show that the decision version of this problem is NP-complete for bipartite graphs. On the positive side, we prove that this problem can be solved in linear time for bipartite chain graphs. Finally, we design a polynomial-time algorithm to solve the \textsc{Maximum Total Transitivity Problem} in trees.
Cutting a unit square and permuting blocks
Consider a random permutation of $kn$ objects that permutes $n$ disjoint blocks of size $k$ and then permutes elements within each block. Normalizing its cycle lengths by $kn$ gives a random partition of unity, and we derive the limit law of this partition as $k,n \to \infty$. The limit may be constructed via a simple square cutting procedure that generalizes stick breaking in the classical case of random permutations ($k=1$). The expected size of the largest part of this square cutting distribution is approximated to be $0.40$, in contrast with the Golomb-Dickman constant around $0.624$ describing the longest cycle of a uniform random permutation as well as the largest prime factor of a random integer. The distribution function of this largest part is shown to also be the mean of a certain multiplicative function. Along the way we give the first extension of the Erdős-Turán law to a proper permutation subgroup.
Graphs with no long claws: An improved bound for the analog of the Gyárfás' path argument
For a fixed integer $t \geq 1$, a ($t$-)long claw, denoted $S_{t,t,t}$, is the unique tree with three leaves, each at distance exactly $t$ from the vertex of degree three. Majewski et al. [ICALP 2022, ACM ToCT 2024] proved an analog of the Gyárfás' path argument for $S_{t,t,t}$-free graphs: given an $n$-vertex $S_{t,t,t}$-free graph, one can delete neighborhoods of $\mathcal{O}(\log n)$ vertices so that the remainder admits an extended strip decomposition (an appropriate generalization of partition into connected components) into particles of multiplicatively smaller size. This statement has proven to be very useful in designing quasi-polynomial time algorithms for Maximum Weight Independent Set and related problems in $S_{t,t,t}$-free graphs.
In this work, we refine the argument of Majewski et al. and show that a constant number of neighborhoods suffice.
Separable overpartition classes and excludant sizes of an overpartition
An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we investigate three contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we study the second minimal excludant and mex sequence of an overpartition. Finally, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are separable overpartition classes.
On the Existence of Balanced Chain Rule Task Sets
In mathematics education research, mathematics task sets involving mixed practice include tasks from many different topics within the same assignment. In this paper, we use graph decompositions to construct mixed practice task sets for Calculus I, focusing on derivative computation tasks, or tasks of the form "Compute $f'(x)$ of the function $f(x)=$ [elementary function]." A decomposition $D$ of a graph $G=(V,E)$ is a collection $\{H_1, H_2, ... , H_t\}$ of nonempty subgraphs such that $H_i=G[E_i]$ for some nonempty subset $E_i$ of $E(G)$, and $\{E_1, E_2, ... , E_t\}$ is a partition of $E(G)$. We extend results on decompositions of the complete directed graph due to Meszka and Skupień to construct balanced task sets that assess the Chain Rule.
Acyclic Edge Coloring of 3-sparse Graphs
A proper edge coloring of a graph without any bichromatic cycles is said to be an acyclic edge coloring of the graph. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. Fiamčík conjectured that for a graph $G$ with maximum degree $Δ$, $a'(G) \le Δ+2$. A graph $G$ is said to be $3$-sparse if every edge in $G$ is incident on at least one vertex of degree at most $3$. We prove the conjecture for the class of $3$-sparse graphs. Further, we give a stronger bound of $Δ+1$, if there exists an edge $xy$ in the graph with $d_G(x)+ d_G(y) < Δ+3$. When $ Δ> 3$, the $3$-sparse graphs where no such edge exists is the set of bipartite graphs where one partition has vertices with degree exactly $3$ and the other partition has vertices with degree exactly $Δ$.
On partition and almost disjoint properties of combinatorial notions
It is known that there are many notions of largeness in a semigroup that own rich combinatorial properties. In this paper, we focus on partition and almost disjoint properties of these notions. One of the most remarkable results with respect to this topic is that in an infinite very weakly cancellative semigroup of size κ, every central set can be split into κdisjoint central subsets. Moreover, if κcontains λalmost disjoint subsets, then every central set contains a family of λalmost disjoint central subsets. And many other combinatorial notions are found successively to have analogous properties, among these are thick sets, piecewise syndetic sets, J-sets and C-sets. In this paper, we mainly study four other notions: IP sets, combinatorially rich sets, Cp-sets and PP-rich sets. Where the latter two are known in (N, +), related to the polynomial extension of the central sets theorem. We lift them up to commutative cancellative semigroups and obtain an uncountable version of the polynomial extension of the central sets theorem incidentally. And we finally find that the infinite partition and almost disjoint properties hold for Cp-sets in commutative cancellative semigroups and for other three notions in (N, +).
Permutation polynomials, projective polynomials, and bijections between $μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$
Using arbitrary bases for the finite field $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, we obtain the generalized Möbius transformations (GMTs), which are a class of bijections between the projective geometry $PG(n-1,q)$ and the set of roots of unity $μ_{\frac{q^n-1}{q-1}}\subseteq\mathbb{F}_{q^n}$, where $n\geq 2$ is any integer. We also introduce a class of projective polynomials, using the properties of which we determine the inverses of the GMTs. Moreover, we study the roots of those projective polynomials, which lead to a three-way correspondence between partitions of $\mathbb{F}_{q^n}^\ast,μ_{\frac{q^n-1}{q-1}}$ and $PG(n-1,q)$. Through this correspondence and the GMTs, we construct permutation polynomials of index $\frac{q^n-1}{q-1}$ over $\mathbb{F}_{q^n}$.
Inequalities and asymptotics for hook lengths in $\ell$-regular partitions and $\ell$-distinct partitions
In this article, we study hook lengths in $\ell$-regular partitions and $\ell$-distinct partitions. More precisely, we establish hook length inequalities between $\ell$-regular partitions and $\ell$-distinct partitions for hook lengths $2$ and $3$, by deriving asymptotic formulas for the total number of hooks of length $t$ in both partition classes, for $t = 1, 2, 3$. From these asymptotics, we show that the ratio of the total number of hooks of length $t$ in $\ell$-regular partitions to those in $\ell$-distinct partitions tends to a constant that depends on $\ell$ and $t$. We also provide hook length inequalities within $\ell$-regular partitions and within $\ell$-distinct partitions.
Blocking Ideals: a method for filtering linear extensions of a finite poset
The standard notion of poset probability of a finite poset P involves calculating, for incomparable $α$, $β$ in P, the number of linear extensions of P for which $α$ precedes $β$. The fraction of those linear extensions among all linear extensions of P is the probability that $α< β$. The question of whether there is always a pair $α, β$ such that this probability lies between 1/3 and 2/3, in any poset P (that is not a chain) is the famous "1/3-2/3-conjecture".
A general way of counting linear extensions of P for which $α$ precedes $β$ is to count linear extensions of the poset obtained by adding the relation $(α,β)$, and its transitive consequences.
For chain-products, and more generally for partition posets, lattice-path methods can be used to count the number of those linear extensions.
We present an alternative approach to find the pertinent linear extensions. It relies on finding the "blocking ideals" in $J(P)$, where $J(P)$ is the lattice of order ideals in P. This method works for all finite posets.
We illustrate this method by using blocking ideals to find explicit formulas of poset probabilities in cell posets $P_λ$ of two-row partitions. Well-known formulae such as the hook-length formula for $f^λ$, the number of standard Young tableaux on a partition $λ$, and the corresponding determinental formula by Jacobi-Trudi-Aitken for $f^{λ/ μ}$, the number of standard Young tableaux on a skew partition $λ/ μ$, are used along the way.
We also calculate the limit probabilities when the elements $α,β$ are fixed cells, but the arm-lengths tend to infinity.
Word-representability of co-bipartite graph
A graph $G = (V, E)$ is word-representable, if there exists a word $w$ over the alphabet $V$ such that for letters $\{x,y\}\in V$, $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is a bipartite graph. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint cliques.
The concept of word-representability for co-bipartite graphs has not yet been fully studied. In the book Words and Graphs written by Sergey Kitaev and Vadim Lozin, examples of co-bipartite graphs that are not word-representable are provided. The authors have stated that it remains an open problem to characterize word-representable co-bipartite graphs. It is known that taking the complement of word-representable graphs does not preserve their word-representability. In this paper, we first identify certain classes of bipartite graphs for which word-representation is preserved after the complement operation. We found that the complement of the path graphs, even cycle graphs and generalized crown graphs are also word-representable. Next, we aim to find word-representable co-bipartite graphs in which the size of one clique partition is fixed while the other one can vary. We studied the word-representability of co-bipartite graphs where the sizes of one clique partition are $2$ and $3$. We found that any co-bipartite graphs where the size of the one clique partition is $2$ are word-representable. Also, when the size of the one clique partition is $3$, we found certain co-bipartite graphs are word-representable. Additionally, for word-representable graphs, it has been established that a graph is word-representable if and only if it can be oriented in a specific manner, known as semi-transitive orientation. We provide the necessary and sufficient conditions for a co-bipartite graph to have a semi-transitive orientation.
Enumeration of partitions via socle reduction
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.