\magnification=1200
\hsize=4in
\overfullrule=0pt
\input amssym
%\def\frac#1 #2 {{#1\over #2}}
\def\emph#1{{\it #1}}
\def\em{\it}
\nopagenumbers
\noindent
%
%
{\bf G. Dupont}
%
%
\medskip
\noindent
%
%
{\bf Positivity in Coefficient-Free Rank Two Cluster Algebras}
%
%
\vskip 5mm
\noindent
%
%
%
%
Let $b,c$ be positive integers, $x_1,x_2$ be indeterminates
over ${\Bbb Z}$ and $x_m, m \in {\Bbb Z}$ be rational functions defined by
$x_{m-1}x_{m+1}=x_m^b+1$ if $m$ is odd and $x_{m-1}x_{m+1}=x_m^c+1$ if
$m$ is even. In this short note, we prove that for any $m,k \in {\Bbb Z}$,
$x_k$ can be expressed as a substraction-free Laurent polynomial in
${\Bbb Z}[x_m^{\pm 1},x_{m+1}^{\pm 1}]$. This proves Fomin-Zelevinsky's
positivity conjecture for coefficient-free rank two cluster algebras.



\bye
