arXiv++ Combinatorics

We completely describe by inequalities the set of boundary correlation matrices of planar Ising networks embedded in a disk. Specifically, we build on a recent result of M.~Lis to give a simple bijection between such correlation matrices and points in the totally nonnegative part of the orthogonal Grassmannian, which has been introduced in 2013 in the study of the scattering amplitudes of ABJM theory. We also show that the edge parameters of the Ising model for reduced networks can be uniquely recovered from boundary correlations, solving the inverse problem. Under our correspondence, the Kramers--Wannier high/low temperature duality transforms into the cyclic symmetry of the Grassmannian, and using this cyclic symmetry, we prove that the spaces under consideration are homeomorphic to closed balls.

The (tree) amplituhedron $\mathcal A_{n,k,m}(Z)$ is a certain subset of the Grassmannian introduced by Arkani-Hamed and Trnka in 2013 in order to study scattering amplitudes in $N=4$ supersymmetric Yang-Mills theory. Confirming a conjecture of the first author, we show that when $m$ is even, a collection of affine permutations yields a triangulation of $\mathcal A_{n,k,m}(Z)$ for any $Z\in \operatorname{Gr}_{>0}(k+m,n)$ if and only if the collection of their inverses yields a triangulation of $\mathcal A_{n,n-m-k,m}(Z)$ for any $Z\in\operatorname{Gr}_{>0}(n-k,n)$. We prove this duality using the twist map of Marsh and Scott. We also show that this map preserves the canonical differential forms associated with the corresponding positroid cells, and hence obtain a parity duality for amplituhedron differential forms.

Triangulations of a product of two simplices and, more generally, of root polytopes are closely related to Gelfand-Kapranov-Zelevinsky's theory of discriminants, to tropical geometry, tropical oriented matroids, and to generalized permutohedra. We introduce a new approach to these objects, identifying a triangulation of a root polytope with a certain bijection between lattice points of two generalized permutohedra. In order to study such bijections, we define trianguloids as edge-colored graphs satisfying simple local axioms. We prove that trianguloids are in bijection with triangulations of root polytopes.

We show that the totally nonnegative part of a partial flag variety (in the sense of Lusztig) is homeomorphic to a closed ball.

Birational toggling on Gelfand-Tsetlin patterns appeared first in the study of geometric crystals and geometric Robinson-Schensted-Knuth correspondence. Based on these birational toggle relations, Einstein and Propp introduced a discrete dynamical system called birational rowmotion associated with a partially ordered set. We generalize birational rowmotion to the class of arbitrary strongly connected directed graphs, calling the resulting discrete dynamical system the $R$-system. We study its integrability from the points of view of singularity confinement and algebraic entropy. We show that in many cases, singularity confinement in an $R$-system reduces to the Laurent phenomenon either in a cluster algebra, or in a Laurent phenomenon algebra, or beyond both of those generalities, giving rise to many new sequences with the Laurent property possessing rich groups of symmetries. Some special cases of $R$-systems reduce to Somos and Gale-Robinson sequences.

Jim Propp recently proposed a labeled version of chip-firing on a line and conjectured that this process is confluent from some initial configurations. This was proved by Hopkins-McConville-Propp. We reinterpret Propp's labeled chip-firing moves in terms of root systems: a "central-firing" move consists of replacing a weight $λ$ by $λ+α$ for any positive root $α$ that is orthogonal to $λ$. We show that central-firing is always confluent from any initial weight after modding out by the Weyl group, giving a generalization of unlabeled chip-firing on a line to other types. For simply-laced root systems we describe this unlabeled chip-firing as a number game on the Dynkin diagram. We also offer a conjectural classification of when central-firing is confluent from the origin or a fundamental weight.

