1: \begin{definition}

2: Let $\mathcal S$ be the shift on Jacobi matrices, $\mathcal S J=S^{-1}J S$, and let $\mathcal F$ be the map from SMP- to Jacobi matrices, which was defined in Theorem \ref{thm:unitriples}. We define the Jacobi flow on SMP matrices as a dynamical system

3: $$

4: A^{(n+1)}=\mathcal J A^{(n)}, \quad A^{(0)}=A,

5: $$

6: generated by the map $\mathcal J$, which makes the following diagram commutative.

7: \begin{equation}\label{defjfg}

8: \begin{array}{ccc}

9:  \text{SMP} & \xrightarrow{\mathcal J}  & \text{SMP}  \\

10:    &   &    \\

11: _\mathcal F  \big\downarrow &   &  _\mathcal F \big\downarrow  \\

12:    &   &    \\

13: \text{Jacobi}  &  \xrightarrow{\mathcal S}  &  \text{Jacobi} 

14: \end{array}

15: \end{equation}

16: 

17: \end{definition}