The norms tag has no usage guidance.

**0**

votes

**0**answers

162 views

### Matrix with roots of unity entries

For given prime p, i am interested in the norms of $p \times p$ matrices which have roots of unity entries, $M_{k,l} ∈ \{1,ζ,…,ζ^{p−1}\}$ with $ζ=\exp(2πI/p)$. Are there any studies of the norms of ...

**2**

votes

**2**answers

719 views

### How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional $\ell^p$-normed vector space?

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

**4**

votes

**1**answer

86 views

### Norm vs A-norm in non-Archimedean Functional Analysis

Let $K =(K,| \cdot |)$ be a non-Archimedean valued field.
Let $E$ be a $K$-vector space. A norm on $E$ is a map $||\cdot||:E\to[0,\infty)$ such that:
$||x||=0$ if and only if $x=0$,
$||\lambda ...

**9**

votes

**3**answers

507 views

### Can the topological algebra of analytic functions be endowed with a norm that defines the natural topology?

Right, so in my research in complex analysis I was puzzled by this question which may have a simple approachable answer that eludes me, but I am truly itching to find out and in need of it so I am ...

**1**

vote

**1**answer

64 views

### Different Besov-Norm Definitions

first some notation: $\langle x\rangle=\sqrt{1+x^2}$, $P_{j}$ is the Littlewood Paley Projector and $P_{\leq0}$ corresponds to the small frequencies.
I have a the following definition of the Besov ...

**1**

vote

**3**answers

119 views

### Norm of an operator formed using a unitary operator

Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...

**0**

votes

**1**answer

162 views

### How to calculate $N_{L/k}$(roots of unity)?

