Questions tagged [operator-norms]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
95 views

Operator norm for $\max\frac{\Vert x \Vert _1}{\sqrt {x'Cx}}$

Suppose $C$ is a $n$ by $n$ real symmetric matrix, and $x\in R^n$. Is there an operator norm of $C$ for $\max\frac{\Vert x \Vert _1}{\sqrt {x'Cx}}$? If I decompose $C$ into $A'A = C^{-1}$, It seems ...
ahala's user avatar
  • 163
6 votes
1 answer
414 views

Completely bounded norm for unital maps with completely positive sections

Consider a completely bounded unital map $\Phi: \mathbf M_h(\mathbb C) \to \mathbf M_k(\mathbb C)$. Suppose that $\Phi$ has right-inverse $\Psi$ which is completely positive. Is the operator norm of $\...
Niel de Beaudrap's user avatar
2 votes
0 answers
265 views

Maximum spectral norm of matrices with given anti-Hermitian part and Hermitian part's spectrum

Let $M\in M_n(\mathbb C)$ be a $n\times n$ matrix over the complex field. It can be written uniquely as $M=H+A$, where $H=H^*$ denotes its Hermitian part and $A=-A^*$ its anti-Hermitian part. Its ...
francesco999's user avatar
6 votes
1 answer
1k views

Inequality between nuclear norm and operator norm for positive definite matrices

I will use $\|\|_*$ to denote the nuclear norm (sum of singular values) and $\|\|_2$ to denote the operator norm / matrix 2-norm (largest singular value). Consider two positive definite $n \times n$ ...
macko's user avatar
  • 61
6 votes
3 answers
439 views

Norm estimation of identity plus two non-commuting self-adjoint operators

This is a problem that I have been stuck for a few months. Let $X$ be a Hilbert space and $A:B:X\to X$ be two non-commuting semi-positive self-adjoint bounded linear operators. Is it true that $$\|(I+...
John's user avatar
  • 483
5 votes
1 answer
1k views

Trace-norm of integral operator

Let me start by saying that I do appreciate any insight on this. So also if you have a partial result, please share it as a comment or answer. This is somewhat unrelated to what I normally do, so I ...
Jacob Augstine's user avatar
3 votes
0 answers
327 views

Norm of a singular integral operator

Let $H$ be the characteristic function of $(0,+\infty)$ and let us define for $(x,y)\in \mathbb R^2$, $x\not=y$ $$ k(x,y)=\frac{H(x+y)}{iπ(x-y)}. $$ For $u\in C^1_c(\mathbb R)$, we define for $x\in \...
Bazin's user avatar
  • 15.1k
0 votes
1 answer
531 views

Bounds on spectral norm of difference of powers of linear operators

Given bounded linear operators $A$ and $B$, with $||A-B||<\epsilon$, what is the tightest upper bound on $||A^n-B^n||$, for positive integer $n$? Additionally, for my specific situation, $A$ is ...
user47207's user avatar
15 votes
2 answers
1k views

Bounding the matrix norm of a commutator $[A,B]$ in terms of the norms of $A$ and $B$

The setup is as in this question: Given a norm $N$ over ${\bf M}_n(\mathbb C)$, it is a natural question to find the best constant $C_N$ such that $$N([A,B])\le C_N N(A)N(B),\qquad\forall A,B\in{\bf M}...
Wolfgang's user avatar
  • 13.2k
2 votes
0 answers
89 views

On design of a (preferrably unimodular) matrix

Assume each entry is in $\Bbb Z$. Say we want to solve $Ax=b$ where known $A$ is $n\times n$, unknown $x$ is $n\times1$ and $b$ is $n\times1$. The absolute value of minors of augmented matrix $[A|b]$...
Turbo's user avatar
  • 13.7k
4 votes
0 answers
83 views

Matrices with almost constant coefficient have a simple eigenvalue

As a by-product of a general result for bounded operators of a Banach space, I have the following: A matrix $L=(\ell_{ij})_{ij}$ that has almost constant coefficients in the sense that for some $c$,...
Benoît Kloeckner's user avatar
1 vote
1 answer
185 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$. ...
Fadil Kikawi's user avatar
0 votes
1 answer
729 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 ...
Don John Prep's user avatar
7 votes
0 answers
593 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 ...
Wouter's user avatar
  • 201
9 votes
2 answers
539 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\|}{\|...
Shake Baby's user avatar
  • 1,638
1 vote
1 answer
175 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}$...
worldreporter's user avatar
0 votes
1 answer
54 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 ...
Z. Alfata's user avatar
  • 640
5 votes
2 answers
2k 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 $(...
Obriareos's user avatar
  • 195
31 votes
0 answers
2k 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 ...
Mikhail Ostrovskii's user avatar
3 votes
2 answers
3k 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 ...
Matthias Ludewig's user avatar
7 votes
2 answers
185 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 ...
L. T. P. L.'s user avatar
-1 votes
1 answer
226 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 ...
Alex Wenxin Xu's user avatar
3 votes
1 answer
138 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 ...
R.N's user avatar
  • 209
2 votes
1 answer
436 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 ...
heller's user avatar
  • 481
5 votes
0 answers
249 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}\...
dohmatob's user avatar
  • 6,716
2 votes
1 answer
641 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 ...
Guillaume Dehaene's user avatar
1 vote
1 answer
624 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$.
Astro's user avatar
  • 185
1 vote
0 answers
1k 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}$ - ...
Krzysztof's user avatar
  • 351
12 votes
2 answers
924 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 ...
Asaf Shachar's user avatar
  • 6,611
14 votes
2 answers
2k 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\...
Denis Serre's user avatar
  • 51.5k
1 vote
0 answers
504 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 ...
squattyroo's user avatar
1 vote
2 answers
218 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=...
Twi's user avatar
  • 2,188
1 vote
0 answers
393 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)...
Brian Ding's user avatar
1 vote
0 answers
438 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_{...
gondolf's user avatar
  • 1,487
3 votes
1 answer
668 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 $...
Ormi's user avatar
  • 133
4 votes
1 answer
171 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\|,$$ ...
Yanqi QIU's user avatar
  • 769
4 votes
2 answers
440 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\|,\...
Denis Serre's user avatar
  • 51.5k
0 votes
1 answer
819 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} \...
user56711's user avatar
8 votes
1 answer
2k 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 ...
user61038's user avatar
  • 289
2 votes
1 answer
887 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 ...
Seva's user avatar
  • 22.8k
10 votes
2 answers
873 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 ...
Kate Juschenko's user avatar
6 votes
2 answers
392 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 \...
Seva's user avatar
  • 22.8k
15 votes
1 answer
857 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{...
Eusebio Gardella's user avatar
23 votes
3 answers
15k 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 ...
Paglia's user avatar
  • 807
17 votes
1 answer
713 views

A matrix completion problem

In their paper, Corners of normal matrices, Rajendra Bhatia and Man-Duen Choi asked the following question: Given a matrix pair $(B,C)$ where $B,C∈M_n$, does there exist matrices $A,D ∈ M_n$ such ...
Mustafa Said's user avatar
  • 3,679
5 votes
1 answer
520 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-...
Ważki_walor's user avatar
2 votes
0 answers
94 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 ...
Joseph Grcar's user avatar
1 vote
2 answers
452 views

Matrix-Norm equivalence with p-Norm [closed]

Let $A$ be a square Matrix and $||\cdot ||_p$ the induced Matrix norm 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|...
user35593's user avatar
  • 2,286
0 votes
1 answer
513 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$. ...
liubenyuan's user avatar
6 votes
1 answer
377 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} ...
Matthias Ludewig's user avatar