
arXiv: 2008.02357
In 1986, Shi derived the famous formula $(n+1)^{n-1}$ for the number of regions of the Shi arrangement, a hyperplane arrangement in ${R}^n$. There are at least two different bijective explanations of this formula, one by Pak and Stanley, another by Athanasiadis and Linusson. In 1996, Athanasiadis used the finite field method to derive a formula for the number of $k$-dimensional faces of the Shi arrangement for any $k$. Until now, the formula of Athanasiadis did not have a bijective explanation. In this paper, we extend a bijection for regions defined by Bernardi to obtain a bijection between the $k$-dimensional faces of the Shi arrangement for any $k$ and a set of decorated binary trees. Furthermore, we show how these trees can be converted to a simple set of functions of the form $f: [n-1] \to [n+1]$ together with a marked subset of $\text{Im}(f)$. This correspondence gives the first bijective proof of the formula of Athanasiadis. In the process, we also obtain a bijection and counting formula for the faces of the Catalan arrangement. All of our results generalize to both extended arrangements.
bijective proof, Exact enumeration problems, generating functions, Arrangements of points, flats, hyperplanes (aspects of discrete geometry), Trees, Shi arrangement, decorated binary trees, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), hyperplane arrangement, Combinatorial identities, bijective combinatorics
bijective proof, Exact enumeration problems, generating functions, Arrangements of points, flats, hyperplanes (aspects of discrete geometry), Trees, Shi arrangement, decorated binary trees, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), hyperplane arrangement, Combinatorial identities, bijective combinatorics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
