Interpolating matrices (Q830664)

The main result is a matrix version of the Carleson theorem [\textit{L. Carleson}, Am. J. Math. 80, 921--930 (1958; Zbl 0085.06504)] which says that a sequence of points \(\Lambda=(\lambda_k)_{n\in\mathbb{N}}\) in the open unit disk \(\mathbb{D}\) is an interpolation sequence in \(H^\infty\) if and only if it is strongly separated. Here, \(\Lambda\) is replaced by a matrix sequence \(A=(A_n)_{n\in\mathbb{N}}\) (possibly with varying dimensions) with spectra in \(\mathbb{D}\) and interpolating means that for any bounded sequence \((\phi_n)_{n\in\mathbb{N}}\) in \(H^\infty\) there is a \(\varphi\in H^\infty\) such that \(\varphi(A_n)=\phi_n(A_n)\), \(n\in\mathbb{N}\). Strong separated means \(\inf_{z\in\mathbb{D}}\sup_{n\in\mathbb{N}}\prod_{k\ne n}|B_{A_k}(z)|>0\) in \(\mathbb{D}\) where \(B_M(z)\) is a Blaschke product whose zeros are eigenvalues of \(M\) (including multiplicity). An equivalent formulation is that the model spaces \(H_n=H^2\ominus B_{A_n}H^2\) are strongly separated. If the dimensions of the matrices \(A_n\) are uniformly bounded, then \((H_n)_{n\in\mathbb{N}}\) being a weakly separated Bessel system is an alternative equivalent condition for \(A\) to be interpolating.