Abstract

The $A_\infty$ T-system, also called the octahedron recurrence, is a dynamical recurrence relation. It can be realized as mutation in a coefficient-free cluster algebra (Kedem 2008, Di Francesco and Kedem 2009). We define T-systems with principal coefficients from cluster algebra aspect, and give combinatorial solutions with respect to any valid initial condition in terms of partition functions of perfect matchings, non-intersecting paths and networks. This also provides a solution to other systems with various choices of coefficients on T-systems including Speyer's octahedron recurrence (Speyer 2007), generalized lambda-determinants (Di Francesco 2013) and (higher) pentagram maps (Schwartz 1992, Ovsienko et al. 2010, Glick 2011, Gekhtman et al. 2016).

Highlights

  • The A∞ T-system [DFK13], called the octahedron recurrence, is a discrete dynamical system of formal variables Ti,j,k for i, j, k ∈ Z satisfyingTi,j,k−1Ti,j,k+1 = Ti−1,j,kTi+1,j,k + Ti,j−1,kTi,j+1,k.This recurrence relation preserves the parity of i + j + k and there are two independent systems depending on the parity of i + j + k

  • We show that the cluster variables satisfy the recurrence relation (4) on {Ti,j,k | (i, j, k) ∈ Z3odd} with an extra set of coefficients {ci,j | (i, j) ∈ Z2}

  • We show that our network and elementary network matrices coincide with the objects studied in [DFK13] in the case of coefficient-free T-systems (ci,j = 1 for all (i, j) ∈ Z2)

Read more

Summary

Introduction

The A∞ T-system [DFK13], called the octahedron recurrence, is a discrete dynamical system of formal variables Ti,j,k for i, j, k ∈ Z satisfying. This gives another form of the perfect-matching solution (Theorem 5.4): Ti0,j0,k0 =. This bijection can be extended to G.

Finite rank cluster algebras
Infinite rank cluster algebras
T-systems
T-systems without coefficients
T-systems with principal coefficients
Perfect-matching solution
Graphs from stepped surfaces
Face-weight and pairing-weight
Perfect-matching solution via edge-weight
Non-intersecting path solution
Some setup
Non-intersecting paths and perfect matchings
Modified edge-weight and nonintersecting-path solution
Network solution
Network associated with a graph
Nonintersecting-path solution for the network
Network matrix
Lozenge covering
Other coefficients
Speyer’s octahedron recurrence
Lambda determinants
Pentagram maps
Conclusion and Discussion
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call