Half line Titchmarsh–Weyl m functions of vector-valued discrete Schrödinger operators

We show that the half-line m functions associated with the vector-valued discrete Schrödinger operators are the elements in the Siegel upper half space. We introduce a metric on the space of m functions associated to these operators. Then, we show that the action of transfer matrices on these m functions is distance decreasing.