arXiv++ Combinatorics

Log-concavity and almost log-convexity of the cycle index polynomials were proved by Bender and Canfield [J. Combin. Theory Ser. A 74 (1996)]. Schirmacher [J. Combin. Theory Ser. A 85 (1999)] extended them to $q$-log-concavity and almost $q$-log-convexity. Motivated by these, we consider the stronger properties total positivity from the Toeplitz matrix and Hankel matrix. By using exponential Riordan array methods, we give some criteria for total positivity of the triangular matrix of coefficients of the generalized cycle index polynomials, the Toeplitz matrix and Hankel matrix of the polynomial sequence in terms of the exponential formula, the logarithmic formula and the fractional formula, respectively. Finally, we apply our criteria to some triangular arrays satisfying some recurrence relations, including Bessel triangles of two kinds and their generalizations, the Lah triangle and its generalization, the idempotent triangle and some triangles related to binomial coefficients, rook polynomials and Laguerre polynomials. We not only get total positivity of these lower-triangles, and $q$-Stieltjes moment properties and $3$-$q$-log-convexity of their row-generating functions, but also prove that their triangular convolutions preserve Stieltjes moment property. In particular, we solve a conjecture of Sokal on $q$-Stieltjes moment property of rook polynomials.

The Grassmannian is a disjoint union of open positroid varieties $P_v$, certain smooth irreducible subvarieties whose definition is motivated by total positivity. The coordinate ring of $P_v$ is a cluster algebra, and each reduced plabic graph $G$ for $P_v$ determines a cluster. We study the effect of relabeling the boundary vertices of $G$ by a permutation $r$. Under suitable hypotheses on the permutation, we show that the relabeled graph $G^r$ determines a cluster for a different open positroid variety $P_w$. As a key step of the proof, we show that $P_v$ and $P_w$ are isomorphic by a nontrivial twist isomorphism. Our constructions yield many cluster structures on each open positroid variety $P_w$, given by plabic graphs with appropriately relabeled boundary. We conjecture that the seeds in all of these cluster structures are related by a combination of mutations and Laurent monomial transformations involving frozen variables, and establish this conjecture for (open) Schubert and opposite Schubert varieties. As an application, we also show that for certain reduced plabic graphs $G$, the "source" cluster and the "target" cluster are related by mutation and Laurent monomial rescalings.

Given a configuration $A$ of $n$ points in $\mathbb{R}^{d-1}$, we introduce the higher secondary polytopes $Σ_{A,1},\dots, Σ_{A,n-d}$, which have the property that $Σ_{A,1}$ agrees with the secondary polytope of Gelfand--Kapranov--Zelevinsky, while the Minkowski sum of these polytopes agrees with Billera--Sturmfels' fiber zonotope associated with (a lift of) $A$. In a special case when $d=3$, we refer to our polytopes as higher associahedra. They turn out to be related to the theory of total positivity, specifically, to certain combinatorial objects called plabic graphs, introduced by the second author in his study of the totally positive Grassmannian. We define a subclass of regular plabic graphs and show that they correspond to the vertices of the higher associahedron $Σ_{A,k}$, while square moves connecting them correspond to the edges of $Σ_{A,k}$. Finally we connect our polytopes to soliton graphs, the contour plots of soliton solutions to the KP equation, which were recently studied by Kodama and the third author. In particular, we confirm their conjecture that when the higher times evolve, soliton graphs change according to the moves for plabic graphs.

The main aim of this paper is to establish a deep link between the totally nonnegative grassmannian and the quantum grassmannian. More precisely, under the assumption that the deformation parameter $q$ is transcendental, we show that "quantum positroids" are completely prime ideals in the quantum grassmannian $A$. As a consequence, we obtain that torus-invariant prime ideals in the quantum grassmannian are generated by polynormal sequences of quantum Plücker coordinates and give a combinatorial description of these generating sets. We also give a topological description of the poset of torus-invariant prime ideals in $A$, and prove a version of the orbit method for torus-invariant objects. Finally, we construct separating Ore sets for all torus-invariant primes in $A$. The latter is the first step in the Brown-Goodearl strategy to establish the orbit method for (quantum) grassmannians.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.

In this paper, we consider matrices whose entries are combinatorial sequences which can be expressed in terms of a convolution of elementary and complete homogeneous symmetric functions. We establish the total positivity of these matrices using the Lindström-Gessel-Viennot Lemma.

These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of double Bruhat cells in the theory of total positivity. Once the definition of cluster algebras is introduced in several stages of increasing generality, proofs of fundamental results are sketched in the rank 2 case. From these foundations we build up the notion of Poisson structures compatible with a cluster algebra structure and indicate how this leads to a quantization of cluster algebras. Finally we give applications of these ideas to integrable systems in the form of Zamolodchikov periodicity and the pentagram map.

We study the geometry underlying the Wilson loop diagram approach to calculating scattering amplitudes in the gauge theory of Supersymmetric Yang Mills (SYM) $N=4$. By applying the tools developed to study total positivity in the real Grassmannian, we are able to systematically compute with all Wilson loop diagrams of a given size and find unexpected patterns and relationships between them. We focus on the smallest nontrivial multi-propagator case, consisting of 2 propagators on 6 vertices, and compute the positroid cells associated to each diagram and the homology of the subcomplex they generate in $\mathbb{G}_{\mathbb{R}, \geq 0}$. We also verify in this case the conjecture that the spurious singularities of the volume functional {\em do} all cancel on the codimension 1 boundaries of these cells.

