partition
6354 papers tagged with this keyword
Introduction to double coalitions in graphs
Let $G(V, E)$ be a finite, simple, isolate-free graph. A set $D$ of vertices of a graph $G$ with the vertex set $V$ is a double dominating set of $G$, if every vertex $v\in D$ has at least one neighbor in $D$ and every vertex $v \in V \setminus D$ has at least two neighbors in $D$. A double coalition consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a double dominating set but their union $V_{1}\cup V_{2}$ is a double dominating set. A double coalition partition of a graph $G$ is a partition $Π= \{V_1, V_2,..., V_k \}$ of $V$ such that no subset of $Π$ is a double dominating set of $G$, but for every set $V_i \in Π$, there exists a set $V_j \in Π$ such that $V_i$ and $V_j$ form a double coalition. In this paper, we study properties of double coalitions in graphs.
Transformation properties of Andrews-Beck $NT$ functions and generalized Appell-Lerch series
In 2021, Andrews mentioned that George Beck introduced a partition statistic $NT(r,m,n)$ which is related to Dyson's rank statistic. Motivated by Andrews's work, scholars have established a number of congruences and identities involving $NT(r,m,n)$. In this paper, we strengthen and extend a recent work of Mao on the transformation properties of the $NT$ function and provide an analogy of Hickerson and Mortenson's work on the rank function. As an application, we demonstrate how one can deduce from our results many identities involving $NT(r,m,n)$ and another crank-analog statistic $M_ω(r,m,n)$. As a related result, some new properties of generalized Appell-Lerch series are given.
Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results
We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal.
From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial.
All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz.
We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.
The rank of a random triangular matrix over $\mathbb{F}_q$
Published
• View Publication
• BIB
We consider uniformly random strictly upper-triangular matrices in $\operatorname{Mat}_n(\mathbb{F}_q)$. For such a matrix $A_n$, we show that $n-\operatorname{rank}(A_n) \approx \log_q n$ as $n \to \infty$, and find that the fluctuations around this limit are finite-order and given by explicit $\mathbb{Z}$-valued random variables. More generally, we consider the random partition whose parts are the sizes of the nilpotent Jordan blocks of $A_n$: its $k$ largest parts (rows) were previously shown by Borodin to have jointly Gaussian fluctuations as $N \to \infty$, and its columns correspond to differences $\operatorname{rank}(A_n^{i-1}) - \operatorname{rank}(A_n^i)$. We show the fluctuations of the columns converge jointly to a discrete random point configuration $\mathcal{L}_{t,χ}$ introduced in arXiv:2310.12275. The proofs use an explicit integral formula for the probabilities at finite $N$, obtained by de-Poissonizing a corresponding one in arXiv:2310.12275, which is amenable to asymptotic analysis.
Triangle decompositions of PG(n-1,2)
Published in Discrete Math. 349(1) 2026, 114664(1-13)
• View Publication
• BIB
We define a triangle design as a partition of the set of lines of a projective space into triangles, where a triangle consists of three pairwise intersecting lines with no common point. A triangle design is balanced if all points are involved in the same number of triangles. We construct balanced triangle designs in PG$(n-1,2)$ for all admissible $n$ (congruent to $1$ modulo $6$) and an infinite class of balanced block-divisible triangle designs. We also prove that the existence of a triangle design in PG$(n-1,2)$ invariant under the action of the Singer cycle group is equivalent to the existence of a partition of $Z_{2^n-1}\backslash\{0\}$ into special $18$-subsets and find such partitions for $n=7$, $13$, $19$.
Keywords: Subspace design, graph decomposition, triangle design, Heffter's difference problem.
Khovanov-Rozansky homology of Coxeter knots and Schröder polynomials for paths under any line
We introduce a family of generalized Schröder polynomials $S_τ(q,t,a)$, indexed by triangular partitions $τ$ and prove that $S_τ(q,t,a)$ agrees with the Poincaré series of the triply graded Khovanov-Rozansky homology of the Coxeter knot $K_τ$ associated to $τ$. For all integers $m,n,d\geq 1$ with $m,n$ relatively prime, the $(d,mnd+1)$-cable of the torus knot $T(m,n)$ appears as a special case. It is known that these knots are algebraic, and as a result we obtain a proof of the $q=1$ specialization of the Oblomkov-Rasmussen-Shende conjecture for these knots. Finally, we show that our Schröder polynomial computes the hook components in the Schur expansion of the symmetric function appearing in the shuffle theorem under any line, thus proving a triangular version of the $(q,t)$-Schröder theorem.
Toward resolving Kang and Park's generalization of the Alder-Andrews Theorem
Published
• View Publication
• BIB
The Alder-Andrews Theorem, a partition inequality generalizing Euler's partition identity, the first Rogers-Ramanujan identity, and a theorem of Schur to $d$-distinct partitions of $n$, was proved successively by Andrews in 1971, Yee in 2008, and Alfes, Jameson, and Lemke Oliver in 2010. While Andrews and Yee utilized $q$-series and combinatorial methods, Alfes et al. proved the finite number of remaining cases using asymptotics originating with Meinardus together with high-performance computing. In 2020, Kang and Park conjectured a "level $2$" Alder-Andrews type partition inequality which relates to the second Rogers-Ramanujan identity. Duncan, Khunger, the second author, and Tamura proved Kang and Park's conjecture for all but finitely many cases using a combinatorial shift identity. Here, we generalize the methods of Alfes et al. to resolve nearly all of the remaining cases of Kang and Park's conjecture.
Major Index on Catalan Combinatorics
We study the two statistics, the inversion number and the major index, on Catalan combinatorial objects such as $r$-Dyck paths, $r$-Stirling permutations, non-crossing partitions, Dyck tilings, and symmetric Dyck paths. We show that they are equidistributed with the inversion number or the major index on Dyck paths.
Noncrossing arithmetic
Higher-order notions of Kreweras complementation have appeared in the literature in the works of Krawczyk, Speicher, Mastnak, Nica, Arizmendi, Vargas, and others. While the theory has been developed primarily for specific applications in free probability, it also possesses an elegant, purely combinatorial core that is of independent interest. The present article aims at offering a simple account of various aspects of higher-order Kreweras complementation on the basis of elementary arithmetic, (co)algebraic, categorical and simplicial properties of noncrossing partitions. The main idea is to consider noncrossing partitions as providing an interesting noncommutative analogue of the interplay between the divisibility poset and the multiplicative monoid of positive integers. Just as the divisibility poset can be regarded as the decalage of the multiplicative monoid, we exhibit the lattice of noncrossing partitions as the decalage of a partial monoid structure on noncrossing partitions encoding higher-order Kreweras complements. While our results may be considered familiar, several of the viewpoints can be regarded as novel, offering an efficient approach both conceptually and computationally.
An Efficient Regularity Lemma for Semi-Algebraic Hypergraphs
Published
• View Publication
• BIB
We use the polynomial method of Guth and Katz to establish stronger and {\it more efficient} regularity and density theorems for such $k$-uniform hypergraphs $H=(P,E)$, where $P$ is a finite point set in ${\mathbb R}^d$, and the edge set $E$ is determined by a semi-algebraic relation of bounded description complexity. In particular, for any $0<ε\leq 1$ we show that one can construct in $O\left(n\log (1/ε)\right)$ time, an equitable partition $P=U_1\uplus \ldots\uplus U_K$ into $K=O(1/ε^{d+1+δ})$ subsets, for any $0<δ$, so that all but $ε$-fraction of the $k$-tuples $U_{i_1},\ldots,U_{i_k}$ are {\it homogeneous}: we have that either $U_{i_1}\times\ldots\times U_{i_k}\subseteq E$ or $(U_{i_1}\times\ldots\times U_{i_k})\cap E=\emptyset$. If the points of $P$ can be perturbed in a general position, the bound improves to $O(1/ε^{d+1})$, and the partition is attained via a {\it single partitioning polynomial} (albeit, at expense of a possible increase in worst-case running time). In contrast to the previous such regularity lemmas which were established by Fox, Gromov, Lafforgue, Naor, and Pach and, subsequently, Fox, Pach and Suk, our partition of $P$ does not depend on the edge set $E$ provided its semi-algebraic description complexity does not exceed a certain constant. As a by-product, we show that in any $k$-partite $k$-uniform hypergraph $(P_1\uplus\ldots\uplus P_k,E)$ of bounded semi-algebraic description complexity in ${\mathbb R}^d$ and with $|E|\geq ε\prod_{i=1}^k|P_i|$ edges, one can find, in expected time $O\left(\sum_{i=1}^k\left(|P_i|+1/ε)\right)\log (1/ε)\right)$, subsets $Q_i\subseteq P_i$ of cardinality $|Q_i|\geq |P_i|/ε^{d+1+δ}$, so that $Q_1\times\ldots\times Q_k\subseteq E$.
A note on congruences for generalized cubic partitions modulo primes
Published in Integers 25 (2025), #A20
• View Publication
• BIB
Recently, Amdeberhan, Sellers, and Singh introduced the notion of a generalized cubic partition function $a_c(n)$ and proved two isolated congruences via modular forms, namely, $a_3(7n+4)\equiv 0\pmod{7}$ and $a_5(11n+10)\equiv 0\pmod{11}$. In this paper, we provide another proof of these congruences by using classical $q$-series manipulations. We also give infinite families of congruences for $a_c(n)$ for primes $p\not\equiv 1\pmod{8}$.
A generalization of conjugation of integer partitions
Published in Electron. J. Combin. 32 (2025), no. 2, Paper No. 2.37
• View Publication
• BIB
We exhibit, for any positive integer parameter $s$, an involution on the set of integer partitions of $n$. These involutions show the joint symmetry of the distributions of the following two statistics. The first counts the number of parts of a partition divisible by $s$, whereas the second counts the number of cells in the Ferrers diagram of a partition whose leg length is zero and whose arm length has remainder $s-1$ when dividing by $s$. In particular, for $s=1$ this involution is just conjugation. Additionally, we provide explicit expressions for the bivariate generating functions.
Our primary motivation to construct these involutions is that we know only of two other "natural" bijections on integer partitions of a given size, one of which is the Glaisher-Franklin bijection sending the set of parts divisible by $s$, each divided by $s$, to the set of parts occurring at least $s$ times.
Distributional limits of graph cuts on discretized grids
Published in Electron. J. Statist. 19(2): 5925-5978 (2025)
• View Publication
• BIB
Graph cuts are among the most prominent tools for clustering and classification analysis. While intensively studied from geometric and algorithmic perspectives, graph cut-based statistical inference still remains elusive to a certain extent. Distributional limits are fundamental in understanding and designing such statistical procedures on randomly sampled data. We provide explicit limiting distributions for balanced graph cuts in general on a fixed but arbitrary discretization. In particular, we show that Minimum Cut, Ratio Cut and Normalized Cut behave asymptotically as the minimum of Gaussians as sample size increases. Interestingly, our results reveal a dichotomy for Cheeger Cut: The limiting distribution of the optimal objective value is the minimum of Gaussians only when the optimal partition yields two sets of unequal volumes, while otherwise the limiting distribution is the minimum of a random mixture of Gaussians. Further, we show the bootstrap consistency for all types of graph cuts by utilizing the directional differentiability of cut functionals. We validate these theoretical findings by Monte Carlo experiments, and examine differences between the cuts and the dependency on the underlying distribution. Additionally, we expand our theoretical findings to the Xist algorithm, a computational surrogate of graph cuts recently proposed in Suchan, Li and Munk (arXiv, 2023), thus demonstrating the practical applicability of our findings e.g. in statistical tests.
An extended generalization of RSK correspondence via $A$ type quiver representations
Let $λ=(λ_1 \geqslant \ldots \geqslant λ_k > 0)$. For any $c$ Coxeter element of $\mathfrak{S}_{λ_1+k-1}$, we construct a bijection from fillings of $λ$ to reverse plane partitions. We recover two previous generalizations of the Robinson--Schensted--Knuth correspondence for particular choices of Coxeter element depending on $λ$: one based on the work of, among others, Burge, Hillman, Grassl, Knuth, and uniformly presented by Gansner; the other developed by Garver, Partrias, and Thomas, and independently by Dauvergne, called Scrambled RSK. Our results in this paper develop the combinatorial consequence of our previous work of type $A_{λ_1+k}$ quivers.
Uniform exclude distributions of Sidon sets
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that the pairwise sums of distinct points are all distinct. The exclude points of a Sidon set $S$ are the sums of three distinct points in $S$, and the exclude multiplicity of a point in $\mathbb{F}_2^n \setminus S$ is the number of such triples in $S$ it is equal to. We call the function $d_S \colon \mathbb{F}_2^n \setminus S \to \mathbb{Z}_{\geq 0}$ taking points in $\mathbb{F}_2^n \setminus S$ to their exclude multiplicity the exclude distribution of $S$. We say that $d_S$ is uniform on $\mathcal{P}$ if $\mathcal{P}$ is an equally-sized partition $\mathcal{P}$ of $\mathbb{F}_2^n \setminus S$ such that $d_S$ takes the same values an equal number of times on every element of $\mathcal{P}$. In this paper, we use APN plateaued functions with all component functions unbalanced to construct Sidon sets $S$ in $(\mathbb{F}_2^n)^2$ whose exclude distributions are uniform on natural partitions of $(\mathbb{F}_2^n)^2 \setminus S$ into $2^n$ elements. We use this result and a result of Carlet to determine exactly what values the exclude distributions of the graphs of the Gold and Kasami functions take and how often they take these values.
Isometric Cycles and a Generalization of Moore Graphs
Published
• View Publication
• BIB
The equator of a graph is the length of a longest isometric cycle. We bound the order $n$ of a graph from below by its equator $q$, girth $g$ and minimum degree $δ$ - and show that this bound is sharp when there exists a Moore graph with girth $g$ and minimum degree $δ$. The extremal graphs that attain our bound give an analogue of Moore graphs. We prove that these extremal `Moore-like' graphs are regular, and that every one of their vertices is contained in some maximum length isometric cycle. We show that these extremal graphs have a highly structured partition that is unique, and easily derived from any of its maximum length isometric cycles. We characterize the extremal graphs with girth 3 and 4, and those with girth 5 and minimum degree 3. We also bound the order of $C_4$-free graphs with given equator and minimum degree, and show that this bound is nearly sharp. We conclude with some questions and conjectures further relating our extremal graphs to cages and Moore graphs.
Two-row Delta Springer varieties
Published in Algebr. Comb. 8(4) (2025), 925-953
• View Publication
• BIB
We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.
Boundedly finite-to-one functions
Published in Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzae130
• View Publication
• BIB
A function is boundedly finite-to-one if there is a natural number $k$ such that each point has at most $k$ inverse images. In this paper, we prove in $\mathsf{ZF}$ (i.e., the Zermelo--Fraenkel set theory without the axiom of choice) several results concerning this notion, among which are the following:
(1) For each infinite set $A$ and natural number $n$, there is no boundedly finite-to-one function from $\mathcal{S}(A)$ to $\mathcal{S}_{\leq n}(A)$, where $\mathcal{S}(A)$ is the set of all permutations of $A$ and $\mathcal{S}_{\leq n}(A)$ is the set of all permutations of $A$ moving at most $n$ points.
(2) For each infinite set $A$, there is no boundedly finite-to-one function from $\mathcal{B}(A)$ to $\mathrm{fin}(A)$, where $\mathcal{B}(A)$ is the set of all partitions of $A$ such that every block is finite and $\mathrm{fin}(A)$ is the set of all finite subsets of $A$.
$k$-Coalitions in Graphs
In this paper, we propose and investigate the concept of $k$-coalitions in graphs, where $k\ge 1$ is an integer. A $k$-coalition refers to a pair of disjoint vertex sets that jointly constitute a $k$-dominating set of the graph, meaning that every vertex not in the set has at least $k$ neighbors in the set. We define a $k$-coalition partition of a graph as a vertex partition in which each set is either a $k$-dominating set with exactly $k$ members or forms a $k$-coalition with another set in the partition. The maximum number of sets in a $k$-coalition partition is called the $k$-coalition number of the graph represented by $C_k(G)$. We present fundamental findings regarding the properties of $k$-coalitions and their connections with other graph parameters. We obtain the exact values of $2$-coalition number of some specific graphs and also study graphs with large $2$-coalition number.
Calligraphy Concerning Casually Compiled Cardinal Characteristic Comparisons
I establish several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an (the?) $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover I provide a diagram putting these results into context and give a brief historical account.