partition
6235 papers tagged with this keyword
Extending Andrews and Newman's refinement of the crank-mex theorem
The crank-mex theorem states that the number of integer partitions of $n$ with nonnegative crank equals the number with odd minimal excludant (mex). Andrews and M. Newman recently refined that result in terms of the number of parts greater than one. Here, we establish and expand a complementary result connecting the partitions with even mex, having fixed points, with negative crank, and with positive crank, all refined in terms of number of parts greater than one. We provide both analytic and combinatorial proofs.
Affine Jacobi-Trudi formulas and $q,t$-Rogers-Ramanujan identities
We conjecture affine or Hall-Littlewood analogues of the dual Jacobi-Trudi formulas for orthogonal and symplectic Schur functions indexed by rectangular partitions of maximal height. These conjectures are then used to derive $t$-analogues of many known Rogers-Ramanujan identities for the characters of standard modules of affine Lie algebras. This includes $t$-analogues of the classical Rogers-Ramanujan identities, (some of) the Andrews-Gordon identities and the $\mathrm{C}_n^{(1)}$, $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+2}^{(2)}$ GOW identities. We also prove an affine analogue of the dual Jacobi-Trudi formula for Schur functions indexed by rectangular partitions of arbitrary height.
Stabilizing Automorphisms of Quantum Affine Space
We examine the graded automorphism groups of quantum affine spaces and classify these groups for spaces of dimension 7 or less. Using permutation actions on partitions, we investigate cases when the group decomposes as a product of graded automorphism groups of smaller dimensional spaces, and we describe the groups arising from the Kronecker tensor product of independent quantum parameter matrices.
Generalizations of Euler's Theorem to $k$-regular partitions
Let $A_k(n)$ denote the set of $k$-distinct partitions of $n$, and let $B_k(n)$ be the set of $k$-regular partitions of $n$. Glaisher showed that $\# A_k(n) = \# B_k(n)$. For $k=2$, this equality yields the celebrated Euler's partition theorem. In this paper, we present a new partition set $E_k(n)$, which is equinumerous to $B_k(n)$.
A Van der Waerden-free proof of Rado's theorem
We present a proof of the sufficiency of Rado's condition for the partition regularity of linear Diophantine equations that avoids any use of van der Waerden's theorem. The proof is based on fundamental properties that are common knowledge in combinatorics of numbers and is entirely elementary, with the sole exception of a standard application of the compactness principle.
Enumeration of Even Dimensional Partitions modulo 4
The number of standard Young tableaux possible of shape corresponding to a partition $λ$ is called the dimension of the partition and is denoted by $f^λ$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.
Leading terms of relations on a level 5 module over the twisted affine Lie algebra $A_2^{(2)}$
One of the starting points of this work was the duality of Borcea relating standard level $k$ representations of $A_1^{(1)}$ and level $2k+1$ of $A_2^{(2)}$. For $k=1$ the combinatorial bases in both cases yield the two Capparelli identities and we wanted to see if there is a correspondence between the bases in terms of partitions for all $k\in\mathbb N$. By using the vertex operator relations in the principal picture for level $5$ standard $A_2^{(2)}$-modules we reduce a spanning set of Poincare-Birkhoff-Witt-type vectors in $L(5Λ_0)$ by removing the leading terms of relations and rendering a list of 34 ``difference'' conditions for partitions.We have with computer programs sorted out the sets of partitions satisfying these conditions and formed the partial generating series which agrees with the principally specialized character for all powers of $q$ up to $41$. Although our list of leading terms is incomplete, our results show that the corresponding combinatorial identity for $L_{A_2^{(2)}}(5Λ_0)$ drastically differs from the one for the Borcea dual $L_{A_1^{(1)}}(2Λ_0)$.
An Approximation Framework for Parametric Matroid Interdiction Problems
Matroid interdiction problems are well-researched in the field of combinatorial optimization. In the matroid $\ell$-interdiction problem, an interdiction strategy removes a subset of cardinality $\ell$ from the matroid's ground set. The goal is to maximize the weight of a remaining optimal basis. We examine the multi-parametric generalization of this problem, where every weight is given by a linear function depending on a parameter vector. For every parameter value, we are interested in an optimal interdiction strategy and the weight of an optimally interdicted basis. We develop the first framework for lifting approximation algorithms for the non-parametric matroid $\ell$-interdiction problem to its multi-parametric variant. Whenever there exists a $β$-approximation algorithm for the non-parametric problem, we obtain an approximation algorithm for the multi-parametric problem with an approximation quality arbitrarily close to $β$. Our method yields an FPTAS for partition matroids and a $(1-\varepsilon)\frac{1}{4}$-approximation for graphic matroids. As part of the construction, we develop the first approximation algorithm for a conventional multi-parametric optimization problem in which the parameter vector varies in an arbitrary polytope.
Optimal and Efficient Partite Decompositions of Hypergraphs
We study the problem of partitioning the edges of a $d$-uniform hypergraph $H$ into a family $F$ of complete $d$-partite hypergraphs ($d$-cliques). We show that there is a partition $F$ in which every vertex $v \in V(H)$ belongs to at most $(\frac{1}{d!} + o_d(1))n^{d-1}/\lg n$ members of $F$. This settles the central question of a line of research initiated by Erdős and Pyber (1997) for graphs, and more recently by Csirmaz, Ligeti, and Tardos (2014) for hypergraphs. The $d=2$ case of this theorem answers a 40-year-old question of Chung, Erdős, and Spencer (1983). An immediate corollary of our result is an improved upper bound for the maximum share size for binary secret sharing schemes on uniform hypergraphs.
Building on results of Nechiporuk (1969), we prove that every graph with fixed edge density $γ\in (0,1)$ has a biclique partition of total weight at most $(\tfrac{1}{2}+o(1))\cdot h_2(γ) \frac{n^2}{\lg n}$, where $h_2$ is the binary entropy function. Our construction implies that such biclique partitions can be constructed in time $O(m)$, which answers a question of Feder and Motwani (1995) and also improves upon results of Mubayi and Turán (2010) as well as Chavan, Rabinia, Grosu, and Brocanelli (2025). Using similar techniques, we also give an $n^{1+o(1)}$ algorithm for finding a subgraph $K_{t,t}$ with $t = (1-o(1)) \fracγ{h_2(γ)} \lg n$.
Our results show that biclique partitions are information-theoretically optimal representations for graphs at every fixed density. We show that with this succinct representation one can answer independent set queries and cut queries in time $O(n^2/ \lg n)$, and if we increase the space usage by a constant factor, we can compute a $2α$-approximation for the densest subgraph problem in time $O(n^2/\lg α)$ for any $α> 1$.
On minimum Venn diagrams
An $n$-Venn diagram is a diagram in the plane consisting of $n$ simple closed curves that intersect only finitely many times such that each of the $2^n$ possible intersections is represented by a single connected region. An $n$-Venn diagram has at most $2^n-2$ crossings, and if this maximum number of crossings is attained, then only two curves intersect in every crossing. To complement this, Bultena and Ruskey considered $n$-Venn diagrams that minimize the number of crossings, which implies that many curves intersect in every crossing. Specifically, they proved that the total number of crossings in any $n$-Venn diagram is at least $L_n:=\lceil\frac{2^n-2}{n-1}\rceil$, and if this lower bound is attained then essentially all $n$ curves intersect in every crossing. Diagrams achieving this bound are called minimum Venn diagrams, and are known only for $n\leq 7$. Bultena and Ruskey conjectured that they exist for all $n\geq 8$. In this work, we establish an asympototic version of their conjecture. For $n=8$ we construct a diagram with 40 crossings, only 3 more than the lower bound $L_8=37$. Furthermore, for every $n$ of the form $n=2^k$ for some integer $k\geq 4$, we construct an $n$-Venn diagram with at most $(1+\frac{33}{8n})L_n=(1+o(1))L_n$ many crossings. Via a doubling trick this also gives $(n+m)$-Venn diagrams for all $0\leq m<n$ with at most $40\cdot 2^m$ crossings for $n=8$ and at most $(1+\frac{33}{8n})\frac{n+m}{n}L_{n+m}=(2+o(1))L_{n+m}$ many crossings for $k\geq 4$. In particular, we obtain $n$-Venn diagrams with the smallest known number of crossings for all $n\geq 8$. Our constructions are based on partitions of the hypercube into isometric paths and cycles, using a result of Ramras.
Bott manifolds of Bott--Samelson type and assemblies of ordered partitions
A Bott manifold is a smooth projective toric variety having an iterated $\mathbb{C} P^1$-bundle structure. A certain family of Bott manifolds is used to understand the structure of Bott--Samelson varieties (or Bott--Samelson--Demazure--Hansen varieties), which provide desingularizations of Schubert varieties. Indeed, each Bott--Samelson variety is diffeomorphic to a Bott manifold. However, not all Bott manifolds originate from Bott--Samelson varieties. Those that do are specifically referred to as Bott manifolds of Bott--Samelson type. In this paper, we provide a characterization of Bott manifolds of Bott--Samelson type by exploring their relationship with combinatorial objects called assemblies of ordered partitions. Using this relationship, we enumerate Bott manifolds of Bott--Samelson type and describe isomorphic Bott manifolds of Bott--Samelson type in terms of assemblies of ordered partitions.
Theory and algorithms for clusters of cycles in graphs for material networks
Analysis of complex networks, particularly material networks such as the carbon skeleton of hydrocarbons generated in hydrocarbon pyrolysis in carbon-rich systems, is essential for effectively describing, modeling, and predicting their features. An important and the most challenging part of this analysis is the extraction and effective description of cycles, when many of them coalesce into complex clusters. A deterministic minimum cycle basis (MCB) is generally non-unique and biased to the vertex enumeration. The union of all MCBs, called the set of relevant cycles, is unique, but may grow exponentially with the graph size. To resolve these issues, we propose a method to sample an MCB uniformly at random. The output MCB is statistically well-defined, and its size is proportional to the number of edges. We review and advance the theory of graph cycles from previous works of Vismara, Gleiss et al., and Kolodzik et al. In particular, we utilize the polyhedron-interchangeability (pi) and short loop-interchangeability (sli) classes to partition the relevant cycles. We introduce a postprocessing step forcing pairwise intersections of relevant cycles to consist of a single path. This permits the definition of a dual graph whose nodes are cycles and edges connect pairs of intersecting cycles. The pi classes identify building blocks for crystalline structures. The sli classes group together sets of large redundant cycles. We present the application to an amorphous hydrocarbon network, where we (i) theorize how the number of relevant cycles may explode with system size and (ii) observe small polyhedral structures related to diamond.
Nearly tight bounds for MaxCut in hypergraphs
An $r$-cut of a $k$-uniform hypergraph is a partition of its vertex set into $r$ parts, and the size of the cut is the number of edges which have at least one vertex in each part. The study of the possible size of the largest $r$-cut in a $k$-uniform hypergraph was initiated by Erdős and Kleitman in 1968. For graphs, a celebrated result of Edwards states that every $m$-edge graph has a $2$-cut of size $m/2+Ω(m^{1/2})$, which is sharp. In other words, there exists a cut which exceeds the expected size of a random cut by the order of $m^{1/2}$. Conlon, Fox, Kwan and Sudakov proved that any $k$-uniform hypergraph with $m$ edges has an $r$-cut whose size is $Ω(m^{5/9})$ larger than the expected size of a random $r$-cut, provided that $k \geq 4$ or $r \geq 3$. They further conjectured that this can be improved to $Ω(m^{2/3})$, which would be sharp. Recently, Räty and Tomon improved the bound $m^{5/9}$ to $m^{3/5-o(1)}$ when $r \in \{ k-1,k\}$.
Using a novel approach, we prove the following approximate version of the Conlon-Fox-Kwan-Sudakov conjecture: for each $\varepsilon>0$, there is some $k_0=k_0(\varepsilon)$ such that for all $k>k_0$ and $2\leq r\leq k$, in every $k$-uniform hypergraph with $m$ edges there exists an $r$-cut exceeding the random one by $Ω(m^{2/3-\varepsilon})$. Moreover, we show that (if $k\geq 4$ or $r\geq 3$) every $k$-uniform linear hypergraph has an $r$-cut exceeding the random one by $Ω(m^{3/4})$, which is tight and proves a conjecture of Räty and Tomon.
Polynomial extensions of Raimi's theorem
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.
Latin cubes with disjoint subcubes of two orders
Given a partition $h_1+h_2+\dots+h_k = n$, a latin square of order $n$ with pairwise disjoint subsquares of orders $h_1,\dots ,h_k$ is called a realization. When the values $h_i$ are of at most two sizes, the existence of a realization has been completely determined. However, the existence of a latin cube with pairwise disjoint subcubes of two orders is only partially solved. In this paper, we determine existence for such latin cubes in almost all cases.
Half-Diagrams in Partition Algebras: A Geometric Perspective on Multiplicities
This paper studies the restriction multiplicities of half-diagram modules for the partition algebra and their geometric interpretations. By specializing the Bowman-De Visscher-Orellana formula [BVC, Theorem 4.3] for restriction multiplicities of standard modules in the partition algebra, we compute these multiplicities and provide interpretations in terms of planar triangles and conic sections. Additionally, through the decomposition of half-diagrams, we explain the intrinsic reasons underlying this connection between geometry and algebra.
Pieri Rule for GQs Computed via Strict Decomposition Tableaux
$GQ$ functions are symmetric functions indexed by strict partitions that represent $K$-theoretic Schubert classes in the Lagrangian Grassmannian. Buch and Ravikumar proved a Pieri rule for expanding $GQ_λ\cdot GQ_p$ in terms of $GQ$s via certain shifted skew tableaux. In this paper we identify an alternative family of shifted tableaux that enumerates this Pieri rule. This partially resolves a conjecture from previous work that these tableaux enumerate the expansion of $GQ_λ \cdot GQ_τ$ in terms of $GQ$s where $τ$ is a trapezoid shape.
On Euler's Theorem
Euler's theorem asserts that $A(n)=B(n)$ where $A(n)$ is the number of partitions of $n$ into distinct parts and $B(n)$ is the number of partitions of $n$ into odd parts. In this paper, it is proved that for $n>0$, \begin{align*} A(n)=B(n)=C(n+1)=\frac{1}{2}D(n+1), \end{align*} where $C(n)$ is the number of partitions of $n$ with largest part even and parts not exceeding half of the largest part are distinct, and $D(n)$ is the number of partitions of $n$ into non-negative parts wherein the smallest part appear exactly twice and no other parts are repeated.
The problem of deciding the positivity of Kronecker coefficients and Saxl conjecture
Given an positive integer $k$, let $n:=\binom{k+1}{2}$. In 2012, during a talk at UCLA, Jan Saxl conjectured that all irreducible representations of the symmetric group $S_n$ occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. In this paper, we investigate two useful methods to obtain some irreducible representations that occur in this decomposition. Our main tolls are the semi-group property for Kronecker coefficients and generalized blocks of symmetric groups.
Ising model with external magnetic field on random planar maps: Critical exponents
We study the Ising model with an external magnetic field on random tetravalent planar maps and investigate its critical behavior. Explicit expressions for spontaneous magnetization and the susceptibility are computed and the critical exponents $α=-1$ (third order phase transition), $β=\frac{1}{2}$ (spontaneous magnetization), $γ=2$ (susceptibility at zero external magnetic field) and $δ=5$ (magnetization at critical temperature) are derived. To do so, we study the asymptotic behavior of the partition function of the model in the case of a weak external magnetic field using analytic combinatorics.