arXiv++ Combinatorics

For an integer $M\geq 2$ and a finite group $G$, an element $α\in G$ is called an $M$-th power if it satisfies $A^M=α$ for some $A\in G$. In this article, we will deal with the case when $G$ is finite symplectic or orthogonal group over a field of order $q$. We introduce the notion of $M^*$-power SRIM polynomials. This, amalgamated with the concept of $M$-power polynomial, we provide the complete classification of the conjugacy classes of regular semisimple, semisimple, cyclic and regular elements in $G$, which are $M$-th powers, when $(M,q)=1$. The approach here is of generating functions, as worked on by Jason Fulman, Peter M. Neumann, and Cheryl Praeger in the memoir "A generating function approach to the enumeration of matrices in classical groups over finite fields". As a byproduct, we obtain the corresponding probabilities, in terms of generating functions.

The Johnson graph $J(v, k)$ has as vertices the $k$-subsets of $\mathcal{V}=\{1,\ldots, v\}$, and two vertices are joined by an edge if their intersection has size $k-1$. An \emph{$X$-strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codeword $Δ$, the setwise stabiliser $X_Δ$ is transitive on $Δ\times (\mathcal{V}\setminus Δ)$. We classify the \emph{$X$-strongly incidence-transitive codes} in $J(v,k)$ for which $X$ is the symplectic group $\mathrm{Sp}_{2n}(2)$ acting as a $2$-transitive permutation group of degree $2^{2n-1}\pm 2^{n-1}$, where the stabiliser $X_Δ$ of a codeword $Δ$ is contained in a \emph{geometric} maximal subgroup of $X$. In particular, we construct two new infinite families of strongly incidence-transitive codes associated with the reducible maximal subgroups of $\mathrm{Sp}_{2n}(2)$.

It is known that there are two non-equivalent embeddings of the split Cayley hexagon of order two into $\mathcal{W}(5,2)$, the binary symplectic polar space of rank three, called classical and skew. Labelling the 63 points of $\mathcal{W}(5,2)$ by the 63 canonical observables of the three-qubit Pauli group subject to the symplectic polarity induced by the (commutation relations between the elements of the) group, the two types of embedding are found to be quantum contextuality sensitive. In particular, we show that the complement of a classically-embedded hexagon is not contextual, whereas that of a skewly-embedded one is.

Let $\mathscr{P}$ be a symplectic polar space over a finite field $\mathbb{F}_q$, and $\mathscr{P}_m$ denote the collection of all $k$-dimensional totally isotropic subspace in $\mathscr{P}$. Let $\mathscr{F}_1\subset\mathscr{P}_{m_1}$ and $\mathscr{F}_2\subset\mathscr{P}_{m_2}$ satisfy $\dim(F_1\cap F_2)\ge t$ for any $F_1\in\mathscr{F}_1$ and $F_2\in\mathscr{F}_2$. We say they are cross $t$-intersecting families. Moreover, we say they are trivial if each member of them contains a fixed $t$-dimensional totally isotropic subspace. In this paper, we show that cross $t$-intersecting families with maximum product of sizes are trivial. We also describe the structure of non-trivial $t$-intersecting families with maximum product of sizes.

In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.

We give bijective proofs of orthosymplectic analogues of the Cauchy identity and dual Cauchy identity for orthosymplectic Schur functions. To do so, we present two insertion algorithms; these are orthosymplectic versions of Berele's symplectic insertion algorithms, which were used by Sundaram to give bijective proofs of Cauchy identities for symplectic Schur functions.

We attach a $\mathfrak{sl}_2$ crystal, called cocrystal, to a symplectic Kashiwara-Nakashima (KN) tableau, whose vertices are skew KN tableaux connected via the Lecouvey-Sheats symplectic \emph{jeu de taquin}. These cocrystals contain all the needed information to compute right and left keys of a symplectic KN tableau. Motivated by Willis' direct way of computing type $A$ right and left keys, we also give a way of computing symplectic, right and left, keys without the use of the symplectic \emph{jeu de taquin}. On the other hand, we prove that Baker virtualization by folding $A_{2n-1}$ into $C_n$ commutes with dilatation of crystals. Thus we may alternatively utilize this Baker virtualization to embed a type $C_n$ Demazure crystal, its opposite and atoms into $A_{2n-1}$ ones. The right, respectively left keys of a KN tableau are thereby computed as $A_{2n-1}$ semistandard tableaux and returned back via reverse Baker embedding to the $C_n$ crystal as its right respectively left symplectic keys. In particular, Baker embedding also virtualizes the crystal of Lakshmibai-Seshadri paths as $B_n$-paths into the crystal of Lakshmibai-Seshadri paths as $\mathfrak{S}_{2n}$-paths. Lastly, as an application of our explicit symplectic right and left key maps, thanks to the isomorphism between Lakshmibai-Seshadri path and Kashiwara crystals we use, similarly to the ${{Gl}(n,\mathbb{C})}$ case, left and right key maps as a tool to test whether a symplectic KN tableau is \emph{standard} on a Schubert or Richardson variety in the flag variety $Sp(2n,\mathbb{C})/B$, with $B$ a Borel subgroup.

We introduce certain generalisations of the characters of the classical Lie groups, extending the recently defined factorial characters of Foley and King. In this extension, the factorial powers are replaced with an arbitrary sequence of polynomials, as in Sergeev-Veselov's generalised Schur functions and Okada's generalised Schur P- and Q-functions. We also offer a similar generalisation for the rational Schur functions. We derive Littlewood-type identities for our generalisations. These identities allow us to give new (unflagged) Jacobi-Trudi identities for the Foley-King factorial characters and for rational versions of the factorial Schur functions. We also propose an extension of the original Macdonald's ninth variation of Schur functions to the case of symplectic and orthogonal characters, which helps us prove Nägelsbach-Kostka identities.

There has been significant interest in studying the asymptotics of certain generalised moments, called the moments of moments, of characteristic polynomials of random Haar-distributed unitary and symplectic matrices, as the matrix size $N$ goes to infinity. These quantities depend on two parameters $k$ and $q$ and when both of them are positive integers it has been shown that these moments are in fact polynomials in the matrix size $N$. In this paper we classify the integer roots of these polynomials and moreover prove that the polynomials themselves satisfy a certain symmetry property. This confirms some predictions from the thesis of Bailey. The proof uses the Ehrhart-Macdonald reciprocity for rational convex polytopes and certain bijections between lattice points in some polytopes.

We study the symplectic Howe duality using two new and independent combinatorial methods: via determinantal formulae on the one hand, and via (bi)crystals on the other hand. The first approach allows us to establish a generalised version where weight multiplicities are replaced by branching coefficients. In turn, this generalised Howe duality is used to prove the injectivity of induction for Levi branchings as previously conjectured by the last two authors.

We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.

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.

Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.

We introduce a family of discrete dynamical systems which includes, and generalizes, the mutation dynamics of rank two cluster algebras. These systems exhibit behavior associated with integrability, namely preservation of a symplectic form, and in the tropical case, the existence of a conserved quantity. We show in certain cases that the orbits are unbounded. The tropical dynamics are related to matrix mutation, from the theory of cluster algebras. We are able to show that in certain special cases, the tropical map is periodic. We also explain how our dynamics imply the asymptotic sign-coherence observed by Gekhtman and Nakanishi in the $2$-dimensional situation.

The adjacency matrix of a symplectic dual polar graph restricted to the eigenspaces of an abelian automorphism subgroup is shown to act as the adjacency matrix of a weighted subspace lattice. The connection between the latter and $U_q(sl_2)$ is used to find the irreducible components of the standard module of the Terwilliger algebra of symplectic dual polar graphs. The multiplicities of the isomorphic submodules are given.

We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type $A_2$: this deforms to the Lyness family of integrable symplectic maps in the plane. For types $A_3$ and $A_4$ we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these maps, by lifting them to a higher-dimensional space of tau functions with a cluster algebra structure, where the Laurent property is restored. More general types of deformed mutations associated with affine Dynkin quivers are shown to correspond to four-dimensional symplectic maps arising as reductions of the discrete sine-Gordon equation.

We survey the area of strongly regular graphs satisfying the 4-vertex condition and find several new families. We describe a switching operation on collinearity graphs of polar spaces that produces cospectral graphs. The obtained graphs satisfy the 4-vertex condition if the original graph belongs to a symplectic polar space.

In this article we explore a symplectic packing problem where the targets and domains are $2n$-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to $\mathbb{Z}^n$, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to $k=12$ simplices, along with lower bounds for higher values of $k$. We present a modified algorithmic approach that allows us to determine the $k$-simplex packing widths for up to $k = 13$ simplices in dimension four and up to $k = 8$ simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.

Several classes of near-MDS codes of ${\rm PG}(3,q)$ are described. They are obtained either by considering the intersection of an elliptic quadric ovoid and a Suzuki-Tits ovoid of a symplectic polar space ${\cal W}(3, q)$ or starting from the $q+1$ points of a twisted cubic of ${\rm PG}(3, q)$. As a by-product two classes of complete caps of ${\rm PG}(4,q)$ of size $2q^2-q \pm \sqrt{2q} + 2$ are exhibited.

Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextuality. Then we explain why subgeometries of binary symplectic polar spaces are candidates for contextuality proofs. We report the results of a software that generates these subgeometries, decides their contextuality and computes their contextuality degree for some small symplectic polar spaces. We show that quadrics in the symplectic polar space $W_n$ are contextual for $n=3,4,5$. The proofs we consider involve more contexts and observables than the smallest known proofs. This intermediate size property of those proofs is interesting for experimental tests, but could also be interesting in quantum game theory.