Jim Propp recently introduced a variant of chip-firing on a line where the chips are given distinct integer labels. Hopkins, McConville, and Propp showed that this process is confluent from some (but not all) initial configurations of chips. We recast their set-up in terms of root systems: labeled chip-firing can be seen as a root-firing process which allows the moves $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle = 0$, where $Φ^{+}$ is the set of positive roots of a root system of Type A and $λ$ is a weight of this root system. We are thus motivated to study the exact same root-firing process for an arbitrary root system. Actually, this central root-firing process is the subject of a sequel to this paper. In the present paper, we instead study the interval root-firing processes determined by $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle \in [-k-1,k-1]$ or $\langleλ,α^\vee\rangle \in [-k,k-1]$, for any $k \geq 0$. We prove that these interval-firing processes are always confluent, from any initial weight. We also show that there is a natural way to consistently label the stable points of these interval-firing processes across all values of $k$ so that the number of weights with given stabilization is a polynomial in $k$. We conjecture that these Ehrhart-like polynomials have nonnegative integer coefficients.

Leclerc and Zelevinsky, motivated by the study of quasi-commuting quantum flag minors, introduced the notions of strongly separated and weakly separated collections. These notions are closely related to the theory of cluster algebras, to the combinatorics of the double Bruhat cells, and to the totally positive Grassmannian. A key feature, called the purity phenomenon, is that every maximal by inclusion strongly (resp., weakly) separated collection of subsets in $[n]$ has the same cardinality. In this paper, we extend these notions and define $\mathcal{M}$-separated collections for any oriented matroid $\mathcal{M}$. We show that maximal by size $\mathcal{M}$-separated collections are in bijection with fine zonotopal tilings (if $\mathcal{M}$ is a realizable oriented matroid), or with one-element liftings of $\mathcal{M}$ in general position (for an arbitrary oriented matroid). We introduce the class of pure oriented matroids for which the purity phenomenon holds: an oriented matroid $\mathcal{M}$ is pure if $\mathcal{M}$-separated collections form a pure simplicial complex, i.e., any maximal by inclusion $\mathcal{M}$-separated collection is also maximal by size. We pay closer attention to several special classes of oriented matroids: oriented matroids of rank $3$, graphical oriented matroids, and uniform oriented matroids. We classify pure oriented matroids in these cases. An oriented matroid of rank $3$ is pure if and only if it is a positroid (up to reorienting and relabeling its ground set). A graphical oriented matroid is pure if and only if its underlying graph is an outerplanar graph, that is, a subgraph of a triangulation of an $n$-gon. We give a simple conjectural characterization of pure oriented matroids by forbidden minors and prove it for the above classes of matroids (rank $3$, graphical, uniform).

We prove that three spaces of importance in topological combinatorics are homeomorphic to closed balls: the totally nonnegative Grassmannian, the compactification of the space of electrical networks, and the cyclically symmetric amplituhedron.

Zamolodchikov periodicity is a property of $T$- and $Y$-systems, arising in the thermodynamic Bethe ansatz. Zamolodchikov integrability was recently considered as its affine analog in our joint work with P. Pylyavskyy. Here we prove periodicity and integrability for similar discrete dynamical systems based on the cube recurrence, also known as the discrete BKP equation. The periodicity part was conjectured by Henriques in 2007.

We prove a general theorem that gives a linear recurrence for tuples of paths in every cylindrical network. This can be seen as a cylindrical analog of the Lindström-Gessel-Viennot theorem. We illustrate the result by applying it to Schur functions, plane partitions, and domino tilings.

We show that Zamolodchikov dynamics of a recurrent quiver has zero algebraic entropy only if the quiver has a weakly subadditive labeling, and conjecture the converse. By assigning a pair of generalized Cartan matrices of affine type to each quiver with an additive labeling, we completely classify such quivers, obtaining $40$ infinite families and $13$ exceptional quivers. This completes the program of classifying Zamolodchikov periodic and integrable quivers.

Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are also maximal by size, provided that $I$ and $J$ are sufficiently "generic". We also give a simple formula for the cardinality of $\mathcal W$ in terms of $I$ and $J$. We apply our result to calculate the cluster distance and to give lower bounds on the mutation distance between cluster variables in the cluster algebra structure on the coordinate ring of the Grassmannian. Using a linear projection that relates weak separation to the octahedron recurrence, we also find the exact mutation distances and cluster distances for a family of cluster variables.

