Mathematical norm

Schatten norm

2 min read
In 5 languages

In mathematics, specifically functional analysis, the Schatten norm (or Schatten–von-Neumann norm) arises as a generalization of p-integrability similar to the trace class norm and the Hilbert–Schmidt norm.

Definition

Let $H_{1}$ , $H_{2}$ be Hilbert spaces, and $T$ a (linear) bounded operator from $H_{1}$ to $H_{2}$ . For $p\in [1,\infty)$ , define the Schatten p-norm of $T$ as

\|T\|_{p}=[\operatorname {Tr} (|T|^{p})]^{1/p},

where $|T|:={\sqrt {(T^{*}T)}}$ , using the operator square root.

If $T$ is compact and $H_{1},\,H_{2}$ are separable, then

\|T\|_{p}:={\bigg (}\sum _{n\geq 1}s_{n}^{p}(T){\bigg)}^{1/p}

for $s_{1}(T)\geq s_{2}(T)\geq \cdots \geq s_{n}(T)\geq \cdots \geq 0$ the singular values of $T$ , i.e. the eigenvalues of the Hermitian operator $|T|:={\sqrt {(T^{*}T)}}$ .

Special cases

The Schatten 1-norm is the nuclear norm (also known as the trace norm, or the Ky Fan n-norm).
The Schatten 2-norm is the Frobenius norm.
The Schatten ∞-norm is the spectral norm (also known as the operator norm, or the largest singular value).

Properties

In the following we formally extend the range of $p$ to $[1,\infty]$ with the convention that $\|\cdot \|_{\infty }$ is the operator norm. The dual index to $p=\infty$ is then $q=1$ .

The Schatten norms are unitarily invariant: for unitary operators $U$ and $V$ and $p\in [1,\infty]$ ,

\|UTV\|_{p}=\|T\|_{p}.

They satisfy Hölder's inequality: for all $p\in [1,\infty]$ and $q$ such that ${\frac {1}{p}}+{\frac {1}{q}}=1$ , and operators $S\in {\mathcal {L}}(H_{2},H_{3}),T\in {\mathcal {L}}(H_{1},H_{2})$ defined between Hilbert spaces $H_{1},H_{2},$ and $H_{3}$ respectively,

\|ST\|_{1}\leq \|S\|_{p}\|T\|_{q}.

If $p,q,r\in [1,\infty]$ satisfy ${\tfrac {1}{p}}+{\tfrac {1}{q}}={\tfrac {1}{r}}$ , then we have

\|ST\|_{r}\leq \|S\|_{p}\|T\|_{q}

The latter version of Hölder's inequality is proven in higher generality (for noncommutative $L^{p}$ spaces instead of Schatten-p classes) in. (For matrices the latter result is found in.)

Sub-multiplicativity: For all $p\in [1,\infty]$ and operators $S\in {\mathcal {L}}(H_{2},H_{3}),T\in {\mathcal {L}}(H_{1},H_{2})$ defined between Hilbert spaces $H_{1},H_{2},$ and $H_{3}$ respectively,

\|ST\|_{p}\leq \|S\|_{p}\|T\|_{p}.

Monotonicity: For $1\leq p\leq p'\leq \infty$ ,

\|T\|_{1}\geq \|T\|_{p}\geq \|T\|_{p'}\geq \|T\|_{\infty }.

Duality: Let $H_{1},H_{2}$ be finite-dimensional Hilbert spaces, $p\in [1,\infty]$ and $q$ such that ${\frac {1}{p}}+{\frac {1}{q}}=1$ , then

\|S\|_{p}=\sup \lbrace |\langle S,T\rangle |\mid \|T\|_{q}=1\rbrace,

where

\langle S,T\rangle =\operatorname {tr} (S^{*}T)

denotes the Hilbert–Schmidt inner product.

Let $(e_{k})_{k},(f_{k'})_{k'}$ be two orthonormal basis of the Hilbert spaces $H_{1},H_{2}$ , then for $p=1$

\|T\|_{1}\leq \sum _{k,k'}\left|T_{k,k'}\right|.

Remarks

Notice that $\|\cdot \|_{2}$ is the Hilbert–Schmidt norm (see Hilbert–Schmidt operator), $\|\cdot \|_{1}$ is the trace class norm (see trace class), and $\|\cdot \|_{\infty }$ is the operator norm (see operator norm).

Note that the matrix p-norm is often also written as $\|\cdot \|_{p}$ , but it is not the same as Schatten norm. In fact, we have $\|A\|_{{\text{matrix p-norm}},2}=\|A\|_{{\text{Schatten}},\infty }$ .

For $p\in (0,1)$ the function $\|\cdot \|_{p}$ is an example of a quasinorm.

An operator which has a finite Schatten norm is called a Schatten class operator and the space of such operators is denoted by $S_{p}(H_{1},H_{2})$ . With this norm, $S_{p}(H_{1},H_{2})$ is a Banach space, and a Hilbert space for p = 2.

Observe that $S_{p}(H_{1},H_{2})\subseteq {\mathcal {K}}(H_{1},H_{2})$ , the algebra of compact operators. This follows from the fact that if the sum is finite the spectrum will be finite or countable with the origin as limit point, and hence a compact operator (see compact operator on Hilbert space).

In 5 languages

English Deutsch 日本語 русский 中文

Text from Wikipedia, CC BY-SA 4.0 · Source article