Diagonalization modulo a class of Orlicz ideals (Q852613)

According to \textit{T.~Kato} [``Perturbation theory for linear operators'' (Grundlehren 132, Springer--Verlag) (1976; Zbl 0342.47009)], \textit{R.~Carey} and \textit{J.~Pincus} [Am.\ J.\ Math.\ 98, 481--514 (1976; Zbl 0362.47007)], a self-adjoint operator is diagonalizable modulo the trace class if and only if it is purely singular. \textit{J.--B.\ Xia} [J.~Funct.\ Anal.\ 175, No.~2, 279--307 (2000; Zbl 0963.47015)] extended this result to commuting tuples \(A=(A_1, \dots, A_n)\) of self-adjoint operators on a (separable) Hilbert space \(\mathcal H\): for a given \(1<p<\infty\), \(A\) is simultaneously diagonalizable modulo the Schatten class \({\mathcal C}_p\) if and only if it is purely \(p\)-singular. The aim of the paper under review is to obtain a similar result for simultaneous diagonalization modulo a class of Orlicz ideals. Let \((G,H)\) be a pair of complementary Young's functions [cf.\ \textit{C.~Bennett} and \textit{R.~Sharpley}, ``Interpolation of operators'' (Pure and Applied Mathematics 129, Academic Press and Harcourt Brace Jovanovich) (1988; Zbl 0647.46057)]. The Orlicz ideal \({\mathcal C}_G\) is the set of all bounded operators \(B\) on \(\mathcal H\) such that \[ \lim_{N\to\infty}\inf\{\lambda>0 : \sum_{j=1}^N G(s_j(B)/\lambda)\leq 1\}<\infty, \] where \(s_j(B)\;(j\geq 1)\) are the \(s\)-numbers of \(B\). A regular Borel measure on \({\mathbb R}^n\) with compact support \(\mathcal X\) is called \(G\)-singular if \[ \int_0^1{{H(r^{-1}\mu(B(x,r)))}\over{\mu(B(x, r))}}{{dr}\over{r}}=\infty \text{ for } \mu\text{-a.e.\;} x\in{\mathcal X}, \] where \(B(x, r)\) denotes the open ball of center \(x\) and radius \(r\). The tuple \(A\) is said to be purely \(G\)-singular if the measure \[ \Delta\mapsto\mu_\xi(\Delta):=\langle{\mathcal E}(\Delta)\xi, \xi\rangle \] is \(G\)-singular for every \(\xi\neq 0\) in \(\mathcal H\) (\(\mathcal E\) denotes the spectral measure for \(A\)). The main result states that \(A\) is diagonizable modulo the Orlicz ideal \({\mathcal C}_G\) if and only if \(A\) is purely \(G\)-singular.