The tag has no wiki summary.

learn more… | top users | synonyms

17
votes
2answers
369 views

An equivalence relation for norms

Let us say that two norms $\|\cdot\|_1$ and $\|\cdot\|_2$ on a real vector space $V$ are strongly equivalent if there exists a constant $\lambda \geq 1$ such that $$ \frac{1}{\lambda} \left( \|x\|_1 ...
17
votes
1answer
619 views

Extremal points of the unit ball of M_n(R) …

The unit ball of ${\bf M}_n(\mathbb R)$ is a compact convex subset. As such, it is (Krein-Milman theorem) the convex envelop of its extremal points. So far, so good; but the unit ball depends of the ...
14
votes
4answers
524 views

Bounding the commutator [A,B] in terms of the numerical radius

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}_n(\mathbb C).$$ The answer is ...
12
votes
1answer
446 views

A property that forces the NORM to be induced by an INNER PRODUCT

Let $(E, \|\cdot\|)$ be a real normed vector space such that for any $a,b\in E$, $$ \|x +y\|^2 + \|x-y\|^2 \geq 4 \|x\|\cdot \|y\| $$ I want to show that the norm is induced by an inner product. Any ...
10
votes
1answer
302 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 ...
9
votes
3answers
483 views

Are norms intrinsically $\mathbb{R}$-valued?

Another way of phrasing this: are there any viable definitions of something which is norm-like but whose range is in a linearly ordered rig (for example) rather than $\mathbb{R}$? I have searched a ...
8
votes
0answers
450 views

Bounding sum of first singular values squared for Kronecker sum of traceless matrices

Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e. $$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + ...
6
votes
1answer
319 views

Does an origin-centered ellipse in the plane intersect each $L^p$-circle at most 8 times?

The question is in the title: Let $E$ be an origin-centered ellipse in ${\mathbb R}^2$ and let $S$ be an "$L^p$-circle": $S = \{(x,y) : |x|^p + |y|^p = \text{const}\}$, where $1 \leq p \leq \infty$. ...
6
votes
2answers
240 views

Projections onto $n$-codimensional subspaces of a Banach space: norms.

Hello, I'd like some help to find an answer I've been looking for since this morning. Let $X$ be a Banach space and let $Y$ be an $n$-codimensional subspace of $X$. Let $P$ be a projection from $X$ ...
6
votes
2answers
306 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 ...
6
votes
1answer
449 views

On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result: A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm. To be clear about ...
5
votes
1answer
117 views

An inequality involving the spectral norm of a complex matrix

Let $A,B \in {M_n}(R)$ be real $n \times n$ matrices and let matrices $|A|$ and $|B|$ contain the absolute values of the elements of $A$ and $B$ respectively. Construct the complex matrices $C = A + j ...
5
votes
1answer
243 views

The minimal norm of a shifted stochastic matrix

Hello, Given a row-stochastic matrix $M$ with singular values $\sigma_{1}\geq\ldots\geq\sigma_{n}$, I am looking for an upper bound on the expression: $\min_{\alpha}\parallel M- ...
5
votes
0answers
246 views

Symmetric matrices with $\rho(A)\gg\|A\|_\infty$

For a symmetric real matrix $A$, denote by $\rho(A)$ the spectral radius of $A$, and by $\sigma(A)$ the largest absolute row sum of $A$; that is, $\sigma(A)=\max_i \sum_j |a_{ij}|$, where $a_{ij}$ are ...
5
votes
0answers
109 views

Norms and distributions

Question 1. Is there a nice or explicit way to describe the class of all distributions (generalized functions) $\mu$ on the $n$-sphere $S^n \subset \mathbb{R}^{n+1}$ for which the function $$ F(v) := ...
5
votes
0answers
148 views

Reference request: The relationship between norm and trace forms on an Albert algebra

I am interested in either a nice reference, or some clarification. Overview: I am considering $J_3(\mathbb{O})$, the Jordan algebra of $3\times 3$ self adjoint octonionic matrices. This algebra is a ...
4
votes
1answer
123 views

Estimating the probability that $\|Av\| \ge \|v\|$

Given a diagonalizable matrix $A \in \mathbb{R}^{n \times n}$ with real eigenvalues, satisfying $1+c_1 \le \rho(A) \le 1+c_2$ $(0<c_1 \le c_2)$, obviously there exists a $v \in \mathbb{R}^{n}$ such ...
3
votes
3answers
731 views

upper bounds on a certain matrix norm

Is there some simple upper bound on $||(B^{-1}+A^{-1})^{-1}||$, where $A,B$ are $n \times n$ symmetric matrices?
3
votes
1answer
207 views

Matrix norms / eigenvalues / singular values / another thing

