Positivity in coefficient-free rank two cluster algebras. (Q2380254)

Summary: Let \(b,c\) be positive integers, \(x_1,x_2\) be indeterminates over \(\mathbb{Z}\) and \(x_m\), \(m\in\mathbb{Z}\) be rational functions defined by \(x_{m-1}x_{m+1}=x^b_m+1\) if \(m\) is odd and \(x_{m-1}x_{m+1}=x^c_m+1\) if \(m\) is even. In this short note, we prove that for any \(m,k\in\mathbb{Z}\), \(x_k\) can be expressed as a substraction-free Laurent polynomial in \(\mathbb{Z}[x^{\pm 1}_m,x^{\pm 1}_m]\). This proves Fomin-Zelevinsky's positivity conjecture for coefficient-free rank two cluster algebras.