\section{Introduction}

Cluster algebras are first constructed by Fomin and Zelevinsky in \cite{FZ1}. Generally speaking, it is a commutative algebra with so-called exchange relations given by an extra combinatorial structure. Later, researchers found many relationships from the theory of cluster algebras to other topics, such as Lie theory, quantum groups, representation theory, Riemann surfaces with triangulation, number theory, tropical geometry and Grassmanian theory as well as many interesting properties. The most significant properties among them are the Laurent phenomenon and positivity of varieties which claim that each cluster variables can be expressed as a Laurent polynomial in any cluster over ${\mathbb N}\P$. However, the calculation of the Laurent expression of a cluster variable in a given cluster is in general difficult. One of our aims in this paper is to provide recurrence formulas as a program to make the above calculation easier.

Two bases related to an upper cluster algebra $\mathcal{U}({\mathcal A})$, called the greedy basis and the theta basis respectively, are constructed in \cite{LLZ} and \cite{GHKK}, which both contain coefficient free cluster monomials. It is known that each element in the above two bases satisfies the Laurent phenomenon and positivity, that is, its expression in every cluster is a Laurent polynomial over ${\mathbb N}\P$. So in some sense such element can be seen as a generalization of cluster monomials. Moreover, the constant coefficients of the Laurent expression  in the initial cluster are related to counting of some combinatorial objects. However, the greedy basis is only constructed for rank $2$ case, while the theta basis relies on the cluster scattering diagram. Another goal of this paper is to directly construct a basis of $\mathcal{U}({\mathcal A})$ consisting of some universally indecomposable Laurent polynomials as a generalization of cluster monomials in general case. In order to achieve it, one useful tool we will apply is the Nowton polytopes of $F$-polynomials associated to cluster variables.

In \cite{F}, Jiarui Fei defined the Newton polytope of an $F$-polynomial associated to representations of a finite-dimensional basic algebra, as well as showed some interesting combinatorial properties of such Newton polytopes. On the other hand, the authors of \cite{LLZ} and \cite{LLS} focused on Newton polytopes of cluster variables in  cluster algebras of rank $2$ and rank $3$ respectively. By definitions, the Newton polytope of a cluster variable can be obtained from that of the related $F$-polynomial by a transformation induced by its exchange matrix $B$ since $\hat{y}_{j;t}=\prod\limits_{i=1}^{m}x_{i;t}^{b_{ji}}$ in the case of geometric type.

In this paper, we use the Nowton polytopes of $F$-polynomials associated to cluster variables, because it seems more suitable to our construction since it keeps the information about $Y$-variables.

Based on the study of the Newton polytope $N_{l;t}$ of $F_{l;t}$, we introduce the polytope $N_{h}$ associated to a vector $h\in{\mathbb Z}^n$ and the polytope functions $\rho_{h}$ as a generalization of $N_{l;t}$ and $x_{l;t}$ respectively. Then the properties of $N_{h}$ and $\rho_{h}$ naturally induce those of $N_{l;t}$ and $x_{l;t}$. Moreover, it will also been proved that the polytope functions compose a strongly positive basis of $\mathcal{U}({\mathcal A})$ for a cluster algebras with principal coefficients as well as certain cluster algebra over arbitrary semifield.

We would like to introduce the following notations for convenience: for any $n\in{\mathbb N}$, $x\in{\mathbb Z}$,
\[[1,n]=\{1,2,\cdots,n\},\;\;\;\;\;\;\;
sgn(x)=\left\{\begin{array}{cc}
                  0 & x=0 \\
                  \frac{|x|}{x} & otherwise
                \end{array}\right.,\;\;\;\;\;\;\;
[x]_{+}=max\{x,0\}.\]
And for a vector $\alpha=(\alpha_{1},\cdots,\alpha_{r})\in{\mathbb Z}^{r}$, $[\alpha]_{+}=([\alpha_{1}]_{+},\cdots,[\alpha_{r}]_{+})$.

The paper is organized as follows.

In Section 2, we introduce preliminaries about cluster algebras, including the definitions of $F$-polynomials, $g$-vectors and $d$-vectors, as well as some results about them which we will use later.

In Section 3, we first construct $N_{h}$ and $\rho_{h}$ for every $h\in{\mathbb Z}^{2}$ and show that $\{\rho_{h}|h\in{\mathbb Z}^{2}\}$ coincides with the greedy basis (Proposition \ref{polytope basis equals greedy basis}). Then we furthermore define $N_{h}$ as well as $\rho_{h}$ for any integer vector $h$ and obtain several properties of them. In particularly, we have the following theorem.
\vspace{2mm}\\
$\spadesuit$ \textbf{(Theorem \ref{properties in case tsss})}\;
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients and $h\in{\mathbb Z}^{n}$. Then,

  (i)\;There is at most one indecomposable Laurent polynomial $\rho_{h}^{t_{0}}$ in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$ having $X^{h}$ as a summand.

  (ii)\; For $h\in{\mathbb Z}^{n}$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$ and any $k\in[1,n]$, there is
  \begin{equation}\label{mutation formula for h}
    h^{t_{k}}=h-2h_{k}e_{k}+h_{k}[b_{k}]_{+}+[-h_{k}]_{+}b_{k}
  \end{equation}
  such that $L^{t_{k}}(\rho_{h}^{t_{0}})=\rho^{t_{k}}_{h^{t_{k}}}$, where $t_{k}\in{\mathbb T}_{n}$ is the vertex connected to $t_{0}$ by an edge labeled $k$.

  (iii)\; Denote by $N_{h}^{t_{0}}$ the polytope corresponding to $\rho_{h}^{t_{0}}|_{x_i\rightarrow 1,\forall i\in[1,n]}$, which we call the {\bf polytope from ${\mathcal A}$ associated to $h$} when $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$. For any $p,p\'\in N_{h}^{t_{0}}$, if the segment $l$ connecting $p$ and $p\'$ is parallel to the $k$-th coordinate axis for some $k\in[1,n]$ and $m_{k}(p),m_{k}(p\')>0$, then $m_{k}(p^{\prime\prime})>0$ for any point $p^{\prime\prime}\in l$.

  (iv)\; For any $h$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$ and any $t\in{\mathbb T}_{n}$, $\rho_{h}^{t_{0}}$ is indecomposable in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t})$. Moreover, $\rho_{h}^{t_{0}}$ is universally indecomposable. It follows that the set $\mathcal{P}=\{L^{t_{0}}(\rho_{h}^{t})\in{\mathbb N}\P[X^{\pm 1}]|h\in{\mathbb Z}^{n}\}$ is independent of the choice of $t$. And, the set consisting of coefficient free cluster monomials $\{X_{t}^{\alpha}\mid \alpha\in{\mathbb N}^{n},t\in{\mathbb T}_{n}\}$ is a subset of $\mathcal P$.

  (v)\; Let $S$ be an $r$-dimensional face of $N_{h}^{t_{0}}$ for $h\in{\mathbb Z}^{n}$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$. Then there are a seed $\Sigma$ in ${\mathcal A}$, a vector $h\'\in{\mathbb Z}^{r}$ and a cluster algebra ${\mathcal A}\'$ with principal coefficients of rank $r$ which corresponds to a pure sub-cluster algebra ${\mathcal A}(\Sigma_{\emptyset, X_1})$ of ${\mathcal A}$ with $\Sigma$ as the initial seed such that the polytope $N_{h'}|_{{\mathcal A}\'}$ is isomorphic to $S$ via an isomorphism $\tau$ whose induced linear map $\tilde\tau$ (see the definition in (\ref{tildetau})) satisfies
  \[\tilde{\tau}(e_{i})\in{\mathbb N}^{n} \text{ for any }i\in[1,r].\]
\vspace{1mm}

In Section 4, we explain that since each cluster variable $x_{l;t}$ equals $\rho_{g_{l;t}}$, cluster variables and the Newton polytopes inherit all properties shown in the last section. In particular, the definitions of $N_{h}$ and $\rho_{h}$ present a recursive way to calculate the Laurent expression of any cluster variable in a given cluster from its $g$-vector.
\vspace{2mm}\\
$\spadesuit$ {\bf (Theorem \ref{from general to cluster variables})}\;
(\textbf{Recurrence formula})  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, then $x_{l;t}=\rho_{g_{l;t}}$ and $N_{l;t}=N_{g_{l;t}}$. Following this view, we have that
   \begin{equation}
     co_{p}(N_{l;t})=co_{p}(N_{g_{l;t}})=\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{r}U_{g_{l;t}}^{r}}co_{p}(N_{\alpha_{j}}[w_{j}])
   \end{equation}
   and
   \begin{equation}
     x_{l;t}=X^{g_{l;t}}(\sum\limits_{p\in N_{g_{l;t}}}co_{p}(N_{l;t})\hat{Y}^{p}),
   \end{equation}
   where $U_{g_{l;t}}^{r}$, running over all $r$-th strata of the polytope $N_h$ for $x_{i}$ along direction $k$,  and hence all $N_{\alpha_{j}}[w_{j}]$ are defined in the construction \ref{construction} (2) with $h=g_{l;t}$.
\vspace{1mm}

The \textbf{Laurent phenomenon}, given in \cite{FZ1, FZ3}, is the most fundamental result in cluster theory, which says that for a cluster algebra ${\mathcal A}$ and its fixed seed $(X,Y,B)$,  every cluster variable of ${\mathcal A}$ is a Laurent polynomial over ${\mathbb N}\P$ in cluster variables in $X$.

Following  this fact,  in \cite{FZ1}, the  positivity conjecture for cluster variables is suggested, that is,
\begin{Conjecture}[\cite{FZ1}]\label{positive property}
  Every cluster variable of a cluster algebra ${\mathcal A}$  is a Laurent polynomial in cluster variables from an initial cluster $X$ with positive coefficients.
\end{Conjecture}

So far, the recent advance on the positivity conjecture is a proof in skew-symmetrizable case given in \cite{GHKK}. For totally sign-skew-symmetric cluster algebras, it was only proved in acyclic case in \cite{HL}.

As a harvest of this polytope method, a natural conclusion  of Theorem \ref{from general to cluster variables} is the following corollary, which actually completely confirms  Conjecture \ref{positive property} in the most general case:\\\\
$\spadesuit$ {\bf (Corollary \ref{TSSS positivity})}\;
 ({\bf Positivity for TSSS cluster algebras})
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients and $(X,Y,B)$ be its initial seed. Then every cluster variable in ${\mathcal A}$ is a Laurent polynomial over ${\mathbb N}[Y]$ in $X$. In particular, the positivity of TSSS cluster algebras holds.
\vspace{1mm}

Moreover, as a class of special elements in $\mathcal{P}$, they admit extra properties as the following theorem claims.
\vspace{2mm}\\
$\spadesuit$ {\bf (Theorem \ref{properties for cluster variable case})}\;
Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, $l\in[1,n],t\in{\mathbb T}_{n}$. Then, for the $F$-polynomial $F_{l;t}$ associated to $x_{l;t}$ and its corresponding Newton polytope $N_{l;t}$, the following statements hold:

  (i)\; The support of $F$-polynomial $F_{l;t}$ is saturated.

  (ii)\; For any $p\in N_{l;t}$, $co_{p}(N_{l;t})=1$ if and only if $p\in V(N_{l;t})$.

  (iii)\; Let $S$ be a $r$-dimensional face of $N_{l;t}$. Then there is a cluster algebra ${\mathcal A}\'$ with principal coefficients of rank $r$, a Newton polytope $S\'$ corresponding to some coefficient free cluster monomial in ${\mathcal A}\'$ and an isomorphism $\tau$ from $S\'$ to $S$ with its induced linear map $\tilde{\tau}$ satisfying
  \[\tilde{\tau}(e_{i})\in{\mathbb N}^{n} \text{ for any }i\in[1,r].\]
\vspace{2mm}
Then as a conclusion, in Corollary \ref{answer to fei}, we provide a positive answer to Conjecture \ref{F} posed in \cite{F} by Fei.

On the other hand, when ${\mathcal A}$ is in particular skew-symmetrizable, we can calculate the cluster algebra associated to each face $S$ by the following result:
\vspace{2mm}\\
$\spadesuit$ {\bf (Theorem \ref{properties of N_h for skew-symmetrizable})}\;
In Theorem \ref{properties in case tsss} (v), if ${\mathcal A}$ is a skew-symmetrizable cluster algebra with principal coefficients, and denote by $B\'$ the initial exchange matrix of the cluster algebra ${\mathcal A}\'$, then $B\'= \overline{W}^{\top}BW$, where $W=(\tilde{\tau}(e_{1})^{\top},\cdots,\tilde{\tau}(e_{r})^{\top})$, $\overline{W}=(\overline{\tau(e_{1})}^{\top},\cdots,\overline{\tau(e_{r})}^{\top})$ are $n\times r$ integer matrices, $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}\frac{d_{j}}{d_{s}}w_{ji}e_{j}$ for $\tilde{\tau}(e_{i})=\sum\limits_{j=1}^{r}w_{ji}e_{j}$, with $s\neq 0$ being the label of the edge in $S$ parallel to $\tilde{\tau}(e_{i})$ while $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}d_{j}w_{ji}e_{j}$ when the label is 0.
\vspace{2mm}

Then in Section 5 we use the results of above two sections to construct maps from non-initial $F$-polynomials to the corresponding $g$-vectors or $d$-vectors as well as maps from $g$-vectors to the corresponding $F$-polynomials or $d$-vectors.
\vspace{2mm}\\
$\spadesuit$ {\bf (Theorem \ref{maps from $F$-polynomials} and Theorem \ref{maps from $g$-vectors})}\;
   Let ${\mathcal A}$ be a cluster algebra with principal coefficients. Then, for any $l=1,\cdots,n$ and $t\in {\mathbb T}_n$,

  (i)\; There are two surjective maps
  $$\varphi: \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $d$-vectors of }{\mathcal A}\},$$
  $\text{and}\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\eta: \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{$d$-vectors of }{\mathcal A}\}$\\
  via $\eta(g_{l;t})=\text{denominator vector of}\; \rho_{g_{l;t}}$.

  (ii)\; There are two bijective maps
  $$\theta_{1}: \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $g$-vectors of }{\mathcal A}\}$$
  and\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;
  $\theta_{2}: \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{$F$-polynomials of }{\mathcal A}\}$\\
  via $\theta_{2}(g_{l;t})=\rho_{g_{l;t}}\mid_{x_{i}\rightarrow 1,\forall i}$. Moreover, we have $\theta_2=\theta_1^{-1}$.

  (iii)\; There are two bijective maps
  $$\chi_{1}: \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial cluster variables of }{\mathcal A}\}$$
  and\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;
  $\chi_{2}: \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{cluster variables of }{\mathcal A}\}$\\
  such that
  $x_{l;t}=\chi_{1}(F_{l;t})=\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))}{X^{\varphi(F_{l;t})}}$ and $x_{l;t}=\chi_{2}(g_{l;t})=\rho_{g_{l;t}}$
   for any $l=1,\cdots,n$ and $t\in {\mathbb T}_n$.
\vspace{2mm}

Then we obtain that all non-initial $d$-vectors are non-negative vectors and that a non-initial cluster variable is uniquely determined by its corresponding $F$-polynomial, that is,
\vspace{2mm}\\
$\spadesuit$ \textbf{(Theorem \ref{positivity of d-vectors})}\;  Let ${\mathcal A}$ be a TSSS cluster algebra and $x_{l;t}$ be a non-initial cluster variable in ${\mathcal A}$ with $l\in[1,n]$, $t\in{\mathbb T}_{n}$. Then $d_{l;t}\in{\mathbb N}^{n}$. More precisely, for any $k\in[1,n]$,
  $$d_{k}(x_{l;t})=\widetilde{deg}_{k}(P_{l;t})=\widetilde{deg}_{k}(\phi_{k}(P_{l;t})).$$

\noindent$\spadesuit$ {\bf (Corollary \ref{$F$-polynomial uniquely determines cluater variable})}\;
   Let ${\mathcal A}$ be a TSSS cluster algebra with two non-initial cluster variables $x_{l;t}$, $x_{l\';t\'}$, and $F_{l;t}$, $F_{l\';t\'}$ be the $F$-polynomials associated to $x_{l;t}$, $x_{l\';t\'}$ respectively. If $F_{l;t}=F_{l\';t\'}$, then $x_{l;t}=x_{l\';t\'}$.
\vspace{2mm}

In Section 6, we show that $\mathcal{P}$ is a strongly positive basis of the upper cluster algebra $\mathcal{U}({\mathcal A})$.
\vspace{2mm}\\
$\spadesuit$ {\bf (Theorem \ref{positive})}\;
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients. Then $\mathcal{P}$ is a strongly positive ${\mathbb Z} Trop(Y)$-basis for the upper cluster algebra $\mathcal{U}({\mathcal A})$.\vspace{2mm}

Hence we call $\mathcal{P}$ the polytope basis of $\mathcal{U}({\mathcal A})$.

\section{Preliminaries and some lemmas}
In this section, we recall some preliminaries of cluster algebras, $F$-polynomials and $d$-vectors mainly based on \cite{FZ4} as well as some important conclusions about them.

An $n\times n$ integer matrix $B=(b_{ij})$ is called {\bf sign-skew-symmetric} if either $b_{ij}=b_{ji}=0$ or $b_{ij}b_{ji}<0$ for any $i,j\in[1,n]$. A \textbf{skew-symmetric} matrix is a sign-skew-symmetric matrix with $b_{ij}=-b_{ji}$ for any $i,j\in[1,n]$. Moreover, a \textbf{skew-symmetrizable} matrix is a sign-skew-symmetric matrix such that there is a positive diagonal integer matrix $D$ satisfying that $DB$ is skew-symmetric.

For a sign-skew-symmetric matrix $B$, we define another $n\times n$ matrix $B'=(b_{ij}')$ satisfying that for any $k, i,j\in[1,n]$,
  \begin{equation}\label{equation: mutation of B}
    b_{ij}'=\left\{\begin{array}{ll}
                             -b_{ij} & i=k\text{ or }j=k; \\
                             b_{ij}+sgn(b_{ik})[b_{ik}b_{kj}]_{+} & otherwise.
                           \end{array}\right.
  \end{equation}
We call the formula (\ref{equation: mutation of B}) {\bf the exchange relation for sign-skew-symmetric matrices}. Denote by $B'=\mu_k(B)$ the mutation of $B$ in direction $k$.

For $k_1, k_2\in[1,n]$, if $B'=\mu_{k_1}(B)$ is also sign-skew-symmetric, then we can mutate $B'$ in direction $k_2$ to obtain $B''=\mu_{k_2}\mu_{k_1}(B)$.

\begin{Definition}
  For a sign-skew-symmetric matrix $B$,  if $B^{(i)}=\mu_{k_i}\cdots\mu_{k_1}(B)$ are always sign-skew-symmetric for all $i\in[1,s]$ and any sequences of mutations $\mu_{k_1}, \cdots, \mu_{k_s}$, then $B$ is called a {\bf totally sign-skew-symmetric matrix}.
\end{Definition}

The notion of totally sign-skew-symmetric matrices was introduced in \cite{BFZ}. It is well-known that skew-symmetric and skew-symmetrizable matrices are totally sign-skew-symmetric matrices. An example of a $3\times 3$ sign-skew-symmetric matrix which is not skew-symmetrizable was given in \cite{BFZ}. In that paper, Berenstein etc. conjectured that any acyclic sign-skew-symmetric matrices are total. In \cite{HL}, Ming Huang and Fang Li proved this conjecture.

Hence, on sign-skew-symmetric matrices, one of the most important remaining problems is the condition under which sign-skew-symmetric matrices are total. In this paper, we always assume the involved sign-skew-symmetric matrices are total.

For convenience, we will denote a totally sign-skew-symmetric matrix (respectively, cluster algebra defined subsequently) briefly as a {\bf TSSS matrix} (respectively, {\bf TSSS cluster algebra}).

Let $(\P,\oplus,\cdot)$ be a semifield, i.e. a free abelian multiplicative group endowed with a binary operation of (auxiliary) addition $\oplus$ which is commutative, associative and distributive with respect to the multiplication in $\P$. And ${\mathcal F}$ is the field of rational functions in $n$ independent variables with coefficients in ${\mathbb Q}\P$.
\begin{Definition}
  A \textbf{seed} in ${\mathcal F}$ is a triple $\Sigma=(X,Y,B)$ such that
  \begin{itemize}
    \item $X=(x_{1},x_{2},\cdots,x_{n})$ is an $n$-tuple whose components form a free generating set of ${\mathcal F}$;
    \item $Y=(y_{1},y_{2},\cdots,y_{n})$ is an $n$-tuple of elements in $\P$;
    \item $B$ is an $n\times n$ totally sign-skew-symmetric integer matrix.
  \end{itemize}
\end{Definition}
$X$ defined above is called a \textbf{cluster} with \textbf{cluster variables} $x_{i}$, $y_{i}$ is called a \textbf{$Y$-variable} and $B$ is called an \textbf{exchange matrix}.

\begin{Definition}
  For any seed $\Sigma=(X,Y,B)$ in ${\mathcal F}$ and $k\in[1,n]$, $\Sigma\'=(X\',Y\',B\')$ is obtained from $\Sigma$ by \textbf{mutation} in direction $k$ if
  \begin{equation}\label{equation: mutation of x}
            x_{j}\'=\left\{\begin{array}{ll}
                             \frac{y_{k}\prod\limits_{i=1}^{n}x_{i}^{[b_{ik}]_{+}}+\prod\limits_{i=1}^{n}x_{i}^{[-b_{ik}]_{+}}}{(y_{k}\oplus 1)x_{k}} & j=k;\\
                             x_{j} & otherwise.
                           \end{array}\right.
  \end{equation}
  \begin{equation}\label{equation: mutation of y}
    y_{j}\'=\left\{\begin{array}{ll}
                             y_{k}^{-1} & j=k; \\
                             y_{j}y_{k}^{[b_{kj}]_{+}}(y_{k}\oplus 1)^{-b_{kj}} & otherwise.
                           \end{array}\right.
  \end{equation}
  and $B\'=\mu_{k}(B)$. In this case, we write $\Sigma\'=\mu_{k}(\Sigma)$.
\end{Definition}
It can be easily checked that $\Sigma\'$ is a seed and the seed mutation $\mu_{k}$ ia an involution.
\begin{Definition}
  Let ${\mathbb T}_{n}$ be the $n$-regular tree whose $n$ edges emanating from the same vertex are labeled bijectively by $[1,n]$. We assign a seed to each vertex of ${\mathbb T}_{n}$ such that if two vertices are connected by an edge labeled $k$, then the seeds assigned to them are obtained from each other by the mutation at direction $k$. This assignment is called a \textbf{cluster pattern}.
\end{Definition}
In this paper, the seed assigned to a vertex $t$ is denoted by $\Sigma_{t}=(X_{t},Y_{t},B_{t})$ with
\[X_{t}=(x_{1;t},x_{2;t}\cdots,x_{n;t}),\quad Y_{t}=(y_{1;t},y_{2;t}\cdots,y_{n;t})\quad and\quad B_{t}=(b_{ij}^{t})_{i,j\in[1,n]},\]
where $B_t$ is totally sign-skew-symmetric.


Now we are ready to introduce the definition of cluster algebras.
\begin{Definition}
  Given a cluster pattern, let $\mathcal{S}=\{x_{i;t}\in{\mathcal F}\mid i\in[1,n],t\in{\mathbb T}_{n}\}$. The ({\bf totally sign-skew-symmetric}) \textbf{cluster algebra} $\mathcal{A}$ associated with the cluster pattern is the ${\mathbb Z}\P$-subalgebra of ${\mathcal F}$ generated by $\mathcal{S}$.
\end{Definition}

If there is a skew-symmetrizable (respectively, skew-symmetric) exchange matrix in a cluster algebra ${\mathcal A}$, then all exchange matrices of ${\mathcal A}$ are skew-symmetrizable (respectively, skew-symmetric). So, in this case we call ${\mathcal A}$ a {\bf skew-symmetrizable} (respectively, {\bf skew-symmetric}) {\bf cluster algebra}.

In this paper, when saying a cluster algebra,  we always mean a TSSS cluster algebra. And we always assume ${\mathcal A}$ is a cluster algebra with cluster variables $x_{l;t}$ for any $l\in[1,n],t\in{\mathbb T}_{n}$.

It can be seen from above that the cluster algebra ${\mathcal A}$ is related to the choice of semifield $\P$. There are two special semifields which play important
roles.
\begin{Definition}
    (i)\; The universal semifield ${\mathbb Q}_{sf}(u_{1},u_{2},\cdots,u_{l})$ is the semifield of all rational functions which have subtraction-free rational expressions in independent variables $u_{1},u_{2},\cdots,u_{l}$, with usual multiplication and addition.

    (ii)\; The tropical semifield $Trop(u_{1},u_{2},\cdots,u_{l})$ is the free abelian multiplicative group generated by $u_{1},u_{2},\cdots,u_{l}$ with addition defined by
        $\prod\limits_{j=1}^{l}u_{j}^{a_{j}}\oplus\prod\limits_{j=1}^{l}u_{j}^{b_{j}}=\prod\limits_{j=1}^{l}u_{j}^{min(a_{j},b_{j})}.$
  \end{Definition}
In particular, we say a cluster algebra ${\mathcal A}$ is of geometry type if $\P$ is a tropical semifield. In this case, we can also denote it as $Trop(x_{n+1},x_{n+2},\cdots,x_{m})$. Then according to the definition, $y_{j;t}$ is a Laurent monomial of $x_{n+1},x_{n+2},\cdots,x_{m}$ for any $j\in[1,n],t\in{\mathbb T}_{n}$. Hence we can define $b_{ij}^{t}$ for $i\in[n,m],j\in[1,n]$ as
\[y_{j;t}=\prod\limits_{i=n+1}^{m}x_{i}^{b_{ij}^{t}}.\]
Let $\tilde{B}_{t}$ be the $m\times n$ matrix $\tilde{B}_{t}=(b_{ij}^{t})_{i\in[1,m],j\in[1,n]}$ and $\tilde{X}_{t}=(x_{1;t},\cdots,x_{n;t},x_{n+1},\cdots,x_{m})$. Then the seed assigned to $t$ can be represented as $(\tilde{X}_{t},\tilde{B}_{t})$. The mutation formulas are the same for $\tilde{B}$ while those of $\tilde{X}$ at direction $k$ become
\[x_{j}'=\left\{\begin{array}{ll}
                             \frac{\prod\limits_{i=1}^{m}x_{i}^{[b_{ik}]_{+}}+\prod\limits_{i=1}^{m}x_{i}^{[-b_{ik}]_{+}}}{x_{k}} & j=k;\\
                             x_{j} &  otherwise.
                           \end{array}\right.\]

\begin{Definition}
  A cluster algebra is said to have {\bf  principal coefficients} at a vertex $t_{0}$ if $\P=Trop(y_{1},y_{2},\cdots,y_{n})$ and $Y_{t_{0}}=(y_{1},y_{2},\cdots,y_{n})$.
\end{Definition}
Hence a cluster algebra having principal coefficients at some vertex is of geometric type. Then if we use $(\tilde{X},\tilde{B})$ to represent a seed, the definition is equivalent to that there is a seed $(\tilde{X}_{t_{0}},\tilde{B}_{t_{0}})$ at vertex $t_{0}$ satisfying $\tilde{B}_{t_{0}}=\left(\begin{array}{c}
                                                                                                                                                  B_{t_{0}} \\
                                                                                                                                                  I
                                                                                                                                               \end{array}\right),$
where $I$ is a $n\times n$ identity matrix.

Given a cluster algebra ${\mathcal A}$ with initial seed $\Sigma_{t_{0}}=(X_{t_{0}},Y_{t_{0}},B_{t_{0}})$, we denote by ${\mathcal A}_{prin}$ the cluster algebra with principal coefficients associated to $B_{t_{0}}$, which is called the {\bf principal coefficients cluster algebra corresponding to} ${\mathcal A}$ since it is unique up to cluster isomorphisms.

When ${\mathcal A}$ is a cluster algebra of geometric type with initial seed $\Sigma_{t_{0}}=(\tilde{X}_{t_{0}},\tilde{B}_{t_{0}})$, we also denote its seed as $\Sigma_{t}=(X_{t},X^{fr}_{t},\tilde{B}_{t})$ for any $t\in{\mathbb T}_{n}$, where $X_{t}=\{x_{1;t},\cdots,x_{n;t}\}$ and $X^{fr}_{t}=\{x_{n+1},\cdots,x_{m}\}$ to distinguish two kinds of variables.

\begin{Definition}\cite{HLY}
  (i)\;Let ${\mathcal A}$ be a cluster algebra of geometric type with a seed $\Sigma=(X,X^{fr},\tilde{B})$. Assume $X_{0}\subseteq X$ and $X_{1}\subseteq \tilde{X}$ satisfy $X_{0}\cap X_{1}=\emptyset$. Denote $$X_{1}\'=X\cap X_{1}, \; X_{1}^{\prime\prime}=X^{fr}\cap X_{1},\; X\'=X\setminus(X_{0}\cup X_{1}\'),\; \tilde{X}\'=\tilde{X}\setminus X_{1}$$ and $\tilde{B}\'$ as a $|\tilde{X}\'|\times|X\'|$ matrix obtained from $\tilde{B}$ by deleting the $i$-th row and column for $x_{i}\in X_{1}$ and deleting the $i$-th column for $x_{i}\in X_{0}$. The seed $\Sigma_{X_{0},X_{1}}=(X\',(X^{fr}\cup X_{0})\setminus X_{1}^{\prime\prime},\tilde{B}\')$ is called a \textbf{mixing-type sub-seed} or $(X_{0},X_{1})$\textbf{-type sub-seed} of $\Sigma$.

  (ii)\;A cluster algebra ${\mathcal A}\'$ with initial seed $\Sigma\'$ is a \textbf{(mixing-type) sub-rooted cluster algebra of type} $(X_{0},X_{1})$ of a cluster algebra ${\mathcal A}$ with initial seed $\Sigma$ if ${\mathcal A}\'$ is cluster isomorphic to the cluster algebra associated to $\Sigma_{X_{0},X_{1}}$. In particular, ${\mathcal A}\'$ is a \textbf{pure sub-cluster algebra} of ${\mathcal A}$ if $X_{0}=\emptyset$.
\end{Definition}

\begin{Definition}
  For any seed $\Sigma_{t}$ associated to $t\in{\mathbb T}_{n}$, we denote by $\mathcal{U}(\Sigma_{t})$ the ${\mathbb Z}\P$-subalgebra of ${\mathcal F}$ given by
  \begin{equation*}
    \mathcal{U}(\Sigma_{t})={\mathbb Z}\P[X_{t}^{\pm 1}]\cap{\mathbb Z}\P[X_{t_{1}}^{\pm 1}]\cap\cdots\cap{\mathbb Z}\P[X_{t_{n}}^{\pm 1}],
  \end{equation*}
  where $t_{i}$ is the vertex connected to $t$ by an edge labeled $i$ in ${\mathbb T}_{n}$ for any $i\in[1,n]$. $\mathcal{U}(\Sigma_{t})$ is called the {\bf upper bound} associated with the seed $\Sigma_{t}$. And $\mathcal{U}({\mathcal A})=\bigcap\limits_{t\in{\mathbb T}_{n}}\mathcal{U}(\Sigma_{t})$ is called the \textbf{upper cluster algebra} associated to ${\mathcal A}$.
\end{Definition}

For any $k\in[1,n]$ and $t\in{\mathbb T}_{n}$, denote by $M_{k;t}=x_{k;t}\mu_{k}(x_{k;t})$ the \textbf{exchange binomial} in direction $k$ at $t$. Trivially, $M_{k;t}$ is a polynomial in ${\mathbb Z}\P[x_{1;t},\cdots,x_{k-1;t},x_{k+1;t},\cdots,x_{n;t}]$. In order to prove Laurent phenomenon of a cluster algebra, it is first proved in \cite{BFZ} that
\begin{Theorem}\label{theorem of upper cluster algebras} \cite{BFZ}
  For any vertices $t,t\'\in{\mathbb T}_{n}$ connected by an edge labeled $k\in[1,n]$, assume $M_{i;s}$ and $M_{j;s}$ are coprime for any $i\neq j\in[1,n]$,$s=t\text{ or }t\'$. Then their corresponding upper bounds coincide, that is, $\mathcal{U}(\Sigma_{t})=\mathcal{U}(\Sigma_{t\'})$.
\end{Theorem}

