arXiv++ Combinatorics

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

Let $W$ be a simply laced Weyl group of finite type and rank $n$. If $W$ has type $E_7$, $E_8$, or $D_n$ for $n$ even, then the root system of $W$ has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of $W$ spanned by $n$-roots, which are products of $n$ orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains--Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings, and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.

The finite Young lattice $L(m, n)$ is rank-symmetric, rank-unimodal, and has the strong Sperner property. R. Stanley further conjectured that $L(m, n)$ admits a symmetric chain order. We show that the order structure on $L(m, n)$ is equivalent to a natural ordering on the lattice points of a dilated $n$-simplex, which in turn corresponds to a weight diagram for the root system of type $A_n$. Lindstr{\" o}m's symmetric chain decompositions for $L(3, n)$ are described completely through pictures.

In 1976, Cameron, Goethals, Seidel, and Shult classified all the graphs whose smallest eigenvalue is at least $-2$ by relating such graphs to root systems that appear in the classification of semisimple Lie algebras. In this paper, extending their beautiful theorem, we give a complete classification of all connected graphs whose smallest eigenvalue lies in $(-λ^*, -2)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$, and $ρ$ is the unique real root of $x^3 = x + 1$. Our result is the first classification of infinitely many connected graphs with their smallest eigenvalue in $(-λ, -2)$ for any constant $λ> 2$.

The Nekrasov-Okounkov formula gives an expression for the Fourier coefficients of the Euler functions as a sum of hook length products. This formula can be deduced from a specialization in a renormalization of the affine type $A$ Weyl denominator formula and the use of a polynomial argument. In this paper, we rephrase the renormalized Weyl-Kac denominator formula as a sum parametrized by affine Grassmannian elements. This naturally gives rise to the (dual) atomic length of the root system considered introduced by Chapelier-Laget and Gerber. We then provide an interpretation of this atomic length as the cardinality of some subsets of $n$-core partitions by using foldings of affine Dynkin diagrams. This interpretation does not permit the direct use of a polynomial argument for all affine root systems. We show that this obstruction can be overcome by computing the atomic length of certain families of integer partitions. Then we show how hook-length statistics on these partitions are connected with the Coxeter length on affine Grassmannian elements and Nekrasov-Okounkov type formulas.

Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide upper and lower bounds for this problem, relying on classical results of extremal combinatorics and an explicit construction using the incidence matrix of a finite projective plane.

Dimitrov and Fioresi introduced an object that they call a generalized root system. This is a finite set of vectors in a euclidean space satisfying certain compatibilities between angles and sums and differences of elements. They conjecture that every generalized root system is equivalent to one associated to a restriction of a Weyl arrangement. In this note we prove the conjecture and provide a complete classification of generalized root systems up to equivalence.

Given an irreducible root system, the Worpitzky-compatible subsets are defined by a geometric property of the alcoves inside the fundamental parallelepiped of the root system. This concept is motivated and mainly understood through a lattice point counting formula concerning the characteristic and Ehrhart quasi-polynomials. In this paper, we show that the Worpitzky-compatibility has a simple combinatorial characterization in terms of roots. As a byproduct, we obtain a complete characterization by means of Worpitzky-compatibility for the freeness of the arrangements interpolating between the extended Shi and Catalan arrangements. This is a completion of the earlier result by Yoshinaga in 2010 which was done for simply-laced root systems.

We consider discrete dynamical systems obtained as deformations of mutations in cluster algebras associated with finite-dimensional simple Lie algebras. The original (undeformed) dynamical systems provide the simplest examples of Zamolodchikov periodicity: they are affine birational maps for which every orbit is periodic with the same period. Following on from preliminary work by one of us with Kouloukas, here we present integrable maps obtained from deformations of cluster mutations related to the following simple root systems: $A_3$, $B_2$, $B_3$ and $D_4$. We further show how new cluster algebras arise, by considering Laurentification, that is, a lifting to a higher-dimensional map expressed in a set of new variables (tau functions), for which the dynamics exhibits the Laurent property. For the integrable map obtained by deformation of type $A_3$, which already appeared in our previous work, we show that there is a commuting map of Quispel-Roberts-Thompson (QRT) type which is built from a composition of mutations and a permutation applied to the same cluster algebra of rank 6, with an additional 2 frozen variables. Furthermore, both the deformed $A_3$ map and the QRT map correspond to addition of a point in the Mordell-Weil group of a rational elliptic surface of rank two, and the underlying cluster algebra comes from a quiver that mutation equivalent to the $q$-Painlevé III quiver found by Okubo. The deformed integrable maps of types $B_2$, $B_3$ and $D_4$ are also related to elliptic surfaces. From a dynamical systems viewpoint, the message of the paper is that special families of birational maps with completely periodic dynamics under iteration admit natural deformations that are aperiodic yet completely integrable.

We use the folding technique to show that generalized associahedra for non-simply-laced root systems (including non-crystallographic ones) can be obtained as sections of simply-laced generalized associahedra constructed by Bazier-Matte, Chapelier-Laget, Douville, Mousavand, Thomas and Yildirim.

High-dimensional expanders are a generalization of the notion of expander graphs to simplicial complexes and give rise to a variety of applications in computer science and other fields. We provide a general tool to construct families of bounded degree high-dimensional spectral expanders. Inspired by the work of Kaufman and Oppenheim, we use coset complexes over quotients of Kac-Moody-Steinberg groups of rank $d+1$, $d$-spherical and purely $d$-spherical. We prove that infinite families of such quotients exist provided that the underlying field is of size at least 4 and the Kac-Moody-Steinberg group is 2-spherical, giving rise to new families of bounded degree high-dimensional expanders. In the case the generalized Cartan matrix we consider is affine, we recover the construction of O'Donnell and Pratt from 2022, (and thus also the one of Kaufman and Oppenheim) by considering Chevalley groups as quotients of affine Kac-Moody-Steinberg groups. Moreover, our construction applies to the case where the root system is of type $\tilde{G}_2$, a case that was not covered in earlier works.

Let $\mathtt{k}$ be an algebraically closed field of characteristic zero. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{sl}}(n|m)$ and let $\mathfrak{W}$ be the Weyl groupoid introduced by Sergeev and Veselov using the root system of ${\stackrel{\rm o}{\mathfrak{g}}}$. An important subgroupoid $\mathfrak T_{iso}$ of ${\mathfrak{W}}$ has base $Δ_{iso}$, the set of all the isotropic roots. Motivated by deformed quantum Calogero-Moser problems, the same authors considered an action of $\mathfrak{W}$ on $\mathtt{k}^{n|m}$ depending on a parameter $κ$. %When $κ$ is negative special, they showed this action has infinite orbits. In the case $m>n$, with $m,n $ relatively prime and $κ=-n/m$ we study a particular infinite orbit of $\mathfrak T_{iso}$ with some special properties. This orbit, thought of as a directed graph is isomorphic to the graph of an orbit for the action of $\mathfrak T_{iso}$ on certain Borel subalgebras of the affinization ${\widehat{L}(\stackrel{\rm _o}{\mathfrak{g}})}$ of ${\stackrel{\rm o}{\mathfrak{g}}}$. %The root groupoid has a base consisting of Borel subalgebras with fixed even part, and morphisms are given by odd reflections. The underlying reason for this graph isomorphism is that both have combinatorics which can be described using Young diagrams and tableaux drawn on the surface of a rotating cylinder with circumference $n$ and length $m$. Allowing the cylinder to rotate produces an infinite orbit. This leads to a third graph which is isomorphic to the other two.

