partition
6401 papers tagged with this keyword
Quantum K-structure constants and cylindric Grothendieck polynomials for Grassmannians
We use the partition functions of a five-vertex exactly solvable lattice model from statistical mechanics to give new combinatorial formulae for the Schubert structure constants of torus-equivariant quantum K-theory rings of Grassmannians. The proofs build on our earlier results where we identified the transfer matrices of these lattice models geometrically as multiplications by the Hirzebruch $λ_y$ classes of the tautological subbundle and the (dual) quotient bundle. The structure constants are solutions of a system of linear equations with coefficients given by the partition function. This system may be solved explicitly by specializing the Hirzebruch parameter $y$ to an equivariant parameter, leading to explicit formulae using Cramer's rule. Furthermore, we give an alternative combinatorial construction of the partition functions in terms of sums over cylindric set-valued tableaux, which we call cylindric Grothendieck polynomials. The latter generalise McNamara's factorial skew Grothendieck and Yeliussizov's modified Grothendieck polynomials and can be thought of as an equivariant K-theoretic version of Postnikov's toric Schur function. We also provide new polynomial representatives for equivariant K-theory classes of Richardson varieties and their variants.
A new lower bound for the sixth Schur number: $S(6)\ge 537$
We give an explicit partition of $\{1,\ldots,537\}$ into six sum-free sets, establishing $S(6)\ge 537$. This improves the lower bound 536 of Fredricksen and Sweet (2000). Known recursive constructions then give the improved lower bounds $S(8)\ge 5\,372$, $S(11)\ge 204\,208$, $S(13)\ge 2\,042\,082$, and $R_6(3)\ge 539$. We also report 131 pairwise inequivalent partitions found by the search. We describe their structure and provide the complete partitions in the supplementary material. These partitions provide starting points for future searches and structural studies of Schur partitions.
Nonexistence of Constant Congruences for the Cumulative Partition Function
Let $p(n)$ be the ordinary partition function and let $c(n)=\sum_{k=0}^{n-1}p(k)$, with $c(0)=0$. We prove that, for every $a\geq1$, $b\geq0$, and $m\geq2$, the sequence $c(an+b)$ is not eventually constant modulo $m$, thereby answering a question posed by Chen. The proof combines the algebraicity over $\mathbb C(j)$ of modular functions for finite-index subgroups of $\mathrm{SL}_2(\mathbb Z)$ with Voloch's theorem on the transcendence of elliptic modular functions in positive characteristic.
On Arithmetic-Progression Biases in Random Partitions: Limiting Laws and the Li-Zhao Conjecture
Let $\cR=\{r+jm:j\geq0\}$ and $\cS=\{s+jm:j\geq0\}$ be disjoint arithmetic progressions of positive integers, and choose a partition of $n$ uniformly at random. We determine the limiting probability that the number of parts in $\cR$ is larger than the number of parts in $\cS$. More precisely, if $a=r/m$ and $b=s/m$, then this probability converges to $I_{1/2}(a,b)$, the regularized incomplete beta function. We prove the stronger distributional statement that, after multiplication by the partition saddle-point parameter, the difference of the two numbers of parts converges to $m^{-1}(\log G_b-\log G_a)$, where $G_a$ and $G_b$ are independent gamma variables. The proof uses the Boltzmann conditioning device for random partitions, a $q$-gamma evaluation of the unconditioned characteristic function, and a uniform Fourier estimate showing that conditioning on the total size does not change the limit. We also evaluate the finite-truncation limit studied by Li and Zhao. The two evaluations coincide, proving their conjecture on the commutation of the truncation and large-size limits.
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously.
For the crystal lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov or, equivalently, Bender-Knuth involutions.
Compression Formula for Nonattacking Fillings of Non-symmetric Macdonald Polynomials
Macdonald polynomials are an important family of orthogonal polynomials that have applications to statistical physics. Corteel, Mandelshtam, and Williams proved a combinatorial model involving multiline queues for partitions; however, their work does not apply to weak compositions in general. We conjecture a first step towards this direction via a variant of the nonattacking filling model for nonsymmetric Macdonald Polynomials $E_μ$. This new model compresses the classical nonattacking filling model of Haglund, Haiman, and Loehr and mirrors the concept of trivial pairs in the multiline queue model. We prove it for a large family of weak compositions and explain the difficulty of extending this proof to the general case.
The three-colour bipartite Ramsey number of sufficiently long even cycles
For a bipartite graph $H$, let $\operatorname{br}_3(H)$ be the least integer $N$ such that every three-colouring of $K_{N,N}$ contains a monochromatic copy of $H$. We prove that $\operatorname{br}_3(C_{2n})=3n$ for all sufficiently large $n$, and give the lower bound for every $n\ge2$. For the upper bound, we reduce a counterexample to a finite rational weighted profile. Cycle extension and vertex-cover arguments force the critical components to have six unique minimum covers which partition the profile. The remaining component supports give a contradiction.
An Exact 93-Move Solution to a Nonlocal Crystal-Exchange Puzzle
We determine the minimum number of directional commands needed to solve alevel of Order of the Sinking Star, modeled as a crystal-exchangepuzzle on an 11*11 board. A command swapsthe player with the nearest crystal in the selected row or column, regardlessof distance; only an empty ray permits an ordinary unit walk. Two gates admitthe player to the exit exactly while all sixteen crystals occupy their targetcells. We give an explicit 93-command solution and exclude every shortersolution by an exact, cost-bounded breadth-first search. The search representsa position by its seventeen occupied cells and one active cell. Its admissibleheuristic partitions command costs between a compressed core abstraction andresidual motion, strengthened by a necessary activation detour and a cornervisit condition. The completed computation retained 605,349,215 occupied setsand 1,863,925,136 states. We prove the reductions and pruning conditions,describe the exact storage scheme, and provide source code, execution logs,and a reproduction driver. The result is a computer-assisted proof for thespecified instance, with an explicit implementation trust boundary.
Counting and constructing Latin tableaux
Latin tableaux generalize Latin squares to Young diagrams and have interesting connections to linear algebra and Rota's basis conjecture. Conjecturally, a partition admits Latin tableaux if and only if it belongs to a special class called wide partitions. We prove that various classes of wide partitions admit Latin tableaux. We extend these classes further by showing that the number of Latin tableaux is weakly increasing over certain operations on wide partitions. Additionally, we establish an explicit formula for the number of Latin tableaux using (0,1)-matrices and matrix permanents.
General Criterion for a Poset to Admit a Partition Into $ω$-Chains
Given a poset $P$ with no maximal element the question naturally arises of when $P$ can be partitioned into $ω$-chains. In this paper we give general criterion for when this can be done. We show that in the case when a poset with no maximal element is countable or a well-founded forest, then it can always be partitioned into $ω$-chains. We then introduce the lifting property for posets with no maximal element and show that a poset can be partitioned into $ω$-chains if and only if it has the lifting property.
Balanced subgraph counts and quasirandomness: a proof of the Janson--Sós conjecture
Let $F$ be a finite simple graph with $m$ vertices and at least two edges, and let $p\in(0,1]$. We prove that a graph sequence is $p$-quasirandom if and only if the symmetrized counts of copies of $F$ across every balanced partition into $m$ classes have the asymptotics predicted by the random graph with edge probability $p$. This settles a conjecture of Janson and Sós for all such $F$, including graphs with isolated vertices. The proof completes their graph-limit reduction by a concavity argument for a sum of fractional powers determined by the degree sequence of $F$. We also show that a symmetrized subgraph kernel of positive mean can be additive in its coordinates only when the underlying graphon is constant almost everywhere. This rigidity result yields a quasirandomness criterion for generalized restricted subgraph counts, resolving a further conjecture of Janson.
Schur positivity of the nabla operator on two-column modified Hall--Littlewood polynomials
Bergeron, Garsia, Haiman, and Tesler (1999) introduced two Schur positivity conjectures concerning the action of the $\nabla$ operator on modified Hall--Littlewood polynomials. Although the proofs of the celebrated compositional shuffle conjecture and its rational generalization, along with various symmetric function identities, have largely resolved these conjectures in the affirmative, we provide an elegant alternative proof driven by $q$-series techniques. Through this approach, we derive explicit Schur function expansions for two-column partitions and extend our results to arbitrary positive powers $\nabla^k$.
The geometric combinatorics of $k$-shuffle braid groups
This paper is the first in a series of two which aims at introducing a new family of groups called $k$-shuffle braid groups, denoted $\mathcal{B}_{n}(k)$. These groups have two intrinsically related stories. They were first observed by Calegari in arXiv:2105.11265 by looking at spaces of complex monic polynomials of degree $n$ whose critical values lie in $\mathbb{C} \setminus \{1, e^{\frac{2πi}{k}}, \dots, e^{\frac{2π(k-1)}{k}}\}$. The $k$-shuffle braid groups are the fundamental groups of those spaces, which correspond geometrically to complements of $k$ translates of the discriminant variety. The second story starts from the poset of $k$-shuffle partitions, which were introduced by Drew Armstrong and explored in depth in his thesis arXiv:math/0611106. In this paper, we focus on the combinatorial aspects of $k$-shuffle braid groups starting from the poset of $k$-shuffle non-crossing partitions. We build a CW-complex on which the groups act freely, properly discontinuously and cocompactly, which we show is CAT(0) for dimension up to 7. For higher dimension, we show that the CAT(0) property is implied by the conjecture of Brady and McCammond that the dual braid complex is CAT(0) (arXiv:0909.4778).
From Wheel to Jahangir graphs: spectra and energy under structured edge deletion
The energy of a graph, introduced by Gutman, is defined as the sum of the absolute values of the eigenvalues of its adjacency matrix. In this work we study how the energy of the Wheel graph $W_n$ changes when a specific set of spokes is removed. The resulting graphs are precisely the Jahangir graphs $J_{m,n}$, where m divides n, and which may also be viewed as the Cycle graph $C_n$ together with an additional vertex adjacent to certain vertices of $C_n$ in a cyclic pattern. We determine the spectra of $J_{2,n}$, $J_{4,n}$, and $J_{6,n}$ by exploiting a factorization of their characteristic polynomials arising from equitable partitions. This yields explicit closed formulas for their energies. Moreover, under certain conditions, we establish the following monotonicity chain: \[\mathcal{E}(C_n) \;\leq\; \mathcal{E}(J_{6,n}) \;\leq\; \mathcal{E}(J_{4,n}) \;\leq\; \mathcal{E}(J_{2,n}) \;\leq\; \mathcal{E}(W_n).\]
A counterexample to Gale's conjecture in $\mathbb{R}^3$
It is known that for every partition of the sphere $S^2$ of unit diameter into four parts, the largest diameter of a part is at least $\sqrt{(3+\sqrt{3})/6} = 0.88807\dots$, and this bound is attained. The conjecture of D.~Gale (1953) asserts that no set in $\mathbb{R}^3$ has a larger ratio. In this paper, we construct a $101$-point set $V\subset\mathbb{R}^3$ such that every partition of $V$ into four parts contains a part of diameter greater than $0.88928 \, \operatorname{diam} V$.
Sharp Euler-factor positivity for the BG-rank-refined five-core crank
In this paper, we complete the resolution of Stanton's problem OPAC--005 by proving its fixed-BG-rank assertion. We further establish a sharp nine-factor positivity theorem for the joint generating function.
Let $K_{n,j}(z)$ enumerate partitions of $5n+4$ with BG-rank $j$ by the integer five-core crank prescribed in OPAC--005, and put $[5]_z=1+z+z^2+z^3+z^4$. We prove that $K_{n,j}(z)/[5]_z$ has nonnegative integer Laurent coefficients for every $n\ge0$ and $j\in \mathbb Z$. The refined equidistribution theorem of Berkovich and Garvan gives divisibility; the new assertion is coefficientwise nonnegativity.
Set $Ψ(u,z,q)=\sum_{n\ge0}\sum_{j\in \mathbb Z}q^{n+1}u^jK_{n,j}(z)$ and $D(q)=\prod_{d\ge1}(1-q^{2d})$. For every nonnegative integer $M$, we show that $D(q)^MΨ(u,z,q)/[5]_z$ has nonnegative coefficients if and only if $M\le9$. Thus positivity survives after removing nine of the ten partition factors supplied by the core--quotient decomposition. A coefficient equal to $-4$ at $M=10$ proves sharpness.
The key step is a compensation between lattice terms of different core sizes that preserves both the BG-rank and the full integer crank. Theta identities and three local coefficient inequalities provide the required nonnegative contributions, and an explicit allocation ensures that none is used twice. The resulting factorization also yields a nine-color convolution and coefficientwise finite-difference inequalities through order nine.
Intersecting families with large covering number - On a conjecture of Frankl, Ota, and Tokushige
Stability theorems on intersecting families are often formulated via the covering number of set families. Let $M(n,k,t)$ denote the maximum size of a $k$-uniform intersecting family $\mathcal F\subseteq \binom{[n]}{k}$ with covering number $t$. It is known that for any fixed $t$ and fixed $k$ sufficiently large relative to $t$, one has $M(n,k,t)=(p_{t-1}(k)+o(1))(k)\binom{n}{k}$ as $n$ tends to infinity, where $p_{t-1}(k)$ is the maximum number of covers of size $t-1$ that a $k$-uniform intersecting family can have provided its covering number is $t-1$. Frankl, Ota, and Tokushige conjectured that $p_t(k)=k^t-\binom{t}{2}k^{t-1}+O_t(k^{t-2})$ for fixed $t$ as $k$ tends to infinity and they also showed that $p_t(k)=k^t-b(t)k^{t-1}+O_t(k^{t-2})$, where $b(t)$ is defined as the extremum of the following minimization problem. Suppose a $k$-uniform intersecting family $\mathcal F$ of covering number $t$ can be partitioned into $\mathcal F_1,\dots,\mathcal F_t$ such that for every $i$ there exists a set $X_i$ with $X_i \subseteq F_i$ for all $F_i\in\mathcal F_i$ and the $X_i$'s are pairwise disjoint and non-empty. Then $b(t)$ is the minimum of $\sum_{i=1}^t(k-|X_i|)$ over all such families, partitions and $X_i$'s. In accordance with the conjecture on $p_t(k)$, Frankl, Ota, and Tokushige conjectured $b(t)=\binom{t}{2}$ for all $t\ge 2$ and proved $\frac{1}{\sqrt{2}}\lfloor \frac{t-1}{2}\rfloor^{3/2}\le b(t)\le \binom{t}{2}$.
In this note, we present a counterexample to the conjecture showing $b(t)\le 2\sqrt2\,t^{3/2}\sqrt{\log t}$ $+O(t^{3/2})$ and improve the lower bound to $\frac{2}{3^{3/4}}t^{3/2}-O(t)\le b(t)$. The counterexample was found by ChatGPT 6.1Sol, the lower bound proof is due to the human author.
The e-positivity of $\mathrm{rowDiv}_k(e_μ)$
We prove that the partition division operator $\mathrm{rowDiv}_k$ preserves e-positivity, resolving a conjecture of Alexandersson and Dai. For $μ\vdash kn$ and $ν\vdash n$, we express the coefficient of $e_ν$ in $\mathrm{rowDiv}_k(e_μ)$ as a normalized sum of positive rational weights over closed walks on a finite directed graph of $k$-restricted partitions. The proof combines the Pieri rule and a root of unity factorization for Macdonald polynomials.
As a corollary, we recover the h-positivity of the symmetric functions $A_{n,k}$ of Amdeberhan, Shareshian, and Stanley.
The Complexity of Weak Partition Connectivity in Hedgegraphs
We prove that deciding whether the weak partition connectivity (WPC) of an unweighted hedgegraph is at most a given integer is NP-complete, resolving an open question about its computational complexity. Hardness holds even for connected full-support split systems, where each hedge consists of two nonempty, vertex-disjoint hyperedges covering all vertices. We also obtain hardness on connected edge-colored simple graphs in which each color class is a spanning forest with exactly two nontrivial trees. On both classes, exact computation of fractional WPC is NP-hard, whereas hedge connectivity is computable exactly in polynomial time. A binary matrix formulation yields the reduction and a deterministic polynomial-time exact algorithm under a linear intersection condition on row supports after normalization and column compression. In particular, both integer and fractional WPC are computable in polynomial time when these supports have size at most two, whereas NP-hardness holds already when their size is bounded by three. For every fixed $b$, we give deterministic and randomized efficient polynomial-time approximation schemes on hedgegraphs in which each hedge has at most $b$ connected components, counting isolated vertices. Both schemes return one partition that simultaneously approximates integer and fractional WPC. Unless $\mathrm P=\mathrm{NP}$, neither objective admits a deterministic FPTAS, even on the two hard instance classes.
Affine diagram categories, algebras and monoids
Published
• View Publication
• BIB
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.