partition
6354 papers tagged with this keyword
Derived equivalences between diagram categories of finite posets
We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.
The VC-dimension of strongly regular graphs
A graph $G$ is $n$-existentially closed or $n$-e.c. if, for all subsets $S\subseteq V(G)$ with $|S|=n$ and for all partitions $S=A\sqcup B$, there exists a vertex in $V(G)\sm S$ adjacent to all vertices in $A$ and no vertices in $B$. We study the minimum number of edges $m(v,n)$ of a $v$-vertex $n$-e.c. graph, and show that $m(v,2)=3v+O(1)$ while $m(v,n)=Θ(v\log v)$ for fixed $n\ge 3$. The latter result uses a connection to binary covering arrays.
A related parameter is the VC-dimension of $G$, defined as the size of the largest subset of vertices shattered by the neighborhoods of vertices in $G$. We initiate systematic study of the VC-dimensions of strongly regular graphs (SRGs). We characterize the sufficiently large SRGs with VC-dimension 2. Furthermore, we determine the VC-dimension of sufficiently large Latin square graphs and of all SRGs of order at most 28, and we show that the SRGs with a given integer as smallest eigenvalue have bounded VC-dimension.
Perfect codes in weakly metric association schemes
The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes.
A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.
Balanced Spanning Trees for Triangular Strip Lattices
A balanced spanning tree is a spanning tree that contains an edge whose removal partitions the vertices into exactly two connected subtrees of equal size. In this paper, we establish explicit recurrence relations for the number of spanning trees in $2 \times n$ triangular strip lattices- obtained by adding a diagonal edge to each square of a $2 \times n$ grid graph- generalizing combinatorial counting techniques introduced by Raff [Raf08]. We then adapt arguments of Gallagher and Tapp [GT25] to count balanced spanning trees of arbitrary triangular strip lattices. We establish sharp asymptotic bounds for the proportion of balanced spanning trees as $n \rightarrow \infty$. Finally, we determine the probability that a spanning tree of a $2 \times n$ triangular strip lattice chosen uniformly at random is balanced as $n \rightarrow \infty$.
Moments of the Crank Statistic for $t$-Core Partitions and Overpartitions
Recently, Kang, Kim, and Lee \cite{Kang2026} developed a unified moment-trace framework for symmetric partition statistics using complete Bell polynomials and their inversion formula. In this paper, we apply this framework to crank statistics for $t$-core partitions and overpartitions. For $t\in\{5,7,11,17,19\}$, we show that the normalized even crank moment generating functions for $t$-core partitions admit partition-trace representations in terms of the functions $D^{(t)}_{2s}(τ)$, together with suitable Bernoulli-number shifts. We also establish inverse trace formulas that recover $D^{(t)}_{2s}(τ)$ from the corresponding normalized even crank moments. For overpartitions, we obtain analogous trace and inverse-trace identities for the normalized even moments associated with the first and second residual crank generating functions. As applications, we use complete Bell polynomials and their inversion formula to obtain explicit expressions for the $t$-core partition numbers and overpartitions number in terms of sums involving divisor function.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three I: Triples
Permutation pattern avoidance on Ferrers boards has become a central topic in enumerative combinatorics with important connections to matchings, set partitions, and other combinatorial structures as it allows one to build families of Wilf-equivalent patterns. While shape-Wilf-equivalence classes have been completely determined for individual patterns and pairs of patterns of length three, the corresponding classification for larger pattern sets has remained open. In this paper, we provide a complete classification of the shape-Wilf-equivalence classes of triples of patterns of length three. Our proofs use a bijective encoding of pattern avoiding transversals to establish all equivalence classes. As an application, we enumerate matchings avoiding triples of patterns of length three for all but two equivalence classes, extending previous results of Bloom and Elizalde. These enumerative results identify additional families of combinatorial objects counted by the Fuss-Catalan numbers and by other integer sequences appearing in the OEIS.
A study of $m$-ary partitions whose conjugates are $q$-ary
Published in Journal of Algebra Combinatorics Discrete Structures and Applications (2026), 13(3), 385-407
• View Publication
• BIB
While people have studied $m$-ary partitions of an integer $n$ and studied conjugation of partitions of $n$, these topics are rarely mixed because the $m$-ary property is almost always lost after conjugation. In a previous work, Flowers and Lockard investigated $m$-ary partitions of $n$ whose conjugates were also $m$-ary. We generalize that previous work by studying $m$-ary partitions whose conjugates are $q$-ary, where $m$ and $q$ may be distinct. We provide a family of operators on these partitions that can be used to generate all such partitions uniquely and associate a unique polynomial with each partition based on the sequence of operators used to generate it. Using the generating operators and modular arithmetic we explore many examples and families of $m$-ary partitions whose conjugates are $q$-ary.
The range and omitted values of a certain sequence involving the partition function
Let \(p(n)\) denote the ordinary partition function. Motivated by analogous questions concerning Euler's totient function and its complementary counting function, we study the range of the partition-derived sequence \(p(n)-n\). We give combinatorial interpretations of this sequence and investigate both the attained and omitted positive integers. We obtain exact and asymptotic information about the gaps between consecutive attained values and show that the range is remarkably sparse: its counting function has order \((\log x)^2\), and consequently the range has natural density zero. We also extend the discussion to partitions whose Durfee square has side at least a fixed positive integer.
Rook characters as symmetric functions
We give several characterizations of an inhomogeneous basis of the ring of symmetric functions whose evaluations are the character values of the irreducible representations of the rook monoid (symmetric inverse semigroup). Using Schur--Weyl duality, we show that the transition coefficients of this basis with the power symmetric basis are the characters of the propagating partition algebra (dual symmetric inverse monoid algebra). In addition, the structure coefficients of this basis are equal to the coefficients in the smash (or Heisenberg) product of Schur functions.
The Borowiecki-Broere Generalized Total Coloring Conjecture for Planar Graphs
We prove the conjecture of Borowiecki and Broere that every finite simple planar graph admits a generalized total coloring with four colors: a proper vertex coloring with four colors together with an edge coloring with four colors in which each edge color class is a forest and no edge receives the color of either endpoint. In fact every proper four-coloring of such a graph extends to an edge coloring of the required kind. The proof combines a component-count inequality for planar graphs whose vertices are partitioned into four independent sets, obtained by completing to a triangulation, with the matroid partition theorem applied to four graphic matroids. A Lean 4 formalization relative to six named background assumptions is described below.
A Counterexample to Wormald's Conjecture
We give a counterexample to Wormald's conjecture. A 16-vertex cubic graph, the disjoint union of $K_{3,3}$ with a 10-vertex bridged graph built from two subdivided copies of $K_4$, has no partition of its edges into two isomorphic spanning linear forests. The obstruction is parity: any such partition would force every monochromatic component to have even order while requiring a five-vertex side of a bridge to be partitioned into such components. Adjoining copies of $K_4$ gives counterexamples in every order $16+4t$. The counterexample is disconnected and leaves the connected case unresolved. The full family is verified in Lean without custom axioms.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graph algebras and defined by a deletion-loopy-contraction recursion, in which the contracted edge becomes a loop. We show that L_G contains the Tutte polynomial and admits a similar spanning-forest activity expansion. It also determines Stanley's chromatic symmetric function, the degree sequence, the induced edge count profile, and the independence polynomial for loopless graphs, and the clique and matching polynomials for simple graphs. Separating the size and the external activity of each forest component leads to a refined loopy polynomial, which we show to be equivalent to the extended U-polynomial of Noble and Welsh and to the extended polychromate. Different specializations of this common refinement give the ordinary U-polynomial, Tutte's universal V-function, and Stanley's Tutte symmetric function, placing these invariants into a single framework.
We conjecture that L_G and the U-polynomial have the same distinguishing power on simple graphs, and verify this for all graphs on at most 11 vertices. Simplicity is essential: we found two loopless multigraphs with equal U-polynomials but distinct loopy polynomials. They also have distinct extended U-polynomials, so the ordinary U-polynomial does not determine the extended one on loopless multigraphs. This solves an open problem by Merino and Noble.
For the score polytope P_G of the external bizonotopal algebra, loopy deletion-contraction lifts from the lattice-point enumerator to the polytope itself. This gives forest-indexed geometric parking complexes whose lattice points partition those of P_G, and which are piecewise-linearly parametrized by products of intervals whose lengths are the component weights in the forest expansion of L_G.
Modularity in planted partition model
Published in Comput Manag Sci 20, 34 (2023)
• View Publication
• BIB
We obtain tight bounds on the modularity of PPM graphs in the case of equally sized parts. Moreover, we provide a general method that can help in obtaining bounds for various other models.
Punctured adjacency-degree algebras of Cartesian products
For a connected regular graph G and a vertex a, we study the algebra generated by the adjacency and degree matrices of G-a and its cyclic module P_a generated by the all-ones vector. Our main theorem determines dim P_a for Cartesian products whose factors have equitable distance partitions at the chosen roots. A normalized logarithmic derivative of the local spectral generating function partitions the factors into boundary classes. We identify the boundary-return space exactly and express dim P_a as a sum of affine ranks on additive spectral fibres. For a distance-regular factor with distinct spectrum Θ, this gives dim P_a(F^{\square m}) = |mΘ| - 1. For products of powers of two distinct complete graphs, we evaluate the fibre formula in closed form. We also determine the full punctured algebras of all Hamming graphs: equality with the compressed Terwilliger algebra holds precisely in dimensions at most four for the hypercube and at most two for larger alphabets. For distance-regular graphs, adjacency moments alone determine the intersection array, with an explicit finite reconstruction. Finally, Cartesian stabilizer formulas separate metric loss from orbit splitting; on Doob graphs their distance-graded defect recovers the number of Shrikhande factors.
All polyhedral graphs with at most 16 vertices are Schurian: a computational verification
Li, Ponomarenko and Zeman state their belief that every polyhedral graph (i.e. every $3$-connected planar graph) is Schurian: that its coherent closure $WL(X)$ coincides with the orbital configuration of $Aut(X)$. Combined with their Theorem 1.1, this would imply that every polyhedral graph has Weisfeiler-Leman dimension at most $2$. We report a computational verification of the Schurian property for all polyhedral graphs with at most $16$ vertices, a total of 413,024,847,068 graphs, none of which is non-Schurian. The computation combines the generator plantri with a one-sided $1$-WL discreteness filter and, for every graph surviving that filter, a full comparison of the stable $2$-WL partition of $Ω^2$ with the orbit partition of $Aut(X)$. The computation is guarded by the published anchor counts, a seeded re-enumeration of the two largest stages, independent nauty cross-checks and control graphs with mathematically fixed verdicts; code, checkpoints and a verification script accompany the note as ancillary files. For $n\le 13$ the result reproduces what already follows from the published enumeration of coherent configurations, by an entirely different route; from $n=14$ on, deriving it from that side would require a step we could not find in the literature, and at $n=16$ the all-graphs statement fails outright - the Shrikhande graph is non-Schurian - so there the polyhedral restriction carries the result. The statement is established by exhaustive computation; with respect to the general conjecture it is instance evidence, not a proof. A companion note treats the torus side, where non-Schurian triangulation graphs do occur at $n = 16$.
Spectral properties of the resistance Laplacian with applications to data clustering and anomaly detection
The resistance Laplacian is a graph matrix associated with the effective resistance metric and provides a global counterpart of the classical graph Laplacian. Although it inherits several fundamental properties of the ordinary Laplacian, including a connected graph partitioning theorem analogous to that of Fiedler, its intrinsic spectral structure has remained largely unexplored.
In this paper, we develop a structural theory of the resistance Laplacian. We derive a canonical decomposition that separates its intrinsic, average, and deviation components, thereby revealing how the global geometry induced by effective resistance differs from the local geometry encoded by the ordinary Laplacian. Building upon this decomposition, we establish several structural and spectral properties of the associated deviation operator, obtain variational characterizations of the largest eigenvalue and its corresponding eigenspace, and express the resistance Laplacian in Laplacian coordinates, thereby elucidating the relationship between the eigenspaces of the two operators.
Finally, we formulate resistance-based graph partitioning objectives whose spectral relaxations recover the dominant eigenvector of the resistance Laplacian, providing a variational interpretation of the connected partition theorem. Experimental results on synthetic and real-life datasets demonstrate the effectiveness of the proposed framework for graph partitioning, data clustering, and exploratory anomaly detection.
Proof of a Conjecture of Cui, Gu and Tang on 18-Colored Generalized Frobenius Partitions
Recently, the study of the number of $k$-colored generalized Frobenius partitions, denoted by $cφ_k(n)$, has witnessed renewed interest. In this paper, we investigate congruence properties of $cφ_{16}(n)$ and $cφ_{18}(n)$. Our main result is a proof of the conjecture of Cui, Gu, and Tang \cite{CGT25} that, for all $n\ge0$, $cφ_{18}(3n+2)\equiv0\pmod{2187}$. The proof uses a $(p,k)$-parametrization together with $q$-series identities and dissections. We also establish congruences for $cφ_{16}(n)$ modulo $1024$ and $2048$, and for $cφ_{18}(n)$ modulo $8$ and $81$.
A counterexample to the Chung-Graham-Spiro gap-set conjecture
Chung, Graham, and Spiro introduced slow Fibonacci walks and used them to partition the integers $n\ge2$ into two sequences, the down-integers and the up-integers. They studied the local spacing of these two sequences and conjectured that their $\ell$-step gap sets agree for every $\ell\ge1$. We show that the conjecture fails at $\ell=4$ by proving \[
9\in U_4\setminus D_4 . \]
Connections between colored restricted $b$-ary and ordinary partitions
We establish various connections between classes of colored and bounded ordinary partitions on one hand, and colored but not necessarily bounded binary and $b$-ary partitions on the other hand. Many of these results are based on special recurrence relations, some of which are new. We also obtain several classes of identities for sequences of colored $b$-ary partitions, and there are a few results concerning compositions.
Enumerating cores of charged multipartitions
Granville and Ono proved that there is an $e$-core partition of $n$ for every $n\in\mathbb{N}$ if and only if $e\geq 4$, which translates to a statement about the existence of defect $0$ blocks for symmetric groups in positive characteristic and defect $0$ unipotent blocks of finite general linear groups in positive, non-defining characteristic. Motivated by analogous applications to the block theory of finite classical groups, imprimitive spetses, and cyclotomic Hecke algebras, we prove similar positivity statements about different variants of $e$-cores for charged multipartitions.