arXiv++ Combinatorics

We study a quantum version of the $n$-dimer model from statistical mechanics, based on the formalism from quantum topology developed by Reshetikhin and Turaev (the latter which, in particular, can be used to construct the Jones polynomial of a knot in $\mathbb{R}^3$). We apply this machinery to construct an isotopy invariant polynomial for knotted bipartite ribbon graphs in $\mathbb{R}^3$, giving, in the planar setting, a quantum $n$-dimer partition function. As one application, we compute the expected number of loops in the (classical) double dimer model for planar bipartite graphs.

The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.

We study the enumeration of mixed dimer covers on skew Young diagrams of ribbon shape (also called border strips or snake graphs). For the two extreme cases of straight and zigzag shapes, we show that the number of mixed dimer covers are given by the Euler and Catalan numbers. We also give q-analogs by showing that the rank generating functions of the partial orders on mixed dimer covers agree with certain q-Euler and q-Catalan numbers. These q-analogs are a consequence of an isomorphism between the partial order on mixed dimer covers and the so-called middle order on certain classes of permutations.

We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.

We study pairs of matrices $A,B\in GL_n({\mathbb C})$ such that the eigenvalues of $A$, of $B$ and of the product $AB$ are specified in advance. We show that the space of such pairs $(A,B)$ under simultaneous conjugation has dimension $(n-1)(n-2)$, and give an explicit parameterization. More generally let $Σ$ be a surface of genus $g$ with $k$ punctures. We find a parameterization of the space $Ω_{g,k,n}$ of flat $GL_n({\mathbb C})$-structures on $Σ$ whose holonomies around the punctures have prescribed eigenvalues. We show furthermore that, for $3\le k\le 2g+6$ (or $3\le k\le 9$ if $g=1$, or $3\le k$ if $g=0$), the space $Ω_{g,k,n}$ has an explicit symplectic structure and an associated Liouville integrable system, equivalent to a leaf of a Goncharov-Kenyon dimer integrable system.

We investigate some properties of the higher continued fractions defined recently by Musiker, Ovenhouse, Schiffler, and Zhang. We prove that the maps defining the higher continued fractions are increasing continuous functions on the positive real numbers. We also investigate some asymptotics of these maps.

Let $G$ be a bipartite planar graph with edges directed from black to white. For each vertex $v$ let $n_v$ be a positive integer. A multiweb in $G$ is a multigraph with multiplicity $n_v$ at vertex $v$. A connection is a choice of linear maps on edges $Φ=\{φ_{bw}\}_{bw\in E}$ where $φ_{bw}\in \mathrm{Hom}({\mathbb R}^{n_b},{\mathbb R}^{n_w})$. Associated to $Φ$ is a function on multiwebs, the trace $Tr_Φ$. We define an associated Kasteleyn matrix $K=K(Φ)$ in this setting and write $\det K$ as the sum of traces of all multiwebs. This generalizes Kasteleyn's theorem and the result of [Douglas, Kenyon, Shi: Dimers, webs, and local systems, Trans. AMS 2023]. We study connections with positive traces, and define the associated probability measure on multiwebs. By careful choice of connection we can thus encode the "free fermionic" subvarieties for vertex models such as the $6$-vertex model and $20$-vertex models, and in particular give determinantal solutions. We also find for each multiweb system an equivalent scalar system, that is, a planar bipartite graph $H$ and a local measure-preserving mapping from dimer covers of $H$ to multiwebs on $G$. We identify a family of positive connections as those whose scalar versions have positive face weights.

Snake graphs are a class of planar graphs that are important in the theory of cluster algebras. Indeed, the Laurent expansions of the cluster variables in cluster algebras from surfaces are given as weight generating functions for 1-dimer covers (or perfect matchings) of snake graphs. Moreover, the enumeration of 1-dimer covers of snake graphs provides a combinatorial interpretation of continued fractions. In particular, the number of 1-dimer covers of the snake graph $\mathscr{G}[a_1,\dots,a_n]$ is the numerator of the continued fraction $[a_1,\dots,a_n]$. This number is equal to the top left entry of the matrix product $\left(\begin{smallmatrix} a_1&1\\1&0 \end{smallmatrix}\right) \cdots \left(\begin{smallmatrix} a_n&1\\1&0 \end{smallmatrix}\right)$. In this paper, we give enumerative results on $m$-dimer covers of snake graphs. We show that the number of $m$-dimer covers of the snake graph $\mathscr{G}[a_1,\ldots,a_n]$ is the top left entry of a product of analogous $(m+1)$-by-$(m+1)$ matrices. We discuss how our enumerative results are related to other known combinatorial formulas, and we suggest a generalization of continued fractions based on our methods. These generalized continued fractions provide some interesting open questions and a possibly novel approach towards Hermite's problem for cubic irrationals.

