The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
56 views

Spectrum on an unbounded operator

Consider the operator $T_{c}=-\frac{d}{dx^{2}}+ c x^{2}$ with $c\in C^{*}$, $Re(c)>0$ defined on its domain $D_{c}=\{u\in L^{2}; T_{c}(u)\in L^{2}\}$. Put $c=a+ib$ avec $a>0$ et $b\in R$. ...
0
votes
1answer
42 views

A nice proof that completely bounded (cb) norm of transpose map on $ M_n $ is n

In my research of operator algebras and their connection with machine learning I of course use the well know result: For the map $ tr:M_n \to M_n $ denoting the transpose map of matrices (meaning ...
6
votes
0answers
123 views

Minimizing the operator norm of a sum of matrices

Given an $m\times n$ real matrix $C$. Let $a_i\in\{-1,1\}$ and $b_i\in\{-1,1\}$. Consider $$q=\left\|\text{diag}(a_1,\ldots,a_m)C + C\text{diag}(b_1,\ldots,b_n)\right\|$$ where the norm is the ...
8
votes
2answers
120 views

Equivalence between complex and real operator norms

Consider a real $m\times n$ matrix $A$ and the $p$-norms in $\mathbb{C}^n$ and $\mathbb{C}^m: \|x\|=\left(\sum|x_i|^p\right)^{1/p}$. One defines the real $p$-norm of $A$ as $\|A\|=\sup\frac{\|Ax\|}{\|...
0
votes
1answer
63 views

Matrix norm inequality for C*-Algebras [closed]

Let A a $C^*$-Algebra. I have already shown that the maps $Tr, \sigma: M_n(A)\rightarrow A$ given by $Tr((a_{ij})):=\sum_{i}a_{ii}$ and $\sigma\left(\left(a_{ij}\right)\right)=\sum_{i\text{, }j}a_{ij}$...
0
votes
1answer
43 views

Simplify the expression of $ T^+$ for an unbounded operator $T$?

For a negative unbounded operator $T$, what equals the operator $$ T^+ = \left[\frac{1}{2}(|T| + T) \right]^{**},$$ where $|T|= (T^2)^{1/2}$ and $A^{**} $ is the minimal closed extension of an ...
3
votes
2answers
549 views

Are Hilbert-Schmidt operators on separable Hilbert spaces “Hilbert Schmidt” on the space of Hilbert Schmidt Operators?

Let's consider a separable Hilbert space $(\mathcal H, \langle\cdot, \cdot\rangle_{\mathcal H})$ with Norm $||\cdot||_{\mathcal H} := \langle\cdot, \cdot\rangle^{1/2}_{\mathcal H},$ orthonomal basis $(...
23
votes
0answers
521 views

Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?

Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $||x|| = 1$ and $||Ax|| = ||A||$. The ...
3
votes
0answers
65 views

Unitizations of Banach algebras and matrix norms

Consider the short exact sequence of Banach algebras $0\rightarrow A\rightarrow A^+\rightarrow\mathbb{C}\rightarrow 0$ where $A$ is a Banach algebra without unit and $A^+$ denotes the unitization of $...
3
votes
2answers
230 views

Weak convergence implies norm convergence for trace class operators?

It is known that weak convergence implies norm convergence in $\ell^1(\mathbb{N})$, see e.g. here. Because of the typical analogies of the Schatten ideals $C_p \subset B(H)$ (where $H$ is a Hilbert ...
7
votes
2answers
153 views

Characterizing when matrices are 'dissipative'

An $n$ by $n$ matrix A is said to be dissipative with respect to a norm $\|\cdot \|$ if for all $x$ and $t\geq 0$, we have $\|e^{At}x\|\leq\|x\|$. Two matrices $A$ and $B$ are said to be jointly ...
-1
votes
1answer
189 views

How bad could $\|A^k\|$ be when $\rho(A) < 1-\delta$ [closed]

(Sorry, I do hate editing this many many times but let me try the last time) Gelfand's formula says that $$\lim_{k\rightarrow \infty} \|A^k\|^{1/k} = \rho(A)$$ I am wondering whether there is any ...
3
votes
1answer
126 views

$M_Λ(A) → A ⊗ M_Λ(C)$

I saw this in here. Let $A$ be a Banach algebra, and let $\Lambda$ be a non-empty set. We denote by $M_\Lambda(A)$ be the set of $\Lambda\times\Lambda$ matrices $(a_{ij})_{i,j\in\Lambda}$ with entries ...
2
votes
1answer
128 views

The definition of unitary fusion category

I just come across a definition of the unitary fusion category: A fusion category $\mathcal{C}$ over the complex number is said to be unitary if we have: We have a Hilbert space structure on each ...
5
votes
0answers
200 views

Eigenvalues of a certain product of matrices with special structure

Let $d$ and $c$ be positive integers and $q = dc$. Let $G$ be a $q$-by-$q$ positive semi-definite real matrix with eigenvalues all $\le 1$, and define the $q$-by-$2q$ matrix $A = [G\hspace{1em}\...
1
vote
0answers
84 views

Elementary bound on operator norm on symmetric tensors: reference request

My education didn't really cover Tensors very well, so I'm getting stumped by a quite elementary question. Let $T_k$ be a type k symmetric tensor. We can define the "operator norm" (or the induced ...
0
votes
1answer
182 views

Comparison of Lp norm of matrix and its entry wise norm. [closed]

I need to know the relation between operator norm of a matrix i.e. $ \Vert A\Vert_p$ for case of p=1 and 2 and its entry wise Frobenius norm $ \Vert A\Vert_F$.
1
vote
0answers
227 views

comparing norms of block-matrices

Let $k\in\mathbb{N}$ and let $d\in\mathcal{M}_k=\mathcal{B}(\ell_2^k)$ be a $k\times k$ diagonal matrix with strictly positive entries. Let now $x_1,\ldots,x_m\in\mathcal{M}_k\,\,(m\in\mathbb{N}$ - ...
11
votes
2answers
480 views

which norms can be realized as operator norms?

Assume $(V,∥∥_V),(W,∥∥_W)$ are both finite dimensional normed spaces. We have the induced operator norm on ${\rm Hom}(V,W)$. It turns out that the operator norm is induced by an inner product iff ...
5
votes
2answers
222 views

Norm of $n$-linear symmetric forms

Let $B$ be a symmetric bilinear form over a Euclidean space $E$. Say that $|B(v,v)|\le c\|v\|^2$ for every $v\in E$, for some $c\ge0$. Then $$4B(v,w)=B(v+w)+B(v-w)$$ yields $2|B(v,w)|\le c(\|v\|^2+\|w\...
1
vote
0answers
80 views

Epsilon-net of operator norm ball around Identity

Suppose I look at the set of matrices which are invertible and satisfy $$ \left\|A-Id\right\|_{op}<r $$ for some $r<1$, where $Id$ is the $n\times n$ identity matrix. An $\epsilon$-net of such ...
2
votes
0answers
184 views

Matrix norm on $L^p$ operator algebras

I have a question about the framework of $L^p$ operator algebras ($1<p<\infty$), i.e. norm-closed subalgebras of $B(L^p(X,\mu))$ for some measure space $(X,\mu)$ (see e.g. http://arxiv.org/pdf/...
1
vote
2answers
149 views

Norm of a matrix operator with a special structure

Let $\{\alpha_{n}\}_{n\in\mathbb{N}}$ be positive sequence such that $$\sum_{n=1}^{\infty}\alpha_n<\infty.$$ Question: Is there any chance to evaluate the operator norm of the matrix operator $$C=...
1
vote
0answers
140 views

Bound of spectral radius of polynomial of a complex matrix

I am trying to prove or disprove the following inequality. $$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$ where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and $W(A)...
1
vote
0answers
198 views

Bound the expectation of trace norm of random Hermitian matrix

Suppose $H_i$ are traceless $d\times d$ Hermitians, $X_i$ are Standard normal distribution for $1\leq i\leq d^2$. We would like to bound the following expectation on the trace norm $\mathbb{E}|\sum_{...
2
votes
1answer
409 views

Finding a norm on $ \mathbb{R}^X $ such that the “natural” embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry

Let $ (X,d) $ be a metric space and consider the function $ T:X \to \mathbb{R}^X$ such that $ T(x)(y) = 1$ if $ y = x $ and $ 0 $ for all other $ y $. Is there a norm on $ \mathbb{R}^X$ such that $ T $...
4
votes
1answer
90 views

CB-norm of mappings from a matrix space

The following result of Roger Smith is well known to operator algebraists: $$\| \phi: E \rightarrow M_n\|_{cb} =\| \phi^{(n)} \otimes id_{M_n}: E \otimes_{min}M_n \rightarrow M_n \otimes M_n\|,$$ ...
4
votes
2answers
269 views

Operator norm versus Hlawka inequality

Let $E$ be a finite dimensional normed vector space. If $E$ is $\ell^1$-embeddable, then the norm satisfies Hlawka inequality $${\bf(H)}\qquad\|x+y\|+\|y+z\|+\|z+x\|\le\|x\|+\|y\|+\|z\|+\|x+y+z\|,\...
0
votes
1answer
152 views

Relation between the subordinate norm and the spectral radius of a matrix

Let's define the following subordinate norm of a $(NM \times NM)$ matrix A norm as follows \begin{eqnarray*} ||A||_{2,b} = \mathrm{max}_{x \in \mathbb{C}^{NM}} \left \{ \frac{||A x||_b}{||x||_2} \...
4
votes
1answer
292 views

Equivalent Norms for the Dual of Sobolev / Bessel Spaces

Using standard notation, we refer to $H^s(\mathbb R) = W^{s,2}(\mathbb R)$ to be the Sobolev Hilbert spaces. As is often the case, it's natural to then consider properties of functions in $H^s(\mathbb ...
2
votes
1answer
108 views

Approximation with a rank-$1$ matrix

Given a matrix $A$ (generally speaking, complex and non-square), I want to find an identically-sized matrix $D$ with ${\rm rk} D\le 1$ to minimize the induced operator norm $\|A-D\|_2$. From the ...
9
votes
2answers
441 views

Continuity of the product map

Let $A$ be a $C^*$-algebra. Is it possible to characterize $A$ for which the product map defined by $$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$ is continuous with ...
6
votes
2answers
337 views

$\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$

Let $T$ be a linear operator acting on a finite-dimensional real or complex vector space. As a direct consequence (or rather a particular case) of the Riesz-Thorin theorem, we have $$ \|T\|_2 \le \...
14
votes
1answer
507 views

Operator norms of circulant matrices

The definition and basic properties of circulant matrices can be found here: http://en.wikipedia.org/wiki/Circulant_matrix. For complex numbers $a_1,\ldots,a_n$, I will use the notation $$ \mbox{...
11
votes
2answers
2k views

Hölder's inequality for matrices

I was wondering if the Hölder's inequality was true for matrix induced norms, i.e. if $$\|AB\|_1 \leq \|A\|_p\|B\|_q, \quad\forall p,q \in [1,\infty] \text{ s.t. } \tfrac{1}{p}+\tfrac{1}{q} = 1.$$ But ...
14
votes
1answer
510 views

A matrix completion problem

In their paper, "Corners of Normal Matrices," R. Bhatia and M.D. Choi ask the following question: Given a matrix pair $(B,C)$ where $B,C∈M_n$, does there exist matrices $A,D ∈ M_n$ such that the block ...
5
votes
1answer
236 views

An extreme point of the ball of the space of compact operators

It is very easy to see that the unit ball of $c_0$ has no extreme points. I was trying to spot any extreme points in the unit ball of the space of compact operators on a Hilbert space (a non-...
2
votes
0answers
66 views

Rank of the smallest rank-reducing perturbation of a general matrix

Let $A$ be a general $m \times n$ matrix (not necessarily square, and not necessarily of full rank). Let $\| \cdot \|$ be a norm for $m \times n$ matrices that is induced from a norm for $m$ vectors ...
1
vote
2answers
202 views

Matrix-Norm aquivalence with p-Norm [closed]

Let $A$ be a square Matrix and $||\cdot ||_p$ the induced Matrixnorm for $1 \leq p \leq \infty$. Is it true that $$||A||_p\leq \max(||A||_1,||A||_{\infty})?$$ For $p=2$ the answer is yes because $||A||...
0
votes
1answer
360 views

solving trace norm equality [closed]

Problem Formulation under what conditions can we solve $\mathrm{trace}(\mathbf{AB})=0$ ? or more specifically, when will $\mathrm{trace}(\mathbf{AB})=0$ implies that $\mathrm{trace}(\mathbf{B})=0$. ...
6
votes
1answer
213 views

Absolutely 2-summable operator on a Hilbert space

An bouneded linear operator $A \in L(X, Y)$ (here $X$, $Y$ are Banach spaces) is called absolutely $2$-summable if there exists a $C>0$ such that $$ \left( \sum_{j=1}^N \| A x_j\|_X^2 \right)^{1/2} ...
1
vote
0answers
99 views

expansion with respect to p-norms for p other than 2

Suppose I have an $d$-regular expander graph with $n$ vertices, where the stochastic version of its adjacency matrix $A$ (with entries $1/d$ and zero) has second eigenvalue $\lambda$. Let $x \in {\...
1
vote
0answers
241 views

Tensors with low spectral norm

Consider a tensor $T$ with six indices, $T_{(ii')(jj')(kk')}$, where each index goes from $1$ to $n$. We can think of $T$ as a linear map from $\mathbb{R}^n \otimes \mathbb{R}^n \otimes \mathbb{R}^n$ ...
5
votes
2answers
613 views

When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?

I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...
4
votes
2answers
2k views

bounding the trace of a matrix product by the operator norms; generalized Hölder inequality?

Let $A_i$ with $i=1,\dots,N$ and $p$ be real $M\times M$ matrices. Further, let $p$ be positive definite, i.e., $p\succ 0$, with $Tr(p)=1$. Let $0< a_i<1$ and $\sum_{i=1}^N a_i = 1$. Claim: $Tr(...
3
votes
1answer
434 views

injective tensor norms for real tensors

If $A$ is an element of $\mathbb{R}^n \otimes\mathbb{R}^n \otimes\mathbb{R}^n$, then define its injective tensor norm to be $$\|A\|_{\rm inj} := \max_{x,y,z\in \mathbb{R}^n, \|x\|=\|y\|=\|z\|=1} |\...
3
votes
2answers
907 views

How to prove the Hahn-Banach constructively

I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space. Thanks in advance for any helpful answers.
2
votes
2answers
246 views

Smooth dependence of the spectrum on the operator

I would like to know if there are theorems that state under which circumstances spectra of operator families depend smoothly on the parameter. To clarify, suppose I have a 1-parameter family $T_h$ of ...
5
votes
1answer
555 views

How can I see the “missing” Poisson center when the rank of the Poisson structure drops?

Recall that a Poisson algebra is a commutative algebra $A$ along with a bracket $\lbrace,\rbrace: A^{\otimes 2} \to A$ which is a Lie bracket and which is also a derivation in each variable. The ...
2
votes
1answer
428 views

Equivalence constante between factorization norm and trace norm

The factorization norm, sometimes also called $\gamma_2$ norm play an important role in (quantum) communication complexity and is defined for a $n\times n$ matrix $A$ by: $\gamma_2(A) = \max || A \...