arXiv++ Combinatorics

We study lattices in free abelian groups of infinite rank that are invariant under the action of the infinite symmetric group, with emphasis on finiteness of their equivariant bases. Our framework provides a new method for proving finiteness results in algebraic statistics. As an illustration, we show that every invariant lattice in $\mathbb{Z}^{(\mathbb{N}\times[c])}$, where $c\in\mathbb{N}$, has a finite equivariant Graver basis. This result generalizes and strengthens several finiteness results about Markov bases in the literature.

In this paper, we present a generalization of Hayden's theorem [7, Theorem 4.2] for $G$-codes over finite Frobenius rings. A lattice theoretical form of this generalization is also given. Moreover, Astumi's MacWilliams identity [1, Theorem 1] is generalized in several ways for different weight enumerators of $G$-codes over finite Frobenius rings. Furthermore, we provide the Jacobi analogue of Astumi's MacWilliams identity for $G$-codes over finite Frobenius rings. Finally, we study the relation between $G$-codes and its corresponding $G$-lattices.

Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group. As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.

Permutation equivariant neural networks are typically used to learn from data that lives on a graph. However, for any graph $G$ that has $n$ vertices, using the symmetric group $S_n$ as its group of symmetries does not take into account the relations that exist between the vertices. Given that the actual group of symmetries is the automorphism group Aut$(G)$, we show how to construct neural networks that are equivariant to Aut$(G)$ by obtaining a full characterisation of the learnable, linear, Aut$(G)$-equivariant functions between layers that are some tensor power of $\mathbb{R}^{n}$. In particular, we find a spanning set of matrices for these layer functions in the standard basis of $\mathbb{R}^{n}$. This result has important consequences for learning from data whose group of symmetries is a finite group because a theorem by Frucht (1938) showed that any finite group is isomorphic to the automorphism group of a graph.

Delta-matroids are "type B" generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K-theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch-Riemann-Roch-type formula for the type B permutohedral variety.

For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal{H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf{h}_g$ for these equivariant Euler characteristics for all $n$. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible $G$-covers of genus zero curves, when $G$ is abelian, as a symmetric $Δ$-complex. We use these complexes to generalize our formula for $\mathsf{h}_g$ to moduli spaces of $n$-pointed smooth abelian covers of genus zero curves.

We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms $\widetilde{H}^{i-1}(Δ_{g,n};\mathbb{Q}) \cong W_0 H^i_c(\mathcal{M}_{g,n};\mathbb{Q})$, we calculate the weight $0$, compactly supported rational cohomology of the moduli spaces $\mathcal{M}_{g,n}$ in the range $g=3$ and $n\leq 9$, with partial computations available for $n\leq 13$.

In paper I of this series we gave positive formulae for expanding the product $\mathfrak S^π\mathfrak S^ρ$ of two Schubert polynomials, in the case that both $π,ρ$ had shared descent set of size $\leq 3$. Here we introduce and give positive formulae for two new classes of Schubert product problems: separated descent in which $π$'s last descent occurs at (or before) $ρ$'s first, and almost separated descent in which $π$'s last two descents occur at (or before) $ρ$'s first two respectively. In both cases our puzzle formulae extend to $K$-theory (multiplying Grothendieck polynomials), and in the separated descent case, to equivariant $K$-theory. The two formulae arise (via quantum integrability) from fusion of minuscule quantized loop algebra representations in types $A$, $D$ respectively.

We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the integral cohomology of the moduli stack of vector bundles on $\mathbb{P}^1$.

The purpose of this paper is to determine the ring structure of the graph equivariant cohomology of the GKM graph induced from the even-dimensional complex quadrics. We show that the graph equivariant cohomology is generated by two types of subgraphs in the GKM graph, which are subject to four different types of relations. By utilizing this ring structure, we establish the multiplicative relation for the generators of degree 2n and provide an alternative computation of the ordinary cohomology ring of 4n-dimensional complex quadrics, as previously computed by H. Lai. Additionally, we provide a combinatorial explanation for why the square of the 2n degree generator x vanishes when n is odd and is non-vanishing when n is even.

This article explores the relationship between Schubert varieties and equivariant embeddings, using the framework of homogeneous fiber bundles over flag varieties. We show that the homogenous fiber bundles obtained from Bott-Samelson-Demazure-Hansen varieties are always toroidal. Furthermore, we identify the wonderful varieties among them. We give a short proof of a conjecture of Gao, Hodges, and Yong for deciding when a Schubert variety is spherical with respect to an action of a Levi subgroup. By using BP-decompositions, we obtain a characterization of the smooth spherical Schubert varieties. Among the other applications of our results are: 1) a characterization of the spherical Bott-Samelson-Demazure-Hansen varieties, 2) an alternative proof of the fact that, in type A, every singular Schubert variety of torus complexity 1 is a spherical Schubert variety, and 3) a proof of the fact that, for simply laced algebraic groups of adjoint type, every spherical $G$-Schubert variety is locally rigid, that is to say, the first cohomology of its tangent sheaf vanishes.

