Search arXivSearch

arXiv · 2006.03137

The Spectral Picture and Joint Spectral Radius of the Generalized Spherical Aluthge Transform

Abstract

For an arbitrary commuting $d$--tuple $\bT$ of Hilbert space operators, we fully determine the spectral picture of the generalized spherical Aluthge transform $\dbT$ and we prove that the spectral radius of $\bT$ can be calculated from the norms of the iterates of $\dbT$. \ Let $\bm{T} \equiv (T_1,\cdots,T_d)$ be a commuting $d$--tuple of bounded operators acting on an infinite dimensional separable Hilbert space, let $P:=\sqrt{T_1^*T_1+\cdots+T_d^*T_d}$, and let $$ \left( \begin{array}{c} T_1 \\ \vdots \\ T_d \end{array} \right) = \left( \begin{array}{c} V_1 \\ \vdots \\ V_d \end{array} \right) P $$ be the canonical polar decomposition, with $(V_1,\cdots,V_d)$ a (joint) partial isometry and $$ \bigcap_{i=1}^d \ker T_i=\bigcap_{i=1}^d \ker V_i=\ker P. $$ \medskip For $0 \le t \le 1$, we define the generalized spherical Aluthge transform of $\bm{T}$ by $$ Δ_t(\bm{T}):=(P^t V_1P^{1-t}, \cdots, P^t V_dP^{1-t}). $$ We also let $\left\|\bm{T}\right\|_2:=\left\|P\right\|$. \ We first determine the spectral picture of $Δ_t(\bm{T})$ in terms of the spectral picture of $\bm{T}$; in particular, we prove that, for any $0 \le t \le 1$, $Δ_t(\bm{T})$ and $\bm{T}$ have the same Taylor spectrum, the same Taylor essential spectrum, the same Fredholm index, and the same Harte spectrum. \ We then study the joint spectral radius $r(\bm{T})$, and prove that $r(\bm{T})=\lim_n\left\|Δ_t^{(n)}(\bm{T})\right\|_2 \,\, (0 < t < 1)$, where $Δ_t^{(n)}$ denotes the $n$--th iterate of $Δ_t$. \ For $d=t=1$, we give an example where the above formula fails.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chafiq Benhida, Raul E. Curto, Sang Hoon Lee, Jasang Yoon. 2020-06-04. The Spectral Picture and Joint Spectral Radius of the Generalized Spherical Aluthge Transform. https://doi.org/10.1016/j.aim.2022.108602

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Conditional expectation operators on $C(X)$

At the COSAEF conference in 2021, several participants asked the question whether a conditional expectation operator in the sense of Kuo, Labaushagne and Watson could be constructed in vector lattices other than $\mathcal{L}_p$ spaces and in particular in $C(X)$. This work answers positively to this question and participates in an old discussion on integrals in $C(X)$ space.

math.FA

Hypercontractivity for a family of quantum Ornstein-Uhlenbeck semigroups

We show that a family of quantum Ornstein-Uhlenbeck semigroups is hypercontractive. We also obtain the optimal order of the optimal time up to a constant. The main ingredient of our proof is Meixner polynomials. The goal of this paper is twofold: to provide more examples of hypercontractive quantum Markov semigourps on non-tracial von Neumann algebras, and to determine the optimal order of the optimal time for quantum Ornstein-Uhlenbeck semigroups.

math.FA

Fixed Point Rigidity of the Operator $Γ_pΠ_p^\ast$ and the LYZ Conjecture

We characterize the fixed points of the operator $Γ_pΠ_p^\ast$ for $n\geq 3$ and $1 0$ if and only if $K$ is an origin-centered ellipsoid, thereby settling the Lutwak--Yang--Zhang fixed-point conjecture in this range. Our proof is based on a variational analysis along linear reflection shadow systems. To address the nonlinear structure of the $L_p$ setting, we introduce the $L_p$-Projection Rolodex, which provides a dimensional reduction of the volume of the polar $L_p$-projection body to weighted lower-dimensional sectional functionals. A suitable change of variables, together with Ball's harmonic Prékopa--Leindler inequality, yields the convexity needed along the shadow system. Under the fixed-point condition, a first-variation identity then forces $\operatorname{vol}_n(Π_p^\ast K_t)$ to remain constant throughout the deformation. The rigidity statement follows from the equality characterization under Steiner symmetrization.

math.FA