arXiv++ Combinatorics

Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.

Let $(\mathscr{A},m)$ be a free multiarrangement, and let $\mathscr{E}$ be an extension of $(\mathscr{A},m)$. It is well known that if $\mathscr{A}$ is the Coxeter arrangement of type $A_2$, then a free extension of $(\mathscr{A},m)$ always exists. In this work, we demonstrate that if $\mathscr{A}$ is the Coxeter arrangement of type $B_2$, there exist infinitely many multiplicities for which no free extension of $(\mathscr{A},m)$ exists. This result has immediate consequences for the existence of free extensions in higher rank.

We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.

Coset incidence geometries, introduced by Jacques Tits, provide a versatile framework for studying the interplay between group theory and geometry. In this article, we build upon that idea by extending classical group-theoretic constructions (amalgamated products, HNN-extensions, semi-direct products, and twisting) to the setting of coset geometries. This gives a general way to glue together incidence geometries in various ways. This provides a general framework for combining or gluing incidence geometries in different ways while preserving essential properties such as flag-transitivity and residual connectedness. Using these techniques, we analyze families of Shephard groups, which generalize both Coxeter and Artin-Tits groups, and their associated simplicial complexes. Our results also point to the existence of a Bass-Serre theory for coset geometries and of a fundamental geometry of a graph of coset geometries.

Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter systems) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that bipartite mediangle graphs are tope graphs of finitary Complexes of Oriented Matroids (COMs). We also show that the oriented matroids (OMs) constituting the cells of COMs arising from bipartite mediangle graphs are exactly the simplicial OMs.

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $τ$ of $W$ such that $τ_{σθ}\in \{τ_θ,\ στ_θ\}$ for all $θ\in W$ and all reflections $σ$ (analogous to being 1-Lipschitz with respect to the Bruhat order on $W$) is either constant or a right translation. A somewhat stronger version holds for $S_n$, where it suffices that $σ$ range over smaller, $θ$-dependent sets of reflections. These combinatorial results have a number of consequences concerning continuous spectrum- and commutativity-preserving maps $\mathrm{SU}(n)\to M_n$ defined on special unitary groups: every such map is a conjugation composed with (a) the identity; (b) transposition, or (c) a continuous diagonal spectrum selection. This parallels and recovers Petek's analogous statement for self-maps of the space $H_n\le M_n$ of self-adjoint matrices, strengthening it slightly by expanding the codomain to $M_n$.

A conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group possesses the strong hull property. In this paper, we prove this conjecture for all affine irreducible Coxeter groups of rank 3. Our approach exploits the geometry of affine buildings to reduce the analysis of convex hulls to finitely many manageable configurations. These geometric reduction techniques offer a novel framework that may be applicable to higher-rank cases.

In this article we construct contracting elements in the standard Cayley graphs of the so-called periagroups, a family of groups introduced by the second-named author which include Coxeter groups, graph products, and Dyer groups. As a consequence, we deduce that, unless they virtually split as direct products, periagroups are acylindrically hyperbolic and their conjugacy growth series, with respect to standard generating sets, are transcendental.

The Cambrian lattices, introduced in (Reading, 2006), generalize the Tamari lattice to any choice of Coxeter element in any finite Coxeter group. They are further generalized to the m-Cambrian lattices (Stump, Thomas, Williams, 2015). However, their definitions do not provide a practical setup to work with combinatorially. In this paper, we provide a new equivalent definition of the m-Cambrian lattices on simple objects called m-noncrossing partitions, using a simple and effective comparison criterion. It is obtained by showing that each interval has a unique maximal chain that is c-increasing, which is computed by a greedy algorithm. Our proof is uniform, involving all Coxeter groups and all choices of Coxeter element at the same time. This work has been accepted as an extended abstract for the FPSAC 2025 conference. A long version of this work will be available later.

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.

We study the Ehrhart theory of hypersimplices of type C, as introduced by Lam and Postnikov for general crystallographic root systems. The $h^*$-polynomials of classical hypersimplices are known to relate to various Eulerian statistics on the symmetric group. In this paper, we introduce a new statistic and partial order on signed permutations, which we use to derive explicit formulas for the $h^*$-polynomials of type C hypersimplices. Additionally, we explore connections with other statistics, including flag-excedances and circular descents, flag-descents, and Coxeter descents.

Let $ (W,S)$ be a Coxeter system. We investigate the equation $ w(Φ_{x}) = Φ_{y}$ where $ w,x,y\in W$ and $ Φ_{x}$, $Φ_{y}$ denote the left inversion sets of $ x$ and $ y$. We then define a commutative square diagram called a Coxeter square which describes the relationship between 4 non-identity elements of the Coxeter group $ W$ and the equation $ w(Φ_{x}) = Φ_{y}$. Coxeter squares were first introduced by Dyer, Wang in \cite{dyer2011groupoids2} and \cite{dyer2019characterization}. Coxeter squares can be \textquotedblleft glued" together by compatible edges to form commutative diagrams in the shape of higher dimensional cubes called Coxeter $n$-cubes, which were first defined by Dyer in Example 12.5 of \cite{dyer2011groupoids2}. When $ |W| < \infty$ and $ |S| = n$, we show that Coxeter $n$-cubes must exist within $ (W,S)$. We then prove results about Coxeter $n$-cubes in the $A_{n}$ Coxeter system. We establish an explicit bijection between Coxeter $n$-cubes (modulo orientation) in $ A_{n}$ and binary trees with $n+1$ leaves. We also show that an element $x$ of $ A_{n}$ appears as the edge of some Coxeter $n$-cube if and only if $ x$ is a bigrassmannian permutation.

For $(W,S)$ an arbitrary Coxeter system and any $y \in W$, we investigate the relationship between the condition that the Kazhdan-Lusztig polynomial $P_{x,y}$ is trivial for all $x \leq y$, and the condition that the Bruhat graph for the interval $[1,y]$ can be cubulated, meaning roughly that this graph can be spanned by a product of subintervals of $\mathbb{Z}$. In one direction, we combine results of Carrell-Peterson and Elias-Williamson to prove that if $[1,y]$ can be cubulated, then $P_{x,y} = 1$ for all $x \leq y$. We then investigate the converse of this statement. For $(W,S)$ finite and $w_0$ the longest element in $W$, so that $P_{x,w_0} = 1$ for all $x \in W$, we construct cubulations of $[1,w_0]$ in types $A$ and $B/C$. However, in some exceptional types, we determine elements $y \in W$ such that $P_{1,y} = 1$ but $[1,y]$ cannot be cubulated. We then prove that if there are infinitely many $y \in W$ such that $[1,y]$ can be cubulated, then $(W,S)$ must be of type $\tilde{A}_n$ for some $n \geq 1$. Finally, for $(W,S)$ of type $\tilde{A}_2$, we exhibit a cubulation of $[1,y]$ for each of the infinitely many $y \in W$ such that $P_{x,y} = 1$ for all $x \leq y$.

Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.

Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump. More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.

M. Kapranov and V. Schechtman introduced the contingency metamatrix for a finite Coxeter group and conjectured that the contingency metamatrix is totally positive. For the Coxeter groups of type $A$, this conjecture has been proved by P. Etingof. In this article, we prove this conjecture for the Coxeter groups of type $B$ and exceptional types.

We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups. We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.

Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.

The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.