partition
6350 papers tagged with this keyword
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.
Sub-quorum colorings of some infinite families of caterpillars
A partition $π=\{V_{1},V_{2},...,V_{k}\}$ of the vertex set $V$ of a graph $G$ into $k$ color classes $V_{i},$ with $i\in\{1,...,k\}$ is called a {\it quorum coloring} if for every vertex $v\in V,$ at least half of the vertices in the closed neighborhood $N[v]$ of $v$ have the same color as $v.$ The maximum cardinality of a quorum coloring of $G$ is called the {\it quorum coloring number} of $G$ and is denoted by $ψ_{q}(G).$ A {\it sub-quorum coloring} of $G$ is an onto partial function $f:V\rightarrow\left\{1,2,\ldots,\ell\right\}$ having the property that for every vertex $v\in V,$ if $f(v)$ is defined, then at least half of the vertices in $N[v]$ having an image by $f$, have the same color as $v.$ The {\it sub-quorum coloring number} $ψ_{sq}(G)$ equals the maximum value $\ell$ in a sub-quorum coloring of $G.$ In this paper, we determine the exact value of the sub-quorum coloring number for some infinite families of caterpillars including complete $n$-tuple caterpillars and complete caterpillars with minimum spine-vertex degree three.
Nice Partitions, Supersolvability, and Freeness in Deformations of Graphic Arrangements
We study affine deformations $\mathcal{A}(G_{\mathcal{S}})$ of graphic arrangements and their cones. Here $G=([n],E(G))$ is a simple graph, $\mathcal{S}=(S_{ij})$ is a family of finite gain sets, and $\mathcal{A}(G_{\mathcal{S}})$ consists of the hyperplanes $x_i-x_j=a$ with $a\in S_{ij}$. We call $G_{\mathcal{S}}$ blockwise admissible if every block has a vertex ordering $v_1,\ldots,v_m$ satisfying $S_{v_kv_j}-S_{v_kv_i}\subseteq S_{v_iv_j}$ for every $k$ and all distinct $i,j>k$. Every such ordering is a perfect elimination ordering. We prove, for arbitrary $G$, that the following are equivalent: (i) $G_{\mathcal{S}}$ is blockwise admissible; (ii) the cone $c\mathcal{A}(G_{\mathcal{S}})$ is supersolvable; and (iii) $\mathcal{A}(G_{\mathcal{S}})$ admits a nice partition. We give a direct arrangement-theoretic proof of these equivalences. For a block, the equivalence between admissibility and supersolvability is already contained in Zaslavsky's characterization of supersolvable graphic-lift lattices. We further show that every nice partition on a block is induced by an admissible ordering and that its induced edge classes are stars with distinct centers. Under these equivalent conditions, we construct a maximal modular chain through the hyperplane at infinity. We also prove that if $c\mathcal{A}(G_{\mathcal{S}})$ is free, then $G$ is chordal.
Multi-View Block Distance Distributions and Linear Programming Bounds for Locally Recoverable Codes with Availability
We develop a multi-view linear-programming framework for locally recoverable codes with arbitrary fixed availability $a$. For any retained order $1 \le s \le a$, the selected helper sets, the recovered coordinate, and their complement form an $(s+2)$-part partition. Recording the Hamming distance on all blocks preserves both compatibility among the selected repair alternatives and their coupling with the remaining coordinates. The resulting joint distribution satisfies centered counting identities, product-Krawtchouk positivity, and collision inequalities from the local-distance condition; for fixed $s$, these constraints give a polynomial-size relaxation for arbitrary, possibly nonlinear, codes over any finite field. Retaining one view recovers the three-block model of our companion paper. We develop the first genuinely multi-view case, $s=2$, in detail and specialize the exact computations to availability $a=2$. The resulting four-block LP projects to both the one-view three-block model and a globally conditioned two-view relaxation, making explicit the information lost by each coarsening. Exact rational primal-dual certificates together with checked constructions prove $M_{\max}(2,8,4,2,2,2)=8$, $M_{\max}(3,7,3,2,2,2)=27$, and $M_{\max}(4,7,3,2,2,2)=64$; in all three cases the four-block bound is strictly stronger than both coarsenings.
Pair-Defensive Silver Colourings of Hypercubes
A silver colouring is a proper colouring in which every colour appears in the closed neighbourhood of each vertex of a prescribed independent set. This local condition suffices when vertices are tested one at a time. We study a stronger requirement for simultaneous testing: whenever one or two vertices of the independent set are attacked together, each colour must supply distinct nearby defenders for them. We call this a pair-defensive silver colouring. For the hypercube $Q_d$, with one parity class as the attacked set, we prove that the maximum number of colours in a pair-defensive silver colouring is at most $\lfloor(d+3)/2\rfloor$, roughly half the ordinary silver-colouring target $d+1$. We construct colourings attaining this bound in four consecutive dimensions around every power of two, and we study the structure of the extremal, bound-attaining colourings. In each odd critical dimension, we characterize the extremal colourings by a partition of the defender parity into regular, triangle-free subgraphs of the halved cube. This characterization also has a local form in terms of coordinate matchings and a defect coordinate
Explicit Witnesses at Every Gap of the Depth Filtration of $β\mathbb{N}$
Let $Σ_{1} = \mathbb{N}^*$ and $Σ_{k+1} = \overline{\mathbb{N}^* + Σ_{k}}$ be the cumulative depth filtration of $β\mathbb{N}$, the analogue for $(\mathbb{N},+)$ of a chain of closed ideals that Protasov and Protasova studied for discrete groups, where strict descent follows from a theorem of Lutsenko and Protasov. For every $k$ we give an explicit set whose closure meets $Σ_{k}$ but not $Σ_{k+1}$. Fix the doubly exponential sequence $e_{n} = 2^{2^{n}}$, partition it into $k$ subsequences $E_{0}, \dots, E_{k-1}$ by the residue of the index modulo $k$, and set $A_{k} = E_{0} + \cdots + E_{k-1}$. We prove that any sum $q_{0} + \cdots + q_{k-1}$ of free ultrafilters with $E_{t} \in q_{t}$ lies in $Σ_{k} \setminus Σ_{k+1}$. The engine is a master lemma, proved by induction on $j$: if a sum $F_{1} + \cdots + F_{j}$ of subsequences of $\{e_{n}\}$ with pairwise disjoint index sets belongs to a free ultrafilter $s$, then $s \notin Σ_{j+1}$. The proof rests on a single rigidity of the doubly exponential sequence: a fixed difference forces the largest index in any shift-intersection, once it is large, to cancel within its own subsequence, which makes every shift-intersection descend by at least one level. The same witnesses lie in the gaps of the pure filtration.
A rainbow partition theorem for trees and connected maximin share allocations of chores
Xiao, Qiu, and Huang (AAMAS 2023) and independently Lonc (personal communication) asked whether indivisible chores located at the vertices of a tree can always be allocated to $n$ agents in connected bundles so that the cost of every agent is at most its connected maximin share; for goods, this is a theorem of Bouveret, Cechlárová, Elkind, Igarashi, and Peters. We answer the question affirmatively, even for monotone costs. The answer follows from a combinatorial theorem: if $\mathcal P_1,\ldots,\mathcal P_k$ are partitions of the vertex set of a finite tree, each into at most $k$ connected parts, then the vertex set can be split into disjoint sets $B_1,\ldots,B_k$, some possibly empty, such that each nonempty $B_i$ is connected and contained in a part of $\mathcal P_i$. Equivalently, if each of $k$ colours occurs on at most $k-1$ edges of a tree, then the vertices can be partitioned into connected sets labelled by distinct colours, none containing an edge of its own colour; in particular, one can choose for every colour a component of the forest obtained by deleting that colour so that the chosen components cover the tree. The bound is already best possible for paths, and for additive costs, the theorem is equivalent to the fair-division statement. The proof reduces the problem to inward partitions of oriented trees, which we obtain from the colourful KKM theorem on a simplex of edge weights, using a leaf-elimination labelling that remains compatible when weights vanish. We also give an algorithm running in time $k^{O(k)}$ plus polynomial time.
A nearly linear bound for the Lovász conjecture
The celebrated conjecture of Lovász from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Bucić, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$.
In this paper, we improve this bound to $n^{1-o(1)}$. Our proof uses a structure theorem of Tessera and Tointon to first obtain a partition of the vertex set into sets of small diameter in the original graph. When the parts are large, we repeatedly traverse a spanning tree of maximum degree at most three in the quotient graph, and use the Lovász local lemma to join random short paths along this traversal and extract a long path in the original graph. When the parts are small, we apply Babai's contraction lemma to reduce the problem to finding a long path in a connected Cayley graph of a nilpotent group with boundedly many generators and bounded nilpotency class, and then show that such a Cayley graph on $m$ vertices contains a path on $m^{1-o(1)}$ vertices.
A Combinatorial Proof of an Identity of Malik and Sarma on Overpartitions with Repeated Smallest Non-Overlined Part
Motivated by the work of Andrews and El Bachraoui on partitions with repeated smallest parts, Malik and Sarma recently extended this concept to overpartitions. Using generating functions and $q$-series techniques, they established several results, including four identities, and posed the problem of finding combinatorial proofs for these identities. Recently, Baruah, Li, and Mohanta provided combinatorial proofs for three of these identities. In this paper, we present a combinatorial proof of the remaining identity.
The topological Bárány-Larman conjecture for prime numbers
The Bárány-Larman conjecture states that for any $d+1$ sets of $r$ points each in $\mathbb{R}^d$, considered as color classes, we can partition their union into $r$ rainbow $(d+1)$-tuples whose convex hulls intersect. We prove that the topological version of this conjecture holds when $r$ is a prime number. We also show that the optimal colorful Tverberg theorem of Blagojević, Matschke, and Ziegler cannot be extended to prime powers.
Absolute moved spaces and noncrossing partition posets in arbitrary Coxeter groups
The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space.
We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.
Part Size Count in Cylindric Partitions and Bijections for Small Profiles
We first study the part size statistic in cylindric partitions, listing some specializations of a crude but general formula. Then, we establish bijections between ordinary partitions and cylindric partitions of small profiles with additional restrictions. Lastly, we extend earlier formulas for generating functions of cylindric partitions into distinct parts and functional equations of unrestricted cylindric partition generating functions, involving the part size statistic.
On the nonnegativity of monomial immanants for hook partitions
Let $A=(a_{ij})$ be an $n\times n$ real matrix and let $λ$ be a partition of $n$. Let $ϕ^λ$ be the class function dual to the Young permutation character, and let $$
ϕ^λ[A]
= \sum_{σ\in\mathfrak{S}_n}ϕ^λ(σ)
\prod_{i=1}^{n}a_{iσ(i)} $$ be the corresponding monomial immanant. Stembridge [Canad. J. Math. 44 (1992), pp. 1079-1099] posed the following open problem: If all minors of $A$ of order at most $r$ are nonnegative, and the partition $λ$ has length at most $r$, is it true that $ϕ^λ[A]\ge 0$? This paper solves the problem for all hook partitions.
HJ numbers revisited
We improve the bounds on the Hales-Jewett numbers to a tower of exponentiations. Earlier it was $WaW$ (that is, iterations of towers which are themselves iterated exponentiations). We improve the inductive step there (induction on the size of the alphabet, $|Λ|$) to 2-exponentiations, instead of towers. In the longer work in typing,
(A) We present this inductive step as a partition theorem in its own right; (but in this preliminary version we make it just serve the bound on HJ numbers).
(B) We shall deal with the density version of Hales-Jewett with similar bound.
We are also dealing with the Graham-Rothschild Theorem and the Affine Ramsey Theorem and the polynomial case, and give background.
Congruences for Overcubic Partition $k$-Tuples
In the last few years, a number of authors have proved divisibility properties satisfied by various functions which count the number of overcubic partition $k$--tuples of weight $n$ for small values of $k$. In this work, we use generating functions to prove some of their results as well as multiple infinite families of new congruences for overcubic partition $k$-tuples which do not yet appear in the literature. In particular, we focus on a new perspective which provides insights as to why these functions are often divisible by powers of 2, and we also prove families of congruences whose moduli are odd. For example, we prove that, for all $m\geq 0$, $\OL{b}_{4}(22m + 11) \equiv 0 \pmod{11}$ and we also prove infinite families such as $\OL{b}_{9l+2}(9m+3) \equiv 0 \pmod{3}$ for all $m,l\geq0$.
Additive Quasi-isometry via rooted graph partitions and layering partition
For a graph $H$, $\langle H \rangle$ denotes the class of all subdivisions of $H$ and $tw(H)$ denotes the treewidth of $H$. In this paper, we prove the following. For $k\geq 1, R\geq 1$, let $G,H$ be two graphs such that strong isometric path complexities (Chakraborty et al. [\textsc{Disc. Math., 2026}]) of both $G$ and $\langle H \rangle$ are at most $k$, and $G$ admits an honest, ``nicely rooted'' $R$-bounded $H$-partition. Then, there is a graph $F$ with $tw(F)\leq tw(H)$ such that $G$ admits a $(1,33\cdot R\cdot k^2)$-quasi-isometry to $F$.
Using results of Albrechtsen, Distel, and Georgakopoulos (2025), we also obtain that $K_{2,t}$-asymptotic minor-free graphs admit quasi-isometries with additive distortion to $K_{2,t}$-minor-free graphs. This answers an open question raised by the above authors.
As part of our proof, we combine the graph-partition based method and the layering partition based method (Chepoi et al. [\textsc{Discrete Comput. Geom.} 2012]) to obtain additive quasi-isometry when both the source and all subdivisions of the target graph have bounded strong isometric path complexity.
A new proof of two-color partition regularity of Pythagorean triples
We give a new proof that if the natural numbers are colored in two colors, then there exists a monochromatic Pythagorean triple. The proof was found by ChatGPT Astra.
Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions
We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$.
We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.
Moreira's Theorem for Image Partition Regular Matrices
The famous Hindman conjecture says that for any finite coloring of natural numbers, there exists a monochromatic copy of the form $\{x,x+y,xy\}.$ In a celebrated article, Moreira gave a partial answer to this conjecture by showing that every finite coloring of the natural numbers contains a monochromatic configuration of the form $\{x, x+y, xy\}$. In this article we prove matrix versions (both finite and infinite) of Moreira's theorem. A matrix $A$ is said to be an image partition regular matrix if for any finite coloring of naturals, there exists a monochromatic image of $A,$ i.e. there exists a vector $\vec X$ such that all the entries of $A\vec X$ are monochromatic. From a recent paper of Bowen, one can derive the finite matrix version of the Moreira theorem: if $A$ and $B$ are two finite image partition regular matrices of the same order, then under any finite coloring of $\mathbb{N}$, there exist vectors $\vec{X}$ and $\vec{Y}$ such that all entries in the union of $A\vec{X}, A\vec{X} + B\vec{Y}, A\vec{X} \cdot B\vec{Y}$ are monochromatic, where $A\vec{X} \cdot B\vec{Y}$ denote the vector each of its entries are pointwise multiplication of the coordinates of $A\vec{X} \text{ and } B\vec{Y}$.
In this article, we give a short combinatorial proof of this result, and then we extend it to infinite image partition regular matrices.
The two-block odd partition function
Published in Ramanujan Journal, 71: 23 (2026)
• View Publication
• BIB
We investigate arithmetic and combinatorial properties of the function $a(n)$, which is the signed number of partitions of $n$ into exactly two distinct part sizes, each occurring an odd number of times. We prove that $a(n)\ge 0$ for all $n$, establishing a positivity phenomenon for a signed partition function arising from a double Lambert series. Furthermore, we show that $a(n)$ satisfies nontrivial divisibility properties modulo $3$. The results reveal unexpected arithmetic regularity in a family of partition functions defined by odd multiplicity constraints and restricted support.