partition
6235 papers tagged with this keyword
Forbidden subgraphs and complete partitions
A graph is called an $(r,k)$-graph if its vertex set can be partitioned into $r$ parts, each having at most $k$ vertices and there is at least one edge between any two parts. Let $f(r,H)$ be the minimum $k$ for which there exists an $H$-free $(r,k)$-graph. In this paper we build on the work of Axenovich and Martin, obtaining improved bounds on this function when $H$ is a complete bipartite graph or an even cycle. Some of these bounds are best possible up to a constant factor and confirm a conjecture of Axenovich and Martin in several cases.
Pseudofinite proofs of the stable graph regularity lemma
This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory.
We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (compared to previous proofs) in terms of "functional error". To illustrate the extra leverage obtained by functional error, we give an elementary argument for extracting equipartitions from arbitrary partitions.
Limited packings: related vertex partitions and duality issues
Published in Applied Mathematics and Computation, 2024
• View Publication
• BIB
A $k$-limited packing partition ($k$LP partition) of a graph $G$ is a partition of $V(G)$ into $k$-limited packing sets. We consider the $k$LP partitions with minimum cardinality (with emphasis on $k=2$). The minimum cardinality is called $k$LP partition number of $G$ and denoted by $χ_{\times k}(G)$. This problem is the dual problem of $k$-tuple domatic partitioning as well as a generalization of the well-studied $2$-distance coloring problem in graphs.
We give the exact value of $χ_{\times2}$ for trees and bound it for general graphs. A section of this paper is devoted to the dual of this problem, where we give a solution to an open problem posed in $1998$. We also revisit the total limited packing number in this paper and prove that the problem of computing this parameter is NP-hard even for some special families of graphs. We give some inequalities concerning this parameter and discuss the difference between $2$TLP number and $2$LP number with emphasis on trees.
Erd\H os--Ko--Rado type results for partitions via spread approximations
In this paper, we address several Erd\H os--Ko--Rado type questions for families of partitions. Two partitions of $[n]$ are {\it $t$-intersecting} if they share at least $t$ parts, and are {\it partially $t$-intersecting} if some of their parts intersect in at least $t$ elements. The question of what is the largest family of pairwise $t$-intersecting partitions was studied for several classes of partitions: Peter Erd\H os and Székely studied partitions of $[n]$ into $\ell$ parts of unrestricted size; Ku and Renshaw studied unrestricted partitions of $[n]$; Meagher and Moura, and then Godsil and Meagher studied partitions into $\ell$ parts of equal size. We improve and generalize the results proved by these authors. Meagher and Moura, following the work of Erd\H os and Székely, introduced the notion of partially $t$-intersecting partitions, and conjectured, what should be the largest partially $t$-intersecting family of partitions into $\ell$ parts of equal size $k$. The main result of this paper is the proof of their conjecture for all $t, k$, provided $\ell$ is sufficiently large. All our results are applications of the spread approximation technique, introduced by Zakharov and the author. In order to use it, we need to refine some of the theorems from the original paper. As a byproduct, this makes the present paper a self-contained presentation of the spread approximation technique for $t$-intersecting problems.
Decomposing random regular graphs into stars
We study $k$-star decompositions, that is, partitions of the edge set into disjoint stars with $k$ edges, in the uniformly random $d$-regular graph model $\mathcal{G}_{n,d}$. Using the small subgraph conditioning method, we prove an existence result for such decompositions for all $d,k$ such that $d/2 < k \leq d/2 + \max\{1,\frac{1}{6}\log d\}$. More generally, we give a sufficient existence condition that can be checked numerically for any given values of $d$ and $k$. Complementary negative results are obtained using the independence ratio of random regular graphs. Our results establish an existence threshold for $k$-star decompositions in $\mathcal{G}_{n,d}$ for all $d\leq 100$ and $k > d/2$.
For smaller values of $k$, the connection between $k$-star decompositions and $β$-orientations allows us to apply results of Thomassen (2012) and Lovász, Thomassen, Wu and Zhang (2013). We prove that random $d$-regular graphs satisfy their assumptions with high probability, thus establishing a.a.s. existence of $k$-star decompositions (i) when $2k^2+k\leq d$, and (ii) when $k$ is odd and $k < d/2$.
Asymptotics of Reciprocal Supernorm Partition Statistics
We consider two multiplicative statistics on the set of integer partitions: the norm of a partition, which is the product of its parts, and the supernorm of a partition, which is the product of the prime numbers $p_i$ indexed by its parts $i$. We introduce and study new statistics that are sums of reciprocals of supernorms on three statistical ensembles of partitions, labelled by their size $|λ|=n$, their perimeter equaling $n$, and their largest part equaling $n$. We show that the cumulative statistics of the reciprocal supernorm for each of the three ensembles are asymptotic to $e^γ \log n$ as $n \to \infty$.
Laplacian $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizable graphs
Published in Linear Algebra and its Applications, 704:309-339, 2025
• View Publication
• BIB
A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.
A Decomposition of Cylindric Partitions and Cylindric Partitions into Distinct Parts
We show that cylindric partitions are in one-to-one correspondence with a pair which has an ordinary partition and a colored partition into distinct parts. Then, we show the general form of the generating function for cylindric partitions into distinct parts and give some examples. We prove part of a conjecture by Corteel, Dousse, and Uncu. The approaches and proofs are elementary and combinatorial.
A precise condition for independent transversals in bipartite covers
Given a bipartite graph $H=(V=V_A\cup V_B,E)$ in which any vertex in $V_A$ (resp.~$V_B$) has degree at most $D_A$ (resp.~$D_B$), suppose there is a partition of $V$ that is a refinement of the bipartition $V_A\cup V_B$ such that the parts in $V_A$ (resp.~$V_B$) have size at least $k_A$ (resp.~$k_B$). We prove that the condition $D_A/k_B+D_B/k_A\le 1$ is sufficient for the existence of an independent set of vertices of $H$ that is simultaneously transversal to the partition, and show moreover that this condition is sharp. This result is a bipartite refinement of two well-known results on independent transversals, one due to the second author and the other due to Szabó and Tardos.
Combinatorial Identities for Vacillating Tableaux
Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.
Linear-Sized Spectral Sparsifiers and the Kadison-Singer Problem
Published
• View Publication
• BIB
The Kadison-Singer Conjecture, as proved by Marcus, Spielman, and Srivastava (MSS) [Ann. Math. 182, 327-350 (2015)], has been informally thought of as a strengthening of Batson, Spielman, and Srivastava's theorem that every undirected graph has a linear-sized spectral sparsifier [SICOMP 41, 1704-1721 (2012)]. We formalize this intuition by using a corollary of the MSS result to derive the existence of spectral sparsifiers with a number of edges linear in their number of vertices for all undirected, weighted graphs. The proof consists of two steps. First, following a suggestion of Srivastava [Asia Pac. Math. Newsl. 3, 15-20 (2013)], we show the result in the special case of graphs with bounded leverage scores by repeatedly applying the MSS corollary to partition the graph, while maintaining an appropriate bound on the leverage scores of each subgraph. Then, we extend to the general case by constructing a recursive algorithm that repeatedly (i) divides edges with high leverage scores into multiple parallel edges and (ii) uses the bounded leverage score case to sparsify the resulting graph.
Sharp volume and multiplicity bounds for Fano simplices
We present sharp upper bounds on the volume, Mahler volume and multiplicity for Fano simplices depending on the dimension and Gorenstein index. These bounds rely on the interplay between lattice simplices and unit fraction partitions. Moreover, we present an efficient procedure for explicitly classifying Fano simplicies of any dimension and Gorenstein index and we carry out the classification up to dimension four for various Gorenstein indices.
Cellular diagonals of permutahedra
We provide a systematic enumerative and combinatorial study of geometric cellular diagonals on the permutahedra.
In the first part of the paper, we study the combinatorics of certain hyperplane arrangements obtained as the union of $\ell$ generically translated copies of the classical braid arrangement. Based on Zaslavsky's theory, we derive enumerative results on the faces of these arrangements involving combinatorial objects named partition forests and rainbow forests. This yields in particular nice formulas for the number of regions and bounded regions in terms of exponentials of generating functions of Fuss-Catalan numbers. By duality, the specialization of these results to the case $\ell = 2$ gives the enumeration of any geometric diagonal of the permutahedron.
In the second part of the paper, we study diagonals which respect the operadic structure on the family of permutahedra. We show that there are exactly two such diagonals, which are moreover isomorphic. We describe their facets by a simple rule on paths in partition trees, and their vertices as pattern-avoiding pairs of permutations. We show that one of these diagonals is a topological enhancement of the Sanbeblidze-Umble diagonal, and unravel a natural lattice structure on their sets of facets.
In the third part of the paper, we use the preceding results to show that there are precisely two isomorphic topological cellular operadic structures on the families of operahedra and multiplihedra, and exactly two infinity-isomorphic geometric universal tensor products of homotopy operads and A-infinity morphisms.
Graph-like Scheduling Problems and Property B
Breuer and Klivans defined a diverse class of scheduling problems in terms of Boolean formulas with atomic clauses that are inequalities. We consider what we call graph-like scheduling problems. These are Boolean formulas that are conjunctions of disjunctions of atomic clauses $(x_i \neq x_j)$. These problems generalize proper coloring in graphs and hypergraphs. We focus on the existence of a solution with all $x_i$ taking the value of $0$ or $1$ (i.e. problems analogous to the bipartite case). When a graph-like scheduling problem has such a solution, we say it has property B just as is done for $2$-colorable hypergraphs. We define the notion of a $λ$-uniform graph-like scheduling problem for any integer partition $λ$. Some bounds are attained for the size of the smallest $λ$-uniform graph-like scheduling problems without property B. We make use of both random and constructive methods to obtain bounds. Just as in the case of hypergraphs finding tight bounds remains an open problem.
Poset modules of the $0$-Hecke algebras and related quasisymmetric power sum expansions
Published in European Journal of Combinatorics (2024)
• View Publication
• BIB
Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ on the set of linear extensions of $P$. In this paper, we refer to this module as the poset module associated with $P$. Firstly, we show that $\bigoplus_{n \ge 0} G_0(\mathscr{P}(n))$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $\mathscr{P}(n)$ is the full subcategory of $\textbf{mod-}H_n(0)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0(\mathscr{P}(n))$ is the Grothendieck group of $\mathscr{P}(n)$. We also demonstrate how (anti-)automorphism twists interact with these modules, the induction product and restrictions. Secondly, we investigate the (type 1) quasisymmetric power sum expansion of some quasi-analogues $Y_α$ of Schur functions, where $α$ is a composition. We show that they can be expressed as the sum of the $P$-partition generating functions of specific posets, which allows us to utilize the result established by Liu--Weselcouch. Additionally, we provide a new algorithm for obtaining these posets. Using these findings, for the dual immaculate function and the extended Schur function, we express the coefficients appearing in the quasisymmetric power sum expansions in terms of border strip tableaux.
On a method of Alweiss
Recently, Alweiss settled Hindman's conjecture over the rationals. In this paper, we provide our own exposition of Alweiss' result, and show how to modify his method to also show that sums of distinct products are partition regular over the rationals.
A study of $4-$cycle systems
A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length 4 whose edges partition the edges of $K_n$.
We study $4-$cycle trades of volume two (double-diamonds) and three and show that the set of all 4-CS(9) is connected with respect of trading with trades of volume 2 (double-diamond) and 3.
In addition, we present a full rank matrix whose null-space is containing trade-vectors.
A partition formula from idempotents
A formula which only involves a partition number and elementary functions is derived by applying Burnside's Lemma to the set of idempotent maps from a set to itself. One side involves a summation over a set closely related to the partition number, however. Some speculation is made as to how to eliminate this summation.
Catalan numbers: from FC elements to classical diagram algebras
Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.
Tverberg's theorem, a new proof
We give a new proof Tverberg's famous theorem: For every set $X \subset \R^d$ with $|X|=(r-1)(d+1)+1$, there is a partition of $X$ into $r$ sets $X_1,\ldots,X_r$ such that $\bigcap_{p=1}^r \conv X_p\ne \emptyset$. The new proof uses linear algebra, specially structured matrices, the theory of linear equations, and Tverberg's original ``moving the points" method.