arXiv++ Combinatorics

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.

We study closures of conjugacy classes in the symmetric matrices of the orthogonal group and we determine which one are normal varieties. In contrast to the result for the symplectic group where all classes have normal closure, there is only a relatively small portion of classes with normal closure. We perform a combinatorial computation on top of the same methods used by Kraft-Procesi and Ohta.

Kontsevich introduced certain ribbon graphs as cell decompositions for combinatorial models of moduli spaces of complex curves with boundaries in his proof of Witten's conjecture. In this work, we define four types of generalised Kontsevich graphs and find combinatorial relations among them. We call the main type ciliated maps and use the auxiliary ones to show they satisfy a Tutte recursion that we turn into a combinatorial interpretation of the loop equations of topological recursion for a large class of spectral curves. It follows that ciliated maps, which are Feynman graphs for the Generalised Kontsevich matrix Model (GKM), are computed by topological recursion. Our particular instance of the GKM relates to the r-KdV integrable hierarchy and since the string solution of the latter encodes intersection numbers with Witten's $r$-spin class, we find an identity between ciliated maps and $r$-spin intersection numbers, implying that they are also governed by topological recursion. In turn, this paves the way towards a combinatorial understanding of Witten's class. This new topological recursion perspective on the GKM provides concrete tools to explore the conjectural symplectic invariance property of topological recursion for large classes of spectral curves.

We study certain physically-relevant subgeometries of binary symplectic polar spaces $W(2N-1,2)$ of small rank $N$, when the points of these spaces canonically encode $N$-qubit observables. Key characteristics of a subspace of such a space $W(2N-1,2)$ are: the number of its negative lines, the distribution of types of observables, the character of the geometric hyperplane the subspace shares with the distinguished (non-singular) quadric of $W(2N-1,2)$ and the structure of its Veldkamp space. In particular, we classify and count polar subspaces of $W(2N-1,2)$ whose rank is $N-1$. $W(3,2)$ features three negative lines of the same type and its $W(1,2)$'s are of five different types. $W(5,2)$ is endowed with 90 negative lines of two types and its $W(3,2)$'s split into 13 types. 279 out of 480 $W(3,2)$'s with three negative lines are composite, i.\,e. they all originate from the two-qubit $W(3,2)$. Given a three-qubit $W(3,2)$ and any of its geometric hyperplanes, there are three other $W(3,2)$'s possessing the same hyperplane. The same holds if a geometric hyperplane is replaced by a `planar' tricentric triad. A hyperbolic quadric of $W(5,2)$ is found to host particular sets of seven $W(3,2)$'s, each of them being uniquely tied to a Conwell heptad with respect to the quadric. There is also a particular type of $W(3,2)$'s, a representative of which features a point each line through which is negative. Finally, $W(7,2)$ is found to possess 1908 negative lines of five types and its $W(5,2)$'s fall into as many as 29 types. 1524 out of 1560 $W(5,2)$'s with 90 negative lines originate from the three-qubit $W(5,2)$. Remarkably, the difference in the number of negative lines for any two distinct types of four-qubit $W(5,2)$'s is a multiple of four.

Arguably, the most important open problem in the theory of $q$-analogs of designs is the question for the existence of a $q$-analog $D$ of the Fano plane. It is undecided for every single prime power value $q \geq 2$. A point $P$ is called an $α$-point of $D$ if the derived design of $D$ in $P$ is a geometric spread. In 1996, Simon Thomas has shown that there must always exist at least one non-$α$-point. For the binary case $q = 2$, Olof Heden and Papa Sissokho have improved this result in 2016 by showing that the non-$α$-points must form a blocking set with respect to the hyperplanes. In this article, we show that a hyperplane consisting only of $α$-points implies the existence of a partiton of the symplectic generalized quadrangle $W(q)$ into spreads. As a consequence, the statement of Heden and Sissokho is generalized to all primes $q$ and all even values of $q$.

We present the Boolean dimension of a graph, we relate it with the notions of inner, geometric and symplectic dimensions, and with the rank and minrank of a graph. We obtain an exact formula for the Boolean dimension of a tree in terms of a certain star decomposition. We relate the Boolean dimension with the inversion index of a tournament.

It is known that the right key of a Kashiwara-Nakashima tableau can be computed using the Lecouvey-Sheats symplectic jeu de taquin. Motivated by Willis' direct way of computing type A right keys, we also give a way of computing symplectic right keys without the use of jeu de taquin.

We launch the study of the tropicalization of the symplectic Grassmannian, that is, the space of all linear subspaces that are isotropic with respect to a fixed symplectic form. We formulate tropical analogues of several equivalent characterizations of the symplectic Grassmannian and determine all implications between them. In the process, we show that the Plücker and symplectic relations form a tropical basis if and only if the rank is at most 2. We provide plenty of examples that show that several features of the symplectic Grassmannian do not hold after tropicalizing. We show exactly when do conormal fans of matroids satisfy these characterizations, as well as doing the same for a non-constant coefficient generalization. Finally, we propose several directions to extend the study of the tropical symplectic Grassmannian.

In this paper, we attach several new invariants to connected strongly regular graphs (excepting conference graphs on non-square number of vertices) : one invariant called the discriminant, and a p-adic invariant corresponding to each prime number p. We prove parametric restrictions on quasi-symmetric 2-designs with a given connected block graph $G$ and a given defect (absolute difference of the two intersection numbers) solely in terms of the defect and the parameters of $G$, including these new invariants. This is a natural analogue of Schutzenberger's Theorem and the Shrikhande-Chowla-Ryser theorem. This theorem is effective when these graph invariants can be explicitly computed. We do this for complete multipartite graphs, co-triangular graphs, symplectic non-orthogonality graphs (over the field of order $2$) and the Steiner graphs, yielding explicit restrictions on the parameters of quasi-symmetric 2-designs whose block graphs belong to any of these four classes.

In this paper, we construct solvable ice models (six-vertex models) with stochastic weights and U-turn right boundary, which we term ``stochastic symplectic ice''. The models consist of alternating rows of two types of vertices. The probabilistic interpretation of the models leads to novel interacting particle systems where particles alternately jump to the right and then to the left. Two colored versions of the models and related stochastic dynamics are also introduced. Using the Yang-Baxter equations, we establish functional equations and recursive relations for the partition functions of these models. In particular, the recursive relations satisfied by the partition function of one of the colored models are closely related to Demazure-Lusztig operators of type C.