All Questions
Tagged with fa.functional-analysis mg.metric-geometry
190 questions
8
votes
2
answers
1k
views
Talagrand's inequality for the discrete cube
Talagrand showed that if $f$ is a convex $1$-Lipschitz function on $\mathbb{R}^n$, and if $\mu$ is a product of probability measures supported over the interval, then $f$ has Gaussian concentration w....
- 14.2k
5
votes
0
answers
350
views
How to calculate the volume of a parallelepiped in a normed space?
Let $E$ be a real normed space, and let $v_1,...,v_n\in E$ be linearly independent. The parallelepiped defined by these vectors is $P=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Since $E$ is a ...
- 5,529
3
votes
1
answer
273
views
Predual to Lipschitz maps with $p$ derivatives
Let $p\in \mathbb{N}$, and define $\mathrm{Lip}_p$ be the collection of functions from $\mathbb{R}^d$ to itself, with $p-1$ first derivatives bounded and whose $p^{\mathrm{th}}$ derivative is ...
- 63.9k
3
votes
2
answers
253
views
Reference request: $\alpha$-Hölder spaces as double duals
If $(X,d)$ is a complete metric space, we define the $\alpha$-Hölder class $\Lambda_\alpha(X)$ as the subset of $C_b(X)$ satisfying that
$$
\sup_{x \neq y} \frac{|f(x) - f(y)|}{|x - y|^\alpha}.
$$
...
CommunityBot
- 1
2
votes
1
answer
210
views
$L^{2}$ Betti number
Let $\tilde{X}$ be a non-compact oriented, Riemannian manifold adimits a smooth metric $\tilde{g}$ on which a discrete group $\Gamma$ of orientation-preserving isometrics acts freely so that the ...
- 3,486
10
votes
2
answers
606
views
A characterization of metric spaces admitting a bi-Lipschitz embedding into a Hilbert space?
Theorem (??) derived in this MO-post from Schoenberg's theorem yeilds a "bipartite" characterization of metric spaces that admit an isometric embedding into a Hilbert space. This Theorem (??)...
CommunityBot
- 1
3
votes
0
answers
86
views
What kind of set is this, spanned by two positive definite matrices?
Let $A$ and $B$ be Hermitian positive definite $n\times n$ matrices over $\mathbb C$ or $\mathbb R$. Then for real $k,\ell,$ the matrix $A^kB^\ell A^k$ is well-defined and again Hermitian positive ...
- 13.4k
1
vote
1
answer
428
views
Growth rate of bounded Lipschitz functions on compact finite-dimensional space
Let $\mathcal X$ be a metric space of diameter $D$ and "dimension" (e.g doubling dimension) $d$. Let $L \in [0, \infty]$ and $M \in [0, \infty)$ and consider the class $\mathcal H_{M,L}$ of $L$-...
- 2,479
21
votes
1
answer
690
views
Diameter of a quotient of the infinite dimensional sphere
Suppose a group $\Gamma$ acts by isometries on the Hilbert space $\mathbb{H}^\infty$ and it fixes the origin. So $\Gamma$ acts on the unit sphere $\mathbb{S}^\infty$ as well.
Assume that the action $...
- 45k
5
votes
0
answers
231
views
Which subspaces of $\ell_p^n$ are isometric?
This question is similar to the one asked here:
Extending linear isometries from subspaces of $\ell_p^n$
Let $p$ be an even integer. Let $X,Y$ be subspaces of $\ell_p^n$, and let $U : X \to Y$ be a ...
- 53
7
votes
2
answers
460
views
Gaussian Surface Area of Positive Semidefinite Cone
Let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e.g., one that has smooth boundary or is convex. We define the $\epsilon$-neighbor of $A$ in the ...
- 13.6k
7
votes
2
answers
665
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 3,768
13
votes
3
answers
650
views
General principles which lead to good questions in many concrete situations [closed]
I believe that in various fields of mathematics there are general principles which might lead to good questions and good results in many concrete situations. I would like to have a list of such ...
CommunityBot
- 1
5
votes
3
answers
479
views
Is there a dense subset on closed Jordan curve $C$ which its points make intersections under certain rotations?
Is it true that for any given closed Jordan curve of $C \subset \mathbb{R}^2$ there is a dense subset $A$ such that for every point $p\in A$ we have the following property:
If we rotate $C$ around $p$...
- 289
1
vote
1
answer
191
views
A question about a $2^n$-point metric space
For any positive integer $n$, let $X_n$ be the family of all subsets of $\{1,2,\cdots,n\}$.
Let $(X_n,d)$ be the metric space such that
$$d(A,B)=|\,A\triangle B\,|,\ \forall A,B\in X_n$$
where $A\...
- 4,786
13
votes
3
answers
3k
views
Are uniformly continuous functions dense in all continuous functions?
Suppose that $X$ is a metric space. Is the family of all real-valued uniformly continuous functions on $X$ dense in the space of all continuous functions with respect to the topology of uniform ...
- 5,407
4
votes
1
answer
193
views
A bound on the square distance of a random walk on undirected graph
Fact:
Let $G$ be an $n$-vertex undirected graph and $(X_s)_{s\in \mathbb N}$ a stationary random walk on $G$. Then for every $s\in \mathbb{N}$,
$ \mathbb{E}[d_G(X_s,X_0)^2] \le C s \log n $, for some ...
CommunityBot
- 1
6
votes
1
answer
450
views
Is each compact metric space a subset of a compact absolute 1-Lipschitz retract?
A metric space $X$ is called an absolute $L$-Lipschitz retract if for any metric space $Y$ containing $X$ there exists a Lipschitz retraction $r:Y\to X$ with Lipschitz constant $Lip(r)\le L$.
...
- 4,713
3
votes
0
answers
109
views
Is the Banach space $C(K)$ a $1$-Lipschitz comp-extensor?
Given a real number $c\ge 1$ let us say that a metric space $X$ is a $c$-Lipschitz comp-extensor if each Lipschitz self-map $f:K\to K$ of a compact subset $K\subset X$ extends to a Lipschitz self-map $...
- 41.8k
3
votes
0
answers
108
views
Radial Poincare inequality for Gaussian measures
Let $\mu$ be a zero mean Gaussian probability measure on $\mathbb{R}^n$ whose covariance is less than the identity. If $f$ is a $1$-Lipschitz real function on $\mathbb{R}^n$ such that there exists a ...
- 2,772
4
votes
1
answer
262
views
Are faces of a compact, convex body "opposed" iff their extreme points are pairwise "opposed"?
Let $P$ be a compact, convex subset of $\mathbb{R}^n$ (infinite-dimensional generalisations welcome, but not necessary). Let's say that disjoint subsets $W_1$, $W_2$ $\subset P$ are opposed if there ...
- 4,713
3
votes
1
answer
233
views
Extending linear isometries from subspaces of $\ell_p^n$
Take $p\in (1,\infty)\setminus \{2\}$. Let $X$ be a subspace of $\ell_p^n$ and let $U\colon X\to \ell_p^m$ ($m\geqslant n$) be a linear isometry. Is it possible to extend $U$ to a (non-surjective) ...
- 42.8k
0
votes
3
answers
554
views
Converting a bounded metric into an unbounded metric
Suppose $d$ is a bounded metric on $X$, i.e. $d(x,y)< K<\infty$ for all $x,y\in X$. Is there a standard way to convert $d$ into another metric $\widetilde{d}$ on $X$ with the property that $\...
- 1,090
9
votes
3
answers
1k
views
Does there exist a notion of discrete riemannian metric on graph?
I would like to know if there is any notion of a discrete Riemannian metric on graphs. C. Mercat has worked on discrete Riemann Surfaces, but that's not exactly what I am working on.
To be more ...
- 23.3k
3
votes
0
answers
82
views
Proving the existence of a continuous function that satisfy a certain property from a finite version of this property
Let $M \subseteq [0,1] \times \mathbb{R}^n$ be a compact semialgebraic set.
In particular, $M$ can be described by a finite set of polynomial equalities and inequalities.
Let $\delta_0 > 0$ be a ...
- 745
2
votes
1
answer
167
views
Distortion of embedding in Hilbert space
Given an injective linear map $T$ between Banach spaces $X$ and $Y$, let
\begin{equation} d(T) = \sup \left \{ \frac{||x||_X}{||Tx||_Y}: x \in X \mbox{ is nonzero } \right\} \cdot ||T||_{\mathrm{op}}...
- 31.5k
7
votes
1
answer
145
views
Monotonicity of canonical ellipsoids
Let $\mathcal{C}$ be the set of compact convex centrally symmetric sets in $\mathbb{R}^d$, and let $\mathcal{E} \subset \mathcal{C}$ be the set of ellipsoids centered at the origin.
I'm looking for a ...
CommunityBot
- 1
14
votes
0
answers
205
views
Have there been further developments on this scheme for polytope approximations to the unit ball of $\ell_p^n$?
A long time ago I happened to look at, and save (on a floppy disk!) for future reading, a copy of the following article:
W. T. Gowers, Polytope approximations of the unit ball of $l^n_p$.
In Convex ...
2
votes
0
answers
60
views
Mean width of intersection of two elipsoid
My question is regarding mean widths. For a set $\mathcal{T}$ define the mean width
\begin{align*}
\omega(T)=\mathbb{E}_{\mathbf{g}\sim\mathcal{N}(0,\mathbf{I})}\bigg[\underset{\mathbf{u}\in\mathcal{...
- 363
12
votes
1
answer
575
views
Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?
Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$?
It seems to me that it is an interesting ...
- 538
2
votes
1
answer
146
views
Prove a consequence of Poincare inequality and volume doubling
The question is Lemma 5.3 in [1] (with-out detailed proof). But I don't know how to prove.
Let $M$ be a (finite dim) manifold satisfying the following two assumptions:
(1) for any $x\in M$, and any ...
- 169
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
2
votes
0
answers
127
views
Functional inequality under mean curvature flow
Let $\Sigma$ be a hypersurface in $\mathbb R^n$ and $\Sigma_t$ be a variation of $\Sigma$ under the mean curvature flow under an extra condition that ${\rm vol}_{n-1}(\Sigma)={\rm vol}_{n-1}(\Sigma_t)$...
- 143
6
votes
0
answers
281
views
Covariance operator analogue for manifolds and respective measure manifolds
Assume $E$ is a connected riemannian manifold with geodesic metric space structure given by $d$ and $P$ is a probability measure over $E$ with Borel sigma-algebra given by this metric structure. Also ...
- 519
5
votes
1
answer
328
views
Is a space with p-norm a Finsler manifold?
Suppose $\mathbb{R}^n$ is equipped with the p-norm $\left\Vert x \right\Vert_p$. Let $x\in \mathbb{R}^n$ and let $y$ be in a neighborhood of $x$. The distance between $x$ and $y$ can be defined as $\...
- 26.3k
5
votes
4
answers
2k
views
When does heat kernel have both Gaussian upper and lower bounds?
Recently, I am reading Sturm's paper "Analysis on local Dirichlet form III: X is a locally compact separable Hausdorff space and m is a positive Radon measure with supp[m]=X.
$\varepsilon$ is a ...
- 1,027
8
votes
2
answers
502
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 ...
- 791
1
vote
1
answer
75
views
Name for a uniform local boundedness property of a function
I am working with a function $f : \mathbb{R}^N \to \mathbb{R}$ having the property that for every $R > 0$, there exists $M > 0$ such that if $x, y \in \mathbb{R}^N$ and $\vert x - y \vert \le R$,...
- 42.8k
2
votes
0
answers
319
views
Banach-Mazur distance from finite-dimensional subspaces of $\ell_p$ to the Hilbert space
I am reading a paper http://www.math.tamu.edu/~johnson/TF3.4.pdf by Bill Johnson and Andrzej Szankowski and having trouble grasping why
$d_n(Z_m) \leq d_n(\ell_{p_{m+1}} ) = n^{|p_{m+1}-2|}$ in the ...
CommunityBot
- 1
1
vote
2
answers
165
views
Antiproximanal subspace of $L_1[0,1]$
Could someone give a reference or construct an example of closed subspace of $Y\subset L_1[0,1]$ such that $\operatorname{dist}(x,Y)$ is not attained of for any $x\notin Y$.
I read somewhere that $Y$ ...
- 31.5k
7
votes
1
answer
469
views
Embedding of real trees into $\ell_1(\Gamma)$
It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
- 4,878
7
votes
1
answer
907
views
Lebesgue differentiation theorem holds on locally doubling space?
It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
- 133
6
votes
1
answer
243
views
Existence of a measurable map between metric spaces
Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...
- 41.8k
22
votes
5
answers
3k
views
Unexpected applications of Dvoretzky's theorem
Dvoretzky's theorem is a classic of convex geometry. Recently at a conference in quantum information I learned (from Patrick Hayden's talk) about a nontrivial application of the theorem to a problem ...
CommunityBot
- 1
3
votes
1
answer
191
views
Maximal $\pi/2$-separated subset of the sphere
A subset $A$ of a metric space is called $\varepsilon$-separated if
$$dist(x,y)> \varepsilon \mbox{ for all } x\ne y\in A.$$
(Notice that the inequality in my definition is strict.)
What is the ...
CommunityBot
- 1
21
votes
2
answers
3k
views
A measure on the space of probability measures
This question was originaly posted in the stackexchange https://math.stackexchange.com/questions/1226701/a-measure-on-the-space-of-probability-measures but since it only got a comment I decided to ...
- 7,197
4
votes
0
answers
244
views
On the modulus of convexity of mixed-norm $\ell_{p_1,p_2}$ spaces
Let $\ell_{p_1,p_2}=(\mathbb{R}^{m\times n},\|\cdot\|_{p_1,p_2})$ be the space of $m\times n$ matrices endowed with the mixed-norm
$$ \|X\|_{p_1,p_2} = \left( \sum_{j=1}^n \left( \sum_{i=1}^m |x_{ij}|...
- 980
3
votes
2
answers
675
views
distributional Hessian for semiconvex functions on non-smooth manifolds
Let $f:R^n \to R$ be convex. Then there exist signed Radon measures $\mu^{ij}=\mu^{ji}$ such that
$$
\int_{R^n} f \frac{\partial^2 \varphi}{\partial x_i \partial x_j} dx= \int_{R^n} \varphi d\mu^{ij} ...
- 471
8
votes
0
answers
421
views
Approximate singular value decomposition in Banach spaces
I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
- 6,206