arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6354 papers tagged with this keyword
2025-07-24 v2
Global fluctuations for standard Young tableaux
We introduce the notion of a Young generating function for a probability measure on integer partitions. We use this object to characterize probability distributions over integer partitions satisfying a law of large numbers and those that satisfy a central limit theorem. We further establish a multilevel central limit theorem, which enables the study of random standard Young tableaux. As applications of these results, we describe the fluctuations of height functions associated with (i) the Plancherel growth process, (ii) random standard Young tableaux of fixed shape, and (iii) probability distributions induced by extreme characters of the infinite symmetric group $S_\infty$. In all cases, we identify the limiting fluctuations as a conditioned Gaussian Free Field.
Characterizing semi-directed phylogenetic networks and their multi-rootable variants
Published • View Publication • BIB
In evolutionary biology, phylogenetic networks are graphs that provide a flexible framework for representing complex evolutionary histories that involve reticulate evolutionary events. Recently phylogenetic studies have started to focus on a special class of such networks called semi-directed networks. These graphs are defined as mixed graphs that can be obtained by de-orienting some of the arcs in some rooted phylogenetic network, that is, a directed acyclic graph whose leaves correspond to a collection of species and that has a single source or root vertex. However, this definition of semi-directed networks is implicit in nature since it is not clear when a mixed-graph enjoys this property or not. In this paper, we introduce novel, explicit mathematical characterizations of semi-directed networks, and also multi-semi-directed networks, that is, mixed graphs that can be obtained from directed phylogenetic networks that may have more than one root. In addition, through extending foundational tools from the theory of rooted networks into the semi-directed setting - such as cherry picking sequences, omnians, and path partitions - we characterize when a (multi-)semi-directed network can be obtained by de-orienting some rooted network that is contained in one of the well-known classes of tree-child, orchard, tree-based or forest-based networks. These results address structural aspects of (multi-)semi-directed networks and pave the way to improved theoretical and computational analyses of such networks, for example, within the development of algebraic evolutionary models that are based on such networks.
2025-07-22
SASH: Decoding Community Structure in Graphs
Published • View Publication • BIB
Detection of communities in a graph entails identifying clusters of densely connected vertices; the area has a variety of important applications and a rich literature. The problem has previously been situated in the realm of error correcting codes by viewing a graph as a noisy version of the assumed underlying communities. In this paper, we introduce an encoding of community structure along with the resulting code's parameters. We then present a novel algorithm, SASH, to decode to estimated communities given an observed dataset. We demonstrate the performance of SASH via simulations on an assortative planted partition model and on the Zachary's Karate Club dataset.
To see the forest for the trees: On the infinite divisibility of unlabeled forests
Published • View Publication • BIB
Inspired by Stufler's recent probabilistic proof of Otter's asymptotic number of unlabeled trees, we revisit work of Palmer and Schwenk, and study unlabeled forests from a probabilistic point of view. We show that the number of trees in a random forest converges, with all of its moments, to a shifted compound Poisson. We also find the asymptotic proportion of forests that are trees. The key fact is that the number of trees $t_n$ and forests $f_n$ are related by a Lévy process. As such, the results by Palmer and Schwenk follow by an earlier and far-reaching limit theory by Hawkes and Jenkins. We also show how this limit theory implies results by Schwenk and by Meir and Moon, related to degrees in large random trees. Our arguments apply, more generally, to the enumeration of sub-exponentially weighted integer partitions, or, in fact, any setting where the underlying Lévy process follows the one big jump principle.
Overpartitions with parts separated by parity
Published • View Publication • BIB
In this paper, we generalize Andrews' partitions separated by parity to overpartitions in two ways. We investigate the generating functions for 16 overpartition families whose parts are separated by parity, and we prove various $q$-series identities for these functions. These identities include relations to modular forms, $q$-hypergeometric series, and mock modular forms.
2025-07-21
On Ward Numbers and Increasing Schröder Trees
Published • View Publication • BIB
The Ward numbers $W(n,k)$ combinatorially enumerate set partitions with block sizes $\geq 2$ and phylogenetic trees (total partition trees). We prove that $W(n,k)$ also counts \emph{increasing Schröder trees} by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees trees and Schröder trees trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.
2025-07-21
On the reconstruction of trees from their chromatic symmetric functions
We study Stanley's chromatic symmetric function (CSF) for trees when expressed in the star basis. We use the deletion-near-contraction (DNC) algorithm to compute coefficients that occur in the CSF in the star basis. In particular, one of our main results determines the smallest partition in lexicographic order that occurs as an indexing partition in the CSF, and we also give a formula for its coefficient. In addition to describing properties of trees encoded in the coefficients of the star basis, we give an algorithm for reconstructing trees of diameter less than six.
2025-07-20 v2
Fair coalition in graphs
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. For $k \geq 1$, a $k$-fair dominating set ($kFD$-set) in $G$, is a dominating set $S$ such that $|N(v) \cap D|=k$ for every vertex $ v \in V\setminus D$. A fair dominating set in $G$ is a $kFD$-set for some integer $k\geq 1$. We consider $1FD$-sets and define a fair coalition in a graph $G$ as a pair of disjoint subsets $A_1, A_2 \subseteq A$ that satisfy the following conditions: (a) neither $A_1$ nor $A_2$ constitutes a $1$-fair dominating set of $G$, and (b) $A_1\cup A_2$ constitutes a $1$-fair dominating set of $G$. A fair coalition partition of a graph $G$ is a partition $Υ= \{A_1,A_2,\ldots,A_k\}$ of its vertex set such that every set $A_i$ of $Υ$ is either a singleton $1$-fair dominating set of $G$, or is not a $1$-fair dominating set of $G$ but forms a fair coalition with another non-$1$-fair dominating set $A_j\in Υ$. We define the fair coalition number of $G$ as the maximum cardinality of a fair coalition partition of $G$, and we denote it by $\mathcal{C}_f(G)$. We initiate the study of the fair coalition in graphs and obtain $\mathcal{C}_f(G)$ for some specific graphs.
2025-07-19
Asymptotics for moments of the minimal partition excludant in congruence classes
The minimal excludant statistic, which denotes the smallest positive integer that is not a part of an integer partition, has received great interest in recent years. In this paper, we move on to the smallest positive integer whose frequency is less than a given number. We establish an asymptotic formula for the moments of such generalized minimal excludants that fall in a specific congruence class. In particular, our estimation reveals that the moments associated with a fixed modulus are asymptotically ``equal''.
2025-07-19
On the edge reconstruction of the second immanantal polynomials of undirected graph and digraph
Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.
2025-07-19 v2
Basis partitions and their signature
Published • View Publication • BIB
Basis partitions are minimal partitions corresponding to successive rank vectors. We show combinatorially how basis partitions can be generated from primary partitions which are equivalent to the Rogers-Ramanujan partitions. This leads to the definition of a signature of a basis partition that we use to explain certain parity results. We then study a special class of basis partitions which we term as complete. Finally we discuss basis partitions and minimal basis partitions among partitions with non-repeating odd parts by representing them using 2-modular graphs.
2025-07-18
Partition algebras as monoid algebras
Published • View Publication • BIB
Wilcox has considered a twisted semigroup algebra structure on the partition algebra $\mathbb{C}A_k(n)$, but it appears that there has not previously been any known basis that gives $\mathbb{C}A_k(n)$ the structure of a "non-twisted" semigroup algebra or a monoid algebra. This motivates the following problem, for the non-degenerate case whereby $n \in \mathbb{C} \setminus \{ 0, 1, \ldots, 2 k - 2 \}$ so that $ \mathbb{C}A_k(n)$ is semisimple. How could a basis $M_{k} = M$ of $ \mathbb{C}A_k(n)$ be constructed so that $M$ is closed under the multiplicative operation on $\mathbb{C}A_k(n)$, in such a way so that $M$ is a monoid under this operation, and how could a product rule for elements in $M$ be defined in an explicit and combinatorial way in terms of partition diagrams? We construct a basis $M$ of the desired form using Halverson and Ram's matrix unit construction for partition algebras, Benkart and Halverson's bijection between vacillating tableaux and set-partition tableaux, an analogue given by Colmenarejo et al. for partition diagrams of the RSK correspondence, and a variant of a result due to Hewitt and Zuckerman characterizing finite-dimensional semisimple algebras that are isomorphic to semigroup algebras.
Improved Decomposition Bounds for Partition Polytopes and Odd-Covers
The assignments of a set of $m$ items into $n$ clusters of prescribed sizes $k_1,\dots,k_n$ can be encoded as the vertices of the partition polytope $\mathrm{PP}(k_1,\dots,k_n)$. We prove that, if $K = \max\{k_1,\dots,k_n\}$, then the combinatorial diameter of $\mathrm{PP}(k_1,\dots,k_n)$ is at most $\lceil 3K/2\rceil$. This improves the previously known upper bound of $2K$. A cycle (or path) odd-cover of a graph $G$ is a set of cycles (or paths) with symmetric difference $G$. We prove that every Eulerian graph $G$ with maximum degree $Δ$ admits a cycle odd-cover and a path odd-cover, each of size at most $\lceil 3Δ/4\rceil$. This improves the previously known upper bound of $Δ$. The two proofs share many similarities and are both based on the proof of Akiyama, Exoo, and Harary that every graph with maximum degree 4 has linear arboricity at most 3.
2025-07-17
Combinatorial proof of a congruence for partitions into two sizes of part
Published • View Publication • BIB
Previous work showed that, for $ν_2(n)$ the number of partitions of $n$ into exactly two part sizes, one has $ν_2(16n + 14) \equiv 0 \pmod{4}$. The earlier proof required the technology of modular forms, and a combinatorial proof was desired. This article provides the requested proof, in the process refining divisibility to finer subclasses. Some of these subclasses have counts closely related to the divisor function $d(16n + 14)$, and we offer a conjecture on a potential rank statistic.
2025-07-16 v2
Splitting a graph by a given partition of the set of vertices based on the minimum weight of the induced trees
A method for considering a weighted directed graph with an accuracy of up to a given partition of the set of vertices is proposed. The resulting digraph (the splitting graph) does not contain arcs inside each partition element, and the arcs between the partition atoms are calculated in a special way taking into account the arcs of the original directed graph inside the atoms. This accounting is based on minimal trees defined on atoms. A study was made of what information about the original digraph is preserved in its splitting.
Matroids are Equitable
Published • View Publication • BIB
We show that if the ground set of a matroid can be partitioned into $k\ge 2$ bases, then for any given subset $S$ of the ground set, there is a partition into $k$ bases such that the sizes of the intersections of the bases with $S$ may differ by at most one. This settles the matroid equitability conjecture by Fekete and Szabó (Electron. J. Comb. 2011) in the affirmative. We also investigate equitable splittings of two disjoint sets $S_1$ and $S_2$, and show that there is a partition into $k$ bases such that the sizes of the intersections with $S_1$ may differ by at most one and the sizes of the intersections with $S_2$ may differ by at most two; this is the best one can hope for arbitrary matroids. We also derive applications of this result into matroid constrained fair division problems. We show that there exists a matroid-constrained fair division that is envy-free up to one item if the valuations are identical and tri-valued additive. We also show that for bi-valued additive valuations, there exists a matroid-constrained allocation that provides everyone their maximin share.
2025-07-16 v2
Infinite-Exponent Partition Relations on the Real Line
We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with countably infinite exponents, and a characterisation of the statement "no uncountable-exponent partition relations hold on the real line", working throughout in ZF without the Axiom of Choice.
2025-07-15
The model theory of metric lattices: pseudofinite partition lattices
Published • View Publication • BIB
We initiate the study of general metric lattices in the context of the model theory of metric structures. As an application we develop a theory of pseudo-finite limits of partition lattices and connect this theory with the theory of continuous limits of partition lattices due to Björner and Lovász.
Convolutive sequences, I: Through the lens of integer partition functions
Published • View Publication • BIB
Motivated by the convolutive behavior of the counting function for partitions with designated summands in which all parts are odd, we consider coefficient sequences $(a_n)_{n\ge 0}$ of primitive eta-products that satisfy the generic convolutive property \begin{align*} \sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m \end{align*} for a specific positive integer $m$. Given the results of an exhaustive search of the Online Encyclopedia of Integer Sequences for such sequences for $m$ up to $6$, we first focus on the case where $m=2$ with our attention mainly paid to the combinatorics of two $2$-convolutive sequences, featuring bijective proofs for both. For other $2$-convolutive sequences discovered in the OEIS, we apply generating function manipulations to show their convolutivity. We also give two examples of $3$-convolutive sequences. Finally, we discuss other convolutive series that are not eta-products.
2025-07-15 v3
Perfect Matchings in Random Sparsifications of Dense Hypergraphs
Published • View Publication • BIB
The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs. The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.