partition
6354 papers tagged with this keyword
A new lower bound for the multicolor Ramsey number $r_k(K_{2, t + 1})$
In this short note, we provide a new infinite family of $K_{2, t+1}$-free graphs for each prime power $t$. Using these graphs, we show that it is possible to partition the edges of $K_n$ into parts, such that each part is isomorphic to our $K_{2, t+1}$-free graph. This yields an improved lower bound to the multicolor Ramsey number $r_k(K_{2, t+1})$ when $k$ and $t$ are powers of the same prime. For these values of $k$ and $t$, our coloring implies that $$ tk^2 + 1 \leq r_k(K_{2, t+1}) \leq tk^2 + k + 2. $$ where the upper bound is due to Chung and Graham.
Veronese polytopes: Extending the framework of cyclic polytopes
This article introduces the theory of Veronese polytopes, a broad generalisation of cyclic polytopes. These arise as convex hulls of points on curves with one or more connected components, obtained as the image of the rational normal curve in affine charts. We describe their facial structure by extending Gale's evenness condition, and provide a further combinatorial characterisation of facets via $σ$-parity alternating sequences. Notably, we establish a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets equipped with a cyclic order, called circular compositions. We show that, although the only Veronese $3$-polytopes are the cyclic $3$-polytopes and the octahedron, in general dimension they form a rich and diverse class including all combinatorial types of simplicial $d$-polytopes with at most $d+3$ vertices, the cross-polytope and particular stacked polytopes. In addition, we characterise which curves defining Veronese polytopes are $d$-order curves, and provide a closed formula for the number of facets of any Veronese polytope.
Quotient graphs and stochastic matrices
Whenever graphs admit equitable partitions, their quotient graphs highlight the structure evidenced by the partition. It is therefore very natural to ask what can be said about two graphs that have the same quotient according to certain equitable partitions. This question has been connected to the theory of fractional isomorphisms and covers of graphs in well-known results that we briefly survey in this paper. We then depart to develop theory of what happens when the two graphs have the same symmetrized quotient, proving a structural result connecting this with the existence of certain doubly stochastic matrices. We apply this theorem to derive a new characterization of when two graphs have the same combinatorial quotient, and we also study graphs with weighted vertices and the related concept of pseudo-equitable partitions. Our results connect to known old and recent results, and are naturally applicable to study quantum walks.
Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs
Published
• View Publication
• BIB
Given a digraph $H$, we say a digraph $H^\prime$ is an $H$-subdivision if $H^\prime$ is obtained from $H$ by replacing one or more arcs from $H$ with internally vertex-disjoint path(s). In this paper, we prove that for any digraph $H$ with $h$ arcs and no isolated vertices, there is a constant $C_0>0$ such that the following hold.
$(1)$ For any integer $C\geq C_0$ and every digraph $D$ on $n\geq Ch$ vertices, if the minimum in- and out-degree of $D$ is at least $n/2$, then it contains an $H$-subdivision covering all vertices of $D$.
$(2)$ For any integer partition $n=n_1+\cdots+n_m$ such that the sum of the $n_i$ less than $αn$ is no more than $βn$, if a digraph $D$ has the order $n\geq Cm$ and the minimum in- and out-degree at least $\sum_{i=1}^m\lceil\frac{n_i}{2}\rceil$, then it contains $m$ disjoint $H$-subdivisions, where the order of these $H$-subdivisions is $n_1, \ldots, n_m$, respectively.
The result of $(1)$ settles the conjecture raised by Pavez-Signé \cite{Pavez} in a stronger form, and ameliorate the result of Lee \cite{Lee}. Also, the conclusion of $(2)$ partly answers of the conjecture of Lee \cite{Lee1} and generalizes the recent work of Lee \cite{Lee1}.
Combinatorial proofs of several partition identities of Andrews and Merca
Published
• View Publication
• BIB
Based on a bijection due to Fu and Tang, we provide combinatorial proofs of several partition identities of Andrews and Merca. We also introduce two weights for partitions to extend one of these identities.
Packing edge-colorings of subcubic outerplanar graphs
Published
• View Publication
• BIB
For a sequence $S = (s_1, s_2, \ldots, s_k)$ of non-decreasing positive integers, an $S$-packing edge-coloring (S-coloring) of a graph $G$ is a partition of $E(G)$ into $E_1, E_2, \ldots, E_k$ such that the distance between each pair of distinct edges $e_1,e_2 \in E_i$, $1 \le i \le k$, is at least $s_i + 1$. In particular, a $(1^{\ell},2^k)$-coloring is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings, and it can be viewed as intermediate colorings between proper and strong edge-colorings. Hocquard, Lajou, and Lužar conjectured that every subcubic planar graph has a $(1,2^6)$-coloring and a $(1^2,2^3)$-coloring.
In this paper, we confirm the conjecture of Hocquard, Lajou, and Lužar for subcubic outerplanar graphs by showing every subcubic outerplanar graph has a $(1,2^5)$-coloring and a $(1^2,2^3)$-coloring. Our results are best possible since we found subcubic outerplanar graphs with no $(1,2^4)$-coloring and no $(1^2,2^2)$-coloring respectively. Furthermore, we explore the question "What is the largest positive integer $k_1$ and $k_2$ such that every subcubic outerplanar graph is $(1,2^4,k_1)$-colorable and $(1^2,2^2,k_2)$-colorable?". We prove $3 \le k_1 \le 6$ and $3 \le k_2 \le 4$. We also consider the question "What is the largest positive integer $k_1'$ and $k_2'$ such that every $2$-connected subcubic outerplanar graph is $(1,2^3,k_1')$-colorable and $(1^2,2^2,k_2')$-colorable?". We prove $k_1' = 2$ and $3 \le k_2' \le 11$.
On the number of partitions of the hypercube ${\bf Z}_q^n$ into large subcubes
Published in Siberian Electronic Mathematical Reports, Volume 21 (2024), N 2, pp. 1503-1521
• View Publication
• BIB
We prove that the number of partitions of the hypercube ${\bf Z}_q^n$ into $q^m$ subcubes of dimension $n-m$ each for fixed $q$, $m$ and growing $n$ is asymptotically equal to $n^{(q^m-1)/(q-1)}$. For the proof, we introduce the operation of the bang of a star matrix and demonstrate that any star matrix, except for a fractal, is expandable under some bang, whereas a fractal remains to be a fractal under any bang.
Isolation partitions in graphs
Let $G$ be a graph and $k \geq 3$ an integer. A subset $D \subseteq V(G)$ is a $k$-clique (resp., cycle) isolating set of $G$ if $G-N[D]$ contains no $k$-clique (resp., cycle). In this paper, we prove that every connected graph with maximum degree at most $k$, except $k$-clique, can be partitioned into $k+1$ disjoint $k$-clique isolating sets, and that every connected claw-free subcubic graph, except 3-cycle, can be partitioned into four disjoint cycle isolating sets. As a consequence of the first result, every $k$-regular graph can be partitioned into $k+1$ disjoint $k$-clique isolating sets.
Gibbs partitions and lattice paths
This work is devoted to the analysis of a Gibbs partition model, also known as a composition scheme. We consider a natural new condition on the component weights. It leads to a new behavior for the total number of components. We discover a condensation phenomenon, producing a unique giant component comprising almost the entire mass. Additionally, we prove a point process limit describing the asymptotic size of the non-maximal components exhibiting a sublinear power-law growth. A particular motivation for our article stems from applications, ranging from simple random walks in the cube, over lattice paths models in the plane, pairs of directed random walks, over to urn models and card guessing games.
On the Gram determinants of the Specht modules
For every partition $λ$ of a positive integer $n$, let $S^λ$ be the corresponding Specht module of the symmetric group $\mathfrak{S}_n$, and let $\det(λ)\in \mathbb Z$ denote the Gram determinant of the canonical bilinear form with respect to the standard basis of $S^λ$. Writing $\det(λ)=m \cdot 2^{a_λ^{(2)}}$ for integers $a_λ^{(2)}$ and $m$ with $m$ odd, we show that if the dimension of $S^λ$ is even, then $a_λ^{(2)}$ is also even. This confirms a conjecture posed by Richard Parker in the special case of the symmetric groups.
Cauchy identities for staircase matrices
Published
• View Publication
• BIB
The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.
Filling some gaps on the edge coloring problem of split graphs
Published
• View Publication
• BIB
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A connected graph $G$ is said to be $t$-admissible if admits a spanning tree in which the distance between any two adjacent vertices of $G$ is at most $t$. Given a graph $G$, determining the smallest $t$ for which $G$ is $t$-admissible, i.e., the stretch index of $G$ denoted by $σ(G)$, is the goal of the $t$-admissibility problem. Split graphs are $3$-admissible and can be partitioned into three subclasses: split graphs with $σ= 1$, $2$ or $3$. In this work we consider such a partition while dealing with the problem of coloring the edges of a split graph. Vizing proved that any graph can have its edges colored with $Δ$ or $Δ+1$ colors, and thus can be classified as Class $1$ or Class $2$, respectively. The edge coloring problem is open for split graphs in general. In previous results, we classified split graphs with $σ= 2$ and in this paper we classify and provide an algorithm to color the edges of a subclass of split graphs with $σ= 3$.
Sets and partitions minimising small differences
For a bounded measurable set $A\subseteq \mathbb{R}$ we denote the Lebesgue measure of $\{(x, y)\in A^2\colon x\le y\le x+1\}$ by $Φ(A)$. We prove that if $I=A_1\cup\dots\cup A_{k+1}$ partitions an interval $I$ of length $L$ into $k+1$ measurable pieces, then $\sum_{i=1}^{k+1} Φ(A_i)\ge (\sqrt{k^2+1}-k)L-1$, where the multiplicative constant $\sqrt{k^2+1}-k$ is optimal. As a matter of fact we obtain the more general result that $Φ(A)\ge (ξ+\sqrt{1-2ξ+2ξ^2}-1)L-1$ whenever $A\subseteq I$ has measure $ξL$.
Zero Forcing and Vertex Independence Number on Cubic and Subcubic Graphs
Motivated by a conjecture from the automated conjecturing program TxGraffiti, in this paper the relationship between the zero forcing number, $Z(G)$, and the vertex independence number, $α(G)$, of cubic and subcubic graphs is explored. TxGraffiti conjectures that for all connected cubic graphs $G$, that are not $K_4$, $Z(G) \leq α(G) + 1$. This work uses decycling partitions of upper-embeddable graphs to show that almost all cubic graphs satisfy $Z(G) \leq α(G) + 2$, provides an infinite family of cubic graphs where $Z(G) = α(G) + 1$, and extends known bounds to subcubic graphs.
A new grounded partition identity of type $D_4^{(3)}$
Published
• View Publication
• BIB
In this paper, we prove a new Rogers--Ramanujan-type identity, involving grounded partitions, by computing a character of the affine Kac--Moody algebra $D_4^{(3)}$ in two different ways. The product side is derived using Lepowsky's product formula, while the sum side is obtained using perfect crystals with a technique of Dousse and Konan.
Small Shadow Partitions
We study the problem of partitioning the unit cube $[0,1]^n$ into $c$ parts so that each $d$-dimensional axis-parallel projection has small volume.
This natural combinatorial/geometric question was first studied by Kopparty and Nagargoje [KN23] as a reformulation of the problem of determining the achievable parameters for seedless multimergers -- which extract randomness from `$d$-where' random sources (generalizing somewhere random sources). This question is closely related to influences of variables and is about a partition analogue of Shearer's lemma.
Our main result answers a question of [KN23]: for $d = n-1$, we show that for $c$ even as large as $2^{o(n)}$, it is possible to partition $[0,1]^n$ into $c$ parts so that every $n-1$-dimensional axis-parallel projection has volume at most $(1/c) ( 1 + o(1) )$. Previously, this was shown by [KN23] for $c$ up to $O(\sqrt{n})$. The construction of our partition is related to influences of functions, and we present a clean geometric/combinatorial conjecture about this partitioning problem that would imply the KKL theorem on influences of Boolean functions.
Centralizers in the plactic monoid
Published
• View Publication
• BIB
Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.
On combinatorial descriptions of faces of the cone of supermodular functions
Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.
On upper domatic number 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 $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called an \emph{upper domatic partition} of size $k$ if either $V_i$ dominates $V_j$ or $V_j$ dominates $V_i$ or both for all $i, j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called the \emph{upper domatic number} of $G$, and it is denoted by $D(G)$. The \textsc{Maximum upper domatic number Problem} involves finding an upper domatic partition of a given graph with the maximum number of parts. It was known that the maximum upper domatic problem can be solved in linear time for trees. In this paper, we prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. Moreover, we show that this problem can be solved in polynomial time for unicyclic graphs. Finally, we partially solve a conjecture regarding the sink set posed by Haynes et al. [The upper domatic number of a graph, \emph{AKCE Int. J. Graphs Comb.}, 17, 2020].
Three types of the minimal excludant size of an overpartition
Recently, Andrews and Newman studied the minimal excludant of a partition, which is defined as the smallest positive integer that is not a part of a partition. In this article, we consider the minimal excludant size of an overpartition, which is an overpartition analogue of the minimal excludant of a partition. We define three types of overpartition related to the minimal excludant size.