arXiv++ Combinatorics

Let $\mathcal{H}$ be a Coxeter hyperplane arrangement in $n$-dimensional Euclidean space. Assume that the negative of the identity map belongs to the associated Coxeter group $W$. Furthermore assume that the arrangement is not of type $A_1^n$. Let $K$ be a measurable subset of the Euclidean space with finite volume which is stable by the Coxeter group $W$ and let $a$ be a point such that $K$ contains the convex hull of the orbit of the point $a$ under the group $W$. In a previous article the authors proved the generalized pizza theorem: that the alternating sum over the chambers $T$ of $\mathcal{H}$ of the volumes of the intersections $T\cap(K+a)$ is zero. In this paper we give a dissection proof of this result. In fact, we lift the identity to an abstract dissection group to obtain a similar identity that replaces the volume by any valuation that is invariant under affine isometries. This includes the cases of all intrinsic volumes. Apart from basic geometry, the main ingredient is a theorem of the authors where we relate the alternating sum of the values of certain valuations over the chambers of a Coxeter arrangement to similar alternating sums for simpler subarrangements called $2$-structures introduced by Herb to study discrete series characters of real reduced groups.

The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where the conjecture is proved.

This paper exhibits two families of unravelled abstract regular polytopes in Coxeter groups of type Bn. For one family they have rank 4 while the other family has arbitrarily large rank.

We introduce a two-parameter function $φ_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $φ_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl. We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bożejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.

In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.

A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters).

Given a permutation $f$, we study the positroid Catalan number $C_f$ defined to be the torus-equivariant Euler characteristic of the associated open positroid variety. We introduce a class of repetition-free permutations and show that the corresponding positroid Catalan numbers count Dyck paths avoiding a convex subset of the rectangle. We show that any convex subset appears in this way. Conjecturally, the associated $q,t$-polynomials coincide with the generalized $q,t$-Catalan numbers that recently appeared in relation to the shuffle conjecture, flag Hilbert schemes, and Khovanov-Rozansky homology of Coxeter links.

