arXiv++ Combinatorics

The odd symplectic Grassmannian $\mathrm{IG}:=\mathrm{IG}(k, 2n+1)$ parametrizes $k$ dimensional subspaces of $\mathbb{C}^{2n+1}$ which are isotropic with respect to a general (necessarily degenerate) symplectic form. The odd symplectic group acts on $\mathrm{IG}$ with two orbits, and $\mathrm{IG}$ is itself a smooth Schubert variety in the submaximal isotropic Grassmannian $\mathrm{IG}(k, 2n+2)$. We use the technique of curve neighborhoods to prove a Chevalley formula in the equivariant quantum cohomology of $\mathrm{IG}$, i.e. a formula to multiply a Schubert class by the Schubert divisor class. This generalizes a formula of Pech in the case $k=2$, and it gives an algorithm to calculate any multiplication in the equivariant quantum cohomology ring.

A randomisation of the Berele insertion algorithm is proposed, where the insertion of a letter to a symplectic Young tableau leads to a distribution over the set of symplectic Young tableaux. Berele's algorithm provides a bijection between words from an alphabet and a symplectic Young tableau along with a recording oscillating tableau. The randomised version of the algorithm is achieved by introducing a parameter $0 < q < 1$. The classic Berele algorithm corresponds to letting the parameter $q \to 0$. The new version provides a probabilistic framework that allows to prove Littlewood-type identities for a $q$-deformation of the symplectic Schur functions. These functions correspond to multilevel extensions of the continuous $q$-Hermite polynomials. Finally, we show that when both the original and the $q$-modified insertion algorithms are applied to a random word then the shape of the symplectic Young tableau evolves as a Markov chain on the set of partitions.

Fang and Fourier defined the symplectic Dellac configurations in order to parametrize the torus fixed points of the symplectic degenerated flag varieties, and conjectured that their numbers are the elements of a sequence of integers (1, 2, 10, 98, 1594, ...) which appears in the study by Randrianarivony and Zeng of the median Euler numbers. In this paper, we prove the conjecture by considering a combinatorial interpretation of these integers in terms of the surjective pistols (which form a well-known combinatorial model of the Genocchi numbers), and constructing an appropriate surjection from the symplectic Dellac configurations to the surjective pistols.

The wavefunction of the free-fermion six-vertex model was found to give a natural realization of the Tokuyama combinatorial formula for the Schur polynomials by Bump-Brubaker-Friedberg. Recently, we studied the correspondence between the dual version of the wavefunction and the Schur polynomials, which gave rise to another combinatorial formula. In this paper, we extend the analysis to the reflecting boundary condition, and show the exact correspondence between the dual wavefunction and the symplectic Schur functions. This gives a dual version of the integrable model realization of the symplectic Schur functions by Ivanov. We also generalize to the correspondence between the wavefunction, the dual wavefunction of the six-vertex model and the factorial symplectic Schur functions by the inhomogeneous generalization of the model.

In this paper, we present a uniform formula for the integration of polynomials over the unitary, orthogonal, and symplectic groups using Weingarten calculus. From this description, we further simplify the integration formulas and give several optimizations for various cases. We implemented the optimized Weingarten calculus in Maple in a package called IntHaar for all three compact groups. Here we will discuss its functions, provide instructions for the package, and produce some examples of computed integrals.

In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas.

In this article, we describe symplectic and complex toric spaces associated to the five regular convex polyhedra. The regular tetrahedron and the cube are rational and simple, the regular octahedron is not simple, the regular dodecahedron is not rational and the regular icosahedron is neither simple nor rational. We remark that the last two cases cannot be treated via standard toric geometry.

Feit and Fine derived a generating function for the number of ordered pairs of commuting n by n matrices over the finite field F_q. This has been reproved and studied by Bryan and Morrison from the viewpoint of motivic Donaldson-Thomas theory. In this note we give a new proof of the Feit-Fine result, and generalize it to the Lie algebra of finite unitary groups and to the Lie algebra of odd characteristic finite symplectic groups. We extract some asymptotic information from these generating functions. Finally, we derive generating functions for the number of commuting nilpotent elements for the Lie algebras of the finite general linear and unitary groups, and of odd characteristic symplectic groups.

The purpose of this note is to share some observations and speculations concerning the asymptotic behavior of Gromov-Witten invariants. They may be indicative of some deep phenomena in symplectic topology that in full generality are outside of the reach of current techniques. On the other hand, many interesting cases can perhaps be treated via combinatorial techniques.