In particular, when ${\mathcal A}$ is a cluster algebra having principal coefficients, $M_{i;t}$ and $M_{j;t}$ are coprime for any $i\neq j\in[1,n]$, $t\in{\mathbb T}_{n}$. So we can get from Theorem \ref{theorem of upper cluster algebras} that $\mathcal{U}(\Sigma_{t})=\mathcal{U}(\Sigma_{t\'})$ for any $t,t\'\in{\mathbb T}_{n}$.

In this paper, we will use $A\mid B$ to imply that a Laurent polynomial $A$ can divide another Laurent polynomial $B$. $P|_{a\rightarrow b}$ means all $a$ in a Laurent polynomial $P$ is replaced by $b$.

\begin{Lemma}\label{generalized Laurent}
  In a cluster algebra ${\mathcal A}$ with principal coefficients, let $P^{t}$ be a polynomial over ${\mathbb Z}\P$ in $X_{t}$ and $\alpha=\frac{P^{t}}{X_{t}^{d^{t}}}$ be a Laurent polynomial in $X_{t}$ with $d^t\in {\mathbb N}^{n}$, where $t\in{\mathbb T}_{n}$. Then the following statements are equivalent:

(i)\;  $\mathcal{U}(\Sigma_{t})=\mathcal{U}(\Sigma_{t\'})$, where $t\'$ is connected to $t$ by an edge in ${\mathbb T}_{n}$;

(ii)\;
  $\alpha$ is a Laurent polynomial in expression of any $X_{t\'},t\'\in{\mathbb T}_{n}$ if and only if $M_{k;t}^{d^{t}_{k}}\mid (P^{t}|_{x_{k;t}\rightarrow M_{k;t}})$ for any $k\in[1,n]$.
\end{Lemma}
\begin{Proof}
 (i) $\Longrightarrow$ (ii):\; Firstly, we prove the necessity. Since $\alpha$ is a Laurent polynomial in expression of any $X_{t\'}$ for any $t\'\in{\mathbb T}_{n}$, in particular this holds when $t\'$ is the vertex connected to $t$ by an edge labelled $k$ in ${\mathbb T}_{n}$. By the definition of mutations, we have that $\alpha=\frac{P^{t}}{X_{t}^{d^{t}}}|_{x_{k;t}\rightarrow x_{k;t\'}^{-1}M_{k;t}}$ and it is a Laurent polynomial. So, $M_{k;t}^{d^{t}_{k}}\mid (P^{t}|_{x_{k;t}\rightarrow M_{k;t}})$ for any $k\in[1,n]$ as $d^t\in{\mathbb N}^{n}$.

  Secondly, we prove the sufficiency. $M_{k;t}^{d^{t}_{k}}\mid (P^{t}|_{x_{k;t}\rightarrow M_{k;t}})$ for any $k\in[1,n]$ ensures that $\alpha=\frac{P^{t}}{X_{t}^{d^{t}}}|_{x_{k;t}\rightarrow x_{k;t\'}^{-1}M_{k;t}}$ is a Laurent polynomial for any $k$, i.e, $\alpha\in \mathcal{U}(\Sigma_{t})$. Then by statement (i), we have that $\alpha\in \mathcal{U}(\Sigma_{t\'})\subseteq{\mathbb Z}\P[X_{t\'}^{\pm 1}]$ for any $t\'\in{\mathbb T}_{n}$.

 (ii) $\Longrightarrow$ (i):\; If $M_{k;t}^{d^{t}_{k}}\mid (P^{t}|_{x_{k;t}\rightarrow M_{k;t}})$ for any $k\in[1,n]$ can lead to that $\alpha$ is a Laurent polynomial in expression of any $X_{t\'},t\'\in{\mathbb T}_{n}$, then $\mathcal{U}(\Sigma_{t})\subseteq{\mathbb Z}\P[X_{t\'}^{\pm 1}]$ for any $t\'\in{\mathbb T}_{n}$. Hence $\mathcal{U}(\Sigma_{t})\subseteq\mathcal{U}(\Sigma_{t\'})$ for any $t\'\in{\mathbb T}_{n}$. Therefore $\mathcal{U}(\Sigma_{t})=\mathcal{U}(\Sigma_{t\'})$ because of the arbitrary choice of $t$.
\end{Proof}

Hence Lemma \ref{generalized Laurent} (ii) gives an equivalent statement of Theorem \ref{theorem of upper cluster algebras}.

According to the Laurent phenomenon, let ${\mathcal A}$ be a cluster algebra and $(X_{t_{0}},Y_{t_{0}},B_{t_{0}})$ be a seed of it, then for any cluster variable $x_{l;t}$, we can express it as a Laurent polynomial in the cluster $X_{t_{0}}$:
\[x_{l;t}=\frac{P_{l;t}^{t_{0}}}{\prod\limits_{i=1}^{n}x_{i;t_{0}}^{d_{i}^{t_{0}}(x_{l;t})}}.\]
Here and in the following, we use $P_{l;t}^{t_{0}}$ to denote the numerator of the above Laurent expression of $x_{l;t}$ in $X_{t_{0}}$. The denominator vector $d_{l;t}^{t_{0}}=(d_{1}^{t_{0}}(x_{l;t}),d_{2}^{t_{0}}(x_{l;t}),\cdots,d_{n}^{t_{0}}(x_{l;t}))^{\top}$ is called the \textbf{$d$-vector} of $x_{l;t}$ with respect to the cluster $X_{t_{0}}$. Moreover, if ${\mathcal A}$ has principal coefficients at $t_{0}$, then $P_{l;t}^{t_{0}}$ belongs to ${\mathbb Z}[x_{1,t_{0}},\cdots,x_{n,t_{0}};y_{1,t_{0}},\cdots,y_{n,t_{0}}]$. $F_{l;t}^{t_{0}}=P_{l;t}^{t_{0}}|_{x_{i;t_{0}}=1,\forall i\in[1,n]}$ is a polynomial in $y_{1,t_{0}},\cdots,y_{n,t_{0}}$ called the \textbf{$F$-polynomial} of $x_{l;t}$ with respect to $X_{t_{0}}$. Under the canonical ${\mathbb Z}^{n}$-grading given by $deg(x_{i})=e_{i},deg(y_{i})=-b_{i}^{t_{0}}$ for any $i\in[1,n]$ where $e_{1},\cdots,e_{n}$ are standard basis (column) vectors in ${\mathbb Z}^{n}$, and $b_{i}^{t_{0}}$ is the $i$-th column of $B_{t_{0}}$, the Laurent expression of $x_{l;t}$ in $X_{t_{0}}$ is homogeneous with degree $g_{l;t}^{t_{0}}$, which is called the \textbf{$g$-vector} of $x_{l;t}$ corresponding to $X_{t_{0}}$. Or we can also define $g$-vectors as follows: $g_{j;t_{0}}^{t_{0}}=e_{j}$, and
\[g_{j;t\'}^{t_{0}}=\left\{\begin{array}{ll}
                     -g_{k;t}^{t_{0}}+\sum\limits_{i=1}^{n}[b_{ik}^{t}]_{+}g_{i;t}^{t_{0}}-\sum\limits_{i=1}^{n}[b_{n+i;k}^{t}]_{+}b_{i}^{t_{0}} & \text{if }j=k; \\
                     g_{j;t}^{t_{0}} & otherwise.
                   \end{array}\right.\]
where $t$ and $t\'$ are connected by an edge labeled $k$ in ${\mathbb T}_{n}$.

Until now, there are so many researchers studying about them and many important properties are found. Here we would like to list some of them which are helpful in our research. Although we do not use these results directly in this paper, they help us to understand cluster algebras better and inspire our construction of $\rho_{h}$.

\begin{Theorem}\cite{GLS}\label{P is irreducible}
  For any skew-symmetrizable cluster algebra ${\mathcal A}$, $l\in [1, n]$ and $t,t\'\in{\mathbb T}_{n}$, $P_{l;t}^{t\'}$ is irreducible as a polynomial in ${\mathbb Z}\P[X_{t\'}]$.
\end{Theorem}

Theorem \ref{theorem of upper cluster algebras}, Lemma \ref{generalized Laurent} and Theorem \ref{P is irreducible} can lead to the result that non-initial cluster variable is uniquely determined by its corresponding $F$-polynomial (Corollary \ref{$F$-polynomial uniquely determines cluater variable} for skew-symmetrizable case). But in the sequel, we will give the proof of this theorem in another way as an application of Newton polytope. In fact, we will provide a stronger result showing how a non-initial $F$-polynomial determines its corresponding $d$-vector specifically, which will lead to Corollary \ref{$F$-polynomial uniquely determines cluater variable} directly.


\begin{Theorem}\label{expression of a cluster variable}
  \cite{FZ4}For any cluster algebra ${\mathcal A}$ and any vertices $t$ and $t\'$ in ${\mathbb T}_{n}$, the cluster variable $x_{l;t}$ can be expressed as
  \begin{equation*}
    x_{l;t}=\frac{F_{l;t}^{t\'}|_{{\mathcal F}}(\hat{y}_{1;t\'},\cdots,\hat{y}_{n;t\'})}{F_{l;t}^{t\'}|_{\P}(y_{1;t\'},\cdots,y_{n;t\'})}\prod\limits_{i=1}^{n}x_{i;t\'}^{g_{i}},
  \end{equation*}
  where $\hat{y}_{j;t\'}=y_{j;t\'}\prod\limits_{i=1}^{n}x_{i;t\'}^{b\'_{ij}}$, and $g_{l;t}^{t\'}=(g_{1},\cdots,g_{n})^{\top}$.
\end{Theorem}

We denote $\hat{Y}_{t}=\{\hat{y}_{1;t},\cdots,\hat{y}_{n;t}\}$ for any $t\in{\mathbb T}_{n}$.

\begin{Theorem}\label{max term and constant term}
  \cite{GHKK}For any skew-symmetrizable cluster algebra ${\mathcal A}$, each $F$-polynomial $F_{l;t}^{t\'}$ has constant term $1$ and a unique monomial of maximal degree. Furthermore, this monomial has coefficient $1$, and it is divisible by all the other occurring monomials.
\end{Theorem}

A \textbf{cluster monomial} in ${\mathcal A}$ is a monomial in $X_{t}$ for some $t\in{\mathbb T}_{n}$. In the following when we say a cluster monomial, it is of the form $aY_{t}^{p}X_{t}^{q}$ with $a,p\in{\mathbb Z},q\in{\mathbb N}$ and $t\in{\mathbb T}_{n}$. For a cluster monomial $f=aY^{p}X^{q}$ with $a,p\in{\mathbb Z},q\in{\mathbb N}$, we call $a$ (respectively, $aY^{p}$) the constant coefficient (respectively, coefficient) of $f$ and say $f$ is constant coefficient (respectively,coefficient) free if $a=1$ (respectively,$aY^{p}=1$). Similarly, we define a \textbf{cluster polynomial} to be a polynomial in a cluster $X_{t}$.

In the sequel, for a cluster algebra ${\mathcal A}$, we will always {\em denote by $t_0$ the vertex of the initial seed} unless otherwise specified. And when a vertex is not written explicitly, we always mean the initial vertex $t_0$. For example, we use $X$, $x_{i}$, $P_{l;t}$ to denote $X_{t_{0}}$, $x_{i;t_{0}}$, $P_{l;t}^{t_{0}}$ respectively. For any cluster $X_{t}$ and any vector $\alpha=(\alpha_{1},\cdots,\alpha_{n})\in {\mathbb Z}^n$, we denote $X_{t}^{\alpha}=\prod\limits_{i=1}^{n}x_{i;t}^{\alpha_{i}}$.


As we introduced above, Laurent Phenomenon ensures that any cluster variable $x_{l;t}$ can be expressed as a Laurent polynomial of any cluster $X_{t^{\prime}}$:
\begin{equation*}
  x_{l;t}=\frac{P_{l;t}^{t^{\prime}}}{\prod\limits_{i=1}^{n}x_{i;t^{\prime}}^{d_{i}^{t^{\prime}}(x_{l;t})}},
\end{equation*}
where $P_{l;t}$ is a polynomial in ${\mathbb Z}\P[x_{1;t^{\prime}},x_{2;t^{\prime}},\cdots,x_{n;t^{\prime}}]$ which is not divisible by $x_{1;t^{\prime}},x_{2;t^{\prime}},\cdots,x_{n;t^{\prime}}$.

\begin{Definition}
\begin{enumerate}
  \item[(i)]  For any $l,k\in[1,n]$, $t,t^{\prime}\in{\mathbb T}_{n}$, we denote by $deg_{k}^{t^{\prime}}(x_{l;t})$ the $x_{k;t^{\prime}}$-\textbf{degree} of $P_{l;t}^{t^{\prime}}$.
  \item[(ii)]  For any Laurent polynomial $P\in{\mathbb Z}\P[X^{\pm 1}]$ and any Laurent monomial $p=Y^{\alpha}X^{\beta}$ with $\alpha,\beta\in{\mathbb Z}^{n}$, we denote by $co_{p}(P)$ the constant coefficient of $p$ in $P$.
  \item[(iii)]  For any Laurent polynomial $P$, $P\'$ is called a \textbf{summand} of $P$ if for any Laurent monomial $p$ with constant coefficient $1$, either $0\leqslant co_{p}(P\')\leqslant co_{p}(P)$ or $co_{p}(P)\leqslant co_{p}(P\')\leqslant 0$. $P\'$ is called a \textbf{summand monomial} of $P$ if it is moreover a Laurent monomial.
\end{enumerate}
\end{Definition}

For any $l,k\in[1,n]$, $t,t^{\prime}\in{\mathbb T}_{n}$, we can express $P_{l;t}^{t\'}$ as
\begin{equation*}
  P_{l;t}^{t^{\prime}}=\sum\limits_{s=0}^{deg_{k}^{t^{\prime}}(x_{l;t})}x_{k;t^{\prime}}^{s}P_{s}(k),
\end{equation*}
where $P_{s}(k)$ is a polynomial in ${\mathbb Z}\P[x_{1;t^{\prime}},\cdots,x_{k-1;t^{\prime}},x_{k+1;t^{\prime}},\cdots,x_{n;t^{\prime}}]$ for any $s$. And note that $P_{0}(k)\neq 0$. We say a polynomial $P$ is $x$-homogeneous if $deg_{x}(p)$ is a constant for any summand monomial $p$ of $P$.

\begin{Lemma}\label{mutations of $d$-vector}
  For any $l,k\in[1,n]$, $t,t_{1},t_{2}\in{\mathbb T}_{n}$, if $t_{1}$ and $t_{2}$ are connected by an edge labeled j, then
  \begin{equation*}
    d_{k}^{t_{2}}(x_{l;t})=\left\{
    \begin{array}{lr}
      d_{k}^{t_{1}}(x_{l;t}) & \text{if }k\neq j; \\
      deg_{j}^{t_{1}}(x_{l;t})-d_{j}^{t_{1}}(x_{l;t}) & \text{if }k=j.
    \end{array}
    \right .
  \end{equation*}
\end{Lemma}
\begin{proof}
  By mutation formula (\ref{equation: mutation of x}),
  $x_{i;t_{1}}=\left\{
    \begin{array}{lr}
      x_{i;t_{2}} & i\neq j; \\
      \frac{M_{j;t_{2}}}{x_{j;t_{2}}} & i=j.
    \end{array}
    \right.$
  Assume $x_{l;t}$ can be expressed as a Laurent polynomial of $X_{t_{1}}$ as
  \begin{equation*}
      x_{l;t}=\frac{\sum\limits_{s=0}^{deg_{j}^{t_{1}}(x_{l;t})}x_{j;t_{1}}^{s}P_{s}(j)}{\prod\limits_{i=1}^{n}x_{i;t_{1}}^{d_{i}^{t_{1}}(x_{l;t})}},
  \end{equation*}
  then we can get the expression of $x_{l;t}$ by $X_{t_{2}}$ as
  \begin{equation*}
      x_{l;t}=\frac{x_{j;t_{2}}^{d_{j}^{t_{1}}(x_{l;t})}(\sum\limits_{s=0}^{deg_{j}^{t_{1}}(x_{l;t})}(\frac{M_{j;t_{2}}}{x_{j;t_{2}}})^{s}P_{s}(j))}{\prod\limits_{i\neq j}x_{i;t_{2}}^{d_{i}^{t_{1}}(x_{l;t})}M_{j;t_{2}}^{d_{j}^{t_{1}}(x_{l;t})}}
      =\frac{M_{j;t_{2}}^{-d_{j}^{t_{1}}(x_{l;t})}(\sum\limits_{s=0}^{deg_{j}^{t_{1}}(x_{l;t})}M_{j;t_{2}}^{s}P_{s}(j)x_{j;t_{2}}^{deg_{j}^{t_{1}}(x_{l;t})-s})}{\prod\limits_{i\neq j}x_{i;t_{2}}^{d_{i}^{t_{1}}(x_{l;t})}x_{j;t_{2}}^{deg_{j}^{t_{1}}(x_{l;t})-d_{j}^{t_{1}}(x_{l;t})}},
  \end{equation*}
  which completes the proof.
\end{proof}

\begin{Definition}
  For any $t\in{\mathbb T}_{n}$, $k\in[1,n]$ and $x_{k;t}$-homogeneous polynomial $P$ in $X_{t}$, denote by $\widetilde{deg}_{k}^{t}(P):=deg_{k}^{t}(P)+max\{s\in{\mathbb N}:\; M_{k;t}^{s}|P\text{ in }{\mathbb Z}\P[X_{t}^{\pm 1}]\}$ the \textbf{general degree} of $P$ in $x_{k;t}$.   Moreover, for any polynomial $P=\sum\limits_{i}P_{i}$, where $P_{i}$ is a $x_{k;t}$-homogeneous polynomial in $X_{t}$, define $\widetilde{deg}_{k}^{t}(P):=\min\limits_{i}\{\widetilde{deg}_{k}^{t}(P_{i})\}$.
\end{Definition}
According to the mutation formula (\ref{equation: mutation of x}), $\widetilde{deg}_{k}^{t}(P)$ is the maximal integer $a$ such that $\frac{P}{x_{k;t}^{a}}$ can be expressed as a Laurent polynomial in $X_{t_{k}}$, where $t_{k}\in{\mathbb T}_{n}$ is the vertex connected to $t$ by an edge labeled $k$.

\begin{Lemma}\label{general deg > d}
  For any $l,k\in[1,n]$, $t,t\'\in{\mathbb T}_{n}$ and cluster variable $x_{l;t}$, $\widetilde{deg}_{k}^{t\'}(P^{t\'}_{l;t})\geqslant d_{k}^{t\'}(x_{l;t})$.
\end{Lemma}
\begin{proof}
  First, when $d_{k}^{t\'}(x_{l;t})\leqslant 0$, this is true as $\widetilde{deg}_{k}^{t\'}(P^{t\'}_{l;t})\geqslant 0$.

  When $d_{k}^{t\'}(x_{l;t})>0$, let $X_{t_{k}}=\mu_{k}(X_{t\'})$. Then $x_{i;t_{k}}=x_{i;t^{\prime}}$ for $i\neq k$ and $x_{k;t^{\prime}}=\frac{M_{k;t_{k}}}{x_{k;t_{k}}}$. $x_{l;t}$ can be expressed as a Laurent polynomial of $X_{t\'}$ and $X_{t_{k}}$ respectively as
  \begin{equation*}
      x_{l;t}=\frac{\sum\limits_{s=0}^{deg_{k}^{t^{\prime}}(x_{l;t})}x_{k;t^{\prime}}^{s}P_{s}(k)}{\prod\limits_{i=1}^{n}x_{i;t^{\prime}}^{d_{i}^{t^{\prime}}(x_{l;t})}},
  \end{equation*}
  and
  \begin{equation*}
    x_{l;t}=\prod\limits_{i\neq k}x_{i;t_{k}}^{-d_{i}^{t\'}(x_{l;t})}(\sum\limits_{s=d_{k}^{t\'}(x_{l;t})}^{deg_{k}^{t\'}(x_{l;t})}(\frac{M_{k;t_{k}}}{x_{k;t_{k}}})^{s-d_{k}^{t\'}(x_{l;t})}P_{s}(k)+ \frac{\sum\limits_{s=0}^{d_{k}^{t\'}(x_{l;t})-1}M_{k;t_{k}}^{s}P_{s}(k)x_{k;t_{k}}^{d_{k}^{t\'}(x_{l;t})-s}}{M_{k;t_{k}}^{d_{k}^{t\'}(x_{l;t})}}).
  \end{equation*}
  Therefore, $M_{k;t_{k}}^{d_{k}^{t\'}(x_{l;t})}|\sum\limits_{s=0}^{d_{k}^{t\'}(x_{l;t})-1}M_{k;t_{k}}^{s}P_{s}(k)x_{k;t_{k}}^{d_{k}^{t\'}(x_{l;t})-s}$. Then for every $s\in[0,d_{k}^{t\'}(x_{l;t})-1]$, because $x_{k;t_{k}}$ does not appear in $M_{k;t_{k}}$ or $P_{s}(k)$, it follows that $M_{k;t_{k}}^{d_{k}^{t\'}(x_{l;t})-s}|P_{s}(k)$.

  Hence,  by the definition of general degree, $$\widetilde{deg}_{k}^{t\'}(x_{k;t^{\prime}}^{s}P_{s}(k))=deg_{k}^{t\'}(x_{k;t^{\prime}}^{s}P_{s}(k))+max\{s\in{\mathbb N}:M_{k;t\'}^{s}|x_{k;t^{\prime}}^{s}P_{s}(k)\}\geqslant s+d_{k}^{t\'}(x_{l;t})-s=d_{k}^{t\'}(x_{l;t})$$ for any $s\in[0,deg_{k}^{t^{\prime}}(x_{l;t})]$. So $\widetilde{deg}_{k}^{t\'}(P^{t\'}_{l;t})\geqslant d_{k}^{t\'}(x_{l;t})$.
\end{proof}

\begin{Remark}\label{mutation of P}
  Due to above lemma, $M_{k;t\'}^{d^{t\'}_{k}(x_{l;t})}\mid (P_{l;t}^{t\'}|_{x_{k;t\'}\rightarrow M_{k;t\'}})$ for any $k\in[1,n]$ and we can express $P_{l;t}^{t\'}$ more explicitly by
  \begin{equation*}
    P_{l;t}^{t\'}=\sum\limits_{s=d_{k}^{t\'}(x_{l;t})}^{deg_{k}^{t\'}(x_{l;t})}x_{k;t\'}^{s}P_{s}(k)+ \sum\limits_{s=0}^{d_{k}^{t\'}(x_{l;t})-1}x_{k;t\'}^{s}M_{k;t\'}^{d_{k}^{t\'}(x_{l;t})-s}P_{s}(k).
  \end{equation*}
  where $P_{s}(k)$ is a polynomial in ${\mathbb Z}\P[x_{1;t\'},\cdots,x_{k-1;t\'},x_{k+1;t\'}\cdots,x_{n;t\'}]$ for any $s\in[0,deg_{k}^{t\'}(x_{l;t})].$

  According to the definition of mutation, for $t^{\prime\prime}\in{\mathbb T}_{n}$ such that $t^{\prime\prime}$ and $t\'$ are adjacent and connected by an edge labeled $k$, $P_{l;t}^{t^{\prime\prime}}$ is obtained from $P_{l;t}^{t\'}$ by the following way:\\
  The $x_{k;t\'}$-homogeneous term $x_{k;t\'}^{s}M_{k;t\'}^{[d_{k}^{t\'}(x_{l;t})-s]_{+}}P_{s}(k)$ with $x_{k;t\'}$-degree $s$ changes to $x_{k;t^{\prime\prime}}$-homogeneous term $x_{k;t^{\prime\prime}}^{deg_{k}^{t\'}(x_{l;t})-s}M_{k;t^{\prime\prime}}^{[s-d_{k}^{t\'}(x_{l;t})]_{+}}P_{s}(k)$ with $x_{k;t^{\prime\prime}}$-degree $deg_{k}^{t\'}(x_{l;t})-s$.

  Here in this paper we would like to say any summand monomial of $x_{k;t\'}^{s}M_{k;t\'}^{[d_{k}^{t\'}(x_{l;t})-s]_{+}}p$ and that of $x_{k;t^{\prime\prime}}^{deg_{k}^{t\'}(x_{l;t})-s}M_{k;t^{\prime\prime}}^{[s-d_{k}^{t\'}(x_{l;t})]_{+}}p$ correspond to each other (during mutation at direction $k$), where $p$ is a summand monomial of $P_{s}(k)$.

  This together with Lemma \ref{mutations of $d$-vector} unveils how the Laurent expression of a cluster variable in one cluster changes under the mutations of the latter.
\end{Remark}

Next we briefly introduce some definitions and notations about polytopes mainly from \cite{Z}, which will be used in this paper.

\begin{Definition}\label{convex}
  (i)\;The \textbf{convex hull} of a finite set $V=\{\alpha_{1},\cdots,\alpha_{r}\}\subseteq {\mathbb R}^{n}$ is
  \[conv(V)=\{\sum\limits_{i=1}^{r}a_{i}\alpha_{i}\; |\; a_{i}\geqslant 0,\sum\limits_{i=1}^{r}a_{i}=1\},\]
  while the \textbf{affine hull} of $V$ is
  \[\text{\bf aff}(V)=\{\sum\limits_{i=1}^{r}a_{i}\alpha_{i}\; |\; a_i\in{\mathbb R}, \sum\limits_{i=1}^{r}a_{i}=1\}.\]

  (ii)\;A \textbf{polytope} is the convex hull of a certain finite set of points in  ${\mathbb R}^{n}$ for some $n\in {\mathbb N}$, or equivalently, a polytope is the intersection of finitely many closed halfspaces in ${\mathbb R}^{n}$ for $n\in{\mathbb N}$. The \textbf{dimension of a polytope} is the dimension of its affine hull.

  (iii)\;Let $N\subseteq {\mathbb R}^{n}$ be a polytope. For some chosen $w\in{\mathbb R}^{n}$ and $c\in{\mathbb R}$, a linear inequality $wp^{\top}\leqslant c$ is called {\bf valid} for $N$ if it is satisfied for all points $p\in N$. A \textbf{face} of $N$ is a set of the form
  \[S = N\cap \{p\in{\mathbb R}^{n}\; |\; wp^{\top} = c\},\]
  where $wp^{\top}\leqslant c$ is a valid inequality for $N$. The {\bf dimension of a face} is the dimension of its affine hull.

  (iv)\;The \textbf{vertices}, \textbf{edges} and \textbf{facets} of a polytope $N$ are its faces with dimension $0$, $1$, and $(dim N) - 1$ respectively.

  (v)\;The {\bf sum} $N+N\'$ of two polytopes $N$ and $N\'$ is the convex hull of $N\cup N\'$.

  (vi)\;The {\bf Minkowski sum} $N\oplus N\'$ of two polytopes $N$ and $N\'$ is the polytope consisting of all points $p+q$ for points $p\in N$ and $q\in N\'$.


\end{Definition}

\vspace{4mm}

\section{The polytope associated to an integer vector}

We will construct a collection of polytopes associated to vectors and show that they admit some interesting properties. In this section, assume ${\mathcal A}$ is a totally sign-skew-symmetric cluster algebra with principal coefficients.


\subsection{Preliminaries} \quad

Before introducing the construction, we would like to explain some notations first.

In this paper, we denote by $z_{1},\cdots,z_{n}$ the coordinates of ${\mathbb R}^{n}$ and represent the elements in ${\mathbb R}^{n}$ as row vectors unless otherwise specified.

To any Laurent monomial $a_{v}Y^{v}$ in $y_{1},\cdots,y_{n}$, where $a_{v}\neq 0\in{\mathbb Z},v\in{\mathbb Z}^{n}$, we can associate a vector $v$. Hence a Laurent polynomial $f(Y)=\sum\limits_{v\in{\mathbb Z}^{n}}a_{v}Y^{v}$ with $a_{v}\neq 0\in{\mathbb Z}$ corresponds to a set of vectors $v$ called the \textbf{support} of $f(Y)$ together with an integer $a_{v}$ placed at each vector $v$. Moreover, each integer vector of dimension $n$ corresponds to a lattice point in ${\mathbb R}^{n}$. Denote by $N$ the convex hull of lattice points corresponding to the above vectors $v$ with integers $a_{v}$ placed at lattice points. Then, {\em Laurent polynomials $f(Y)$ correspond one-by-one to polytopes $N$ together with a family of integers $a_{v}$ placed at lattice points}. In particular, for a principal coefficients cluster algebra of rank $n$ with initial cluster $X$, the above bijection induces a bijection from homogeneous Laurent polynomials $f(\hat{Y})X^{h}$ of degree $h$ to the polytopes $N$ in the non-negative quadrant together with a family of integers $a_{v}$ placed at lattice points which corresponds to $f(\hat{Y})X^{h}|_{x_{i}\rightarrow 1,\forall i}$ when a vector $h\in{\mathbb Z}^{n}$ is given. In the sequel, we will call $N$ together with a family of integers placed at lattice points {\bf the (Newton) polytope} corresponding to the Laurent polynomial $f(Y)$ (or to the Laurent polynomial $f(\hat{Y})X^{h}$). The support of a Laurnt polynomial $f(Y)$ is called {\bf saturated} if any lattice point in the Newton polytope $N$ corresponds to a nonzero summand monomial of $f(Y)$, i.e, if the integer placed at any lattice point in $N$ is nonzero.

Note that in the sequel, unless otherwise specified, {\bf points} always imply lattice points in ${\mathbb Z}^{n}$ and {\bf polytopes} are those whose vertices are lattice points.

\begin{Definition}
  For a polytope $N$, the {\bf weight} of a point $p\in N$ is the integer placed on this point, denoted as $co_p(N)$, or simply $co_{p}$ when the polytope $N$ is known clearly.
\end{Definition}

The weight $co_p$ of $p\in N$ is indeed the coefficient of the correspondent Laurent monomial $Y^{p}$ in the Laurent polynomial $f(Y)$. Following this point of view, we assume that for a polytope $N$,
\begin{equation}\label{outco}
  co_{p}(N)=0\;\;\; \text{if}\;\; p\notin N.
\end{equation}

In the sequel, when we say $N$ is a polytope, it actually means that $N$ is a polytope together with weight $co_{p}(N)$ of each point $p\in N$.

\begin{Definition}
  For two polytopes $N$ and $N\'$, $N\'$ is a {\bf sub-polytope} of $N$ if there is $w\in{\mathbb N}^{n}$ such that $0\leqslant co_{p}(N\'[w])\leqslant co_{p}(N)$ or $0\geqslant co_{p}(N\'[w])\geqslant co_{p}(N)$ for any point $p\in N$, which is equivalent to that the $Y$-polynomial corresponding to $N\'$ is a summand of that corresponding to $N$ up to multiplying a monomial in $Y$. In this case, denote $N\'\leqslant N$. This relation $\leqslant$ defines a partial order in the set of polytopes.
\end{Definition}

Two summations introduced in Definition \ref{convex} (v) and (vi) can be extended to polytopes with weights. For two polytopes $N$ and $N'$, we define the weights of $N+N'$ as follows:
\begin{equation*}
co_p(N+N')=co_p(N)+co_{p}(N')\triangleq\left\{\begin{array}{lr}
                        co_{p}(N)+co_{p}(N')  & \text{if}\; p\in N\cap N'; \\
                         co_p(N) & \text{if}\; p\in N\backslash N';\\
                         co_p(N') & \text{if}\; p\in N'\backslash N;\\
                         0 & \text{if}\; p\not\in N\cup N'.
                       \end{array}\right.
\end{equation*}
This summation is induced from that of Laurent polynomials with respect to the correspondence between polytopes and Laurent polynomials. While for the Minkowski sum $\oplus$, let $$co_{q}(N\oplus N\')=\sum\limits_{p+p\'=q}co_{p}(N)co_{p\'}(N\')$$ for any point $q\in N\oplus N\'$. This is induced from the multiplication of Laurent polynomials. It can easily verified that both summations are commutative and associative.

It is easy to see when the weights are all non-negative for polytopes $N$ and $N\'$, they are both sub-polytopes of $N+N\'$ and $N\oplus N\'$.

For any polytope $N$ in ${\mathbb R}^{n}$ and $w\in{\mathbb Z}^{n}$, we denote by $N[w]$ the polytope obtained from $N$ by translation along $w$.

In this paper, we always use the following  partial order in ${\mathbb Z}^{n}$ unless otherwise specified:

For any $a=(a_1, \cdots, a_n), b=(b_1, \cdots, b_n)\in{\mathbb Z}^{n}$, $a\leqslant b$ if $a_{i}\leqslant b_{i}$ for all $i\in[1,n]$.

Given a polytope $N$ with a point $v$ in it and a sequence $i_{1},\cdots,i_{r}\in[1,n]$, define $\{i_{1},\cdots,i_{r}\}$-section at $v$ of $N$ to be the convex hull of lattice points in $N$ whose $i_{j}$-th coordinates are equal to that of $v$ respectively for $j\in[1,r]$. Denote by $V(N)$ and $E(N)$ the set consisting of vertices and edges of $N$ respectively.

In this paper, for any $i\in{\mathbb Z}$, $j\in{\mathbb N}$, we denote binomial coefficients
\begin{equation*}
  \begin{pmatrix}
    i \\
    j
  \end{pmatrix}\triangleq\left\{\begin{array}{lr}
                         \frac{i(i-1)\cdots(i-j+1)}{j!} & \text{if}\; j> 0; \\
                         1 & \text{if}\; j=0.
                       \end{array}\right.
\end{equation*}
and denote
\begin{equation*}
  \tilde{C}_{i}^{j}\triangleq\left\{\begin{array}{lr}
            \begin{pmatrix}
              i \\
              j
            \end{pmatrix} & \text{if}\; i\geqslant 0; \\
            0 & \text{if}\; i< 0.
          \end{array}\right.
\end{equation*}
as modified binomial coefficients.

For any two points $p, q$, denote $l(\overline{pq})$ to be the length of the segment $\overline{pq}$.

An {\bf isomorphism} $\tau$ of two polytopes $N$ and $N\'$ is a bijection of two sets:
\[\tau:\quad\{\text{(not necessary lattice) points in } N\}\quad  \longrightarrow  \quad\{\text{(not necessary lattice) points in } N\'\}\]
satisfying that $\tau(ap+bq)=a\tau(p)+b\tau(q)$ for any (not necessary lattice) points $p,q\in N$ and any $a,b\in{\mathbb R}_{\geqslant 0}$ with $a+b=1$, and the weights associated to $p$ and $\tau(p)$ respectively are the same, where the weights of non-lattice points are zero.

Assume the dimension of $N$ is $r$, so for each $i\in[1,r]$, there are two (not necessary lattice) points $p,p\'\in N$ such that the segment $\overline{pp'}$ connecting $p, p'$ parallels to $e_{i}$. Then a linear map $\tilde\tau$ is induced by  the isomorphism $\tau$ satisfying that:
\begin{equation}\label{tildetau}
  \begin{array}{ccc}
    \tilde{\tau}:\quad{\mathbb R}^{r}\quad&\longrightarrow&\quad{\mathbb R}^{r} \\
    \qquad\qquad e_{i}\qquad & \mapsto & \qquad \frac{\tau(p)-\tau(p\')}{l(\overline{pp\'})}
  \end{array}
\end{equation}
It is easy to check that $\tilde{\tau}$ is well-defined. In the later discussion, $N\'$ is often a face of some polytope with higher dimension $n$, so we usually slightly abuse the notation to use $\tilde{\tau}$ as the linear map:
$$\tilde{\tau}: \; {\mathbb R}^{r}\quad\longrightarrow\quad{\mathbb R}^{r}\quad\hookrightarrow\quad{\mathbb R}^{n}.$$

In this paper we denote the canonical projections and embeddings respectively as
\[\pi_{i}:\quad{\mathbb R}^{n}\quad\longrightarrow\quad{\mathbb R}^{n-1}\quad\quad\quad\qquad\]
\[(\alpha_{1},\cdots,\alpha_{i},\cdots,\alpha_{n})\quad\mapsto\quad (\alpha_{1},\cdots,\alpha_{i-1},\alpha_{i+1}\cdots,\alpha_{n}), \;\]
and
\[\gamma_{i;j}:\quad{\mathbb R}^{n-1}\quad\longrightarrow\quad{\mathbb R}^{n}\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\]
\[(\alpha_{1},\cdots,\alpha_{n-1})\quad\mapsto\quad (\alpha_{1},\cdots,\alpha_{i-1},j,\alpha_{i},\cdots,\alpha_{n-1}).\]
We extend $\gamma_{i;j}$ to be a map from the set of $n-1$-dimensional polytopes to that of $n$-dimensional polytopes, which is also denoted as $\gamma_{i;j}$, that is, $\gamma_{i;j}(N)=\{\gamma_{i;j}(p)\;|\; \forall p\in N\}\subset{\mathbb R}^n$ for any polytope $N\subseteq{\mathbb R}^{n-1}$. It is easy to see $\gamma_{i;j}(N)$ is a polytope in ${\mathbb R}^n$.

Following the definitions in \cite{LLZ}, a Laurent polynomial $p$ in $X$ is called \textbf{universally positive} if $p\in{\mathbb N}\P[X_{t}^{\pm 1}]$ for any $t\in{\mathbb T}_{n}$. And a universally positive Laurent  polynomial is said to be \textbf{universally indecomposable} if it cannot be expressed as a sum of two nonzero universally positive Laurent  polynomials. Universal indecomposability can be regarded as the ``minimalism'' in the set of universally positive Laurent polynomials. Since the above two definitions are given for all $t\in T_{n}$, they are naturally mutation invariants.

For any semifield $\P$, $t,t\'\in{\mathbb T}_{n}$ connected by an edge labeled $k$ and any homogeneous Laurent polynomial $$f\in{\mathbb Z}[Y_{t\'}^{\pm 1}][X_{t\'}^{\pm 1}]\cap{\mathbb Z}[Y^{\pm 1}_{t}][X_{t}^{\pm 1}]\subseteq{\mathbb Z} Trop(Y_{t\'})[X_{t\'}^{\pm 1}]$$ with grading $h$, we naturally have $f=F|_{{\mathcal F}}(\hat{Y}_{t\'})X_{t'}^{h}$, where $F=f|_{x_{i;t\'}\rightarrow 1, \forall i\in[1,n]}$. We modify it into the Laurent polynomial
\begin{equation}\label{modify}
\frac{F|_{{\mathcal F}}(\hat{Y}_{t\'})}{y_{k;t\'}^{[-h_{k}]_{+}}}X_{t\'}^{h}=\frac{F|_{{\mathcal F}}(\hat{Y}_{t\'})}{F|_{Trop(Y_{t})}(Y_{t\'})}y_{k;t\'}^{a}X_{t\'}^{h}
\end{equation}
where
$$a=min\{\sum\limits_{j=1}^{n}[b_{kj}^{t\'}]_{+}p_{j}+p_{k}\; |\; (p_{1},\cdots,p_{n})\in N_F\}-[-h_{k}]_{+}, $$
with $N_F$ the polytope corresponding to $F$, and then
\begin{equation}\label{L(f)}
 \text{\em denote by}\; L^{t}(f)\; \text{\em the Laurent expression of this modified form (\ref{modify}) in}\; X_{t}
\end{equation}
with coefficients in $Y_{t}\subseteq Trop(Y_{t})$.

Then we can define $L^{t;\gamma}(f)=L^{t}\circ L^{t^{(1)}}\circ\cdots\circ L^{t^{(s)}}(f)$ for any path $\gamma=t-t^{(1)}-\cdots-t^{(s)}-t\'$ in ${\mathbb T}_{n}$ if $L^{t}\circ L^{t^{(1)}}\circ\cdots\circ L^{t^{(j)}}(f)\in{\mathbb Z}[Y_{t^{(j)}}^{\pm 1}][X_{t^{(j)}}^{\pm 1}]$ for $j\in[0,s]$.

Later we will show that $L^{t;\gamma}(f)$ only depends on the endpoints $t$ and $t\'$ in Remark \ref{remark after the theorem}, so we usually omit the path in the superscript.

For any $t\in{\mathbb T}_{n}$ denote
\[\mathcal{U}_{\geqslant0}(\Sigma_{t})={\mathbb N}\P[X_{t}^{\pm 1}]\cap{\mathbb N}\P[X_{t_{1}}^{\pm 1}]\cap\cdots\cap{\mathbb N}\P[X_{t_{n}}^{\pm 1}]\subseteq\mathcal{U}(\Sigma_{t}),\]
\[\mathcal{U}^{+}(\Sigma_{t})=\{f\in \mathcal{U}_{\geqslant0}(\Sigma_{t})\;|\; L^{t}(f)\in{\mathbb N}[Y_{t}][X_{t}^{\pm 1}]\text{ and }L^{t_{i}}(f)\in{\mathbb N}[Y_{t_{i}}][X_{t_{i}}^{\pm 1}],\forall i\in[1,n]\}\]
and
$$\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t})= \mathcal{U}^{+}(\Sigma_{t})\cap\mathcal{U}_{\geqslant0}(\Sigma_{t_{1}})\cap\cdots\cap\mathcal{U}_{\geqslant0}(\Sigma_{t_{n}}),$$
where $t_{i}\in{\mathbb T}_{n}$ is the vertex connected to $t$ by an edge labeled $i$. We say an element in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t})$ to be {\bf indecomposable} if it can not be written as a sum of two nonzero elements in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t})$.

\subsection{For rank 2 case}\quad

Our construction is mainly based on a simple idea that for $X=\{x_1,x_2\}$ and  $h\in {\mathbb Z}^2$, in order to make $\rho_{h}$ a universally positive Laurent polynomial having $X^{h}$ as a summand, we need a proper Laurent polynomial $x_{k}^{-a}M_{k}^{a}q\in{\mathbb N}[Y][X^{\pm 1}]$ as a summand of $\rho_{h}$ for any summand monomial $x_{k}^{-a}p$ of $\rho_{h}$ such that $x_{k}^{-a}p$ is a summand of $x_{k}^{-a}M_{k}^{a}q$, where $k=1,2$, $a\in{\mathbb Z}_{>0}$ and $p,q$ are some Laurent monomials in ${\mathbb N}[Y][X^{\pm 1}]$. This is because when we express $\rho_{h}$ in $X_{t_{k}}$  via the mutation in direction $k$, where $t_{k}$ is adjacent to $t_{0}$ by an edge labeled $k$, there will be $M_{k}^{a}$ in the denominator, therefore we need to let $x_{k}^{-a}p$ be in $x_{k}^{-a}M_{k}^{a}q$ to get rid of $M_{k}^{a}$ in the denominator so as to maintain a Laurent polynomial in $X_{t_{k}}$.

In the above process we call $x_{k}^{-a}M_{k}^{a}q$ a {\bf complement} of $x_{k}^{-a}p$ in direction $k$.

In the above process,  we also try to keep $\rho_{h}$ ``minimal'' to make it universally indecomposable by avoiding unnecessary summands. This idea induces an inductive construction of the Laurent polynomial $\rho_{h}$ we wanted. And later we will furthermore do the similar thing in a cluster algebra of general rank.

Calculation under the above idea leads us to the following definition of $N_{h}$ as well as $\rho_{h}$.

When ${\mathcal A}$ is a cluster algebra with principal coefficients of rank $2$,  without loss of generality, assume  that the initial exchange matrix is
\[B=\begin{pmatrix}
      0 & b \\
      -c & 0
    \end{pmatrix},\]
where $b,c\in{\mathbb Z}_{>0}$. For $h=(h_{1},h_{2})\in{\mathbb Z}^{2}$, let $V_{h}=\{v_1, v_2, v_3, v_4, v_5\}$ where
\begin{equation}\label{V_h}
  \begin{array}{l}
    v_1=(0, 0), \\
    v_2=([-h_{1}]_{+}, 0), \\
    v_3=(0, [-h_{2}]_{+}), \\
    v_4=([-h_{1}]_{+}, [-h_{2}+c[-h_{1}]_{+}]_{+}), \\
    v_5=([-h_{1}]_{+}-[[-h_{1}]_{+}-b[c[-h_{1}]_{+}-h_{2}]_{+}]_{+}, [-h_{2}+c[-h_{1}]_{+}]_{+}),
  \end{array}
\end{equation}
and let $E_{h}$ be the set consisting of edges connecting points in $V_{h}$ and parallel to $e_{1}$ or $e_{2}$. For any point $p_0=(u_0,v_0)$ in an arbitrary edge $p_{1}p_{2}$ in $E_{h}$ with $p_{1},p_{2}\in V_{h}$, define the weight $co_{p_0}=\tilde{C}_{l(\overline{p_{1}p_{2}})}^{l(\overline{p_0p_{2}})}$, and denote
\[m_{1}(p_0)=\left\{\begin{array}{rl}
                    co_{p_0}, & \text{if } u_{0}=-h_{1}; \\
                    0, & otherwise.
                  \end{array}\right. \;\;\;\;
\text{and}\;\;\;\;
m_{2}(p_0)=\left\{\begin{array}{rl}
                    co_{p_0}, & \text{if } v_{0}=0; \\
                    0, & otherwise.
                  \end{array}\right.\]
For a point $p=(u,v)$ which is not in $E_{h}$, define $co_{p}$ inductively as follows:
\begin{equation}\label{coefrank2}
co_{p}=max\{\sum\limits_{i=1}^{[-h_{1}]_{+}-u}m_{1}((u+i,v))\tilde{C}_{-h_{1}-bv}^{i},\;\; \sum\limits_{i=1}^{v}m_{2}((u,v-i))\tilde{C}_{-h_{2}+cu}^{i}\}
\end{equation}
while
\[m_{1}(p)=co_{p}-\sum\limits_{i=1}^{[-h_{1}]_{+}]_{+}-u}m_{1}((u+i,v))\tilde{C}_{-h_{1}-bv}^{i},\qquad m_{2}(p)=co_{p}-\sum\limits_{i=1}^{v}m_{2}((u,v-i))\tilde{C}_{-h_{2}+cu}^{i}.\]
Then, we denote by $N_{h}$  the convex hull of the set $\{p\in{\mathbb N}^{2}\mid co_{p}\neq 0\}$ with weight $co_{p}$ for each $p\in N_{h}$.

According to the definition of $N_{h}$ for $h\in{\mathbb Z}^{2}$, it is easy to see that its support is finite. Hence we can associate a Laurent polynomial
\[\rho_{h}=\sum\limits_{p\in N_{h}}co_{p}\hat{Y}^{p}X^{h}\]
to each $N_{h}$. Such $\rho_{h}$ is homogeneous with grading $h$.

By definition we can check that for any $k\in[1,2]$,
$$\rho_{h}=\sum\limits_{s\in{\mathbb N}}(\frac{M_{k}}{x_{k}})^{s}P_{s},$$
where $P_{s}\in{\mathbb Z}\P[x_{3-k}^{\pm1}]$ for $s>0$ and $P_{0}\in{\mathbb Z}\P[x_{3-k}^{\pm1},x_{k}]$. Hence according to the definition of mutations, $\rho_{h}\in\mathcal{U}(\Sigma_{t_{0}})$, and so is $x_{1}\rho_{h}$. When $h_{1}<0$, because $N_{h}$ is in the intersection of halfspaces $z_{2}\geqslant 0$ and $z_{1}\leqslant -h_{1}$, it can be checked that $y_{1}\rho_{(h_{1}+1,h_{2}-c)}$ is a summand of $x_{1}\rho_{h}$. Then the support of $x_{1}\rho_{h}-y_{1}\rho_{(h_{1}+1,h_{2}-c)}$ is in the intersection of halfspaces $z_{2}\geqslant 0$ and $z_{1}\leqslant -h_{1}-1$. So $\rho_{h_{1}+1,h_{2}}$ is a summand of $x_{1}\rho_{h}-y_{1}\rho_{(h_{1}+1,h_{2}-c)}$. Repeating this process, we get a decomposition
\begin{equation}\label{equation: decomposition of x1Ph}
  x_{1}\rho_{h}=\sum\limits_{(u,v)\in J^{(1)}_{h}}c_{u,v}y_{1}^{u}y_{2}^{v}\rho_{(h_{1}+1+bv,h_{2}-cu)},
\end{equation}
where  $c_{u,v}\in{\mathbb N}$  and
$$J^{(1)}_{h}=\{(u,v)\in N_{h}\; |\; m_{1}((u+[-h_{1}-bv]_{+}, v))>0,\; m_{2}((u+[-h_{1}-bv]_{+}-1, v))>0\}\cup\{(1, 0)\}.$$
 When $h_{1}\geqslant 0$, $x_{1}\rho_{h}=\rho_{(h_{1}+1,h_{2})}$, i.e, $J^{(1)}_{h}=\{(0,0)\}$. Dually, there is a decomposition for $x_{2}\rho_{h}$ as
\begin{equation}\label{equation: decomposition of x2Ph}
  x_{2}\rho_{h}=\sum\limits_{(u,v)\in J^{(2)}_{h}}c\'_{u,v}y_{1}^{u}y_{2}^{v}\rho_{(h_{1}+bv,h_{2}+1-cu)},
\end{equation}
where   $c\'_{u,v}\in{\mathbb N}$ and
$$J^{(2)}_{h}=\{(u,v)\in N_{h}\; |\; m_{1}((u+[-h_{1}-bv]_{+},v))>0,\; m_{2}((u+[-h_{1}-bv]_{+}, v-1))>0\}\cup\{(0, 0)\}.$$

We would like to list some facts, which are not hard to be verified:

(a)\;$\{p\in N_{h}|m_{1}(p)m_{2}(p)\neq 0\}=\{([-h_{1}]_{+},0)\}$, $\{([-h_{1}]_{+},v)\in N_{h}\}\subseteq\{p\in N_{h}|m_{1}(p)>0\}$ and $\{(u,0)\in N_{h}\}\subseteq\{p\in N_{h}|m_{2}(p)>0\}$.

(b)\;For any point $(u,v)\in N_{h}$, $m_{1}((u,v))>0$ if and only if there is $(u\',v\')\in J^{(2)}_{h}$ such that $m_{1}(u-u\',v-v\')>0$ in $N_{(h_{1}+bv\',h_{2}+1-cu\')}$; $m_{2}((u,v))>0$ if and only if there is $(u^{\prime\prime},v^{\prime\prime})\in J^{(1)}_{h}$ such that $m_{2}(u-u^{\prime\prime},v-v^{\prime\prime})>0$ in $N_{(h_{1}+1+bv^{\prime\prime},h_{2}-cu^{\prime\prime})}$.

(c)\;For any points $(u,v)\in N_{h}$, $m_{1}((u,v))>0$ or $m_{1}((u+1,v))>0$ if and only if there is $(u\',v\')\in J^{(1)}_{h}$ such that $m_{1}(u-u\',v-v\')>0$ in $N_{(h_{1}+1+bv\',h_{2}-cu\')}$; $m_{2}((u,v))>0$ or $m_{2}((u-1,v))>0$ if and only if there is $(u^{\prime\prime},v^{\prime\prime})\in J^{(2)}_{h}$ such that $m_{2}(u-u^{\prime\prime},v-v^{\prime\prime})>0$ in $N_{(h_{1}+bv^{\prime\prime},h_{2}+1-cu^{\prime\prime})}$.

\begin{Lemma}\label{m_j in rank 2}
  Let ${\mathcal A}$ be a cluster algebra with principal coefficients of rank $2$ with initial exchange matrix
  \[B=\begin{pmatrix}
      0 & b \\
      -c & 0
    \end{pmatrix}.\]
  Assume $h\in{\mathbb Z}^{2}$, $\{j,\bar{j}\}=\{1,2\}$ and $p=(u,v)\in N_{h}$. Then,

  (i)\; If $m_{j}(p)>0$, $p\'=p+(-1)^{\bar{j}}e_{\bar{j}}\in N_{h}$ and $p^{\prime\prime}=p+(-1)^{\bar{j}}e_{j}\in N_{h}$, then $m_{j}(p\'),m_{j}(p^{\prime\prime})>0$.

  (ii)\;  $N_{h}$ is in the rectangular having $(0,0),([-h_{1}]_{+},0)$ and $([-h_{1}]_{+},[-h_{2}+c[-h_{1}]_{+}]_{+})$ as vertices, which would degenerate to a segment or a point when some vertices are coincident.

  (iii)\; $N_{h}\setminus\{([-h_{1}]_{+},0)\}$ can be divided into three areas as the form in Figure \ref{figure: m_j}, where
  \begin{itemize}
    \item any point $p$ in Area $\uppercase\expandafter{\romannumeral1}$ satisfies $m_{1}(p)\neq 0$ and $m_{2}(p)=0$;
    \item any point $p$ in Area $\uppercase\expandafter{\romannumeral2}$ satisfies $m_{1}(p)=m_{2}(p)=0$;
    \item any point $p$ in Area $\uppercase\expandafter{\romannumeral3}$ satisfies $m_{1}(p)=0$ and $m_{2}(p)\neq0$;
  \end{itemize}
  and $m_{1}([-h_{1}]_{+},0)=m_{2}([-h_{1}]_{+},0)=1$.
\end{Lemma}
\begin{figure}[H]
  \centering
  \includegraphics[width=25mm]{m_j_in_rank_2.eps}
  \caption{The polytope $N_{h}$ can be divided into three areas.}\label{figure: m_j}
\end{figure}

\begin{Proof}
(i) \;When $h_{1}\geqslant 0$ or $h_{2}+ch_{1}\geqslant 0$, $N_{h}$ degenerates to a segment or a point, so it is easy to see this lemma holds in this case. Hence now we only need to consider the case where $h_{1}<0$ and $h_{2}+ch_{1}<0$. We will use induction on $(-h_{1},-h_{2}-ch_{1})$ with respect to the partial order.

When $(-h_{1},-h_{2}-ch_{1})=(1,1)$, there are only three points in $N_{h}$, namely, $(0,0),(1,0),(1,1)$, and the lemma is true in this case via direct calculation.

Assume it is true for those with $(-h_{1},-h_{2}-ch_{1})<(l_{1},l_{2})\in{\mathbb Z}^{2}_{>0}$. Then we will show that the lemma holds when $(-h_{1},-h_{2}-ch_{1})=(l_{1},l_{2})$.

Suppose there are $(u,v),(u+1,v)\in N_{h}$ satisfying $u<-h_{1}$, $m_{1}((u,v))>0$ and $m_{1}((u+1,v))=0$. Then according to (\ref{equation: decomposition of x2Ph}), inductive assumption and fact (b), there is $(u+h_{1}+bv\',v\')\in J^{(2)}_{h}$ such that $v\'<v$ and $m_{1}((-h_{1}-bv\',v-v\'))>0$ in $N_{(h_{1}+bv\',h_{2}+1-cu-ch_{1}-bcv\')}$. And $(u+h_{1}+bv\',v\')\in J^{(2)}_{h}$ means $m_{1}((u,v\'))>0$ while $m_{2}((u,v\'-1))>0$. Therefore, $m_{1}((u+1,v\'))>0$, since otherwise by the similar discussion as above we will get $(u+h_{1}+bv^{\prime\prime},v^{\prime\prime})\in J^{(2)}_{h}$ such that $v^{\prime\prime}<v\'$ and $m_{1}((-h_{1}-bv^{\prime\prime},v-v^{\prime\prime}))>0$ hence $m_{1}((-h_{1}-bv^{\prime\prime},v-v^{\prime\prime})-1)>0$ in $N_{(h_{1}+bv\',h_{2}+1-cu-ch_{1}-bcv\')}$, which leads to $m_{1}((u,v\'-1))>0$, contradicting with $m_{2}((u,v\'-1))>0$ as $(u,v\'-1)$ can not be $(-h_{1},0)$.

Now we have $m_{1}((u+1,v))=0$ and $m_{1}((u+1,v\'))>0$. Let $w$ be the least integer such that $v\'<w\leqslant v$, $m_{1}((u+1,w))=0$ and $m_{1}((u+1,w-1))>0$. If $m_{2}((u+1,w))=0$, let $w\'<w$ be the largest integer satisfying $m_{2}((u+1,w\'))>0$, then according to the definition of $N_{h}$, $w-w\'<c(u+1)-h_{2}$. In (\ref{equation: decomposition of x2Ph}), we can continue to multiply the right side with $x_{2}$ and do similar decomposition to every summands. Then,  repeat these to the new summand. If we do them $w-w\'-1$ times, there is a summand $$y_{1}^{u+1-[-h_{1}-b(w-1)]_{+}}y_{2}^{w-1}\rho_{(h_{1}+b(w-1),h_{2}+w-w\'-1-c(u+1-[-h_{1}-b(w-1)]_{+}))}$$ in the final decomposition. Since $$h_{2}+w-w\'-1-c(u+1-[-h_{1}-b(w-1)]_{+})-c[-(h_{1}-b(w-1)]_{+}<-1,$$
according to the definition of $E_{w}$ for any $w\in{\mathbb Z}^{2}$, we have
$$([-(h_{1}-b(w-1)]_{+},1)\in N_{(h_{1}+b(w-1),h_{2}+w-w\'-1-c(u+1-[-h_{1}-b(w-1)]_{+}))}$$
and so,
$$m_{1}([-(h_{1}-b(w-1)]_{+},1)>0$$
in $N_{(h_{1}+b(w-1),h_{2}+w-w\'-1-c(u+1-[-h_{1}-b(w-1)]_{+}))}$. Therefore by the fact (b), $m_{1}((u+1,w))>0$, which contradicts the choice of $w$. Hence $m_{2}((u+1,w))>0$. Now we have $m_{2}((u+1,w))>0$ and $m_{2}((u+1,w-1))=0$, which is dual to the initial case $m_{1}((u,v))>0$ and $m_{1}((u+1,v))=0$, but $(u+1,w)$ is closer to $(-h_{1},0)$ than $(u,v)$. So continue above discussion we will finally reach a contradiction due to fact (a), which completes the proof of (i), i.e, if $m_{j}(p)>0$, $p\'=p+(-1)^{\bar{j}}e_{\bar{j}}\in N_{h}$ and $p^{\prime\prime}=p+(-1)^{\bar{j}}e_{j}\in N_{h}$, then $m_{j}(p\'),m_{j}(p^{\prime\prime})>0$.

(ii) \;Note that according to the definition of $N_{h}$, if $(u,0),(-h_{1},v)\in N_{h}$, then $u\in[0,-h_{1}]$ and $v\in[0,-h_{2}-ch_{1}]$. If there is $(u,v)\in N _{h}$ with $v>-h_{2}-ch_{1}$, without loss of generality, we assume $u=max\{w|(w,v)\in N_{h}\}$. Then $u<-h_{1}$, and $m_{1}((u,v))>0$. Through the same discussion as in the proof of (i), we can see that $m_{1}((u+1,v))>0$, which leads to an impossible conclusion that $(u+1,v)\in N_{h}$. So for any $(u,v)\in N _{h}$, $v\leqslant -h_{2}-ch_{1}$. Dually, it can also be proved similarly for any $(u,v)\in N _{h}$, $u\geqslant 0$. Therefore $N_{h}$ is in the unique rectangular determined by $(0,0),([-h_{1}]_{+},0)$ and $([-h_{1}]_{+},[-h_{2}+c[-h_{1}]_{+}]_{+})$ as vertices.

(iii) \;The shape of $N_{h}$ is of the form in Figure \ref{figure: m_j} according to (ii) and the definition of $N_{h}$. Moreover, because of (i), we can divide $N_{h}\setminus\{([-h_{1}]_{+},0)\}$ into three areas as showed in Figure \ref{figure: m_j}, while
$$m_{1}([-h_{1}]_{+},0)=m_{2}([-h_{1}]_{+},0)=1$$
can be calculated directly from the definition of $N_{h}$.
\end{Proof}

When ${\mathcal A}$ is a cluster algebra without coefficients of rank $2$, we know in this case ${\mathcal A}=\mathcal U({\mathcal A})$ since ${\mathcal A}$ is acyclic. A ${\mathbb Z}$-basis for $\mathcal U({\mathcal A})$ is defined in \cite{LLS} called the {\bf greedy basis} $\{x[d]\mid d\in{\mathbb Z}^{2}\}$, where $x[d]=X^{-d}\sum\limits_{u,v\in{\mathbb N}}c(u,v)x_{1}^{bu}x_{2}^{cv}$  with $c(0,0)=1$ and
\[c(u,v)=max\{\sum\limits_{k=1}^{u}(-1)^{k-1}c(u-k,v)\begin{pmatrix}d_{2}-cv+k-1 \\k\end{pmatrix},
\sum\limits_{k=1}^{v}(-1)^{k-1}c(u,v-k)\begin{pmatrix}d_{1}-bu+k-1 \\k\end{pmatrix}\}\]
for each $(u,v)\in{\mathbb N}^{2}\setminus\{(0,0)\}$.

On the other hand, we have also  a set of Laurent polynomials $\{\rho_{h}|_{y_{i}\rightarrow 1,\forall i\in[1,2]} | h\in{\mathbb Z}^{2}\}$, where $\rho_{h}$ is defined for the principal coefficients cluster algebra corresponding to ${\mathcal A}$ as above. Here we modify $\rho_h$ for ${\mathcal A}$ by setting $y_{i}$ to be 1 for $i=1,2$.

The following result claims that the greedy basis is in fact the same as $\{\rho_{h}|_{y_{i}\rightarrow 1,\forall i\in[1,2]}|h\in{\mathbb Z}^{2}\}$ in the above case for rank 2.

\begin{Proposition}\label{polytope basis equals greedy basis}
  Let ${\mathcal A}$ be a cluster algebra without coefficients of rank $2$. Then $\{\rho_{h}|_{y_{i}\rightarrow 1,\forall i\in[1,2]}\mid h\in{\mathbb Z}^{2}\}$ and the greedy basis $\{x[d]\mid d\in{\mathbb Z}^{2}\}$ are the same. More precisely, $\rho_{h}|_{y_{i}\rightarrow 1,\forall i\in[1,2]}=x[d]$ for any $h=(h_1,h_2)\in{\mathbb Z}^{2}$, where $d=(d_{1},d_{2})=(-h_{1},-h_{2}+c[-h_{1}]_{+})$.
\end{Proposition}
\begin{Proof}
  According to the definition of $\rho_{h}$ for any $h\in{\mathbb Z}^{2}$, we first calculate $E_{h}$. We have $V_{h}=\{v_1, v_2, v_3, v_4\}$ or $V_{h}=\{v_1, v_2, v_4, v_5\}$, where

   $v_1=(0, 0)$,

   $v_2=([-h_{1}]_{+}, 0)$,

   $v_3=(0, [-h_{2}]_{+})$,

   $v_4=([-h_{1}]_{+}, [-h_{2}+c[-h_{1}]_{+}]_{+})$,

   $v_5=([-h_{1}]_{+}-[[-h_{1}]_{+}-b[c[-h_{1}]_{+}-h_{2}]_{+}]_{+},[-h_{2}+c[-h_{1}]_{+}]_{+})$.\\
   So $E_{h}$ is as shown in Figure \ref{figure of essential skeleton}, where two red points connected by an edge may be coincident. Here we deal with the first one, the other case is similar.
  \begin{figure}[H]
    \centering
    \includegraphics[width=60mm]{greedy_basis.eps}
    \caption{The shape of $E_{h}$.}\label{figure of essential skeleton}
  \end{figure}

  Then, for any $u,v\in{\mathbb N}$, we can calculate to obtain that
  $$ m_{1}([-h_{1}]_{+},v)=co_{([-h_{1}]_{+},v)}=\tilde{C}_{[-h_{2}+c[-h_{1}]_{+}]_{+}}^{v}, m_{2}(u,0)=co_{(u,0)}=\tilde{C}_{[-h_{1}]_{+}}^{u},$$
  \[co_{(u,v)}=max\{\sum\limits_{k=0}^{v-1}m_{2}(k,v)\tilde{C}_{[-h_{2}+cu]_{+}}^{v-k},\sum\limits_{k=u+1}^{[-h_{1}]_{+}}m_{1}(k,v)\tilde{C}_{[-h_{1}+bv]_{+}}^{k-u}\}\]
  and
  \[m_{1}(u,v)=co_{u,v}-\sum\limits_{k=u+1}^{[-h_{1}]_{+}}m_{1}(k,v)\tilde{C}_{[-h_{1}+bv]_{+}}^{k-u}, m_{2}(u,v)=co_{u,v}-\sum\limits_{k=0}^{v-1}m_{2}(k,v)\tilde{C}_{[-h_{2}+cu]_{+}}^{v-k}.\]

  It can be proved by induction that $co_{(u,v)}=c(v,[-h_{1}]_{+}-u)$. First $co_{([-h_{1}]_{+},0)}=c(0,0)=1$. Assume $co_{(u,0)}=c(0,[-h_{1}]_{+}-u)=\tilde{C}_{[-h_{1}]_{+}}^{u}$ when $u>r$. Then when $u=r$, we have $co_{(r,0)}=\tilde{C}_{[-h_{1}]_{+}}^{r}$ and
  \begin{equation*}
    \begin{array}{rl}
      c(0,[-h_{1}]_{+}-r)&=max\{0, \sum\limits_{k=1}^{[-h_{1}]_{+}-u}(-1)^{k-1}c(0,[-h_{1}]_{+}-r-k)\begin{pmatrix}-h_{1}+k-1 \\k\end{pmatrix}\} \\
       &=[\sum\limits_{k=1}^{[-h_{1}]_{+}-r}-\tilde{C}_{[-h_{1}]_{+}}^{[-h_{1}]_{+}-r-k}\begin{pmatrix}h_{1} \\k\end{pmatrix}]_{+}\\
       &=\tilde{C}_{[-h_{1}]_{+}}^{r}.
    \end{array}
  \end{equation*}
  So $co_{(u,0)}=c(0,[-h_{1}]_{+}-u)=\tilde{C}_{[-h_{1}]_{+}}^{u}$ for any $u\in{\mathbb N}$. Similarly, it can be proved that $$co_{([-h_{1}]_{+},v)}=c(v,0)=\tilde{C}_{[-h_{2}+c[-h_{1}]_{+}]_{+}}^{v}.$$ Then we can repeat such induction recursively on rows $z_{2}=s_{2}$ or columns $z_{1}=s_{1}$ with $s_{2}\geqslant 0$ and $s_{1}\leqslant [-h_{1}]_{+}$ in the Newton polytope $N_{h}$ to complete the proof of our claim.

  Therefore,
  \begin{equation*}
    \begin{array}{rl}
      \rho_{h}|_{y_{i}\rightarrow 1,\forall i\in[1,2]}&=\sum\limits_{u,v\in{\mathbb N}}co_{(u,v)}x_{1}^{h_{1}+bv}x_{2}^{h_{2}-cu}\\
           &= x_{1}^{h_{1}}x_{2}^{h_{2}-c[-h_{1}]_{+}}\sum\limits_{u,v\in{\mathbb N}}c(v,[-h_{1}]_{+}-u)x_{1}^{bv}x_{2}^{c([-h_{1}]_{+}-u])}\\
           &= x_{1}^{-d_{1}}x_{2}^{-d_{2}}\sum\limits_{u,v\in{\mathbb N}}c(u,v)x_{1}^{bu}x_{2}^{cv}\\
           &=x[d].
    \end{array}
  \end{equation*}
\end{Proof}


\begin{Lemma}\label{face for rank 2}
  Let ${\mathcal A}$ be a cluster algebra with principal coefficients of rank $2$ in the above setting. Assume $h\in{\mathbb Z}^{2}$ and $t_{k}\in{\mathbb T}_{n}$ is a vertex connected to $t_{0}$ by the edge labeled $k\in[1,2]$. Suppose the dimension of $N_{h}$ is not zero, i.e, at least one of $h_{1}$ and $h_{2}$ is negative, and a segment $l$ connecting $p_{1},p_{2}$ is an edge of $N_{h}$. Then,

  (i)\;$\rho^{t}_{h}\in{\mathbb N}[Y_{t}][X_{t}^{\pm 1}]$ is universally indecomposable and $\{L^{t_{0}}(\rho^{t}_{h})\mid h\in{\mathbb Z}^{2}\}$ is independent of the choice of $t$. Moreover, $L^{t_{k}}(\rho_{h})=\rho^{t_{k}}_{h^{t_{k}}}$, where $$h^{t_{k}}=h-2h_{k}e_{k}+h_{k}[b^{t}_{k}]_{+}+[-h_{k}]_{+}b^{t}_{k}$$
  for any $k\in[1,2]$.

  (ii)\;Up to interchanging $p_{1}$ and $p_{2}$, $p_{1}>p_{2}$ and there is $s\in{\mathbb Z}_{>0}$ such that $l$ is isomorphic to $N_{(0,-s)}$.
\end{Lemma}
\begin{Proof}
  (i)\;It is claimed in theorem 1.7 of \cite{LLZ} that the elements of the greedy basis are universally indecomposable and that the greedy basis is independent of the choice of the initial seed. Therefore by Proposition \ref{polytope basis equals greedy basis}, the definition of $L^{t_{k}}$ and the fact that $B$ is of full rank in rank 2 case, $\rho^{t}_{h}$ is universally indecomposable and there is $\alpha,h\'\in{\mathbb Z}^{2}$ such that $L^{t_{k}}(\rho_{h})=Y_{t_{k}}^{\alpha}\rho^{t_{k}}_{h\'}$, where $\rho^{t_{k}}_{h\'}$ is defined associated to $h\'$ with initial seed being $\Sigma_{t_{k}}$.

  On the other hand, by lemma \ref{m_j in rank 2} (ii), the definition of $L^{t_{k}}$ and the mutation formula of $Y$-variables, it can be checked that $X_{t_{k}}^{h^{t_{k}}}$ is a summand of $L^{t_{k}}(M_{k;t_{0}}^{[-h_{k}]_{+}}X^{h})$, while the latter is a summand of $L^{t_{k}}(\rho_{h})$. Therefore $\alpha=0$ and $h\'=h^{t_{k}}$. And thus $\{L^{t_{0}}(\rho^{t}_{h})\mid h\in{\mathbb Z}^{2}\}$ is independent of the choice of $t$.

  (ii)\;Denote by $h^{t}\in{\mathbb Z}^{2}$ for any $t\in{\mathbb T}_{2}$ such that $L^{t}(\rho_{h})=\rho^{t}_{h^{t}}$ and by $(u_{t},v_{t})$ the unique maximal point in $N^{t}_{h^{t}}$. Because $u_{t},v_{t}\geqslant 0$, there is a vertex $t\in{\mathbb T}_{2}$ such that $(u_{t},v_{t})\leqslant(u_{t\'},v_{t\'})$ for any $t\'$ connected to $t$. It can be check that such $(u_{t},v_{t})$ is unique.

  We may assume $t_{0}$ satisfies the above condition. In the sequel of this proof, we always denote $u=u_{t_{0}},v=v_{t_{0}}$.

  If $(u,v)=(0,0)$, then $N_{h}$ is the origin. According to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), two Laurent monomials corresponding to two points in a proper face (i.e, a face with dimension in $[0,dim(N_{h^{t}}^{t})-1]$) of $N_{h^{t}}^{t}$ respectively must correspond to two Laurnt monomials corresponding to two points in some proper face of $N_{h^{t\'}}^{t\'}$ for any two connected vertices $t,t\'\in{\mathbb T}_{2}$. So for any $l$ which is a face of $N_{h^{t}}^{t}$ with dimension $1$ for $t\in{\mathbb T}_{2}$, $l$ is either in $E_{h^{t}}^{t}$ or is isomorphic to an edge in $E_{h^{t\'}}^{t\'}$ for some $t\'\in{\mathbb T}_{2}$. Therefore the lemma holds when there is $t\in{\mathbb T}_{2}$ such that $N_{h^{t}}^{t}$ is a point.

  If $(u,v)\neq(0,0)$, then according to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), we have $u_{t\'}=u$ and $v_{t\'}=cu-v$, where $t\'$ is connected to $t_{0}$ by an edge labeled 2. So by our assumption that $v_{t\'}\geqslant v$, we have $2v\leqslant cu$. Similarly, $u_{t^{\prime\prime}}=bv-u$ and $v_{t^{\prime\prime}}=v$, where $t^{\prime\prime}$ is connected to $t_{0}$ by an edge labeled 1, hence we have $2u\leqslant bv$.

  First assume $2v= cu$, and the Newton polytope is of the following form as Figure \ref{figure: face for rank 2},
  \begin{figure}[H]
    \centering
    \includegraphics[width=30mm]{face_for_rank_2.eps}
    \caption{The Newton polytope $N_{h}$ when $2v=cu$.}\label{figure: face for rank 2}
  \end{figure}
  \noindent where Laurent monomials corresponding to points lying at the left (resp. right) side of the dashed line $CD$ have positive (resp. negative) exponents of $x_{2}$ while those corresponding to points lying above (below) the dashed line $CE$ have positive (resp. negative) exponents of $x_{1}$. Let $AGCFO$ (resp. $ABCIH$) denotes the Area $III$ (resp. Area $I$) in Lemma \ref{m_j in rank 2}. Hence for any line $z_{2}=r$ below $CE$, it intersects with $OF$ (or $FC$) and $AH$ (or $HC$) at two points (not necessarily lattice points) and the length of the segment connecting these points is $u-br$.

  On the other hand, $Z_{2}=r$ also intersects with $AC$ and $OC$ at two points (not necessarily lattice points) and the length of the segment connecting these points is $u-br$. Moreover, since $2v=u$, $N_{h^{t_{2}}}^{t_{2}}=N_{h}$ up to reflection and translation, so $OFC$ is symmetric with $AGC$ over $CD$. Therefore, $OFC$ lies below $OC$ and $AHC$ lies above $AC$.

  And in general for $2v\leqslant cu$, according to (\ref{equation: decomposition of x2Ph}), Area $I$ for $2v\leqslant cu$ case lies in $ABICH$, which leads to that in this case the new bound $OF\'C\'$ lies below $OC\'$, where the letters with prime mean those in $2v\leqslant cu$ case.

  Dually, we also have that $BIC$ lies below $BC$.

  Therefore, we get that $N_{h}=\Delta_{OAB}$, where $O$ and $B$ are the only two points in $OB$ with nonzero weights, which equal to 1. Again according to mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), we see that for any $l$ which is a face of $N_{h^{t}}^{t}$ with dimension $1$ for $t\in{\mathbb T}_{2}$, $l$ is either in $E_{h^{t}}^{t}$ or is isomorphic to $OB$, which is isomorphic to $N_{(0,-1)}$.
\end{Proof}

\begin{Remark}\label{shape for rank 2}
  According to the discussion in above proof, we know that for any $h\in{\mathbb Z}^{2}$, $N_{h}$ is one of the following forms in Figure \ref{figure: shape for rank 2} (up to reflections over the line $z_{1}=z_{2}$):

  Figure \ref{figure: shape for rank 2}.(1): in the case where $h_{1},h_{2}\geqslant 0$.

  Figure \ref{figure: shape for rank 2}.(2): in the case where $h_{2}\geqslant 0$, $h_{1}<0$ and $-h_{2}-ch_{1}\leqslant 0$.

  Figure \ref{figure: shape for rank 2}.(3)-(4): in the case where $h_{1},h_{2}<0$.

  Figure \ref{figure: shape for rank 2}.(5)-(7): in the case where $h_{2}\geqslant 0$, $h_{1}<0$ and $-h_{2}-ch_{1}>0$.
  \begin{figure}[H]
    \centering
    \includegraphics[width=130mm]{shape_for_rank_2.eps}
    \caption{The shape of $N_{h}$ for $h\in{\mathbb Z}^{2}$ up to reflections.}\label{figure: shape for rank 2}
  \end{figure}
\end{Remark}

\begin{Lemma}\label{unique indecomposable in rank 2}
  Let ${\mathcal A}$ be a cluster algebra with principal coefficients of rank $2$ in the above setting, $h\in{\mathbb Z}^{2}$. Then $\rho_{h}$ is the unique indecomposable Laurent polynomial in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$ having $X^{h}$ as a summand.
\end{Lemma}
\begin{Proof}
  According to Lemma \ref{face for rank 2} (i) and the definition of $\rho_{h}$ for any $h\in{\mathbb Z}^{2}$, $\rho_{h}$ is an indecomposable Laurent polynomial in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$ having $X^{h}$ as a summand. Then we need to show the uniqueness.

  Assume $f$ is an indecomposable Laurent polynomial in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$ having $X^{h}$ as a summand. Then $f_1=X^{h}(\hat{y}_{1}+1)^{[-h_{1}]_{+}}$ and $f_2=X^{h}(\hat{y}_{2}+1)^{[-h_{2}]_{+}}$ must be two summands of $f$ as complements of $X^{h}$ in direction 1 and 2 respectively.

  Moreover, $f_3=X^{h}\hat{y}_{1}^{[-h_{1}]_{+}}(\hat{y}_{2}+1)^{[-h_{2}+c[-h_{1}]_{+}]_{+}}$ is a summand of $f$ as a complement of $X^{h}\hat{y}_{1}^{[-h_{1}]_{+}}$ in direction 2 while $$f_4=X^{h}\hat{y}_{1}^{[-h_{1}]_{+}-[[-h_{1}]_{+}-b[c[-h_{1}]_{+}-h_{2}]_{+}]_{+}}\hat{y}_{2}^{[-h_{2}+c[-h_{1}]_{+}]_{+}}(\hat{y}_{1}+1)^{[-h_{1}]_{+}-[[-h_{1}]_{+}-b[c[-h_{1}]_{+}-h_{2}]_{+}]_{+}}$$ is a complement of $X^{h}\hat{y}_{1}^{[-h_{1}]_{+}}\hat{y}_{2}^{[-h_{2}+c[-h_{1}]_{+}]_{+}}$ in direction 1.

  Then according to the definition of $E_{h}$, for any $p$ corresponding to a point in $E_{h}$, $co_{p}(\rho_{h})X^{h}\hat{Y}^{p}$ is a summand of one of the Laurent polynomials $f_1, f_2, f_3, f_4$ discussed above, so it is also a summand of $f$. Therefore, $co_{p}(f)\geqslant co_{p}(\rho_{h})$ when $p$ corresponds to a point in $E_{h}$.

  When $[-h_{1}]_{+}[-h_{2}+c[-h_{1}]_{+}]_{+}=0$, we already have $\rho_{h}$ is a summand of $f$, so $f=\rho_{h}$ due to the indecomposability.

  Otherwise, when $[-h_{1}]_{+}[-h_{2}+c[-h_{1}]_{+}]_{+}\neq0$, similar to the definition of $\rho_{h}$, by induction on the partial order of $(-h_{1}-u,v)$ for a point $p=(u,v)$ we can prove $co_{p}(f)\geqslant co_{p}(\rho_{h})$ and $m_{i}(p)|_{f}\geqslant m_{i}(p)|_{\rho_{h}}$ for $i=1,2$ because $f$ is an indecomposable Laurent polynomial in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$, i.e, $\rho_{h}$ is a summand of $f$. Hence $f=\rho_{h}$ due to the indecomposability.
\end{Proof}

\subsection{For any rank case}\quad

The idea for the construction of $\rho_{h}$ when $h\in{\mathbb Z}^{n}$ is similar to that in rank 2 case, i.e, we try to find a ``minimal'' Laurent polynomial $\rho_{h}$ having $X^{h}$ as a summand satisfies that there is a summand $x_{k}^{-a}M_{k}^{a}q$ of $\rho_{h}$ for any summand monomial $x_{k}^{-a}p$ of $\rho_{h}$ such that $x_{k}^{-a}p$ is a summand of $x_{k}^{-a}M_{k}^{a}q$, where $k\in[1,n]$, $a\in{\mathbb Z}_{>0}$ and $p,q$ are some Laurent monomials in ${\mathbb N}[Y][X^{\pm 1}]$.

However in general case, the process of this construction is pretty complex. So our strategy is using sections as well as formulas similar  to (\ref{equation: decomposition of x1Ph}) and (\ref{equation: decomposition of x2Ph}) in general rank case to provide an inductive construction. It may not be able to calculate concrete coefficients conveniently. But, this inductive algorithm already contains much information about cluster algebras, especially about cluster monomials.

In the definition of $\rho_{h}$, the combinatorial objects of a polytope, such as sections and faces, help us to understand the structure of $\rho_{h}$ better by the fundamental properties in the theory of polytopes. It is why we introduce polytopes corresponding to homogeneous Laurent polynomials in our study.

Let ${\mathcal A}$ be a cluster algebra of rank $n$ with principal coefficients. For any Laurent monomial $p$ in $X$ and a subset $I\subseteq[1,n]$, define $E(p,I)$ consisting of segments $\overline{q_{r-1}q_{r}}$ for any sequence of Laurent monomials $q_{0},\cdots,q_{r}=p\'$ in $X$ and any sequence of indices $i_{1},\cdots,i_{r}$ with $i_{j}\in I$ for any $j\in[1,r]$ and $i_{j}\neq i_{j-1}$ if $j>1$ satisfying:

  (i) $ q_{0}=p$, $\epsilon_{0}=1$ and $\epsilon_{j}=\epsilon_{j-1}sgn(b_{i_{k}i_{j}})$, where $k<j$ is the maximal satisfying $b_{i_{k}i_{j}}\neq 0$ and $b_{i_{0}i_{j}}>0$ for any $j\in[1,r]$;

  (ii) $deg_{x_{i_{j}}}(q_{j-1})<0$ for any $j\in[1,r]$;

  (iii) For any $j\in[1,r]$ and $k\in[1,n]$, $\epsilon_{j-1}b_{ki_{j}}\geqslant0$ if $deg_{x_{k}}(q_{j-1})<0$;

  (iv)  $ q_{j}=q_{j-1}\hat{y}_{i_{j}}^{\epsilon_{j-1}deg_{x_{i_{j}}}(q_{j-1})}$ for any $j\in[1,r]$.

$\overline{q_{j}q_{j+1}}$ in the above sequence is parallel to the $i_{j}$-th coordinate axis for any $j\in[1,r-1]$, so we label it by $i_{j}$. Note that there  may be some parallel segments in the same sequence labeled by the same integer.

Then we define the \textbf{essential skeleton} $E_{h}=E(X^{h},[1,n])$. Denote by $V_{h}$ the set consisting of vertices of the segments in $E_{h}$.

It can be verified that for any subset $I\subseteq [1,n]$, if we delete all segments in $E_{h}$ with labels not in $I$, then there are unique maximal and minimal points in every connected component respectively because of the sign-skew-symmetry of the exchange matrix by induction on $|[1,n]\setminus I|$.

\begin{Definition}
  Fix $\epsilon_{i}\in\{\pm 1\}$ for any $i\in I_{l;t}$, define an order with respect to $\epsilon_{i}$ in a polytope $N$ as $p\leqslant_{\epsilon_{i}} p\'$ for any point $p,p\'\in N$ if $p$ is in $i$-section at $p\'$ and $\epsilon_{i}z_{i}(p)\leqslant\epsilon_{i}z_{i}(p\')$, where $z_{i}(p)$ is the $i$-th coordinate of $p$. Then denote
  \begin{equation}
  m_{i}(p)=co_{p}(N)-\sum\limits_{v<_{\epsilon_{i}}p}m_{i}(v)\tilde{C}_{-deg_{x_{i}}(p)}^{l(\overline{pv})}\in{\mathbb N}.
  \end{equation}
\end{Definition}

\begin{Theorem}\label{properties in case tsss}
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients and $h\in{\mathbb Z}^{n}$. Then,

  (i)\;There is at most one indecomposable Laurent polynomial $\rho_{h}^{t_{0}}$ in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$ having $X^{h}$ as a summand.

  (ii)\; For $h\in{\mathbb Z}^{n}$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$ and any $k\in[1,n]$, there is
  \begin{equation}\label{mutation formula for h}
    h^{t_{k}}=h-2h_{k}e_{k}+h_{k}[b_{k}]_{+}+[-h_{k}]_{+}b_{k}
  \end{equation}
  such that $L^{t_{k}}(\rho_{h}^{t_{0}})=\rho^{t_{k}}_{h^{t_{k}}}$, where $t_{k}\in{\mathbb T}_{n}$ is the vertex connected to $t_{0}$ by an edge labeled $k$.

  (iii)\; Denote by $N_{h}^{t_{0}}$ the polytope corresponding to $\rho_{h}^{t_{0}}|_{x_i\rightarrow 1,\forall i\in[1,n]}$, which we call the {\bf polytope from ${\mathcal A}$ associated to $h$} when $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$. For any $p,p\'\in N_{h}^{t_{0}}$, if the segment $l$ connecting $p$ and $p\'$ is parallel to the $k$-th coordinate axis for some $k\in[1,n]$ and $m_{k}(p),m_{k}(p\')>0$, then $m_{k}(p^{\prime\prime})>0$ for any point $p^{\prime\prime}\in l$.

  (iv)\; For any $h$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$ and any $t\in{\mathbb T}_{n}$, $\rho_{h}^{t_{0}}$ is indecomposable in $\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t})$. Moreover, $\rho_{h}^{t_{0}}$ is universally indecomposable. It follows that the set $\mathcal{P}=\{L^{t_{0}}(\rho_{h}^{t})\in{\mathbb N}\P[X^{\pm 1}]|h\in{\mathbb Z}^{n}\}$ is independent of the choice of $t$. And, the set consisting of coefficient free cluster monomials $\{X_{t}^{\alpha}\mid \alpha\in{\mathbb N}^{n},t\in{\mathbb T}_{n}\}$ is a subset of $\mathcal P$.

  (v)\; Let $S$ be an $r$-dimensional face of $N_{h}^{t_{0}}$ for $h\in{\mathbb Z}^{n}$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$. Then there are a seed $\Sigma$ in ${\mathcal A}$, a vector $h\'\in{\mathbb Z}^{r}$ and a cluster algebra ${\mathcal A}\'$ with principal coefficients of rank $r$ which corresponds to a pure sub-cluster algebra ${\mathcal A}(\Sigma_{\emptyset, X_1})$ of ${\mathcal A}$ with $\Sigma$ as the initial seed such that the polytope $N_{h'}|_{{\mathcal A}\'}$ is isomorphic to $S$ via an isomorphism $\tau$ whose induced linear map $\tilde\tau$ (see the definition in (\ref{tildetau})) satisfies
  \[\tilde{\tau}(e_{i})\in{\mathbb N}^{n} \text{ for any }i\in[1,r].\]
\end{Theorem}
\begin{Proof}
  Here and in the sequel, we will use $\rho_{h}$ and $N_{h}$ to represent $\rho_{h}^{t_{0}}$ and $N_{h}^{t_{0}}$ respectively.

  We prove (i), (ii), (iii), (v) and the following statement using double inductions:

  For any $h$ such that $\rho_{h}^{t_{0}}\in \mathcal{U}^{+}_{\geqslant0}(\Sigma)$ and any $i\in[1,n]$, there is a finite decomposition
  \begin{equation}\label{equation: statement for decomposition}
    x_{i}\rho^{t_0}_{h}=\sum\limits_{w,\alpha} c_{w,\alpha}Y^{w}\rho_{\alpha},
  \end{equation}
  where $w\in{\mathbb N}^{n},\alpha\in{\mathbb Z}^{n}$ and $c_{w,\alpha}\in{\mathbb N}$.

  First, when $h\in{\mathbb Z}^{2}$, (i) follows from Lemma \ref{unique indecomposable in rank 2}, (iii) follows from Lemma \ref{m_j in rank 2}, (ii) is ensured by Lemma \ref{face for rank 2} (i), (v) is exactly Lemma \ref{face for rank 2} (ii) and (\ref{equation: statement for decomposition}) is equivalent to (\ref{equation: decomposition of x1Ph}) and (\ref{equation: decomposition of x2Ph}) for $i=1$ and $2$ respectively. Then we assume they hold when $h\in{\mathbb Z}^{<n}$, so we need to show it is true when $h\in{\mathbb Z}^{n}$. In order to achieve this we apply another induction. When $N_{h}$ is the origin, (i), (iii), (v) and (\ref{equation: statement for decomposition}) are trivial while (ii) is not hard to verified. Assume they hold for all $h\'\in{\mathbb Z}^{n}$ satisfying $\rho_{h\'}$ exists, and $N_{h\'}<N_{h}$. Then the proof is reduced to $h$ case.

  Suppose there is $k\in[1,n]$ such that $\sum\limits_{p\in N}\hat{Y}^{p}X^{h}$ is a Laurent polynomial satisfying conditions in (i), where $N=\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}\'})$ and ${\mathcal A}\'$ is a cluster algebra with the initial exchange matrix being obtained from $B$ by deleting its $k$-th row and column. Then following inductive assumption, $\rho_{\pi_{k}(h)}|_{{\mathcal A}\'}$ is a summand of $\rho_{h}|_{x_{k}\rightarrow 1}$ since $\rho_{h}\in\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$. Because of the indecomposability of $\rho_{h}$ and the fact that $deg(\hat{y_{i}})=0$ for any $i\in[1,n]$, $\rho_{h}$ is homogeneous. Thus $\sum\limits_{p\in N}\hat{Y}^{p}X^{h}$ is a summand of $\rho_{h}$. Therefore, $\rho_{h}=\sum\limits_{p\in N}\hat{Y}^{p}X^{h}$ is the unique element satisfying conditions in (i) and the theorem holds following inductive assumption for smaller rank case. So in the following we always assume there is no $k\in[1,n]$ such that $\sum\limits_{p\in N}\hat{Y}^{p}X^{h}$ is a Laurent polynomial satisfying conditions in (i), that is, we can find $p\in N$ satisfying $deg_{x_{k}}(\hat{Y}^{p}X^{h})<0$.

  For any $t\in{\mathbb T}_{n}$ denote
  \[\widehat{\mathcal{U}}_{\geqslant0}(\Sigma_{t})={\mathbb N}\P[[X_{t}^{\pm 1}]]\cap{\mathbb N}\P[[X_{t_{1}}^{\pm 1}]]\cap\cdots\cap{\mathbb N}\P[[X_{t_{n}}^{\pm 1}]],\]
  \[\widehat{\mathcal{U}}^{+}(\Sigma_{t})=\{f\in\widehat{\mathcal{U}}_{\geqslant0}(\Sigma_{t})|L^{t}(f)\in{\mathbb N}[Y_{t}][[X_{t}^{\pm 1}]]\text{ and }L^{t_{i}}(f)\in{\mathbb N}[Y_{t_{i}}][[X_{t_{i}}^{\pm 1}]],\forall i\in[1,n]\}\]
  and
  $$\widehat{\mathcal{U}}^{+}_{\geqslant0}(\Sigma_{t})= \widehat{\mathcal{U}}^{+}(\Sigma_{t})\cap\widehat{\mathcal{U}}_{\geqslant0}(\Sigma_{t_{1}})\cap\cdots\cap\widehat{\mathcal{U}}_{\geqslant0}(\Sigma_{t_{n}}),$$
  where $t_{i}\in{\mathbb T}_{n}$ is the vertex connected to $t$ by an edge labeled $i$.

  Next we provide a way to inductively construct a formal Laurent polynomial $\rho_{h}\in\widehat{\mathcal{U}}^{+}_{\geqslant0}(\Sigma)$ for each $h\in{\mathbb Z}^{n}$ such that $\rho_{h}$ is indecomposable in $\widehat{\mathcal{U}}^{+}_{\geqslant0}(\Sigma)$ and $X^{h}$ is a summand of $\rho_{h}$. We choose $r\in[1,n]$ such that $N_{\pi_{r}(h)}|_{{\mathcal A}_{r}}$ has dimension $n-1$ and $i\in ([1,n]\setminus\{r\})$, where ${\mathcal A}_{r}$ is the cluster algebra with principal coefficients whose initial exchange matrix is obtained from $B$ by deleting its $r$-th row and column. Such $i,r$ exist because due to our assumption, $N_{\pi_{j}(h)}|_{{\mathcal A}_{j}}$ has larger dimension than $N_{\pi_{r}(h)}|_{{\mathcal A}_{r}}$ if $N_{\pi_{r}(h)}|_{{\mathcal A}_{r}}$ lies in the hyperplane $z_{j}=0$. Then for the cluster algebra ${\mathcal A}\'={\mathcal A}_{r}$, we have a decomposition
  \begin{equation}\label{equation: decomposition of x_i rho_h in n-1 case}
    \rho_{\pi_{r}(h)}x_{i}=\rho_{\pi_{r}(h)+e_{i}}+\sum\limits_{j}c_{w_{j},\alpha_{j}}Y^{w_{j}}\rho_{\alpha_{j}}
  \end{equation}
  for some $w_{j}\in{\mathbb N}^{n-1}$, $\alpha_{j}\in{\mathbb Z}^{n-1}$ and $c_{w_{j},\alpha_{j}}\in{\mathbb Z}_{>0}$ by inductive assumption.

  Denote the multiset $$U_{h}^{0}=\bigcup\limits_{j}\{(N_{\nu_{j}}[\gamma_{r;0}(w_{j})])^{c_{w_{j},\alpha_{j}}}\;|\;\nu_{j} =\gamma_{r;h_{r}+\gamma_{r;0}(w_{j})b^{\top}_{r}}(\alpha_{j})\}\bigcup \{N_{h+e_{i}}\},$$ where $(N_{\nu_{j}}[\gamma_{r;0}(w_{j})])^{c_{w_{j},\alpha_{j}}}$ represents $\underbrace{N_{\nu_{j}}[\gamma_{r;0}(w_{j})],\cdots,N_{\nu_{j}}[\gamma_{r;0}(w_{j})]}_{c_{w_{j},\alpha_{j}}}$, that is, the ${c_{w_{j},\alpha_{j}}}$ copies of $N_{\nu_{j}}[\gamma_{r;0}(w_{j})]$, and $h_{r}$ is the $r$-th element of $h$ and $b^{\top}_{r}$ is the $r$-th column of $B^{\top}$. According to inductive assumption, the Laurent polynomial $f$ corresponding to the intersection of $z_{i}=0$ and $\sum\limits_{N\in U_{h}^{0}}N$ with degree $h$ is the unique minimal Laurent polynomial in $\bigcap\limits_{l\in[1,n]\setminus \{r\}}\widehat{\mathcal{U}}_{\geqslant0}^{r}(\Sigma_{t_{l}})$ having $X^{h}$ as a summand and $L^{t_{l}}(f)\in{\mathbb N}[Y_{t_{l}}][[X_{t_{l}}^{\pm 1}]]$ for any $l\in[0,n]\setminus \{r\}$, where $\widehat{\mathcal{U}}_{\geqslant0}^{r}(\Sigma)=\bigcap\limits_{l\in[0,n]\setminus \{r\}}{\mathbb N}\P[[X_{t_{l}}^{\pm 1}]]$.

  After $U_{h}^{j}$ being constructed for $j<s$, we define $U_{h}^{s}$ inductively for any $s\in{\mathbb Z}_{>0}$
  to be a minimal multiset of polytopes $N_{\alpha_{j}}[w_{j}]$ with $\alpha_{j}\in{\mathbb Z}^{n}$ and $w_{j}\in{\mathbb N}^{n}$, which have been constructed by induction, satisfying $$f_{s}\in\bigcap\limits_{l\in[1,n]\setminus \{r\}}\widehat{\mathcal{U}}_{\geqslant0}^{r}(\Sigma_{t_{l}})\text{ and }L^{t_{l}}(f_{s})\in {\mathbb N}[Y_{t_{l}}][[X_{t_{l}}^{\pm 1}]]\text{ for any }l\in[0,n]\setminus \{r\},$$
  where $f_{s}$ is the Laurent polynomial corresponding to the intersection of $z_{r}=s$ and $\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{l\leqslant s}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$ with degree $h$.

  Now, we present the concrete way to construct $U_h^s$.

  First, the intersection of $z_{r}=s$ and $\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{l< s}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$ equals $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w\'_{j}])$ for some $\alpha\'_{j}\in{\mathbb Z}^{n-1}$ and $w\'_j\in{\mathbb N}^{n-1}$.

  Let $\gamma_{r;s}(N_{\alpha\'_{j_{0}}}[w\'_{j_{0}}])$ be a summand of  $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w\'_{j}])$ containing a maximal (respectively, minimal) point in $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w\'_{j}])$ when $b_{ir}\geqslant 0$ (respectively, $b_{ir}\leqslant 0$). Then denote $N_{1}=\sum\limits_{j\in J\'} \gamma_{r;s}(N_{\alpha\'_{j}}[w\'_{j}])$, where $J\'$ is the maximal subset of $J$ making $N_{1}$ a summand of $\gamma_{r;s}(N_{\alpha\'}[w\'])$ (respectively, $\gamma_{r;s}(N_{\alpha\'_{j_{0}}-e_{i}}[w\'_{j_{0}}])$) when $b_{ir}\geqslant 0$ (respectively, $b_{ir}\leqslant 0$), such that for $\alpha\'$ and $w\'$, the Laurent polynomial  $Y^{w\'_{j_{0}}-w\'}\rho_{\alpha\'_{j_{0}}}$ is a summand of $x_{i}\rho_{\alpha\'}$ for ${\mathcal A}\'$ and the maximal $Y$-degree term of $x_{i}\rho_{\alpha\'}$ is contained in $Y^{w\'_{j_{0}}-w\'}\rho_{\alpha\'_{j_{0}}}$ as a summand. According to the inductive construction and Corollary \ref{unique maximal and minimal term} proved below for $n-1$ case, such $\alpha\'$ and $w\'$ uniquely exist. Similar to (\ref{equation: decomposition of x_i rho_h in n-1 case}), we have \[Y^{w\'}\rho_{\alpha\'}x_{i}=\sum\limits_{j\in J^{\prime\prime}}Y^{w\'_{j}}\rho_{\alpha\'_{j}}\;\; (\text{respectively},\; Y^{w\'_{j_{0}}}\rho_{\alpha\'_{j_{0}}-e_{i}}x_{i}=\sum\limits_{j\in J^{\prime\prime}}Y^{w\'_{j}}\rho_{\alpha\'_{j}})\] when $b_{ir}\geqslant 0$ (respectively, $b_{ir}\leqslant 0$) for ${\mathcal A}\'$. Now, we let
  $$U_{1}=\{N_{\nu_{j}}[\gamma_{r;s}(w\'_{j})]\;|\; \nu_{j}=\gamma_{r;\alpha\'_{j,r}+\gamma_{r;s}(w\'_{j})b^{\top}_{r}}(\alpha\'_{j})\; \text{for}\;  j\in J^{\prime\prime}\setminus J'\},$$
  where $\alpha\'_{j,r}$ is the $r$-th element of $\alpha\'_{j}$.

  Replacing $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w_{j\'}])$ by $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w_{j\'}])-N_{1}$, we repeat the above process to get $N_{2}$ and $U_{2}$. This goes on until $\sum\limits_{j\in J} \gamma_{r;s}(N_{\alpha\'_{j}}[w_{j\'}])-\sum\limits_{i}N_{i}=0$. Then finally, let $U^{s}_{h}=\bigcup\limits_{i}U_{i}$.

  We call such $U_h^s$ for any $s\geq 0$ the {\bf $s$-th stratum} of $N_h$ for $x_{i}$ along direction $r$.

  Let $N_{h}=\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{l}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$ and the corresponding Laurent polynomial $\rho_{h}=\sum\limits_{p\in N_{h}}co_{p}(N_{h})\hat{Y}^{p}X^{h}$, where $U_{h}^{l}$ runs over all strata of $N_h$ for $x_{i}$ along direction $r$.

  It can be seen from the above construction that $\rho_{h}$ is indecomposable in $\widehat{\mathcal{U}}^{+}_{\geqslant0}(\Sigma)$ having $X^{h}$ as a summand and the following decomposition holds:
  \begin{equation}\label{equation: decomposition of rho_h for x_i}
    x_{i}\rho_{h}=\sum\limits_{N_{\alpha}[w]\in\bigcup\limits_{l} U_{h}^{l}}Y^{w}\rho_{\alpha}
  \end{equation}
  for any $i\in[1,n]$, which is in fact the Laurent polynomial version of $N_{h}=\sum\limits_{N_{\alpha_{j}}[w_{j}]\in\bigcup\limits_{l}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$.

  Because $\rho_{h}=X^{h}$ when $h\in{\mathbb N}^{n}$ and $\rho_{h}$ is a Laurent polynomial for any $h\in{\mathbb Z}^{2}$, all two dimensional sections of $N_{h}$ for $h\in{\mathbb Z}^{n}$ defined above are finite, hence the above ``polytopes'' or formal Laurent polynomials can be defined formally.

  Denote by $I_{h}$ the subset of $[1,n]$ such that $i\in I_{h}$ if and only if there is an edge $l\in E(N_{h})$ parallel to $e_{i}$.

  Then we claim this is the only possible construction for $\rho_{h}$ by showing that $\rho_{h}=f$ if $f$ is indecomposable in $\widehat{\mathcal{U}}^{+}_{\geqslant0}(\Sigma)$ having $X^{h}$ as a summand. Because $X^{h}$ is a summand of $f$ and $f\in\mathcal{U}^{+}_{\geqslant0}(\Sigma_{t_{0}})$, we can see that $x_{i}^{-1}(\sum\limits_{N_{\alpha_{j}}[w_{j}]\in U_{h}^{0}}Y^{w_{j}}\rho_{\alpha_{j}}|_{{\mathcal A}\'})=\rho_{\pi_{r}(h)}|_{{\mathcal A}\'}X^{h_{r}}$ must be a summand of $f$. Hence $x_{i}^{-1}(\sum\limits_{N_{\alpha_{j}}[w_{j}]\in U_{h}^{0}}Y^{\gamma_{r;0}(w_{j})}\rho_{\gamma_{r;h_{r}+\gamma_{r;0}(w_{j})b_{r}}(\alpha_{j})}|_{{\mathcal A}\'})$ is a summand of $f$. So similar to the above discussion, by using induction on $s$ we can see that $x_{i}^{-1}(\sum\limits_{N_{\alpha_{j}}[w_{j}]\in U_{h}^{s}}Y^{\gamma_{r;s}(w_{j})}\rho_{\gamma_{r;h_{r}+\gamma_{r;s}(w_{j})b_{r}}(\alpha_{j})}|_{{\mathcal A}\'})$ is a summand of $f$. Therefore, there is a summand $\rho_{h}$ of $f$. So due to the indecomposibility of $f$, $f=\rho_{h}$. In summary, we get that the Laurent polynomial satisfying conditions in (i) exists if and only if $\rho_{h}$ is a Laurent polynomial, and it is unique when it exists. Thus we get (i) and (\ref{equation: statement for decomposition}).

  Due to the uniqueness, we can see that in the above construction, $\rho_{h}$ is independent of the choice of $r$ and $i$ while the union of strata of $N_{h}$ for $x_{i}$ along direction $r$ is independent of the choice of $r$.

  In order to show (ii), we check how the corresponding polytope changes under the change of initial seed. Denote by $L^{t_{k}}(N_{h})$ the corresponding polytope after the initial seed changing to $\Sigma_{t_{k}}$, i.e, the polytope corresponding to $L^{t_{k}}(\rho_{h})$. According to (\ref{equation: decomposition of rho_h for x_i}) we have
  \begin{equation}\label{equation: decomposition of rho in i direction}
    L^{t_{k}}(\rho_{h})=\sum\limits_{N_{\alpha}[w]\in\bigcup\limits_{s} U_{h}^{s}}L^{t_{k}}(Y^{w}\rho_{\alpha}X^{-e_{i}}).
  \end{equation}
  Then by inductive assumption, $L^{t_{k}}(\rho_{h})\in \mathcal{U}_{\geqslant 0}(\Sigma)$. In particular, $N_{h+e_{i}}\in U_{h}^{0}$, so $L^{t_{k}}(\rho_{h+e_{i}}X^{-e_{i}})=\rho^{t_{k}}_{(h+e_{i})^{t_{k}}}x_{i;t_{k}}^{-1}$ is a summand of $L^{t_{k}}(\rho_{h})$. Since $(h+e_{i})^{t_{k}}=h^{t_{k}}+e_{i}$, $X_{t_{k}}^{h^{t_{k}}}$ is a summand of $\rho^{t_{k}}_{(h+e_{i})^{t_{k}}}x_{i;t_{k}}^{-1}$, hence a summand of $L^{t_{k}}(\rho_{h})$.

  For any $N_{\alpha}[w]\in\bigcup\limits_{s} U_{h}^{s}$, $Y^{w}F_{\alpha}|_{Trop(Y_{t_{k}})}=\bigoplus\limits_{p\in V(N_{\alpha}[w])}Y^{p}$ in $Trop(Y_{t_{k}})$, where $F_{\alpha}=\rho_{\alpha}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$. We can divide $V(N_{\alpha}[w])$ into several classes $R_{1},\cdots,R_{s}$ such that $p,p\'$ are in the same class if and only if there is a path connecting them which consists of edges of $N_{\alpha}[w]$ each paralell to some coordinate axis. Then due to (v) for $N_{\alpha}[w]$ by inductive assumption, we can find $(p_{1},I_{1}),\cdots,(p_{s},I_{s})$ satisfying $R_{i}$ consists of vertices in $E(p_{i},I_{i})$ for any $i\in[1,s]$. According to (\ref{equation: mutation of y}), the definition of $E(p_{i},I_{i})$ and the construction of $\rho_{h}$ in (i), it can be checked that in $Trop(Y_{t_{k}})$, $y_{k}^{[-h_{k}]_{+}}\oplus(\bigoplus\limits_{p\in V(N_{\alpha}[w])}Y^{p})=y_{k}^{[-h_{k}]_{+}}\oplus(\bigoplus\limits_{i=1}^{s}\bigoplus\limits_{p\in E(p_{i},I_{i})}Y^{p})=y_{k}^{[-h_{k}]_{+}}\oplus(\bigoplus\limits_{i=1}^{s}Y^{p_{i}+[-deg_{x_{k}}(\hat{Y}^{p_{i}}X^{\alpha-e_{i}})]_{+}e_{k}})=y_{k}^{[-h_{k}]_{+}}$, where $h_{k}$ is the $k$-th element of $h$. Therefore by the definition of $L^{t_{k}}$ and (\ref{equation: decomposition of rho in i direction}), $L^{t_{k}}(\rho_{h})=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{y_{k}^{[-h_{k}]_{+}}}X^{h}=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{F_{h}|_{Trop(Y_{t_{k}})}(Y)}X^{h}\in{\mathbb N}[Y_{t_{k}}][X_{t_{k}}^{\pm 1}]$. Similarly, $L^{t\'_{j}}\circ L^{t_{k}}(\rho_{h})\in {\mathbb N}[Y_{t\'_{j}}][X_{t\'_{j}}^{\pm 1}]$ for any $t\'_{j}$ connected to $t_{k}$ by an edge labeled $j$. So $L^{t_{k}}(\rho_{h})\in\mathcal{U}^{+}_{\geqslant 0}(\Sigma_{t_{k}})$. Then by (i) for $\rho^{t_{k}}_{h^{t_{k}}}$, $\rho^{t_{k}}_{h^{t_{k}}}$ is a summand of $L^{t_{k}}(\rho_{h})$. So due to the symmetry of $t_{0}$ and $t_{k}$, $L^{t_{k}}(\rho_{h})=\rho^{t_{k}}_{h^{t_{k}}}$.

  Then we consider (iii). Note that this result does not depend on the choice of $\epsilon_{k}$. In the definition of $N_{h}$, if there is $r\neq k$ satisfying that $N_{\pi_{r}(h)}|_{{\mathcal A}_{r}}$ has dimension $n-1$, then we can choose $i\neq r,k$ in the definition of $N_{h}$ and get $x_{i}\rho_{h}=\sum\limits_{N_{\alpha}[w]\in\bigcup\limits_{s} U_{h}^{s}}Y^{w}\rho_{\alpha}$.
  By inductive assumption, (iii) holds for each $N_{\alpha}$, i.e, for any $p\in N_{\alpha}$, points $q$ in the $k$-section of $N_{\alpha}$ at $p$ with $m_{k}(q)>0$ consist an interval. Therefore for any $p\in N_{h}$, points $q$ in the $k$-section of $N_{h}$ at $p$ with $m_{k}(q)>0$ consist a union of several intervals. Moreover, due to the definition of $\rho_{h}$, particularly $U_{h}^{r}$ and (\ref{equation: decomposition of x1Ph}), we can see that the union of these intervals are an interval. Hence (iii) holds.

  If $k$ is the only index satisfying that $N_{\pi_{k}(h)}|_{{\mathcal A}_{k}}$ has dimension $n-1$, then we consider $N_{h^{t_{k}}}^{t_{k}}$ instead. According to (\ref{equation: mutation of x}) and the definition of $m_{k}$, (iii) holds for $N_{h}$ if and only if it holds for $N_{h^{t_{k}}}^{t_{k}}$. By (ii), either $N_{h^{t_{k}}}^{t_{k}}$ lies in $z_{k}=0$, or there is $r\neq k$ satisfying that $N^{t_{k}}_{\pi_{r}(h^{t_{k}})}|_{{\mathcal A}\'_{r}}$ has dimension $n-1$, where ${\mathcal A}\'_{r}$ is the cluster algebra with principal coefficients whose initial exchange matrix is obtained from $\mu_{k}(B)$ by deleting its $r$-th row and column. In the former case, $m_{k}(p)>0$ for any point $p\in N_{h^{t_{k}}}^{t_{k}}$, while the latter case is the one we discussed above, so (iii) holds.

  (iv)\;It is a direct corollary of (i) and (ii).

  (v)  Denote $E^{0}=E_{h}$ and $E^{i}=\{l\in E(N_{h})\mid l\notin \bigcup\limits_{j=0}^{i-1}E^{j}$, and it is an edge of a 2-dimensional face $N$ of $N_{h}$ with two non-parallel edges in $\bigcup\limits_{j=0}^{i-1}E^{j}\}$.

  For any face $S$ of $N_{h}$ with dimension 2 which has two non-parallel edges in $E^{0}$, there is $i\neq j\in[1,n]$ satisfying that $S$ is parallel to the 2-dimensional plane determined by the $i$-th and $j$-th coordinate axes (in fact, $i$ and $j$ are the labels of the above two edges in $S$ assigned in the definition of $E_{h}$ respectively). Then due to the uniqueness and the construction of $\rho_{h}$, as we explain before, there is $h\'\in{\mathbb Z}^{2},w\in{\mathbb N}^{n}$ such that $S=N_{h\'}|_{{\mathcal A}\'}[w]$, where the initial exchange matrix is obtained from $B$ by deleting all but the $i$-th and $j$-th rows and columns. Hence (v) holds for such face.

  While $E^{1}$ consists of edges $l$ of faces $S$ in the above case, which in the mean time are not included in $E^{0}$. In the proof of Lemma \ref{face for rank 2} (ii), we divide such faces $S$ into two kinds, those with $(u,v)=0$ and with $(u,v)>0$ respectively. When $(u,v)=0$, there is a mutation sequence $\mu$ such that $N^{\mu(t_{0})}_{h^{\prime \mu(t_{0})}}$ is of dimension 1. Therefore, the face $S$ corresponds to an edge in $E^{0}$ of $N^{\mu(t_{0})}_{h^{\mu(t_{0})}}$, which means that $l$ corresponds to an edge of $N^{\mu(t_{0})}_{h^{\mu(t_{0})}}$ parallel to some coordinate axis. When $(u,v)>0$, $l$ has no point other than two vertices.

  For a face $S$ of $N_{h}$ with dimension 2, let $s$ be the minimal integer such that there are two non-parallel edges of $S$ in $\bigcup\limits_{j=0}^{s-1}E^{j}$. We take induction on $s$ to prove $S$ satisfies one of the following conditions:

  (a) There is a mutation sequence $\mu=\mu_{i_{p}}\circ\cdots\circ\mu_{i_{1}}$ such that there is a face $S_{p}$ in $N^{\mu(t_{0})}_{h^{\mu(t_{0})}}$ corresponding to $S$ equals to $N^{\mu(t_{0})}_{f^{\mu(t_{0})}}$ up to translation for some $f\in{\mathbb Z}^{n}$, where $S_{j}$ corresponds to $S_{j-1}$ under mutation at direction $i_{j}$ for any $j\in[1,p]$. So $S$ is isomorphic to $N^{\mu\'\circ\mu(t_{0})}_{f^{\mu\'\circ\mu(t_{0})}}$, where $\mu\'$ is obtained from $\mu$ by deleting $\mu_{i_{s}}$ such that there is no edge of $S_{s-1}$ parallel to the $i_{s}$-th coordinate axis.

  (b) $S$ is isomorphic to a polytope $N_{f}|_{{\mathcal A}\'}$ whose support is one of the following forms (up to reflection) in Figure \ref{figure: support of N_f} for some $f\in{\mathbb Z}^{2}$ (some vertices may coincide), as there is at least one edge in its essential skeleton with length 1. And $\tilde{\tau}_{S}(e_{i})\in{\mathbb N}^{n}$ for $i=j_1,j_2$, where $\tau_{S}$ is the isomorphism from $N_{f}|_{{\mathcal A}\'}$ to $S$ and $j_{1},j_{2}$ are labels of edges in its essential skeleton.
  \begin{figure}[H]
    \centering
    \includegraphics[width=70mm]{shape_in_condition_b.eps}
    \caption{Three forms of supports of $N_f$}\label{figure: support of N_f}
  \end{figure}
  The $s=0$ case has been showed above. Assume the claim is true for less than $s$ case, and now let us deal with the $s$ case.

  According to the inductive assumption, an edge $l$ of $S$ in $E^{j}$ with $j<s$ is in a 2-dimensional face $S\'$ of $N_{h}$ with two non-parallel edges in $\bigcup\limits_{i=0}^{j-1}E^{i}$ satisfying (a) or (b). $S\'$ satisfies (b), $l$ has no point other than its vertices. Then considering the construction of $N_{h}$ as well, $S$ is isomorphic to a polytope whose support is one of the forms in Figure \ref{figure: support of N_f}. Otherwise $S\'$ satisfies (a), so there is a mutation sequence $\mu$ such that $\mu(S\')$ equals to a polytope $N$ associated to a vector up to translation. For $N$, if $(u,v)>0$ (here we use the same notation with that in the proof of Lemma \ref{face for rank 2}), then due to the above discussion, again $l$ has no point other than its vertices and $S$ satisfies (b). If $(u,v)=0$, there is a mutation sequence such that $N$ corresponds to an edge parallel to some coordinate axis under this sequence.

  Recall that for a polytope whose corresponding Laurent polynomial is in $\mathcal{U}({\mathcal A})$, due to the mutation formula (\ref{equation: mutation of x}), (\ref{equation: mutation of y}) and $\hat{y}_{j}=y_{j}\prod\limits_{i=1}^{n}x_{i}^{b_{ij}}$, its face $R$ either corresponds to a face isomorphic to itself if this is an edge parallel to the $k$-th coordinate axis or corresponds to $\mu_{k}(R)$ under the mutation in direction $k$ otherwise, where the mutation here as usual means change of the initial seed. Hence in the above case where $(u,v)=0$, we can find a sequence $\mu^{1}$ of mutations such that $l$ corresponds to an edge parallel to some coordinate axis. Assume the other edge of $S$ in $E^{j\'}$ with $j\'<s$, which is not parallel to $l$, corresponds to $l\'$. Similarly, either $l\'$ has no point other than its vertices and so $S$ satisfies (b) or we can furthermore find a mutation sequence $\mu^{2}$ such that $l\'$ corresponds to an edge parallel to some coordinate axis and thus $\mu^{2}\circ\mu^{1}(S)$ corresponds to a face parallel to a plane determined by two coordinate axes, i.e, $S$ satisfies (a). Hence by induction any face of $N_{h}$ with dimension 2 satisfies (a) or (b), which leads to (v).

  Next we take induction on $r$, the dimension of a face $S$. Assume (v) holds for faces with dimension $r-1$. Then for a face $S$ with dimension $r$, there is an isomorphism from the polytope associated to certain vector to any proper face of $S$. Then according to inductive assumption for $r-1$ case, we can choose $r$ vectors $l_{1},\cdots,l_{r}$ of $S$ such that vertices are the only points in $l_{i}$, there is an edge of $S$ parallel to $l_{i}$ for any $i\in[1,r]$ and $l\'=\sum\limits_{i=1}^{r}a_{i}l_{i}$ with all $a_{i}\in{\mathbb Z}_{\geqslant 0}$ or all $a_{i}\in{\mathbb Z}_{\leqslant 0}$ for any edge $l\'$ of $S$. If there is some $l_{k}$ such that we can not find a mutation sequence under which $l_{k}$ corresponds to an edge parallel to a coordinate axis, then as we discussed above, there is no interior point in $S$ and (v) for $S$ can degenerate to $r-1$ case.

  Otherwise, choose a face $R$ of $S$ with dimension $r-1$ having a minimal point of $S$ satisfying that we can exactly find one index $i\in [1,r]$ such that there is no edge in $R$ parallel to $l_{i}$. Then there must be another $r-1$-dimensional face $R\'$ of $S$ satisfying that $R\cap R\'\neq\emptyset$, there is an edge in ${\mathbb R}\'$ parallel to $l_{i}$ and $j\in [1,r]$ be the only one such that there is no edge in $R\'$ parallel to $l_{j}$. The above setting is ensured by inductive assumption for $r-1$ case and the construction of $N_{h\'}$ for any $h\'$. According to inductive assumption, we have two polytopes $N_{\alpha}|_{{\mathcal A}_{1}}$ and $N_{\alpha\'}|_{{\mathcal A}_{2}}$ isomorphic to $R$ and $R\'$ respectively for some cluster algebras of rank $r-1$ with principal coefficients whose initial exchange matrices are $B_{1}$ and $B_{2}$ respectively. Let $B\'$ be an $r\times r$ matrix such that $B_{1}$ (respectively, $B_{2}$) is obtained from $B\'$ by deleting the $i$-th (respectively, $j$-th) row and column (because there a mutation sequence $\mu^{k}$ under which $l_{k}$ corresponds to an edge parallel to a coordinate axis for any $k\in[1,r]$, the matrices obtained from $B_{1}$ by deleting the $j$-th row and column and from $B_{2}$ by deleting the $i$-th row and column are the same, so the above condition can be satisfied). While $b_{ij}\'$ is determined by that $((\mu^{i})\'(B\'))_{ij}$ equals $deg_{x_{i}}(p)-deg_{x_{i}}(q)$, where $(\mu^{i})\'$ is obtained from $\mu^{i}$ in the same way as that in (a), $p,q$ are two points in $N^{\mu(t_{0})}_{h^{\mu(t_{0})}}$ such that $\overline{pq}$ parallel to the edge corresponding to $l_{j}$ and $p>q$. We can determine $b_{ji}\'$ similarly. Then $B\'$ is totally determined. Then let $f\in{\mathbb Z}^{n}$ such that $\pi_{i}(f)=\alpha$ and $\pi_{j}(f+\gamma_{i;0}(p)(B\')^{\top})=\alpha\'+qB_{2}^{\top}$, where $p\in N_{\alpha}|_{{\mathcal A}_{1}}$ and $q\in N_{\alpha\'}|_{{\mathcal A}_{2}}$ corresponding to the same point in $R\cap R\'$ under the isomorphism. It can be checked that $f$ is unique as it does not dependent on the choice of $p,q$.

  Then we show $S$ is isomorphic to $\rho_{f}|_{{\mathcal A}\'}$, where $A\'$ is the cluster algebra with principal coefficients associated to $B\'$. First following the discussion for 2-dimensional faces, it can been verified inductively on $s$ for $E^{s}$ that there is a bijection from the set of 2-dimensional faces of $S$ to that of $N_{f}|_{A\'}$ such that the corresponding two faces under the bijection are isomorphic to the same $N_{\alpha}|_{A^{\prime\prime}}$ for some $\alpha\in{\mathbb Z}^{2}$ and some cluster algebra $A^{\prime\prime}$ of rank 2, so they are isomorphic. Given such a bijection from the set of $s$-dimensional faces of $S$ to that of $N_{f}|_{A\'}$, due to the construction of $\rho_{h\'}$ for any $h\'$ and (i), we can furthermore calculate with the help of above $N_{\alpha}|_{A^{\prime\prime}}$ to see that the above bijection induces a bijection from the set of $s+1$-dimensional faces of $S$ to that of $N_{f}|_{A\'}$ such that the corresponding two faces under the bijection are isomorphic when forgetting weights and $co_{p}(S)\geqslant co_{q}(N_{f}|_{A\'})$ for any corresponding points $p,q$. Since the $s$-dimensional faces of two corresponding $s+1$-dimensional faces under the bijection are isomorphic accordingly and $\rho_{f}|_{A\'}$ is indecomposable by (i) of Theorem \ref{properties in case tsss}, $co_{p}(S)=co_{q}(N_{f}|_{A\'})$, which means these two faces are isomorphic. So inductively $S$ is isomorphic to $\rho_{f}|_{{\mathcal A}\'}$.
\end{Proof}

\begin{Remark}
  The analogous conclusions of (ii) and (iv) in Theorem \ref{properties in case tsss} were proved in  \cite{LLZ} and \cite{LLS} for Newton polytopes of cluster variables in rank $2$ and rank $3$ cases respectively. Note that this is not a coincidence. According to Theorem \ref{expression of a cluster variable}, up to multiplying a Laurent monomial in $X_{t_{0}}$, $F_{l;t}$ determines the Laurent expression of $x_{l;t}$ in $X_{t_{0}}$. So the Newton Polytope of $F_{l;t}$ determines that of $x_{l;t}$ up to a translation along the exponential vector of above Laurent monomial.

  Theorem \ref{properties of N_h for skew-symmetrizable} in the sequel can be regarded as an enhanced version of Theorem \ref{properties in case tsss} (v) for skew-symmetrizable case. Both of them are inspired by Theorem 6.8 of \cite{F} for Newton polytopes associated to modules, which presents a specific relation between such a polytope and its facets.
\end{Remark}

As a direct corollary of Theorem $\ref{properties in case tsss}$, we can see that $E_{h}\in E(N_{h})$ when $\rho_{h}\in\mathcal{U}({\mathcal A})$.

Starting from the proof of Theorem \ref{properties in case tsss}, we  use $\rho_{h}$ and $N_{h}$ to represent $\rho_{h}^{t_{0}}$ and $N_{h}^{t_{0}}$ respectively. From Theorem \ref{properties in case tsss} (ii), we have the definition as follows:

\begin{Definition}
  The polytope $N_{h^{t_{k}}}^{t_{k}}$ of $\rho_{h^{t_{k}}}^{t_{k}}$ is called the \textbf{mutation of the polytope $N_{h}$ of $\rho_h$} in direction $k$, and denote it as $\mu_{k}(N_{h})$.
\end{Definition}

The relation among $N_h$, $\mu_{k}(N_{h})$ and their corresponding Laurent polynomials is shown in Figure \ref{figure: polytope mutation}:
  \begin{figure}[H]
  \centering
  \includegraphics[width=30mm]{polytope_mutation.eps}
  \caption{The mutation of $N_{h}$ in direction $k$.}\label{figure: polytope mutation}
  \end{figure}

 The construction of $N_{h}$ and $\rho_{h}$ in the proof of Theorem \ref{properties in case tsss} can be restated as follows.
\begin{Construction}\label{construction}
  Given a TSSS cluster algebra ${\mathcal A}$ of rank $n$ with principal coefficients and a vector $h\in{\mathbb Z}^{n}$, we can construct $N_{h}$ as well as $\rho_{h}$ as follows:

   When $h\in{\mathbb N}^{n}$, then $N_{h}$ is the origin and $\rho_{h}=X^{h}$.

   When $h\in {\mathbb Z}^n\backslash {\mathbb N}^n$, $N_{h}$ as well as $\rho_{h}$ can be constructed inductively step by step:

   (i)\; For $n=1$, then $N_{h}$ equals $\overline{pq}$ and $\rho_{h}=X^{h}(\hat{y}_{1}+1)^{[-h]_{+}}$, where $p,q$ are the origin and $[-h]_{+}$ respectovely.

  (ii)\; For $n>1$ and $h\in {\mathbb Z}^n\backslash{\mathbb N}^{n}$, we have the following two cases:

  (a)\; In the case there is $k\in[1,n]$ such that $deg_{x_{k}}(\hat{Y}^{p}X^{h})\geqslant 0$ for any point $p\in\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}_{k}})$. Then  $N_{h}=\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}_{k}})$ with dimension not larger than $n-1$,  where $N_{\pi_{k}(h)}|_{{\mathcal A}_{k}}$ is constructed for ${\mathcal A}_{k}$ by inductive assumption and ${\mathcal A}_{k}$ is a cluster algebra of rank $n-1$ with principal coefficients whose initial exchange matrix is obtained from $B$ by deleting its $k$-th row and column;

   (b)\; In the case for any $k\in[1,n]$, $deg_{x_{k}}(\hat{Y}^{p}X^{h})< 0$ holds for some point $p\in\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}_{k}})$. Then the dimension of $N_h$ is $n$. Choose any $k$ satisfying $N_{\pi_{k}(h)}|_{{\mathcal A}_{k}}$ has dimension $n-1$ and $i\neq k\in[1,n]$. Let ${\mathcal A}\'$ be the cluster algebra ${\mathcal A}_{k}$. Then we can construct $N_h$ inductively in the following Steps (1) to (3):

  (1)\; Let $U_{h}^{0}=\bigcup\limits_{j}\{(N_{v_j}[\gamma_{k;0}(w_{j})])^{c_{w_{j},\alpha_{j}}}\; |\;v_j=\gamma_{k;h_{k}+\gamma_{k;0}(w_{j})b^{\top}_{k}}(\alpha_{j})\}$, where $c_{w_{j},\alpha_{j}}$, $\alpha_{j}$ and $w_{j}$ are those appearing in the right hand side of the equation $\rho_{\pi_{k}(h)}x_{i}=\sum\limits_{j}c_{w_{j},\alpha_{j}}Y^{w_{j}}\rho_{\alpha_{j}}$ in the cluster algebra ${\mathcal A}\'$.

  (2)\; Let $\gamma_{k;s}(N_{\alpha\'_{j_{0}}}[w\'_{j_{0}}])$ be a summand of  $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w\'_{j}])$ containing a maximal (minimal, respectively) point in $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w\'_{j}])$ when $b_{ik}\geqslant 0$ ($b_{ik}\leqslant 0$, respectively), where $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w\'_{j}])$ equals the intersection of $z_{k}=s$ and $\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{l< s}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$. Then denote $N_{1}=\sum\limits_{j\in J\'} \gamma_{k;s}(N_{\alpha\'_{j}}[w\'_{j}])$, where $J\'$ is the maximal subset of $J$ making $N_{1}$ a summand of $\gamma_{k;s}(N_{\alpha\'[w\']})$ ($\gamma_{k;s}(N_{\alpha\'_{j_{0}}-e_{i}}[w\'_{j_{0}}])$, respectively)
  when $b_{ik}\geqslant 0$ ($b_{ik}\leqslant 0$, respectively), such that for $\alpha\'$ and $w\'$, the Laurent polynomial  $Y^{w\'_{j_{0}}-w\'}\rho_{\alpha\'_{j_{0}}}$ is a summand of $x_{i}\rho_{\alpha\'}$ for ${\mathcal A}\'$ and the maximal $Y$-degree term of $x_{i}\rho_{\alpha\'}$ is contained in $Y^{w\'_{j_{0}}-w\'}\rho_{\alpha\'_{j_{0}}}$ as a summand. Calculate the decomposition $Y^{w\'}\rho_{\alpha\'}x_{i}=\sum\limits_{j\in J^{\prime\prime}}Y^{w\'_{j}}\rho_{\alpha\'_{j}}$ ($Y^{w\'_{j_{0}}}\rho_{\alpha\'_{j_{0}}-e_{i}}x_{i}=\sum\limits_{j\in J^{\prime\prime}}Y^{w\'_{j}}\rho_{\alpha\'_{j}}$, respectively) when $b_{ik}\geqslant 0$ ($b_{ik}\leqslant 0$, respectively) for ${\mathcal A}_{k}$. Now, we let
  $$U_{1}=\{N_{\nu_{j}}[\gamma_{k;s}(w\'_{j})]\;|\; \nu_{j}=\gamma_{k;\alpha\'_{j,k}+\gamma_{k;s}(w\'_{j})b^{\top}_{k}}(\alpha\'_{j})\; \text{for}\; j\in J^{\prime\prime}\setminus J'\},$$
  where $\alpha\'_{j,k}$ is the $k$-th element of $\alpha\'_{j}$.

  Replacing $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w_{j\'}])$ by $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w_{j\'}])-N_{1}$ and repeating the above process to get $N_{2}$ and $U_{2}$. This goes on until $\sum\limits_{j\in J} \gamma_{k;s}(N_{\alpha\'_{j}}[w_{j\'}])-\sum\limits_{i}N_{i}=0$. Then finally, let $U^{s}_{h}=\bigcup\limits_{i}U_{i}$.

  (3)\; $N_{h}=\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{l}U_{h}^{l}}N_{\alpha_{j}}[w_{j}]$ and $\rho_{h}=\sum\limits_{p\in N_{h}}co_{p}(N_{h})\hat{Y}^{p}X^{h}$, where $U_{h}^{l}$ runs over all strata of $N_h$ for $x_{i}$ along direction $k$.

\end{Construction}

\begin{Remark}
  It is ensured by the proof of Theorem \ref{properties in case tsss} (i) that (a) of the construction is well-defined. Also we can consider it in polytope way as follows. In (a), if there are two different indices $j,k\in[1,n]$ with $j<k$ such that
  \[deg_{x_{k}}(\hat{Y}^{p}X^{h})\geqslant 0\text{ for any point }p\in\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}_{k}});\]
  \[deg_{x_{j}}(\hat{Y}^{p}X^{h})\geqslant 0\text{ for any point }p\in\gamma_{j;0}(N_{\pi_{j}(h)}|_{{\mathcal A}_{j}}),\]
  then $deg_{x_{j}}(\hat{Y}^{p}X^{h})\geqslant 0$ for any point $p\in\gamma_{k;0}(\gamma_{j;0}(N_{\pi_{j}\circ\pi_{k}(h)}|_{{\mathcal A}_{k,j}}))$, where ${\mathcal A}_{k,j}$ is a cluster algebra with principal coefficients whose initial exchange matrix is obtained from $B$ by deleting its $k$-th and $j$-th rows and columns. Therefore we have $$\gamma_{k;0}(N_{\pi_{k}(h)}|_{{\mathcal A}_{k}})=\gamma_{k;0}(\gamma_{j;0}(N_{\pi_{j}\circ\pi_{k}(h)}|_{{\mathcal A}_{k,j}})) =\gamma_{j;0}(\gamma_{k-1;0}(N_{\pi_{k-1}\circ\pi_{j}(h)}|_{{\mathcal A}_{k,j}}))=\gamma_{j;0}(N_{\pi_{j}(h)}|_{{\mathcal A}_{j}}).$$
  So (a) of the construction is well-defined.
\end{Remark}


\begin{Remark}\label{remark after the theorem}
  As in the proof of Theorem \ref{properties in case tsss}, We define $F_{h}=\rho_{h}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$. When $h=g_{l;t}$, the above $F_h$ is exactly the $F$-polynomial of $x_{l;t}$. So, the polynomial $F_h$ defined here is a generalization of the $F$-polynomial associated to a cluster variable. So we call $F_h$ {\bf the $F$-polynomial associated to the vector $h$}. This definition of $F$-polynomials is inspired by that of $F$-polynomials defined in \cite{DWZ} for representations of a quiver with potential associated to $g$-vectors.

  For any circle $\gamma$ in ${\mathbb T}_{n}$ with endpoint $t$, $L^{t;\gamma}(f)=qf$ for some $q\in Trop(Y_{t})$ and any homogeneous Laurent polynomial $f\in{\mathbb N}[Y_{t}][X_{t}^{\pm 1}]$ by the definition of $L^{t;\gamma}$; on the other hand $L^{t;\gamma}(\rho_{h})=\rho_{h}$ following Theorem \ref{properties in case tsss} (ii). So $q=1$ and $L^{t;\gamma}$ depends only on the endpoints of $\gamma$ for any $t\in{\mathbb T}_{n}$ and any path $\gamma$ in ${\mathbb T}_{n}$.

  According to Theorem \ref{properties in case tsss}, we get that $L^{t_{k}}(\rho_{h})=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{F_{h}|_{Trop(Y_{t_{k}})}(Y)}X^{h}$. So it is natural to generalize the definition of $\rho_{h}$ for a cluster algebra over an arbitrary semifield $\P$ as
  \[\rho_{h}|_{\P}:=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{F_{h}|_{\P}(Y)}X^{h}\in{\mathbb N}\P[[X^{\pm 1}]].\]
  It can be verified that this does not depend on the choice of the initial vertex $t_{0}$.

  Obviously, $\rho_{h}|_{\P}$ is related to the choice of the semifield $\P$. However we in general omit the subscript of semifield if there is no risk of confusion. For example when we talk about $\rho^{t}_{h}$ and $\rho^{t\'}_{h}$, the semifields are $Trop(Y_{t})$ and $Trop(Y_{t\'})$ respectively.

  For a cluster algebra ${\mathcal A}$ of rank $n$, denote by $\widehat{\mathcal{P}}|_{\P}$ the set consisting of all such formal Laurent polynomials $\rho_h|_{\P}$, i.e.,
  \[\widehat{\mathcal{P}}|_{\P}=\{\rho_{h}|_{\P}\in{\mathbb N}\P[[X^{\pm 1}]]\mid h\in{\mathbb Z}^{n}\}.\]
  Then $\mathcal{P}|_{\P}$ is a subset of $\widehat{\mathcal{P}}|_{\P}$ such that
  $$\mathcal{P}|_{\P}=\widehat{\mathcal{P}}|_{\P}\cap{\mathbb N}\P[X^{\pm 1}].$$
  It follows that both $\widehat{\mathcal{P}}|_{\P}$ and $\mathcal{P}|_{\P}$ do not depend on the choice of the initial vertex $t_{0}$.
\end{Remark}

It is easy to check that according to the definition of $\rho_{h}$, in principal coefficients case $\rho_{h}$ is homogeneous with degree $h$ under the canonical ${\mathbb Z}^{n}$-grading since
\[deg(\hat{y_{i}})=deg(y_{i}X^{b_{i}})=-b_{i}+\sum\limits_{j=1}^{n}b_{ji}e_{j}=0\]
for any $i\in[1,n]$, so $deg(\rho_{h})=deg(F_{h}|_{{\mathcal F}}(\hat{Y}))+deg(X^{h})=h$.

Define $H$ to be the index set of $\mathcal{P}|_{\P}$, i.e, $H:=\{h\in{\mathbb Z}^{n}\mid \rho_{h}|_{\P}\in\mathcal{P}\}$. According to Theorem \ref{properties in case tsss} (iv), this set is independent of the choice of semifield $\P$ or initial seed.

\begin{Corollary}\label{unique maximal and minimal term}
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients, $h\in H$. Then there is a unique maximal point $p$ in $N_{h}$. Hence the $F$-polynomial $F_{h}$ has a unique term $Y^{p}$ with maximal $Y$-degree as well as a constant term and $co_{Y^{p}}(F_{h})=co_{1}(F_{h})=1$.
\end{Corollary}
\begin{Proof}
  According to Theorem \ref{properties in case tsss} (v), for two vertices $p$ and $q$ in an edge of $N_{h}$, we always have $p>q$ or $p<q$. And according to Remark \ref{shape for rank 2}, it is easy to verified when $N_{h}$ has dimension 2.

  In this proof, when we say a path in $N_{h}$ we always mean segments $l_{1},\cdots,l_{s}$ in $N_{h}$ with endpoints of each segment in $V(N_{h})$ satisfying the target of $l_{i}$ equals the source of $l_{i+1}$ for any $i\in[1,s-1]$. And a path is an edge path if all segments are edges of $N_{h}$. We say a path is reduced if there is no cycle and reducing a path is deleting all cycles. For two paths $l_{1},l_{2},\cdots,l_{s}$ and $l\'_{1},\cdots,l\'_{s+1}$, we say the latter is an up (respectively, down) move of the former if there is $i\in[1,s]$ such that $l_{j}=l\'_{j}$ when $j<i$, $l_{j}=l\'_{j+1}$ when $j>i$ and $p+q<2r$ (respectively, $p+q>2r$), where $p,q$ are the endpoints of $l_{i}$ while $r$ is the target of $l\'_{i}$. For two distinguished reduced paths $\zeta$ and $\zeta\'$, we say the former lies above the latter if there is a sequence of paths $\zeta_{1}=\zeta,\cdots,\zeta_{s}$ such that $\zeta_{i+1}$ is an up move of $\zeta_{i}$ or $\zeta_{i}$ is an down move of $\zeta_{i+1}$ for $i\in[1,s-1]$ and $\zeta\'$ is obtained from $\zeta_{s}$ by reducing.

  Assume there are two different maximal point $p$ and $q$ in $N_{h}$. Choose a reduced edge path in $N_{h}$ from $p$ to $q$ such that there is no reduced edge path lying above it. Denote it by $l_{1},l_{2},\cdots,l_{r}$. Then there is $s\in[1,r-1]$ such that $p_{1}>p_{2}$ and $p_{3}>p_{2}$, where $p_{1}$ and $p_{2}$ are the vertices of $l_{s}$ while $p_{2}$ and $p_{3}$ are those of $l_{s+1}$. Then due to the convexity of $N_{h}$, $\overline{p_{1}p_{3}}$ is in $N_{h}$ and it lies above $l_{s},l_{s+1}$. Therefore, following the convexity of $N_{h}$, Theorem \ref{properties in case tsss} (v) and Remark \ref{shape for rank 2}, we can find an edge path $l\'_{1},\cdots,l\'_{j}$ lying above $l_{s},l_{s+1}$. So we obtain a reduced edge path lying above $l_{1},l_{2},\cdots,l_{r}$ by reducing the path $l_{1},\cdots,l_{s-1},l\'_{1},\cdots,l\'_{j},l_{s+2},\cdots,l_{r}$, which contradicts the choice of $l_{1},l_{2},\cdots,l_{r}$. Hence there is unique maximal point $p$ in $N_{h}$, i.e, the $F$-polynomial $F_{h}$ has unique maximal term $Y^{p}$.

  And the definition of $\rho_{h}$ ensures that the origin is the unique minimal point in $N_{h}$. This induces that the origin and $p$ are both vertices of $N_{h}$. By Theorem \ref{properties in case tsss} (v), if $q$ is a vertex of $N_{h}$, then $co_{q}(N_{h})=1$. Thus $co_{0}(N_{h})=co_{p}(N_{h})=1$.
\end{Proof}

It can be seen that when restricted to $F$-polynomials associated to cluster variables, this corollary is a generalization of the corresponding result in \cite{GHKK} from skew-symmetrizable case to TSSS case.

\section{Polytopes in specific cases}
\subsection{Newton polytopes of $F$-polynomials and recurrence formula on cluster variables}

We have known in \cite{F} that the Newton polytope of an $F$-polynomial is defined associated to representations of a finite-dimensional basic algebra, as well as some interesting combinatorial properties of these Newton polytopes. But those cluster algebras, whose categorification have not been found so far, are not suitable for the theory in \cite{F}. In this sense, it is necessary for us to establish the theory of these Newton polytopes for general TSSS cluster algebras. This is one of the motivations for our construction in the last section.

In this subsection we will take a look at cluster variables, which turn out to be contained in $\mathcal{P}$. Hence the results in this section hold for cluster variables. In particular, we have a recurrence formula and universally positivity for cluster variables as a special case of the above $\rho_h$ (Theorem \ref{from general to cluster variables}).

First we introduce some definitions from \cite{F}, then we will obtain some results analogous to those in \cite{F}, but in the context of totally sign-skew-symmetric cluster algebras.

As we said in the last section, any polynomial in $Y$ corresponds to a polytope. Denote by $N_{l;t}$ the Newton polytope of an $F$-polynomial $F_{l;t}$. The $F$-polynomial of a cluster variable can be generalized to any cluster monomial $X_{t}^{\alpha}$ as $F_{X_{t}^{\alpha}}=\prod\limits_{i}F_{i;t}^{\alpha_{i}}$. We denote the Newton polytope associated to $F_{X_{t}^{\alpha}}$ as $N(X_{t}^{\alpha})$.

According to Theorem \ref{properties in case tsss} (iv), any cluster monomial $X_{t}^{\alpha}=\rho^{t}_{\alpha}$ is in $\mathcal{P}$ for any $t\in{\mathbb T}_{n}$,  $\alpha\in{\mathbb N}^{n}$, and $h^{t_{k}}=h-2h_{k}e_{k}+h_{k}[b^{t}_{k}]_{+}+[-h_{k}]_{+}b^{t}_{k}$ for any $t_{k}$ connected to $t$ by an edge labeled $k$, which coincides with the mutation formula of $g$-vectors. Hence we can see that $X_{t}^{\alpha}=\rho_{g(X_{t}^{\alpha})}$ as well as $N(X_{t}^{\alpha})=N_{g(X_{t}^{\alpha})}$. In particular, this is true for any cluster variable. Thus $x_{l;t}$ and $N_{l;t}$ naturally inherit the properties about $\rho_{h}$ and $N_{h}$ claimed in Theorem \ref{properties in case tsss}. And the definitions of $\rho_{h}$ and $N_{h}$ provide a recurrence formulas for $N_{l;t}$ and $x_{l;t}$.

\begin{Theorem}\label{from general to cluster variables}
  (\textbf{Recurrence formula})  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, then $x_{l;t}=\rho_{g_{l;t}}$ and $N_{l;t}=N_{g_{l;t}}$. Following this view, we have that
   \begin{equation}
     co_{p}(N_{l;t})=co_{p}(N_{g_{l;t}})=\sum\limits_{N_{\alpha_{j}}[w_{j}]\in \bigcup\limits_{r}U_{g_{l;t}}^{r}}co_{p}(N_{\alpha_{j}}[w_{j}])
   \end{equation}
   and
   \begin{equation}
     x_{l;t}=X^{g_{l;t}}(\sum\limits_{p\in N_{g_{l;t}}}co_{p}(N_{l;t})\hat{Y}^{p}),
   \end{equation}
   where $U_{g_{l;t}}^{r}$, running over all $r$-th strata of the polytope $N_h$ for $x_{i}$ along direction $k$,  and hence all $N_{\alpha_{j}}[w_{j}]$ are defined in the construction \ref{construction} (2) with $h=g_{l;t}$.
\end{Theorem}

Repeating the Recurrence formula in the above theorem, we can expresses each weight of $N_{l;t}$ as a sum of weights of some polytopes of the form $N_{h\'}[w]$ with $h\'\in{\mathbb Z}^{2}$ and $w\in{\mathbb N}^{n}$, thus by (\ref{coefrank2}) it is in fact a sum of certain binomial coefficients, which are naturally non-negative. So this provides a proof of the positivity of cluster variables in a totally sign-skew-symmetric cluster algebra. Then we obtain directly the following:
\begin{Corollary}\label{TSSS positivity} ({\bf Positivity for TSSS cluster algebras})
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients and $(X,Y,B)$ be its initial seed. Then every cluster variable in ${\mathcal A}$ is a Laurent polynomial over ${\mathbb N}[Y]$ in $X$. In particular, the positivity of TSSS cluster algebras holds.
\end{Corollary}
As a special case, the proof of this result provides a new method different from that in \cite{GHKK} to present the positivity of cluster variables in a skew-symmetrizable cluster algebra.

Now we show some properties of Newton polytopes associated to cluster variables, which may usually not be true for Newton polytopes associated to general  vectors in $H$.

\begin{Theorem}\label{properties for cluster variable case}
  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, $l\in[1,n],t\in{\mathbb T}_{n}$. Then, for the $F$-polynomial $F_{l;t}$ associated to $x_{l;t}$ and its corresponding Newton polytope $N_{l;t}$, the following statements hold:

  (i)\; The support of $F$-polynomial $F_{l;t}$ is saturated.

  (ii)\; For any $p\in N_{l;t}$, $co_{p}(N_{l;t})=1$ if and only if $p\in V(N_{l;t})$.

  (iii)\; Let $S$ be a $r$-dimensional face of $N_{l;t}$. Then there is a cluster algebra ${\mathcal A}\'$ with principal coefficients of rank $r$, a Newton polytope $S\'$ corresponding to some coefficient free cluster monomial in ${\mathcal A}\'$ and an isomorphism $\tau$ from $S\'$ to $S$ with its induced linear map $\tilde{\tau}$ satisfying
  \[\tilde{\tau}(e_{i})\in{\mathbb N}^{n} \text{ for any }i\in[1,r].\]
\end{Theorem}
\begin{Proof}

  We prove this theorem by induction on the length of the path connecting $t$ and $t_{0}$. It is trivial when the length is $0$, i.e. $t_{0}=t$. Assume it is true for $t\'\in{\mathbb T}_{n}$. We claim that it is also true for $t_{0}\in{\mathbb T}_{n}$ connected to $t\'$ by an edge labeled $k\in[1,n]$.

  (i)\; Assume there is a lattice point $p\in N_{l;t}$ such that $co_{p}(P_{l;t})=0$. If there is no $p_{1}\in N_{l;t}$ such that $\frac{p}{p_{1}}=\hat{y}_{k}^{a}$ and $co_{p_{1}}(P_{l;t})\neq0$ for some $a\in{\mathbb Z}_{>0}$, then according to the mutation formulas, we know that there is $p\'$ corresponding to $p$ (with respect to the mutation at direction $k$) satisfying that $co_{p\'}(P^{t\'}_{l;t})=0$. Moreover, as $p\in N_{l;t}$, we have $p\'\in N_{l;t}^{t\'}$. Thus $N_{l;t}^{t\'}$ is not saturated, which contradicts our inductive assumption. Similarly, we obtain a contradiction if there is no $p_{1}\in N_{l;t}$ such that $\frac{p}{p_{1}}=\hat{y}_{k}^{a}$ and $co_{p_{1}}(P_{l;t})\neq0$ for some $a\in{\mathbb Z}_{<0}$.

  Therefore, there must be $p_{1},p_{2}\in N_{l;t}$ such that $\frac{p}{p_{1}}=\hat{y}_{k}^{a_{1}}$, $\frac{p}{p_{2}}=\hat{y}_{k}^{a_{2}}$ where $a_{1}\in {\mathbb Z}_{>0},a_{2}\in{\mathbb Z}_{<0}$ and $co_{p_{1}}(P_{l;t})co_{p_{2}}(P_{l;t})\neq 0$. If $deg_{x_{k}}(p)\geqslant 0$, then $deg_{x_{k}}(p_{1})\geqslant 0$ and $deg_{x_{k}}(p_{2})\geqslant 0$. Hence we always have $m_{k}(p)=co_{p}(P_{l;t})=0$ while $m_{k}(p_{1})=co_{p_{1}}(P_{l;t})\neq0$ and $m_{k}(p_{2})=co_{p_{1}}(P_{l;t})\neq0$, which contradicts Theorem \ref{properties in case tsss} (iii). Otherwise if $deg_{x_{k}}(p)< 0$, then due to the definition of $m_{k}$, we can find $p_{1}$ and $p_{2}$ satisfying $m_{k}(p_{1})m_{k}(p_{2})\neq 0$, which contradicts Theorem \ref{properties in case tsss} (iii). So in conclusion we get that $N_{l;t}$ is saturated.

  (ii)\; If there is a point $p\in N_{l;t}$ satisfying that $co_{p}(N_{l;t})=1$ but $p\notin V(N_{l;t})$, then according to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), there is a point $p\'\in N_{l;t}^{t\'}$ corresponding to $p$ with $co_{p\'}(N_{l;t}^{t\'})=1$. Hence $p\'\in V(N_{l;t}^{t\'})$, then due to the mutation formula (\ref{equation: mutation of x}), (\ref{equation: mutation of y}), Theorem \ref{properties in case tsss} (iii) and (i) of this theorem, either $p\in V(N_{l;t})$ or $co_{p}(N_{l;t})>1$, which contradicts our assumption.

  (iii)\; Because of Theorem \ref{properties in case tsss} (v), $S$ is isomorphic to $N_{h\'}$ for some $h\'\in{\mathbb Z}^{r}$. So we only need to show that $N_{h\'}$ equals the Newton polytope associated to some coefficient free cluster monomial in ${\mathcal A}\'$.

  According to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), any face $S$ of $N_{l;t}$ corresponds to a face $S^{\prime\prime}$ of $N^{t\'}_{l;t}$, which is isomorphic to the Newton polytope $N$ of some coefficient free cluster monomial in ${\mathcal A}\'$ as the inductive assumption. Denote this isomorphism by $\tau\'$. Since $S$ corresponds to $S^{\prime\prime}$ with respect to the mutation in direction $k$, it is either isomorphic to $N$ when $\tilde{\tau}\'(e_{i})\neq e_{k}$ for any $i$ or to $\mu_{i}(N)$ when there is $i$ such that $\tilde{\tau}\'(e_{i})=e_{k}$. In both case, $S$ is isomorphic to the Newton polytope associated to some coefficient free cluster monomial.
\end{Proof}

In the context of categories of representations of a finite-dimensional algebra, the analogous results are given in \cite{F}. Moreover, Jiarui Fei conjectures the following statements hold.

\begin{Conjecture} \label{F} \cite{F}\;
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients. Then,

  (i)\;A point $p$ in the Newton polytope associated to any coefficient free cluster monomial is a vertex if and only if $co_{p}=1$.

  (ii)\;The support of the $F$-polynomial of any cluster monomial is saturated.
\end{Conjecture}

In \cite{F}, this conjecture was proved to be true when the initial exchange matrix $B_{t_{0}}$ is acyclic and skew-symmetric. Here, as a direct corollary of Theorem \ref{properties for cluster variable case}, we give a positive answer to the conjecture.

\begin{Corollary}\label{answer to fei}
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients and $t\in {\mathbb T}_{n}$. Then,

  (i)\;A point $p$ in the Newton polytope $N(X_{t}^{\alpha})$ associated to any cluster monomial $X_{t}^{\alpha}$ is a vertex if and only if $co_{p}(N_{g(X_{t}^{\alpha})})=1$ for any $\alpha\in{\mathbb N}^{n}$.

  (ii)\;The support of the $F$-polynomial $F_{X_{t}^{\alpha}}$ of any cluster monomial $X_{t}^{\alpha}$ is saturated.
\end{Corollary}
\begin{Proof}
  (i)\; According to the definition of Minkowski sum, a point $q\in N\oplus N\'$ is a vertex if and only if there is unique vertices $p\in N$ and $p\'\in N\'$ such that $q=p+p\'$. Then by Theorem \ref{properties for cluster variable case} (ii), $p\in V(N(X_{t}^{\alpha}))$ is equivalent to $co_{p}=1$ since $N(X_{t}^{\alpha})=\bigoplus\limits_{i=1}^{n}(\bigoplus\limits_{j=1}^{\alpha_{i}}N_{i;t})$.

  (ii)\; For any point $q\in N\oplus N\'$, there are points $p\in N$ and $p\'\in N\'$ such that $q=p+p\'$. If the supports of $N$ and $N\'$ are both saturated, then $co_{p}(N),co_{p\'}(N\')\neq 0$. So (ii) is induced by Theorem \ref{properties for cluster variable case} (i) and the universally positivity of any cluster variable since $N(X_{t}^{\alpha})=\bigoplus\limits_{i=1}^{n}(\bigoplus\limits_{j=1}^{\alpha_{i}}N_{i;t})$.
\end{Proof}


\begin{Example}\label{example}
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients with the initial seed $(X,Y,B)$, where $X=(x_{1},x_{2},x_{3})$, $Y=(y_{1},y_{2},y_{3})$ and
  \[B=\left(\begin{array}{ccc}
  0 & -3 & 16 \\
  3 & 0 & -6 \\
  -16 & 6 & 0
  \end{array}\right).\]
  Then in the seed $(X_{t},Y_{t},\tilde{B}_{t})=\mu_{3}\circ\mu_{1}\circ\mu_{2}((X,\tilde{B}))$, the Laurent expression of $x_{3;t}$ in $X$ is
  \begin{equation*}
    \begin{array}{rl}
      x_{3;t} & =\frac{y_{3}[y_{2}^{3}y_{1}x_{2}^{3}x_{3}^{2}+(y_{2}x_{3}^{6}+x_{1}^{3})^{3}]^{2}+x_{1}^{2}x_{2}^{6}}{x_{1}^{2}x_{2}^{6}x_{3}} \\
       & =(y_{1}^{2}y_{2}^{6}y_{3}x_{2}^{6}x_{3}^{4}+2y_{1}y_{2}^{6}y_{3}x_{2}^{3}x_{3}^{20}+6y_{1}y_{2}^{5}y_{3}x_{1}^{3}x_{2}^{3}x_{3}^{14}+ 6y_{1}y_{2}^{4}y_{3}x_{1}^{6}x_{2}^{3}x_{3}^{8} \\
       & +2y_{1}y_{2}^{3}y_{3}x_{1}^{9}x_{2}^{3}x_{3}^{2}+y_{2}^{6}y_{3}x_{3}^{36}+ 6y_{2}^{5}y_{3}x_{1}^{3}x_{3}^{30}+15y_{2}^{4}y_{3}x_{1}^{6}x_{3}^{24}+20y_{2}^{3}y_{3}x_{1}^{9}x_{3}^{18}\\
       & +15y_{2}^{2}y_{3}x_{1}^{12}x_{3}^{12}+6y_{2}y_{3}x_{1}^{15}x_{3}^{6}+y_{3}x_{1}^{18}+x_{1}^{2}x_{2}^{6})/x_{1}^{2}x_{2}^{6}x_{3}.
    \end{array}
  \end{equation*}

  Hence the corresponding Newton polytope $N_{3;t}$ is as follows
  \begin{figure}[H]
    \centering
    \includegraphics[width=25mm]{newton_polytope.eps}
    \caption{The Newton polytope $N_{3;t}$}
  \end{figure}
  \noindent where the set of points is the support of $F_{3;t}$ and we mark points in $V_{3;t}$ and edges in $E_{3;t}$ in red. It can be seen that the support of $F_{3;t}$ is saturated, $V_{3;t}= V(N_{3;t})$ and $E_{3;t}\subsetneq E(N_{3;t})$. Moreover, it can be checked that the constant coefficients of these Laurent monomials satisfy Theorem \ref{from general to cluster variables}. We calculate the coefficients of blue points in $\rho_{g_{3;t}}$ for example, where $g_{3;t}=(0,0,-1)$.
  \[co_{y_{2}^{5}y_{3}x_{1}x_{2}^{-6}x_{3}^{29}}(\rho_{g_{3;t}})=\tilde{C}_{6}^{5}=6=co_{y_{2}^{5}y_{3}x_{1}x_{2}^{-6}x_{3}^{29}}(P_{3;t}),\] \[co_{y_{1}y_{2}^{6}y_{3}x_{1}^{-2}x_{2}^{-3}x_{3}^{19}}(\rho_{g_{3;t}})=\tilde{C}_{2}^{1}=2=co_{y_{1}y_{2}^{6}y_{3}x_{1}^{-2}x_{2}^{-3}x_{3}^{19}}(P_{3;t}),\]
  and
  \begin{equation*}
    \begin{array}{rl}
      co_{y_{1}y_{2}^{5}y_{3}x_{1}x_{2}^{-3}x_{3}^{13}}(\rho_{g_{3;t}}) & =max\{co_{y_{2}^{5}y_{3}x_{1}x_{2}^{-6}x_{3}^{29}}(\rho_{g_{3;t}})\tilde{C}_{-deg_{x_{1}}(y_{2}^{5}y_{3}x_{1}x_{2}^{-6}x_{3}^{29})}^{1}, \\
      &\qquad\qquad co_{y_{1}y_{2}^{6}y_{3}x_{1}^{-2}x_{2}^{-3}x_{3}^{19}}(\rho_{g_{3;t}})\tilde{C}_{-deg_{x_{2}}(y_{1}y_{2}^{6}y_{3}x_{1}^{-2}x_{2}^{-3}x_{3}^{19})}^{1}\} \\
        & =max\{0,6\}\\
        & =6\\
        & =co_{y_{2}^{5}y_{3}x_{1}^{3}x_{2}^{3}x_{3}^{14}}(P_{3;t}).
    \end{array}
  \end{equation*}
  We can calculate to see that $N_{3;t}=N_{g_{3;t}}$ and $x_{3;t}=\rho_{g_{3;t}}$.
\end{Example}


\subsection{Newton polytopes in a skew-symmetrizable cluster algebra}\quad

In this subsection we assume ${\mathcal A}$ is a skew-symmetrizable cluster algebra. Recall that in this paper we denote the skew-symmetrizer $D=diag(d_{1},\cdots,d_{n})$.
Then for the exchange matrix $B_{t}$ of ${\mathcal A}$ at any vertex $t$, $DB_{t}$ is skew-symmetric, which will help us to construct the proper faces of $N_{h}$ more explicitly.

When ${\mathcal A}$ is of rank 2, we have listed the possible shape of all $N_{h}$ of dimension 2 in Figure \ref{figure: shape for rank 2} (3)-(7). Any polytope $N_{h}$ satisfies one of the two following conditions (a) and (b) from the proof of Theorem \ref{properties in case tsss}:

(a)\;There is $t\in{\mathbb T}_{n}$ such that $N_{h^{t}}^{t}$ is the origin, i.e, the polytope has dimension 0.

(b)\;For any $t\in{\mathbb T}_{n}$, $N_{h^{t}}^{t}$ has dimension 2.

A polytope $N_{h}$ whose shape is one of (3)-(6) satisfies the condition (a) while that with shape (7) may satisfy (a) or (b). In order to determine which condition such a polytope satisfies, we need to analyze the lengths of two legs. Assume the initial exchange matrix is
\[B\'=\begin{pmatrix}
     0 & \epsilon b \\
     -\epsilon c & 0
   \end{pmatrix}\]
with $b,c\in{\mathbb N},\epsilon\in\{\pm 1\}$ and the lengths of two legs in $N_{h}$ are $w_{1}$ and $w_{2}$ respectively.

A polytope with shape (7) satisfying (a) is mutation equivalent to $N^{t}_{\alpha}$ for $\alpha\in{\mathbb N}^{2}$. So by calculating the polytope $N_{e_{i}^{t}}^{t}$ for $i=1,2$ and $t\in{\mathbb T}_{n}$,  a polytope with shape (7) satisfies (a) if and only if $w_{1}$ and $w_{2}$ satisfy the following Condition \ref{condition star} for five cases, where all of the sets are {\em multi-sets}:

\begin{Condition}\label{condition star}
  Case 1: when $bc=1$, it holds that $\{w_1, w_2\}=\{1,1\}$ and let $s=1$ or $2$;

  Case 2: when $bc=2$, it holds that $\{w_{1},w_{2}\}$ equals $\{1,1\}$ or $\{1,2\}$ and let $s$ satisfy $|b\'_{rs}|=max\{w_{1},w_{2}\}$ for some $r$;

  Case 3: when $bc=3$, it holds that $\{w_{1},w_{2}\}$ equals $\{1,1\}$, $\{1,2\}$, $\{1,3\}$ or $\{2,3\}$ and let $s$ satisfy $|b\'_{rs}|=3$ if $3\in\{w_{1},w_{2}\}$ while $|b\'_{rs}|=1$ if $3\notin\{w_{1},w_{2}\}$ for some $r$;

  Case 4: when $bc=4$,  there is $i\in{\mathbb Z}_{>0}$ such that $\{w_{1},w_{2}\}$ equals $\{2i-1,4i\}$, $\{2i+1,4i\}$, $\{i,i+1\}$, $\{2i-1,i\}$ or $\{2i+1,i\}$ and let $s\in[1,2]$ satisfy that either both $w_{1}$ and $w_{2}$ are odd and $|b\'_{rs}|=1$ for some $r$ or $w_{s}$ is the only odd in $\{w_{1},w_{2}\}$;

  Case 5: when $bc>4$,  there is $i,j\in{\mathbb N}$ such that $j-i$ equals 0 or 1, $$\{w_{1},w_{2}\}=\{\frac{f^{j}+f^{j-1}-(-k)^{j-1}-(-k)^{j}}{f+k},\frac{f^{i+1}+2f^{i}+f^{i-1}-(-k)^{i-1}-2(-k)^{i}-(-k)^{i+1}}{|b\'_{sr}|(f+k)}\}$$
  and $s$ satisfies that $w_{s}=\frac{f^{j}+f^{j-1}-(-k)^{j-1}-(-k)^{j}}{f+k}$, where $s\neq r$, $f=\frac{\sqrt{b^{2}c^{2}-4bc}+bc-2}{2}$ and $k=\frac{\sqrt{b^{2}c^{2}-4bc}-bc+2}{2}$.
\end{Condition}

It can be checked that $\frac{f^{j}+f^{j-1}-(-k)^{j-1}-(-k)^{j}}{f+k}$ and $\frac{f^{i+1}+2f^{i}+f^{i-1}-(-k)^{i-1}-2(-k)^{i}-(-k)^{i+1}}{|b\'_{st}|(f+k)}$ are increasing along the increase of $j$ and $i$ respectively when $bc>4$. So in practice Condition \ref{condition star} is not hard to verify.

We assign a label to each edge in $E(N_{h})$. Denote $E^{0}=E_{h}$. And to each edge in $E^{0}$ assign a label by the way introduced in the definition of $E_{h}$. Then inductively let $E^{r+1}$ consist of the edges not in each of which is an edge of a face $S$ of $N_{h}$ with dimension 2 having at least two non-parallel edges in $\bigcup\limits_{i=0}^{r}E^{i}$. According to Theorem \ref{properties in case tsss} (v), there are $h_{S}\in{\mathbb Z}^{2}$, a cluster algebra ${\mathcal A}\'$ and an isomorphism $\tau$ from $N_{h_{S}}|_{{\mathcal A}\'}$ to $S$ satisfying $\tilde{\tau}(e_{i})\in{\mathbb N}^{2}$ for $i=1,2$. Denote the initial exchange matrix of ${\mathcal A}\'$ by $(b\'_{uv})=\begin{pmatrix}
     0 & \epsilon b \\
     -\epsilon c & 0
   \end{pmatrix}$ with $b,c\in{\mathbb N},\epsilon\in\{\pm 1\}$.

To each edge $l\in S\cap E^{r+1}$ we in assign the label $i(l)$ by labels of edges in $\bigcup\limits_{i=0}^{r}E^{i}$ as
\begin{equation}\label{label of an edge}
  i(l)=\left\{\begin{array}{ll}
                   \text{the label assigned to the edge}\\\text{ of }S\text{ not intersecting with }l & \text{if }N_{h_{S}}|_{{\mathcal A}\'}\text{ is of the form (3), (4) or (5) in Figure \ref{figure: shape for rank 2}}; \\\\
                   \text{the label assigned to the edge}\\\text{ of }S\text{ intersecting with }l & \text{if }N_{h_{S}}|_{{\mathcal A}\'}\text{ is of the form (6) in Figure \ref{figure: shape for rank 2}};\\\\
                   \text{the label assigned to the}&\text{if }N_{h_{S}}|_{{\mathcal A}\'}\text{ is of the form (7) in Figure \ref{figure: shape for rank 2}}\\
                   \text{ edge of }S\text{ parallel to }\tilde{\tau}(e_{s})&  \text{and }w_{1},w_{2}\text{ satisfy the following Condition \ref{condition star}};\\\\
                   0& \text{if }N_{h_{S}}|_{{\mathcal A}\'}\text{ is of the form (7) in Figure \ref{figure: shape for rank 2}}\\
                   &\text{and }w_{1},w_{2}\text{ do not satisfy Condition \ref{condition star}}.
                 \end{array}
  \right.
\end{equation}
where $w_{1},w_{2}$ is calculated by $\tilde{\tau}^{-1}(p-q)=w_{1}e_{1}+w_{2}e_{2}$ for arbitrary two points $p>q$ in $S$ corresponding to two points in the hypotenuse of $N_{h_{S}}|_{{\mathcal A}\'}$ such that there is no other point in $\overline{pq}$. Note that the edges in the right-hand side of (\ref{label of an edge}) are those in $\bigcup\limits_{i=0}^{r}E^{i}$, so the inductive definition is well-defined.

In the skew-symmetrizable case, the following result help us to find the cluster algebra ${\mathcal A}'$ so as to construct the proper face of $N_{h}$ more conveniently.

\begin{Theorem}\label{properties of N_h for skew-symmetrizable}
  In Theorem \ref{properties in case tsss} (v), if ${\mathcal A}$ is a skew-symmetrizable cluster algebra with principal coefficients, and denote by $B\'$ the initial exchange matrix of the cluster algebra ${\mathcal A}\'$, then $B\'= \overline{W}^{\top}BW$, where $W=(\tilde{\tau}(e_{1})^{\top},\cdots,\tilde{\tau}(e_{r})^{\top})$, $\overline{W}=(\overline{\tau(e_{1})}^{\top},\cdots,\overline{\tau(e_{r})}^{\top})$ are $n\times r$ integer matrices, $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}\frac{d_{j}}{d_{s}}w_{ji}e_{j}$ for $\tilde{\tau}(e_{i})=\sum\limits_{j=1}^{r}w_{ji}e_{j}$, with $s\neq 0$ being the label of the edge in $S$ parallel to $\tilde{\tau}(e_{i})$ while $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}d_{j}w_{ji}e_{j}$ when the label is 0.
\end{Theorem}

\begin{Proof}
  We denote $W =(w_{ji})_{n\times r}$ and $w_i$ the $i$-th column of $W$ for $i\in [1,r]$. If there is $i\in[1,r]$ such that the label of the edge in $S$ parallel to $\tilde{\tau}(e_{i})$ is 0, then there is no interior point in $N_{h\'}|_{{\mathcal A}\'}$ and in the construction of $N_{h\'}|_{{\mathcal A}\'}$, the $i$-th column of $B\'$ is not used. Hence the $i$-th column of $B\'$ can be arbitrary so long as $B\'$ is skew-symmetrizable. So we can let $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}d_{j}w_{ji}e_{j}$ and then focus on proper faces of $S$. We deal with all $i\in[1,n]$ such that the label of the edge in $S$ parallel to $\tilde{\tau}(e_{i})$ is 0 in the above way. Hence in the following we assume the label of the edge in $S$ parallel to $\tilde{\tau}(e_{i})$ is not 0 for any $i\in[1,r]$.

  According to the discussion in the proof of Theorem \ref{properties in case tsss}, there is some $t\in{\mathbb T}_{n}$, a subset $J\in[1,n]$ and $h\'_{t}\in{\mathbb Z}^{|J|}$ such that there is a face $S^{t}$ of $N^{t}_{h^{t}}$ which corresponds to $S$ under certain mutation sequence satisfying that $S^{t}$ equals $N_{h\'_{t}}|_{{\mathcal A}\'_{t}}$ up to translation, where ${\mathcal A}\'_{t}$ is a cluster algebra associated to $B\'_{t}$ obtained from $B_{t}$ by deleting rows and columns with labels not in $J$. This means Theorem \ref{properties in case tsss} (iv) holds for $S^{t}$ with an isomorphism $\tau^{t}$ such that $\tilde{\tau}^{t}(e_{j})=e_{j}$ for any $j\in J$. Then we use induction on the length of the path from $t_{0}$ to $t$ to complete the proof. Assume it holds for $t_{1}$ and $t_{2}$ is connected to $t_{1}$ by an edge labeled $k$. For any face $S^{t_{2}}$ of $N^{t_{2}}_{h^{t_{2}}}$, there is a face $S^{t_{1}}$ of $N^{t_{1}}_{h^{t_{1}}}$ corresponding to it according to Theorem \ref{properties in case tsss} (ii).

  If the dimension of $S^{t_{1}}$ equals that of $S^{t_{2}}$ and there is no edge $e\in E(N_{h\'_{t_{1}}})|_{{\mathcal A}\'_{t_{1}}}$ satisfying $\tilde{\tau}^{t_{1}}(e)= e_{k}$, then according to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), it can be seen that $S^{t_{2}}$ is isomorphic to $S^{t_{1}}$. Hence we can find an isomorphism $\tau^{t_{2}}$ from $N_{h\'_{t_{1}}}|_{{\mathcal A}\'_{t_{1}}}$ to $S^{t_{2}}$, i.e, in this case $h\'_{t_{2}}=h\'_{t_{1}}$ and $B\'_{t_{2}}=B\'_{t_{1}}$. Denote $B\'_{t_{1}}=(b_{ij}\')_{i,j\in I_{h\'}}$.

  On the other hand, again due to the mutation formula (\ref{equation: mutation of x}) and (\ref{equation: mutation of y}), we can calculate that $w^{t_{2}}_{ji}=w^{t_{1}}_{ji}$ if $j\neq k$, while $w^{t_{1}}_{ki}=\sum\limits_{l}w^{t_{1}}_{li}[\epsilon_{k} b^{t_{1}}_{kl}]_{+}-w^{t_{1}}_{ki}$ for some $\epsilon_{k}\in\{\pm 1\}$ (here the choice of $\epsilon$ is according to that $S^{t_{2}}$ is an upper face or a bottom face with respective to the $k$-th coordinate). Hence we also have $\overline{w}^{t_{2}}_{ji}=\overline{w}^{t_{1}}_{ji}$ if $j\neq k$, while $$\overline{w}^{t_{1}}_{ki}=\sum\limits_{l}\frac{d_{k}}{d_{l}}\overline{w}^{t_{1}}_{li}[\epsilon_{k} b^{t_{1}}_{kl}]_{+}-\overline{w}^{t_{1}}_{ki}=\sum\limits_{l}\overline{w}^{t_{1}}_{li}[-\epsilon_{k} b^{t_{1}}_{lk}]_{+}-\overline{w}^{t_{1}}_{ki}.$$ Therefore, it can be checked that
  \begin{equation*}
    \begin{array}{ll}
       & \sum\limits_{l,s}\overline{w}^{t_{2}}_{li}b^{t_{2}}_{ls}w^{t_{2}}_{sj} \\
      = & \sum\limits_{l,s\neq k}\overline{w}^{t_{1}}_{li}(b^{t_{1}}_{ls}+[-\epsilon_{k}b^{t_{1}}_{lk}]_{+}b^{t_{1}}_{ks}+b^{t_{1}}_{lk}[\epsilon_{k} b^{t_{1}}_{ks}]_{+})w^{t_{1}}_{sj}\\
       &\quad-\sum\limits_{s\neq k}(\sum\limits_{u}\overline{w}^{t_{1}}_{ui}[-\epsilon_{k} b^{t_{1}}_{uk}]_{+}-\overline{w}^{t_{1}}_{ki})b^{t_{1}}_{ks}w^{t_{1}}_{sj}-\sum\limits_{l\neq k}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{lk}(\sum\limits_{v}w^{t_{1}}_{vj}[\epsilon_{k} b^{t_{1}}_{kv}]_{+}-w^{t_{1}}_{kj}) \\
      = & \sum\limits_{l,s}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{ls}w^{t_{1}}_{sj} \\
      = & b_{ij}\'
    \end{array}
  \end{equation*}
  So $B_{t_{2}}\'=\overline{W}_{t_{2}}^{\top}B_{t_{2}}W_{t_{2}}$.

  When the dimension of $S^{t_{1}}$ is less than that of $S^{t_{2}}$, $S^{t_{1}}$ is in a hyperplane $z_{k}=i$ for some $i\in{\mathbb N}$. We can embed $N_{h\'_{t_{1}}}$ to a higher space with an extra coordinate $z_{k\'}$ and extend $\tilde{\tau}^{t_{1}}$ as well as $B\'_{t_{1}}$ by setting $\tilde{\tau}^{t_{1}}(e_{k\'})=e_{k}$ and adding the $k\'$-th row and column to $B\'_{t_{1}}$ according to the $k$-th row and column of $B_{t_{1}}$ respectively.

  Otherwise there is an edge $e\in E(N_{h\'_{t_{1}}})|_{{\mathcal A}\'_{t_{1}}}$ satisfying $\tilde{\tau}^{t_{1}}(e)=e_{k}$ or there is an edge in $S^{t_{2}}$ parallel to $e_{k}$ (in the former case we also use $k\'$ to denote the label of $e$), then $S^{t_{2}}$ is isomorphic to $\mu_{k\'}(N_{h\'_{t_{1}}})|_{{\mathcal A}\'}$. Hence $B\'_{t_{2}}=\mu_{k\'}(B\'_{t_{1}})$. On the other hand, since $\tilde{\tau}^{t_{1}}(e)=e_{k}$, we have $w^{t_{1}}_{jk\'}=\delta_{jk}$, where is. And similar to the first case, in this case we can also calculate to see that
  \begin{equation*}
    w_{ji}^{t_{2}}=\left\{\begin{array}{ll}
                                       \sum\limits_{l}w^{t_{1}}_{li}[sgn(b_{ik\'}\') b^{t_{1}}_{kl}]_{+}-w^{t_{1}}_{ki} & \text{if }j=k; \\
                                       w^{t_{1}}_{ji} & \text{otherwise.}
                                     \end{array}\right.
  \end{equation*}
  and
  \begin{equation*}
    \overline{w}_{ji}^{t_{2}}=\left\{\begin{array}{ll}
                                       \sum\limits_{l}\overline{w}^{t_{1}}_{li}[-sgn(b_{ik\'}\') b^{t_{1}}_{lk}]_{+}-\overline{w}^{t_{1}}_{ki} & \text{if }j=k;\\
                                       \overline{w}^{t_{1}}_{ji} & \text{otherwise.}
                                     \end{array}\right.
  \end{equation*}
  Therefore, for any $i,j\in I_{h_{t_{2}}\'}\setminus\{k\'\}$,
  \begin{equation*}
    \begin{array}{rl}
       & \sum\limits_{l,s}\overline{w}^{t_{2}}_{li}b^{t_{2}}_{ls}w^{t_{2}}_{sj} \\
      = & \sum\limits_{l,s\neq k}\overline{w}^{t_{1}}_{li}(b^{t_{1}}_{ls}+[b^{t_{1}}_{lk}]_{+}b^{t_{1}}_{ks}+b^{t_{1}}_{lk}[b^{t_{1}}_{ks}]_{+})w^{t_{1}}_{sj} \\
       & \quad -\sum\limits_{s\neq k}(\sum\limits_{u}\overline{w}^{t_{1}}_{ui}[-sgn(b_{ik\'}\') b^{t_{1}}_{uk}]_{+}-\overline{w}^{t_{1}}_{ki})b^{t_{1}}_{ks}w^{t_{1}}_{sj}-\sum\limits_{l\neq k}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{lk}(\sum\limits_{v}w^{t_{1}}_{vj}[sgn(b_{jk\'}\') b^{t_{1}}_{kv}]_{+}-w^{t_{1}}_{kj})\\
      = & \sum\limits_{l,s}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{ls}w^{t_{1}}_{sj}\\
       & \quad+(\sum\limits_{l}\overline{w}^{t_{1}}_{li}([b^{t_{1}}_{lk}]_{+}-[-sgn(b_{ik\'}\') b^{t_{1}}_{lk}]_{+}))(\sum\limits_{s}b^{t_{1}}_{ks}w^{t_{1}}_{sj}) +(\sum\limits_{l}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{lk})(\sum\limits_{s}([b^{t_{1}}_{ks}]_{+}-[-sgn(b_{k\'j}\') b^{t_{1}}_{ks}]_{+})w^{t_{1}}_{sj})\\
      = & \sum\limits_{l,s}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{ls}w^{t_{1}}_{sj} +[\sum\limits_{l}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{lk}]_{+}(\sum\limits_{s}b^{t_{1}}_{ks}w^{t_{1}}_{sj}) +(\sum\limits_{l}\overline{w}^{t_{1}}_{li}b^{t_{1}}_{lk})[\sum\limits_{s}b^{t_{1}}_{ks}w^{t_{1}}_{sj}]_{+}\\
     = & b_{ij}\'+[b_{ik}\']_{+}b_{kj}\'+b_{ik}\'[b_{kj}\']_{+},
    \end{array}
  \end{equation*}
  while
 $$        \sum\limits_{l,s}\overline{w}^{t_{2}}_{lk\'}b^{t_{2}}_{ls}w^{t_{2}}_{sj} \\
      =  \sum\limits_{s}b^{t_{2}}_{ks}w^{t_{2}}_{sj} \\
      =  \sum\limits_{s} -b^{t_{1}}_{ks}w^{t_{2}}_{sj}\\
      =  \sum\limits_{l,s}-\overline{w}^{t_{1}}_{lk\'}b^{t_{1}}_{ls}w^{t_{1}}_{sj}\\
      =  -b_{k\'j},$$
  and similarly $\sum\limits_{l,s}\overline{w}^{t_{2}}_{li}b^{t_{2}}_{ls}w^{t_{2}}_{sk\'}=-b_{ik\'}$. So we get $B\'_{t_{2}}=\mu_{k}(B\'_{t_{1}})=\overline{W}^{\top}_{t_{2}}B_{t_{2}}W_{t_{2}}$, which completes the proof.
\end{Proof}

According to Theorem \ref{properties in case tsss}, Theorem \ref{properties of N_h for skew-symmetrizable} and the construction of $\rho_{h}$ in the proof of Theorem \ref{properties in case tsss}, when ${\mathcal A}$ is a skew-symmetrizable cluster algebra with principal coefficients, we can calculate the proper faces of $N_{h}$ in the following way.

The key point is to determine $E(N_{h})=\bigcup\limits_{i}E^{i}$. Denote $E^{0}=E_{h}$ and $N^{0}$ the convex hull of $E^{0}$. Assign a label set to each edge in $E^{0}$ consisting of its label. We then define $E^{r+1}$ recursively. For any face $S\'$ of $N^{r}$ with dimension 2 having two non-parallel edges $l_{1}$ and $l_{2}$ in $\bigcup\limits_{i=0}^{r}E^{i}$ and at least one edge not in $\bigcup\limits_{i=0}^{r}E^{i}$, we construct a polytope $S$ with dimension 2 such that $S\'\subseteq S$ and $l_{1},l_{2}$ are edges of $S$ by the following properties:

(a)\; There is a vector $h_{S}\in{\mathbb Z}^{2}$ and an isomorphism $\tau:\; N_{h_{S}}|_{{\mathcal A}\'}\longrightarrow S$.

(b)\; $\tilde{\tau}(e_{i})=\sum\limits_{j=1}^{n}w_{ji}e_{j}\in{\mathbb N}^{n}$ for $i=1,2$.

(c)\; The above $N_{h_{S}}|_{{\mathcal A}\'}$ means the polytope is defined in the cluster algebra ${\mathcal A}\'$, whose initial exchange matrix $B\'=\overline{W}^{\top}BW$, where $W=(\tilde{\tau}(e_{1}),\tilde{\tau}(e_{2}))$, $\overline{W}=(\overline{\tau(e_{1})},\overline{\tau(e_{2})})$ and $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{2}\frac{d_{j}}{d_{s}}w_{ji}e_{j}$ with $s\neq0$ the label of an edge in $S$ parallel to $\tilde{\tau}(e_{i})$ and $\overline{\tau(e_{i})}=\sum\limits_{j=1}^{r}d_{j}w_{ji}e_{j}$ when the label is 0.

Then $S$ is in fact a face of $N_{h}$ according to Theorem \ref{properties of N_h for skew-symmetrizable}. Let an edge $l$ of $S$ be in $\overline{E}^{r+1}$ if $l$ is not in $\bigcup\limits_{i=0}^{r}E^{i}$ and $\overline{N}^{r+1}$ be the convex hull of $\overline{E}^{r+1}$. Then $E^{r+1}=\bigcup\limits_{p}E(p,I(p))$ and $N^{r+1}$ is the convex hull of $E^{r+1}$, where $p$ runs over all vertices of edges in $\overline{E}^{r+1}$ and $I(p)=\{i\in[1,n]|p-[-deg_{x_{i}}(\hat{Y}^{p}X^{h})]_{+}e_{i}\notin\overline{N}^{r+1}\}$. The label $i(l)$ to each edge $l\in E^{r+1}$ is assigned by (\ref{label of an edge}).

When $N_{h}$ is a finite set, calculation along the above way ends in finitely many times, and we would get $E^{0},\cdots,E^{s}$. Note that according to our construction, $\bigcup\limits_{i=0}^{s}E^{i}$ includes all edges of $N_{h}$. Then the support of $N_{h}$ is determined. And similarly, we can also calculate any proper face of $N_{h}$ with higher dimension by Theorem \ref{properties of N_h for skew-symmetrizable}. If $N_{h}$ is not finite, the procedure has no end, however it is finite locally since any face of dimension 2 is finite. So we can still have such definition formally.

The later process is just as that in Construction \ref{construction}, but it is slightly easier in calculation since we have known all proper faces now.

\begin{Example}
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients with the initial seed $(X,Y,B)$, where $X=(x_{1},x_{2},x_{3})$, $Y=(y_{1},y_{2},y_{3})$ and
  \[B=\left(\begin{array}{ccc}
  0 & 2 & -1 \\
  -1 & 0 & 2 \\
  1 & -4 & 0
  \end{array}\right).\]
  Let $h=(-5,2,4)$, then we can calculate $N_{h}$ as well as $\rho_{h}$ according to their definitions. We can first obtain $V_{h}$ as the set consisting of red points with coordinates listed in (1) of the following figure. Then we get $E_{h}$ consisting of red edges and the proper faces of $N_{h}$ can be calculated recursively.
  \begin{figure}[H]
    \centering
    \includegraphics[width=100mm]{example2.eps}
    \caption{The polytope $N_{h}$ and its intersections with hyperplanes $z_{3}=i$ for $i\in[0,3]$.}
  \end{figure}
  Then, following the definitions, we can calculate that
  \[U_{0}=\{\gamma_{3;0}(N_{(-5,2)})\},\quad U_{1}=\{(\gamma_{3;1}(N_{(-4,2)}[(2,1)]))^{2},(\gamma_{3;1}(N_{(-2,1)}[(3,2)]))^{3}\},\]
  \[U_{2}=\{\gamma_{3;2}(N_{(-3,3)}[(3,2)]), \gamma_{3;2}(N_{(-3,2)}[(4,2)]),(\gamma_{3;2}(N_{(-1,1)}[(5,3)]))^{3}\} \text{ and } U_{3}=\{\gamma_{3;3}(N_{(-2,3)}[(5,3)])\}.\]
  Thus combining them together we get the polytope $N_{h}$ and the associated Laurent polynomial
  \begin{figure}[H]
    \centering
    \includegraphics[width=150mm]{example2_equation.eps}
  \end{figure}

Then for example, for the proper face $S$ containing $(1,1,0),(5,3,0)$ and $(5,3,3)$, we find a linear map:
  $$\tilde{\tau}:\quad{\mathbb R}^{2}\quad\longrightarrow\quad{\mathbb R}^{3}$$
  such that $\tilde\tau{(1,0)}=(2,1,0)$ and $\tilde\tau{(0,1)}=(0,0,1)$. It can be checked that there is an isomorphism
  $$\tau:\quad N_{(-2,1)}|_{{\mathcal A}\'}\quad\longrightarrow\quad S$$
  which can induce $\tilde{\tau}$, where the initial exchange matrix $B\'$ of the cluster algebra ${\mathcal A}\'$ is
  \[B\'=\begin{pmatrix}
          0 & 1 \\
          -2 & 0
        \end{pmatrix}=\overline{W}^{\top}BW,\]
  as
  \[W=\begin{pmatrix}
        2 & 0 \\
        1 & 0 \\
        0 & 1
      \end{pmatrix},\qquad\overline{W}=\begin{pmatrix}
                                         1 & 0 \\
                                         1 & 0 \\
                                         0 & 1
                                       \end{pmatrix}\]
\end{Example}
\vspace{4mm}


\section{Application to relations among $F$-polynomials, $d$-vectors and $g$-vectors}
In this section, we will use the results in the last two sections to investigate some concrete relations among $F$-polynomials, $d$-vectors and $g$-vectors in a totally sign-skew-symmetric cluster algebra.

\subsection{From $F$-polynomials to $d$-vectors and $g$-vectors}\quad

\begin{Lemma}\label{non-maximal and non-minimal}
  Let ${\mathcal A}$ be a cluster algebra having principal coefficients. Denote by $p$ a vertex of $N_{h}$, and $p\'$ another vertex of the $k$-section at $p$ for some $k\in[1,n]$. If $l(\overline{pp\'})>[-deg_{x_{k}}(p)]_{+}$, then $-d_{k}(\rho_{h})<deg_{x_{k}}(p)<deg_{x_{k}}(\rho_{h})$, where $d_{k}(\rho_{h})$ denotes the $k$-th element of the denominator vector of $\rho_{h}$.
\end{Lemma}
\begin{Proof}
  There is nothing to say when the dimension is 0 or 1 since the assumption never holds. So in the we assume the dimension is at least 2.

  Let $K$ be the maximal section of $N_{h}$ at $p$ satisfying that $deg_{x_{k}}(q)=deg_{x_{k}}(p)$ for any point $q\in K$. Obviously, the segment connecting $p$ and $p\'$ lies in $K$. If $K$ is a face of $N_{h}$, then by Theorem \ref{properties in case tsss} (v), $K$ equals a polytope $N_{h\'}$ for some $h\'\in{\mathbb Z}^{r}$ with some $r\leqslant n$ up to translation. So according to the definition of $N_{h\'}$, we always have $l(\overline{pp\'})=[-deg_{x_{k}}(p)]_{+}$, which contradicts our assumption. Hence $K$ can not be a face of $N_{h}$.

  On the other hand, by Theorem \ref{expression of a cluster variable}, the $x_{k}$-degree of a point in $N_{h}$ is linearly dependent on its coordinates, which leads to that the convex hull of the set of points with maximal or minimal $x_{k}$-degree is a face of $N_{h}$. Therefore, combining above facts we get $-d_{k}(\rho_{h})<deg_{x_{k}}(p)<deg_{x_{k}}(\rho_{h})$.
\end{Proof}

According to the definitions of $N_{h}$ and $\rho_{h}$, for any $k\in [1,n]$, we have the following $x_{k}$-degree decomposition:
\[\rho_{h}=\sum\limits_{i=-d_{k}(\rho_{h})}^{deg_{x_{k}}(\rho_{h})}x_{k}^{i}\rho_{h}^{(i)} =\sum\limits_{i=-d_{k}(\rho_{h})}^{deg_{x_{k}}(\rho_{h})}x_{k}^{i}M_{k}^{[-i]_{+}}\rho_{h}^{(i;k)},\]
where $\rho_{h}^{(i)}=M_{k}^{[-i]_{+}}\rho_{h}^{(i;k)}$ and $\rho_{h}^{(i;k)}$ is a Laurent polynomial in ${\mathbb N}\P[x_{1}^{\pm},\cdots,x_{k-1}^{\pm},x_{k+1}^{\pm},\cdots,x_{n}^{\pm}]$.

\begin{Lemma}\label{P(0)}
  Let ${\mathcal A}$ be a cluster algebra with principal coefficients, $h\in H$. Then for any $k\in [1,n]$, we have

  (i)\;$M_{k}\nmid \rho_{h}^{(-d_{k}(\rho_{h});k)}$;\;\;\;
  (ii)\;$M_{k}\nmid \rho_{h}^{(deg_{x_{k}}(\rho_{h});k)}$. \;\;
\end{Lemma}
\begin{Proof}
  Note that the $x_{k}$-degree of a summand Laurent monomial of $\rho_{h}$ is linearly dependent on the coordinates of its corresponding point in $N_{h}$. Hence there must be a vertex $p$ in $N_{h}$ having maximal or minimal $x_{k}$-degree. Denote by $p\'$ the other vertex of $k$-section at $p$. Then by Lemma \ref{non-maximal and non-minimal}, $l(\overline{pp\'})\leqslant[-deg_{x_{k}}(p)]_{+}$. Hence there is no summand $P$ of $\rho_{h}$ such that $p$ is a summand of $P$ and $M_{k}^{[-deg_{x_{k}}(p)]_{+}+1}\mid P$.

  In particular, $M_{k}^{[d_{k}(\rho_{h})]_{+}+1}\nmid x_{k}^{-d_{k}(\rho_{h})}M_{k}^{[d_{k}(\rho_{h})]_{+}}\rho_{h}^{(-d_{k}(\rho_{h});k)}$ as well as $$M_{k}^{[-deg_{x_{k}}(\rho_{h})]_{+}+1}\nmid x_{k}^{deg_{x_{k}}(\rho_{h})}M_{k}^{[-deg_{x_{k}}(\rho_{h})]_{+}}\rho_{h}^{(-deg_{x_{k}}(\rho_{h});k)},$$ i.e, $M_{k}\nmid \rho_{h}^{(-d_{k}(\rho_{h});k)}$ as well as $M_{k}\nmid \rho_{h}^{(deg_{x_{k}}(\rho_{h});k)}$.
\end{Proof}

\begin{Example}
  (i)\;   When $-d_{k}(\rho_{h})<s<deg_{x_{k}}(\rho_{h})$, there can be $M_{k}\mid \rho_{h}^{(s;k)}$. Let the initial seed be as that in Example \ref{example}, then in the seed $\mu_{3}\circ\mu_{1}\circ\mu_{2}((X,\tilde{B}))$ there is a cluster variable
  \[\rho_{(0,0,-1)}=\frac{y_{3}(y_{2}^{3}y_{1}x_{2}^{3}x_{3}^{2}+(y_{2}x_{3}^{6}+x_{1}^{3})^{3})^{2}+x_{1}^{2}x_{2}^{6}}{x_{1}^{2}x_{2}^{6}x_{3}}.\]
  Hence $-d_{1}(\rho_{(0,0,-1)})=0$ and $deg_{x_{1}}(\rho_{(0,0,-1)})=16$. The summands with all $x_{1}$-degree 1 terms is $x_{1}\cdot6(y_{1}x_{2}^{3}+x_{3}^{16})y_{2}^{5}y_{3}x_{2}^{-6}x_{3}^{14}$. So $\rho_{(0,0,-1)}^{(1;1)}=6(y_{1}x_{2}^{3}+x_{3}^{16})y_{2}^{5}y_{3}x_{2}^{-6}x_{3}^{14}$. Since $M_{1}=y_{1}x_{2}^{3}+x_{3}^{16}$, we have $M_{1}\mid\rho_{(0,0,-1)}^{(1;1)}$ in this case.

  (ii)\;  Lemma \ref{P(0)} does not hold for any semifield $\P$. One counterexample is given in \cite{FK}. Let $\P=\{1\}$ and let the initial seed be $(X,B)$, where
    \[B=\left(\begin{array}{ccc}
                0 & 2 & -1 \\
                -2 & 0 & 1 \\
                1 & -1 & 0
              \end{array}\right).\]
  Then in seed $\mu_{1}\circ\mu_{2}\circ\mu_{3}((X,B))$ there is a cluster variable
  $\rho_{(0,0,-1)}|_{\P}=\frac{x_{1}^{2}+2x_{1}x_{2}+x_{2}^{2}+x_{3}}{x_{1}x_{2}x_{3}}.$

  We can see that $-d_{3}(\rho_{(0,0,-1)})=-1$,$M_{3}=x_{1}+x_{2}$ and $\rho_{(0,0,-1)}^{(-1;3)}=M_{3}$. So $M_{3}\mid \rho_{(0,0,-1)}^{(-d_{3}(\rho_{(0,0,-1)});3)}$.
\end{Example}

For any $i\in[1,n]$ and $t\in{\mathbb T}_{n}$, define a map
\[\phi_{i}^{t}:\; {\mathbb Z}\P[x_{1;t},\cdots,x_{n;t}]\longrightarrow {\mathbb Z}\P[x_{1;t},\cdots,x_{i-1;t},x_{i+1;t},\cdots,x_{n;t}]\]
such that $\phi_{i}^{t}(P)=P\mid_{x_{i;t}\rightarrow 0}$.
\begin{Theorem}\label{d-vector and lengths}
  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, $h\in H$. Then $[d_{k}(\rho_{h})]_{+}$ equals the maximal length of edges of $N_{h}$ parallel to the $k$-th coordinate axis for any $k\in [1,n]$.
\end{Theorem}
\begin{Proof}
  This is a direct corollary of Theorem \ref{properties in case tsss} (v), Lemma \ref{P(0)} and the fact that there must be a vertex of $N_{h}$ having minimal $x_{k}$-degree for any $k\in[1,n]$ we mentioned above.
\end{Proof}

The above relation between $d$-vectors and polytopes induces the positivity of $d$-vectors associated to non-initial cluster variables which was first come up as a conjecture in \cite{FZ4} and then proved in \cite{CL} for skew-symmetrizable case.
\begin{Theorem}\label{positivity of d-vectors}
  Let ${\mathcal A}$ be a TSSS cluster algebra and $x_{l;t}$ be a non-initial cluster variable in ${\mathcal A}$ with $l\in[1,n]$, $t\in{\mathbb T}_{n}$. Then $d_{l;t}\in{\mathbb N}^{n}$. More precisely, for any $k\in[1,n]$,
  $$d_{k}(x_{l;t})=\widetilde{deg}_{k}(P_{l;t})=\widetilde{deg}_{k}(\phi_{k}(P_{l;t})).$$
\end{Theorem}
\begin{Proof}
  Since this result is independent of the choice of the semifield $\P$, we can assume ${\mathcal A}$ has principal coefficients. If $d_{l;t}\not\in{\mathbb N}^{n}$, then there is $i\in[1,n]$ such that $d_{i}(x_{l;t})<0$.

  Thus, by Theorem \ref{d-vector and lengths}, $N_{g_{l;t}}$ lies in the hyperplane $z_{i}=0$ and $deg_{x_{i}}(\hat{Y}^{p}X^{g_{l;t}})\geqslant -d_{i}(x_{l;t})$ for any point $p\in N_{g_{l;t}}$. So according to the construction of $N_{g_{l;t}}$ and $N_{g_{l;t}+d_{i}(x_{l;t})e_{i}}$, we have \[N_{g_{l;t}}=\gamma_{i;0}(N_{\pi_{i}(g_{l;t})})=\gamma_{i;0}(N_{\pi_{i}(g_{l;t}+d_{i}(x_{l;t})e_{i})})=N_{g_{l;t}+d_{i}(x_{l;t})e_{i}}.\]
  Hence $x_{l;t}=\rho_{g_{l;t}}=x_{i}^{-d_{i}(x_{l;t})}\rho_{g_{l;t}+d_{i}(x_{l;t})e_{i}}$. So
  \begin{equation}\label{equation: in the proof of positivity of d-vectors}
    x_{l;t}=L^{t}(x_{i}^{-d_{i}(x_{l;t})}\rho_{g_{l;t}+d_{i}(x_{l;t})e_{i}})=L^{t}(x_{i}^{-d_{i}(x_{l;t})})L^{t}(\rho_{g_{l;t}+d_{i}(x_{l;t})e_{i}}) =(\rho^{t}_{g_{i;t_{0}}^{t}})^{-d_{i}(x_{l;t})}\rho^{t}_{h},
  \end{equation}
  where $h=(g_{l;t}+d_{i}(x_{l;t})e_{i})^{t}$.

  According to Theorem \ref{properties in case tsss}, $\rho^{t}_{g_{i;t_{0}}^{t}},\rho^{t}_{h}\in{\mathbb N} Trop(Y_{t})[X_{t}^{\pm}]$. So (\ref{equation: in the proof of positivity of d-vectors}) induces that both $\rho^{t}_{g_{i;t_{0}}^{t}}$ and $\rho^{t}_{h}$ are Laurent monomials, which means $g_{i;t_{0}}^{t},h\in{\mathbb N}^{n}$ and thus $x_{l;t}=X_{t}^{-d_{i}(x_{l;t})g_{i;t_{0}}^{t}+h}$. Hence $e_{l}=-d_{i}(x_{l;t})g_{i;t_{0}}^{t}+h$. It holds only when $g_{i;t_{0}}=e_{l}$, $d_{i}(x_{l;t})=-1$ and $h=0$, which contradicts the non-initial assumption.

  Therefore $d_{l;t}\in{\mathbb N}^{n}$.

  Thus by Theorem \ref{d-vector and lengths} we have $d_{k}^{t\'}(x_{l;t})=[-d_{k}^{t\'}(x_{l;t})]_{+}=\widetilde{deg}_{k}^{t\'}(\phi_{k}(P_{l;t}))$. Moreover, by Lemma \ref{general deg > d} and the definition of general degree we have
  \[d_{k}^{t\'}(x_{l;t})\leqslant\widetilde{deg}_{k}^{t\'}(P_{l;t})\leqslant\widetilde{deg}_{k}^{t\'}(\phi_{k}(P_{l;t})),\]
  so they are all equal.
\end{Proof}

For a cluster algebra ${\mathcal A}$ having principal coefficients, define a map
\[\psi:\; {\mathbb Z}\P[x_{1}^{\pm 1},\cdots,x_{n}^{\pm 1}]\longrightarrow{\mathbb Z}\P[x_{1},\cdots,x_{n}]\]
such that $\psi(x)=P$ when $x=PX^{\alpha}$, where $P\in{\mathbb Z}\P[x_{1},\cdots,x_{n}]$, $\alpha\in{\mathbb Z}^{n}$ and $P$ is coprime with $x_{i},i\in[1,n]$. Theorem \ref{expression of a cluster variable} means that
\[x_{l;t}=\frac{F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})}{F_{l;t}|_{\P}(y_{1},y_{2},\cdots,y_{n})}X^{g_{l;t}}
=F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})X^{g_{l;t}}.\]
Due to Theorem \ref{positivity of d-vectors},
\[P_{l;t}=\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})).\]
We obtain a map from above theorem
\begin{equation*}
  \varphi:\; \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $d$-vectors of }{\mathcal A}\}
\end{equation*}
such that \[\varphi(F_{l;t})=(\widetilde{deg}_{1}\circ\phi_{1}\circ\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})),\cdots,\widetilde{deg}_{n}\circ\phi_{n}\circ\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})))^{\top},\] which maps a $F$-polynomial associated to a non-initial cluster variable to the $d$-vector associated to the same cluster variable.

Again by Theorem \ref{expression of a cluster variable}, we can see that $X^{g_{l;t}}=\frac{p_{0}}{X^{d_{l;t}}}$ for any $l\in[1,n],t\in{\mathbb T}_{n}$, where $p_{0}$ is the unique summand monomial of $P_{l;t}$ with coefficient $1$. So we can also define a map from a $F$-polynomial associated to a non-initial cluster variable to the $g$-vector associated to the same cluster variable:
\begin{equation*}
  \theta_{1}:\; \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $g$-vectors of }{\mathcal A}\}
\end{equation*}
such that
\[\theta_{1}(F_{l;t})=(deg_{x_{1}}(\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))\mid_{y_{1}=\cdots=y_{n}=0}}{X^{\varphi(F_{l;t})}}),\cdots,deg_{x_{n}}(\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))\mid_{y_{1}=\cdots=y_{n}=0}}{X^{\varphi(F_{l;t})}}))^{\top}\]

In conclusion, we have the following theorem.

\begin{Theorem}\label{maps from $F$-polynomials}
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients. Then, for any $l=1,\cdots,n$ and $t\in {\mathbb T}_n$,

  (i)\; there is a surjective map
  \begin{equation*}
    \varphi:\; \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $d$-vectors of }{\mathcal A}\}
  \end{equation*}
  such that \[\varphi(F_{l;t})=(\widetilde{deg}_{1}\circ\phi_{1}\circ\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})),\cdots,\widetilde{deg}_{n}\circ\phi_{n}\circ\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})))^{\top};\]

  (ii)\; there is a bijective map
  \begin{equation*}
    \theta_{1}:\; \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial $g$-vectors of }{\mathcal A}\}
  \end{equation*}
  such that
  \[\theta_{1}(F_{l;t})=(deg_{x_{1}}(\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))\mid_{y_{1}=\cdots=y_{n}=0}}{X^{\varphi(F_{l;t})}}),\cdots,deg_{x_{n}}(\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))\mid_{y_{1}=\cdots=y_{n}=0}}{X^{\varphi(F_{l;t})}}))^{\top}.\]

  (iii)\; there is a bijective map
  \begin{equation*}
    \chi_{1}:\; \{\text{non-initial $F$-polynomials of }{\mathcal A}\}\longrightarrow\{\text{non-initial cluster variables of }{\mathcal A}\}
  \end{equation*}
  such that
  \[x_{l;t}=\chi_{1}(F_{l;t})=\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))}{X^{\varphi(F_{l;t})}}.\]
\end{Theorem}
\begin{Proof}
  (i)\; It is directly induced by Theorem \ref{positivity of d-vectors}.

  (ii)\; The surjectivity naturally holds by the definition of $\theta_{1}$ and that of $g$-vectors.

  On the other hand, if there are $l,l\'\in [1,n]$ and $t,t\'\in{\mathbb T}_{n}$ satisfying $\theta_{1}(F_{l;t})=\theta_{1}(F_{l\';t\'})$, then $F_{l;t}=\rho_{\theta_{1}(F_{l;t})}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}=\rho_{\theta_{1}(F_{l\';t\'})}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}=F_{l\';t\'}$. Hence $\theta_{1}$ is also injective.

  (iii)\; Following (i), we have $x_{l;t}=\frac{P_{l;t}}{X^{d_{l;t}}}=\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))}{X^{\varphi(F_{l;t})}}$, which means the surjectivity.

   On the other hand, since $F_{l;t}=P_{l;t}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$, the injectivity follows.
\end{Proof}

And the map $\chi_{1}$ directly leads to the following results:

\begin{Corollary}\label{$F$-polynomial uniquely determines cluater variable}
  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients with two non-initial cluster variables $x_{l;t}$, $x_{l\';t\'}$ and $F_{l;t}$, $F_{l\';t\'}$ be the $F$-polynomials associated to $x_{l;t}$, $x_{l\';t\'}$ respectively. If $F_{l;t}=F_{l\';t\'}$, then $x_{l;t}=x_{l\';t\'}$.
\end{Corollary}

\begin{Proposition}\label{cluster monomial}
  \cite{CL}Let ${\mathcal A}$ be a skew-symmetrizable cluster algebra having principal coefficients at some vertex and $t,t\'\in{\mathbb T}_{n}$. If $\prod\limits_{i=1}^{n}x_{i;t}^{a_{i}}=\prod\limits_{i=1}^{n}x_{i;t\'}^{a_{i}\'}$ and they are cluster monomials in $X_{t}$ and $X_{t\'}$ respectively, then for every $a_{i}\neq 0$, there is $j\in[1,n]$ such that $x_{i;t}=x_{j;t\'}$ and $a_{i}=a_{j}\'$.
\end{Proposition}

The following Corollary is a generalization of Proposition \ref{cluster monomial}.
\begin{Corollary}\label{cluster laurent monomial}
  Let ${\mathcal A}$ be a TSSS cluster algebra having principal coefficients, $t,t\'\in{\mathbb T}_{n}$ and $\alpha,\beta\in{\mathbb Z}^{n}$ are non-zero. If $X_{t}^{\alpha}=X_{t\'}^{\beta}$, then this is a permutation $\sigma$ of $[1,n]$ such that $x_{i;t}=x_{\sigma(i);t\'}$ and $\alpha_{i}=\beta_{\sigma(i)}$ for any $\alpha_{i}\neq 0$.
\end{Corollary}
\begin{Proof}
  \[X_{t\'}^{\beta}=X_{t}^{\alpha}=\prod\limits_{i=1}^{n}(\frac{P_{i;t}^{t\'}}{X_{t\'}^{d_{i;t}^{t\'}}})^{\alpha_{i}}\]
  is a laurent monomial in $X_{t\'}$. So $\prod\limits_{i=1}^{n}(P_{i;t}^{t\'})^{\alpha_{i}}$ is a laurent monomial. Let $I_{1}=\{i\in[1,n]\mid x_{i;t}\in X_{t\'}\}$, $I_{2}=[1,n]\setminus I_{1}$. By Corollary \ref{$F$-polynomial uniquely determines cluater variable}, $F_{i;t}^{t\'}\neq F_{j;t}^{t\'}$ , hence $P_{i;t}\neq P_{j;t}$ if $i\neq j$ and $i\in I_{2}$. So $\alpha_{i}=0$ for $i\in I_{2}$. Then there is a permutation $\sigma$ of $[1,n]$ such that $x_{i;t}=x_{\sigma(i);t\'}$ for $i\in I_{1}$ and
  \[\prod\limits_{i\in I_{1}}x_{\sigma(i);t\'}^{\alpha_{i}}=\prod\limits_{i=1}^{n}x_{i;t\'}^{\beta_{i}}.\]
  Therefore $\alpha_{i}=\beta_{\sigma(i)}$ for $i\in I_{1}$ and $\alpha_{i}=0$ for $i\in I_{2}$.
\end{Proof}

\begin{Theorem}\label{CL:compatible set}
  \cite{CL} \;For any skew-symmetrizable cluster algebra ${\mathcal A}$ and any collection $U$ of cluster variables in ${\mathcal A}$, if each pair in $U$ is contained in some cluster of ${\mathcal A}$, then there is a cluster of ${\mathcal A}$ containing $U$ as a subset.
\end{Theorem}

\begin{Lemma}\label{F=1}
  For any $l\in [1,n]$ and $t\in {\mathbb T}_{n}$, $x_{l;t}$ is an initial cluster variable if and only if $F_{l;t}=1$.
\end{Lemma}
\begin{proof}
  The necessity is directly from the definition of $F$-polynomials.

  By Theorem \ref{expression of a cluster variable}, we have
  \begin{equation*}
    x_{l;t}=\frac{F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n})}{F_{l;t}|_{\P}(y_{1},y_{2},\cdots,y_{n})}X^{g_{l;t}}.
  \end{equation*}
  So when $F_{l;t}=1$, $x_{l;t}$ is  a Laurent monomial of $X_{t_{0}}$ and of $X_{t}$ respectively. According to Corollary \ref{cluster monomial}, $x_{l;t}=x_{j}$ for some $j$, which shows the sufficiency.
\end{proof}

Then by Lemma \ref{F=1}, Theorem \ref{CL:compatible set} and Corollary \ref{$F$-polynomial uniquely determines cluater variable}, we have the following corollary:

\begin{Corollary}
  Let ${\mathcal A}$ be a skew-symmetrizable cluster algebra with $X_{t}$, $X_{t\'}$ two clusters. If $\{F_{i;t}\}_{i\in [1,n]}=\{F_{i;t'}\}_{i\in [1,n]}$, then $X_{t}=X_{t'}$.
\end{Corollary}
\begin{Proof}
  For convenience we order two sets of $F$-polynomials such that $F_{i;t}=F_{i;t\'}$ for any $i\in[1,n]$. If $F_{i;t}\neq 1$, by the last Lemma, $x_{i;t}$ is non-initial and so following Corollary \ref{$F$-polynomial uniquely determines cluater variable} we have $x_{i;t}=x_{i;t\'}$. If $F_{i;t}=1$, then $x_{i;t}$ is an initial cluster variable. Without lose of generality, we can order $F$-polynomials such that $F_{i;t}=1$ when $i\in[1,k]$ and $F_{i;t}\neq 1$ otherwise. Then it is enough to prove that given a set of cluster variables $x_{k+1;t},\cdots,x_{n;t}$, there is at most one $k$-set of initial cluster variables $x_{i_{1}},\cdots,x_{i_{k}}$ such that $(x_{i_{1}},\cdots,x_{i_{k}},x_{k+1;t},\cdots,x_{n;t})$ is a cluster.

  Assume there are two different $k$-set satisfying above condition, then by Theorem \ref{CL:compatible set} there is a cluster containing all of them. However there are totally at least $n+1$ variables. The contradiction completes the proof.
\end{Proof}

\subsection{From $g$-vectors to $F$-polynomials and $d$-vectors}\quad

The fact that a $g$-vector uniquely determines its corresponding cluster variable is already proved in \cite{GHKK} for skew-symmetrizable case, here in this subsection we would like to express the maps from a $g$-vector associated to a cluster variable to the $F$-polynomial and the $d$-vector associated to the same cluster variable respectively.

\begin{Theorem}\label{maps from $g$-vectors}
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients. Then, for any $l=1,\cdots,n$ and $t\in {\mathbb T}_n$,

  (i)\; there is a bijective map
  \begin{equation*}
    \theta_{2}:\; \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{$F$-polynomials of }{\mathcal A}\}\;\;\; \text{via}\;\;\;\theta_{2}(g_{l;t})=\rho_{g_{l;t}}\mid_{x_{i}\rightarrow 1,\forall i}.
  \end{equation*}
  In fact, we have $\theta_2=\theta_1^{-1}$ for the map $\theta_1$ in Theorem \ref{maps from $F$-polynomials};

  (ii)\; there is a surjective map
  \begin{equation*}
    \eta:\; \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{$d$-vectors of }{\mathcal A}\}\;\;\; \text{via}\;\;\;\eta(g_{l;t})=\text{denominator vector of } \rho_{g_{l;t}}.
  \end{equation*}

  (iii)\; there is a bijective map
  \begin{equation*}
    \chi_{2}:\; \{\text{$g$-vectors of }{\mathcal A}\}\longrightarrow\{\text{cluster variables of }{\mathcal A}\}
  \end{equation*}
  via
  \[x_{l;t}=\chi_{2}(g_{l;t})=\rho_{g_{l;t}}.\]
\end{Theorem}
\begin{Proof}
  According to Theorem \ref{properties in case tsss}, we have $x_{l;t}=\rho_{g_{l;t}}$ and $deg(\rho_{g_{l;t}})=g_{l;t}$, which lead to (iii). Moreover, (i) and (ii) follow from (iii), due to Theorem \ref{maps from $F$-polynomials} (ii) and the definitions of $F$-polynomials and $d$-vectors.
\end{Proof}

\begin{Remark}
  When ${\mathcal A}$ is a cluster algebra over a semifield $\P$, by Theorem \ref{maps from $F$-polynomials} (iii) and Theorem \ref{maps from $g$-vectors} (iii), for a cluster variable $x_{l;t}$ in ${\mathcal A}$, we have \[x_{l;t}=\frac{\psi(F_{l;t}|_{{\mathcal F}}(\hat{y}_{1},\hat{y}_{2},\cdots,\hat{y}_{n}))}{F_{l;t}|_{\P}(y_{1},y_{2},\cdots,y_{n})X^{\varphi(F_{l;t})}}\;\;\;\text{and }
  \;\;\; x_{l;t}=\frac{\rho_{g_{l;t}}}{\theta_{2}(g_{l;t})|_{\P}(y_{1},y_{2},\cdots,y_{n})},\]
  where $F_{l;t}$ is the $F$-polynomial associated to $x_{l;t}$ in the corresponding principal coefficients cluster algebra ${\mathcal A}_{prin}$  of $\mathcal A$.
\end{Remark}

Thus we obtain the relations among cluster variables, $g$-vectors, $F$-polynomials and $d$-vectors as the following diagram. Note that the maps from $\{F-polynomials\}$ are restricted in the subset consisting of non-initial $F$-polynomials since all initial $F$-polynomials equal to $1$.

\begin{figure}[H]
  \centering
  \includegraphics[width=80mm]{relation_graph.eps}
  \caption{Relation Diagram}\label{fig7}
\end{figure}

 A natural question is that whether we can construct a map from the set of $d$-vectors to one of the other three sets in Figure \ref{fig7}.
\begin{Problem}
  In a cluster algebra ${\mathcal A}$, is an element in $\mathcal{P}$ uniquely determined by its denominator vector in ${\mathbb Z}^{n}$? In particular, is the $g$-vector $g_{l,t}$ associated to a cluster variable $x_{l;t}$ determined uniquely by its denominator vector $d_{l;t}$?
\end{Problem}
The answer is positive in some special cases. For example, when ${\mathcal A}$ is of rank 2, according to Proposition \ref{polytope basis equals greedy basis}, $\mathcal{P}$ is the greedy basis whose elements are parameterized by denominator vectors. However, in general this is still an open question. We think that the Newton polytope might be helpful in considering this problem.
\vspace{4mm}



\section{Polytope basis for an upper cluster algebra}
Recall that in Theorem \ref{properties in case tsss}, we associate a (formal) Laurent polynomial $\rho_{h}^{pr}$ with each $h\in{\mathbb Z}^{n}$ in a cluster algebra with principal coefficients. While in a cluster algebra ${\mathcal A}$ over an arbitrary semifield ${\mathbb Z}\P$, let $F_{h}=\rho^{pr}_{h}|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and define a formal Laurent polynomial
\[\rho_{h}|_{\P}:=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{F_{h}|_{\P}(Y)}X^{h}\in{\mathbb N}\P[[X^{\pm 1}]].\]
We denote by $\widehat{\mathcal{P}}|_{\P}$ the set consisting of all such formal Laurent polynomials $\rho_h|_{\P}$, i.e.,
\[\widehat{\mathcal{P}_{\P}}=\{\rho_{h}|_{\P}\in{\mathbb N}\P[[X^{\pm 1}]]\mid h\in{\mathbb Z}^{n}\},\]
and $\mathcal{P}_{\P}=\{\rho_{h}|_{\P}\in{\mathbb N}\P[X^{\pm 1}]\mid h\in H\}$.

In this section, the subscript of semifield is always compatible with the cluster algebra we are talking about, so we omit the subscript for convenience. We want to take further discussion about $\rho_{h}$ to construct a basis of $\mathcal{U}({\mathcal A})$ for a TSSS cluster algebra ${\mathcal A}$.

\begin{Lemma}\label{universally positive elements}
   For a TSSS cluster algebra ${\mathcal A}$ with principal coefficients, a universally positive elements $f$ in $\mathcal{U}({\mathcal A})$ can be expressed as a ${\mathbb Z} Trop(Y)$-linear combination of $\mathcal{P}$, that is, $f=\sum\limits_{h\in H}a_{h}\rho_{h}$ with finitely many nonzero $a_{h}\in{\mathbb Z} Trop(Y)$.
\end{Lemma}

\begin{Proof}
  Without loss of generality we can assume $f$ is universally indecomposable and it is written as a Laurent polynomial in $X_{t_{0}}$.

  The universal indecomposability of $f$ leads to the fact that for any constant coefficient free summand monomial $p$ of $f$, there is another constant coefficient free summand monomial $p\'$ of $f$ satisfying $\frac{p}{p\'}= \hat{y}_{j}^{a}$ for some $j\in[1,n]$ and $a\in{\mathbb Z}$. Therefore, $f$ should be homogeneous under canonical ${\mathbb Z}^{n}$-grading, since $\hat{y}_{j}$ is homogeneous with degree $0$ for any $j\in[1,n]$. Denote this degree by $h(f)$.

  Let $N(f)$ be the corresponding polytope of $f$. Choose a minimal vector $w$ in $N(f)$. It corresponds to a summand monomial $\hat{Y}^{w}X^{h(f)}$ of $f$. Denote $h=h(f)+wB^{\top}$. Let $t_{k}$ be the vertex connected to $t_{0}$ by an edge labelled $k$ in ${\mathbb T}_{n}$ for any $k\in[1,n]$. Since $f$ is univerally positive, $L^{t_{k}}(f)$ is a positive Laurent polynomial in $X_{t_{k}}$. Then for any summand monomial $p$ of $f$, the sum of all summand monomials of $f$ having $x_{k}$-degree $deg_{x_{k}}(p)$ must be of the form
  \begin{equation}\label{equation in pf of univerally positive}
    x_{k}^{deg_{x_{k}}(p)}(1+\hat{y}_{k})^{[-deg_{x_{k}}(p)]_{+}}\sum\limits_{j}m_{j},
  \end{equation}
  where $m_{j}$ is a Laurent monomial in $X\setminus\{x_{k}\}$.

  Let $w\'\in V_{h}$. Then according to the definition of $V_{h}$, in $N_{h}$  there is a sequence $p_{0}=X^{h},p_{1},\cdots,p_{r}=\hat{Y}^{w\'}X^{h}$ and a sequence $i_{1},\cdots,i_{r}$ satisfying the conditions listed in the definition of $V_{h}$.

  Assume $p=\hat{Y}^{w+w\'}X^{h(f)}$ and $i_{r}=k$ (thus $deg_{x_{k}}(p)<0$). We then use induction on $r>0$ to prove that there is some $m_{j}$ in (\ref{equation in pf of univerally positive}) such that $$x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-[\epsilon_{r-1}]_{+}deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w+w\'}X^{h(f)}.$$

  When $r=1$, if there is no $m_{j}$ in (\ref{equation in pf of univerally positive}) such that $x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w+w\'}X^{h(f)}$, which is equivalent to there is no $m_{j}$ in (\ref{equation in pf of univerally positive}) such that $x_{k}^{deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w}X^{h(f)}$, then there is some $m_{j}$ and $s\in[1,-deg_{x_{k}}(p)]$ such that $\hat{Y}^{w}X^{h(f)}=x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{s}m_{j}$, which means there is a vector $w-se_{k}$ in $N_{f}$ less than $w$. This contradicts our choice of $w$. Hence there is some $m_{j}$ in  (\ref{equation in pf of univerally positive}) such that $$x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-deg_{x_{k}}(p)}m_{j} = \hat{Y}^{w+w\'}X^{h(f)}.$$

  Suppose when $r<l$, there is some $m_{j}$ in  (\ref{equation in pf of univerally positive}) such that $$x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-[\epsilon_{r-1}]_{+}deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w+w\'}X^{h(f)}.$$

  When $r=l$, if there is no $m_{j}$ in  (\ref{equation in pf of univerally positive}) such that $$x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-[\epsilon_{r-1}]_{+}deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w+w\'}X^{h(f)},$$
  then according to the mutation formula, the Laurent monomial corresponding to the cross is not a summand of $L^{t_{k}}(f)$ as showed in Figure \ref{figure: universally positive}. Here the red line in the left side corresponds to the red point in the right side.
  \begin{figure}[H]
    \centering
    \includegraphics[width=40mm]{universally_positive.eps}
    \caption{The shape of a part of $N(f)$ under mutation.}\label{figure: universally positive}
  \end{figure}
  Let $t\'$ be the vertex connected to $t_{k}$ by an edge labelled $i_{r-1}$ in ${\mathbb T}_{n}$. Since $L^{t\'}(f)$ is a positive Laurent polynomial in $X_{t\'}$, the Laurent monomial $Y^{w}p_{r-2}$ is a summand of $$x_{i_{r-1}}^{deg_{x_{i_{r-1}}}(p_{r-2})}\hat{y}_{i_{r-1}}^{-[\epsilon_{r-2}]_{+}(deg_{x_{i_{r-1}}}(p_{r-2})+s)}m_{j}$$
  for some $j$, where $s\in[1,-deg_{x_{i_{r-1}}}(p_{r-2})]$ rather than $s=0$. This contradicts the inductive assumption.

  Hence there is some $m_{j}$ in  (\ref{equation in pf of univerally positive}) such that $$x_{k}^{deg_{x_{k}}(p)}\hat{y}_{k}^{-[\epsilon_{r-1}]_{+}deg_{x_{k}}(p)}m_{j}=\hat{Y}^{w+w\'}X^{h(f)}.$$

  Moreover, the similar discussion as above at $\hat{Y}^{w\'}X^{h}$ in $E_{h}$ claims that for any $w\'\in E_{h}$, $k\in[1,n]$ satisfying $m_{k}(w\')=co_{w\'}(\rho_{h})>0$, there is unique $\epsilon_{w\',k}\in\{\pm 1\}$ such that $$m_{k}(w\')\hat{Y}^{w\'}X^{h}(1+\hat{y}_{k}^{\epsilon_{w\',k}})^{-deg_{x_{k}}(\hat{Y}^{w\'}X^{h})}$$ is a summand of $\rho_{h}$ as a complement of $m_{k}(w\')\hat{Y}^{w\'}X^{h}$ in direction $k$, and $$m_{k}(w\')\hat{Y}^{w+w\'}X^{h}(1+\hat{y}_{k}^{\epsilon_{w\',k}})^{-deg_{x_{k}}(\hat{Y}^{w\'}X^{h})}$$ is a summand of $f$.

  Then in $f-co_{\hat{Y}^{w}X^{h}}(f)Y^{w}\rho_{h}$, the vectors corresponding to Laurent monomials with negative constant coefficients are in $(N_{h}\setminus E_{h})[w]$. Denote by $W_{h}$ the set consisting of these vectors. Since the support of $f-co_{\hat{Y}^{w}X^{h}}(f)Y^{w}\rho_{h}$ is finite, we can find a minimal Laurent polynomial $\sum\limits_{u\in W_{h}}a_{u}\rho_{h(f)+uB}$ for some $a_{u}\in{\mathbb N}\P$ such that
  $$f-co_{\hat{Y}^{w}X^{h(f)}}(f)Y^{w}\rho_{h}+\sum\limits_{u\in W_{h}}a_{u}\rho_{h(f)+uB^{\top}}$$
  is universally positive. Denote it by $f_{1}$ and its corresponding polytope by $N(f_{1})$. Note that
  $$co_{\hat{Y}^{w}X^{h(f)}}(f_{1})=0,$$
  and $co_{\hat{Y}^{u}X^{h(f)}}(f_{1})=0$ for any $u\in W_{h}$ with $a_{u}\neq 0$ due to the minimality of $\sum\limits_{u\in W_{h}}a_{u}\rho_{h(f)+uB^{\top}}$.

  Since the origin is the unique minimal point in $N_{h}$, $u\geqslant w$ for any $u\in W_{h}$. So any minimal point $p$ in $N(f_{1})$, is either a minimal point in $N(f)$ or $p\geqslant w$. Moreover, if there is $u\in W_{h}$ such that the maximal point $p$ in $N_{h(f)+uB^{\top}}[u]$ is a maximal point in $N(f_{1})$, then similar to our above discussion (the maximal point case is dual to the minimal point case in the above), $co_{p}(N(f_{1}))\neq 0$ for any point $p\in E_{h(f)+w\'B^{\top}}[w\']$, in particular $co_{\hat{Y}^{w\'}X^{h(f)}}(f_{1})\neq 0$, which contradicts the fact. Hence there is no point $p\'$ in $N(f_{1})$ which is a maximal point in $N(f_{1})$ but not a maximal point in $N(f)$. So the set consisting of minimal points in $N(f_{1})$ is a proper subset of that of minimal points in $N(f)$ while the set consisting of maximal points in $N(f_{1})$ is a proper subset of that of maximal points in $N(f)$.

  Therefore, replacing $f$ by $f_{1},\cdots$, we can continue the above way to produce new universally positive element $f_{2},\cdots$, and will finally get 0 in finitely many times as the minimal point set becomes strictly smaller and the maximal point set becomes smaller. Combining these together we have an equation $f=\sum\limits_{h\in H}a_{h}\rho_{h}$ for some $a_{h}\in{\mathbb Z}\P$.
\end{Proof}

In Lemma \ref{universally positive elements}, $a_{h}$ is not necessarily in ${\mathbb N} Trop(Y)$. There is a characterization about  when $a_{h}$ is always in ${\mathbb N} Trop(Y)$ for a cluster algebra without coefficients of rank 2 in \cite{LLZ2}. So we may ask naturally how  it is in general rank case.
\begin{Problem}
  In Lemma \ref{universally positive elements}, for what kind of cluster algebras, is $a_{h}$ always in ${\mathbb N} Trop(Y)$?
\end{Problem}

A basis $\{\alpha_{s}\}_{s\in I}$ over ${\mathbb Z}\P$ is called \textbf{strongly positive} if for any $i,j\in I$, $\alpha_{i}\alpha_{j}=\sum\limits_{s\in I}a_{ij}^{s}\alpha_{s}$, where $a_{ij}^{s}\in{\mathbb N}\P$ for any $s\in I$.

\begin{Theorem}\label{positive}
  Let ${\mathcal A}$ be a TSSS cluster algebra with principal coefficients. Then $\mathcal{P}$ is a strongly positive ${\mathbb Z} Trop(Y)$-basis for the upper cluster algebra $\mathcal{U}({\mathcal A})$.
\end{Theorem}
\begin{Proof}
  First, we prove  that $\mathcal{U}({\mathcal A})$ is linearly generated by $\mathcal{P}$ over ${\mathbb Z} Trop(Y)$.

  Let $f$ be an element in $\mathcal{U}({\mathcal A})$ as a Laurent polynomial in $X$. Then $f$ has a decomposition $f=\sum\limits_{i=1}^{l}f_{i}$, where $f_{i}\neq 0$ is a summand of $f$ such that $f_{i}$ is a Laurent polynomial in $X_{t}$ for any $t\in{\mathbb T}_{n}$, and there is $t\in T_{n}$ for any proper summand $p$ of $f_{i}$ such that $p$ is not a Laurent polynomial in $X_{t}$. Then as we said before, $f_{i}$ is homogeneous under canonical ${\mathbb Z}^{n}$-grading since the exchange binomials are all homogeneous with degree $0$. Denote $h_{i}=deg(f_{i})$.

  Denote by $N_{i}$ the Newton polytope of $f_{i}$. For a minimal lattice point $p$ in $N_{i}$, according to the proof of Lemma \ref{universally positive elements}, the maximal point in $N_{h_{i}-pB^{\top}}[p]$ is not larger than a maximal point of $N_{i}$. Let $f_{i}^{(1)}=f_{i}-co_{p}(N_{i})\hat{Y}^{p}\rho_{h_{i}-pB^{\top}}$ and iteratively the above process on $f_{i}^{j}$ to get $f_{i}^{j+1}$. As explained in the proof of Lemma \ref{universally positive elements} it will stop in finitely many steps. Thus we decompose $f_{i}$ as a ${\mathbb Z} Trop(Y)$-linear combination of $\mathcal{P}$.

  Next, we need to show that $\mathcal{P}$ is linearly independent.

  Assume $\sum\limits_{i=1}^{l}a_{i}Y^{w_{i}}P_{h_i}=0$ for some $a_{i}\neq 0\in{\mathbb Z}$, $w_{i}\in{\mathbb Z}^{n}$ and $h_i\in H$ with $Y^{w_{i}}P_{h_i}\neq Y^{w_{j}}P_{h_j}$. Without loss of generality, we suppose all $a_{i}Y^{w_{i}}P_{h_i}$ have the same degree. Choose a minimal $w_{j}$ among all $w_{i}$. Then $co_{w_{j}}(\sum\limits_{i=1}^{l}N_{i}[w_{i}])=a_{j}\neq 0$, which contradicts our assumption. So $\mathcal{P}$ is linearly independent.

  In summary, we get that $\mathcal{P}$ is a ${\mathbb Z} Trop(Y)$-basis of $\mathcal{U}({\mathcal A})$.

  Finally we show that $\mathcal{P}$ is strongly positive.

  Choose arbitrary  $\rho_{h},\rho_{h\'}\in\mathcal{P}$. Then $\rho_{h}\rho_{h\'}=\sum\limits_{f}a_{f}\rho_{f}$ with $a_{f}\in{\mathbb Z}[Y^{\pm 1}]$. Therefore, we only need to prove that $a_{f}\in{\mathbb N}[Y]$.

  If $h,h\'\in{\mathbb N}^{n}$, then $\rho_{h}=X^{h}$ and $\rho_{h\'}=X^{h\'}$. So $\rho_{h}\rho_{h\'}=X^{h+h\'}=\rho_{h+h\'}$, the claim holds.

  Otherwise, at least one of $h,h\'$ is in ${\mathbb Z}^{n}\setminus{\mathbb N}^{n}$. Without loss of generality, suppose $h\in{\mathbb Z}^{n}\setminus{\mathbb N}^{n}$. Now we take induction on the partial order $\leqslant$ in the set of polytopes. Assume
  \begin{equation}\label{inductionpartial}
  \rho_{r}\rho_{h\'}=\sum\limits_{r\'\in{\mathbb Z}^{n}} c_{r\'}\rho_{r\'}
  \end{equation}
  where $c_{r\'}\in{\mathbb N}[Y]$ for any $\rho_{r},\rho_{h\'}\in\mathcal{P}$ with $N_{r}<N_{h}$.

  According to (\ref{equation: decomposition of rho_h for x_i}), we have a decomposition
  \[x_{i}\rho_{h}=\mathop{\sum}_{N_{\alpha}[w]\in\bigcup\limits_{s} U_{h}^{s},\atop \alpha\in {\mathbb Z}^n, w\in{\mathbb N}^n}Y^{w}\rho_{\alpha}=\sum\limits_{r\in{\mathbb Z}^{n}}b_{r}\rho_{r},\]
  where $b_{r}\in{\mathbb N}[Y]$ and there are only finitely many such $b_r$ being nonzero. Therefore,
  \begin{equation}\label{nonhyper}
  x_{i}\rho_{h}\rho_{h\'}=\sum\limits_{r\in{\mathbb Z}^{n}} b_{r}\rho_{r}\rho_{h\'}.
  \end{equation}
  Because $h\in{\mathbb Z}^{n}\backslash{\mathbb N}^{n}$, there is $i\in[1,n]$ such that $N_{h}$ is not in the hyperpane $z_{i}=0$. Then there must be more than one terms in the right-hand side of (\ref{nonhyper}). Then, combining (\ref{inductionpartial}) and (\ref{nonhyper}), we have
  $$x_{i}\rho_{h}\rho_{h\'}=\sum\limits_{r\in{\mathbb Z}^{n}}\sum\limits_{r\'\in{\mathbb Z}^{n}} b_{r}c_{r\'}\rho_{r\'}.$$

  Denote $J=\{(r,r\')\in{\mathbb Z}^{n}\times{\mathbb Z}^{n}|b_{r}c_{r\'}\neq 0\}$. Again due to the construction of strata, we can find a partition $J=\bigsqcup\limits_{\lambda\in\Lambda}J_{\lambda}$ where for any $\lambda\in\Lambda$, $J_{\lambda}$ consists of $(r, r')$ satisfying
  \begin{equation}\label{partition}
   \sum\limits_{(r,r\')\in J_{\lambda}}b_{r}c_{r\'}\rho_{r\'}=x_{i}Y^{w_{\lambda}}\rho_{f_{\lambda}}
   \end{equation}
  for some $w_{\lambda}\in{\mathbb N}^{n}$ and $f_{\lambda}\in{\mathbb Z}^{n}$. The partition $\bigsqcup\limits_{\lambda\in\Lambda}J_{\lambda}$ of $J$ can be calculated in the following way:

  Choose a minimal point $p\in N$, where $N$ is the polytope corresponding to $\rho_{h}\rho_{h\'}$, then with the help of the strata of $N_{h}$ for $x_{i}$, it can be calculated that the strata of $N_{h+h\'-pB^{\top}}[p]$ for $x_{i}$ are in $N$. Moreover it follows that $N_{h+h\'-pB^{\top}}[p]$ is a sub-polytope of $N$. So, we set $J_{\lambda_0}$ to consist of the parameters $(r, r')$ of the Laurent polynomials corresponding to these strata by (\ref{partition}) for $w_{\lambda_0}=p$ and $f_{\lambda_0}=h+h\'-pB^{\top}$ corresponding to one $\lambda_0\in \Lambda$. Then, we have
  $$\sum\limits_{(r,r\')\in J} b_{r}c_{r\'}\rho_{r\'}= \sum\limits_{(r,r\')\in J\backslash J_{\lambda_0}}b_{r}c_{r\'}\rho_{r\'}+ x_{i}\hat{Y}^{w_{\lambda_0}}\rho_{f_{\lambda_0}}.$$
  Let $N_{1}$ denote the sub-polytope of $N$ corresponding to $\sum\limits_{(r,r\')\in J\backslash J_{\lambda_0}}b_{r}c_{r\'}\rho_{r\'}$. Repeat the above process for $N_1,\cdots,{\mathbb N}_{j}$, then we can determine all $J_{\lambda}$ and thus obtain $J=\bigsqcup\limits_{\lambda\in\Lambda}J_{\lambda}$ as well as $\{(w_{\lambda},f_{\lambda})\}_{\lambda\in\Lambda}$.

  So in conclusion, we have $\rho_{h}\rho_{h\'}=\sum\limits_{\lambda\in\Lambda}\sum\limits_{(r,r\')\in J_{\lambda}}x_{i}^{-1}b_{r}c_{r\'}\rho_{r\'}=\sum\limits_{\lambda\in\Lambda}Y^{w_{\lambda}}\rho_{f_{\lambda}}$, thus $a_{f}=\sum\limits_{f_{\lambda}=f}Y^{w_{\lambda}}\in{\mathbb N}[Y]$ for $\rho_{h}\rho_{h\'}=\sum\limits_{f}a_{f}\rho_{f}$.
\end{Proof}

Due to Theorem \ref{positive}, we call $\mathcal{P}$ the {\bf polytope basis} of $\mathcal{U}({\mathcal A})$. Although this basis can be regarded as a generalization of greedy basis, we call it polytope basis instead of {\em greedy basis} since the method of polytopes is used effectively in the construction of $\mathcal{P}$.

However in general for a cluster algebra ${\mathcal A}$ over an arbitrary semifield $\P$, we find that $\mathcal{P}$ is a ${\mathbb Z}\P$-basis for a subalgebra of $\mathcal{U(A)}$ rather than $\mathcal{U(A)}$ itself. For this reason, we call the ${\mathbb Z}\P$-subalgebra generated by $\mathcal P$ the \textbf{intermediate cluster algebra} associated to ${\mathcal A}$, and denote it by $\mathcal{I_{P}(A)}$. In fact, we have:

\begin{Proposition}\label{positive over arbitray semifield}
  Let ${\mathcal A}$ be a cluster algebra over a semifield $\P$. Then $\mathcal{P}$ is a strongly positive ${\mathbb Z}\P$-basis for the intermediate cluster algebra $\mathcal{I_{P}(A)}$.
\end{Proposition}
\begin{Proof}
  First we prove that $\mathcal{P}$ is ${\mathbb Z}\P$-linearly independent, which is more complicated than that in the case for principal coefficients given in Theorem \ref{positive}.

  Let $P\in \mathcal{U}({\mathcal A})$ be a ${\mathbb N}\P$-linear combination of $\mathcal{P}$ as $P=\sum\limits_{i=1}^{l}a_{i}P_{i}$, where $a_{i}\in{\mathbb N}\P$ and $P_{i}\in\mathcal{P}$ is a universally indecomposable summand of $P$ for each $i\in[1,l]$. We claim such decomposition is unique.

  Assume there are two decompositions $P=\sum\limits_{i=1}^{l}a_{i}P_{i}=\sum\limits_{j=1}^{l\'}a\'_{j}P\'_{j}$, where $a_{i},a\'_{j}\in{\mathbb N}\P$ and $P_{i}=\rho_{h_{i}},P\'_{j}=\rho_{h\'_{j}}$ for some $h_{i},h\'_{j}\in H$ for each $i\in[1,l],j\in[1,l\']$. For any $k\in[1,n]$ and any summand monomial $p$ of $P$ with constant coefficient $1$, let $P\'$ be the sum of all summand monomials of $P$ with the same $x_{k}$-degree as that of $p$. So $P\'$ is of the form $P\'=x_{k}^{deg_{x_{k}}(p)}M_{k}^{[-deg_{x_{k}}(p)]_{+}}L$, where $L$ is a Laurent polynomial in ${\mathbb N}\P[X^{\pm 1}]$, and there is a (not necessarily unique) summand monomial $r_{k}$ of $L$ such that $p$ is a summand of $x_{k}^{deg_{x_{k}}(p)}M_{k}^{[-deg_{x_{k}}(p)]_{+}}r_{k}$. Denote
  \[J=\{p\mid p\text{ is a summand monomial of $P$ with constant coefficient $1$ and}\qquad\]
  \[\qquad \text{there is }r_{k}\text{ of }L\text{ such that }p=x_{k}^{deg_{x_{k}}(p)}(\frac{\prod\limits_{s=1}^{n}x_{s}^{[-b_{sk}]_{+}}}{y_{k}\oplus 1})^{[-deg_{x_{k}}(p)]_{+}}r_{k}, \forall k\in[1,n]\}.\]

  Recall that in principal coefficients case, $X^{h}$ is the only minimal summand monomial in $\rho_{h}$ and $\rho_{h}$ is universally indecomposable for any $h\in{\mathbb Z}$. Hence because of the decomposition $P=\sum\limits_{i=1}^{l}a_{i}P_{i}$, we have $J=\{\frac{a_{i}}{co_{X^{h_{i}}}(P)} X^{h_{i}}\mid i\in[1,l]\}$. On the other hand, $J=\{\frac{a\'_{j}}{co_{X^{h_{j}}}(P)} X^{h\'_{j}}\mid j\in[1,l\']\}$ due to the decomposition $P=\sum\limits_{j=1}^{l\'}a\'_{j}P\'_{j}$. Therefore the above two decompositions must be the same.

  So for any finite equation $\sum\limits_{h\in H}a_{h}\rho_{h}=0$, with $a_{h}\in{\mathbb Z}\P$, we get $\sum\limits_{h\in H}a\'_{h}\rho_{h}=\sum\limits_{h\in H}a^{\prime\prime}_{h}\rho_{h}$ with $a\'_{h},a^{\prime\prime}_{h}\in{\mathbb N}\P$. Following the above discussion, $a\'_{h}=a^{\prime\prime}_{h}$, i.e, $a_{h}=0$ for each $h\in H$.

  Due to $\rho_{h}|_{\P}=\frac{F_{h}|_{{\mathcal F}}(\hat{Y})}{F_{h}|_{\P}}X^{h}$, the strongly positivity in principal coefficients case leads to that in other semifield cases. Hence $\mathcal{P}$ is a strongly positive ${\mathbb Z}\P$-basis for $\mathcal{I_{P}(A)}$.
\end{Proof}

\begin{Remark}
  When ${\mathcal A}=\mathcal{U(A)}$, $\mathcal{P}$ is a strongly positive ${\mathbb Z}\P$-basis for it. 
  
  This is because ${\mathcal A}\subseteq\mathcal{I_{P}(A)}\subseteq\mathcal{U(A)}$ by Theorem \ref{properties in case tsss} and Proposition \ref{positive over arbitray semifield}, so ${\mathcal A}=\mathcal{U(A)}$ leads to ${\mathcal A}=\mathcal{I_{P}(A)=U(A)}$. 
\end{Remark}

We wonder whether $\mathcal{I_{P}(A)}$ coincides with $\mathcal{U(A)}$, and when does it happen if it is not the case in general. The following corollary of Theorem \ref{positive} and Proposition \ref{positive over arbitray semifield} provides an equivalent condition of $\mathcal{I_{P}(A)=U(A)}$.

\begin{Corollary}\label{equivalent condition for arbitrary semifield}
  Let ${\mathcal A}$ be a cluster algebra over a semifield $\P$. Then $\mathcal{I_{P}(A)=U(A)}$ if and only if for any universally indecomposable $f\in\mathcal{U(A)}$, there is $\tilde{f}\in\mathcal{U}(A_{prin})$ satisfying $a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=f$, where $a\in{\mathbb N}\P$, $F=L(\tilde{f})|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and $g$ is the degree of $\tilde{f}$.

  In particular, $\mathcal{I_{P}(A)=U(A)}$ if $B$ (or $\tilde{B}$ for geometric type) has full rank.
\end{Corollary}
\begin{Proof}
  (``only if''):\; Because $\mathcal{I_{P}(A)=U(A)}$, $\mathcal{P}$ is a ${\mathbb Z}\P$-basis of $\mathcal{U(A)}$. So for any universally indecomposable element $f\in\mathcal{U(A)}$, there is a unique ${\mathbb Z}\P$-linear combination $f=\sum\limits_{i} a_{i}\rho_{h_{i}}$ with finitely many $a_{i}\neq 0\in{\mathbb Z}\P$. Then because $f$ is universally indecomposable, we can find $\tilde{a}_{i}\in{\mathbb Z} Trop(Y)$ such that $\tilde{f}=\sum\limits_{i} \tilde{a}_{i}\rho_{h_{i}}\in\mathcal{U}({\mathcal A}_{prin})$ is universally indecomposable and $a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=f$ for some $a\in{\mathbb N}\P$, $F=L(\tilde{f})|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and $g$ being the degree of $\tilde{f}$.

  (``if''):\; Because for any universally indecomposable $f\in\mathcal{U(A)}$, there is $\tilde{f}\in\mathcal{U}(A_{prin})$ satisfying $a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=f$, where $a\in{\mathbb N}\P$, $F=L(\tilde{f})|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and $g$ is the degree of $\tilde{f}$, so for any $f$ which is indecomposable in $\mathcal{U(A)}$, similar to the proof of Theorem \ref{positive}, we can find a ${\mathbb Z}\P$-linear combination of $f$ in universally indecomposable elements with the help of the set analogous to $J$ in (i). So we assume $f$ is universally indecomposable. Then there is $\tilde{f}\in\mathcal{U}(A_{prin})$ satisfying $a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=f$, where $a\in{\mathbb N}\P$, $F=L(\tilde{f})|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and $g$ is the degree of $\tilde{f}$.

  Since $f$ is universally indecomposable, so is $\tilde{f}$. Then by Lemma \ref{universally positive elements} or Theorem \ref{positive}, we have a ${\mathbb Z} Trop(Y)$-linear combination of $\tilde{f}$ as $\tilde{f}=\sum\limits_{j}\tilde{c}_{j}\rho_{h_{j}}$ in $\mathcal{U}({\mathcal A}_{prin})$ for some $\tilde{c}_{j}\in{\mathbb Z} Trop(Y)$. Hence $f=a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=\sum\limits_{j}c_{j}\rho_{h_{j}}$ in $\mathcal{U(A)}$ for some $c_{j}\in{\mathbb Z}\P$. So $\mathcal{I_{P}(A)=U(A)}$.

  In particular, when $B$ or $\tilde{B}$ has full rank, for any universally indecomposable $f\in\mathcal{U(A)}$, there is unique $\tilde{f}\in\mathcal{U}(A_{prin})$ up to multiplying a Laurent monomial in $Y$ satisfying $a\frac{F|_{{\mathcal F}}(\hat{Y})}{F|_{\P}(Y)}X^{g}=f$, where $a\in{\mathbb N}\P$, $F=L(\tilde{f})|_{x_{i}\rightarrow 1,\forall i\in[1,n]}$ and $g$ is the degree of $\tilde{f}$. So in this case $\mathcal{I_{P}(A)=U(A)}$.
\end{Proof}

The following example given by Yan Zhou in \cite{Zh} is a counterexample where the condition in Corollary \ref{equivalent condition for arbitrary semifield} fails, thus $\mathcal{I_{P}(A)}\subsetneqq\mathcal{U(A)}$.
\begin{Example}[\cite{Zh}]
  Let ${\mathcal A}$ be the cluster algebra without coefficients associated to the exchange matrix
  \[B=\begin{pmatrix}
        0 & 2 & -2 \\
        -2 & 0 & 2 \\
        2 & -2 & 0
      \end{pmatrix}.\]
  Then $P:=\frac{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}{x_{1}x_{2}x_{3}}\in\mathcal{U}({\mathcal A})$ and it is universally indecomposable. But $P$ can not be written as a ${\mathbb Z}$-linear combination of $\mathcal{P}$. Otherwise by Corollary \ref{equivalent condition for arbitrary semifield} there must be $a_{1},a_{2},a_{3}\in{\mathbb Z} Trop(Y)$ satisfying $\tilde{P}=\frac{a_{1}x_{1}^{2}+a_{2}x_{2}^{2}+a_{3}x_{3}^{2}}{x_{1}x_{2}x_{3}}\in\mathcal{U}({\mathcal A}_{prin})$ and $a_{i}|_{y_{j}\rightarrow 1,\forall j\in[1,n]}=1$ for $i\in\{1,2,3\}$. However, by calculating the Laurent expression of $\tilde{P}$ in $X_{t_{i}}$, where $t_{i}$ is connected with $t_{0}$ by an edge labeled $i\in\{1,2,3\}$, we get that either $a_{3}y_{2}$ is a proper summand of $a_{1}$ and at the same time $a_{1}$ is a proper summand of $a_{3}y_{2}$ or $P$ has some monomial summand other than $x_{i}^{-1}x_{j}^{-1}x_{k}$, where $\{i,j,k\}=\{1,2,3\}$, which is impossible.
\end{Example}


\begin{Corollary}\label{semigroup}
  Let ${\mathcal A}$ be a cluster algebra over a semifield $\P$. Then for any $h,h\'\in{\mathbb Z}^{n}$, $\rho_{h+h\'}$ is a summand of $\rho_{h}\rho_{h\'}$. Hence $H$ is an additive sub-monoid of ${\mathbb Z}^{n}$.
\end{Corollary}
\begin{Proof}
  It is sufficient to deal with the principal coefficients case. Since $X^{h}$ and $X^{h\'}$ are summand of $\rho_{h}$ and $\rho_{h\'}$ respectively, $X^{h+h\'}$ is a summand of $\rho_{h}\rho_{h\'}$. Moreover, according to Theorem \ref{positive}, $\rho_{h}\rho_{h\'}=\sum\limits_{g}a_{g}\rho_{g}$ with $a_{g}\in{\mathbb N}[Y^{\pm}]$. Then because $\rho_{h+h\'}$ is the unique element in $\widehat{\mathcal{P}}$ having $X^{h+h\'}$ as a summand, $\rho_{h+h\'}$ is a summand of $\rho_{h}\rho_{h\'}$.
\end{Proof}

We would like to end this section with the following result showing that in many ``good" situations, $\rho_{h}$ is a Laurent polynomial for any $h\in{\mathbb Z}^{n}$ and hence $\mathcal{P}=\widehat{\mathcal{P}}$.

\begin{Proposition}
  Let ${\mathcal A}$ be a cluster algebra over a semifield $\P$. Then $\mathcal{P}=\widehat{\mathcal{P}}$ if and only if $\rho_{-e_{i}}\in\mathcal{P}$ for any $i\in[1,n]$.
\end{Proposition}
\begin{Proof}
  The necessity is due to the definition of $\widehat{\mathcal{P}}$. So, we only need to show the sufficiency. It is enough to deal with the case where ${\mathcal A}$ has principal coefficients. Assume $\rho_{-e_{i}}\in\mathcal{P}$ for any $i\in[1,n]$. $\rho_{e_{i}}=x_{i}\in\mathcal{P}$ for any $i\in[1,n]$. For any $h\in{\mathbb Z}^{n}$, denote $h=(h_{1},\cdots,h_{n})$. Hence $$h=\sum\limits_{i=1}^{n}h_{i}e_{i}=\sum\limits_{i=1}^{n}[h_{i}]_{+}e_{i}+\sum\limits_{i=1}^{n}[-h_{i}]_{+}(-e_{i}).$$ So according to Corollary \ref{semigroup}, we have $h\in H$. Hence, $\rho_{h}\in\mathcal{P}$, and thus $\mathcal{P}=\widehat{\mathcal{P}}$.
\end{Proof}

Motivated by applications to non-commutative Donaldson-Thomas theory,  Keller introduced the idea of maximal green sequences and reddening sequences in \cite{K,K2}. An equivalent definition for a skew-symmetric cluster algebra to admit reddening sequences is that it has $-e_{i}$ as a $g$-vector associated to some cluster variable for any $i\in[1,n]$ (see \cite{M} for more details). Hence the following result is a direct corollary of the above proposition.
\begin{Corollary}
  Let ${\mathcal A}$ be a skew-symmetric cluster algebra over a semifield $\P$. If ${\mathcal A}$ admits reddening sequences, then $\mathcal{P}=\widehat{\mathcal{P}}$.
\end{Corollary}




{\bf Acknowledgements:}\;  {\em This project is supported by the National Natural Science Foundation of China(No.12071422 and No.12131015).}

\emph{We thank Jiarui Fei, Fan Qin and R. Schiffler for their advice and pointing out faults in our original version. Also we thank Peigen Cao and Fan Qin for recommending us the example in \cite{Zh}.}




