arXiv++ Combinatorics

The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.

The Plücker positive region $\mathrm{OGr}_+(k,2k)$ of the orthogonal Grassmannian emerged as the positive geometry behind the ABJM scattering amplitudes. In this paper we initiate the study of the positive orthogonal Grassmannian $\mathrm{OGr}_+(k,n)$ for general values of $k,n$. We determine the boundary structure of the quadric $\mathrm{OGr}_+(1,n)$ in $\mathbb{P}^{n-1}_{+}$ and show that it is a positive geometry. We show that $\mathrm{OGr}_+(k,2k+1)$ is isomorphic to $\mathrm{OGr}_+(k+1, 2k+2)$ and connect its combinatorial structure to matchings on $[2k+2]$. Finally, we show that in the case $n>2k+1$, the \emph{positroid cells} of $\mathrm{Gr}_+(k,n)$ do not induce a CW cell decomposition of $\mathrm{OGr}_+(k,n)$.

A Grasstope is the image of the totally nonnegative Grassmannian $\text{Gr}_{\geq 0}(k,n)$ under a linear map $\text{Gr}(k,n)\dashrightarrow \text{Gr}(k,k+m)$. This is a generalization of the amplituhedron, a geometric object of great importance to calculating scattering amplitudes in physics. The amplituhedron is a Grasstope arising from a totally positive linear map. While amplituhedra are relatively well-studied, much less is known about general Grasstopes. We study Grasstopes in the $m=1$ case and show that they can be characterized as unions of cells of a hyperplane arrangement satisfying a certain sign variation condition, extending work of Karp and Williams. Inspired by this characterization, we also suggest a notion of a Grasstope arising from an arbitrary oriented matroid.

Two-dimensional linear spaces of symmetric matrices are classified by Segre symbols. After reviewing known facts from linear algebra and projective geometry, we address new questions motivated by algebraic statistics and optimization. We compute the reciprocal curve and the maximum likelihood degrees, and we study strata of pencils in the Grassmannian.

In this paper we study graphs defined by pattern-avoiding words. Word-representable graphs have been studied extensively following their introduction in 2000 and are the subject of a book published by Kitaev in 2015. Recently there has been interest in studying graphs represented by pattern-avoiding words. In particular, in 2016, Gao, Kitaev, and Zhang investigated 132-representable graphs, that is, word-representable graphs that can be represented by a word which avoids the pattern 132. They proved that all 132- representable graphs are circle graphs and provided examples and properties of 132-representable graphs. They posed several questions, some of which we answer in this paper. One of our main results is that not all circle graphs are 132-representable, thus proving that 132-representable graphs are a proper subset of circle graphs, a question that was left open in the paper by Gao et al. We show that 123-representable graphs are also a proper subset of circle graphs, and are different from 132-representable graphs. We also study graphs represented by pattern-avoiding 2-uniform words, that is, words in which every letter appears exactly twice.

The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.