arXiv++ Combinatorics

In a previous work, we defined (type A) c-Birkhoff polytopes and showed that they were unimodularly equivalent to order polytopes of heap posets. In this note we answer the question: What about type B?

We introduce the notion of orbitmesy, which is related to homomesy, a central phenomenon in dynamical algebraic combinatorics. An orbit $O$ is said to be orbitmesic with respect to a statistic if the orbit's average statistic value is equal to the global average. We particularly focus on the action of promotion on increasing labelings of certain fence posets called zig-zag posets, and two statistics, the antipodal sum statistic and the total sum statistic. We classify all of the orbitmesic promotion orbits for the zig-zag poset with four elements. Along the way, we investigate how homomesy of one action can be used to find orbitmesic orbits for another action, for the same fixed statistic. We prove several general results which can be used to find infinite families of orbitmesic orbits for any self-dual poset.

In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.

Graph LP algebras are a generalization of cluster algebras introduced by Lam and Pylyavskyy. We provide a combinatorial proof of positivity for certain cluster variables in these algebras. This proof uses a hypergraph generalization of snake graphs, a class of planar graphs which were used by Musiker, Schiffler, and Williams to prove positivity for cluster algebras from surfaces. These results extend those given in our previous paper, where we used a related combinatorial object known as a $T$-path.

LP algebras, introduced by Lam and Pylyavskyy, are a generalization of cluster algebras. These algebras are known to have the Laurent phenomenon, but positivity remains conjectural. Graph LP algebras are finite LP algebras encoded by a graph. For the graph LP algebra defined by a tree, we define a family of clusters called rooted clusters. We prove positivity for these clusters by giving explicit formulas for each cluster variable. We also give a combinatorial interpretation for these expansions using a generalization of $T$-paths.

Cactus networks were introduced by Lam as a generalization of planar electrical networks. He defined a map from these networks to the Grassmannian Gr($n+1,2n$) and showed that the image of this map, $\mathcal X_n$ lies inside the totally nonnegative part of this Grassmannian. In this paper, we show that $\mathcal X_n$ is exactly the elements of Gr($n+1,2n$) that are both totally nonnegative and isotropic for a particular skew-symmetric bilinear form. For certain classes of cactus networks, we also explicitly describe how to turn response matrices and effective resistance matrices into points of Gr($n+1,2n$) given by Lam's map. Finally, we discuss how our work relates to earlier studies of total positivity for Lagrangian Grassmannians.

In this note, we show that certain dual canonical basis elements of $\mathbb{C}[SL_m]$ are positive when evaluated on $k$-positive matrices, matrices whose minors of size $k \times k$ and smaller are positive. Skandera showed that all dual canonical basis elements of $\mathbb{C}[SL_m]$ can be written in terms of Kazhdan-Lusztig immanants, which were introduced by Rhoades and Skandera. We focus on the basis elements which are expressed in terms of Kazhdan-Lusztig immanants indexed by 1324- and 2143-avoiding permutations. This extends previous work of the authors on Kazhdan-Lusztig immanants and uses similar tools, namely Lewis Carroll's identity (also known as the Desnanot-Jacobi identity).

The birational $R$-matrix is a transformation that appears in the theory of geometric crystals, the study of total positivity in loop groups, and discrete dynamical systems. This $R$-matrix gives rise to an action of the symmetric group $S_m$ on an $m$-tuple of vectors. While the birational $R$-matrix is precisely the formula corresponding to the action of the simple transposition $s_i$, explicit formulas for the action of other permutations are generally not known. One particular case was studied by Lam and Pylyavskyy as it relates to energy functions of crystals. In this paper, we will discuss formulas for several additional cases, including transpositions, and provide combinatorial interpretations for the functions that appear in our work.

Immanants are functions on square matrices generalizing the determinant and permanent. Kazhdan-Lusztig immanants, which are indexed by permutations, involve $q=1$ specializations of Type A Kazhdan-Lusztig polynomials, and were defined in (Rhoades-Skandera, 2006). Using results of (Haiman, 1993) and (Stembridge, 1991), Rhoades and Skandera showed that Kazhdan-Lusztig immanants are nonnegative on matrices whose minors are nonnegative. We investigate which Kazhdan-Lusztig immanants are positive on $k$-positive matrices (matrices whose minors of size $k \times k$ and smaller are positive). We show that the Kazhdan-Lusztig immanant indexed by $v$ is positive on $k$-positive matrices when $v$ avoids 1324 and 2143 and for all non-inversions $i<j$ of $v$, either $j-i \leq k$ or $v_j-v_i\leq k$. Our main tool is Lewis Carroll's identity.

An arborescence of a directed graph $Γ$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(Γ)$ representing the sum of the weights of all such arborescences. The arborescences of a graph and the arborescences of a covering graph $\tildeΓ$ are closely related. Using voltage graphs as means to construct arbitrary regular covers, we derive a novel explicit formula for the ratio of $A_v(Γ)$ to the sum of arborescences in the lift $A_{\tilde{v}}(\tildeΓ)$ in terms of the determinant of Chaiken's voltage Laplacian matrix, a generalization of the Laplacian matrix. Chaiken's results on the relationship between the voltage Laplacian and vector fields on $Γ$ are reviewed, and we provide a new proof of Chaiken's results via a deletion-contraction argument.

The response matrix of a resistor network is the linear map from the potential at the boundary vertices to the net current at the boundary vertices. For circular planar resistor networks, Curtis, Ingerman, and Morrow have given a necessary and sufficient condition for recovering the conductance of each edge in the network uniquely from the response matrix using local moves and medial graphs. We generalize their results for resistor networks on a punctured disk. First we discuss additional local moves that occur in our setting, prove several results about medial graphs of resistor networks on a punctured disk, and define the notion of $z$-sequences for such graphs. We then define certain circular planar graphs that are electrically equivalent to standard graphs and turn them into networks on a punctured disk by adding a boundary vertex in the middle. We prove such networks are recoverable and are able to generalize this result to a much broader family of networks. A necessary condition for recoverability is also introduced.

Postnikov's plabic graphs in a disk are used to parametrize totally positive Grassmannians. In recent years plabic graphs have found numerous applications in math and physics. One of the key features of the theory is the fact that if a plabic graph is reduced, the face weights can be uniquely recovered from boundary measurements. On surfaces more complicated than a disk this property is lost. In this paper we undertake a comprehensive study of a certain semi-local transformation of weights for plabic networks on a cylinder that preserve boundary measurements. We call this a plabic R-matrix. We show that plabic R-matrices have underlying cluster algebra structure, generalizing recent work of Inoue-Lam-Pylyavskyy. Special cases of transformations we consider include geometric R-matrices appearing in Berenstein-Kazhdan theory of geometric crystals, and also certain transformations appearing in a recent work of Goncharov-Shen.

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.

A matrix is $k$-nonnegative if all its minors of size $k$ or less are nonnegative. We give a parametrized set of generators and relations for the semigroup of $k$-nonnegative $n\times n$ invertible matrices in two special cases: when $k = n-1$ and when $k = n-2$, restricted to unitriangular matrices. For these two cases, we prove that the set of $k$-nonnegative matrices can be partitioned into cells based on their factorizations into generators, generalizing the notion of Bruhat cells from totally nonnegative matrices. Like Bruhat cells, these cells are homeomorphic to open balls and have a topological structure that neatly relates closure of cells to subwords of factorizations. In the case of $(n-2)$-nonnegative unitriangular matrices, we show the cells form a Bruhat-like CW-complex.