Maximum entropy truncable positive definite sequences of analytic Toeplitz operators (Q4945156)

A sequence \((T_n)_{n\geq 1}\) of operators on a Hilbert space \(H\) is called positive definite if for each \(N\geq 1\), the Toeplitz matrix \([T_{i-j}]_{i,j=1}^N\) (where \(T_0:=I\), \(T_{-k}:=T^*_k\)) defines a positive definite operator on the orthogonal sum of \(N\) copies of~\(H\). It is known that positive definite sequences are in one-to-one correspondence with choice sequences on \(H\), i.e. sequences of operators \((R_n)_{n\geq 1}\) such that \(R_1\) is a contraction on \(H\) and for each \(n\geq 2\), \(R_n\) is a contraction from the defect space \(\mathcal D_{R_{n-1}} := \overline{\text{Ran}(I-R^*_{n-1} R_{n-1})^{1/2}}\) into \(\mathcal D_{R^*_{n-1}}\) [see \textit{C. Foias} and \textit{A. E. Frazho}, ``The commutant lifting approach to interpolation problems'' (1990, Zbl 0718.47010)]. In this paper, the author determines which choice sequences \((R_n)_{n\geq 1}\) on the Hardy space \(H^2\) give rise to a positive definite sequence \((T_n)_{n\geq 1}\) consisting of analytic Toeplitz operators, and which positive definite sequences \((T_n)_{n\geq 1}\) of analytic Toeplitz operators have the additional property that for each \(p\geq 1\), the truncated choice sequence \((R_1,R_2,\dots,R_p,0,0,\dots)\) also produces a positive definite sequence of analytic Toeplitz operators. (Such sequences \((T_n)_{n\geq 1}\) are called maximum entropy truncable.) An algorithm for producing the set of all maximum entropy truncable positive definite sequences of analytic Toeplitz operators is also presented. All these results are, unfortunately, too technical to describe here. Finally, an application to a certain moment problem on \(\mathbb{Z}^2\) is given. For the entire collection see [Zbl 0932.00048].