The orbits of the orthogonal and symplectic groups on the flag variety are in bijection, respectively, with the involutions and fixed-point-free involutions in the symmetric group $S_n$. Wyser and Yong have described polynomial representatives for the cohomology classes of the closures of these orbits, which we denote as $\hat{\mathfrak{S}}_y$ (to be called involution Schubert polynomials) and $\hat{\mathfrak{S}}^{\tt FPF}_y$ (to be called fixed-point-free involution Schubert polynomials). Our main results are explicit formulas decomposing the product of $\hat{\mathfrak{S}}_y$ (respectively, $\hat{\mathfrak{S}}^{\tt FPF}_y$) with any $y$-invariant linear polynomial as a linear combination of other involution Schubert polynomials. These identities serve as analogues of Lascoux and Schützenberger's transition formula for Schubert polynomials, and lead to a self-contained algebraic proof of the nontrivial equivalence of several definitions of $\hat{\mathfrak{S}}_y$ and $\hat{\mathfrak{S}}^{\tt FPF}_y$ appearing in the literature. Our formulas also imply combinatorial identities about involution words, certain variations of reduced words for involutions in $S_n$. We construct operators on involution words based on the Little map to prove these identities bijectively. The proofs of our main theorems depend on some new technical results, extending work of Incitti, about covering relations in the Bruhat order of $S_n$ restricted to involutions.

An $m$-cover of the Hermitian surface $H(3,q^2)$ of $PG(3,q^2)$ is a set $\mathcal{S}$ of lines of $H(3,q^2)$ such that every point of $H(3,q^2)$ lies on exactly $m$ lines of $\mathcal{S}$, and $0<m<q+1$. Segre (1965) proved that if $q$ is odd, then $m=(q+1)/2$, and called such a set $\mathcal{S}$ of lines a hemisystem. Penttila and Williford (2011) introduced the notion of a relative hemisystem: a set of lines $\mathcal{R}$ of $H(3,q^2)$, $q$ even, disjoint from a symplectic subgeometry $W(3,q)$ such that every point of $H(3,q^2)\setminus W(3,q)$ lies on exactly $q/2$ elements of $\mathcal{R}$. In this paper, we provide an analogue of Segre's result by introducing relative $m$-covers of $H(3,q^2)$ with respect to a symplectic subgeometry and proving that $m$ must necessarily be $q/2$.

A definition is offered of the factorial characters of the general linear group, the symplectic group and the orthogonal group in an odd dimensional space. It is shown that these characters satisfy certain flagged Jacobi-Trudi identities. These identities are then used to give combinatorial expressions for the factorial characters: first in terms of a lattice path model and then in terms of the well known tableaux associated with the classical groups. Factorial Q-functions are then defined in terms of three sets of primed shifted tableaux, and shown to satisfy Tokuyama type identities in each case.

We consider orbit partitions of groups of automorphisms for the symplectic graph and apply Godsil-McKay switching. As a result, we find four families of strongly regular graphs with the same parameters as the symplectic graphs, including the one discovered by Abiad and Haemers. Also, we prove that switched graphs are non-isomorphic to each other by considering the number of common neighbors of three vertices.

We present several equinumerous results between generalized oscillating tableaux and semistandard tableaux and give a representation-theoretical proof to them. As one of the key ingredients of the proof, we provide Pieri rules for the symplectic and orthogonal groups.

A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres.

In this paper we determine the minimum distance of orthogonal line-Grassmann codes for $q$ even. The case $q$ odd was solved in "I. Cardinali, L. Giuzzi, K. Kaipa, A. Pasini, Line Polar Grassmann Codes of Orthogonal Type, J. Pure Applied Algebra." We also show that for $q$ even all minimum weight codewords are equivalent and that symplectic line-Grassmann codes are proper subcodes of codimension $2n$ of the orthogonal ones.

Applying a method of Godsil and McKay \cite{GM} to some graphs related to the symplectic graph, a series of new infinite families of strongly regular graphs with parameters $(2^n\pm2^{(n-1)/2},2^{n-1}\pm2^{(n-1)/2},2^{n-2}\pm2^{(n-3)/2},2^{n-2}\pm2^{(n-1)/2})$ are constructed for any odd $n \geq 5$. The construction is described in terms of geometry of quadric in projective space. The binary linear codes of the switched graphs are $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+1}]_2$-code or $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+2}]_2$-code.

Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.

FFLV polytopes describe monomial bases in irreducible representations of $\mathfrak{sl}_n$ and $\mathfrak{sp}_{2n}$. We study various sets of vertices of FFLV polytopes. First, we consider the special linear case. We prove the locality of the set of vertices with respect to the type $A$ Dynkin diagram. Then we describe all the permutation vertices and after that we describe all the simple vertices and prove that their number is equal to the large Schröder number. Finally, we derive analogous results for symplectic algebras.

We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As such, there are a few main points in common. We define a category of representations of what might be thought of as the infinite rank pin and metaplectic groups, and give three models of this category in terms of: multilinear algebra, diagram categories, and twisted Lie algebras. We also define specialization functors to the finite rank groups and calculate the derived functors.