arXiv++ Combinatorics

This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes.

A poset $I=(\{1,\ldots, n\}, \leq_I)$ is called non-negative if the symmetric Gram matrix $G_I:=\frac{1}{2}(C_I + C_I^{tr})\in\mathbb{M}_n(\mathbb{R})$ is positive semi-definite, where $C_I\in\mathbb{M}_n(\mathbb{Z})$ is the $(0,1)$-matrix encoding the relation $\leq_I$. Every such a connected poset $I$, up to the $\mathbb{Z}$-congruence of the $G_I$ matrix, is determined by a unique simply-laced Dynkin diagram $\mathrm{Dyn}_I\in\{\mathbb{A}_m, \mathbb{D}_m,\mathbb{E}_6,\mathbb{E}_7,\mathbb{E}_8\}$. We show that $\mathrm{Dyn}_I=\mathbb{A}_n$ implies that the matrix $G_I$ is of rank $n$ or $n-1$. Moreover, we depict explicit shapes of Hasse digraphs $\mathcal{H}(I)$ of all such posets~$I$ and devise formulae for their number.

We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.

We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.

Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs. In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise. Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.

In a recent paper by K.-H. Lee, K. Lee and M. Mills, a mutation of reflections in the universal Coxeter group is defined in association with a mutation of a quiver. A matrix representation of these reflections is determined by a linear ordering on the set of vertices of the quiver. It was conjectured that there exists an ordering (called a pseudo-acyclic ordering in this paper) such that whenever two mutation sequences of a quiver lead to the same labeled seed, the representations of the associated reflections also coincide. In this paper, we prove this conjecture for every quiver mutation-equivalent to an orientation of a type $A_n$ Dynkin diagram by decomposing a mutation sequence into a product of elementary swaps and checking relations studied by Barot and Marsh.

In this article, we consider involutions, called togglings, on the set of independent sets of the Dynkin diagram of type A, or a path graph. We are interested in the action of the subgroup of the symmetric group of the set of independent sets generated by togglings. We show that the subgroup coincides with the symmetric group.

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$.

We enumerate the number of staircase diagrams over classically finite $E$-type Dynkin diagrams, extending the work of Richmond and Slofstra (Staircase Diagrams and Enumeration of smooth Schubert varieties) and completing the enumeration of staircase diagrams over finite type Dynkin diagrams. The staircase diagrams are in bijection to smooth and rationally smooth Schubert varieties over $E$-type thereby giving an enumeration of these varieties.

For each Dynkin diagram $D$, we define a ''cluster configuration space'' ${\mathcal{M}}_D$ and a partial compactification ${\widetilde {\mathcal{M}}}_D$. For $D = A_{n-3}$, we have ${\mathcal{M}}_{A_{n-3}} = {\mathcal{M}}_{0,n}$, the configuration space of $n$ points on ${\mathbb P}^1$, and the partial compactification ${\widetilde {\mathcal{M}}}_{A_{n-3}}$ was studied in this case by Brown. The space ${\widetilde {\mathcal{M}}}_D$ is a smooth affine algebraic variety with a stratification in bijection with the faces of the Chapoton-Fomin-Zelevinsky generalized associahedron. The regular functions on ${\widetilde {\mathcal{M}}}_D$ are generated by coordinates $u_γ$, in bijection with the cluster variables of type $D$, and the relations are described completely in terms of the compatibility degree function of the cluster algebra. As an application, we define and study cluster algebra analogues of tree-level open string amplitudes.

The adjacency matrices of graphs form a special subset of the set of all integer symmetric matrices. The description of which graphs have all their eigenvalues in the interval [-2,2] (i.e., those having spectral radius at most 2) has been known for several decades. In 2007 we extended this classification to arbitrary integer symmetric matrices. In this paper we turn our attention to symmetrizable matrices. We classify the connected nonsymmetric but symmetrizable matrices which have entries in $\Z$ that are maximal with respect to having all their eigenvalues in [-2,2]. This includes a spectral characterisation of the affine and finite Dynkin diagrams that are not simply laced (much as the graph result gives a spectral characterisation of the simply laced ones).

The crystals for a finite-dimensional complex reductive Lie algebra $\mathfrak{g}$ encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group $C_{\mathfrak{g}}$, constructed using the Dynkin diagram of $\mathfrak{g}$, and its combinatorial action on any $\mathfrak{g}$-crystal via Schützenberger involutions. We compare this action with that of the Berenstein-Kirillov group on Gelfand-Tsetlin patterns. Henriques and Kamnitzer define an action of $C_n=C_{\mathfrak{gl}_n}$ on $n$-tensor products of $\mathfrak{g}$-crystals, for any $\mathfrak{g}$ as above. We discuss the crystal corresponding to the $\mathfrak{gl}_n \times \mathfrak{gl}_m$-representation $Λ^N(\mathbb{C}^n \otimes \mathbb{C}^m),$ derive skew Howe duality on the crystal level and show that the two types of cactus group actions agree in this setting. A future application of this result is discussed in studying two families of maximal commutative subalgebras of the universal enveloping algebra, the shift of argument and Gaudin algebras, where an algebraically constructed monodromy action matches that of the cactus group.

