Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

The tag has no usage guidance.

14
votes
3answers
476 views

$\sup \left\| A x + B y\right\|$ subject to $\left\|x\right\| = \left\|y\right\| = 1$

I'm interested in $$\sup_{x, y} \left\| A x + B y\right\|$$ subject to $$\left\|x\right\| = \left\|y\right\| = 1$$ where $A$, $B$ and $x$, $y$ are real matrices and vectors, respectively, of ...
0
votes
1answer
44 views

Quasiconvexity property of quasinorms

Schatten $p$ norm is convex when $p\geq1$ holds and if $p\in(0,1)$ it is quasinorm. If $p\in(0,1)$ then is Schatten $p$ norm quasi convex? I am interested in definition of quasi convexity here https:...
0
votes
0answers
17 views

Bound for nonhomogeneous low-frequency cut-off operator in littlewood-paley decomposition

In Remark 2.11 of Fourier analysis and nonlinear PDEs written by Bahouri and chemin, it suggests nonhomogeneous low-frequency cut-off operator $S_j$ is bound operator from $L_p$ space to $L_p$ space, ...
0
votes
0answers
37 views

Dominating powers of a random matrix

Let $A_n$ be a (sequence of) random matrix such that $ A_n = (a_{ij})_{1 \leq i,j \leq n}$ and the $a_{ij}$ are iid, $\mathbb E\left[ a_{ij}\right] = 0 \quad E\left[ \vert a_{ij}\vert^2\right] = 1$. ...
3
votes
0answers
143 views

Araki's proof of simple connectedness of the restricted orthogonal group

I am trying to understand Araki's proof of the statement that the restricted orthogonal group of a Hilbert space with a unitary structure is simply connected. This proof starts on page 114 of these ...
0
votes
1answer
73 views

On an error bound for matrix constraints

Given $A,B\in\mathbb R^{n\times n}$ such that there is an $U\in\mathbb R^{n\times n}$ with $UU'=I$ and $UAU'=B$. Suppose each entry of $V$ is within $\pm\epsilon$ of each entry of $U$ is there a way ...
14
votes
5answers
1k views

Matrix trace & norm [closed]

For any nonnegative semidefinite matrix $A$ and any matrix $B$, we have $$\mbox{tr} (AB) \le \mbox{tr} (A) \, \|B\|$$ where $\mbox{tr}(\cdot)$ is the trace and $\|\cdot\|$ is the operator norm. How ...
1
vote
0answers
58 views

specific sequence of matrices making a strange ratio of matrix norms diverging

For any $t>0$ define $d_t:=\operatorname{diag}j^t=\operatorname{diag}(1^t,2^t,\ldots)$. Now pick up such a $t>0$ and an arbitrary $\theta\in\big(0,\frac12\big)$. For every $k\in\mathbb{N}$ find ...
1
vote
0answers
29 views

Applying backward shift operator on the composition operators on Hardy spaces

Let $H^2$ be the Hardy space. Let $K_\theta=H^2\ominus\theta H^2$, $\theta$ inner. Let $S$ be the shift operator on $H^2$. Its compression to $K_\theta$ is $S_\theta$. My question: do we have in the ...
0
votes
0answers
43 views

Norm inequalities for operator valued matrices

I am looking for literature about operatorvalued matrices, especially norms and norm inequalites of these matrices (e.g. the entries are elements of the space of linear bounded operators $\mathcal{L}(...
0
votes
1answer
60 views

Reference request: Riesz operator over Hölder class

We have been told that the Riesz potential in $\mathbb{R}^d$, $I_{\alpha}(f)$, defined by $$I_{\alpha}(f)(x):= C\int_{\mathbb{R}^d} \frac{f(y)}{\left| x-y \right|^{d-\alpha}}\,\mathrm{d}y $$ has the ...
9
votes
1answer
221 views

Regular $p$-norm of a matrix

Let $n \in \mathbb{N}$ and $p \in [1,\infty]$ be fixed and endow $\mathbb{C}^n$ with the $p$-norm $\|\cdot\|_p$. For every matrix $A \in \mathbb{C}^{n \times n}$ we denote the operator norm of $A$ as ...
3
votes
2answers
300 views

Determinant of Jacobian and directional derivatives

I have a function $f: \Re^2 \to \Re^2$ and would like to understand why $$|Jf(x)|=\max_\theta|D_\theta f(x)|\cdot\min_\theta|D_\theta f(x)|$$ that is, why the determinant of the Jacobian of $f$ at $...
-1
votes
1answer
74 views

Hierarchies of Operator Norms [closed]

Given some linear operator $T: V \mapsto W$, we can talk about the operator norm between the spaces V and W, i.e. $$ \| T \|_{V \mapsto W} \ = \ \sup_{g} \| Tg \|_W \ , \quad \mbox{ with } \| g \|_V \...
2
votes
1answer
94 views

Retractions for completely positive unital maps, and their effect on spectral diameter

Consider a non-singular, completely positive, unital map $\Psi: \mathbf M_k(\mathbb C) \to \mathbf M_h(\mathbb C)$. This map will have one or more retractions $\Phi: \mathbf M_h(\mathbb C) \to \mathbf ...
4
votes
1answer
160 views

Retractions for completely positive unital maps, with particularly nice norms

Consider a non-singular, completely positive, unital map $\Psi: \mathbf M_k(\mathbb C) \to \mathbf M_h(\mathbb C)$. This map will have one or more retractions. Does $\Psi$ admit a retraction $\Phi: \...
1
vote
0answers
70 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 ...
6
votes
1answer
230 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 $\...
2
votes
0answers
97 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 ...
6
votes
1answer
280 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$ ...
6
votes
3answers
291 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+...
-4
votes
1answer
120 views

Matrix norms: operator norm vs vectorized $L_1$-norm? [closed]

Let for a square matrix $A$ the operator norm $\|A\|$, and vectorized $L_1$-norm $$ \|vec(A)\|_1 = \sum_{i,j} |A_{ij}| $$ Do we have the following? $$ \|A\| \le \|vec(A)\|_1 $$
3
votes
1answer
422 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 ...
3
votes
0answers
212 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 \...
0
votes
1answer
191 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 ...
11
votes
2answers
540 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}...
2
votes
0answers
73 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]$...
4
votes
0answers
77 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$,...
1
vote
1answer
159 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$. ...
-1
votes
1answer
371 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 ...
7
votes
0answers
273 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
219 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
124 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
49 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 ...
5
votes
2answers
961 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 $(...
27
votes
0answers
953 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 ...
4
votes
2answers
1k 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
159 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
205 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
130 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
177 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
231 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}\...
2
votes
1answer
346 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 ...
1
vote
1answer
293 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
635 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
578 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 ...
7
votes
2answers
588 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
176 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 ...
1
vote
2answers
172 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
264 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)...