Contractive determinantal representations of stable polynomials on a matrix polyball (Q284771)

Let \(p\) be a polynomial in commuting indeterminates \(z_{ij}^{(r)}\), \(r=1,\dots,k\), \(i=1,\dots l_r\), \(j=1,\dots,m_r\), with \(p(0)=1\). Consider the matrix unit polyball \[ {\mathcal B}=\{(Z^{(1)},\dots,Z^{(k)})\in\mathbb{C}^{l_1\times m_1}\times\dots \times\mathbb{C}^{l_k\times m_k}:\|Z^{(r)}\|<1,r=1,\dots,k\}, \] where \(\|\cdot\|\) is the 2-operator norm. The authors prove that if \(p\) has no zeros in the closure \(\bar{\mathcal B}\), then there exist \(n=(n_1,\dots,n_k)\in\mathbb{Z}_+^k\) and \(K\in\mathbb{C}^{\sum_{r=1}^km_rn_r\times\sum_{r=1}^kl_rn_r}\), \(\|K\|<1\), so that \[ p=\det{(I-KZ_n)}, \] where \[ Z_n\in\bigoplus_{r=1}^k\,(Z^{(r)}\otimes I_{n_r}),\quad Z^{(r)}=[z_{ij}^{(r)}]\in\mathbb{C}^{l_r\times m_r}. \] In the abstract, they describe the methods of this interesting paper as follows: ``This result is obtained via a noncommutative lifting and a theorem on the singularities of minimal noncommutative structured system realizations.''