1: \begin{definition}

2:   \label{def:non-branching}

3:   It follows from Theorem \ref{thm:non-branching} that we can

4:   associate with $\sttilt A$ an \emph{exchange graph} whose

5:   vertices are basic support $\tau$-tilting $A$-modules and there

6:   is an edge between two non-isomorphic support $\tau$-tilting

7:   $A$-modules $M$ and $N$ if and only if the following

8:   holds:

9:   \begin{itemize}

10:   \item There exists an idempotent $e\in A$ such that

11:     $M,N\in\mod(A/\langle e\rangle)$.

12:   \item There exists an almost-complete $\tau$-tilting

13:     $(A/\langle e\rangle)$-module $U$ such that $U\in\add M$ and

14:     $U\in\add N$.

15:   \end{itemize}

16:   In this case we say that $M$ and $N$ are obtained from each

17:   other by mutation.

18:   Note that this exchange graph is $n$-regular, where $|A|=n$ is

19:   the number of simple $A$-modules.

20:   It is shown in \cite[Cor. 2.31]{adachi_tau-tilting_2012} that

21:   the underlying graph of $Q(\sttilt A)$ coincides with the

22:   exchange graph of $\sttilt A$.

23: \end{definition}

24: