partition
6231 papers tagged with this keyword
Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions
For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=\sum_{j=0}^{n-1}c_j(k)k^j$ with periodic coefficient functions $c_j$, and set $b_m=\#\{i:m\mid a_i\}$. In 2008, Beck, Sam, and Woods conjectured that the minimum period of $c_j(k)$ is $\mathrm{lcm}\{m:b_m>j\}$. In this paper, we derive an exact root-of-unity formula for every coefficient function $c_j(k)$. The formula proves the conjectured divisibility upper bound, but it also reveals a lower bound for the period of $c_j(k)$. Both divisibility bounds are sharp. This leads us to construct a family of counterexamples to this conjecture.
The P-vertex problem for graphs with perfect matchings
Sharma and Panda recently proved that every bipartite graph with a perfect matching has property (P); that is, it admits a non-singular real symmetric matrix with support graph G for which every vertex is a P -vertex. In this paper, we extend their result from bipartite graphs to arbitrary graphs. To this end, we introduce the notion of a P - vertex covering and define the P -vertex covering number p(G) as the minimum number of non-singular matrices in S(G) needed so that every vertex of G is a P -vertex of at least one of them. Given a maximal matching of G, we partition the vertex set into the vertices saturated by the matching and the remaining vertices, which necessarily form an independent set. We then construct separate matrices covering these two classes of vertices. We use the Implicit Function Theorem as a perturbation tool to establish the desired result.
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.
Large Sidon Subsets of Distinct Multinomial Coefficients
For a positive integer n, let M_n be the set of distinct values of n!/(p_1! ... p_t!), where (p_1,...,p_t) ranges over the integer partitions of n. We study the maximum cardinality s(n) of a Sidon subset of M_n. The sets M_n satisfy a product embedding that yields the elementary lifting inequality s(n) >= s(r) + n - r. By combining a one-third extraction lemma for strongly Sidon subsets with general results on Sidon subsets and unrestricted prime partitions, we prove
liminf_{n -> infinity} log(s(n)/n) log log n / sqrt(log n) >= pi/sqrt(3).
In particular, s(n) = Omega(n log n). In the opposite direction, we construct many pairwise disjoint arithmetic progressions in M_n. Let M(n)=|M_n|. Then
liminf_{n -> infinity} (M(n)-s(n))/(n^(3/2) sqrt(log n)) >= 2/(3 sqrt(3)).
We also report exact values of s(n) for 1 <= n <= 16, obtained by an exhaustive SAT computation. The complete Maple source code, console output for n=14,15,16, and a description of the encoding are supplied as supplementary material.
Freeness of Arrangements with Regular Underlying Matroids
We classify freeness for finite central arrangements whose underlying matroids are regular. Let $\mathcal A$ be such an arrangement over an arbitrary field, and put $M=M(\mathcal A)$. Then $\mathcal A$ is free if and only if $M$ is supersolvable; equivalently, $M$ admits a nice partition; equivalently, $M$ is the cycle matroid of a chordal simple graph. Thus, for arrangements with regular underlying matroids, freeness has a complete combinatorial classification independent of the base field.
We use Seymour's decomposition theorem for regular matroids to prove that freeness forces supersolvability. We also characterize nice partitions of finite simple binary matroids: a partition is nice if and only if it is independent and no line is contained in a single block. Consequently, a finite loopless binary matroid admits a nice partition if and only if it is simple and supersolvable.
A quantitative container characterization of one-sided testability
We give a quantitative combinatorial characterization of size-oblivious one-sided testability in the dense graph model, resolving a question of Alon, Fischer, Newman, and Shapira. For hereditary graph properties, we prove that one-sided testability is quantitatively equivalent to the existence of suitable hypergraph containers, a central and widely used tool in modern combinatorics. Combining this equivalence with the Alon-Shapira notion of semi-hereditariness yields a quantitative characterization of arbitrary graph properties. The correspondence is effective in both directions and provides explicit translations between tester complexity and container parameters. Our proof is regularity-free and extends uniformly to every fixed finite relational signature of bounded arity, including digraphs, coloured graphs, and hypergraphs. As applications, we obtain quantitative closure results for partition properties and testers for properties defined by the existence of a linearly large induced substructure.
Fixed Perimeter Analogues of Several Partition Results Related to Parity
In 2016, Straub proved that Euler's classic partition identity holds true for partitions with largest hook (perimeter) $n$. This inspired further study of the relationship between classical partitions and fixed perimeter partitions. We extend the study of parity bias inequalities, first introduced by Kim, Kim, and Lovejoy in 2020, to the fixed perimeter setting and show using combinatorial methods that fixed perimeter analogues of many classical parity bias results can be proven and generalized. We also extend these methods to prove similar inequalities for the fixed perimeter analogues of PED and POD partitions. We additionally develop recursive formulas for the number of perimeter $n$ partitions with odd parts distinct and even parts unrestricted and with even parts distinct and odd parts unrestricted.
Mirror Variations on Catalan Multijections
A Catalan multijection is a way to partition a set of $\binom{2n}{n}$ objects into equivalence classes of size $n+1$, where each equivalence class has exactly one distinct Catalan object. Isaak and Langley investigated when two multijections produced the same partitions in an unpublished manuscript. We propose some new multijections for which we get different partitions from previously discovered multijections.
An optimal refinement-compatible bijection between singleton-free partitions and partitions without cyclic adjacencies
It is well known that the number of partitions of $[n]$ without singletons equals the number of partitions of $[n]$ in which no block contains two cyclically adjacent elements $i,i+1\pmod{n}$. Bernhart remarked that there might be no simple bijection between these two classes. Although Callan later constructed an algorithmic bijection proving the stronger equidistribution of singletons and adjacencies, his construction proceeds through multiple rounds of exchanges. Therefore, Bernhart's remark may still retain some validity, as suggested by Chen and Wang. In this article, we address this remark by giving a direct ``one-round'' bijection between the two classes. Unlike Callan's bijection, our map is closely compatible with the refinement order on partitions: in one direction it only decomposes blocks, while its inverse only merges blocks, with a single exceptional pair when $n>2$ is even. We further observe that this exception is unavoidable, establishing the optimality of the bijection with respect to the refinement order. The specific local form of these operations --- splitting off only singleton blocks and merging a singleton only with the block containing its cyclic neighbor --- also ensures that the construction restricts, without modification, to a bijection between the corresponding classes of noncrossing partitions.
Asymptotically optimal bracketing covers for anchored boxes
Bracketing covers and $δ$-covers provide finite discretizations of the anchored boxes that define the star discrepancy. Let $N_{[]}(d,δ)$ and $N(d,δ)$ denote the corresponding bracketing and covering numbers. We prove the lower bounds \[
N_{[]}(d,δ)\ge \lceil δ^{-d}\rceil,
\qquad
N(d,δ)\ge
\left\lceil \frac{d!}{d^d}\,δ^{-d}\right\rceil. \] We also construct, for every fixed $d$, bracketing covers which, together with the lower bound, show that $N_{[]}(d,δ)=(1+o_d(1))δ^{-d}$ as $δ\downarrow0$. The construction combines a coarse partition with box-dependent anisotropic local grids. Its shared vertices yield $δ$-covers with asymptotic upper coefficient one. Explicit upper bounds are obtained for both quantities.
Monochromatic cycle partitions in 3-mean edge-colourings
Given $r \in \mathbb{N}$ and an edge-coloured complete graph such that the average number of colours incident with a vertex is at most $r$, Conlon and Stein asked whether there is a vertex partition into a bounded number of monochromatic cycles, and proved this for $r=2$. We settle the first open case by proving the corresponding statement for $r=3$.
Strong invariants and Tverberg numbers in convexity spaces
Helly, Carathéodory, and Radon numbers encode three kinds of finite certificates in a convexity space: for the emptiness of an intersection, for membership in a convex hull, and for the existence of intersecting hulls. We study exact versions of these certificates, in which a subfamily must preserve the whole intersection or a subset must preserve the whole hull. Our first main result shows that, for finite configurations in an arbitrary convexity space, five a priori different boundedness conditions are equivalent: VC-dimension, strong Helly number, strong Carathéodory number, comatching number, and strong Radon number (with the expected additive-one shift). We also obtain equivalent layered Tverberg-type decompositions and colorful consequences.
The common mechanism is exposed by the bipartite incidence graph between points and a generating family. For finite spaces, the unique minimal generator yields a natural dual convexity space; we characterize double dualization and prove that the strong parameters are duality invariant. The same model gives a polynomial-size, $O(t^4)$, realization of Bukh's counterexample to the Calder-Eckhoff partition conjecture.
Finally, we obtain the first Tverberg bound for separable convexity spaces that is simultaneously linear in the number of parts and polynomial in the Radon number. If an $S_3$-separable convexity space has Helly number $h$ and its halfspaces have VC-dimension $d$, then $r_t=O(dh\log h)\,t$; in particular, Radon number $r$ gives $r_t=O(r^2\log r)\,t$. The bound attains the weak-Eckhoff scale $O(rt)$ whenever the Helly number is bounded. For axis-parallel box convexity in $\mathbb{R}^k$, gives the optimal order $r_t=O(rt)$ uniformly in every dimension. This appears to be the first dimension-uniform estimate of weak-Eckhoff order for box convexity, whereas the previous direct theory was confined to dimension three.
Slice and Partition Rank Criteria for Polynomial Zero-Avoidance
We study polynomial zero-avoidance over finite vector spaces by means of slice rank and partition rank. We first make the support-entropy method effective by showing how a finite dual certificate yields an explicit entropy gap whenever the coefficient support admits no probability distribution with uniform marginals. For the quadratic elementary symmetric polynomial over fields of characteristic three, the ternary structure of the coefficient support gives a certificate with optimal normalized margin and a uniform analytic bound for the corresponding higher-degree Erdős--Ginzburg--Ziv constant, avoiding a separate optimization for each field.
We then use partition rank to handle solutions in pairwise distinct variables. Equality profiles are encoded by contracted local tensors, reducing the global problem to finitely many slice-rank estimates. Applying this reduction on the multiplicative torus gives restricted-alphabet zero-sum bounds with exponential base below the alphabet size. Coordinatewise inversion and support stratification then yield, to the best of our knowledge, the first nontrivial exponential bound for the higher-degree Erdős--Ginzburg--Ziv problem over $\mathbb{F}_5^n$ associated with the fourth elementary symmetric polynomial.
Schur Eisenstein series and Schur MacMahon series
We introduce and study two partition-indexed families of quasimodular forms obtained from Schur functions: Schur Eisenstein series and Schur MacMahon series. An explicit transition between them can be interpreted as a convolution in a Faà di Bruno Hopf algebra of symmetric functions. We discuss the classical sl2-action and prove that Schur Eisenstein series for partitions with parts of size at most 3 give a basis for quasimodular forms. Further, we conjecture that the Schur MacMahon series span all quasimodular forms with integral coefficients.
Franklin's identity for $n$-color partitions and companion Beck-type identities
We show that some classical identities valid for ordinary partitions have precise analogues for $n$-color partitions, that is partitions in which a part of size $n\geq 1$ can occur in colors $1, 2, \ldots, n$. For $r \ge 2$ and $j \ge 0$, we write $\mathcal{O}_{j,r}(m)$ and $\mathcal{D}_{j,r}(m)$ for the sets of $n$-color partitions of $m$ with, respectively, exactly $j$ different parts whose size and color are divisible by $r$, and exactly $j$ different parts occurring at least $r$ times. We prove an $n$-color version of Franklin's theorem, $|\mathcal{O}_{j,r}(m)| = |\mathcal{D}_{j,r}(m)|$, along with two Beck-type identities. We give both analytic and combinatorial proofs for all theorems.
Upper bounds for the monotone rank of the unique disjointness matrix
It is shown that the $\mathsf{OR}$-rank (covering rank) of the $2^n \times 2^n$ unique disjointness matrix is $n^{O(1)}(3/2)^n$, hence the known lower bound $1.5^n$ turns out to be essentially tight. By the way, an upper bound $1.89^n$ is obtained for the $\mathsf{SUM}$-rank (partition rank) of this matrix.
Mixed partition functions are exactly the graph parameters of exponentially bounded edge-connection rank
We prove a conjecture of Regts and Sevenster: a complex-valued graph parameter $f$ with $f(\varnothing)=1$ has exponentially bounded edge-connection rank if and only if it is a mixed partition function; moreover, the model may be chosen with its numbers of even and odd colours explicitly bounded in terms of the rank bound. From $f$ we construct a connection category, a rigid symmetric $\mathbb{C}$-linear monoidal category whose morphism spaces have the connection ranks as dimensions and whose trace pairings are nondegenerate. The rank hypothesis forces moderate tensor growth, and a recent theorem of Etingof and Penneys then shows that every nilpotent endomorphism has trace zero; together with the nondegeneracy of the trace pairing, this makes the category semisimple, and a theorem of Deligne provides a faithful symmetric tensor functor to finite-dimensional super vector spaces. We then identify the resulting super tensor network with the Regts-Sevenster model exactly, viz. with its Eulerian-subgraph expansion and its sign of $-1$ for every fermionic circuit. An appendix gives an independent and direct proof of the nilpotent-trace step, showing that in a rigid symmetric $\mathbb{C}$-linear category with $\mathrm{End}(\mathbf{1})=\mathbb{C}$, exponentially bounded endomorphism growth makes the trace zeta function of every endomorphism rational, with explicit degree bounds.
Diamond-free, claw-free cubic graphs are (1, 1, 2, 3)-packing colorable
A $(1, 1, 2, k)$-packing coloring of a graph $G$ is a partition of $V(G)$ into two independent sets, a 2-packing, and a $k$-packing. Recently, the question was posed in [A short proof that every claw-free cubic graph is (1, 1, 2, 2)-packing colorable, arXiv:2512.24001v1] as to whether every claw-free cubic graph is $(1, 1, 2, 3)$-packing colorable. We provide an answer in the affirmative in the case that $G$ is a diamond-free, claw-free cubic graph.
A minimally nonperfectly divisible graph with a bisimplicial vertex
We disprove Hoàng's conjecture that a minimally nonperfectly divisible graph cannot contain a bisimplicial vertex. Our counterexample has 93 vertices, 320 edges, clique number three, and a bisimplicial vertex of degree four. A perfect division of a graph $H$ is a partition $V(H)=A\mathbin{\dot\cup}B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$; a graph is perfectly divisible when each of its induced subgraphs with at least one edge has such a division. The constructed graph has no perfect division, whereas every proper induced subgraph is perfectly divisible. Its construction uses a forcing mechanism based on rooted graphs: six 15-vertex rooted graphs force their roots into $A$, and a nine-vertex auxiliary graph then forces a triangle into $B$. We isolate this mechanism in a rooted composition lemma, which proves symbolically that every proper induced subgraph is perfectly divisible. All finite assertions concerning the rooted and auxiliary graphs are verified by exact exhaustive computation, with an independent implementation providing a cross-check. The same construction gives a negative answer to a prescribed-vertex problem of Hu, Xu and Zhuang.
Hypernatural numbers in arithmetic Ramsey theory
The hypernatural numbers $\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the partition regularity of certain families of infinite configurations. We also present a new theorem about monochromatic sums and products.