In this extended abstract we announce a proof that, in a Coxeter group of rank 3, low elements are in bijection with small inversion sets. This gives a partial confirmation of Conjecture 2 in [Dyer, Hohlweg '16]. That same article provides the main ingredient: the bipodality of the set of small roots is used to propagate information on the vertices of inversion polytopes.

Given an essential semilattice congruence $\equiv$ on the left weak order of a Coxeter group $W$, we define the Coxeter stack-sorting operator ${\bf S}_\equiv:W\to W$ by ${\bf S}_\equiv(w)=w\left(π_\downarrow^\equiv(w)\right)^{-1}$, where $π_\downarrow^\equiv(w)$ is the unique minimal element of the congruence class of $\equiv$ containing $w$. When $\equiv$ is the sylvester congruence on the symmetric group $S_n$, the operator ${\bf S}_\equiv$ is West's stack-sorting map. When $\equiv$ is the descent congruence on $S_n$, the operator ${\bf S}_\equiv$ is the pop-stack-sorting map. We establish several general results about Coxeter stack-sorting operators, especially those acting on symmetric groups. For example, we prove that if $\equiv$ is an essential lattice congruence on $S_n$, then every permutation in the image of ${\bf S}_\equiv$ has at most $\left\lfloor\frac{2(n-1)}{3}\right\rfloor$ right descents; we also show that this bound is tight. We then introduce analogues of permutree congruences in types $B$ and $\widetilde A$ and use them to isolate Coxeter stack-sorting operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$ that serve as canonical type-$B$ and type-$\widetilde A$ counterparts of West's stack-sorting map. We prove analogues of many known results about West's stack-sorting map for the new operators $\mathtt{s}_B$ and $\widetilde{\hspace{.05cm}\mathtt{s}}$. For example, in type $\widetilde A$, we obtain an analogue of Zeilberger's classical formula for the number of $2$-stack-sortable permutations in $S_n$.

Let $W$ be an irreducible Coxeter group. We define the Coxeter pop-stack-sorting operator $\mathsf{Pop}:W\to W$ to be the map that fixes the identity element and sends each nonidentity element $w$ to the meet of the elements covered by $w$ in the right weak order. When $W$ is the symmetric group $S_n$, $\mathsf{Pop}$ coincides with the pop-stack-sorting map. Generalizing a theorem about the pop-stack-sorting map due to Ungar, we prove that \[\sup\limits_{w\in W}\left|O_{\mathsf{Pop}}(w)\right|=h,\] where $h$ is the Coxeter number of $W$ (with $h=\infty$ if $W$ is infinite) and $O_f(w)$ denotes the forward orbit of $w$ under a map $f$. When $W$ is finite, this result is equivalent to the statement that the maximum number of terms appearing in the Brieskorn normal form of an element of $W$ is $h-1$. More generally, we define a map $f:W\to W$ to be compulsive if for every $w\in W$, $f(w)$ is less than or equal to $\mathsf{Pop}(w)$ in the right weak order. We prove that if $f$ is compulsive, then $\sup\limits_{w\in W}|O_f(w)|\leq h$. This result is new even for symmetric groups. We prove that $2$-pop-stack-sortable elements in type $B$ are in bijection with $2$-pop-stack-sortable permutations in type $A$, which were enumerated by Pudwell and Smith. Claesson and Gudmundsson proved that for each fixed nonnegative integer $t$, the generating function that counts $t$-pop-stack-sortable permutations in type $A$ is rational; we establish analogous results in types $B$ and $\widetilde A$.

We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs of these conjectures in low degree.

We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ in terms of total partitions of the respective types. We show that a different specialization of the flag Hilbert-Poincaré series, which we call the coarse flag Hilbert-Poincaré series, exhibits intriguing nonnegativity features and - in the case of Coxeter arrangements - connections with Eulerian polynomials. For numerous classes and examples of hyperplane arrangements, we determine their (coarse) flag Hilbert-Poincaré series. Some computations were aided by a SageMath package we developed.

We study the interplay between the discrete geometry of Bruhat poset intervals and subword complexes of finite Coxeter systems. We establish connections between the cones generated by cover labels for Bruhat intervals and of root configurations for subword complexes, culminating in the notion of brick polyhedra for general subword complexes.

We study the Ricci curvature of the Hasse diagrams of the Bruhat order of finite irreducible Coxeter groups. For this purpose we compute the maximum degree of these graphs for types $B_n$ and $D_n$. The proof uses a new graph $Γ(π)$ defined for any element $π$ in the corresponding group.

We consider the notion of discrete Ricci curvature for graphs defined by Schmuckenschl{ä}ger \cite{shmuck} and compute its value for Bruhat graphs associated to finite Coxeter groups. To do so we work with the geometric realization of a finite Coxeter group and a classical result obtained by Dyer in \cite{Dyer}. As an application we obtain a bound for the spectral gap of the Bruhat graph of any finite Coxeter group and an isoperimetric inequality for them. Our proofs are case-free.

We express the discrete Ricci curvature of a graph as the minimal eigenvalue of a family of matrices, one for each vertex of a graph whose entries depend on the local adjaciency structure of the graph. Using this method we compute or bound the Ricci curvature of Cayley graphs of finite Coxeter groups and affine Weyl groups. As an application we obtain an isoperimetric inequality that holds for all Cayley graphs of finite Coxeter groups.

We introduce and prove the $n$-dimensional Pizza Theorem: Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{R}^{n}$. If $K$ is a measurable set of finite volume, the {pizza quantity} of $K$ is the alternating sum of the volumes of the regions obtained by intersecting $K$ with the arrangement $\mathcal{H}$. We prove that if $\mathcal{H}$ is a Coxeter arrangement different from $A_{1}^{n}$ such that the group of isometries $W$ generated by the reflections in the hyperplanes of $\mathcal{H}$ contains the map $-\mathrm{id}$, and if $K$ is a translate of a convex body that is stable under $W$ and contains the origin, then the pizza quantity of $K$ is equal to zero. Our main tool is an induction formula for the pizza quantity involving a subarrangement of the restricted arrangement on hyperplanes of $\mathcal{H}$ that we call the {even restricted arrangement}. More generally, we prove that for a class of arrangements that we call {even} (this includes the Coxeter arrangements above) and for a {sufficiently symmetric} set $K$, the pizza quantity of $K+a$ is polynomial in $a$ for $a$ small enough, for example if $K$ is convex and $0\in K+a$. We get stronger results in the case of balls, more generally, convex bodies bounded by quadratic hypersurfaces. For example, we prove that the pizza quantity of the ball centered at $a$ having radius $R\geq\|a\|$ vanishes for a Coxeter arrangement $\mathcal{H}$ with $|\mathcal{H}|-n$ an even positive integer. We also prove the Pizza Theorem for the surface volume: When $\mathcal{H}$ is a Coxeter arrangement and $|\mathcal{H}| - n$ is a nonnegative even integer, for an $n$-dimensional ball the alternating sum of the $(n-1)$-dimensional surface volumes of the regions is equal to zero.

Kazhdan and Lusztig define, for an arbitrary Coxeter system $(W,S)$, a family of polynomials indexed by pairs of elements of $W$. Despite their relevance and elementary definition, the explicit computation of these polynomials is still one of the hardest open problems in algebraic combinatorics. In this paper we explicitly compute Kazhdan-Lusztig polynomials for a Coxeter system of type $\tilde{B}_2$.

Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic type whose Coxeter diagram is the same as that of $C$.

The limit weak order on an affine Weyl group was introduced by Lam and Pylyavskyy in their study of total positivity for loop groups. They showed that in the case of the affine symmetric group the minimal elements of this poset coincide with the infinite fully commutative reduced words and with infinite powers of Coxeter elements. We answer several open problems raised there by classifying minimal elements in all affine types and relating these elements to the classes of fully commutative and Coxeter elements. Interestingly, the infinite fully commutative elements correspond to the minuscule and cominuscule nodes of the Dynkin diagram, while the infinite Coxeter elements correspond to a single node, which we call the heavy node, in all affine types other than type $A$.