partition
6354 papers tagged with this keyword
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.
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction.
On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely.
For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
Rank Stabilization for Sparse Coordinate Completion of Unit-Norm Tight Frames
We determine generic completion-fiber dimensions for unit-norm tight frames when each partially observed column has exactly two missing coordinates. We work on the complex algebraic variety defined by the real frame equations. The missing coordinate pairs form a labelled multigraph. For every $d\ge4$ and every frame length $R\ge N_d:=\binom{d+1}{2}-1$, we prove that the missing-pair Jacobian matroid is the Rado matroid of an explicit subspace arrangement. Its rank is therefore given by a graph-theoretic minimum formula and is independent of $R$; the complementary rank defect is the generic fiber dimension. The main step is a realization theorem at length $N_d$. It combines a transversal--graphic matroid partition with a zero-coordinate moment submersion and a compatible decomposition of a generic residual matrix. Basis extension and stability under fully observed columns then yield the rank formula at every larger length. We also give an explicit defect formula in dimension four and a local real counterpart on the smooth real frame locus. A common-rotation obstruction bounds the smallest uniform stabilization threshold from below by $2d-1$.
Association schemes from vectorial generalized Maiorana-McFarland bent functions with non-weakly regular components
Let $p$ be an odd prime, $q=p^k$, and $r=p^s$ with $s\mid k$. We study $\mathbb{F}_r$-valued generalized Maiorana-McFarland functions $H(x,y,z)=P^{(z)}(x)+\operatorname{Tr}_s^k(yz)$ on $V_n\times\mathbb{F}_q\times\mathbb{F}_q$. The ingredients $P^{(z)}$ are vectorial dual-bent functions with weakly regular components, constant on the cosets of $\mathbb{F}_r^*$ in $\mathbb{F}_q^*$, and, for $z\ne 0$, of inversion type with respect to $t\mapsto t^{-1}$. Under a mild condition on $P^{(0)}$, we prove that the partition into the $\mathbb{F}_r$-valued level sets of $H$, refined according to the $\mathbb{F}_r$-lines of the relevant coordinates, is Fourier-reflexive. It therefore induces a translation association scheme with $\frac{q-1}{r-1}(r+1)+r$ classes (one fewer in a degenerate case), symmetric when the ingredients are even. For $s=1$ this recovers recent scalar constructions, while for $s=k$ it yields $(2q+1)$-class schemes from vectorial bent functions whose components may all be non-weakly regular. We also construct fusions along $\mathbb{F}_r$-subspaces, obtaining $(2r+1)$- and $(3r+2)$-class schemes and connections between different levels. Counterexamples show that the inversion, coset-constancy, subspace, and weak-regularity hypotheses cannot in general be omitted. To our knowledge, these are the first association schemes obtained from vectorial bent functions with non-weakly regular components.
Overcolored Partition Restricted by Parity of the Parts
Very recently, Thejitha, Sellers, and Fathima defined the function $a_{r,s}(n)$, which enumerates the number of multicolored partitions of $n$, wherein both even parts and odd parts may appear in one of $r$-colors and $s$-colors, respectively, for fixed $r,s\ge 1$. In this paper, we extend the concept to overpartitions.
The diameter of recoloring graphs under a maximum average degree bound
For a graph $G$, we write $\mathrm{mad}(G)$ for its maximum average degree and $\mathrm{diam} G$ for its diameter. Let $R_k(G)$ be the graph whose vertices are the proper colorings of $G$ with $k$ colors, where two colorings are adjacent when they differ at one vertex. Feghali (JCTB, 2021) proved that, for fixed integers $d,k\ge 1$ with $k\ge d+1$ and every $\varepsilon>0$, every $n$-vertex graph $G$ satisfying $\mathrm{mad}(G)\le d-\varepsilon$ has $\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}(n(\log n)^{d-1})$. In this article, we prove that \[
\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}\!\left(
n(\log n)^{\left\lfloor (d-1)/(k-d)\right\rfloor}
\right), \] which extends the result proved by Feghali directly. The proof uses a partition into independent layers and removes $k-d$ colors at each recursive stage. We also improve the bound on the number of layers and determine the best possible linear coefficient in the forest case. More precisely, for $0<\varepsilon<2$, every $n$-vertex graph $G$ with $\mathrm{mad}(G)\le2-\varepsilon$ satisfies $\mathrm{diam} R_3(G)\leρ_M n$, where $M=\lfloor2/\varepsilon\rfloor$, $ρ_M=\max_{1\le m\le M}D_m/m$, and $D_m$ is the largest diameter of $R_3(T)$ over all trees $T$ on $m$ vertices. Moreover, the coefficient $ρ_M$ is best possible.
Quiver BPS Indices from Crystal Profiles
Published in JHEP09(2026)244
• View Publication
• BIB
We derive new exact formulae for elliptic genera in two spacetime dimensions with $\mathcal{N}\ge 2$ supercharges, as well as their one- and zero-dimensional counterparts (for Witten indices and matrix-model partition functions). Our results are written as a discrete sum over geometric/combinatorial structures of crystals introduced previously by the authors. The contribution from each crystal may be expressed in terms of the boundary data of a finite substructure of the crystal called the molecules. Our results provide vast generalisations of the celebrated Nekrasov partition function enumerated by the Young diagrams, and uncover new combinatorics underlying the crystal melting. We also analyse the thermodynamic limit of crystals arising from two-dimensional $\mathcal{N}=(0,2)$ theories associated with toric Calabi-Yau fourfolds, where a projection of the Calabi-Yau geometry emerges in the limit.
Crystal operators and a sign-reversing involution on semistandard set-valued tableaux of skew shape
We prove commutation relations between the ordinary type A crystal operators and a sign-reversing involution on semistandard set-valued tableaux of skew shape. We describe the involution by Boolean fibers with fixed maximum entries. It commutes with every raising operator except the one indexed by the entry changed by the involution. We characterize commutation at this exceptional raising operator and for lowering operators away from the two colors involving that entry using the box where the involution acts and reduced signatures. We construct a bijection from these tableaux to decorated five-vertex states that preserves weight and excess, subject to a restriction on nontrivial bumps determined by the inner partition. Rotation with alphabet reversal yields the dual statements.
The gold partition conjecture and the Lexicographic sum of posets
Published in Order 43, 34 (2026)
• View Publication
• BIB
We prove that if a finite poset $Q$ satisfies the Gold Partition Conjecture, and $P$ is a finite poset, then for any $i\in P$ the lexicographic sum $P\circ_iQ$ of $P$ with $Q$ on the point $i$, satisfies the Gold Partition Conjecture.
Let $L(P)$ be the set of linearizations of $P$, $e(P)=\#L(P)$, $ \mathbb{P}(x<y)=\frac{\#\{f\in L(P)|x<_f y\}|}{e(P)}$, and $δ(P)=\max_{x,y\in P}\min\{\mathbb{P}(x<y),$ $\mathbb{P}(y<x)\}$. We describe the behavior of those numbers when $P$ is a lexicographic sum. Namely, $\prod_{i=1}^n e(Q_i)\,$ divides $\,e(P( Q_1,\dots,Q_{|P|}))$, and $δ(P(Q_1,\dots,Q_n))\geq \max_{1\leq i\leq n}\{ δ(Q_i)\}$.
On Graphical Partitions with Restricted Parts
An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed set. In this work, we investigate the probability that a uniformly random partition of an even integer $n$, subject to such restrictions, is graphical. We establish an upper bound on this probability expressed solely in terms of the Durfee square of the partition. Additionally, we evaluate the most-probable size of the Durfee square, depending solely on $n$ and the restrictions on the parts. Thus, we establish typical bounds on the probability that such random partitions are graphical. Our approach employs the Nash-Williams graphical condition, the saddle-point method and Edgeworth expansions.
On statistics of prime parking functions, Łukasiewicz paths, and quasisymmetric functions
We recall that a parking function of length $n+1$ is said to be prime if removing any instance of 1 yields a parking function of length $n$. In this article, we study prime parking functions from multiple lenses. We derive an explicit formula for the average value of the total displacement of prime parking functions. We present a formula for the displacement-enumerator of prime parking functions that involves a sum over Łukasiewicz paths. We describe the one-to-one correspondence between parking functions and labeledŁukasiewicz paths via Dyck paths. We introduce the concept of $\ell$-forward differences and use this as a vehicle for examining ties, ascents, and descents in prime parking functions. We establish a link between Schur functions corresponding to the partition $(i,1^{n-i})$ and fundamental quasisymmetric functions indexed by prime parking function tie sets of size $n-i.$
Eigenvalue Distribution of the Laplacian on Random Complexes
We study the empirical eigenvalue distribution of a standardized up Laplacian of the Linial-Meshulam model $Y_{q+1}(n, p)$. We first give a definition of a Gaussian--semicircle law: $\mathcal{N}(0, σ^2)\boxplus \operatorname{SC}(sσ^2)$, and give a combinatorial formula of its moments in terms of pairing partitions. In addition to that, we also prove that the limiting empirical eigenvalue distribution of this standardized up Laplacian follows a Gaussian--semicircle law, in the sense of almost surely weak convergence.
A variety of the mutual-visibility coloring problem for graphs
This paper explores variations of vertex-coloring problems defined on graph visibility properties. It introduces and studies the dual, outer, and total mutual-visibility chromatic numbers, which partition the vertex set of a graph into color classes that preserve specific mutual-visibility conditions called dual, outer or total. The work provides structural conditions under which these chromatic parameters are finite or infinite, and establishes that deciding whether a graph admits a dual, outer, or total mutual-visibility coloring using a given number of colors is NP-complete, even when restricted to two colors. Exact formulas and tight bounds for these chromatic parameters are established across several fundamental graph classes.
For block graphs, complete characterizations are provided for the outer and dual mutual-visibility chromatic numbers based on structural invariants such as cut vertices and specific forbidden subgraph structures. On Hamming graphs, the dual and total mutual-visibility chromatic numbers are shown to equal the smaller dimension of the factors, while the outer mutual-visibility chromatic number is proven to equal the star arboricity of a corresponding complete bipartite graph. Finally, the paper examines strong grid graphs, determining exact values for their total, outer, and dual mutual-visibility chromatic numbers. These results demonstrate how the parameter behaviors range from finite constants to infinity depending on the grid dimensions.
On the Moments of Least $r$-Gaps of Partitions and a Conjecture of Baruah and Talukdar
The minimal excludant or mex of a partition, introduced by Andrews and Newman \cite{AN2019,AN2020}, is the smallest positive integer missing from that partition. Baruah, Bhoria, Eyyunni and Maji \cite{BBEM2023} studied the sum of mex split according to parity, together with its $k$-th moments. Ballantine and Merca \cite{BM2020} generalized mex to the least $r$-gap, which is the smallest natural number that does not appear at least $r$ times in the partition. Baruah and Talukdar \cite{BT2026} conjectured a corresponding asymptotic equivalence between the sums of odd and even least $r$-gaps for every $r>1$, generalizing a theorem of Barman and Singh \cite{BS2024} for the classical mex. In this article, we derive exact formulas for the $k$-th moments of $r\text{-}\mathrm{mex}(π)$ for every fixed $k\geq1$, in terms of partition functions. We give a complete proof of the conjecture of Baruah and Talukdar \cite{BT2026} for every natural number $r>1$. We also generalize an identity of Hopkins, Sellers and Stanton to the least $r$-gap setting.