Separate continuity of the Lempert function of the spectral ball (Q968867)

Let \(A\) be an \(n \times n\) complex matrix and \(P_A(t)\) its characteristic polynomial. We write \(P_A(t)=t^n+\sum_{j=1}^n (-1)^j\sigma_j(A)t^{n-j}.\) We define the spectral radius \(r(A)\) of \(A\) by \(r(A)=\{|\lambda|:~P_A(\lambda)=0\}\). Then we have the spectral unit ball \(\Omega_n=\{A:~r(A) <1\}\). Notice that \(\Omega_n\) is a pseudoconvex domain. Set \(\sigma(A)=(\sigma_1(A),\cdots,\sigma_n(A))\). We define the symmetrized polydisc \(\mathbb{G}_n\) by \(\mathbb{G}_n=\sigma(\Omega_n)\). Let \(D\) be a domain in \(\mathbb{C}^n\) and \(\mathbb{D}\) the unit disc in \(\mathbb{C}^n\). For \(z, w \in D\), we define the Lempert function \(l_D(z, w)\) by \[ l_D(z, w)=\inf \{|\alpha|:~\exists \varphi \in \mathcal{O}(\mathbb{D}, D);\varphi(0)=z, \varphi(\alpha)=w\}. \] Let \(\mathcal{C}_n\) be the open set of cyclic matrices, where a matrix \(A\) is said to be cyclic if \(A\) admits a cyclic vector. Then the main result in this paper can be stated as follows: If \(A \in \Omega_n\), then \(\l_{\Omega_n}(A,\cdot)\) is a continuous function if and only if either \(A\) is scalor or \(A\in \mathcal{C}_2\) has two equal eigenvalues.