partition
6231 papers tagged with this keyword
The Gold Partition Conjecture Holds through Fourteen Elements
Peczarski verified the Gold Partition Conjecture for posets with at most 11 elements in 2006. We extend this exhaustive frontier to 14 elements. At order 14, the unique chain is set aside and every one of the remaining 1,338,193,159,770 isomorphism classes receives one of Peczarski's certificates. It follows, in particular, that the 1/3--2/3 Conjecture holds through order 14, one order beyond the previous complete mutual-rank-probability census. The calculation uses exact integer recurrences on the lattice of order ideals and was divided into 4,096 deterministic shards. The complete shard archive, source, and independent small-order checks accompany the paper.
Majority Dynamics on Assortative Sparse Stochastic Block Models
Majority dynamics is a two-opinion process in which each vertex repeatedly updates to the majority opinion among its neighbors. We study this process on a resampled sparse binary stochastic block model in the assortative regime. At each time step, a graph is sampled from the current opinion partition: vertices with the same opinion are joined with probability $α=a\log N/N$, while vertices with differing opinions are joined with probability $β=b\log N/N$, where $a>b>1$. Let $B_t$ and $R_t$ denote the blue and red camps at time $t$. We show that the weighted advantage $\widetildeΔ_t =b|B_t|-a|R_t|$, rather than the unweighted advantage $Δ_t=|B_t|-|R_t|$ alone, governs the pace to unanimity.
Our results, which hold with high probability as \(N\to\infty\), identify three regimes for blue unanimity under the initial blue advantage, i.e., $Δ_0>0$: constant time, subpolynomial time, and polynomial time. First, when $\widetildeΔ_0 \gtrsim -N/\sqrt{\log N}$, blue unanimity occurs within three updates. Second, when $\widetildeΔ_0 < 0$ and $|\widetildeΔ_0| = o(N)$, blue unanimity occurs within $N^{o(1)}$ updates. Furthermore, when $\widetildeΔ_0 < 0$, $|\widetildeΔ_0| = O(N)$, and $Δ_0\gg\sqrt{N/\log N}$, blue unanimity still occurs within $N^{I_0+o(1)}$ updates, where \[ I_0= \left(\mathbf{ReLU}\Big(\sqrt{a\frac{|R_0|}{N}}-\sqrt{b\frac{|B_0|}{N}}\Big)\right)^2, \] and $\mathbf{ReLU}(x)=\max\{x,0\}$. Conversely, away from the weighted threshold, when $|B_0|/|R_0|\le a/b-κ$ and $Δ_0>0$, $N^{I_0 - o(1)}$ updates are necessary for blue unanimity. Our analysis relies on detailed estimates for one-vertex flip probabilities in sparse binomial differences, which could be of independent interest.
On the problem of large gcd for disjoint residue classes
Consider $k$ pairwise disjoint residue classes $a_i \pmod{m_i}$. We prove that
\[
\max_{1\leq i<j\leq k}\gcd(m_i,m_j)
\gg k\exp\!\left(-(2+o(1))
\sqrt{\frac{\log k}{\log\log k}}\right).
\] The proof uses a complete graph whose edges are colored by the gcds of the corresponding moduli, together with a structural lemma, a sieve-theoretic partition, Möbius inversion, and the discrete Fourier transform.
A note on Tight Irreducible Affine Spreads
Let ${\mathbb F}_q^n$ denote the vector space of dimension $n$ over ${\mathbb F}_q$ and AG$(n,q)$ denote the corresponding affine space. An $\textit{affine vector space partition}$ of AG$(n,q)$ is a collection ${\mathcal P}$ of affine subspaces that partition the points of AG$(n,q)$. If all subspaces in ${\mathcal P}$ have the same dimension $d$, then ${\mathcal P}$ is called an $\textit{affine $d$-spread}$. We say that an affine partition ${\mathcal P}$ is $\textit{completely tight}$ if for any pair $C,C'\in{\mathcal P}$ with $C=v+S$, $C'=v'+S'$, where $v,v'\in{\rm AG}(n,q)$ and $S\neq S'$ are linear subspaces of ${\mathbb F}_q^n$, we have $ S\cap S'=\{{\bf 0}\}$.
An affine partition ${\mathcal P}$ is said to be $\textit{irreducible}$ if there is no subset ${\mathcal P}'\subset {\mathcal P}$ such that $1<|{\mathcal P}'|<|{\mathcal P}|$ and the union of all subspaces in ${\mathcal P}'$ is a subspace of AG$(n,q)$. For all $d \geq 1$ and $n>2d$, we construct a completely tight irreducible affine $d$-spread of AG$(n,q)$. This also settles a recent conjecture of Bamberg et al. on the existence of tight irreducible affine $d$-spreads.
Total outer-independent coalition in graphs
A set $D$ of vertices graph $G$ is a total outer-independent dominating set (TOIDS) of $G$ if every vertex of $G$ is adjacent to at least one vertex in $D$, and $V(G)\setminus D$ is an independent set of $G$. A TOI-coalition in $G$ comprises two disjoint sets of vertices $A$ and $B$ of $G$, neither of which is a TOIDS but whose union $A\cup B$ is a TOIDS of $G$. We say that the sets $A$ and $B$ form a TOI-coalition, and are TOI-coalition partners. A TOI-coalition partition in $G$ is a vertex partition $Ψ=\{V_1, V_2,..., V_k\}$ in which every set forms a TOI-coalition with another set in $Ψ$. The TOI-coalition number $C_t^{oi}(G)$ is the maximum cardinality among all TOI-coalition partitions of $G$. In this work, the above-mentioned concepts are introduced and studied. The existence of a TOI-coalition partition is investigated. Several sharp upper bounds on $C_t^{oi}(G)$ are established. Finally, the exact values of $C_t^{oi}(G)$ for some graph classes are obtained.
Large Monochromatic Components in Colored Random Graphs
We study the size of the largest monochromatic connected component that must appear in any edge-coloring of a random graph.
Let $G\sim G(n,p)$ with $p\gg 1/n$ and $p=o(1)$, and write $np=he^h$. We show that, with high probability, every $2$-edge-coloring of $G$ contains a monochromatic connected component of order at least $n-Θ(ne^{-h})$. Moreover, we construct colorings showing that this bound is best possible up to constant factors.
We extend this result to three colors: for $p\gg 1/n$ and $p=o(1)$, with high probability every $3$-edge-coloring of $G$ contains a monochromatic connected component of size at least $\frac{n}{2}-Θ(1/p)$, and this estimate is again tight up to constant factors.
In the bipartite setting $G\sim G(n,n,p)$, under the same assumptions on $p$, we prove an analogous statement: with high probability, every $2$-edge-coloring contains two monochromatic components whose union covers all but $Θ(ne^{-h})$ vertices, and this bound is asymptotically sharp.
Our approach is elementary and is based on analyzing large connected structures across suitably balanced vertex partitions.
Positivity of stretched Littlewood-Richardson coefficients for partitions of length at most four
For partitions lambda, mu, nu the Littlewood-Richardson coefficient stretches to a function P(t) = c(t nu; t lambda, t mu) which, by a theorem of Derksen and Weyman, is a polynomial in t. King, Tollu and Toumazet conjectured that P has no negative coefficient. The conjecture is known only for the value at most 2 and is otherwise open. We prove it for all triples whose parts number at most four. The proof is structural: a period-one dilation transfers the Berline-Vergne local Ehrhart formula from an integral dilate back to the rational hive polytope, reducing the statement to the positivity of the Berline-Vergne weight of every two-dimensional transverse cone spanned by rank-four rhombus normals, which we verify exactly (minimum weight 1/9). Vertex integrality and unimodularity of vertex cones are not used, and indeed fail already in rank four. The same local method yields two rank-uniform consequences: for every full-dimensional hive polytope of any rank the top four Ehrhart coefficients are positive, and every full-dimensional five-part hive has all coefficients positive except possibly the linear one. We close by reducing the general conjecture to a single hive-specific effectivity statement and recording the exact obstructions that rule out the standard shortcuts. All finite verifications are accompanied by independent replay scripts.
Lower bounds on the strength of the determinant
We establish new lower bounds for the strength and partition rank of the determinant. For every prime $p$, we prove the exact identity \[ \operatorname{str}(\mathrm{det}_p)=p. \] A weak monotonicity argument, combined with a bound for gaps between consecutive primes, then gives $\operatorname{str}(\mathrm{det}_n)\ge (1-o(1))n^{0.475}$ for sufficiently large $n$. Since the Birch rank of $\mathrm{det}_n$ is always $4$, this gives the first explicit family showing that the dependence on the degree in bounds for strength in terms of Birch rank is unavoidable. Viewing $\mathrm{det}_n$ as an $n$-linear form in its columns, we also prove that its partition rank is at least the largest prime not exceeding $n$. Consequently, \[ n-n^{0.525}\le \operatorname{prk}(\mathrm{det}_n)\le n \] for all sufficiently large $n$, and hence the partition rank of the determinant is $n-o(n)$. The proof introduces an intersection-theoretic method for lower-bounding strength: a short strength decomposition produces a nowhere-vanishing section of a split vector bundle on the complement of the determinantal hypersurface, while a nonzero top Chern class in the Chow ring of $\mathrm{PGL}_n$ obstructs such a section.
Selection-structure generalizations of the Borsuk-Ulam theorem
We prove Borsuk-Ulam-type results governed by selection structures. Selection structures extend the matroidal framework for colorful theorems in discrete geometry and include non-matroidal examples such as chessboard complexes.
Motivated by Frick and Wellner's Radon-type strengthening of Fan's theorem and its colorful variants, we prove selection-structure analogues whose conclusions are determined by Radon partitions. We also prove a prime-power selection-structure covering version of Volovikov's theorem, governed by Tverberg partitions. We include applications to fair partitions, including selection-structure versions of the ham sandwich and necklace splitting theorems.
A direct injection for the strong $q$-log-convexity of Touchard polynomials
We provide a direct injection for the well-known strong log-convexity of the Bell numbers $B_n$, that is $B_mB_n\le B_{m-1}B_{n+1}$ for every $1\le m\le n$. Our injection $Π_m\timesΠ_n\to Π_{m-1}\timesΠ_{n+1}$, where $Π_n$ denotes the set of all partitions of $[n]$, preserves the total number of blocks in the pair of partitions. In other words, it is also an injection for the strong $q$-log-convexity of Touchard polynomials, a result established by Chen, Wang, and Yang using analytical arguments. As an application of the injection, we also recover a related result of Chern, Diaconis, Kane, and Rhoades.
Negative Latin-Square-Type Partial Difference Sets in Non-Elementary Abelian 2-Groups
Using cubic cyclotomic classes, character theory, and product constructions motivated by generalized Denniston partial difference sets, we construct negative Latin-square-type partial difference sets in $\mathbb{F}_{2^6}^{+}\times\mathbb{Z}_4^4$, $\mathbb{Z}_4^4\times\mathbb{F}_{2^{10}}^{+}$, $\mathbb{F}_{2^{10}}^{+}\times\mathbb{Z}_8^4$, $\mathbb{Z}_8^4\times\mathbb{F}_{2^{14}}^{+}$, and $\mathbb{Z}_4^4\times\mathbb{Z}_{16}^2$. The first four constructions replace cubic cyclotomic partitions by partitions of non-elementary abelian 2-groups having the same character-value patterns. To the best of our knowledge, these are the first partial difference sets with the stated parameters in the indicated groups.
On Boolean sublattices of finite partition lattices
We investigate maximal Boolean sublattices of the partition lattice Part(U) of a finite universe U. First, any largest size Boolean sublattice of Part(U) can be formed using all partitions whose blocks are subtrees of a tree with vertex set U. It is shown that a maximal Boolean sublattice of Part(U) always contains the least and the largest elements of Part(U). Boolean sublattices B of PartU containing 0 are characterized by a certain condition imposed on the cycles of a linear hypergraph corresponding to the atoms of B on the set U. We show that B can be extended to a Boolean sublattice of Part(U) with a largest size, if and only if the hypergraph induced by its atoms is a hypertree. This is the case when B is formed by all the partitions whose blocks are intervals in a generalized sense. The main result states that all partition lattices of height at least three have maximal Boolean sublattices for all possible dimensions at least three
On the toric lifting properties for simplicial $3$-spheres
We study the lifting problem for mod $2$ characteristic maps over simplicial $3$-spheres. Using a bad-block partition of the universal complex $X(\mathbb{Z}_2^4)$, we prove an avoidance criterion for liftability. We show that every simplicial $3$-sphere with at most $20$ vertices has the toric lifting property. We also obtain image-size and join-type results, and prove sharpness of the image-size bound in the universal-complex sense.
Polynomiality of Stretched Schubert Structure Constants and Key Coefficients
We prove that monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial. The proof combines Demazure operators with vector partition functions and, in the Schubert case, P.~Magyar's orthodontic formula. These coefficient results extend to finite products. Using M.~Watanabe's Schubert duality, we deduce that stretched Schubert structure constants are eventually polynomial, proving a conjecture of I.~Pak and Z.~Slonim. For key polynomials, this resolves the polynomiality part of a conjecture of P.~Alexandersson and E.~Alhajjar.
Homogeneous hypergraph regularity lemmas via $k$-strong honest definitions
We prove that $(k+1)$-uniform hypergraphs definable in an NIP strongly $k$-distal structure satisfy a homogeneous regularity lemma -- they can be partitioned into a bounded number of simplicial complexes, most of which are homogeneous (meaning that the restriction of the hypergraph to the simplicial complex is either complete or empty). Furthermore, the parts of the partition can be chosen uniformly definably, and the size of the partition is polynomial in the reciprocal of the error parameter. This extends the homogeneous regularity lemma proven by Chernikov and Starchenko for hypergraphs definable in a distal structure.
We prove this by introducing $k$-strong honest definitions and showing that an NIP structure is strongly $k$-distal if and only if every formula $\varphi(x_1, ..., x_k; y)$ has a $k$-strong honest definition. This extends the theory of strong honest definitions in distal structures to the higher-arity setting.
On modular balanced partition designs
Let $X$ be a finite set of integers with cardinality $ν= κλ$. A \emph{modular balanced partition design} is a triplet $(X, \mathcal{A}, \mathcal{B})$ satisfying the following conditions: \begin{itemize}
\item $\mathcal{A}$ is a partition of $X$ into $κ$ blocks of size $λ$, such that every element of $X$ appears in exactly one block. If $\mathcal{A} = \{A_1, A_2, \ldots, A_κ\}$, then
$\sum_{a\in A_i} a \equiv i λ\pmodν$, for each $i=1,2,\ldots,κ$
\item $\mathcal{B}$ is a partition of $X$ into $λ$ blocks of size $κ$, such that every element of $X$ appears in exactly one block. If $\mathcal{B} = \{B_1, B_2, \ldots, B_λ\}$, then
$\sum_{b\in B_j} b \equiv j κ\pmodν$, for each $j=1,2,\ldots,λ$
\item $A_i \cap B_j$ has exactly one element, for any $A_i \in \mathcal{A}$, and $B_j \in \mathcal{B}$. \itemize}
We prove the necessary conditions for the existence of a modular balanced partition design. Moreover, we investigate and identify a relationship between a modular balanced partition design and a subgroup magic rectangle. Then by using affine automorphisms of an Abelian group, we prove the existence of non-isomorphic modular balanced partition designs. Finally, we provide a method to construct a transversal design via a modular balanced partition design.
Sharp density conditions for infinite $B+B$ sumsets in abelian groups
Motivated by recent results \cite{charamaras_kousek_mountakis_radic2025BBingroups} on infinite sumsets of the form $B+B=\{b_1+b_2:b_1,b_2\in B\}$ in large subsets of abelian groups, and an old problem of Owings \cite[Problem E2494]{Owing_problems} about the partition regularity of $B+B$ in $2$ colours, we show the following theorem. Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $D: g\mapsto g+g$ has finite kernel. Let also $Φ=(Φ_N)_{N}$ be any Folner sequence in $G$ and $Φ/2=(D^{-1}(Φ_N))_{N}$. Then, if $A\subset G$ is such that $d_Φ(A)+d_{Φ/2}(A)>1$, there is an infinite set $B\subset G$ and some $t\in G$ for which $t+B+B\subset A$.
We prove that this result implies the main theorem in \cite{charamaras_kousek_mountakis_radic2025BBingroups}, and construct an example to show the reverse implication does not hold. Moreover, we show that our main theorem is optimal in a strong sense. Namely, for any countable abelian group $(G,+)$ with the aforementioned assumptions -- which are necessary -- there exists a Folner sequence $Φ$ and a set $A\subset G$ so that $d_Φ(A)+d_{Φ/2}(A)=1$, but there is no infinite set $B\subset G$ and $t\in G$ for which $t+B+B\subset A$.
Finally, we relate the optimality of our main result in the integer setting to Owings' problem and present some other considerations around this.
A short survey the game Bulgarian solitaire and related games
Let $N$ be an arbitrary positive integer and let $λ=(λ_1, λ_2, \ldots, λ_l)$ be a partition of $N$ of length $l$, i.e., $\sum_{i=1}^lλ_i= N$ with parts $λ_1\ge λ_2\ldots λ_l\ge 1$. Define $T(λ)$ as the partition of $N$ with parts $l,λ_1-1λ_2-1,\ldots λ_l-1$,ignoring any zeros that might occur. Starting with a partition $λ$ of $N$, we describe Bulgarian solitaire by repeatedly applying the shift operation $T$ to obtain the sequence of partitions
$$ λ, T(λ), T^2(λ),\ldots .
$$ We say a partition $μ$ of $N$ is $T$-cyclic if $T(μ) = μ$ for some $i\ge 1$. In 1982 Brandt [9] characterized all $T$-cyclic partitions for Bulgarian solitaire.
Bulgarian solitaire is a dynamical system on integer partition of a positive integer $N$ which converges to a unique fixed point if $N=1+2+\cdots +k$ is a triangular number.
In this paper we present a short survey of the game Bulgarian solitaire and several variations of this game.
Signed Counting on Restricted Partitions and Combinatorial Proofs of Three Identities
Signed enumerations of l-regular partitions by the parity of the number of parts are known to correspond to partitions with congruence conditions. Inspired by the recent combinatorial approaches of Ballantine-Merca and Liu for such identities, we provide combinatorial proofs of three identities for l-regular partitions and their variants. Two of these were originally established analytically by Hickerson and Robbins, respectively.
Euler's partition theorem and lecture hall partition theorem
Euler's partition theorem was an important step in the establishment of Integer Partitions as a field in its own right. It has attracted many great mathematicians' attention, including Sylvester, and has foreshadowed a number of further results. Another deep result in Partition Theory is the beautiful Lecture Hall Partition Theorem, which is a finite version of Euler's identity. In this work, we introduce the lecture hall length to partitions into distinct parts, and devise a bijection from partitions into odd parts to partitions into distinct parts, which unifies many results together. Various recent theorems regarding the minima excludant and block index become immediate consequences of this bijection. We also pose an interesting conjecture which may uncover a deep relation between Euler's partition theorem and lecture hall partition theorem.