We present a novel application of category theory for deep learning. We show how category theory can be used to understand and work with the linear layer functions of group equivariant neural networks whose layers are some tensor power space of $\mathbb{R}^{n}$ for the groups $S_n$, $O(n)$, $Sp(n)$, and $SO(n)$. By using category theoretic constructions, we build a richer structure that is not seen in the original formulation of these neural networks, leading to new insights. In particular, we outline the development of an algorithm for quickly computing the result of a vector that is passed through an equivariant, linear layer for each group in question. The success of our approach suggests that category theory could be beneficial for other areas of deep learning.

The learnable, linear neural network layers between tensor power spaces of $\mathbb{R}^{n}$ that are equivariant to the orthogonal group, $O(n)$, the special orthogonal group, $SO(n)$, and the symplectic group, $Sp(n)$, were characterised in arXiv:2212.08630. We present an algorithm for multiplying a vector by any weight matrix for each of these groups, using category theoretic constructions to implement the procedure. We achieve a significant reduction in computational cost compared with a naive implementation by making use of Kronecker product matrices to perform the multiplication. We show that our approach extends to the symmetric group, $S_n$, recovering the algorithm of arXiv:2303.06208 in the process.

We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.

Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.

We provide a combinatorial interpretation of the Kazhdan--Lusztig polynomial of the matroid arising from the braid arrangement of type $\mathrm{A}_{n-1}$, which gives an interpretation of the intersection cohomology Betti numbers of the reciprocal plane of the braid arrangement. Moreover, we prove an equivariant version of this result. The key combinatorial object is a class of matroids arising from series-parallel networks. As a consequence, we prove a conjecture of Elias, Proudfoot, and Wakefield on the top coefficient of Kazhdan--Lusztig polynomials of braid matroids, and we provide explicit generating functions for their Kazhdan--Lusztig and $Z$-polynomials.

We investigate a generalization of the classical notion of a Schur functor associated to a ribbon diagram. These functors are defined with respect to an arbitrary algebra, and in the case that the underlying algebra is the symmetric/exterior algebra, we recover the classical definition of Schur/Weyl functors, respectively. In general, we construct a family of 3-term complexes categorifying the classical concatenation/near-concatenation identity for symmetric functions, and one of our main results is that the exactness of these 3-term complexes is equivalent to the Koszul property of the underlying algebra $A$. We further generalize these ribbon Schur functors to the notion of a multi-Schur functor and construct a canonical filtration of these objects whose associated graded pieces are described explicitly; one consequence of this filtration is a complete equivariant description of the syzygies of arbitrary Segre products of Koszul modules over the Segre product of Koszul algebras. Further applications to the equivariant structure of derived invariants, symmetric function identities, and Koszulness of certain classes of modules are explored at the end, along with a characteristic-free computation of the regularity of a Schur functor applied to the tautological subbundle on projective space.

Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients. As an application, we deduce that structure constants for comultiplication in the equivariant K-theory of an infinite flag manifold exhibit an unusual positivity property, establishing conjectures of Lam-Lee-Shimozono. Along the way, we present alternative formulas for the back stable Grothendieck polynomials defined by those authors, as well as a new method for computing the coproduct coefficients.

We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.

A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the topological version of the Hedetniemi conjecture for $G$-spaces. Indeed, we show that the topological Hedetniemi conjecture cannot be valid for general pairs of $G$-spaces. More precisely, we show that this conjecture can possibly survive if the group $G$ is either a cyclic $p$-group or a generalized quaternion group whose size is a power of 2.