BZPEERReading, trust and collaboration for researchSource author record
Marko Thiel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Based on computational experiments, Jim Propp and Vic Reiner suspected that there might exist a sequence of combinatorial objects $X_n$, each carrying a natural action of the cyclic group $C_{n-1}$ of order $n-1$ such that the triple $\left(X_n,C_{n-1},\frac{1}{[n+1]_q}{2n \brack n}_q\right)$ exhibits the cyclic sieving phenomenon. We prove their suspicion right.
For an irreducible crystallographic root system $Φ$ and a positive integer $p$ relatively prime to the Coxeter number $h$ of $Φ$, we give a natural bijection $\mathcal{A}$ from the set $\widetilde{W}^p$ of affine Weyl group elements with no inversions of height $p$ to the finite torus $\check{Q}/p\check{Q}$. Here $\check{Q}$ is the coroot lattice of $Φ$. This bijection is defined uniformly for all irreducible crystallographic root systems $Φ$ and is equivalent to the Anderson map $\mathcal{A}_{GMV}$ defined by Gorsky, Mazin and Vazirani when $Φ$ is of type $A_{n-1}$. Specialising to $p=mh+1$, we use $\mathcal{A}$ to define a uniform $W$-set isomorphism $ζ$ from the finite torus $\check{Q}/(mh+1)\check{Q}$ to the set of $m$-nonnesting parking functions $\mathsf{Park}_Φ^{(m)}$ of $Φ$. The map $ζ$ is equivalent to the zeta map $ζ_{HL}$ of Haglund and Loehr when $m=1$ and $Φ$ is of type $A_{n-1}$.
Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$, coroot lattice $\check{Q}$ and Coxeter number $h$. Recently the second named author defined a uniform $W$-isomorphism $ζ$ between the finite torus $\check{Q}/(mh+1)\check{Q}$ and the set of non-nesting parking fuctions $\operatorname{Park}^{(m)}(Φ)$. If $Φ$ is of type $A_{n-1}$ and $m=1$ this map is equivalent to a map defined on labelled Dyck paths that arises in the study of the Hilbert series of the space of diagonal harmonics. In this paper we investigate the case $m=1$ for the other infinite families of root systems ($B_n$, $C_n$ and $D_n$). In each type we define models for the finite torus and for the set of non-nesting parking functions in terms of labelled lattice paths. The map $ζ$ can then be viewed as a map between these combinatorial objects. Our work entails new bijections between (square) lattice paths and ballot paths.
Let gcd(a,b)=1. J. Olsson and D. Stanton proved that the maximum number of boxes in a simultaneous (a,b)-core is (a^2-1)(b^2-1)/24, and that this maximum was achieved by a unique core. P. Johnson combined Ehrhart theory with the polynomial method to prove D. Armstrong's conjecture that the expected number of boxes in a simultaneous (a,b)-core is (a-1)(b-1)(a+b+1)/24. We extend P. Johnson's method to compute the variance to be ab(a-1)(b-1)(a+b)(a+b+1)/1440. By extending the definitions of "simultaneous cores" and "number of boxes" to affine Weyl groups, we give uniform generalizations of all three formulae above to simply-laced affine types. We further explain the appearance of the number 24 using the "strange formula" of H. Freudenthal and H. de Vries.
The set of dominant regions of the $k$-Catalan arrangement of a crystallographic root system $Φ$ is a well-studied object enumerated by the Fuß-Catalan number $Cat^{(k)}(Φ)$. It is natural to refine this enumeration by considering floors and ceilings of dominant regions. A conjecture of Armstrong states that counting dominant regions by their number of floors of a certain height gives the same distribution as counting dominant regions by their number of ceilings of the same height. We prove this conjecture using a bijection that provides even more refined enumerative information.
We introduce type C parking functions, encoded as vertically labelled lattice paths and endowed with a statistic dinv'. We define a bijection from type C parking functions to regions of the Shi arrangement of type C, encoded as diagonally labelled ballot paths and endowed with a natural statistic area'. This bijection is a natural analogue of the zeta map of Haglund and Loehr and maps dinv' to area'. We give three different descriptions of it.
To a crystallographic root system Φ, and a positive integer k, there are associated two Fuss-Catalan objects, the set of nonnesting partitions NN^(k)(Φ), and the cluster complex Δ^(k)(Φ). These posess a number of enumerative coincidences, many of which are captured in a surprising identity, first conjectured by Chapoton for k=1 and later generalized to k>1 by Armstrong. We prove this conjecture, obtaining some structural and enumerative results on NN^(k)(Φ) along the way, including an earlier conjecture by Fomin and Reading giving a refined enumeration by Fuß-Narayana numbers.
In a recent paper, Baxter and Zeilberger show that the two most important Mahonian statistics, the inversion number and the major index, are asymptotically independently normally distributed on permutations. In another recent paper, Canfield, Janson and Zeilberger prove the result, already known to statisticians, that the Mahonian distribution is asymptotically normal on words. This leaves one question unanswered: What, asymptotically, is the joint distribution of the inversion number and the major index on words? We answer this question by establishing convergence to a bivariate normal distribution.