The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $φ^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.

We continue the study of separable elements in finite Weyl groups. These elements generalize the well-studied class of separable permutations. We show that the multiplication map $W/U \times U \to W$ is a length-additive bijection, or splitting, of the Weyl group $W$ when $U$ is an order ideal in right weak order generated by a separable element; this generalizes a result for the symmetric group, answering an open problem of Wei. For a generalized quotient of the symmetric group, we show that this multiplication map is a bijection if and only if $U$ is an order ideal in right weak order generated by a separable element, thereby classifying those generalized quotients which induce splittings of the symmetric group, resolving a problem of Björner and Wachs from 1988. We also prove that this map is always surjective when $U$ is an order ideal in right weak order. Interpreting these sets of permutations as linear extensions of 2-dimensional posets gives the first direct combinatorial proof of an inequality due originally to Sidorenko in 1991, answering an open problem Morales, Pak, and Panova. We also prove a new $q$-analog of Sidorenko's formula. All of these results are conjectured to extend to arbitrary finite Weyl groups. Finally, we show that separable elements in $W$ are in bijection with the faces of all dimensions of several copies of the graph associahedron of the Dynkin diagram of $W$. This correspondence associates to each separable element $w$ a certain nested set; we give product formulas for the rank generating functions of the principal upper and lower order ideals generated by $w$ in terms of these nested sets, generalizing several known formulas.

Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(λ,μ)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $μ$ in the representation of $\mathfrak{g}$ with highest weight $λ$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to compute the associated $q$-multiplicity for the pairs of weights considered, and conjecture that in all cases the $q$-multiplicity of such pairs of weights is given by a power of $q$.

Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have periodicity. For any pair $(X_r, \ell)$, we define an integer sequence called exponents using formulation of the $Y$-system by cluster algebras. We give a conjectural formula expressing the exponents by the root system of type $X_r$, and prove this conjecture for $(A_1,\ell)$ and $(A_r, 2)$ cases. We point out that a specialization of this conjecture gives a relationship between the exponents and the asymptotic dimension of an integrable highest weight module of an affine Lie algebra. We also give a point of view from $q$-series identities for this relationship.

A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation theory, particularly in the study of poset models for semisimple Lie algebra representations and their companion Weyl group symmetric functions. One of our goals is to gather in one place some elementary but foundational results concerning these lattice structures; this includes some new results as well as some new interpretations of classical results. We then develop many points of contact between diamond-colored modular/distributive lattices and combinatorial Lie representation theory, leading to some new Dynkin diagram classification results and some new results concerning minuscule and quasi-minuscule representations.

Let $\mathfrak g$ be a simple Lie algebra with a Borel subalgebra $\mathfrak b$. Let $Δ^+$ be the corresponding (po)set of positive roots and $θ$ the highest root. A pair $\{η,η'\}\subset Δ^+$ is said to be glorious, if $η,η'$ are incomparable and $η+η'=θ$. Using the theory of abelian ideals of $\mathfrak b$, we (1) establish a relationship of $η,η'$ to certain abelian ideals associated with long simple roots, (2) provide a natural bijection between the glorious pairs and the pairs of adjacent long simple roots (i.e., some edges of the Dynkin diagram), and (3) point out a simple transform connecting two glorious pairs corresponding to the incident edges in the Dynkin digram. In types ${\bf DE}$, we prove that if $\{η,η'\}$ corresponds to the edge through the branching node of the Dynkin diagram, then the meet $η\wedgeη'$ is the unique maximal non-commutative root. There is also an analogue of this property for all other types except type ${\bf A}$. As an application, we describe the minimal non-abelian ideals of $\mathfrak b$.

We consider an involution on the affine Weyl group of type $A$ induced from the nontrivial automorphism on the (finite) Dynkin diagram. We prove that the number of left cells fixed by this involution in each two-sided cell is given by a certain Green polynomial of type $A$ evaluated at -1.

We introduce a new class of friezes which is related to symplectic geometry. On the algebraic and combinatrics sides, this variant of friezes is related to the cluster algebras involving the Dynkin diagrams of type ${\rm C}_{2}$ and ${\rm A}_{m}$. On the geometric side, they are related to the moduli space of Lagrangian configurations of points in the 4-dimensional symplectic space introduced in [Conley C.H., Ovsienko V., Math. Ann. 375 (2019), 1105-1145]. Symplectic friezes share similar combinatorial properties to those of Coxeter friezes and SL-friezes.