arXiv++ Combinatorics

We study the $C$- and $G$-patterns associated with rank $3$ skew-symmetrizable matrices of $B$-invariant type, including the Markov quiver. Motivated by the self-contained simple mutations in Markov-type cluster algebras, we prove that large classes of subpatterns of modified $c$- and $g$-vectors are linearly isomorphic, yielding a fractal structure of the corresponding $G$-fan. We further derive explicit recursive formulas for all modified $c$- and $g$-vectors in terms of integer pairs satisfying a recursion analogous to the Calkin-Wilf tree, which leads to a parameterization by coprime integers. As an application, we describe all connected components of the complement of the support of the $G$-fan, and show that they are generated recursively by three kinds of linear maps.

The purpose of this paper is twofold. First, we introduce a family of generalized Markov-Hurwitz equations, extending classical Markov-Hurwitz equations with additional degree n-1 interaction terms, Gyoda and Matsushita's generalized Markov equations from 3 variables to n variables. Second, we prove a logarithmic asymptotic phenomenon for the positive integer solutions of these equations.

In this paper, we investigate the geometric structures of $G$-fans associated with rank $3$ real cluster-cyclic exchange matrices. In this class, a simple recursion for tropical signs was found, which enables us to study the detailed properties of $c$-, $g$-vectors. We introduce two kinds of upper bounds of the $G$-fans. The first one is the global upper bound, which comes from a hyperbolic surface containing all $g$-vectors after an initial mutation. The second one is the local upper bound, which reflects the internal separateness structure. As applications, we prove that there is no periodicity among $g$-vectors, and we completely determine the sign of $g$-vectors. We also prove the monotonicity of $g$-vectors under the minimum assumption. Moreover, we show that the three global upper bounds can be simplified to a single uniform upper bound.

The log-concavity of cluster variables of type $A_n$ and cluster monomials of type $A_2$ was established by Chen-Huang-Sun. It is still a conjecture for the cluster monomials of higher rank. In this paper, we prove the log-concavity and unimodality of the cluster monomials of type $A_3$, a substantially more intricate case. Moreover, we refine and extend this conjecture by considering the unimodality and the strongly isomorphism of cluster algebras.

The generalized Markov equations are deeply connected with the generalized cluster algebras of Markov type. We construct a deformed Fock-Goncharov tropicalization for the generalized Markov equations and prove that their tropicalized tree structure is essentially the same as that of the classical Euclid tree. We then define the generalized Euclid tree and prove that it converges to the classical Euclid tree up to a scalar multiple. Moreover, by means of cluster mutations, we exhibit an asymptotic phenomenon, up to some limit q, between the logarithmic generalized Markov tree and the classical Euclid tree. A rationality conjecture of q is then put forward. We also propose a generalized Markov uniqueness conjecture for the generalized Markov equations, which illustrates an application of the asymptotic phenomenon.

The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and solved completely by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.

We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to the one of skew-symmetric patterns. In this sense, we extend the sign-coherence of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich to a more general real class called of quasi-integer type. Furthermore, we give a complete classification of this type by a combinatorial method of real weighted quivers. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.

In this paper, we define and classify the sign-equivalent exchange matrices. We give a Diophantine explanation for the differences between rank 2 cluster algebras of finite type and affine type based on \cite{CL24}. We classify the positive integer points of the Markov mutation invariant and its variant. As an application, several classes of Diophantine equations with cluster algebraic structures are exhibited.

Okounkov [Oko03] conjectured the log-concavity about the structure constants for many interesting basis from representation theory. For the cluster algebra, Gross, Hacking, Keel, Kontsevich [GHKK18] introduced the atomic theta basis. We prove that the coefficients of the exponents of any cluster variable of type $A_n$ are log-concave. We show that the structure constants for theta basis of type $A_2$ are log-concave. As for larger generality, we conjecture that the log-concavity of the structure constants for theta basis of the cluster algebra.

We consider the mutation invariants of cluster algebras of rank 2. We characterize the mutation invariants of finite type. Two examples are provided for the affine type and we prove the non-existence of Laurent mutation invariants of non-affine type. As an application, a class of Diophantine equations encoded with cluster algebras are studied.