partition
6235 papers tagged with this keyword
Algorithmic Applications of Hypergraph and Partition Containers
Published
• View Publication
• BIB
We present a general method to convert algorithms into faster algorithms for almost-regular input instances. Informally, an almost-regular input is an input in which the maximum degree is larger than the average degree by at most a constant factor. This family of inputs vastly generalizes several families of inputs for which we commonly have improved algorithms, including bounded-degree inputs and random inputs. It also generalizes families of inputs for which we don't usually have faster algorithms, including regular-inputs of arbitrarily high degree and very dense inputs. We apply our method to achieve breakthroughs in exact algorithms for several central NP-Complete problems including $k$-SAT, Graph Coloring, and Maximum Independent Set.
Our main tool is the first algorithmic application of the relatively new Hypergraph Container Method (Saxton and Thomason 2015, Balogh, Morris and Samotij 2015). This recent breakthrough, which generalizes an earlier version for graphs (Kleitman and Winston 1982, Sapozhenko 2001), has been used extensively in recent years in extremal combinatorics. An important component of our work is the generalization of (hyper-)graph containers to Partition Containers.
Noncommutative crossing partitions
We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings.
Chess tableaux, powers of two and affine Lie algebras
Published
• View Publication
• BIB
Chess tableaux are a special kind of standard Young tableaux where, in the chessboard coloring of the Young diagram, even numbers always appear in white cells and odd numbers in black cells. If, for $λ$ a partition of $n$, $\text{Chess}(λ)$ denotes the number of chess tableaux of shape $λ$, then Chow, Eriksson and Fan observed that $\displaystyle\sum_{λ\vdash n} \text{Chess}(λ)^2$ is divisible by unusually large powers of $2$. In this paper, we give an explanation for this phenomenon, proving a lower bound of $n-O(\sqrt{n})$ for the $2$-adic valuation of this sum and a generalization of it. We do this by exploiting a connection with a certain representation of the affine Lie algebra $\widehat{\mathfrak{sl}_2}$ on the vector space with basis indexed by partitions. Our result about chess tableaux then follows from a study of the basic representation of $\widehat{\mathfrak{sl}_2}$ with coefficients taken from the ring of rational numbers with odd denominators.
Littlewood-Richardson coefficients as a signed sum of Kostka numbers
Littlewood-Richardson (LR) coefficients and Kostka Numbers appear in representation theory and combinatorics related to $GL_n$. It is known that Kostka numbers can be represented as special Littlewood-Rischardson coefficient. In this paper, we show how one can represent LR coefficient as a signed sum of Kostka numbers, and use the formulation to give a polynomial time algorithm for the same, hence showing that they belong to the same class of decision problems. As a corollary, we will prove Steinberg's formula using Kostant's partition function.
On the Ramsey number of daisies II
Published
• View Publication
• BIB
A $(k+r)$-uniform hypergraph $H$ on $(k+m)$ vertices is an $(r,m,k)$-daisy if there exists a partition of the vertices $V(H)=K\cup M$ with $|K|=k$, $|M|=m$ such that the set of edges of $H$ is all the $(k+r)$-tuples $K\cup P$, where $P$ is an $r$-tuple of $M$. Complementing results in ["On the Ramsey number of daisies I"], we obtain an $(r-2)$-iterated exponential lower bound to the Ramsey number of an $(r,m,k)$-daisy for $2$-colors. This matches the order of magnitude of the best lower bounds for the Ramsey number of a complete $r$-graph.
Cellular subalgebras of the partition algebra
Published in J. Combin. Algebra, online first (2023)
• View Publication
• BIB
We describe various diagram algebras and their representation theory using cellular algebras of Graham and Lehrer and the decomposition into half diagrams. In particular, we show the diagram algebras surveyed here are all cellular algebras and parameterize their cell modules. We give a new construction to build new cellular algebras from a general cellular algebra and subalgebras of the rook Brauer algebra that we call the cellular wreath product.
Partitions with constrained ranks and lattice paths
Published
• View Publication
• BIB
In this paper we study partitions whose successive ranks belong to a given set. We enumerate such partitions while keeping track of the number of parts, the largest part, the side of the Durfee square, and the height of the Durfee rectangle. We also obtain a new bijective proof of a result of Andrews and Bressoud that the number of partitions of $N$ with all ranks at least $1-\ell$ equals the number of partitions of $N$ with no parts equal to $\ell+1$, for $\ell\ge0$, which allows us to refine it by the above statistics. Combining Foata's second fundamental transformation for words with Greene and Kleitman's mapping for subsets, interpreted in terms of lattice paths, we obtain enumeration formulas for partitions whose successive ranks satisfy certain constraints, such as being bounded by a constant.
Norms on Complex Matrices Induced by Random Vectors
We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.
Cores of partitions in rectangles
Published in Electronic Journal of Combinatorics, Volume 31 no. 1, (2024) #P1.47, 14pp
• View Publication
• BIB
For a positive integer $t \geq 2$, the $t$-core of a partition plays an important role in modular representation theory and combinatorics. We initiate the study of $t$-cores of partitions contained in an $r \times s$ rectangle. Our main results are as follows. We first give a simple formula for the number of partitions in the rectangle that are themselves $t$-cores and compute its asymptotics for large $r,s$. We then prove that the number of partitions inside the rectangle whose $t$-cores are a fixed partition $ρ$ is given by a product of binomial coefficients. Finally, we use this formula to compute the distribution of the $t$-core of a uniformly random partition inside the rectangle extending our previous work on all partitions of a fixed integer $n$ (Ann. Appl. Prob. 2023). In particular, we show that in the limit as $r,s \to \infty$ maintaining a fixed aspect ratio, we again obtain a Gamma distribution with the same shape parameter $α= (t-1)/2$ and rate parameter $β$ that depends on the aspect ratio.
Lozenge Tilings of Hexagons with Intrusions I: Generalized Intrusion
Published
• View Publication
• BIB
MacMahon's classical theorem on the number of boxed plane partitions has been generalized in several directions. One way to generalize the theorem is to view boxed plane partitions as lozenge tilings of a hexagonal region and then generalize it by making some holes in the region and counting its tilings. In this paper, we provide new regions whose numbers of lozenges tilings are given by simple product formulas. The regions we consider can be obtained from hexagons by removing structures called intrusions. In fact, we show that the tiling generating functions of those regions under certain weights are given by similar formulas. These give the $q$-analogue of the enumeration results.
On Tuza's conjecture in co-chain graphs
Published
• View Publication
• BIB
In 1981, Tuza conjectured that the cardinality of a minimum set of edges that intersects every triangle of a graph is at most twice the cardinality of a maximum set of edge-disjoint triangles. This conjecture have been proved for several important graph classes, as planar graphs, tripartite graphs, among others. However, it remains open on other important classes of graphs, as chordal graphs. Furthermore, it remains open for main subclasses of chordal graphs, as split graphs and interval graphs. In this paper, we show that Tuza's conjecture is valid for co-chain graphs with even number of vertices in both sides of the partition, a known subclass of interval graphs.
Computation of partition functions of free fermionic solvable lattice models via permutation graphs
In this paper, we introduce a novel and general method for computing partition functions of solvable lattice models with free fermionic Boltzmann weights. The method is based on the ``permutation graph'' and the ``$F$-matrix'': the permutation graph is a generalization of the $R$-matrix, and the $F$-matrix is constructed based on the permutation graph. The method allows generalizations to lattice models that are related to Cartan types B and C. Two applications are presented: they involve an ice model related to Tokuyama's formula and another ice model representing a Whittaker function on the metaplectic double cover of $\mathrm{Sp}(2r,F)$ with $F$ being a non-archimedean local field.
A Short Proof for the Polynomiality of the Stretched Littlewood-Richardson Coefficients
Published
• View Publication
• BIB
The stretched Littlewood-Richardson coefficient $c^{tν}_{tλ,tμ}$ was conjectured by King, Tollu, and Toumazet to be a polynomial function in $t.$ It was shown to be true by Derksen and Weyman using semi-invariants of quivers. Later, Rassart used Steinberg's formula, the hive conditions, and the Kostant partition function to show a stronger result that $c^ν_{λ,μ}$ is indeed a polynomial in variables $ν, λ, μ$ provided they lie in certain polyhedral cones. Motivated by Rassart's approach, we give a short alternative proof of the polynomiality of $c^{tν}_{tλ,tμ}$ using Steinberg's formula and a simple argument about the chamber complex of the Kostant partition function.
$k$-Distance Magic Labeling and Long Brush Graphs
We define a labeling $f:$ $V(G)$ $\rightarrow$ $\{1, 2, \ldots, n\}$ on a graph $G$ of order $n \geq 3$ as a \emph{$k$-distance magic} ($k$-DM) if $\sum_{w\in \partial N_k(u)}{ f(w)}$ is a constant and independent of $u\in V(G)$ where $\partial N_k(u)$ = $\{v\in V(G): d(u, v) = k\}$, $k\in\mathbb{N}$. Graph $G$ is called a \emph{$k$-DM} if it has a $k$-DM labeling(L). Long Brush is a graph $G$ with $V(G)$ = $\{u_1, u_2, . . . , u_n,$ $v_1, v_2, . . . , v_{m}\}$, a path $P_n$ = $u_1$ $u_2$ . . . $u_n$ and $E(G)$ = $E(P_n)$ $\cup$ $\{u_1v_i:$ $i$ = 1 to $m\}$ $\cup$ $E(<v_1, v_2, . . . , v_{m}>)$, $m+n \geq 3$ and $m,n\in\mathbb{N}$. We denoted this graph by $LP_{n, m}$. In this paper, using partition techniques, we obtain families of $k$-DM graphs and prove that $(i)$ For $k,n \geq 3$, $m \geq 2$ and $k,m,n\in\mathbb{N}$, $LP_{n,m}$ is $k$-DM if and only if $m(m-1) \leq 2n$ and $k$ = $n$; (ii) For every $k\in\mathbb{N}_0$ and a given $m \geq 2$, $LP_{\frac{m(m-1)}{2}+k, m}$ is a $(\frac{m(m-1)}{2}+k)$-DM graph; (iii) For $m \geq 3$, $LP_{1,m}$ = $K_1(u_1)+(K_{m_1} \cup K_{m_2} \cup ... \cup K_{m_x})$, $x \geq 2$, $1 \leq m_1 \leq m_2 \leq ... \leq m_x$, $m_1+m_2+...+m_x$ = $m$, $m_1+m_2 \geq 3$ and $m_1,m_2,...,m_x,x\in\mathbb{N}$, $LP_{1,m}$ is 2-DM if and only if $u_1$ is assigned with a suitable $j$ and $J_{m+1}\setminus \{j\}$ is partitioned into $x$ constant sum partites of orders $m_1,m_2,...,m_x$, $1 \leq j \leq m+1$; (iv) For $m \geq 2$ if $LP_{2,m}$ contains two pendant vertices, then $LP_{2,m}$ is not a $2$-DM graph; (v) For $m \geq 2$ and $n \geq 3$, if $LP_{n,m}$ contains three pendant vertices, then $LP_{n,m}$ is not a $2$-DM graph; and (vi) for $m_1$ = 1 to 22, we obtain all possible values of $m$ for which $LP_{1, m}$ = $u_1 + (K_{m_1} \cup K_{m_2})$ is 2-DM, $m_1 \leq m_2$, $m = m_1+m_2 \geq 3$ and $m_1,m_2\in\mathbb{N}$.
Weak Bruhat interval modules for genomic Schur functions
Published
• View Publication
• BIB
Let $λ$ be a partition of a positive integer $n$. The genomic Schur function $U_λ$ was introduced by Pechenik--Yong in the context of the $K$-theory of Grassmannians. Recently, Pechenik provided a positive combinatorial formula for the fundamental quasisymmetric expansion of $U_λ$ in terms of increasing gapless tableaux. In this paper, for each $1 \le m \le n$, we construct an $H_m(0)$-module $\mathbf{G}_{λ;m}$ whose image under the quasisymmetric characteristic is the $m$th degree homogeneous component of $U_λ$ by defining an $H_m(0)$-action on increasing gapless tableaux. We provide a method to assign a permutation to each increasing gapless tableau, and use this assignment to decompose $\mathbf{G}_{λ;m}$ into a direct sum of weak Bruhat interval modules. Furthermore, we determine the projective cover of each summand of the direct sum decomposition.
An Asymptotically Sharp Bound on the Maximum Number of Independent Transversals
Published
• View Publication
• BIB
Let $G$ be a multipartite graph with partition $V_1, V_2,\ldots, V_k$ of $V(G)$. Let $d_{i,j}$ denote the edge density of the pair $(V_i, V_j)$. An independent transversal is an independent set of $G$ with exactly one vertex in each $V_i$. In this paper, we prove an asymptotically sharp upper bound on the maximum number of independent transversals given the $d_{i,j}$'s.
Quasi-linear relation between partition and analytic rank
An important conjecture in additive combinatorics, number theory, and algebraic geometry posits that the partition rank and analytic rank of tensors are equal up to a constant, over any finite field. We prove the conjecture up to a logarithmic factor.
Our proof is largely independent of previous work, utilizing recursively constructed polynomial identities and random walks on zero sets of polynomials. We also introduce a new, vector-valued notion of tensor rank (``local rank''), which serves as a bridge between partition and analytic rank, and which may be of independent interest as a tool for analyzing higher-degree polynomials.
Directed Acyclic Outerplanar Graphs Have Constant Stack Number
Published in TheoretiCS, Volume 4 (October 17, 2025) theoretics:13453
• View Publication
• BIB
The stack number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We prove that the stack number of directed acyclic outerplanar graphs is bounded by a constant, which gives a positive answer to a conjecture by Heath, Pemmaraju and Trenk [SIAM J. Computing, 1999]. As an immediate consequence, this shows that all upward outerplanar graphs have constant stack number, answering a question by Bhore et al. [Eur. J. Comb., 2023] and thereby making significant progress towards the problem for general upward planar graphs originating from Nowakowski and Parker [Order, 1989]. As our main tool we develop the novel technique of directed $H$-partitions, which might be of independent interest. We complement the bounded stack number for directed acyclic outerplanar graphs by constructing a family of directed acyclic 2-trees that have unbounded stack number, thereby refuting a conjecture by Nöllenburg and Pupyrev [GD 2023].
Modulo $d$ extension of parity results in Rogers-Ramanujan-Gordon type overpartition identities
Sang, Shi and Yee, in 2020, found overpartition analogs of Andrews' results involving parity in Rogers-Ramanujan-Gordon identities. Their result partially answered an open question of Andrews'. The open question was to involve parity in overpartition identities. We extend Sang, Shi, and Yee's work to arbitrary moduli, and also provide a missing case in their identities. We also unify proofs of Rogers-Ramanujan-Gordon identities for overpartitions due to Lovejoy and Chen et.al.; Sang, Shi, and Yee's results; and ours. Although verification type proofs are given for brevity, a construction of series as solutions of functional equations between partition generating functions is sketched.
On the coefficients of $q$-series and modular forms
In this Ph.D dissertation (University of Virginia, 2022), we prove results about the coefficients of partition-theoretic generating functions and of coefficients of integer weight modular forms. Using various forms of the circle method, we prove results about the distribution of partition statistics in residue classes modulo $t$. For example, we prove that the parts of partitions into distinct parts are equidistributed modulo $t$ (but that certain biases occur nonetheless) and that the number of $t$-hooks in a partition is generally not equidistributed modulo primes. We also obtain exact formulas for the $t$-hook counting functions using modular transformation laws. We also employ the circle method to prove a conjecture of Coll, Mayers and Mayers that the $q$-series $(q, -q^3; q^4)_\infty^{-1}$ has non-negative coefficients. These topics cover Chapters 3-6. Chapter 7 gives an application of partition asymptotics for proving hyperbolicity of Jensen polynomials using the criterion of Griffin, Ono, Rolen and Zagier. Chapter 8 gives a new method for solving equations of the form $a_f(n) = α$, where $α\in \mathbb{Z}$ is odd and $a_f(n)$ are the coefficients of a normalized Hecke eigenform with trivial mod 2 Galois representation. The method is based on the primitive prime divisor theorem of Bilu, Hanrot, and Voutier along with methods in effective algebraic geometry for elliptic curves, hyperelliptic curves, and Thue equations.