arXiv++ Combinatorics

Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $λ>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geqλ \right\} \right| \lesssim_n q^{2n-1}|E|λ^{-2n}. \] The second aim is to determine, for every $1\leq u,v\leq\infty$, the sharp exponent of $q$ in the corresponding $\ell^u\to\ell^v$ estimate. More precisely, we prove that \[ A_n^{\mathrm{rd}}(u,v) = \max\left\{ \frac{2n-1}{v},\ 1-\frac1u,\ \frac{2n}{v}-\frac1u,\ 1+\frac{2n}{v}-\frac{2n+1}{u} \right\}. \] The proof combines the polynomial method with multiplicities and a probabilistic covering argument based on the action of the affine symplectic group.

Let $\SA$ be a finite thick generalized quadrangle, and let $G\leq \Aut(\SA)$ act primitively on both points and lines. Building on the almost simple reduction for point-primitive and line-primitive actions, we study the case where the socle of $G$ is the projective symplectic group $\PSp_4(q)$ with $q\ge 3$. We show that this hypothesis forces $\SA$ to be the classical symplectic quadrangle $W(3,q)$ up to duality.

In this paper, we compute the Möbius function on the set of pseudo-Levi subgroups containing a fixed maximal torus of two families of finite groups, $GL_n(q)$ and $Sp_{2n}(q)$, for some natural number $n$ and a prime power $q$. The Möbius function for the set of pseudo-Levi subgroups of a finite group $G$ is important for an explicit evaluation of the formula expressing the decomposition of tensor products of characters, as proved in Theorem 2 of the paper ''Multiplicity of characters of finite reductive groups and Drinfeld doubles'' [arXiv:2512.01432].

As a consequence of the Littlewood-Richardson (LR) commuters coincidence and the Kumar-Torres branching model via Kushwaha-Raghavan-Viswanath flagged hives, we have solved the Lecouvey-Lenart conjecture on the bijections between the Kwon and Sundaram branching models for the pair $({GL}_{2n}(\mathbb{C}), {Sp}_{2n}(\mathbb{C})) $ consisting of the general linear group ${GL}_{2n}(\mathbb{C})$ and the symplectic group ${Sp}_{2n}(\mathbb{C})$. In particular, thanks to the Henriques-Kamnitzer $gl_n$-crystal commuter, we have recognized that the left companion of an LR-Sundaram tableau is characterized by the Kwon symplectic condition. We now show that the construction of the left companion tableau of an LR-Sundaram tableau exhibits in fact the Kwon symplectic property.

We study the torus-equivariant homology $H_*^T(\mathrm{Gr}_G)$ of the affine Grassmannian $\mathrm{Gr}_G$, where $G=\mathrm{Sp}_{2n}(\mathbb{C})$ is the symplectic group. This homology admits a natural ring structure and a Schubert basis, giving rise to a well-defined Schubert calculus. We realize $H_*^T(\mathrm{Gr}_G)$ in terms of symmetric functions. Our first main result introduces a new family of symmetric functions, called the \emph{dual affine Schur $P$-functions}, which represent the Schubert classes. These functions are defined through the action of the affine nil-Hecke algebra, and specialize, in the stable limit as $n\to \infty$, to the dual factorial $P$-functions of Nakagawa and Naruse. Our second main result gives a precise comparison between this symmetric function model and the geometric construction of $H_*^T (\mathrm{Gr}_G)$ due to Ginzburg and Peterson, which identifies it with a coordinate ring of a centralizer family in the Langlands dual group.

We derive explicit formulas for the proportion of derangements and of derangements of $p$-power order in the affine unitary group $AU_m(q)$ over the finite field $\mathbb{F}_{q^2}$ of characteristic $p$. Both formulas rely on a result of independent interest concerning integer partitions: we obtain a generating function for partitions $λ=(λ_1, \dots, λ_m)$ into $m$ parts, for which $λ_1=1$ or there exists $k \in \{2, \dots,m\}$ such that $λ_{k-1}>λ_k=k$. Moreover, when $p$ is odd, we conjecture remarkably simple formulas for the proportions of derangements in the finite affine symplectic group $ASp_{2m}(q)$, and in the affine orthogonal groups $AO_{2m+1}(q)$ and $AO^{\pm}_{2m}(q)$, and we also propose conjectures for the proportions of derangements of $p$-power order. We further reduce the proofs of these conjectures to establishing three $q$-polynomial identities.

In this paper, we will describe a combinatorial object to list the orbits in the ${\mathbb Z}$-graded Lie algebra, their Jordan bloc decomposition, their dimension, their dimension, the partial order and the equivariant local system (up to isomorphism) for four infinite families: two are for the symplectic groups and two are for the special orthogonal groups. These orbits and equivariant local systems appear in the study of perverse sheaves arising from graded Lie algebras.

A strong Gelfand pair $(G,H)$ is a finite group $G$ together with a subgroup $H$ such that every irreducible character of $H$ induces to a multiplicity-free character of $G$. We classify the strong Gelfand pairs of the finite symplectic groups ${\rm Sp}_4(q)$ for even $q$.

