All Questions
Tagged with fa.functional-analysis mg.metric-geometry
190 questions
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\...
- 1,997
8
votes
1
answer
4k
views
Covering number of Lipschitz functions
What do we know about the covering number of $L$-Lipschitz functions mapping say, $\mathbb{R}^n \rightarrow \mathbb{R}$ for some $L >0$?
Only 2 results I have found so far are,
That the $\infty$-...
- 2,246
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 ...
- 233
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$.
...
- 41.8k
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
8
votes
1
answer
360
views
What is the smallest Lipschitz constant of a Lipschitz retraction of $\ell_\infty([0,1])$ onto $C[0,1]$?
By Theorem 1.6 in the book "Geometric Nonlinear Functional Analysis" by Benyamini and Lindenstrauss, the Banach space $C[0,1]$ is a Lipschitz retract of the Banach space $\ell_\infty[0,1]$. ...
- 41.8k
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 (??)...
- 41.8k
16
votes
2
answers
731
views
A reference to a characterization of metric spaces admitting an isometric embedding into a Hilbert space
I am looking for a reference to the bipartite version of the Schoenberg's criterion of embeddability into a Hilbert space. The Schoenberg criterion is formulated as Proposition 8.5(ii) of the book &...
- 41.8k
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
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
3
votes
1
answer
232
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) ...
- 331
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 ...
- 401
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 $\...
- 710
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 ...
- 91
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}}...
- 1,769
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 ...
- 2,479
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 ...
- 25.8k
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
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 ...
- 1,127
6
votes
2
answers
457
views
$L^{p}$ isoperimetric inequalities on the Hamming cube
Let $A \subset \{-1,1\}^{n}$ be a subset of the Hamming cube with cardinality $|A|=2^{n-1}$. Define $w_{A} : \{-1,1\}^{n} \to \mathbb{N}\cup \{0\}$ so that $w_{A}(x)$ to be number of boundary edges ...
- 3,946
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
4
votes
1
answer
174
views
Explicitly computing the absolutely minimising Lipschitz extension
Is there an analytical or even numerical way to find the Absolutely Minimizing Lipschitz extension of a given function?
I know that the extension exist and it is unique (by Aronsson et al).
I found ...
- 203
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 $\...
- 51
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$,...
- 2,834
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 ...
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$ ...
- 1,697
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 ...
- 4,878
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
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
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 ...
- 21.8k
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 ...
- 471
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 ...
- 21.8k
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 ...
- 361
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
17
votes
0
answers
488
views
Large almost equilateral sets in finite-dimensional Banach spaces
Question: Does there exist a function $C:~(0,1)\to
(0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space
$X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point
set $\{x_i\...
- 4,878
4
votes
1
answer
438
views
Characterization of $l_p$ up to a linear isometry
There is a science called "Geometry of Banach spaces". I wonder if they managed to give a geometric characterization of $\ell_p$ ($p\in[1,\infty]$) up to isometric isomorphism (among all Banach spaces)...
- 7,426
40
votes
5
answers
5k
views
"Entropy" proof of Brunn-Minkowski Inequality?
I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ m(...
- 22.8k
3
votes
0
answers
189
views
Can we obtain topology results using analysis in metric measures spaces?
Let $M$ be a smooth compact manifold. It is known that a lower bound on the Ricci curvature is equivalent to the convexity of the entropy on $\mathcal{P}^2(M)$ (Von Rennesse and Sturm '05), but I don'...
- 215
0
votes
1
answer
277
views
both convex and superharmonic function on manifold concave?
M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M \...
- 689
5
votes
1
answer
808
views
Separable Banach spaces which are absolute Lipschitz retracts
A subset $F$ of a metric space $M$ is called a Lipschitz retract of $M$ if there is a Lipschitz map from $M$ onto $F$ which coincides with the identity on $F$. A metric space which is a Lipschitz ...
- 607
5
votes
0
answers
394
views
construction of heat kernels for non-compact manifolds with boundary
Recently, I am studying heat semigroup for noncompact manifolds with boundary.
In Issac Chavel's book "eigenvalues in Riemannian geometry". "Given a noncompact Riemannian manifold, it need not be ...
- 199
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 ...
- 199
1
vote
1
answer
196
views
heat kernel $p_t(x_0,y) \in D(\Delta) \cap L^\infty$ for a manifold with Ricci curvature bounded below?
X is an n-dim Riemannian manifold with the Dirichlet form
$$
\varepsilon (u,v) =-\int_X \langle \nabla u,\nabla v \rangle
$$
for $u,v \in W^{1,2}(X)$.
Let $P_t$ and $p_t(x,y)$ be the associate ...
- 199