Consider the complete flag variety $X$ of a complex semisimple algebraic group $G$. We show that the structure coefficients of the Belkale-Kumar product $\odot_0$, on the cohomology $\mathrm{H}^{*}(X,\mathbf{Z})$, are all either $0$ or $1$. We also derive some consequences. The proof that is mainly geometric also uses new combinatorial results on root systems. Moreover, it is uniform and avoids case by case considerations.

For any root system of rank $r$, we study the "dominant weight polytope" $P^λ$ associated with a strongly dominant weight $λ$. We prove that $P^λ$ is combinatorially equivalent to the $r$-dimensional cube. As an application, we give a new proof of the known formulas for Betti numbers of Peterson varieties in classical Lie types.

Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups. In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.

The main result of this paper is a recursive description of all decompositions \[ Δ^+ = Φ_1 \sqcup Φ_2 \sqcup \dots \sqcup Φ_k \] of the positive roots $Δ^+$ of an arbitrary root system $Δ$ into a disjoint union of inversion sets. Such decompositions play a central role in geometric invariant theory (GIT) in connection with studying the Littlewood-Richardson cone and related problems. This work can be considered as a continuation of the work of Dewji, Dimitrov, McCabe, Roth, Wehlau, and Wilson in which similar questions were studied for root systems of type $\mathbb{A}$. Their methods relied on properties of permutations and are not transferable to an arbitrary root system. In order to develop a type-independent approach, we go beyond root systems and consider quotient root systems (QRSs for short). We study subsets of positive roots in an arbitrary QRS $R$. We prove that every $Φ\subseteq R^+$ can be represented in a canonical way as an inflation and develop methods to study recursively properties of such subsets. We extend the notion of an inversion to subsets of any QRS, i.e., beyond the case where a Weyl group is associated with $R$. If $Φ\subseteq R^+$ is an inversion set, we introduce a graph $\text{G}(Φ)$ and endow the set Comp$(Φ)$ of connected components of $\text{G}(Φ)$ with a partial addition. The resulting monoid-like structure (Comp$(Φ),+)$ is a further generalization of root systems beyond QRSs. We study in detail the properties of (Comp$(Φ),+)$ and their applications to studying the properties of $Φ$. In particular, we investigate the relationship between $Φ$ being primitive and $Φ$ being irreducible. Apart from describing recursively all decompositions of $Δ^+$ into the disjoint union of inversion sets, we provide applications to GIT and derive enumerative results which may be of independent interest.

In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to a wedge of $(2d-2)$-dimensional spheres. The number of wedge summands equals the Möbius invariant of the geometric lattice (or hyperplane arrangement) associated with the covering. This result explains some observed large-scale phenomena in topological data analysis. We review the particular case, when the coverings are centered in the root system $A_d$. In this case the nerve of the covering by open hemispheres is the space of directed acyclic graphs (DAGs), and the nerve of the covering by closed hemispheres is the space of non-strongly connected directed graphs. The homotopy types of these spaces were described by Björner and Welker, and the incarnation of these spaces appeared independently as "the poset of orders" and "the poset of preorders" respectively in the works of Bouc. We study the space of DAGs in terms of Gale and combinatorial Alexander dualities, and propose how this space can be applied in automated machine learning.

The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties.

It is provided a local characterization of quasi-crystal graphs, by presenting a set of local axioms, similar to the ones introduced by Stembridge for crystal graphs of simply-laced root systems. It is also shown that quasi-crystal graphs satisfying these axioms are closed under the tensor product recently introduced by Cain, Guilherme and Malheiro. It is deduced that each connected component of such a graph has a unique highest weight element, whose weight is a composition, and it is isomorphic to a quasi-crystal graph of semistandard quasi-ribbon tableaux.

A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras. It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erdős-Simonovits-Sós for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement. We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive.