Showing 1–15 of 15 results for author: Ovenhouse, N

Mixed Dimer Models for Euler and Catalan Numbers

Authors: Andrew Claussen, Nicholas Ovenhouse

Abstract: 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 wit… ▽ More 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. △ Less

Submitted 14 March, 2025; originally announced March 2025.

Higher $q$-Continued Fractions

Authors: Amanda Burcroff, Nicholas Ovenhouse, Ralf Schiffler, Sylvester W. Zhang

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 13 August, 2024; originally announced August 2024.

Comments: 23 pages, 7 figures

Eigenvalues of matrix products

Authors: Richard Kenyon, Nicholas Ovenhouse

Abstract: 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… ▽ More 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. △ Less

Submitted 15 July, 2024; originally announced July 2024.

MSC Class: 05E10

Some Aspects of Higher Continued Fractions

Authors: Etan Basser, Nicholas Ovenhouse, Anuj Sakarda

Abstract: 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. 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. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Higher-rank dimer models

Authors: Richard Kenyon, Nicholas Ovenhouse

Abstract: 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 trac… ▽ More 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. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 38 pages

MSC Class: 82B20

Higher Dimer Covers on Snake Graphs

Authors: Gregg Musiker, Nicholas Ovenhouse, Ralf Schiffler, Sylvester W. Zhang

Abstract: 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 f… ▽ More 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. △ Less

Submitted 25 June, 2023; originally announced June 2023.

Comments: 31 pages, comments are welcome

MSC Class: 11A55 05A15 05F99

$q$-Rational and $q$-Real Binomial Coefficients

Authors: John Machacek, Nicholas Ovenhouse

Abstract: 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… ▽ More 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. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Matrix Formulae for Decorated Super Teichmüller Spaces

Authors: Gregg Musiker, Nicholas Ovenhouse, Sylvester W. Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Comments: 38 pages, 19 figures

$q$-Rationals and Finite Schubert Varieties

Authors: Nicholas Ovenhouse

Abstract: 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 g… ▽ More 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. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Double Dimer Covers on Snake Graphs from Super Cluster Expansions

Authors: Gregg Musiker, Nicholas Ovenhouse, Sylvester W. Zhang

Abstract: 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. 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. △ Less

Submitted 17 November, 2021; v1 submitted 13 October, 2021; originally announced October 2021.

Comments: Minor edits

MSC Class: 13F60; 17A70; 05C70; 30F60

Discrete Dynamical Systems From Real Valued Mutation

Authors: John Machacek, Nicholas Ovenhouse

Abstract: 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 m… ▽ More 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. △ Less

Submitted 1 April, 2022; v1 submitted 14 September, 2021; originally announced September 2021.

An Expansion Formula for Decorated Super-Teichmüller Spaces

Authors: Gregg Musiker, Nicholas Ovenhouse, Sylvester W. Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 1 September, 2021; v1 submitted 17 February, 2021; originally announced February 2021.

Journal ref: SIGMA 17 (2021), 080, 34 pages

Noncommutative Networks on a Cylinder

Authors: S. Arthamonov, N. Ovenhouse, M. Shapiro

Abstract: In this paper a double quasi Poisson bracket in the sense of Van den Bergh is constructed on the space of noncommutative weights of arcs of a directed graph embedded in a disk or cylinder $Σ$, which gives rise to the quasi Poisson bracket of G.Massuyeau and V.Turaev on the group algebra $\mathbf kπ_1(Σ,p)$ of the fundamental group of a surface based at $p\in\partialΣ$. This bracket also induces a… ▽ More In this paper a double quasi Poisson bracket in the sense of Van den Bergh is constructed on the space of noncommutative weights of arcs of a directed graph embedded in a disk or cylinder $Σ$, which gives rise to the quasi Poisson bracket of G.Massuyeau and V.Turaev on the group algebra $\mathbf kπ_1(Σ,p)$ of the fundamental group of a surface based at $p\in\partialΣ$. This bracket also induces a noncommutative Goldman Poisson bracket on the cyclic space $\mathcal C_\natural$, which is a $\mathbf k$-linear space of unbased loops. We show that the induced double quasi Poisson bracket between boundary measurements can be described via noncommutative $r$-matrix formalism. This gives a more conceptual proof of the result of N. Ovenhouse that traces of powers of Lax matrix form an infinite collection of noncommutative Hamiltonians in involution with respect to noncommutative Goldman bracket on $\mathcal C_\natural$. △ Less

Submitted 17 February, 2022; v1 submitted 6 August, 2020; originally announced August 2020.

MSC Class: 17B63 (Primary); 22E65; 57K20 (Secondary)

Non-Commutative Integrability of the Grassmann Pentagram Map

Authors: Nicholas Ovenhouse

Abstract: 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… ▽ More 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. △ Less

Submitted 1 February, 2019; v1 submitted 27 October, 2018; originally announced October 2018.

Log-Canonical Coordinates for Poisson Brackets and Rational Changes of Coordinates

Authors: John Machacek, Nicholas Ovenhouse

Abstract: Goodearl and Launois have shown that for a log-canonical Poisson bracket on affine space there is no rational change of coordinates for which the Poisson bracket is constant. Our main result is that if affine space is given a log-canonical Poisson bracket, then there does not exist any rational change of coordinates for which the Poisson bracket is linear. Hence, log-canonical coordinates can be t… ▽ More Goodearl and Launois have shown that for a log-canonical Poisson bracket on affine space there is no rational change of coordinates for which the Poisson bracket is constant. Our main result is that if affine space is given a log-canonical Poisson bracket, then there does not exist any rational change of coordinates for which the Poisson bracket is linear. Hence, log-canonical coordinates can be thought of as the simplest possible algebraic coordinates for affine space with a log-canonical coordinate system. In proving this conjecture we find certain invariants of log-canonical Poisson brackets on affine space which linear Poisson brackets do not have. △ Less

Submitted 19 March, 2017; originally announced March 2017.

Journal ref: J. Geom. Phys, 121 (2017) 288--296