Suppose that $L/k$ is a Galois extension of number fields and that $G$
is the corresponding Galois group. Further, for $\frak p$ a prime ideal
of $\cal O$$_L$, let $K=L^{G(\frak p)}$, where [$L$ : ...

**23**

votes

**0**answers

497 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 ...

**1**

vote

**2**answers

260 views

### Looking for (information about) long diamonds

I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...

**3**

votes

**0**answers

139 views

### Lenstra's integer programming algorithm: Finding a lattice point “near the center”

I have already posted this question on the mathematics forum, but I suspect the question needs more detailed knowledge than most users have; please excuse the duplicate post. Any help is greatly ...

**0**

votes

**0**answers

96 views

### Unit sphere of a norm is a submanifold implies the norm is smooth?

Let us call a norm on $\mathbb{R}^n$ smooth if its restriction $\| \cdot \|:\mathbb{R}^n\setminus \{ 0 \} \to \mathbb{R}$ is a smooth map.
Suppose the unit sphere of a norm $\| \cdot \|$ is an ...

**1**

vote

**1**answer

147 views

### Under what conditions can we put a complete norm on a linear subspace of a separable Banach space?

Question 1 Let $X$ a separable Banach Space and $Y\subset X$ linear subspace. When can we put a norm on $Y$ in such a way so that $Y$ is a Banach space?
Clearly if $Y$ is closed in the norm topology ...

**0**

votes

**1**answer

40 views

### Ratio of sums of $\infty$-norms of vectors

For any vector $w\in\mathbb{R}^n,$ let $\|w\|:=\|w\|_\infty = \max_i |w_i|.$ Let $w\geq 0$ mean that $w$ is non-negative in each co-ordinate.
For $0<\alpha<\frac 14,$ I am interested in the ...

**8**

votes

**2**answers

300 views

### Constructing a function over a metric space through given points

Suppose there is a compact metric space $(X,\rho)$ and a Euclidean space $\mathbb{R}^n$.
There is a sequence of unequal points $\{x_1,...x_N\}$ in $X$ such that all metrics $\rho(x_i,x_j)$ are known ...

**11**

votes

**0**answers

119 views

### GPS calculations under $L^p$ norms

GPS calculations require finding a sphere externally tangent to
four given spheres, an
Apollonian problem
in $\mathbb{R}^3$.
The center of that fifth sphere is one of the $16$ possible solutions to
...

**2**

votes

**0**answers

121 views

### Minimize L-infinity norm with restrictions

I need to minimize the following L-infinity norm with respective to $\tau$. L-infinity norm of a matrix $A$ is defined as $\|A\| = max_{i,j}|a_{i,j}|$.
$$
min_{\tau} \| I -S(S+\tau)^{-1}\|
$$
$$
...

**0**

votes

**1**answer

234 views

### L-infinity-norm regularized proximity problem

I have a question:
$$\min_x {1\over 2} \|x-t\|^2 + \lambda \|x\|_\infty$$
where $t, \lambda$ are given constant.
I think this may be a classic problem? However, I didn't find closed form of its ...

**3**

votes

**0**answers

75 views

### Invexity of the $L_2$ norm

I have the following function:
$ f({\bf A,b}) = \| {\bf y - XAb} \|_2^2$
where ${\bf y}_{n \times 1}$ and ${\bf X}_{n \times p}$ are fixed, and ${\bf A}_{p \times r}$ and ${\bf b}_{r,1}$ are the ...

**4**

votes

**2**answers

61 views

### Distribution of the RKHS norm of the posterior of a Gaussian process

In a classical noisy regression setting, let $\big(f(x)\big)_{x\in\cal X}$ be a centered Gaussian process of covariance $k$ on a compact $\cal X$, and $\mathcal{F}_n$ be the filtration generated by ...

**0**

votes

**0**answers

156 views

### Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$.
(1) Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...

**1**

vote

**1**answer

94 views

### Cea's lemma and norms

I would like your help understanding this article.
Page 239 (3.2 A priori error estimates), I am quickly getting lost because of the type of norm that is always changing.
Things I do not ...

**1**

vote

**1**answer

72 views

### A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.)
Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ...

**0**

votes

**1**answer

177 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$.

**2**

votes

**0**answers

51 views

### Algebraic independence in normed spaces

A set of $n$ points in $\mathbb{R}^2$ is algebraically independent over $\mathbb{Q}$ if there is no polynomial dependency among the $2n$ coordinates.
A result (Lemma 3.3) from "Globally linked pairs ...

**2**

votes

**1**answer

182 views

### When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...

**0**

votes

**0**answers

96 views

### Does such a function exists that approximates l1 norm by l2 norm for proportional data

A proportional vector $x\in \mathbb{R}_{+}^{d}$ is defined as (1) $x_{i}\geq 0$ ;(2) $\sum_{i=1}^{d}x_{i}=1$; $d$ is independent of anything else.
For two arbitrary proportional vector $x$ and $y$, ...

**6**

votes

**1**answer

213 views

### Under what conditions a linear automorphism is an isometry of some norm?

Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and $T: V \to V$ is a (linear) isomorphism.
When is it possible to construct a norm on $V$
making $T$ an isometry?
...

**1**

vote

**0**answers

87 views

### The 2-norm of a positive circulant matrix

Define a circulant matrix $A$ for complex numbers $a_1, a_2, ..., a_n$ as follows:
$$
\text{circ}(a_1,\ldots,a_n)=
\left[ \begin{matrix}
a_1& a_2 & \cdots & a_{n-1} & a_n \\
a_n& ...

**11**

votes

**2**answers

477 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 ...

**15**

votes

**3**answers

465 views

### An inequality for two independent identically distributed random vectors in a normed space

Suppose that $X$ and $Y$ are independent identically distributed random vectors in a separable Banach space $B$. Does it always follow that $E\|X-Y\|\le E\|X+Y\|$?
Some background information on ...

**1**

vote

**0**answers

72 views

### Optimization with random matrix

Consider $J$ a random matrix of size $n\times n$ with i.i.d. Gaussian entries $J_{ij} \sim \mathcal{N}(0,\sigma^2/n)$. Let $f(x)=tanh(x)$, and for $x\in\mathbb{R}^n$, $f(x)$ denotes the vector where ...

**2**

votes

**1**answer

96 views

### Functions that are easy to compare to a norm

Let $X$ be a subset of $\mathbb{R}^d$, let $\|\cdot \|_p$ be a norm with $1\leq p\leq\infty$, and let $f:\mathbb{R}^d\to\mathbb{R}$ be a function. I'm trying to find examples of $X$, $p$, and $f$ for ...

**15**

votes

**1**answer

952 views

### How many values determine a norm?

It is well known that for a bilinear form over an n-dimensional vector space, $n^2$ values (on all pairs of basis-vectors) determine it uniquely.
How many values do we need to specify in order to ...

**1**

vote

**0**answers

44 views

### Upper semicontinuity in C(X)-algebras. Quotient norm question

upper semicontinuity in C(X)-algebras
In the 5th paragraph of this post, I don't understand why there exists a vector b satisfying $||a+b||_A < ||q_x (a)||_A(x)$
By the definition of the quotient ...

**3**

votes

**1**answer

219 views

### Equivalence of entrywise 1-norm and Schatten-1 norm

Let $A \in \mathbb{R}^{m\times n}$ and $\|A\| = \sum_{i, j} |A_{i,j}|$.
I am looking for constants $\alpha, \beta \in \mathbb{R}$ such that
$\alpha \|A\| \leq \|A\|_* \leq \beta \|A\|$
The function ...

**9**

votes

**2**answers

290 views

### A “quadratic” triangular inequality

In a Euclidian space (Hermitian as well), say $\ell^2_n$, the following inequality holds true
$$(QI)\qquad |b|\cdot|c-a|\le|c|\cdot|a-b|+|a|\cdot|b-c|,\qquad\forall a,b,c\in\ell^2_n.$$
In other words, ...

**4**

votes

**1**answer

95 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 ...

**3**

votes

**1**answer

119 views

### A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property:
$A\in M_{n}(\mathbb{R})$ is singular if and only if ...

**11**

votes

**2**answers

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 ...

**7**

votes

**1**answer

242 views

### Proving a certain $ C^{*} $-algebraic inequality

Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality
$$
|\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} ...

**21**

votes

**6**answers

941 views

### Under what conditions $\|x-y\|=n\iff\|f(x)-f(y)\|=n.$ for $n\in\mathbf{N}$ implies isometry?

Let $X, Y$ be normed space and $f:X\to Y$ be a mapping. Assume that for all $n\in\mathbf{N}$, $$\|x-y\|=n\iff\|f(x)-f(y)\|=n.$$
Under what conditions this map will be an isometry?
Thanks

**3**

votes

**0**answers

130 views

### Norm condition in a Banach lattice

Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then
$\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$.
...

**0**

votes

**2**answers

205 views

### Uniqueness of solution of a nonconvex optimization problem

What conditions need to be hold for a nonconvex optimization problem to have a unique solution?
Specifically, I have the following minimization problem that I'd like to know whether it has a unique ...

**4**

votes

**1**answer

105 views

### $2$-D Hlawka inequality

The classical counter-example to Hlawka inequality
$$|a+b|+|b+c|+|c+a|\le|a+b+c|+|a|+|b|+|c|$$
is the $l^\infty$-norm in dimension $3$, with vectors
$$a=\begin{pmatrix} 1 \\ 1 \\0 \end{pmatrix},\quad ...

**0**

votes

**0**answers

44 views

### Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions
Let
$L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric),
$a,b$ be arbitrary $n$-dimensional points,
$c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...

**1**

vote

**0**answers

50 views

### Modified Orthonormal Procrustes Problem

In the general orthonormal Procrustes problem, we want to find an orthonormal matrix $C$ to minimize $\|Y-XC\|_F^2$, where $Y$ is a known $n\times q$ matrix, $X$ is a known $n \times m$ matrix, and ...

**10**

votes

**1**answer

781 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 ...

**9**

votes

**3**answers

526 views

### Pathological product space norm

Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X ...

**2**

votes

**0**answers

358 views

### Bounds on the effect of a matrix product on the Frobenius norm

I was wondering if there was a way to put upper and lower bounds on the Frobenius norm of a matrix product in relation to the Frobenios norm of one of the individual matrices, i.e,
...

**5**

votes

**1**answer

206 views

### On the induced matrix norm $\| \cdot \|_{2,\infty}$

The induced norm of the matrix $A$ as a map from $(\mathbb R^n , \| \cdot \|_p)$ to $(\mathbb R^m, \| \cdot \|_q)$ is given by
$$ \| A \|_{p,q} = \sup_{x\in\mathbb{R}^n\setminus \{0\}} ...