We say that two sets $S,T\subset\{1,2,\dots,n\}$ are chord separated if there does not exist a cyclically ordered quadruple $a,b,c,d$ of integers satisfying $a,c\in S-T$ and $b,d\in T-S$. This is a weaker version of Leclerc and Zelevinsky's weak separation. We show that every maximal by inclusion collection of pairwise chord separated sets is also maximal by size. Moreover, we prove that such collections are precisely vertex label collections of fine zonotopal tilings of the three-dimensional cyclic zonotope. In our construction, plabic graphs and square moves appear naturally as horizontal sections of zonotopal tilings and their mutations respectively.

Strictly subadditive, subadditive and weakly subadditive labelings of quivers were introduced by the second author, generalizing Vinberg's definition for undirected graphs. In our previous work we have shown that quivers with strictly subadditive labelings are exactly the quivers exhibiting Zamolodchikov periodicity. In this paper, we classify all quivers with subadditive labelings. We conjecture them to exhibit a certain form of integrability, namely, as the $T$-system dynamics proceeds, the values at each vertex satisfy a linear recurrence. Conversely, we show that every quiver integrable in this sense is necessarily one of the $19$ items in our classification. For the quivers of type $\hat A \otimes A$ we express the coefficients of the recurrences in terms of the partition functions for domino tilings of a cylinder, called \emph{Goncharov-Kenyon Hamiltonians}. We also consider tropical $T$-systems of type $\hat A \otimes A$ and explain how affine slices exhibit solitonic behavior, i.e. soliton resolution and speed conservation. Throughout, we conjecture how the results in the paper are expected to generalize from $\hat A \otimes A$ to all other quivers in our classification.

Zamolodchikov periodicity is a property of certain discrete dynamical systems associated with quivers. It has been shown by Keller to hold for quivers obtained as products of two Dynkin diagrams. We prove that the quivers exhibiting Zamolodchikov periodicity are in bijection with pairs of commuting Cartan matrices of finite type. Such pairs were classified by Stembridge in his study of $W$-graphs. The classification includes products of Dynkin diagrams along with four other infinite families, and eight exceptional cases. We provide a proof of Zamolodchikov periodicity for all four remaining infinite families, and verify the exceptional cases using a computer program.

The dual stable Grothendieck polynomials are a deformation of the Schur functions, originating in the study of the K-theory of the Grassmannian. We generalize these polynomials by introducing a countable family of additional parameters, and we prove that this generalization still defines symmetric functions. For this fact, we give two self-contained proofs, one of which constructs a family of involutions on the set of reverse plane partitions generalizing the Bender-Knuth involutions on semistandard tableaux, whereas the other classifies the structure of reverse plane partitions with entries 1 and 2.

For a given skew shape, we build a crystal graph on the set of all reverse plane partitions that have this shape. As a consequence, we get a simple extension of the Littlewood-Richardson rule for the expansion of the corresponding dual stable Grothendieck polynomial in terms of Schur polynomials.

Starting by a simple game $Q $ as a combinatorial data, we build up a cell complex $M(Q)$, whose construction resembles combinatorics of the permutohedron. The cell complex proves to be a combinatorial manifold; we call it the \textit{ simple game induced manifold.} By some motivations coming from polygonal linkages, we think of $Q$ and of $M(Q)$ as of\textit{ a quasilinkage} and the \textit{moduli space of the quasilinkage} respectively. We present some examples of quasilinkages and show that the moduli space retains many properties of moduli space of polygonal linkages. In particular, we show that the moduli space $M(Q)$ is homeomorphic to the space of stable point configurations on $S^1$, for an associated with a quasilinkage notion of stability.