partition
6235 papers tagged with this keyword
Variants of geometric RSK, geometric PNG and the multipoint distribution of the log-gamma polymer
Published
• View Publication
• BIB
We show that the reformulation of the geometric Robinson-Schensted-Knuth (gRSK) correspondence via local moves, introduced in \cite{OSZ14} can be extended to cases where the input matrix is replaced by more general polygonal, Young-diagram-like, arrays of the form $\polygon$. We also show that a rearrangement of the sequence of the local moves gives rise to a geometric version of the polynuclear growth model (PNG). These reformulations are used to obtain integral formulae for the Laplace transform of the joint distribution of the point-to-point partition functions of the log-gamma polymer at different space-time points. In the case of two points at equal time $N$ and space at distance of order $N^{2/3}$, we show formally that the joint law of the partition functions, scaled by $N^{1/3}$, converges to the two-point function of the Airy process
A Terrible Expansion of the Determinant
From a transfer formula in multivariate finite operator calculus, comes an expansion for the determinant similar to Ryser's formula for the permanent. Although this one contains many more terms than the usual determinant formula. To prove it, we consider the poset of ordered partitions, properties of the permutahedron, and some good old fashioned combinatorial techniques.
Hyperplane mass partitions via relative equivariant obstruction theory
Published in Documenta Mathematica 21 (2016), 735-771
• Search Publication
The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient.
We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible.
For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes.
Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.
The classification of tensor categories of two-colored noncrossing partitions
Published
• View Publication
• BIB
Our basic objects are partitions of finite sets of points into disjoint subsets. We investigate sets of partitions which are closed under taking tensor products, composition and involution, and which contain certain base partitions. These so called categories of partitions are exactly the tensor categories being used in the theory of Banica and Speicher's orthogonal easy quantum groups. In our approach, we additionally allow a coloring of the points. This serves as the basis for the introduction of unitary easy quantum groups, which is done in a separate article. The present article however is purely combinatorial. We find all categories of two-colored noncrossing partitions. For doing so, we extract certain parameters with values in the natural numbers specifying the colorization of the categories on a global as well as on a local level. It turns out that there are ten series of categories, each indexed by one or two parameters from the natural numbers, plus two additional categories. This is just the beginning of the classification of categories of two-colored partitions and we point out open problems at the end of the article.
Core partitions with distinct parts
Published
• View Publication
• BIB
Simultaneous core partitions have attracted much attention since Anderson's work on the number of $(t_1,t_2)$-core partitions. In this paper we focus on simultaneous core partitions with distinct parts. The generating function of $t$-core partitions with distinct parts is obtained. We also prove the results on the number, the largest size and the average size of $(t, t + 1)$-core partitions. This gives a complete answer to a conjecture of Amdeberhan, which is partly and independently proved by Straub, Nath and Sellers, and Zaleski recently.
The $q$-analog of Kostant's partition function and the highest root of the classical Lie algebras
Kostant's partition function counts the number of ways to represent a particular vector (weight) as a nonnegative integral sum of positive roots of a Lie algebra. For a given weight the $q$-analog of Kostant's partition function is a polynomial where the coefficient of $q^k$ is the number of ways the weight can be written as a nonnegative integral sum of exactly $k$ positive roots. In this paper we determine generating functions for the $q$-analog of Kostant's partition function when the weight in question is the highest root of the classical Lie algebras of types $B$, $C$ and $D$.
Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution
Jaclyn Anderson proved that if s and t are relatively prime positive integers, then there are exactly (s+t-1)!/(s!t!) partitions whose set of hook-lengths is disjoint from the set {s,t}. Drew Armstrong conjectured (and Paul Johnson, and a bit later, Victor Wang, proved) a beautiful expression for the average size, namely (s-1)(t-1)(s+t+1)/24 .
In the present article, we go far beyond the average, and state absolutely certain expressions (but "officially" still conjectures) for the variance (showing in particular that it is rather large, and there is no "concentration about the mean"), and the third through the sixth moments. For the special case of (s,s+1)-core partitions, we go all the way to the 9th moment.
We pose two challenges, and will be glad to donate 100 dollars each, to the OEIS foundation in honor of the first provers, regarding a "soft" and "global", yet rigorous, justification of our empirical approach, and for proving an intriguing conjecture about the limiting distribution.
This version reports (thanks to Marko Thiel and Nathan Williams) that the second challenge mentioned above has been done by Paul Johnson (but not in two pages). A donation to the OEIS was made. The first challenge is still wide open.
A note-question on partitions of semigroups
Published
• View Publication
• BIB
Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$?
We give an affirmative answer provided that either $S$ is finite or $n=2$.
On Tverberg partitions
Published in Israel Journal of Mathematics, 219(2), 2017, 549-553
• View Publication
• BIB
A theorem of Tverberg from 1966 asserts that every set $X\subset\mathbb{R}^d$ of $n=T(d,r)=(d+1)(r-1)+1$ points can be partitioned into $r$ pairwise disjoint subsets, whose convex hulls have a point in common. Thus every such partition induces an integer partition of $n$ into $r$ parts (that is, $r$ integers $a_1,\ldots,a_r$ satisfying $n=a_1+\cdots+a_r$), where the parts $a_i$ correspond to the number of points in every subset. In this paper, we prove that for any partition $a_i\le d+1$, $i=1,\ldots,r$, there exists a set $X\subset\mathbb{R}^d$ of $n$ points, such that every Tverberg partition of $X$ induces the same partition on $n$, given by the parts $a_1,\ldots,a_r$.
Lattice Paths, Young Tableaux, and Weight Multiplicities
Published
• View Publication
• BIB
For $\ell \geq 1$ and $k \geq 2$, we consider certain admissible sequences of $k-1$ lattice paths in a colored $\ell \times \ell$ square. We show that the number of such admissible sequences of lattice paths is given by the sum of squares of the number of standard Young tableaux of partitions of $\ell$ with height $\leq k$, which is also the number of $(k+1)k\cdots21$-avoiding permutations of $\{1, 2, \ldots, \ell\}$. Finally, we apply this result to the representation theory of the affine Lie algebra $\widehat{sl}(n)$ and show that this quantity gives the multiplicity of certain maximal dominant weights in the irreducible module $V(kΛ_0)$.
An extension of MacMahon's Equidistribution Theorem to ordered multiset partitions
Published
• View Publication
• BIB
A classical result of MacMahon states that inversion number and major index have the same distribution over permutations of a given multiset. In this work we prove a strengthening of this theorem originally conjectured by Haglund. Our result can be seen as an equidistribution theorem over the ordered partitions of a multiset into sets, which we call ordered multiset partitions. Our proof is bijective and involves a new generalization of Carlitz's insertion method. This generalization leads to a new extension of Macdonald polynomials for hook shapes. We use our main theorem to show that these polynomials are symmetric and we give their Schur expansion.
A note on the Erdös-Faber-Lovász Conjecture: quasigroups and complete digraphs
Published in Ars Combinatoria-2019
• Search Publication
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$.
The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.
Counting prime juggling patterns
Published
• View Publication
• BIB
Juggling patterns can be described by a closed walk in a (directed) state graph, where each vertex (or state) is a landing pattern for the balls and directed edges connect states that can occur consecutively. The number of such patterns of length $n$ is well known, but a long-standing problem is to count the number of prime juggling patterns (those juggling patterns corresponding to cycles in the state graph). For the case of $b=2$ balls we give an expression for the number of prime juggling patterns of length $n$ by establishing a connection with partitions of $n$ into distinct parts. From this we show the number of two-ball prime juggling patterns of length $n$ is $(γ-o(1))2^n$ where $γ=1.32963879259...$. For larger $b$ we show there are at least $b^{n-1}$ prime cycles of length $n$.
A branching rule for partition complexes
Let $S_n$ be the symmetric group, and let $Y$ be a Young subgroup of $S_n$. Let $Π_n$ be the complex of partitions of $\{1, \ldots, n\}$. Our main result is a $Y$-equivariant decomposition of $Π_n$. As an application, we obtain new information about the quotient space of $|Π_n|$ by a Young subgroup.
The Smith Normal Form of a Specialized Jacobi-Trudi Matrix
Published
• View Publication
• BIB
Let $\mathrm{JT}_λ$ be the Jacobi-Trudi matrix corresponding to the partition $λ$, so $\det\mathrm{JT}_λ$ is the Schur function $s_λ$ in the variables $x_1,x_2,\dots$. Set $x_1=\cdots=x_n=1$ and all other $x_i=0$. Then the entries of $\mathrm{JT}_λ$ become polynomials in $n$ of the form ${n+j-1\choose j}$. We determine the Smith normal form over the ring $\mathbb{Q}[n]$ of this specialization of $\mathrm{JT}_λ$. The proof carries over to the specialization $x_i=q^{i-1}$ for $1\leq i\leq n$ and $x_i=0$ for $i>n$, where we set $q^n=y$ and work over the ring $\mathbb{Q}(q)[y]$.
Birational contractions of $\overline{\mathrm{M}}_{0,n}$ and combinatorics of extremal assignments
From Smyth's classification, modular compactifications of pointed smooth rational curves are indexed by combinatorial data, so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a finite union of atomic extremal assignments. We discuss a connection with the birational geometry of the moduli space of stable pointed curves. As applications, we study three special classes of extremal assignments: smooth, toric, and invariant with respect to the symmetric group action. We identify them with three combinatorial objects: simple intersecting families, complete multipartite graphs, and special families of integer partitions, respectively.
Partitioning the vertex set of $G$ to make $G\,\Box\, H$ an efficient open domination graph
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Graph Theory (June 2, 2016) dmtcs:1277
• View Publication
• BIB
A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when $H$ is a complete graph of order at least 3 or a complete bipartite graph. The characterization is based on the existence of a certain type of weak partition of $V(G)$. For the class of trees when $H$ is complete of order at least 3, the characterization is constructive. In addition, a special type of efficient open domination graph is characterized among Cartesian products $G \Box H$ when $H$ is a 5-cycle or a 4-cycle.
Categorifying the tensor product of a level 1 highest weight and perfect crystal in type A
We use Khovanov-Lauda-Rouquier algebras to categorify a crystal isomorphism between a highest weight crystal and the tensor product of a perfect crystal and another highest weight crystal, all in level 1 type A affine. The nodes of the perfect crystal correspond to a family of trivial modules and the nodes of the highest weight crystal correspond to simple modules, which we may also parameterize by $\ell$-restricted partitions. In the case $\ell$ is a prime, one can reinterpret all the results for the symmetric group in characteristic $\ell$. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.
Decomposition of bi-colored square arrays into balanced diagonals
Published
• View Publication
• BIB
Given an $n\times n$ array $M$ ($n\ge 7$), where each cell is colored in one of two colors, we give a necessary and sufficient condition for the existence of a partition of $M$ into $n$ diagonals, each containing at least one cell of each color. As a consequence, it follows that if each color appears in at least $2n-1$ cells, then such a partition exists. The proof uses results on completion of partial Latin squares.
Combinatorial Formula for the Partition Function
In this article we will derive a combinatorial formula for the partition function p(n). In the second part of the paper we will establish connection between partitions and q-binomial coefficients and give new interpretation for q-binomial coefficients.