arXiv++ Combinatorics

In 1968, R. Steinberg proved a theorem stating that the exterior powers of an irreducible reflection representation of a Euclidean reflection group are again irreducible and pairwise non-isomorphic. We extend this result to a more general context where the inner product invariant under the group action may not necessarily exist.

Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.

We say that a graph $H$ dominates another graph $H'$ if the number of homomorphisms from $H'$ to any graph $G$ is dominated, in an appropriate sense, by the number of homomorphisms from $H$ to $G$. We study the family of dominating graphs, those graphs with the property that they dominate all of their subgraphs. It has long been known that even-length paths are dominating in this sense and a result of Hatami implies that all weakly norming graphs are dominating. In a previous paper, we showed that every finite reflection group gives rise to a family of weakly norming, and hence dominating, graphs. Here we revisit this connection to show that there is a much broader class of dominating graphs.

We are building a theory of simple Hurwitz numbers for the reflection groups B and D parallel to the classical theory for the symmetric group. We also study analogs of the cut-and-join operators. An algebraic description of Hurwitz numbers and an explicit formula for them in terms of Schur polynomials are provided. We also relate Hurwitz numbers for B and D to ribbon decomposition of surfaces with boundary -- a similar result for the symmetric group was proved earlier by Yu.Burman and the author. Finally, the generating function of B-Hurwitz numbers is shown to give rise to two independent tau-function of the KP hierarchy.

In this paper, we construct a mixed-base number system over the generalized symmetric group $G(m,1,n)$, which is a complex reflection group with a root system of type $B_n^{(m)}$. We also establish one-to-one correspondence between all positive integers in the set $\{1,\cdots,m^nn!\}$ and the elements of $G(m,1,n)$ by constructing the subexceedant function in relation to this group. In addition, we provide a new enumeration system for $G(m,1,n)$ by defining the inversion statistic on $G(m,1,n)$. Finally, we prove that the \textit{flag-major index} is equi-distributed with this inversion statistic on $G(m,1,n)$. Therefore, the flag-major index is Mahonian on $G(m,1,n)$ with respect to the length function $L$.

Much of the fascinating numerology surrounding finite reflection groups stems from Solomon's celebrated 1963 theorem describing invariant differential forms. Invariant differential derivations also exhibit interesting numerology over the complex numbers. We explore the analogous theory over arbitrary fields, in particular, when the characteristic of the underlying field divides the order of the acting reflection group and the conclusion of Solomon's Theorem may fail. Using results of Broer and Chuai, we give a Saito criterion (Jacobian criterion) for finding a basis of differential derivations invariant under a finite group that distinguishes certain cases over fields of characteristic 2. We show that the reflecting hyperplanes lie in a single orbit and demonstrate a duality of exponents and coexponents when the transvection root spaces of a reflection group are maximal. A set of basic derivations are used to construct a basis of invariant differential derivations with a twisted wedging in this case. We obtain explicit bases for the special linear groups SL(n,q) and general linear groups GL(n,q), and all groups in between.

In a finite Coxeter group $W$ and with two given conjugacy classes of parabolic subgroups $[X]$ and $[Y]$, we count those parabolic subgroups of $W$ in $[Y]$ that are full support, while simultaneously being simple extensions (i.e., extensions by a single reflection) of some standard parabolic subgroup of $W$ in $[X]$. The enumeration is given by a product formula that depends only on the two parabolic types. Our derivation is case-free and combines a geometric interpretation of the "full support" property with a double counting argument involving Crapo's beta invariant. As a corollary, this approach gives the first case-free proof of Chapoton's formula for the number of reflections of full support in a real reflection group $W$.

We prove that two reflection factorizations of a parabolic quasi-Coxeter element in a finite Coxeter group belong to the same Hurwitz orbit if and only if they generate the same subgroup and have the same multiset of conjugacy classes. As a lemma, we classify the finite Coxeter groups for which every reflection generating set that is minimal under inclusion is also of minimum size.