OK, here is what is probably a stupid question. Let $M$ be a non-symmetric real matrix: for example, the shear matrix $\left( \begin{array}{cc} 1 & 1 \\\ 0 & 1 \end{array} \right)$. There ...
3
votes
2answers
409 views

“Measuring” how far is one Banach space from being surjectively isometric to another

Bonjour/bonsoir à toutes et à tous. Assume that $\mathbf{V} \equiv (V, \|\cdot\|_V)$ and $\mathbf{W} \equiv (W, \|\cdot\|_W)$ are Banach spaces (over the real or complex field). Question 1. What ...
3
votes
1answer
190 views

About generalized Minkowski inequality

For which functions $f:\mathbb{R}^+ \to \mathbb{R}^+$ does the inequality $f^{-1}\left(\sum\limits_{k=1}^n f(x_k+y_k)\right) \leq f^{-1}\left(\sum\limits_{k=1}^n f(x_k)\right) + ...
3
votes
1answer
118 views

Is this function of a matrix convex?

Let $\mathcal{N}_{n}$ be the set of symmetric nonnegative irreducible matrices. For a matrix $A \in \mathcal{N}_{n}$ let $v^{A}$ be its Perron vector, normalized so that $||v^{A}||_{2}=1$. Define the ...
3
votes
1answer
445 views

norm of (sub)stochastic matrix

