arXiv++ Combinatorics

Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.

We prove an essentially optimal uniform upper bound for the number of integer symplectic matrices inside a box of expanding side length and arbitrary centre.

The hull of a linear code is the intersection of the code with its dual and depends on the choice of inner product. We study how the numbers of linear codes with prescribed Euclidean, Hermitian, and symplectic hull dimensions vary with the hull dimension. Building on closed enumeration formulae, we derive exact ratio decompositions for the Hermitian and symplectic cases, determine the parameter ranges in which monotonicity holds, and identify the exceptional families. We also compare the three inner products and complement the theoretical analysis with computational classification results for quaternary codes.

In this paper, we compute the Möbius function on the poset 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$, where $q>2n+1$. For the general linear group, we consider arbitrary tori, but for symplectic groups, we restrict to tori corresponding to the bipartitions of $n$ into odd integers. Also, we assume $q$ is even for the case of symplectic groups. 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].

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map of type AII, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to LR-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII$_{2n-1}$. The algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(\C)$ to $Sp_{2n}(\C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof for the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux. The surjectivity is exhibited via the iteration of the reverse Schensted column insertion, initialized on a symplectic tableau, ruled by the slack data of a quantum recording tableau, and followed with the inverse reduction map on the bumped symplectic column in each iteration. The explicit inverse reduction map has been recently computed by the author in arXiv:2606.24840v2 for any symplectic column. The inverse of the quantum LR map is used to compute and characterize a family of $\k$- highest weight semi-standard tableaux in the recent proof of the Naito-Sagaki conjecture using the Watanabe's branching rule based on the crystal basis theory for $\imath$quantum groups of type AII$_{2n-1}$. That family of tableaux is generated by quantum recording tableaux with $1$-$0$-slack sequence and shape length $2n$ or $2n-1$ is characterized by certain linear inequalities.

We give combinatorial criteria for the existence of left-invariant symplectic forms on the positive and full path Lie groups of finite acyclic quivers. For the nilpotent positive path Lie groups, the criterion also determines whether their compact quotients admit symplectic forms and forces the nilpotency step to be at most three. For the completely solvable full path Lie groups, we give a direct combinatorial criterion and an equivalent recursive criterion. In the symplectic case, the recursive procedure is realized by successive Hamiltonian reductions ending at an abelian symplectic Lie group. We characterize the existence of Lagrangian normal subgroups for a given form in both families, with applications to Lagrangian torus fibrations of compact nilmanifolds. We also describe the cohomology rings of the compact symplectic nilmanifolds and determine all Lefschetz ranks.

Let q be an even prime power and n \ge 2. We construct line spreads of the symplectic polar space W(2n-1,q) by replacing pairwise disjoint reguli in a Desarguesian line spread. The construction is based on partitions of the points of PG(n-1,q^2) into points of a nondegenerate Hermitian variety and Baer sublines meeting that variety in exactly one point. In the plane case, the partition is invariant under a cyclic group of order q^2-q+ 1.

We establish topological recursion for the spin enumeration of hypermaps, or, in the dual language, spin dessins d'enfants. This problem has remarkable features distinguishing it from other applications of topological recursion to enumerative combinatorics. First, the spectral curve is elliptic rather than rational, as in most cases studied before. Second, it contains degenerate ramification points, and one has to apply a version of degenerate topological recursion. Finally, the meromorphic correlator differentials have "moving" poles on the antidiagonals between pairs of distinct arguments, and one has to adjust the loop equations to this kind of degeneracy as well. The computations involve concepts of different kinds, such as BKP integrability, Gaussian integrals, the x-y swap, and symplectic duality.

Let $p$ be an odd prime, and let $ρ\colon G\to \GSp_{2n}(\Z_p)$ be an irreducible symplectic residually multiplicity free representation. We define the symplectic extension graph $Γ_ρ^\GSp$ associated with $ρ$ to be the directed graph whose vertices are the residual factors of $ρ$ and a directed edge between two vertices corresponds to a nonsplit extension between the vertices realized by $ρ$. Using the Euclidean Bruhat--Tits building associated with $\GSp_{2n}(\Q_p)$, under some assumptions, we prove the existence of certain paths in $Γ_ρ^\GSp$ and show that $Γ_ρ^\GSp$ is a disjoint union of nonempty strongly connected subgraphs. Moreover, we provide examples to show that the result we obtain is optimal.

For a group $G$, let $a(G)$ denote the minimum number of abelian subgroups covering $G$, and let $ω(G)$ be the maximum size of a pairwise noncommuting set. We prove the exact formula $\sup_{ω(G)\leq n}a(G)=2^{\lfloor(n-1)/2\rfloor}+1$ for every $n\geq 63$. Equality holds precisely for groups with derived subgroup of order two and binary symplectic central quotient of dimension $2\lfloor(n-1)/2\rfloor$. The proof combines centralizer descent with a structural separation of nonscalar alternating commutator maps.

We study the variation of hull dimensions of symplectic linear codes under equivalence transformations preserving the symplectic distance. For a symplectic linear code $C$, we introduce an even-valued invariant $Δ(C)$, which depends only on the equivalence class of $C$. This invariant can be expressed as the generic rank of an associated space of alternating matrices and, equivalently, as twice a corresponding matroid matching number. If $C$ has dimension $k$, we prove that the minimum symplectic hull dimension among all codes equivalent to $C$ is $k-Δ(C)$. Consequently, $C$ is equivalent to a symplectic LCD code if and only if $Δ(C)=k$. We further show that every symplectic MDS code of even dimension is monomially equivalent to a symplectic LCD code. For a symplectic self-orthogonal code $C$, we determine all attainable hull dimensions: for every integer $r$ with $0\le r\le Δ(C)/2$, there exists a monomially equivalent code whose symplectic hull has dimension $k-2r$. We also refine a standard form for the generator matrix of a symplectic self-orthogonal code and derive the corresponding parity-check matrix and the Gram matrix of the dual code. In the self-dual case, we characterize $Δ(C)$ through minors of an associated symmetric matrix. Furthermore, we relate hull variation to graph matchings, establish a bound for $Δ(C)$, and give graph constructions producing symplectic self-dual MDS, optimal, and best-known codes.

We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, use Butcher trees to compute the Taylor series of a solution of a Hamilton-Jacobi equation on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.

A conference signal is a complex-valued function on a finite abelian group that vanishes at 0 in both the time and frequency domains, and is otherwise flat in both domains. For example, the Legendre symbol is a conference signal on $\mathbb{Z}_p$ since it vanishes at $0$, takes values $\pm 1$ away from zero, and is a scalar multiple of its Fourier transform. More generally, any nontrivial multiplicative character on a finite field is a conference signal on its additive group. Until now, conference signals have mainly been studied by number theorists, who wanted to know if multiplicative characters were the only conference signals on finite fields. The state of the art uses fancy tools from symplectic geometry to prove that non-character conference signals exist on non-small fields. The same tools show conference signals exist on every abelian group of odd order, without saying what they are. In this (human-friendly!) paper, we explain how conference signals produce other objects of interest in algebraic combinatorics and applied harmonic analysis, and then we present some new, explicit constructions of conference signals on $\mathbb{Z}_n$. In particular, we give the first explicit conference signals for composite $n$ and the first explicit non-character examples for prime $n$.

We construct distinct high-dimensional mean-zero finite range lattice random walks having pairwise-equal return probabilities for all step counts. The same examples provide pairwise-distinct shapes of discretizations of the standard Laplacian with pairwise-equal density state functions. The main contribution is a reconstruction theorem: to a colored trivalent graph one associates a quantum Clebsch--Gordan polytope, and this association is a full functor, in particular from the polytope one can uniquely recover the original graph. These polytopes appear as moment polytopes of toric degenerations of character varieties (moduli spaces of rank-2 bundles on curves), yielding a combinatorial non-abelian Torelli theorem. In symplectic geometry, the reconstruction theorem implies that monotone Lagrangian tori on odd character varieties associated with these degenerations are pairwise non-Hamiltonian isotopic. These results, and some of the applications, arose from the study of mirror symmetry for moduli spaces of vector bundles, and of the related Laurent phenomenon for mutations of graph potentials.

Consider a finite planar graph with positive real edge weights and designated boundary vertices, called nodes. Such a graph is called a circular planar electrical network. A grove is a spanning forest in which every component contains at least one node. The connected components of a grove determine a partition of the nodes. We relate weighted grove counts to invariant theory for the symplectic group. To a planar electrical network $G$, we associate an $\mathrm{Sp}(2n)$-invariant tensor $Z_G$. For $\mathrm{Sp}(2)=\mathrm{SL}(2)$, we expand $Z_G$ in the Temperley--Lieb basis indexed by noncrossing matchings and relate its coefficients to the Kenyon--Wilson grove formulas. For $\mathrm{Sp}(4)$, we give reduction rules for superpositions of two groves and prove that the tensors indexed by $3$-noncrossing matchings form a basis of the space of $\mathrm{Sp}(4)$-invariant tensors. The coefficients of $Z_G$ in this basis are weighted counts of reduced double groves, up to normalization.

In this paper, we compute the orders of upper triangular symplectic Renner monoids using admissible sets. We obtain both recursive and closed-form formulas for these orders. We then derive their exponential generating functions and establish connections between these functions and the Laguerre polynomials.

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. We prove that $d(E_2\times C_3^r)=2r+10$ for $0\le r\le3$. The upper bounds follow from signed zero-block identities and two finite statements in the four-dimensional symplectic space over $\mathbb F_3$. The first supplies edge weights for all completable balanced triangles on any indexed list of at most sixteen nonzero vectors. The second supplies weights for the direction families that can occur in a critical list with no central terms. We give complete coverage arguments, exact certificate files, and separately implemented checking programs. A compression argument removes any need for an induction through smaller list lengths in the sixteen-term potential theorem. The formula for $r\ge4$ remains open.

Skew-symmetric matrix Schubert varieties are determinantal varieties obtained by intersecting matrix Schubert varieties with the space of skew-symmetric matrices. They are closely related to the orbit closures of the symplectic group action on the flag variety, and their torus-equivariant K-classes are the symplectic Grothendieck polynomials. We compute the Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties by giving a combinatorial formula for the degree of symplectic Grothendieck polynomials. In addition, we characterize the highest-degree homogeneous component of a symplectic Grothendieck polynomial and compute the maximal Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties.

This paper studies symmetry-induced reductions of scalar recurrence complexity for balanced banded Toeplitz determinants and permanents. Three mechanisms emerge: determinant state and spectral compression, exceptional permanent--determinant conversion, and symmetries of permanent state spaces. For symmetric determinants, straightening reduces the row-column states from $\binom{2m}{m}$ to the Catalan number $C_{m+1}$; primitive symplectic weight compression then leaves $(3^m+1)/2$ distinct autonomous modes. Skew symmetry has a parallel compound/Hodge explanation: the middle exterior representation splits into two Hodge halves of dimension $\binom{2m}{m}/2$, the one-step compound transfer exchanges the halves, and its two-step restriction has $3^{m-1}$ generic ternary modes. Thus the full skew bound is $2\cdot3^{m-1}$. Widom--Hankel arguments prove generic scalar minimality in both symmetry classes, and every even skew Toeplitz determinant admits an explicit half-size square factorization. For the zero-diagonal pentadiagonal support, a Pólya--Kasteleyn signing converts every permanent to a determinant. Among consecutive zero-diagonal two-sided bands, universal entrywise conversion---and separately Toeplitz diagonal-wise conversion---occurs only in the Hessenberg families and this pentadiagonal case. Paired renewal identities recover all restored-diagonal determinant and permanent layers. For permanents, transposition gives the open symmetric bound $(\binom{2m}{m}+2^m)/2$, while cyclic defect-sector pairing gives $(4^m+\binom{2m}{m})/2$. Skew-symmetry forces odd-size vanishing and corresponding even-subsequence bounds. In semibandwidth two the open symmetric bound is generically sharp; higher-semibandwidth permanent minimality is left separate from the symmetry reductions proved here.