The complete flag variety admits a natural action by both the orthogonal group and the symplectic group. Wyser and Yong defined orthogonal Grothendieck polynomials $\mathfrak{G}^{\mathsf{O}}_z$ and symplectic Grothendieck polynomials $\mathfrak{G}^{\mathsf{Sp}}_z$ as the $K$-theory classes of the corresponding orbit closures. There is an explicit formula to expand $\mathfrak{G}^{\mathsf{Sp}}_z$ as a nonnegative sum of Grothendieck polynomials $\mathfrak{G}^{(β)}_w$, which represent the $K$-theory classes of Schubert varieties. Although the constructions of $\mathfrak{G}^{\mathsf{Sp}}_z$ and $\mathfrak{G}^{\mathsf{O}}_z$ are similar, finding the $\mathfrak{G}^{(β)}$-expansion of $\mathfrak{G}^{\mathsf{O}}_z$ or even computing $\mathfrak{G}^{\mathsf{O}}_z$ is much harder. If $z$ is vexillary then $\mathfrak{G}^{\mathsf{O}}_z$ has a nonnegative $\mathfrak{G}^{(β)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(β)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.

Group equivariant neural networks are growing in importance owing to their ability to generalise well in applications where the data has known underlying symmetries. Recent characterisations of a class of these networks that use high-order tensor power spaces as their layers suggest that they have significant potential; however, their implementation remains challenging owing to the prohibitively expensive nature of the computations that are involved. In this work, we present a fast matrix multiplication algorithm for any equivariant weight matrix that maps between tensor power layer spaces in these networks for four groups: the symmetric, orthogonal, special orthogonal, and symplectic groups. We obtain this algorithm by developing a diagrammatic framework based on category theory that enables us to not only express each weight matrix as a linear combination of diagrams but also makes it possible for us to use these diagrams to factor the original computation into a series of steps that are optimal. We show that this algorithm improves the Big-$O$ time complexity exponentially in comparison to a naïve matrix multiplication.

It is a classical result that the set $K\backslash G /B$ is finite, where $G$ is a reductive algebraic group over an algebraically closed field with characteristic not equal to two, $B$ is a Borel subgroup of $G$, and $K = G^θ$ is the fixed point subgroup of an involution of $G$. In this paper, we investigate the affine counterpart of the aforementioned set, where $G$ is the general linear group over formal Laurent series, $B$ is an Iwahori subgroup of $G$, and $K$ is either the orthogonal group or the symplectic group over formal Laurent series. We construct explicit bijections between the double cosets $K \backslash G/B$ and certain twisted affine involutions. This is the first combinatorial description of $K$-orbits in the affine flag variety of type A.

Finding a mass formula for a given class of linear codes is a fundamental problem in combinatorics and coding theory. In this paper, we consider the action of the unitary (resp. symplectic) group on the set of all Hermitian (resp. symplectic) linear complementary dual (LCD) codes, prove that all Hermitian (resp. symplectic) LCD codes are on a unique orbit under this action, and determine the formula for the size of the orbit. Based on this, we develop a general technique to obtain a closed mass formula for linear codes with prescribed Hermitian (resp. symplectic) hull dimension, and further obtain some asymptotic results.

We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.

A digraph is $s$-arc-transitive if its automorphism group is transitive on directed paths with $s$ edges, that is, on $s$-arcs. Although infinite families of finite $s$-arc transitive digraphs of arbitrary valency were constructed by the third author in 1989, existence of a vertex-primitive $2$-arc-transitive digraph was not known until an infinite family was constructed by the second author with Li and Xia in 2017. This led to a conjecture by the second author and Xia in 2018 that, for a finite vertex-primitive $s$-arc-transitive digraph, $s$ is at most $2$, together with their proof that it is sufficient to prove the conjecture for digraphs with an almost simple group of automorphisms. This paper confirms the conjecture for finite symplectic groups.

We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations.

The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.

We study Schubert calculus in the torus-equivariant quantum $K$-ring of the Lagrangian Grassmannian $\mathrm{LG}(n)$. Our main tool is the $K$-theoretic Peterson map due to Kato. The map is from the (localized) equivariant $K$-homology ring $K_{*}^{T}(\mathrm{Gr}_{G})$ of the affine Grassmannian $\mathrm{Gr}_{G}$ of the symplectic group $G=\mathrm{Sp}_{2n}(\mathbb{C})$ to the (localized) torus-equivariant quantum $K$-ring $QK_{T}(\mathrm{LG}(n))$. We determine explicitly the kernel of this map.

We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$.

Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.

Given an integer $M\geq 2$, we deploy the generating function techniques to compute the number of $M$-th roots of identity in some of the well-known finite groups of Lie type, more precisely for finite general linear groups, symplectic groups, orthogonal groups of all types and unitary groups over finite fields of odd characteristics.