arXiv++ Combinatorics

We show that if a graph has minimum vertex degree at least d and girth at least g, where (d, g) is (3, 6) or (4, 4), then the incidence system of the graph has a (possibly infinite-dimensional) quantum solution over $\mathbb{Z}_p$ for every choice of vertex weights and integer $p \geq 2$. In particular, there are linear systems over $\mathbb{Z}_p$, for $p$ an odd prime, such that the corresponding linear system nonlocal game has a perfect commuting-operator strategy, but no perfect classical strategy.

The perfect quantum strategies of a linear system game correspond to certain representations of its solution group. We study the solution groups of graph incidence games, which are linear system games in which the underlying linear system is the incidence system of a (non-properly) two-coloured graph. While it is undecidable to determine whether a general linear system game has a perfect quantum strategy, for graph incidence games this problem is solved by Arkhipov's theorem, which states that the graph incidence game of a connected graph has a perfect quantum strategy if and only if it either has a perfect classical strategy, or the graph is nonplanar. Arkhipov's criterion can be rephrased as a forbidden minor condition on connected two-coloured graphs. We extend Arkhipov's theorem by showing that, for graph incidence games of connected two-coloured graphs, every quotient closed property of the solution group has a forbidden minor characterization. We rederive Arkhipov's theorem from the group theoretic point of view, and then find the forbidden minors for two new properties: finiteness and abelianness. Our methods are entirely combinatorial, and finding the forbidden minors for other quotient closed properties seems to be an interesting combinatorial problem.

Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorphic if and only if there is an isomorphism between their integral cohomology rings that preserves the Schubert basis.

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.

We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$.

Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.

We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration.

We show that the hyperplane arrangement of a coconvex set in a finite root system is free if and only if it is free in corank 4. As a consequence, we show that the inversion arrangement of a Weyl group element w is free if and only if w avoids a finite list of root system patterns. As a key part of the proof, we use a recent theorem of Abe and Yoshinaga to show that if the root system does not contain any factors of type C or F, then Peterson translation of coconvex sets preserves freeness. This also allows us to give a Kostant-Shapiro-Steinberg rule for the coexponents of a free inversion arrangement in any type.

A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods.

We show that an element $w$ of a finite Weyl group $W$ is rationally smooth if and only if the hyperplane arrangement $I$ associated to the inversion set of $w$ is inductively free, and the product $(d_1+1) \cdots (d_l+1)$ of the coexponents $d_1,\ldots,d_l$ is equal to the size of the Bruhat interval $[e,w]$, where $e$ is the identity in $W$. As part of the proof, we describe exactly when a rationally smooth element in a finite Weyl group has a chain Billey-Postnikov decomposition. For finite Coxeter groups, we show that chain Billey-Postnikov decompositions are connected with certain modular coatoms of $I$.

We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type Coxeter groups have only finitely many rationally smooth elements. Explicit enumerations and descriptions of these elements are given in special cases.

The strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that $H^*(\mathfrak{p} / z^N \mathfrak{p})$ contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of $L$, and thus is no longer free. We also prove a strong Macdonald theorem for $H^*(\mathfrak{b}; S^* \mathfrak{n}^*)$ and $H^*(\mathfrak{b} / z^N \mathfrak{n})$ when $\mathfrak{b}$ and $\mathfrak{n}$ are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking $z$-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to $L$, proving an analogue of the Kostant slice theorem.

In the symmetric group on a set of size 2n, let P_{2n} denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as ``pairings'', since each disjoint cycle has length 2). Harer and Zagier explicitly determined the distribution of the number of disjoint cycles in the product of a fixed cycle of length 2n and the elements of P_{2n}. Their famous result has been reproved many times, primarily because it can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface,of a graph with a single vertex attached to n loops. In this paper we give a new formula for the cycle distribution when a fixed permutation with two cycles (say the lengths are p,q, where p+q=2n) is multiplied by the elements of P_{2n}. It can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with two vertices, of degrees p and q. In terms of these graphs, the formula involves a parameter that allows us to specify, separately, the number of edges between the two vertices and the number of loops at each of the vertices. The proof is combinatorial, and uses a new algorithm that we introduce to create all rooted forests containing a given rooted forest.