partition
6354 papers tagged with this keyword
Kazhdan-Lusztig Basis and Optimization
We describe a conjectural approach to obtaining canonical bases of the Hecke algebra at $q=1$ via continuous quadratic optimization. We focus on Specht modules $S^λ$ and proper cones inside $S^λ$ that are invariant under the action of $1+s$ for all simple reflections $s\in S$. We show that there are unique minimal and maximal cones invariant under all $1+s$. For hook shapes, two-column shapes, and partitions of the form $(n-2,2)$, we prove that the Kazhdan--Lusztig basis spans this maximal cone. More generally, we define an optimization problem over bases that are unitriangular with respect to the polytabloid basis, subject to the constraint that the operators $1+s$ act non-negatively. We prove that the feasible region forms a compact semialgebraic set, and interpret it in terms of a hierarchy of invariant cones under all $1+s$. We demonstrate that minimizing the trace of the Gram matrix uniquely recovers Young's seminormal basis. Furthermore, we verify computationally that maximization uniquely recovers the Kazhdan--Lusztig basis for all partitions of $n\leq 7$. In higher ranks, the optimization detects deviations from the Kazhdan--Lusztig basis and may favour other natural positive bases, such as the Springer basis or $p$-canonical bases. Finally, we extend this framework to irreducible representations of $\mathfrak{sl}_n$. We observe that the Gelfand--Tsetlin basis corresponds to the unique minimizer, and we conjecture that the canonical basis corresponds to the maximum in small ranks.
An elementary proof of Sierksma's conjecture for seven points in the plane
We give a new simple geometric proof that any seven points in the plane have four Tverberg partitions into three sets. This is the only confirmed non-trivial case of Sierksma's conjecture. Earlier proofs, by Stephan Hell, relied on topological arguments.
Elementary symmetric polynomials and a potentially injective family of maps on partitions
In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from applying the sequence of elementary symmetric polynomials to integer partitions, where pre_k is associated with the kth polynomial. Subsequently, we state a modified version of their conjecture. Throwing fresh light on these class of maps, we study the inter-relationships between them, deviating from the approaches so far, which study these maps one at a time. Though one case of the conjecture (k=2) has now been settled independently by the work of Ballantine and collaborators, and Li, we provide alternate proofs of three subcases corresponding to this settled case. We also discuss lower bounds for the number of partitions of n which are in the image of the map pre_2.
Bounded Littlewood identities with fixed number of odd rows or odd columns
Published in Electron. J. Combin. 33(3) (2026), Art. P3.5, 45 pp
• View Publication
• BIB
A Littlewood identity is an identity equating a sum of Schur functions with an infinite product. A bounded Littlewood identity is one where the sum is taken over the partitions with a bounded number of rows or columns. The price to pay is that the infinite product has to be replaced by a determinant. The focus of this article is on refinements of such bounded Littlewood identities where one also prescribes the number of odd-length rows or columns of the partitions. Goulden [{\it Discrete Math.} {\bf99} (1992), 69--77] had given such a refinement in which the number of columns is bounded and the number of odd-length rows is prescribed. We provide refinements where the number of columns is bounded and the number of odd-length columns is prescribed. Furthermore, we present new formulations of such bounded Littlewood identities involving skewing operators. As corollaries we obtain non-standard formulas for numbers of standard Young tableaux with restricted shapes as above. In the last part of the article we discuss combinatorial interpretations of such identities in terms of up-down tableaux. As corollaries, we obtain identities between numbers of standard Young tableaux and numbers of (marked) vacillating tableaux.
The $n$-Point Function of $t$-Core Partitions and Topological Vertex
In this paper, we study the $n$-point function of $t$-core partitions. The main tool is the topological vertex, originally developed to study the topological string theory for toric Calabi--Yau 3-folds. By virtue of the topological vertex, we introduce the $q$-deformed $n$-point function that generalizes both the ordinary $n$-point function of all integer partitions studied by Bloch--Okounkov and $t$-core partition case treated here. As a consequence, we provide a closed formula for the $n$-point function of $t$-core partitions in terms of theta functions, and prove that the corresponding correlation functions are quasimodular forms.
Noncrossing Partitions From Hull Configurations
Each finite configuration of points in the plane determines a corresponding lattice of noncrossing partitions. When these points form the vertex set of a convex polygon, the associated lattice is the classical noncrossing partition lattice (introduced by Kreweras in 1972), which makes many appearances in combinatorics and geometric group theory. If, on the other hand, all points of the configuration lie on a common line segment, the result is a Boolean lattice. In this article, we examine the more general class of hull configurations, which we define to be those which lie either on a line segment or on the boundary of a convex polygon. We prove that the corresponding lattices of noncrossing partitions are unions of maximal Boolean subposets and, under certain circumstances, have symmetric chain decompositions.
Noncrossing Partitions From Cones and Semicircles
Published in Discrete Mathematics (2026) 349-2
• View Publication
• BIB
For each finite configuration of distinct points in the plane, there is an associated lattice of noncrossing partitions. When these points form the vertices of a convex polygon, the result is the classical noncrossing partition lattice, which is enumerated by the Catalan numbers and satisfies many other useful properties. In this article, we examine three variations of this lattice which arise when the starting configuration is allowed to have points on the sides of a convex polygon rather than just the vertex set.
On additive averaging kernels for finite Markov chains
We study additive mixtures of Markov kernels of the form $A_α= αP + (1-α)G$, where $α\in [0,1]$, $P$ is a baseline sampler and $G$ is a Gibbs kernel induced by a partition of the state space. We first motivate the study of $A_α$, which can be interpreted as the projection of a lifted Markov chain. We then consider the minimisation of distance to stationarity under two objectives: the squared Frobenius norm and the Kullback-Leibler (KL) divergence. For the Frobenius objective, we derive explicit trace formulas and identify a Cheeger-type functional that characterises optimal two-block partitions. This yields a structured combinatorial optimisation problem admitting a difference-of-submodular decomposition, enabling efficient approximation via majorisation-minimisation. We also obtain geometric decay rates governed by the absolute spectral gap of $P$. For the KL divergence, we establish convexity-based bounds showing that the divergence of $A_α$ is controlled by those of both $P$ and $G$, thereby reducing partition selection to the Gibbs component. Numerical experiments on the Curie-Weiss model demonstrate that suitable choice of both the partition and the parameter $α$ can significantly accelerate convergence in total variation distance. We observe a consistent trade-off between local exploration and global averaging, with intermediate values of $α$ achieving the best performance across regimes.
On the number of missing integers in partitions
In the preceding decade, Andrews and Newman resurrected the concept of a `minimal excludant' of a partition ($mex$, for short), namely, the least positive missing integer in a partition. Subsequently, several authors have not only studied its generalizations, analogues and the like but also connected the mex to several important partition statistics. In the present paper, we study the set of missing positive integers as a whole, in two different classes of partitions, namely, unrestricted partitions and overpartitions. To be precise, a $missing \ integer$ is a positive integer that is less than the largest part of a partition and which does not occur as a part. In particular, we examine the number of partitions with a given number of missing integers, determine congruences for two pairs of functions associated to them, and propose three bias type inequality conjectures for these functions.
Reconstructing a graph from its Bell colouring graph
The Bell colouring graph $\mathcal{B}(G)$ of a graph $G$ is the graph whose vertices are the partitions of the vertex set of $G$ into independent sets, with an edge between two partitions if and only if one can be obtained from the other by changing the part of a single vertex of $G$. Given a natural number $k$, the Bell $k$-colouring graph $\mathcal{B}_k(G)$ and the upper-Bell $k$-colouring graph $\mathcal{B}_{\geq k}(G)$ are the induced subgraphs of $\mathcal{B}(G)$ consisting of all partitions with at most $k$ parts and at least $k$ parts, respectively.
We determine precisely when two finite graphs have isomorphic Bell colouring graphs. In particular, we show that every $n$-vertex graph $G$ with no vertices of degree $n-1$ is uniquely determined by its Bell colouring graph $\mathcal{B}(G)$, and by its upper-Bell colouring graph $\mathcal{B}_{\geq k}(G)$ if $k\leq n-2$. We also show that every $n$-vertex graph with maximum degree $Δ(G)< \frac{1}{9}n-\frac{1}{3}$ is uniquely determined by its Bell $k$-colouring graph $\mathcal{B}_k(G)$ if $k>χ(G)$. By taking graph complements, each of these results can be restated in terms of partitions into cliques.
Base Modulus for Matroid Truncation, Strength, and Fractional Arboricity
In [27], we provided results on the $p$-modulus of the family of all bases of matroids and showed that it recovers various concepts in matroid theory, including strength, fractional arboricity, and principal partitions. In particular, the unique optimal density $η^*$ that arises for $p$-modulus, which we will refer to as universal density from now on, was shown to recover the concept of lexicographical base in polymatroids. Since truncation is a fundamental operation in matroid theory, it is natural to ask how the universal density behaves under matroid truncation. In this paper, we first provide the universal density of every truncation of a given matroid; equivalently, we determine the principal partition for every matroid truncation. Next, we give a new characterization of the universal density using the Kullback--Leibler divergence. Furthermore, we study the notion of strictly homogeneous matroids, generalizing the corresponding notion in graphs from [6]. We also offer several insights related to strength, fractional arboricity, and give the set of probability mass functions (pmfs) for bases that induce the universal density in a simple case. Finally, this paper also addresses two optimization problems for graph structures, particularly those involving edge-disjoint spanning trees and forest edge-coverings.
Support and Support Jumps in the Partition Graph
Let $G_n$ be the partition graph whose vertices are the partitions of $n$, with adjacency given by elementary transfers of one cell between parts, followed by reordering. We study the support of a partition -- the set of distinct part sizes -- as a global vertex invariant of $G_n$. We show that support size $r$ occurs in $G_n$ if and only if $T_r=r(r+1)/2\le n$, so the maximal support size is $ρ(n)=\max\{r:T_r\le n\}$. We determine exactly how support changes along an edge: the support jump always lies in $\{-2,-1,0,1,2\}$, and we give an explicit birth-death formula in terms of the source and target part sizes. We also prove the degree bound $°(λ)\ge σ(λ)(σ(λ)-1)$ for every partition $λ$, with equality exactly for staircase partitions. In addition, support size is invariant under conjugation, the support-$1$ stratum consists exactly of rectangular partitions, and the coarse support-level graph always contains the chain $1-2-\cdots-ρ(n)$. We conclude with computational data for small $n$, including support-stratum counts, support-jump counts, and connectivity data for fixed-support subgraphs.
A Strict Gap Between Relaxed and Partition-Constrained Spectral Compression in a Six-State Lumpable Markov Chain
This paper studies a finite reversible lumpable Markov chain for which relaxed spectral compression yields a larger determinant than partition-constrained compression. For a symmetric six-state lumpable chain and the positive operator $T=P^2$, I compare the relaxed benchmark \begin{equation*} \mathfrak D^{\mathrm{rel}}_3(T):=\sup_{U^*U=I_3}\det(U^*TU) \end{equation*} and the partition-constrained benchmark \begin{equation*} \sup_{\mathcal A\,\mathrm{3\text{-}partition}}\det Q_{\mathcal A}(T), \qquad Q_{\mathcal A}(T)=H_{\mathcal A}^*TH_{\mathcal A}. \end{equation*} Here the partition-constrained benchmark is the compression induced by normalized indicator vectors of genuine partitions of the state space. I derive closed formulas for the two analytically central partition families, prove strict upper bounds for both in a local-mode-dominated regime, and combine these bounds with an exhaustive enumeration of all $90$ partitions into three nonempty cells in an explicit six-state model. For this model, one obtains a strict global gap: \begin{equation*} \sup_{\mathcal A}\det Q_{\mathcal A}(T)<\mathfrak D^{\mathrm{rel}}_3(T). \end{equation*} Thus, in this model, indicator-based partition frames are strictly weaker than relaxed orthonormal frames even after global partition-constrained optimization.
Species, Symmetric Functions, and Kronecker Product
Published
• View Publication
• BIB
We study two new families of symmetric functions arising from a species-theoretic construction motivated by cycle structure. For each partition of $n$, we define two combinatorial species that decompose into molecules indexed by the same partition, giving rise to two corresponding basis of the homogeneous symmetric functions of degree $n$. We prove that each of these families forms a basis by exhibiting explicit cycle-index formulas and triangular transition matrices to the power-sum basis. Using these constructions, we generalize a classical result describing the Kronecker (Hadamard) product in the homogeneous basis to the two new settings. In particular, we show that the categories generated by these species are closed under the Kronecker product, and that the product of two basis elements expands with nonnegative integer coefficients. Our results provide a new combinatorial framework for studying the Kronecker product and suggest avenues toward interpreting its structure constants
The Random Subsequence Model and Uniform Codes for the Deletion Channel
We introduce the Random Subsequence Model, a spin glass model on pairs of random strings $(X,Y) \in \{0,1\}^N \times \{0,1\}^M$ whose partition function counts subsequence embeddings of $Y$ into $X$. We study two variants: the null model, where $X$ and $Y$ are independent and uniform, and the planted model, where $X$ is uniform and $Y$ is a uniformly-random length-$M$ subsequence of $X$. We connect the Random Subsequence Model to longstanding problems in various fields, including the best rate achievable by uniformly-random codes in the deletion channel, the longest common subsequence problem between two random strings, and models of directed polymers in statistical physics.
In the regime where $N,M\to\infty$ at a fixed ratio $α= M/N \in (0,1)$, we exhibit strict asymptotic separations between the null annealed free energy and the quenched free energies of the null and planted models at all values of the density parameter $α$. This suggests that these models are in a spin glass phase at zero temperature throughout the entire dense regime. As a consequence, we show that uniformly-random codes achieve a positive rate in the deletion channel for all deletion probabilities $p\in [0,1),$ settling multiple conjectures of the second author, Isik and Weissman (2024) and proving the first such positive rate result for the regime $p \geq 1/2$.
We also give an exact analytic formula for the annealed free energy of the planted model for all values of the density parameter. This implies a corresponding analytic upper bound on the best rate achievable by uniformly-random codes in the deletion channel, complementing the lower bound from our first result. Our upper and lower bounds for the capacity of the deletion channel under uniform codes are far closer to each other than the best known upper and lower bounds for the capacity of the deletion channel.
Stability and ribbon bases for the rank-selected homology of geometric lattices
This paper analyzes the representation theoretic stability, in the sense of Thomas Church and Benson Farb, of the rank-selected homology of the Boolean lattice and the partition lattice, proving sharp uniform representation stability bounds in both cases. It proves a conjecture of the first author and Reiner by giving the sharp stability bound for general rank sets for the partition lattice. Along the way, a new homology basis sharing useful features with the polytabloid basis for Specht modules is introduced for the rank-selected homology and for the rank-selected Whitney homology of any geometric lattice, resolving an old open question of Björner. These bases give a matroid theoretic analogue of Specht modules.
A counterexample to the conjecture on Biclique Partition number of Split Graphs and related problems
The biclique partition number of a graph \(G\), denoted \( \operatorname{bp}(G)\), is the minimum number of biclique subgraphs needed to partition the edge set of $G$. Lyu and Hicks \cite{lyu2023finding} posed the open problem of whether \( \operatorname{bp}(G) = \operatorname{mc}(G^c) - 1 \) holds for every co-chordal graph or split graph, where \( \operatorname{mc}(G^c) \) denotes the number of maximal cliques in the complement of \( G \). Such a result would extend the celebrated Graham--Pollak theorem to a more general class of graphs. In this note, we answer this problem in the negative by providing a counterexample using a split graph. We also construct an infinite family of counterexamples and prove some structural properties of biclique partitions of split graphs. Finally, we solve an open problem posed by Siewert \cite{siewert2000biclique} on the existence of singular \(n\)-tournaments with binary rank \(n\).
Stingray Patterns of Dominant Weights
We study the set $W_{r,e,w}\ $ of dominant weights of $\mathfrak{sl}_r$ arising from partitions of fixed $e$-weight $w$. For $e$-cores, we show that $W_{r,e,0}\ $ decomposes as a disjoint union of simplices indexed by compositions of $r$. For general $w$, we prove that $W_{r,e,w}\ $ is a disjoint union of copies of these simplices, with multiplicities determined by the corresponding quotient data, yielding in particular a closed counting formula for $|W_{r,e,w}\ |\ $. The geometry gives rise to the stingray patterns appearing in the title. More generally, it yields a natural labeling of the dominant $e$-alcoves meeting $W_{r,e,w}\ $ by weak compositions of $w$, together with a compatible partial action of the affine Weyl group via wall crossing. Finally, we give an explicit alcove-geometric proof of the empty runner removal theorem for Iwahori-Hecke algebras.
On Matrices Whose Distinct Eigenvalues Are Fully Captured by Quotient Matrices
Let $M$ be the $n$-square matrix partitioned into $\ell^2$ blocks $b_{ij}$ according to some partition $P=\{C_{1},\dots,C_{\ell}\}$ of index set $\{1,\dots,n\}$. The quotient matrix $Q=(q_{ij})$ is a $k$-square matrix, with $\ell \leq k \leq n-1$, where $(ij)$-th entry is the average row sum (or column sum) of the corresponding block $b_{ij}$ in $M$. The partition $P$ is said to be \emph{equitable} if row sum of each block $b_{ij}$ is constant. In this case, the matrix $Q$ is referred to as the \emph{equitable quotient matrix} of $M$, and the spectrum of $Q$ is the subset of the spectrum of parent matrix $M$. We characterize some classes of matrices such that their equitable quotient matrix $Q$ contains all the distinct eigenvalues of $M$, thereby information can be obtained form the smallest matrix $Q$ without actually analyzing the parent matrix $M.$ We present necessary and the sufficient conditions for distinct eigenvalue of $M$ contained in the spectrum of of $Q$ in terms of eigenspaces. We end up article with some applications, where distinct eigenvalues of a parent matrix can be completely encoded by quotient matrix.
On congruence conjectures of Andrews and Bachraoui
Andrews and the third author recently studied congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan-type congruences and a vanishing identity for the limiting sequence. In this paper, we settle these conjectures by relating the corresponding generating function to modular forms and mock theta functions.