arXiv++ Combinatorics

Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.

We propose a geometric counterpart of the dimer model on bipartite graphs. A state of our model consists of a choice of a point for each white vertex and hyperplane for each black vertex. This data is subject to certain conditions determined by the graph; the resulting configurations are called coherent double circuit configurations. We show that our model behaves consistently under standard local moves of the dimer model. On the geometric side, this gives rise to a new class of theorems in linear incidence geometry - dynamical incidence theorems. Examples include results on pentagram maps, pentagram spirals, and Q-nets. We also examine the problem of parametrizing coherent double circuit configurations. In particular, we study whether, once the white-vertex part of the data is fixed, one can recover the black-vertex data from a point on the spectral curve.

Let $U$ be a tensor product of highest weight modules of $GL_n(\mathbb C)$ corresponding to multiples of fundamental weights (i.e. rectangles). We consider three ways to stratify $U^{\otimes k}$ into components: using isotypic components of the cyclic action on tensor factors, using a generalization of the charge statistic, and using certain generalizations of Assaf's dual equivalence graphs. We conjecture that all three ways coincide, and we prove that the latter two ways coincide. The Kirillov-Reshetikhin dual equivalence graphs (KR DEGs) we introduce for this purpose are defined on $0$-weight spaces of tensor products of Kirillov-Reshetikhin crystals. They generalize Kazhdan-Lusztig dual equivalence graphs (KL DEGs) that previously appeared in the study of Kazhdan-Lusztig cells in affine type A. While the tensor products of Kirillov-Reshetikhin crystals are connected as affine crystals, the KR DEGs in general are not.

Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.

A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.

Elements of Lusztig's dual canonical bases are Schur-positive when evaluated on (generalized) Jacobi-Trudi matrices. This deep property was proved by Rhoades and Skandera, relying on a result of Haiman, and ultimately on the (proof of) Kazhdan-Lusztig conjecture. For a particularly tractable part of the dual canonical basis - called Temperley-Lieb immanants - we give a generalization of Littlewood-Richardson rule: we provide a combinatorial interpretation for the coefficient of a particular Schur function in the evaluation of a particular Temperley-Lieb immanant on a particular Jacobi-Trudi matrix. For this we introduce shuffle tableaux, and apply Stembridge's axioms to show that certain graphs on shuffle tableaux are type $A$ Kashiwara crystals.

We study multiport networks, common in electrical engineering. They have boundary conditions different from electrical networks: the boundary vertices are split into pairs and the sum of the incoming currents is set to be zero in each pair. If one sets the voltage difference for each pair, then the incoming currents are uniquely determined. We generalize Kirchhoff's matrix-tree theorem to this setup. Different forests now contribute with different signs, making the proof subtle. In particular, we use the formula for the response matrix minors by R. Kenyon-D. Wilson, determinantal identities, and combinatorial bijections. We introduce superport networks, generalizing both ordinary networks and multiport ones.

We show that various classical theorems of real/complex linear incidence geometry, such as the theorems of Pappus, Desargues, Möbius, and so on, can be interpreted as special cases of a single "master theorem" that involves an arbitrary tiling of a closed oriented surface by quadrilateral tiles. This yields a general mechanism for producing new incidence theorems and generalizing the known ones.

In our previous work we have introduced an analogue of Robinson-Schensted-Knuth correspondence for Schubert calculus of the complete flag varieties. The objects inserted are certain biwords, the outcomes of insertion are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. In this paper we study a class of biwords that have a certain associativity property; we call them plactic biwords. We introduce analogues of Knuth moves on plactic biwords, and prove that any two plactic biwords with the same insertion bumpless pipe dream are connected by those moves.

The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.

We introduce analogs of left and right RSK insertion for Schubert calculus of complete flag varieties. The objects being inserted are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. As an application, we adopt Lenart's growth diagrams of permutations to give a combinatorial rule for Schubert structure constants in the separated descent case.

The geometric crystal operators and geometric $R$-matrices (or geometric Weyl group actions) give commuting actions on the field of rational functions in $mn$ variables. We study the invariants of various combinations of these actions, which we view as "crystal analogues" of the invariants of $S_m$, ${\rm SL}_m$, $S_n \times S_m$, ${\rm SL}_n \times \, S_m$, and ${\rm SL}_n \times {\rm SL}_m$ acting on the polynomial ring in an $m \times n$ matrix of variables. The polynomial invariants of the $S_m$-action generated by the ${\rm GL}_m$-geometric $R$-matrices were described by Lam and the third-named author as the ring of loop symmetric functions. In a previous paper of the authors, the polynomial invariants of the ${\rm GL}_m$-geometric crystal operators were described as a subring of the ring of loop symmetric functions. In this paper, we give conjectural generating sets for the fields of rational invariants in the remaining cases, and we give formulas expressing a large class of loop symmetric functions in terms of these conjectural generators. Our results include new positive formulas for the central charge and energy function of a product of single-row geometric crystals, and a new derivation of Kirillov and Berenstein's piecewise-linear formula for cocharge. The formulas manifest the symmetries possessed by these functions.