A $k$-positive matrix is a matrix where all minors of order $k$ or less are positive. Computing all such minors to test for $k$-positivity is inefficient, as there are $\sum_{\ell=1}^k \binom{n}{\ell}^2$ of them in an $n\times n$ matrix. However, there are minimal $k$-positivity tests which only require testing $n^2$ minors. These minimal tests can be related by series of exchanges, and form a family of sub-cluster algebras of the cluster algebra of total positivity tests. We give a description of the sub-cluster algebras that give $k$-positivity tests, ways to move between them, and an alternative combinatorial description of many of the tests.

We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extends a theorem of Conway and Coxeter that classifies such solutions subject to a total positivity restriction.

The goal of this paper is to introduce and study noncommutative Catalan numbers $C_n$ which belong to the free Laurent polynomial algebra in $n$ generators. Our noncommutative numbers admit interesting (commutative and noncommutative) specializations, one of them related to Garsia-Haiman $(q,t)$-versions, another -- to solving noncommutative quadratic equations. We also establish total positivity of the corresponding (noncommutative) Hankel matrices $H_m$ and introduce accompanying noncommutative binomial coefficients.

We formulate a higher-rank version of the boundary measurement map for weighted planar bipartite networks in the disk. It sends a network to a linear combination of SL$_r$-webs, and is built upon the r-fold dimer model on the network. When r equals 1, our map is a reformulation of Postnikov's boundary measurement used to coordinatize positroid strata. When r equals 2 or 3, it is a reformulation of the SL$_2$- and SL$_3$-web immanants defined by the second author. The basic result is that the higher rank map factors through Postnikov's map. As an application, we deduce generators and relations for the space of SL$_r$-webs, reproving a result of Cautis-Kamnitzer-Morrison. We establish compatibility between our map and restriction to positroid strata, and thus between webs and total positivity.

We prove the total positivity of the Narayana triangles of type $A$ and type $B$, and thus affirmatively confirm a conjecture of Chen, Liang and Wang and a conjecture of Pan and Zeng. We also prove the strict total positivity of the Narayana squares of type $A$ and type $B$.

We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and totally nonnegative matrices.

This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains: Chapter 1. Total positivity Chapter 2. Mutations of quivers and matrices Chapter 3. Clusters and seeds

A matrix is called totally positive (resp. totally nonnegative) if all its minors are positive (resp. nonnegative). Consider the Ising model with free boundary conditions and no external field on a planar graph $G$. Let $a_1,\dots,a_k,b_k,\dots,b_1$ be vertices placed in a counterclockwise order on the outer face of $G$. We show that the $k\times k$ matrix of the two-point spin correlation functions \[ M_{i,j} = \langle σ_{a_i} σ_{b_j} \rangle \] is totally nonnegative. Moreover, $\det M > 0$ if and only if there exist $k$ pairwise vertex-disjoint paths that connect $a_i$ with $b_i$. We also compute the scaling limit at criticality of the probability that there are $k$ parallel and disjoint connections between $a_i$ and $b_i$ in the double random current model. Our results are based on a new distributional relation between double random currents and random alternating flows of Talaska.

We present sufficient conditions for total positivity of Riordan arrays. As applications we show that many well-known combinatorial triangles are totally positive and many famous combinatorial numbers are log-convex in a unified approach.

Let $A=[a_{n,k}]_{n,k\ge 0}$ be an infinite lower triangular matrix defined by the recurrence $$a_{0,0}=1,\quad a_{n+1,k}=r_{k}a_{n,k-1}+s_{k}a_{n,k}+t_{k+1}a_{n,k+1},$$ where $a_{n,k}=0$ unless $n\ge k\ge 0$ and $r_k,s_k,t_k$ are all nonnegative. Many well-known combinatorial triangles are such matrices, including the Pascal triangle, the Stirling triangle (of the second kind), the Bell triangle, the Catalan triangles of Aigner and Shapiro. We present some sufficient conditions such that the recursive matrix $A$ is totally positive. As applications we give the total positivity of the above mentioned combinatorial triangles in a unified approach.

The stratification of the Grassmannian by positroid varieties has been the subject of extensive research. Positroid varieties are in bijection with a number of combinatorial objects, including $k$-Bruhat intervals and bounded affine permutations. In addition, Postnikov's boundary measurement map gives a family of parametrizations of each positroid variety; the domain of each parametrization is the space of edge weights of a weighted planar network. In this paper, we generalize the combinatorics of positroid varieties to the Lagrangian Grassmannian $Λ(2n)$, which is the type $C$ analog of the ordinary, or type $A$, Grassmannian. The Lagrangian Grassmannian has a stratification by projected Richardson varieties, which are the type $C$ analogs of positroid varieties. We define type $C$ generalizations of bounded affine permutations and $k$-Bruhat intervals, as well as several other combinatorial posets which index positroid varieties. In addition, we generalize Postnikov's network parametrizations to projected Richardson varieties in $Λ(2n)$. In particular, we show that restricting the edge weights of our networks to $\mathbb{R}^+$ yields a family of parametrizations for totally nonnegative cells in $Λ(2n)$. In the process, we obtain a set of linear relations among the Plücker coordinates on $\text{Gr}(n,2n)$ which cut out the Lagrangian Grassmannian set-theoretically.

A plabic graph is a planar bicolored graph embedded in a disk, which satisfies some combinatorial conditions. Postnikov's boundary measurement map takes the space of positive edge weights of a plabic graph $G$ to a positroid cell in some totally nonnegative Grassmannian. In this note, we investigate plabic graphs which are symmetric about a line of reflection, up to reversing the colors of vertices. These symmetric plabic graphs arise naturally in the study of total positivity for the Lagrangian Grassmannian. We characterize various combinatorial objects associated with symmetric plabic graphs, and describe the subset of a Grassmannian which can be realized by symmetric weightings of symmetric plabic graphs.