We define parabolic quasi-Coxeter elements in well generated complex reflection groups. We characterize them in multiple natural ways, and we study two combinatorial objects associated with them: the collections $\operatorname{Red}_W(g)$ of reduced reflection factorizations of $g$ and $\operatorname{RGS}(W,g)$ of the relative generating sets of $g$. We compute the cardinalities of these sets for large families of parabolic quasi-Coxeter elements and, in particular, we relate the size $\#\operatorname{Red}_W(g)$ with geometric invariants of Frobenius manifolds. This paper is second in a series of three; we will rely on many of its results in part III to prove uniform formulas that enumerate full reflection factorizations of parabolic quasi-Coxeter elements, generalizing the genus-$0$ Hurwitz numbers.

An arrangement of hyperplanes is strongly inscribable if it has an inscribed (or ideal hyperbolic) zonotope. We characterize inscribed zonotopes and prove that the family of strongly inscribable arrangements is closed under restriction and localization. Moreover, we show that (strongly) inscribable arrangements are simplicial. We conjecture that only reflection arrangements and their restrictions are strongly inscribable and we verify our conjecture in rank-$3$ using the conjecturally complete list of irreducible simplicial rank-$3$ arrangements.

In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling procedure allowing to obtain sphere packings from some Coxeter polyhedra without isolated roots, and study "properly integral" packings (that is, ones which are integral but not superintegral). Our techniques rely extensively on computations with Lorentzian quadratic forms, their orthogonal groups, and associated higher-dimensional hyperbolic polyhedra.

The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the "Lorenz curve" of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we will define a Gini index on the set of integer partitions and prove some combinatorial results related to it; culminating in the proof of an identity for the expected value of the Gini index. We will then discuss symmetric polynomials, and show that the Gini index can be understood as the degrees of certain Kostka-foulkes polynomials. This identification yields a generalization whereby we may define a Gini index on the irreducible representations of a complex reflection group, or connected reductive linear algebraic group.

In this paper, we introduce a broad family of group homomorphisms that we name the Gauss-Epple homomorphisms. In the setting of braid groups, the Gauss-Epple invariant was originally defined by Epple based on a note of Gauss as an action of the braid group $B_n$ on the set $\{1, \dots, n\}\times\mathbb{Z}$; we prove that it is well-defined. We consider the associated group homomorphism from $B_n$ to the symmetric group $\text{Sym}(\{1, \dots, n\}\times\mathbb{Z})$. We prove that this homomorphism factors through $\mathbb{Z}^n\rtimes S_n$ (in fact, its image is an order 2 subgroup of the previous group). We also describe the kernel of the homomorphism and calculate the asymptotic probability that it contains a random braid of a given length. Furthermore, we discuss the super-Gauss-Epple homomorphism, a homomorphism which extends the generalization of the Gauss-Epple homomorphism and describe a related 1-cocycle of the symmetric group $S_n$ on the set of antisymmetric $n\times n$ matrices over the integers. We then generalize the super-Gauss-Epple homomorphism and the associated 1-cocycle to Artin groups of finite type. For future work, we suggest studying possible generalizations to complex reflection groups and computing the vector spaces of Gauss-Epple analogues.