Is there any bounds for the norm of sub-stochastic matrix? (But it's not doubly stochastic matrix, I mean only the row sum is less than 1, while the column sum may not.
3
votes
1answer
679 views

Inequalities and bounds for relating p-norms (Reference request)

Hello all, I'm trying to find a good resource for a discussion on the relation between say, the p-norm of a vector (from a finite dimensional vector space) and its Euclidean norm. In my search on the ...
3
votes
1answer
156 views

A homogeneous but slightly asymmetric inequality

I need to prove the following inequality: for any $Z=(z_1,\dots,z_l)\in\mathbb{C}^l$ for any $p\geq 2$ and $l\geq 2$ \begin{equation} \left|\left|\sum_{j=1}^l ...
3
votes
3answers
775 views

Minimum norm of convex hull

Dear all, I am currently stuck at a problem which seems too easy to be stuck at to me... Summary Let $H$ be the convex hull of the points $d_1,\ldots, d_n\in \mathbb{R}^d$. How can one compute ...
3
votes
0answers
117 views

Diophantine approximations by norms of quadratic irrrationalities

The following problem came up on a mailing list that I subscribe to: If $\alpha$ is irrational we can find (using continued fractions) infinitely many rational fractions $p/q$ such that $|q \alpha - ...
3
votes
0answers
329 views

Bounding linear combination of exponentially decaying functions.

Let $f(x)=e^{-a|x|}$ and $a>0$ a constant. Suppose we take a linear combination $s(x) = \sum_{i=1}^n \alpha_i f(x-x_i)$ where $\alpha_i\in\mathbb{R}$ and $-r< x_1< \ldots < x_n< r$. ...
2
votes
2answers
247 views

On matrix norms

It is standard to define an induced matrix norm $|||\cdot|||$ from a vector norm $||\cdot||$ in this way: $|||A|||=\max_{x \neq 0}{\frac{||Ax||}{||x||}}$. Suppose we define a different function of ...
2
votes
1answer
603 views

When do 0-preserving isometries have to be linear?

Let $\langle \mathbf{V},+,\cdot,||.|| \rangle$ be a normed vector space over $\mathbb{R}$. Let $f : \mathbf{V} \to \mathbf{V}$ be an isometry that satisfies $f(\mathbf{0}) = \mathbf{0}$ . What ...
2
votes
2answers
271 views

Analogue of an orthogonal subspace in a noneuclidian normed space

This question is related to http://mathoverflow.net/questions/50600/an-existence-question-on-linear-map. If the answer to this question is yes, it would solve the abovementioned other MO question. We ...
2
votes
1answer
81 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 ...
2
votes
2answers
920 views

Dual Norm For Sum of 2-Norms

What is the dual of a norm that is the sum of two-norms? Specifically, say we have the following norm for $\mathbf{x}\in \mathbb{R}^n$ and $\mathbf{A}_i \in \mathbb{R}^{m \times n}$ $\|\mathbf{x}\| = ...
2
votes
1answer
173 views

Estimate infinity norm with Lp and W1p norm

Let $p \in [1,\infty)$. Does there exist $C>0$ such that for every $f \in W^{1,p}([0,1],\mathbb{R})$ we have $$\|f\|_{L^\infty}\leq C\|f\|_{L^p}^{1-\frac{1}{p}}\|f\|_{W^{1,p}}^{\frac{1}{p}}?$$ My ...
2
votes
1answer
66 views

Relating joint probability to norm of vector of probabilities

I have a set of Bernoulli random variables $X_1,X_2,\ldots, X_n$ and I would want to bound the joint probability $P(X_1=0,X_2=0,\ldots, X_n=0)$ using the norm $\lvert \lvert \mathbf{p}\rvert \rvert$, ...
2
votes
2answers
407 views

How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional Lp-normed vector space?

Say you have a finite-dimensional vector space $V$ with an $L^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $L^p$ norm, so the unit sphere in $V_s$ ...
2
votes
0answers
43 views

Reducing $\ell_1$ norm of non-full-rank matrices

I have two matrices ${\bf{X}}_{p\times r}$ and ${\bf{Y}}_{r\times q}$ with $r<\min(p,q)$. Matrix ${\bf Y}$ does not have full row rank (i.e., rank$({\bf Y})<r$). Can I build two new matrices ...
2
votes
0answers
48 views

König-Wittstock norm on Banach space

Let $(E,\Vert.\Vert)$ be a real Banach space and $\ell\ne 0$ an non-continuous linear form on $E$. Let $a\in E$ be such that $\ell(a)=1$. König-Wittstock [Non-equivalent complete norms and would-be ...
2
votes
0answers
150 views

Norm bound of a complex resolvent

A well known result by Varah states that if $A$ is a strictly diagonally dominant matrix of dimension $n$, then $\|A^{-1}\|_{\infty} \le \max_i\frac{1}{|a_{kk}|-\sum_{j \neq k}|a_{kj}|}$, where the ...
2
votes
0answers
33 views

Norms of B-spline coefficients

In Shumaker's book (Spline Functions: Basic Theory), we know that the $l^\infty$-norm of B-spline coefficients is bounded above and below by the $L^\infty$-norm of the spline itself. Are there similar ...
1
vote
2answers
112 views

relation between of uniformly rotund in every direction and uniformly rotund and locally uniformly rotund

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $$\lim_{n→∞}\|x_n−y_n\|=0$$ whenever $$x_n,y_n∈SX$$ are such that $$\lim_{n→∞}\|x_n+y_n\|=2$$ and there is a $z∈X$ ...
1
vote
3answers
191 views

What is the most ``diverse'' $k$-subset of $[0, 1]^m$?

Given a non-negative integer $m$, let $\Omega_m$ denote the set of vectors $\omega = (\omega_1, \dots, \omega_m) \in [0, 1]^m$ such that $\sum_i{\omega_i} = 1$. The set $\Omega_m$ is together with a ...
1
vote
2answers
260 views

An inequality with $\ell_p$ norm

I encounter the following claim in my research for which I couldn't get a solution for a long time. I asked a more general version of the question at math.stackexchange which did not attract much ...
1
vote
1answer
77 views

Bound on the 2-norm of a “special” matrix

Let $S\in\mathbb{R}^{n\times n}$ be such that $\|S\|_2\leq 1$, $P\in\mathbb{R}^{n\times m}$, $m<n$, with orthogonal columns ($P^TP=I$) so that $PP^T$ and $I-PP^T$ are orthogonal projectors, and ...
1
vote
3answers
557 views

Comparison of the L_p norm of a matrix and its entry-wise absolute value

Suppose $A_{n \times n}$ is a matrix and $A' = (|A_{ij}|)$ is its entry wise absolute form, can be give an upper bound and lower bound of the L_p norm $\|A\|_p$ using the L_p norm of the absolute ...
1
vote
0answers
132 views

Bounding the norm of the Dirichlet kernel as a matrix function

Consider the Dirichlet kerel: $f(x) = 1+2\sum_{k=1}^{N}\cos(kx)$. Now, given a diagonalizable real matrix $A$, one can consider $f(A)$, using the standard notation of matrix functions. Namely, $f(A) ...
1
vote
0answers
76 views

“Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs). Then $||AB||_{op} \leq ...
1
vote
0answers
78 views

Interior point optimisation using big M for L1 norm on linear system using Dikin's Affine method

I am a 4th year undergrad surveying student studying computations, specifically $L_{1}$ norm minimisation of residuals in large data sets. To start with (and probably to finish with) I'm using a set ...
1
vote
0answers
333 views

What does this notation mean: matrix norm with a two-number subscript

I recently came across this notation, without explanation, in a paper: $||\mathbf{W}||_{2,1}$ From the context, I know that $\mathbf{W}$ is a matrix, which could be any size, and that ...
1
vote
0answers
59 views

Which matrix/operator in a cone has the largest negative spectral part?

Background: Let $\mathcal{K}$ be set (convex cone, if you like) of symmetric matrices of order $n$. Each matrix $A \in \mathcal{K}$ can be decomposed in a unique way as $A=A_{+}-A_{-}$, where ...