Berenstein and Kazhdan's theory of geometric crystals gives rise to two commuting families of geometric crystal operators acting on the space of complex $m \times n$ matrices. These are birational actions, which we view as a crystal-theoretic analogue of the usual action of ${\rm SL}_m \times {\rm SL}_n$ on $m \times n$ matrices. We prove that the field of rational invariants (and ring of polynomial invariants) of each family of geometric crystal operators is generated by a set of algebraically independent polynomials, which are generalizations of the elementary symmetric polynomials in $m$ (or $n$) variables. We also give a set of algebraically independent generators for the intersection of these fields, and we explain how these fields are situated inside the larger fields of geometric $R$-matrix invariants, which were studied by Lam and the third-named author under the name loop symmetric functions. The key tool in our proof is the geometric RSK correspondence of Noumi and Yamada, which we show to be an isomorphism of geometric crystals. In an appendix jointly written with Thomas Lam, we prove the fundamental theorem of loop symmetric functions, which says that the polynomial invariants of the geometric $R$-matrix are generated by the loop elementary symmetric functions.

Fock and Goncharov introduced a family of cluster algebras associated with the moduli of SL(k)-local systems on a marked surface with extra decorations at marked points. We study this family from an algebraic and combinatorial perspective, emphasizing the structures which arise when the surface has punctures. When k is 2, these structures are the tagged arcs and tagged triangulations of Fomin, Shapiro, and Thurston. For higher k, the tagging of arcs is replaced by a Weyl group action at punctures discovered by Goncharov and Shen. We pursue a higher analogue of a tagged triangulation in the language of tensor diagrams, extending work of Fomin and the second author, and we formulate skein-algebraic tools for calculating in these cluster algebras. We analyze the finite mutation type examples in detail.

Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Schützenberger.

The Stanley-Stembridge conjecture associates a symmetric function to each natural unit interval order $\mathcal P$. In this paper, we define relations à la Knuth on the symmetric group for each $\mathcal P$ and conjecture that the associated $\mathcal P$-Knuth equivalence classes are Schur-positive, refining theorems of Gasharov, Brosnan-Chow, and Guay-Paquet. The resulting equivalence graphs fit into the framework of D graphs studied by Assaf. Furthermore, we conjecture that the Schur expansion is given by column-readings of $\mathcal P$-tableaux that occur in the equivalence class. We prove these conjectures for $\mathcal P$ avoiding two specific suborders by introducing $\mathcal P$-analog of Robinson-Schensted insertion, giving an answer to a long standing question of Chow.

The box-ball systems are integrable cellular automata whose long-time behavior is characterized by soliton solutions, with rich connections to other integrable systems such as the Korteweg-de Vries equation. In this paper, we consider a multicolor box-ball system with two types of random initial configurations and obtain sharp scaling limits of the soliton lengths as the system size tends to infinity. We obtain a sharp scaling limit of soliton lengths that turns out to be more delicate than that in the single color case established in [Levine, Lyu, Pike '20]. A large part of our analysis is devoted to studying the associated carrier process, which is a multi-dimensional Markov chain on the orthant, whose excursions and running maxima are closely related to soliton lengths. We establish the sharp scaling of its ruin probabilities, Skorokhod decomposition, strong law of large numbers, and weak diffusive scaling limit to a semimartingale reflecting Brownian motion with explicit parameters. We also establish and utilize complementary descriptions of the soliton lengths and numbers in terms of modified Greene-Kleitman invariants for the box-ball systems and associated circular exclusion processes.

We study a simple geometric model for local transformations of bipartite graphs. The state consists of a choice of a vector at each white vertex made in such a way that the vectors neighboring each black vertex satisfy a linear relation. Evolution for different choices of the graph coincides with many notable dynamical systems including the pentagram map, $Q$-nets, and discrete Darboux maps. On the other hand, for plabic graphs we prove unique extendability of a configuration from the boundary to the interior, an elegant illustration of the fact that Postnikov's boundary measurement map is invertible. In all cases there is a cluster algebra operating in the background, resolving the open question for $Q$-nets of whether such a structure exists.

For affine symmetric groups we construct finite $W$-graphs corresponding to two-row shapes, and prove their uniqueness. This gives the first non-trivial family of examples of finite $W$-graphs in an affine type. We compare our construction with quotients of periodic $W$-graphs defined by Lusztig. Under certain positivity assumption on the latter the two are shown to be isomorphic.

Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.