partition
6354 papers tagged with this keyword
Diffuse Gaussian Truncation For Deterministic Approximate Counting
We give deterministic FPTASes for two dense counting problems on which the known deterministic algorithms, based on zero-free interpolation, run in quasipolynomial time. For fixed $0<γ<1/2$ and $0<θ\leq1$, the first approximates $\mathrm{haf}(A)$ for a symmetric matrix $A$ when its support graph $G$ has minimum degree at least $(1/2+γ)n$ and its nonzero entries lie in $[θ,1]$. It also approximates permanents under the analogous bipartite condition, including full-support matrices in $[θ,1]$. For fixed $β>0$ and $0<κ\leq1$, the second approximates the zero-field Ising partition function $Z(J)$ for zero-diagonal real symmetric matrices $J$ satisfying $\max_{i,j}|J_{ij}|\leqβ/n$ and $λ_{\max}(J)\leq1-κ$. No separate lower-eigenvalue condition is imposed. We further prove $\log\mathrm{haf}(A)=h_A(G)-n/2+O_{γ,θ}(1)$ and $Z(J)=2^n\det(I-J)^{-1/2}(1+O_{β,κ}(1/n))$. Here $h_A(G)$ is the maximum weighted fractional-matching entropy. For unweighted graphs, the first formula improves the Cuckler--Kahn error from $o(n)$ to $O_γ(1)$ on the fixed-margin class and extends it to weights in $[θ,1]$.
Both algorithms use a common Gaussian truncation principle. Each problem becomes an integral of a product of a fixed entire function over Gaussian coordinates, with possibly indefinite moment matrix entries of order $1/n$. Cancelling the linear term and exactly resumming the quadratic term leaves a coordinate remainder vanishing to order at least three. Complex dilation handles small supports. For large supports, we bound the recombined tail by a large-deviation rate that beats the entropy of the subsets. The truncation error is at most $(CR/n)^{R/2}+e^{-cn}$. This faster-than-geometric decay permits $R\log(en/R)=O(\log n+\log(1/ε))$ and hence polynomial enumeration.
Estimating the asymptotics of integer partitions in intermediate dimensions ($d = 3,4,5,6$)
It was recently shown by Yeliussizov \cite{Yeliussizov} that integer partitions in dimensions $d \geq 7$ asymptotically grow strictly faster than MacMahon numbers. As MacMahon numbers match with integer partitions in dimensions $d = 1,2$, the comparison of asymptotics of integer partitions with MacMahon numbers in intermediate dimensions ($d = 3,4,5,6$) is an open question. In this work, we perform Markov chain Monte Carlo (MCMC) simulations till $N=15000$ by using adaptive weight learning followed by conventional MCMC steps to numerically estimate the asymptotics of integer partitions in these intermediate dimensions. We numerically establish that in these intermediate dimensions, partitions asymptotically grow faster than MacMahon numbers. More specifically, assuming that the limits exist, we show: $\lim_{n\to\infty}n^{-3/4}\log p_3(n) = 1.8196 \pm 0.0019$, $\lim_{n\to\infty}n^{-4/5}\log p_4(n) = 1.7215 \pm 0.0045$, $\lim_{n\to\infty}n^{-5/6}\log p_5(n) = 1.6521 \pm 0.0059$, and $\lim_{n\to\infty}\log n^{-6/7}p_6(n) = 1.652 \pm 0.021$ for partitions in dimensions $d=3,4,5,$ and $6$ respectively. These numbers are all larger than MacMahon leading order asymptotic coefficients of $1.7898, 1.6614, 1.5737,$ and $1.509$ respectively. Additionally, we also find estimates for some of the sub-leading asymptotic terms in $\log p_d(n)$ in each of the dimensions.
On uniquely colorable Cayley graphs
We resolve two open problems regarding uniquely colorable Cayley graphs posed by Klotz and Sander (2017). First, we construct an infinite family of uniquely 3-colorable integral circulant graphs with a clique number of 2. This provides a negative answer to Problem 3.6, which asks whether every uniquely colorable circulant graph satisfies $χ(G) = ω(G)$. Because verifying unique colorability inherently relies on the exact independence number, we demonstrate that traditional spectral bounds fail to tightly capture this parameter, necessitating a rigorous combinatorial proof based on exact structural isomorphisms. Second, we establish a general algebraic construction proving the existence of uniquely colorable Cayley graphs over nonabelian groups whose color classes are left cosets of strictly distinct subgroups. By utilizing right-coset partitions of non-normal subgroups, this result provides a definitive affirmative answer to Problem 2.4.
New Upper bounds on the Mondrian Art Problem
We present a new upper bound on the defect of the Mondrian Art Problem. The Mondrian Art Problem asks for a partition of an $n \times n$ square with rectangles of distinct dimensions such that the difference (defect) between the largest and smallest rectangle areas is minimized. We prove that for any $n \times n$ square, there exists a partition with defect $O(n^{5/6})$, improving upon the previously conjectured $O (n/\log n)$ upper bound. We also implement an algorithm that provides empirical evidence supporting our theoretical bound.
Varieties of chain complexes and mixed dimer covers
A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.
Prime and Touchard Congruences of Mixed-Type Bell Numbers
This paper establishes a comprehensive combinatorial and arithmetic framework for mixed Stirling and mixed Bell numbers, bridging partition structures, Touchard polynomials, and prime-power congruences. Furthermore, we develop to $p$-adic valuation theory, proving prime-power Touchard congruences and higher-order modulo-$p^2$ refinements that generalize classical arithmetic properties of combinatorial sequences.
A requested analytic proof of an identity of Dixit, Kumar, and Srivastava
Recently Dixit, Kumar, and Srivastava investigated what they called Rascoe and non-Rascoe partitions. These are defined to be the set of distinct partitions where the length of the partition is a part of the partition and is not a part respectively. In this note we provide a $q$-series theoretic proof of two identities regarding the generating function for unrestricted Rascoe and non-Rascoe partitions fulfilling a request of Dixit, Kumar, and Srivastava. We also prove a conjecture of Beck relating non-Rascoe partitions and the rank of a partition.
A Full-Sequence Quantitative Gap Between the Chromatic and Cochromatic Numbers of a Random Graph
Let $ζ(G)$ denote the minimum number of parts in a partition of $V(G)$ in which every part induces either a clique or an independent set. Erdős and Gimbel asked whether, for $G_n\sim G(n,1/2)$, the difference $χ(G_n)-ζ(G_n)$ tends to infinity with high probability. We resolve this problem along the full sequence $n\to\infty$ and prove that $\mathbb P(χ(G_n)-ζ(G_n)\ge ((\log 2)^2/4)\log(200/153)\,n/(\log n)^3)\to1$. This gives a lower bound at the conjectured scale $n/(\log n)^3$. We also obtain a phase-resolved refinement: if $δ_n$ is the fractional part of the standard independence-number center, then the coefficient may be replaced by $(\log 2)^2A_4(δ_n)/4-o(1)$, where $A_4$ is explicit, continuous, nonconstant, and satisfies $A_4(δ)>\log(200/153)$ for every $δ\in[0,1]$. The proof uses signed cocoloring profiles supported on four consecutive class sizes and remains uniform across jumps of the natural class-size cutoff. An exact signed-overlap identity separates local cell rewards from a binary cycle-space factor. A canonical decomposition into high cells and a capped residual matching, together with an endpoint-table comparison and an injective restriction of residual even edge sets, yields the required second-moment bound. A bounded-differences argument then amplifies the resulting rare signed witness to a high-probability cocoloring.
Shifted Macdonald Polynomials and the $(q,t)$-Deformed Goulden--Jackson Product
In a preceding article, we introduced stable symmetric series encoding simultaneously the normalized conjugacy classes of all symmetric groups. The same rational series remain stable for the Jack-deformed Goulden--Jackson product. We investigate their two-parameter Macdonald analogue. Starting from the $(q,t)$-deformed class product (dual to the coproduct diagonal on the $J$-basis), we construct the unique infinite series whose multiplication realizes any shifted Macdonald eigenvalue. In contrast with the classical and Jack cases, this transform is no longer multiplication by a fixed explicit series. We identify it with a composition of a Cauchy multiplication, the integral nabla operator, and a simple diagonal operator. We then determine the series realizing the Nazarov--Sklyanin operators $A^{(k)}$, derive a single generating series for all column partitions, and compare our construction with the Macdonald characters and Theta operators of Ben Dali and D'Adderio.
Exponential random graph models with soft clique constraints
Let $r\geq3$ be fixed, and let $\mathbf{G}_n$ be the set of all simple graphs with vertex set $[n]=\{1,\ldots,n\}$. We consider an exponential random graph model which gives higher probability to $G \in \mathbf{G}_n$ than to $H \in \mathbf{G}_n$ if $G$ has fewer $r$-cliques than $H$. But all graphs in $\mathbf{G}_n$ have positive probability. The degree to which graphs with fewer $r$-cliques are given higher probability is determined by a positive weight $w$. We prove that, asymptotically almost surely as $n \to \infty$, a random graph from $\mathbf{G}_n$ has a vertex partition into $r-1$ parts of roughly equal size, the density of edges between the parts is close to $1/2$, and for every $\varepsilon > 0$ the density of edges within any part is less than $\varepsilon$. The asymptotic structural properties are independent of the weight $w$ as long as it is positive. We also extend the result to the context of several clique sizes, each one with its own weight.
Extensions of Hindman's theorem via finite colorings of topological groups
We study the partition regular properties of topological groups, proving several extensions of Hindman theorem where monochromatic sets of finite sums are required to satisfy additional topological constraints. In particular, our results imply that for every nowhere dense set $C \subseteq \mathbb{R}^n$, there exists an open set $P \supseteq C$ such that for any finite coloring of $\mathbb{Q}^n \setminus P$, there is a family $\mathcal{A}$ of sequences in $\mathbb{Q}^n \setminus P$ which satisfies the following properties: (i) for each $A\in\mathcal A$, the set $\operatorname{FS}(A)$ of finite sums of $A$ is a closed discrete subset of $\mathbb R^n$; (ii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is monochromatic; and (iii) the set $\bigcup_{A\in\mathcal A}\operatorname{FS}(A)$ is dense in an open unbounded subset of $\mathbb R^n$.
Specht ideals for the imprimitive complex reflection group $G(r,1,n)$: geometric orbit types and a dominance theorem
Moustrou, Riener, and Verdure related the dominance order on partitions to Specht ideal and variety inclusion for $S_n$; we previously extended this to direct products of symmetric groups. Here we take a first step toward the imprimitive complex reflection group $G(r,1,n)=(\mathbb{Z}/r\mathbb{Z})\wr S_n$. The correct geometric invariant of a point $x\in K^n$ is a pair $(μ,z)$: a classical partition $μ$ on the $r$-th powers of the nonzero coordinates, together with the number $z$ of zero coordinates. We construct a $G(r,1,n)$-invariant ideal $I_{(μ,z)}$ for each such pair, and show that a dominance order on $(μ,z)$, with $z$ taking strict priority over $μ$, exactly characterizes both ideal inclusion and reverse variety inclusion. We settle a monomial criterion in three regimes, recover the classical $B_n$-Specht ideal theory at $r=2$ when $z=0$, and establish radicality of $I_{(μ,z)}$ at the two extremes of the $z=0$ level. Four computational examples, checked exhaustively for group invariance, illustrate the construction throughout.
On $(1,2^4)$ and $(1,2^5)$-packing edge-coloring of sparse subcubic graphs
A $(1^j,2^k)$-packing edge-coloring of a graph $G$ is a partition of the edge set $E(G)$ into $j$ matchings and $k$ induced matchings. Hocquard, Lajou, and Lu\v zar found a subcubic planar graph of girth $3$ that has no $(1,2^5)$-packing edge-coloring and also conjectured that every subcubic planar graph has a $(1,2^6)$-packing edge-coloring. We also notice that for every fixed positive integer $k$ there exists a subcubic planar graph with girth $k$ that is not $(1,2^3)$-packing edge-colorable.
It is natural to consider what is the minimum positive integer $k_1$ such that every subcubic planar graph with girth at least $k_1$ is $(1,2^5)$-packing edge-colorable. Furthermore, we also consider what is the minimum positive integer $k_2$ such that every subcubic planar graph with girth at least $k_2$ is $(1,2^4)$-packing edge-colorable. In this paper, we show both $k_1$ and $k_2$ are finite, and in fact $5 \le k_1 \le 12$ and $6 \le k_2 \le 16$.
A square-root law for equitable coloring
An equitable $k$-coloring of a graph partitions its vertex set into $k$ independent sets whose sizes differ by at most one; the least such $k$ is the equitable chromatic number $\chie(G)$. Every known bound on $\chie$ valid for all graphs, beginning with the Hajnal--Szemerédi theorem, is linear in the maximum degree $Δ$, and the star $K_{1,Δ}$, for which $\chie=\ceil{Δ/2}+1$, shows that no general bound below $Δ/2$ exists. We prove that this obstruction is a shortage of vertices rather than an effect of the degree: every graph with $|V(G)|\ge3χ(G)Δ$ satisfies $\chie(G)=O\bigl(χ(G)^{3/2}\sqrt{Δ/\lnΔ}\bigr)$ throughout the range $χ(G)\le(Δ/\lnΔ)^{1/3}$, so that for graphs of large order the degree enters only through $\sqrt{Δ/\lnΔ}$, with the chromatic number governing the rest. For each fixed $\ell$, $\ell$-colorable graphs of sufficiently large order satisfy $\chie\le\bigl(2\sqrt2\,\ell\sqrt{\ell-1}+o(1)\bigr)\sqrt{Δ/\lnΔ}$, while a probabilistic construction supplies graphs of arbitrarily large order, bipartite when $\ell=2$, with $\chie\ge\tfrac13\sqrt{(\ell-1)Δ/\lnΔ}$: the order of growth $Θ\bigl(\sqrt{Δ/\lnΔ}\bigr)$ is exact for every fixed chromatic number, and the extremal constant is determined up to a factor $O(χ(G))$. All upper bounds are constructive, and a prescribed-anchor variant of the construction produces equitable colorings of bipartite graphs with $O(\sqrtΔ)$ colors in optimal linear time.
Fine Difference Structure and Prime-Power Depth of Bent Partitions
A $p$-ary bent partition of $\mathbb{F}_p^n$ is a partition into $K$ nonempty cells such that every balanced assignment of its cells to $\mathbb{F}_p$ produces a bent function. It was asked whether every possible depth $K$ is a power of $p$; for general $p$, previous affirmative results required regularity or cell-symmetry hypotheses. We prove the stronger unconditional statement that, for every nonzero $h$, exactly $p^n/K$ points remain in the same fine cell under translation by $h$. Thus the fine cells form a partitioned difference family and the fine label map is zero-difference balanced. Consequently $K\mid p^n$, so $K=p^t$; nonempty cells further give $1\le t<n$. In even dimension, the classical cell-size theorem yields $K\mid p^{n/2}$. Together with the known odd-dimensional ternary three-fibre parameter restriction, this gives the global bound $t\le\lfloor n/2\rfloor$. The proof is an exact finite average over balanced coarsenings. The main counting identity and selected consequences are formalized and kernel-checked in Lean 4.
Quasi-polynomiality and $N$-point functions of single connected leaky completed Hurwitz numbers
In this paper, we study the structures of single connected $k$-leaky $(r+1)$-completed Hurwitz numbers. We first prove that, for fixed genus, after extracting an explicit product of Pochhammer type factors, the stable connected leaky Hurwitz numbers for partition $μ$ are polynomials in the quotients $[μ_i]$ modulo $k+r$. We then give a closed formula for the generating function of single connected leaky Hurwitz numbers, which can be used to study the genus dependence of leaky Hurwitz numbers.
Counting Boolean Antichains
We say that an antichain in a lattice $L$ is Boolean if it generates a Boolean sublattice in $L$ in a particularly nice way. These purely combinatorial objects play a role in the representation theory of the incidence algebra of the lattice $L$, as indicated by recent results of Rognerud, Yıldırım and of the last author with Klász, Kleinau and Marczinzik. Given these motivations, it is natural to ask: Can we count and construct Boolean antichains in certain lattices? In this paper we give a construction of Boolean antichains in Boolean lattices, partition lattices and Tamari lattices. Furthermore, we share the surprisingly elegant formulas we found for the number of these Boolean antichains.
On the spectrum and expansion of graph associahedra
In this article, we contribute to the spectral analysis of graph associahedra by providing a lower bound for the second largest eigenvalue of $\mathcal{A}(G)$. Furthermore, using equitable partitions, we analyze the spectrum of the stellohedron $\mathcal{A}(K_{1,n})$. Specifically, we prove the existence of an eigenvalue in each interval $(n-i, n-i+1]$ for $1 \leq i \leq 5$, establish the presence of an eigenvalue with high multiplicity in $(n - \frac{3}{n} + \frac{2}{n^2-n}, n)$, and identify two additional small eigenvalues.
Partitions of canonical bases
We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.
Complexity of Arc-Decompositions involving Perfect Matchings and Cycle Factors
For two digraph properties $P_1$ and $P_2$, a $(P_1,P_2)$-arc-decomposition of a digraph $D$ is a partition $A(D)=A_1\mathbin{\dot\cup}A_2$ such that the spanning subdigraphs $D[A_1]$ and $D[A_2]$ have properties $P_1$ and $P_2$, respectively. For example, a (strong,strong)-arc-decomposition of a digraph $D=(V,A)$ is a partitioning $A=A_1\cup{}A_2$ of $A$ so that each of the spanning digraphs $D_i=(V,A_i)$, $i=1,2$ are strongly connected. We prove that it is NP-complete to decide whether a digraph admits an arc-decomposition with properties $(P_1,P_2)$ where $(P_1,P_2)\in \{$(is a perfect matching, having no odd directed cycle), (perfect matching, strong), (perfect matching, having an out-branching), (is a cycle factor, having no odd directed cycle)$\}$. These results settle some open problems posed by Bang-Jensen, Bessy, Gonçalves, and Picasarri-Arrieta [Theoret. Comput. Sci. 928 (2022), 167--182].