The classical Hurwitz numbers count the fixed-length transitive transposition factorizations of a permutation, with a remarkable product formula for the case of minimum length (genus $0$). We study the analogue of these numbers for reflection groups with the following generalization of transitivity: say that a reflection factorization of an element in a reflection group $W$ is full if the factors generate the whole group $W$. We compute the generating function for full factorizations of arbitrary length for an arbitrary element in a group in the combinatorial family $G(m, p, n)$ of complex reflection groups in terms of the generating functions of the symmetric group $\mathfrak{S}_n$ and the cyclic group of order $m/p$. As a corollary, we obtain leading-term formulas which count minimum-length full reflection factorizations of an arbitrary element in $G(m,p,n)$ in terms of the Hurwitz numbers of genus $0$ and $1$ and number-theoretic functions. We also study the structural properties of such generating functions for any complex reflection group; in particular, we show via representation-theoretic methods that they can by expressed as finite sums of exponentials of the variable.

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the diagonal coinvariant ring of $W$. We propose that this representation of the Cherednik algebra is the single largest representation bearing this relationship to the diagonal coinvariant ring, and that further corrections to this estimate of the dimension of the diagonal coinvariant ring by $(g+1)^n$ should be orders of magnitude smaller. A crucial ingredient in the construction is the existence of a dot action of a certain product of symmetric groups acting on the parameter space of the rational Cherednik algebra and leaving invariant both the finite Hecke algebra and the spherical subalgebra; this fact is a consequence of ideas of Berest-Chalykh on the relationship between the Cherednik algebra and quasi-invariants.

Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some integer power of each generator. These include usual nil-Coxeter algebras, nil-Temperley-Lieb algebras, and their variants, and lead to symmetric semigroup module categories which necessarily cannot be monoidal. Motivated by classical work of Coxeter (1957) and the Broue-Malle-Rouquier freeness conjecture [Crelle 1998], and continuing beyond work of the second author [Trans. Amer. Math. Soc. 2018], we obtain a complete classification of the finite-dimensional nil-Hecke algebras for all complex reflection groups $W$. These comprise the usual nil-Coxeter algebras for $W$ of finite type, their "fully commutative" analogues for $W$ of FC-finite type, three exceptional algebras (of types $F_4,H_3,H_4$), and three exceptional series (of types $B_n$ and $A_n$, two of them novel). In particular, we find the first - and only two - finite-dimensional nil-Hecke algebras over discrete complex reflection groups; this breaks from the nil-Coxeter case (where no braid words are further killed, and) where Marin [J. Pure Appl. Alg. 2014] and Khare [Trans. Amer. Math. Soc. 2018] showed that such algebras do not exist. In addition to these algebras, and also algebraic connections (to PBW deformations and non-monoidal tensor categories), we further uncover combinatorial bases of algebras, both known (fully commutative elements) and novel ($\bar{12}$-avoiding signed permutations). Our classification draws from and brings together results of Popov [Comm. Math. Inst. Utrecht 1982], Stembridge [J. Alg. Combin. 1996, 1998], Malle [Transform. Groups} 1996], Postnikov via Gowravaram-Khovanova (2015), Hart [J. Group Th. 2017], and Khare [Trans. Amer. Math. Soc. 2018].

We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincaré dualities for them and prove a stabilization property for the infinite series of reflection groups.

We prove that two reflection factorizations of a given element in an exceptional rank-2 complex reflection group of tetrahedral type are Hurwitz-equivalent if and only if they generate the same subgroup and have the same multiset of conjugacy classes.

Fully commutative elements in types $B$ and $D$ are completely characterized and counted by Stembridge. Recently, Feinberg-Kim-Lee-Oh have extended the study of fully commutative elements from Coxeter groups to the complex setting, giving an enumeration of such elements in $G(m,1,n)$. In this note, we prove a connection between fully commutative elements in $B_n$ and in $G(m,1,n)$, which allows us to characterize fully commutative elements in $G(m,1,n )$ by pattern avoidance. Further, we present a counting formula for such elements in $G(m,1,n)$.

We give an elementary, case-free, Coxeter-theoretic derivation of the formula $h^nn!/|W|$ for the number of maximal chains in the noncrossing partition lattice $NC(W)$ of a real reflection group $W$. Our proof proceeds by comparing the Deligne-Reading recursion with a parabolic recursion for the characteristic polynomial of the $W$-Laplacian matrix considered in our previous work. We further discuss the consequences of this formula for the geometric group theory of spherical and affine Artin groups.