Isometric embeddability of S_q^m into S_p^n

DOI10.1016/J.JFA.2021.109281MaRDI QIDQ2243166zbMATHOpenAlexFDO

Authors Arup Chattopadhyay, Guixiang Hong, Avijit Pal, Chandan Pradhan, Samya Kumar Ray

Publication date 11 November 2021

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.13164

zbMATH Keywords

isometric embeddingSchatten-\(p\) classmultiple operator integralKato-Rellich theorem

Mathematics Subject Classification ID

Norms of matrices, numerical range, applications of functional analysis to matrix theory (15A60) Isometric theory of Banach spaces (46B04) Local theory of Banach spaces (46B07) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Noncommutative measure and integration (46L51)

Abstract: In this paper, we study existence of isometric embedding of $S_q^m$ into $S_p^n,$ where $1leqpeqqleqinfty$ and $ngeqmgeq2.$ We show that for all $ngeqmgeq2$ if there exists a linear isometry from $S_q^m$ into $S_p^n$, where $(q,p)in(1,infty]imes(1,infty)cup(1,infty)setminus3imes1,infty$ and $peqq,$ then we must have $q=2.$ This mostly generalizes a classical result of Lyubich and Vaserstein. We also show that whenever $S_q$ embeds isometrically into $S_p$ for $(q,p)inleft(1,inftyight)imesleft[2,inftyight)cup[4,infty)imes1cupinftyimesleft(1,inftyight)cup[2,infty)imesinfty$ with $peqq,$ we must have $q=2.$ Thus, our work complements work of Junge, Parcet, Xu and others on isometric and almost isometric embedding theory on non-commutative $L_p$-spaces. Our methods rely on several new ingredients related to perturbation theory of linear operators, namely Kato-Rellich theorem, theory of multiple operator integrals and Birkhoff-James orthogonality, followed by thorough and careful case by case analysis. The question whether for $mgeq2$ and $1<q<2,$ $S_q^m$ embeds isometrically into $S_{i}nft{y}^n$, was left open in extit{Bull. London Math. Soc.} 52 (2020) 437-447.

Recommendations

• Isometric embeddings of metric \(Q\)-vector spaces into \(Q^N\)
• scientific article; zbMATH DE number 1379452
• Isometric embedding in \(\ell_ p\)-spaces
• Isometric full embeddings of \(DW(2n - 1,q)\) into \(DH(2n - 1,q^{2}\))
• Isometric embeddings of finite-dimensional $\ell_p$-spaces over the quaternions
• Upper bound for isometric embeddings ℓ₂^{𝑚}→ℓ_{𝑝}ⁿ
• Publication:4863281
• Isometric embeddings of pretangent spaces in \( E^n\)
• Isometric imbeddings of compact symmetric spaces
• Quasi-isometric embeddings of symmetric spaces

Cites work

• scientific article; zbMATH DE number 3113786 (Why is no real title available?)
• scientific article; zbMATH DE number 1880674 (Why is no real title available?)
• scientific article; zbMATH DE number 3226529 (Why is no real title available?)
• scientific article; zbMATH DE number 3288876 (Why is no real title available?)
• scientific article; zbMATH DE number 3025555 (Why is no real title available?)
• A classification for 2-isometries of noncommutative \(L_p\)-spaces
• A noncommutative martingale convexity inequality
• Analytic perturbation theory for matrices and operators. Licensed ed
• Applications of Uniform Convexity of Noncommutative L p -Spaces
• Aspects of the isometric theory of Banach spaces
• Embedding of \(C_q\) and \(R_q\) into noncommutative \(L_p\)-spaces, \(1 \leq p < q \leq 2\)
• Embedding of non-commutative \(L^p\)-spaces: \(p<1\)
• Embedding of the operator space OH and the logarithmic `little Grothendieck inequality'
• Embeddings of non-commutative \(L^p\)-spaces into preduals of finite von Neumann algebras
• Embeddings of non-commutative \(L_p\)-spaces into non-commutative \(L_1\)-spaces, \(1<p<2\)
• Embeddings of operator ideals into \(\mathcal{L}_p\)-spaces on finite von Neumann algebras
• Euclidean subspaces of the complex spaces \(\ell_p^n\) constructed by orbits of finite subgroups of \(SU(m)\)
• Fréchet differentiability of \(\mathcal{S}^p\) norms
• Isometric embeddings between classical Banach spaces, cubature formulas, and spherical designs
• Isometric embeddings of finite-dimensional $\ell_p$-spaces over the quaternions
• Isometries of non-commutative L^p-spaces
• Isometries on Banach spaces: Vector-valued function spaces. Vol. 2
• Lower bounds for projective designs, cubature formulas and related isometric embeddings
• Mixed-norm inequalities and operator space \(L_p\) embedding theory
• Multilinear operator integrals. Theory and applications
• Multiple operator integrals and higher operator derivatives
• ORTHOGONALITY AND PARALLELISM OF OPERATORS ON VARIOUS BANACH SPACES
• On Hilbert-Schmidt compatibility
• On isometric embedding \(\ell_p^m \to S_\infty\) and unique operator space structure
• On subspaces of L\(^p\)
• On subspaces of non-commutative \(L_{p}\)-spaces.
• On the isometries of certain function-spaces
• Operator Integrals, Spectral Shift, and Spectral Flow
• Operator space embedding of Schatten \(p\)-classes into von Neumann algebra preduals
• Operator space structures on $\ell^1(n)$
• Orthogonality in linear metric spaces
• Orthogonality in normed linear spaces
• Perturbation theory for linear operators.
• Rosenthal's theorem for subspaces of noncommutative \(L_p\)
• Sharp uniform convexity and smoothness inequalities for trace norms
• Spectral shift function of higher order
• Subspaces of \(L_p\) isometric to subspaces of \(\ell_p\)
• THE OPERATOR HILBERT SPACE OH AND TYPE III VON NEUMANN ALGEBRAS
• The Theory of p-Spaces with an Application to Convolution Operators
• The complex convexity of quasi-normed linear spaces
• The isometries of \(C_p\)
• Upper bound for isometric embeddings ℓ₂^{𝑚}→ℓ_{𝑝}ⁿ
• \({\mathcal COL}_p\) spaces -- the local structure of non-commutative \(L_p\) spaces

Cited in

(4)

• On isometric embedding \(\ell_p^m \to S_\infty\) and unique operator space structure
• Planes in Schatten-$3$
• Isometric embeddings of finite-dimensional $\ell_p$-spaces over the quaternions
• Upper bound for isometric embeddings ℓ₂^{𝑚}→ℓ_{𝑝}ⁿ

This page was built for publication: Isometric embeddability of \(S_q^m\) into \(S_p^n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2243166)