partition
6354 papers tagged with this keyword
Cross-intersection theorems for uniform partitions of finite sets
A set partition is $c$-uniform if every block has size $c$. Two families of $c$-uniform partitions of a finite set are said to be cross $t$-intersecting if two partitions from different families share at least $t$ blocks. In this paper, we establish some product-type extremal results for such cross $t$-intersecting families. Our results yield an Erdős-Ko-Rado theorem and a Hilton-Milner theorem for uniform set partitions. Additionally, cross $t$-intersecting families with the maximum sum of their sizes are also characterized.
On asymptotic formula of the partition function $p_A(n)$
Published in INTEGERS, Vol. 14 (2014) #A2
• Search Publication
The partition function, $p_A(n)$, is defined to be the number of partitions of $n$ with parts in the set A, where $n$ is a positive integer and $A$ is a set of positive integers. It is well documented that: if A is a finite set with $\gcd(A)=1$ and $|A|=k$, then \[p_A(n)\sim \frac{n^{k-1}}{(\prod_{a\in A}a)(k-1)!}. \] Number of proofs have been obtained for this estimate. In this article, we give a new proof for the above estimate by making use of the fact that: $p_A(n)$ is a $quasi\ polynomial$ when A is a finite set. Present method of proof is purely combinatorial.
Bicolored bosonic solvable lattice models
Recent papers in solvable lattice models emphasize models where states can be visualized as colored paths through the lattice. We define a bosonic model in which there are two types of colors, one whose paths move down and to the right, the other whose paths move down and to the left. Depending on their boundary data, systems may have no states, exactly one state, or many states. We prove that these cases depend on a criterion involving two permutations extracted from the boundary data and their Bruhat order. This classification also helps us to characterize the partition functions of our systems, a question at the heart of the study of solvable lattice models. Using the solvability of the model, we derive a four-term recurrence relation on the partition function. Together with the classification of systems by number of states which serves as a base case for the recursion, the recursion completely characterizes the partition function of systems. We also show a color merging property relating the bicolored bosonic models to colored and uncolored bosonic models, and correspondence with Gelfand-Tsetlin patterns.
Incidence of lines, points, and planes in $PG(3,q)$ with respect to the twisted cubic
Published
• View Publication
• BIB
We consider the orbits of the group $G=PGL_2(q)$ on the points, lines and planes of the projective space $PG(3,q)$ over a finite field $\mathbb F_q$ of characteristic different from $2$ and $3$. The points of $PG(3,q)$ can be identified with projective space of binary cubic forms, and the set $\mathcal L$ of lines of $PG(3,q)$ can be thought of as pencils of cubic forms. The action of $G$ on $PG(1,q)$ naturally induces an action of $G$ on binary cubic forms $f(X,Y)$. The points of $PG(3, q)$ decompose into five $G$ orbits. The $G$ orbits on $\mathcal L$ were recently obtained by the authors. Let $\mathcal I$ be the subset of $\mathcal L \times PG(3,q)$ consisting of pairs $(L,P)$ where $L$ is a line incident with the point $P$. The decomposition of $\mathcal L \times PG(3,q)$ into $G \times G$ orbits yields a partition of $\mathcal I$. The problem that we solve in this work is to determine the sizes of the corresponding parts of $\mathcal I$.
Global coalition sets in graphs
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is called a global dominating set of $G$, if it serves as a dominating set in both $G$ and its complement $\overline{G}$. We define two disjoint subsets $V_1,V_2 \subseteq V$ to form a global coalition if neither $V_1$ nor $V_2$ individually constitutes a global dominating set, yet their union $V_1 \cup V_2$ does. A global coalition partition (abbreviated as $gc$-partition) of $G$ is a vertex partition $π$ of $V(G)$ such that for every subset $V_i \in π$, there exists another subset $V_j \in π$ with which $V_i$ forms a global coalition. In this paper, we initiate the study of global coalition in graphs. Specifically, we prove that every graph admits a gc-partition. Additionally, we establish an upper bound on the number of global coalitions in which each member of a gc-partition can participate. We also explore the relationships between global coalition and coalition, as well as between global coalition and perfect coalition in graphs. Finally, we explore properties of $gc$-partitions in unicyclic graphs.
Semi-simple partition algebras as centralizers of representations for rook monoids
Let $\mathcal{P}_k(δ)$, where $k$ is a positive integer and $δ$ some complex parameter, be the classical partition algebra over the complex numbers. In the case when $δ=n$, it is well-known that the algebra $\mathcal{P}_k(δ)$ is the centralizer of the symmetric group $S_n$ acting on the $k$-fold tensor space of the natural representation of $S_n$, for $n\geq 2k$. The algebra $\mathcal{P}_k(δ)$ is semi-simple for generic values of $δ$. In this paper, we show that semi-simple partition algebras appear as the centralizer algebras for certain representations of the rook monoids given by an iterative restriction-induction of the trivial representation. Along the way, we also give a decomposition of this iterative representation of the rook monoid into various tensor spaces and show that the corresponding dimensions are given by generalized Bell numbers.
Combinatorial Proofs for Overpartitions and Two-Colored Partitions II
Published
• View Publication
• BIB
Andrews and El Bachraoui recently studied various two-colored integer partitions, including those related to two-colored partitions into distinct parts with constraints and overpartitions. Their work raised questions about the existence of combinatorial proofs for these results, which were partially addressed by the first author and Zou. This paper provides combinatorial proofs for the remaining results concerning two-colored partitions and overpartitions with constraints.
Permutahedron Triangulations via Total Linear Stability and the Dual Braid Group
For each finite Coxeter group $W$ and each standard Coxeter element of $W$, we construct a triangulation of the $W$-permutahedron. For particular realizations of the $W$-permutahedron, we show that this is a regular triangulation induced by a height function coming from the theory of total linear stability for Dynkin quivers. We also explore several notable combinatorial properties of these triangulations that relate the Bruhat order, the noncrossing partition lattice, and Cambrian congruences. Each triangulation gives an explicit mechanism for relating two different presentations of the corresponding braid group (the standard Artin presentation and Bessis's dual presentation). This is a step toward uniformly proving conjectural simple, explicit, and type-uniform presentations for the corresponding pure braid group.
On the number of triangles in $K_4$-free graphs
Erdős asked whether for any $n$-vertex graph $G$, the parameter $p^*(G)=\min \sum_{i\ge 1} (|V(G_i)|-1)$ is at most $\lfloor n^2/4\rfloor$, where the minimum is taken over all edge decompositions of $G$ into edge-disjoint cliques $G_i$. In a restricted case (also conjectured independently by Erdős), Győri and Keszegh [Combinatorica, 37(6) (2017), 1113--1124] proved that $p^*(G)\leq \lfloor n^2/4\rfloor$ for all $K_4$-free graphs $G$. Motivated by their proof approach, they conjectured that for any $n$-vertex $K_4$-free graph $G$ with $e$ edges, and any greedy partition $P$ of $G$ of size $r$, the number of triangles in $G$ is at least $r(e-r(n-r))$. If true, this would imply a stronger bound on $p^*(G)$. In this paper, we disprove their conjecture by constructing infinitely many counterexamples with arbitrarily large gap. We further establish a corrected tight lower bound on the number of triangles in such graphs, which would recover the conjectured bound once some small counterexamples we identify are excluded.
Log-Concavity and Log-Convexity of Restricted Infinite Products
Published
• View Publication
• BIB
In this paper we provide a classification on the sign distribution of $Δ_{E,\ell}(n):= p_{E,\ell }(n)^2 - p_{E,\ell }(n-1) \, p_{E,\ell }(n+1)$, where \begin{equation*} \sum_{n =0}^{\infty} p_{E,\ell }(n) \, q^n := \prod_{n \in S}
\left(1 - q^n \right)^{-f_{\ell}(n)},\quad (\ell \in \mathbb{N}, f_1\equiv 1). \end{equation*} We take the product over $1\in S \subset \mathbb{N}$ and denote the complement by $E$, the set of exceptions. In the case of $\ell=1$ and $E$ the multiples of $k$, $p_{E,1}\left( n\right) $ represents the number of $k$-regular partitions. More generally, let $f_{\ell}$ satisfy a certain growth condition. We determine the signs of $Δ_{E,\ell }(n)$ for $\ell$ large. The signs mainly depend on the occurrence of subsets of $\{2,3,4,5\}$ as a part of the exception set and the residue class of $n$ modulo $ r$, where $r $ depends on $E$. For example, let $2,3 \in S$ and $4$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} Δ_{E,\ell }(n) >0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} If we assume $3,4 \in S$ and $2$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} Δ_{E,\ell }(n) < 0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} Note that this property is independent of the integers $k\in S,k>4$.
$k$-Fair Coalitions in Graphs
Let $G = (V,E)$ be a simple graph. A subset $S \subseteq V$ is called a $k$-fair dominating set if every vertex not in $S$ has exactly $k$ neighbors in $S$. Two disjoint sets $A, B \subseteq V$ form a $k$-fair coalition of $G$ if neither $A$ nor $B$ is a $k$-fair dominating set and the union $A \cup B$ is a $k$-fair dominating set of $G$. A partition $π= \{V_1, V_2, \ldots, V_m\}$ of $V$ is called a $k$-fair coalition partition, if every set $V_i\inπ$, either $V_i$ is a $k$-fair dominating set with exactly $k$ vertices, or $V_i$ is not a $k$-fair dominating set, but forms a $k$-fair coalition with some other set $V_j$ in $π$. The $k$-fair coalition number $C_{kf}(G)$ is the largest possible size of a $k$-fair coalition partition for $G$. The objective of this study is to initiate an examination into the notion of $k$-fair coalitions in graphs and present essential findings.
Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
The Marcus-Spielman-Srivastava theorem (Annals of Mathematics, 2015) for the Kadison-Singer conjecture implies the following result in spectral graph theory: For any undirected graph $G = (V,E)$ with a maximum edge effective resistance at most $α$, there exists a partition of its edge set $E$ into $E_1 \cup E_2$ such that the two edge-induced subgraphs of $G$ spectrally approximates $(1/2)G$ with a relative error $O(\sqrtα)$. However, the proof of this theorem is non-constructive. It remains an open question whether such a partition can be found in polynomial time, even for special classes of graphs.
In this paper, we explore polynomial-time algorithms for partitioning circulant graphs via partitioning their generators. We develop an efficient algorithm that partitions a circulant graph whose generators form an arithmetic progression, with an error matching that in the Marcus-Spielman-Srivastava theorem and optimal, up to a constant. On the other hand, we prove that if the generators of a circulant graph are ``far" from an arithmetic progression, no partition of the generators can yield two circulant subgraphs with an error matching that in the Marcus-Spielman-Srivastava theorem.
In addition, we extend our algorithm to Cayley graphs whose generators are from a product of multiple arithmetic progressions.
Short history of signed exceptional sequences
Published
• View Publication
• BIB
Whereas exceptional sequences have a long history with many well-known connections to combinatorics, signed exceptional sequences are relatively recent. The authors introduced this concept in 2017 [19], although it was retroactively realized that the category of noncrossing partitions [24] is a special case of this construction. Buan and Marsh [4] have introduced the concept of $τ$-exceptional sequences to generalize the definitions and theorems to all finite dimensional algebras. This short paper is the story of the original concept of signed exceptional sequences for hereditary algebras and how it developed out of the two authors' study of algebraic K-theory, link invariants, and cluster combinatorics.
Discrepancy Beyond Additive Functions with Applications to Fair Division
We consider a setting where we have a ground set $M$ together with real-valued set functions $f_1, \dots, f_n$, and the goal is to partition $M$ into two sets $S_1,S_2$ such that $|f_i(S_1) - f_i(S_2)|$ is small for every $i$. Many results in discrepancy theory can be stated in this form with the functions $f_i$ being additive. In this work, we initiate the study of the unstructured case where $f_i$ is not assumed to be additive. We show that even without the additivity assumption, the upper bound remains at most $O(\sqrt{n \log n})$.
Our result has implications on the fair allocation of indivisible goods. In particular, we show that a consensus halving up to $O(\sqrt{n \log n})$ goods always exists for $n$ agents with monotone utilities. Previously, only an $O(n)$ bound was known for this setting.
Special restricted partition functions for the stable sheaf cohomology on flag varieties
Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$.
We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.
Growth and identities of monogenic free adequate monoids
Motivated by recent advances in inverse semigroup theory, we investigate the growth of and identities satisfied by free left and free two-sided adequate monoids. We explicitly compute the growth of the monogenic free left adequate monoid with the usual unary monoid generating set and show it has intermediate growth owing to a connection with integer partitions. In the two-sided case, we establish a lower bound on the (idempotent) growth rate of the monogenic free adequate monoid, showing that it grows exponentially. We completely classify the enriched identities satisfied by the monogenic free left adequate monoid and deduce that it satisfies the same monoid identities as the sylvester monoid. In contrast, we show that the monogenic free two-sided adequate monoid satisfies no non-trivial monoid identities.
Parity of the partition function in quadratic progressions
The parity of the partition function $p(n)$ remains strikingly mysterious. Beyond a handful of fragmentary results, essentially nothing is known about the distribution of parity. We prove a uniform result on quadratic progressions. If $1<D\equiv 23\pmod{24}$ is square-free and only divisible by primes $\ell\equiv 1, 7\pmod 8$, then both parities occur infinitely often among $$ p\left(\frac{Dm^2+1}{24}\right), $$ with $(m,6)=1.$ The argument takes place on the modular curve $X_0(6)$ and shows that parity along these thin orbits is \emph{not constant}. The proof connects classical identities for the partition generating function, through the method of (twisted) Borcherds products, to the arithmetic geometry of {\it ordinary} CM fibers on the Deligne-Rapoport model of $X_0(6)$ in characteristic 2. This result is a special case of a general theorem for the coefficients of suitable vector-valued weight 1/2 harmonic Maass forms that satisfy a "Heegner packet'' condition.
Three more proofs of two congruences for Merca's partition function
Published in Ramanujan J. 69 (2026), no. 1, Paper 6
• View Publication
• BIB
In this note, we provide three new, very short proofs of two interesting congruences for Merca's partition function $a(n)$, which enumerates integer partitions where the odd parts have multiplicity at most 2. These modulo 2 congruences were first shown elementarily by Sellers. We then frame $a(n)$ into the much broader context of eta-quotients, and suggest how to comprehensively describe its parity behavior. In particular, extensive computations suggest that $a(n)$ is odd precisely 25\% of the time.
Bisection width, max-cut and internal partitions of 5-regular graphs
In this paper, we present a new factor of IID process based on the local algorithm introduced by Díaz, Serna, and Wormald (2007). This new approach allows us to improve the previously known upper bounds on the minimum and maximum bisection width and the maximum cut of random d-regular graphs for d > 4 by introducing a new recoloring phase after the termination of the original algorithm. As an application, we show that random 5-regular graphs asymptotically almost surely admit an internal partition, i.e., a partition of the vertex set into two nonempty classes so that every vertex has at least half of its neighbors in its own class.
Arithmetic properties of partition functions introduced by Pushpa and Vasuki
Published
• View Publication
• BIB
In this short note, we prove several infinite family of congruences for some restricted partitions introduced by Pushpa and Vasuki (2022) (thereby, also proving a conjecture of Dasappa et. al. (2023)). We also prove some isolated congruences which seem to have been missed by earlier authors. Our proof techniques uses both elementary means as well as the theory of modular forms.