arXiv++ Combinatorics

We focus on the $G$-fans associated with cluster patterns whose initial exchange matrices are of infinite type. We study the asymptotic behavior of the $g$-vectors around the initial $G$-cone under the alternating mutations for two indices of infinite type. In the rank 3 case, we classify them into several patterns. As an application, the incompleteness of the $G$-fans of infinite type is proved. We observed that the local pattern of a rank 3 $G$-fan of totally-infinite type classified by the above types correlates with its global pattern. Following the classification of the local patterns (together with the Markov constant), we present several prototypical examples of the global patterns of the rank 3 $G$-fans of totally-infinite type, many of which are new in the literature.

We formulate the pentagon relation for quantum dilogarithm elements in the structure group of a quantum cluster scattering diagram (QCSD). As an application, we show the nonpositivity of a certain class of nonskew-symmetric QCSDs. Also, we explicitly present various consistency relations for QCSDs of rank 2 completely or up to some degree, many of which are new in the literature.

This is a first step guide to the theory of cluster algebras. We especially focus on basic notions, techniques, and results concerning seeds, cluster patterns, and cluster algebras.

We discuss a product formula for $F$-polynomials in cluster algebras, and provide two proofs. One proof is inductive and uses only the mutation rule for $F$-polynomials. The other is based on the Fock-Goncharov decomposition of mutations. We conclude by expanding this product formula as a sum and illustrate applications. This expansion provides an explicit combinatorial computation of $F$-polynomials in a given seed that depends only on the $\mathbf{c}$-vectors and $\mathbf{g}$-vectors along a finite sequence of mutations from the initial seed to the given seed.

We extend the notion of $y$-variables (coefficients) in cluster algebras to cluster scattering diagrams. Accordingly, we extend the dilogarithm identity associated with a period in a cluster pattern to the one associated with a loop in a cluster scattering diagram. We show that these identities are constructed from and reduced to a trivial one by applying the pentagon identity possibly infinitely many times.

This is a self-contained exposition of several fundamental properties of cluster scattering diagrams introduced and studied by Gross, Hacking, Keel, and Kontsevich. In particular, detailed proofs are presented for the construction, the mutation invariance, and the positivity of theta functions of cluster scattering diagrams. Throughout the text we highlight the fundamental roles of the dilogarithm elements and the pentagon relation in cluster scattering diagrams.

We review some important results by Gross, Hacking, Keel, and Kontsevich on cluster algebra theory, namely, the column sign-coherence of $C$-matrices and the Laurent positivity, both of which were conjectured by Fomin and Zelevinsky. We digest and reconstruct the proofs of these conjectures by Gross et al. still based on their scattering diagram method, however, without relying on toric geometry. At the same time, we also give a detailed account of the correspondence between the notions of cluster patterns and scattering diagrams. Most of the results in this text are found in or translated from the known results in the literature. However, the approach, the construction of logic and proofs, and the overall presentation are new. Also, as an application of the results and the techniques in the text, we show that there is a one-to-one correspondence between $g$-vectors and cluster variables in cluster patterns with arbitrary coefficients.

The sign coherence phenomenon is an important feature of c-vectors in cluster algebras with principal coefficients. In this note, we consider a more general version of c-vectors defined for arbitrary cluster algebras of geometric type and formulate a conjecture describing their asymptotic behavior. This conjecture, which is called the asymptotic sign coherence conjecture, states that for any infinite sequence of matrix mutations that satisfies certain natural conditions, the corresponding c-vectors eventually become sign coherent. We prove this conjecture for rank 2 cluster algebras of infinite type and for a particular sequence of mutations in a cluster algebra associated with the Markov quiver.

The sine-Gordon Y-systems and the reduced sine-Gordon Y-systems were introduced by Tateo in the 90's in the study of the integrable deformation of conformal field theory by the thermodynamic Bethe ansatz method. The periodicity property and the dilogarithm identities concerning these Y-systems were conjectured by Tateo, and only a part of them have been proved so far. In this paper we formulate these Y-systems by the polygon realization of cluster algebras of types A and D, and prove the conjectured periodicity and dilogarithm identities in full generality. As it turns out, there is a wonderful interplay among continued fractions, triangulations of polygons, cluster algebras, and Y-systems.

We provide an explicit Dynkin diagrammatic description of the c-vectors and the d-vectors (the denominator vectors) of any cluster algebra of finite type with principal coefficients and any initial exchange matrix. We use the surface realization of cluster algebras for types A_n and D_n, then we apply the folding method to D_{n+1} and A_{2n-1} to obtain types B_n and C_n. Exceptional types are done by direct inspection with the help of a computer algebra software. We also propose a conjecture on the root property of c-vectors for a general cluster algebra.

We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type C_n. Like the D_n case studied by the authors recently, applying the Gessel-Viennot path method with an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.

We study the Jacobi-Trudi-type determinant which is conjectured to be the q-character of a certain, in many cases irreducible, finite-dimensional representation of the quantum affine algebra of type D_n. Unlike the A_n and B_n cases, a simple application of the Gessel-Viennot path method does not yield a positive sum expression of the determinant over a set of tuples of paths. However, applying an additional involution and a deformation of paths, we obtain a positive sum expression over a set of tuples of paths, which is naturally translated into the one over a set of tableaux on a skew diagram.