arXiv++ Combinatorics

We establish a link between open positroid varieties in the Grassmannians $G(k,n)$ and certain moduli spaces of complexes of vector bundles over Kodaira cycle $C^n$, using the shifted Poisson structure on the latter moduli spaces and relating them to a certain twist of the standard Poisson structure on $G(k,n)$. %by a bivector field on its maximal torus. This link allows us to solve a classification problem for extensions of vector bundles over $C^n$. Based on this solution we further classify the symplectic leaves of all positroid varieties in $G(k,n)$ with respect to the twisted standard Poisson structure. Moreover, we get an explicit description of the moduli stack of symplectic leaves of $G(k,n)$ with the twisted standard Poisson structure as an open substack of the stack of vector bundles on $C^n$.

The symplectic/orthogonal contents of partitions are related to the dimensions of irreducible representations of symplectic/orthogonal groups. In 2012, motivated by Nekrasov--Okounkov's hook-length formula and Stanley's hook-content formula, Amdeberhan proposed several conjectures about infinite product formulas for certain generating functions of hook-lengths and symplectic/orthogonal contents. Some special cases of his conjectures were recently proved by Amdeberhan, Andrews and Ballantine. In this paper, we prove the general cases of Amdeberhan's conjectures.

We express cluster variables of type $B_n$ and $C_n$ in terms of cluster variables of type $A_n$. Then we associate a cluster tilted bound symmetric quiver $Q$ of type $A_{2n-1}$ to any seed of a cluster algebra of type $B_n$ and $C_n$. Under this correspondence, cluster variables of type $B_n$ (resp. $C_n$) correspond to orthogonal (resp. symplectic) indecomposable representations of $Q$. We find a Caldero-Chapoton map in this setting. We also give a categorical interpretation of the cluster expansion formula in the case of acyclic quivers.

Baker and Bowler showed that the Grassmannian can be defined over a tract, a field-like structure generalizing both partial fields and hyperfields. This notion unifies theories of matroids over partial fields, valuated matroids, and oriented matroids. We extend Baker--Bowler theory to the Lagrangian Grassmannian which is the set of maximal isotropic subspaces in a $2n$-dimensional symplectic vector space. By Boege et al., the Lagrangian Grassmannian is parameterized as a subset of the projective space of dimension $2^{n-2}(4+\binom{n}{2})-1$ and its image is cut out by certain quadrics. We simplify a list of quadrics so that these are apparently induced by the Laplace expansions only concerning principal and almost-principal minors of a symmetric matrix. From the idea that the strong basis exchange axiom of matroids captures the combinatorial essence of the Grassmann--Plücker relations, we define matroid-like objects, called antisymmetric matroids, derived from the quadrics for the Lagrangian Grassmannian. We also provide a cryptomorphic definition in terms of circuits capturing the orthogonality and maximality of a Lagrangian subspace. We define antisymmetric matroids over tracts in two equivalent ways, which generalize both BB theory and the parameterization of the Lagrangian Grassmannian. It provides a new perspective on the Lagrangian Grassmannian over hyperfields such as the tropical hyperfield and the sign hyperfield. Our proof involves a homotopy theorem for graphs associated with antisymmetric matroids, which generalizes Maurer's homotopy theorem for matroids. We also prove that if a point in the projective space satisfies the $3$-/$4$-term quadratic relations for the Lagrangian Grassmannian and its supports form the bases of an antisymmetric matroid, then it satisfies all quadratic relations, a result motivated by the earlier work of Tutte for matroids and the Grassmannian.

Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases.

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.

The Ekeland-Hofer-Zehnder capacity (EHZ capacity) is a fundamental symplectic invariant of convex bodies. We show that computing the EHZ capacity of polytopes is NP-hard. For this we reduce the feedback arc set problem in bipartite tournaments to computing the EHZ capacity of simplices.

Generalized associahedra are a well-studied family of polytopes associated to a finite-type cluster algebra and choice of starting cluster. We show that the generalized associahedra constructed by Padrol, Palu, Pilaud, and Plamondon, building on ideas from Arkani-Hamed, Bai, He, and Yan, can be naturally viewed as moment polytopes for an open patch of the quotient of the cluster A-variety with universal coefficients by its maximal natural torus action. We prove our result by showing that the construction of Padrol, Palu, Pilaud, and Plamondon can be understood on the basis of the way that moment polytopes behave under symplectic reduction.

We solve the derandomized direct product testing question in the low acceptance regime, by constructing new high dimensional expanders that have no small connected covers. We show that our complexes have swap cocycle expansion, which allows us to deduce the agreement theorem by relying on previous work. Derandomized direct product testing, also known as agreement testing, is the following problem. Let X be a family of k-element subsets of [n] and let $\{f_s:s\toΣ\}_{s\in X}$ be an ensemble of local functions, each defined over a subset $s\subset [n]$. Suppose that we run the following so-called agreement test: choose a random pair of sets $s_1,s_2\in X$ that intersect on $\sqrt k$ elements, and accept if $f_{s_1},f_{s_2}$ agree on the elements in $s_1\cap s_2$. We denote the success probability of this test by $Agr(\{f_s\})$. Given that $Agr(\{f_s\})=ε>0$, is there a global function $G:[n]\toΣ$ such that $f_s = G|_s$ for a non-negligible fraction of $s\in X$ ? We construct a family X of k-subsets of $[n]$ such that $|X| = O(n)$ and such that it satisfies the low acceptance agreement theorem. Namely, $Agr (\{f_s\}) > ε\; \; \longrightarrow$ there is a function $G:[n]\toΣ$ such that $\Pr_s[f_s\overset{0.99}{\approx} G|_s]\geq poly(ε)$. A key idea is to replace the well-studied LSV complexes by symplectic high dimensional expanders (HDXs). The family X is just the k-faces of the new symplectic HDXs. The later serve our needs better since their fundamental group satisfies the congruence subgroup property, which implies that they lack small covers. We also give a polynomial-time algorithm to construct this family of symplectic HDXs.