We consider $q$-binomial coefficients built from the $q$-rational and $q$-real numbers defined by Morier-Genoud and Ovsienko in terms of continued fractions. We establish versions of both the $q$-Pascal identity and the $q$-binomial theorem in this setting. These results are then used to find more identities satisfied by the $q$-analogues of Morier-Genoud and Ovsienko, including a Chu--Vandermonde identity and $q$-Gamma function identities.

For an arc on a bordered surface with marked points, we associate a holonomy matrix using a product of elements of the supergroup $\mathrm{OSp}(1|2)$, which defines a flat $\mathrm{OSp}(1|2)$-connection on the surface. We show that our matrix formulas of an arc yields its super $λ$-length in Penner-Zeitlin's decorated super Teichmüller space. This generalizes the matrix formulas of Fock-Goncharov and Musiker-Williams. We also prove that our matrix formulas agree with the combinatorial formulas given in the authors' previous works. As an application, we use our matrix formula in the case of an annulus to obtain new results on super Fibonacci numbers.

The classical $q$-analogue of the integers was recently generalized by Morier-Genoud and Ovsienko to give $q$-analogues of rational numbers. Some combinatorial interpretations are already known, namely as the rank generating functions for certain partially ordered sets. We review some of these interpretations, and additionally give a slightly novel approach in terms of planar graphs called snake graphs. Using the snake graph approach, we show that the numerators of $q$-rationals count the sizes of certain varieties over finite fields, which are unions of open Schubert cells in some Grassmannian.

In a recent paper, the authors gave combinatorial formulas for the Laurent expansions of super $λ$-lengths in a marked disk, generalizing Schiffler's $T$-path formula. In the present paper, we give an alternate combinatorial expression for these super $λ$-lengths in terms of double dimer covers on snake graphs. This generalizes the dimer formulas of Musiker, Schiffler, and Williams.

We introduce a family of discrete dynamical systems which includes, and generalizes, the mutation dynamics of rank two cluster algebras. These systems exhibit behavior associated with integrability, namely preservation of a symplectic form, and in the tropical case, the existence of a conserved quantity. We show in certain cases that the orbits are unbounded. The tropical dynamics are related to matrix mutation, from the theory of cluster algebras. We are able to show that in certain special cases, the tropical map is periodic. We also explain how our dynamics imply the asymptotic sign-coherence observed by Gekhtman and Nakanishi in the $2$-dimensional situation.

Motivated by the definition of super-Teichmüller spaces, and Penner-Zeitlin's recent extension of this definition to decorated super-Teichmüller space, as examples of super Riemann surfaces, we use the super Ptolemy relations to obtain formulas for super $λ$-lengths associated to arcs in a bordered surface. In the special case of a disk, we are able to give combinatorial expansion formulas for the super $λ$-lengths associated to diagonals of a polygon in the spirit of Ralf Schiffler's $T$-path formulas for type $A$ cluster algebras. We further connect our formulas to the super-friezes of Morier-Genoud, Ovsienko, and Tabachnikov, and obtain partial progress towards defining super cluster algebras of type $A_n$. In particular, following Penner-Zeitlin, we are able to get formulas (up to signs) for the $μ$-invariants associated to triangles in a triangulated polygon, and explain how these provide a step towards understanding odd variables of a super cluster algebra.

The pentagram map is a discrete integrable system first introduced by Schwartz in 1992. It was proved to be intregable by Schwartz, Ovsienko, and Tabachnikov in 2010. Gekhtman, Shapiro, and Vainshtein studied Poisson geometry associated to certain networks embedded in a disc or annulus, and its relation to cluster algebras. Later, Gekhtman et al. and Tabachnikov reinterpreted the pentagram map in terms of these networks, and used the associated Poisson structures to give a new proof of integrability. In 2011, Mari Beffa and Felipe introduced a generalization of the pentagram map to certain Grassmannians, and proved it was integrable. We reinterpret this Grassmann pentagram map in terms of noncommutative algebra, in particular the double brackets of Van den bergh, and generalize the approach of Gekhtman et al. to establish a noncommutative version of integrability.