English

A spectral radius for matrices over an operator space

Operator Algebras 2025-07-15 v2 Functional Analysis

Abstract

With every operator space structure E\mathcal{E} on Cd\mathbb{C}^d, we associate a spectral radius function ρE\rho_{\mathcal{E}} on dd-tuples of operators. For a dd-tuple X=(X1,,Xd)Mn(Cd)X = (X_1, \ldots, X_d) \in M_n(\mathbb{C}^d) of matrices we show that ρE(X)<1\rho_{\mathcal{E}}(X)<1 if and only if XX is jointly similar to a tuple in the open unit ball of Mn(E)M_n(\mathcal{E}), that is, there is an invertible matrix SS such that S1XSMn(E)<1\|S^{-1}X S\|_{M_n(\mathcal{E})}<1, where S1XS=(S1X1S,,S1XdS)S^{-1} X S =(S^{-1} X_1 S, \ldots, S^{-1} X_d S). When E\mathcal{E} is the row operator space, for example, our spectral radius coincides with the joint spectral radius considered by Bunce, Popescu, and others, and we recover the condition for a tuple of matrices to be simultaneously similar to a strict row contraction. When E\mathcal{E} is the minimal operator space min(d)\min(\ell^\infty_d), our spectral radius ρE\rho_{\mathcal{E}} is related to the joint spectral radius considered by Rota and Strang but differs from it and has the advantage that ρE(X)<1\rho_{\mathcal{E}}(X)<1 if and only if XX is simultaneously similar to a tuple of strict contractions. We show that for a nc rational function ff with descriptor realization (A,b,c)(A,b,c), the spectral radius ρE(A)<1\rho_{\mathcal{E}}(A)<1 if and only the domain of ff contains a neighborhood of the noncommutative closed unit ball of the operator space dual E\mathcal{E}^* of E\mathcal{E}.

Keywords

Cite

@article{arxiv.2501.01325,
  title  = {A spectral radius for matrices over an operator space},
  author = {Orr Shalit and Eli Shamovich},
  journal= {arXiv preprint arXiv:2501.01325},
  year   = {2025}
}
R2 v1 2026-06-28T20:54:42.566Z