Log-concavity and unimodality of cluster monomials of type $A_3$

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.

💡 Research Summary

The paper addresses a conjecture concerning the log‑concavity and unimodality of cluster monomials in finite type cluster algebras of type Aₙ. While Chen‑Huang‑Sun previously proved these properties for cluster variables of type Aₙ and for cluster monomials of type A₂, the case n = 3 remained open due to the rapid growth of variables and the combinatorial complexity of mutations.

The authors begin by recalling the basic framework of seeds, exchange matrices, and mutation rules, and they introduce a permutation action on seeds. Lemma 2.7 shows that permutation of indices commutes with mutation up to conjugation by the corresponding permutation matrix, and Lemma 2.8 establishes that seeds with the same initial cluster but different exchange matrices are mutation‑equivalent up to sign. This groundwork justifies the later reduction of the problem to a small set of representative seeds.

In Section 3 the authors formalize log‑concavity for Laurent polynomials with non‑negative coefficients (Definition 3.1) and propose a new notion of unimodality (Definition 3.2). Lemma 3.3 proves that any non‑negative Laurent polynomial without internal zeros that is log‑concave is automatically unimodal. These definitions are then lifted to cluster monomials via the Laurent phenomenon and positivity (Definition 3.5).

A key combinatorial tool is introduced in Definition 3.13: a convolution operation built from binomial coefficients. Proposition 3.15 proves that this convolution preserves log‑concavity, allowing the authors to decompose complicated cluster monomials into simpler building blocks while retaining the desired property.

Section 4 provides a reduction argument (Proposition 4.1) showing that it suffices to verify log‑concavity and unimodality for three specific families of cluster monomials displayed in Figure 3. These families correspond to the three possible initial seeds up to strong isomorphism, a notion that captures the invariance of the algebra under simultaneous permutation of variables and rows/columns of the exchange matrix.

The heart of the proof lies in Section 5. The authors bring in classical special functions: Gauss hypergeometric functions and Jacobi polynomials. Lemma 5.6 establishes that the coefficients of these functions satisfy a real‑rootedness property, which in turn implies that the coefficient sequences are log‑concave via Newton’s inequalities (Lemma 5.7). By expressing each cluster monomial of type A₃ as a specialization of such special functions, the authors deduce that every coefficient sequence is log‑concave and, by Lemma 3.3, unimodal. This yields the main result, Theorem 5.1: all cluster monomials of type A₃ are log‑concave and unimodal.

Beyond the concrete case, the paper proposes a refined conjecture (Conjecture 5.11) asserting that for all n ≥ 4 the same properties hold, and that strong isomorphism preserves log‑concavity and unimodality regardless of the choice of initial seed. This conjecture extends the known results from n ≤ 3 to arbitrary rank and suggests a deep structural stability of cluster algebras under seed mutations and permutations.

Overall, the work combines combinatorial techniques (binomial coefficient convolution), analytic tools (real‑rootedness of hypergeometric and Jacobi polynomials), and classical inequalities (Newton) to resolve the A₃ case. The methodology is notable for its blend of elementary combinatorics with sophisticated special‑function theory, and it opens a clear pathway for tackling higher‑rank cases, making a substantial contribution to the understanding of positivity phenomena in cluster algebras.