We propose a generalization of Haiman's conjecture on the diagonal coinvariant rings of real reflection groups to the context of irreducible quaternionic reflection groups (also known as symplectic reflection groups). For a reflection group $W$ acting on a quaternionic vector space $V$, by regarding $V$ as a complex vector space we consider the scheme-theoretic fiber over zero of the quotient map $π:V \to V/W$. For $W$ an irreducible reflection group of (quaternionic) rank at least $6$, we show that the ring of functions on this fiber admits a $(g+1)^n$-dimensional quotient arising from an irreducible representation of a symplectic reflection algebra, where $g=2N/n$ with $N$ the number of reflections in $W$ and $n=\mathrm{dim}_\mathbf{H}(V)$, and we conjecture that this holds in general. We observe that in fact the degree of the zero fiber is precisely $g+1$ for the rank one groups (corresponding to the Kleinian singularities). In an appendix, we give a proof that three variants of the Coxeter number, including $g$, are integers.

We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.

We prove a new determinantal formula for the characters of irreducible representations of orthosymplectic Lie superalgebras analogous to the formula developed by Moens and Jeugt (J. Algebraic Combin., 2003) for general linear Lie superalgebras. Our proof uses the Jacobi--Trudi type formulas for orthosymplectic characters. As a consequence, we show that the odd symplectic characters introduced by Proctor (Invent. Math., 1988) are the same as the orthosymplectic characters with some specialized indeterminates. We also give a generalization of an odd symplectic character identity due to Brent, Krattenthaler and Warnaar (J. Combin. Theory Ser. A, 2016).

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.

We study the problem of classifying the lines of the projective $3$-space $PG(3,q)$ over a finite field $GF(q)$ into orbits of the group $G=PGL(2,q)$ of linear symmetries of the twisted cubic $C$. A generic line neither intersects $C$ nor lies in any of its osculating planes. While the non-generic lines have been classified into $G$-orbits in literature, it has been an open problem to classify the generic lines into $G$-orbits. For a general field $F$ of characteristic different from $2$ and $3$, the twisted cubic determines a symplectic polarity on $\mathbb P^3$. In the Klein representation of lines of $\mathbb P^3$, the tangent lines of $C$ are represented by a degree $4$ rational normal curve in a hyperplane $\mathcal H$ of the second exterior power $\mathbb P^5$ of $\mathbb P^3$. Atiyah studied the lines of $\mathbb P^3$ with respect to $C$, in terms of the geometries of these two curves. Polar duality of lines on $\mathbb P^3$ corresponds to Hodge duality on $\mathbb P^5$, and $\mathcal H$ is the hyperplane of Hodge self-dual elements of $\mathbb P^5$. We show that $\mathcal H$ can be identified in a $PGL_2$-equivariant way with the space of binary quartic forms over $F$, and that pairs of polar dual lines of $\mathbb P^3$ correspond to binary quartic forms whose apolar invariant is a square. We first solve the open problem of classifying binary quartic forms over $GF(q)$ into $G$-orbits, and then use it to solve the main problem.

Split Cayley hexagons of order two are distinguished finite geometries living in the three-qubit symplectic polar space in two different forms, called classical and skew. Although neither of the two yields observable-based contextual configurations of their own, {\it classically}-embedded copies are found to fully encode contextuality properties of the most prominent three-qubit contextual configurations in the following sense: for each set of unsatisfiable contexts of such a contextual configuration there exists some classically-embedded hexagon sharing with the configuration exactly this set of contexts and nothing else. We demonstrate this fascinating property first on the configuration comprising all 315 contexts of the space and then on doilies, both types of quadrics as well as on complements of skew-embedded hexagons. In connection with the last-mentioned case and elliptic quadrics we also conducted some experimental tests on a Noisy Intermediate Scale Quantum (NISQ) computer to substantiate our theoretical findings.

Consider an arbitrary field $K$ and a finite-dimensional vector space $X$ over $K$ equipped with a, possibly degenerate, symplectic form $ω$. Given a spanning subset $S$ of $X$, for each $k$ in $K$ and each vector $s$ in $S$, consider the symplectic transvection mapping a vector $x$ to $x+kω(x,s)s$. The group generated by these transvections has been extensively studied, and its orbit structure is known. In this paper, we obtain corresponding results for the orbits of the dual action on $X^\ast$. As for the non-dual case, the analysis gets harder when the field contains only two elements. For that field, the dual transvection group is equivalent to a game known as the lit-only sigma game, played on a graph. Our results provide a complete solution to the reachability problem of that game, previously solved only for some special cases.

Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.

We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.

In this thesis we study geometric branching operators on simplices in the (affine) Bruhat-Tits building associated to the symplectic group over a local field. We use these operators to study the simple random walk on the building's vertices. This work lays the foundations for studying the total-variation cutoff phenomenon for simple random walk on Ramanujan complexes of type $\tilde{C}_n$ ($n\geq 2$).