All Questions
Tagged with mg.metric-geometry geometric-measure-theory
120 questions
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
- 391
0
votes
0
answers
77
views
Wasserstein space isomorphic to original space?
Is there a complete measurable metric space $(X,d)$ for which its $p$-Wasserstein space $W(X)$ is isometrically isomorphic to $(X,d)$ for some $p \in [1,\infty]$?
Note that there is a canonical non-...
3
votes
1
answer
199
views
Product of low dimensional Hausdorff measures
Let $\mathcal{H}^n$ and $\mathcal{H}^m$ be Hausdorff measures on $\mathbb{R}^n$ and $\mathbb{R}^m$. We know that the product measure $\mathcal{H}^n\otimes \mathcal{H}^m$ is the Hausdorff measure $\...
- 73
0
votes
0
answers
94
views
Bounding the area of the image of a set by product of maximum of lengths
Let $F:[0,1]\times[0,1]\to \mathbb {R}^2$ be a smooth function. Given $x\in [0,1]$, let $\ell_x:=\{x\}\times [0,1]$, and given $y\in [0,1]$, let $\ell_y:=[0,1]\times \{y\}$.
My question feels ...
- 502
2
votes
0
answers
151
views
$\mathscr{H}^{n-2}(\Sigma)< \infty$ implies $\mathscr{H}^{n-1}(\pi(\Sigma))=0$
Let $\Sigma\subset \mathbb{R}^{n+1}$ be a set with $(n-2)$-dimensional Hausdorff measure finite, i.e. $\mathscr{H}^{n-2}(\Sigma)<\infty$. Let $\pi:\mathbb{R}^{n+1}\to \mathbb{R}^n$ be the ...
- 1,149
25
votes
1
answer
3k
views
A gerrymandering problem - can you always turn a tie into a landslide victory?
Note: Here we use $|A|$ to denote the Lebesgue measure of a measurable subset $A$ of $\mathbb R^2$.
Your party is running for election! In your country, voters are approximately uniformly distributed. ...
- 6,155
2
votes
1
answer
300
views
If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected
Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
- 1,149
0
votes
1
answer
409
views
Properties of doubling metric spaces
At present I work with tools that involves doubling metric space, my definition of DME is:
A metric space $X$ is called doubling with constant $N$, where $N \geq 1$ is an integer, if, for each ball $...
- 101
1
vote
0
answers
126
views
Absolute continuity of the volume growth in a metric space
Let $(M,d)$ be a metric space (separable, complete, better?) and let $\mu$ be a ($\sigma$-additive, positive, locally finite, regular?) Borel measure on $M$. For $x\in M$ consider the volume growth ...
- 1,959
4
votes
0
answers
169
views
Finding balls with big measure
Let $(X,d)$ be a compact metric space $n \in \mathbb{N}$ and $\mu$ a finite Borel measure. Suppose there exists $\delta, R>0$ such that for all $0<r<R$.
$$\mu(B(x,r)) < \delta r^n.$$
Under ...
- 41
0
votes
0
answers
87
views
How to find a smallest parallelepiped that bounds the unit ball in a normed space
Consider a finite dimensional normed space $(V,\Vert \cdot \Vert)$. How to find a basis $(e_i)$ of $V$ such that the unit closed ball $\overline B_1$ centered at $0$ is contained in $ P:= \{ x \in V : ...
- 423
7
votes
1
answer
179
views
Crofton formula: expected intersections is to length as variance is to what?
There is this beautiful Crofton formula for the length $L(C)$ of
a curve $C$ on the round unit 2-sphere: you take the expected number
of intersections of $C$ with a random great circle and multiply
by ...
- 7,005
1
vote
1
answer
276
views
Defining area / n-volume of a finite metric space
Let $(X, d)$ be a finite metric space. I've seen several answers to the question when can $X$ be isometrically embedded into Euclidean space (or, more generally, Riemannian manifold). I'm interested ...
- 820
3
votes
0
answers
202
views
Sweeping out the disk: what comes out?
In 2008, Larry Guth gave a new proof of a theorem of Gromov about the min-max widths of the unit $n$-ball. This states that the $p$-parameter width $\omega_p(k,n)$ (of sweepouts with $k$-dimensional ...
- 5,038
1
vote
0
answers
102
views
Plateau problem in the disk: a question about geodesic nets
Consider given a finite collection of points along the boundary of the unit disk $D \subset \mathbf{R}^2$:
\begin{equation}
p_1,\dots,p_{2n} \in \partial D.
\end{equation}
We assume that these are all ...
- 5,038
7
votes
2
answers
434
views
Vector measures as metric currents
Currents in metric spaces were introduced by Ambrosio and Kirchheim in 2000 as a generalization of currents in euclidean spaces. Very roughly, a principle idea is to replace smooth test functions (and ...
- 16.4k
6
votes
1
answer
179
views
Concentration of volume towards the boundary
Consider a Euclidean space $X$ of large dimension $N$. For a measurable subset $G\subseteq X$ and $\varepsilon>0$ let
$$G_\varepsilon:=\{x\in G\mid B_\varepsilon(x)\subseteq G\}$$
be the set of all ...
- 93
2
votes
1
answer
149
views
What is the area-decreasing 'convex hull'?
Let $K \subset \mathbf{R}^3$ be a compact set.
What is the smallest set $C$ containing $K$, with the property that in a neighbourhood of $C$, the closest-point projection of surfaces onto $C$ ...
- 5,038
2
votes
0
answers
62
views
On local-to-global theorem of $\mathrm{CD}^*(K,N)$ spaces
In the 2010 JFA paper "Localization and tensorization properties of the curvature-dimension condition for metric measure spaces" (arXiv link, DOI link), the authors used Theorem 5.1 to prove ...
- 21
2
votes
0
answers
202
views
Geometric inequality related with convexity of the boundary
I'm new to Mathoverflow, so hopefully my question is well-posed.
My problem states as follows:
Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain with boundary $\partial \Omega$ , $\delta&...
- 21
1
vote
1
answer
318
views
What is the limit of a helix as the frequency tends to infinity?
Consider the helix parametrized by $r(t) = (\cos(\omega t), \sin(\omega t), t)$, for a given $\omega > 0$, and $t \in \mathbb{R}$. How can we interpret the limit as $\omega \to \infty?$
My initial ...
- 217
6
votes
3
answers
532
views
If the measure theoretic boundary is closed must it coincide with the topological boundary?
$\DeclareMathOperator\Int{Int}\DeclareMathOperator\Ext{Ext}$Suppose $E\subset\mathbb{R}^n$ is a set of finite perimeter and suppose that the measure theoretic boundary $\partial^*E=\mathbb{R}^n\...
- 1,149
1
vote
0
answers
98
views
Measure estimates of $\delta$-neighbourhood of compact sets
I am interested in the estimating from above the measure of a compact set $K$ by a sequence of sets $K_n$, converging to it in the Hausdorff metric. As such I am looking for known conditions that give ...
- 633
2
votes
2
answers
185
views
When is the mode of a stochastic process a better statistic than the mean?
This is a soft question.
I've been interested in Onsager-Machlup theory recently. Essentially, the Onsager-Machlup function serves the role of a density but it can exist on non locally compact spaces.
...
- 1,904
1
vote
0
answers
65
views
Are Carnot groups ever CAT(𝜅) spaces?
Let $G$ be a free Carnot group of homogeneous dimension $d$, equipped with the Carnot–Carathéodory metric. Is $(G,d)$ ever $\operatorname{CAT}(\kappa)$ for some $\kappa\in \mathbb{R}$?
- 195
1
vote
1
answer
115
views
Approximating the probability of a half-space using random Voronoi diagrams
Fix a half-space $H = \{x_1 \geq 0: ~ (x_1,\dots,x_n) \in \mathbb{R}^n\}$. Let $p$ be a distribution with support in $\mathbb{R}^n$. I am interested in the following way of estimating the weight $p(H) ...
- 33
2
votes
2
answers
261
views
Distribution of the support function of convex bodies: beyond mean width
Let $K$ be a symmetric convex body in $\mathbb{R}^n$ (that is the unit ball of a norm). Let $h_K$ be its support function, that is $h_K(u) = \sup_{x \in K}\langle x,u \rangle$. The quantity $w(K) = \...
- 245
1
vote
0
answers
98
views
Lower bound estimate for the sum $\sum \text{diam}(U)^d$ over all countable covers of a cube
This question is inspired from the definition of Hausdorff measure. Let $C$ be a closed unit hypercube in $\mathbb R^d$ (side length equal to one, including boundary. The cube itself is at top ...
- 1,565
7
votes
0
answers
493
views
A locally compact, complete metric space in which the closure of open balls coincide with the closed ball is Heine-Borel
I saw the following result stated without a proof in a paper about the isometry group of metric measure spaces:
Let $X$ be a locally compact, complete metric space such that for all $x \in X$ and $R &...
- 99
3
votes
0
answers
201
views
Hausdorff measure of the unit ball of a norm on $\mathbb{R}^n$ is a universal constant
In [1], Kirchheim proved the area formula for Lipschitz maps $f\colon \mathbb{R}^n\to X$ where $X$ is an arbitrary metric space, using the notion of metric differentiability. The metric derivative of $...
- 622
1
vote
1
answer
306
views
When are Wasserstein spaces $CAT(\kappa)$?
Let $(X,d)$ be a complete and separable metric space and, for $1\leq p<\infty$, let $(\mathcal{P}_p(X,d),W_p)$ be the $p$-Wasserstein space on $(X,d)$. For which $p$ and $(X,d)$ is $(\mathcal{P}_p(...
- 195
3
votes
1
answer
144
views
Is there a classification of the first geodesic nets?
A geodesic net is an embedding of a multigraph $(V,E)$ into a Riemannian manifold $(M,g)$, so that the vertices are mapped to points of $M$ and the edges to geodesics connecting them. Additionally, ...
- 5,038
0
votes
0
answers
425
views
Compact connected Riemannian manifolds are Ahlfors regular metric space
Let $(M,g)$ be a compact connected $n$-dimensional Riemannian manifold; let $(X,d)$ denote its associated metric (length) space. A comment on the original formulation of this post mentioned that $(X,...
- 5,405
2
votes
0
answers
94
views
Almost Lipschitz embedding of compact metric measure spaces into Euclidean spaces
Let $(X,d)$ be a compact metric space, $m$ be a metric outer-measure on $X$. Are there 'mild conditions' on $X$ ensuring the existence of a positive integer $N\geq 3$ such that there exist $x_1,\dots,...
- 109
0
votes
0
answers
69
views
Holder-continuous barycenter maps
Let $(X,d)$ be a complete locally-compact metric space. We define the $p$-barycenter map as a continuous function:
$$
\beta:\mathcal{P}_p(X)\rightarrow X,
$$
which is a right-inverse of the map ...
- 5,405
2
votes
0
answers
186
views
Relationship between Hausdorff dimension and covering number
Let $(X,d)$ be a compact metric space and recall that the $\epsilon$-external covering number $\mathcal{N}^{\epsilon}(X)$ of $X$ is defined by:
$$
\mathcal{N}^{\epsilon}(X) := \inf\left\{
N\in \mathbb{...
- 5,405
10
votes
1
answer
232
views
Is there an inscribed cube for an arbitrary compact closed surface?
Given a compact closed surface $M$ (2-dim topological manifold) isometrically embedded in $\mathbb{R}^3$, are there 8 points $x_i\in M(i=1,\dots,8)$ such that they are the vertices of a cube $C\subset\...
user178596
10
votes
0
answers
802
views
Topological dimension, Hausdorff dimension, and Lipschitz mappings
I can prove the following result. Here $\operatorname{dim} X$ stands for the topological dimension and $\mathcal{H}^n$ denotes the Hausdorff measure.
Theorem. Suppose that $f:\mathbb{R}^n\supset\...
- 28k
1
vote
1
answer
213
views
Stability of isoperimetric inequality
Let $S$ be subset of $\mathbb{R}^n$ with perimeter 1.
Isoperimetric inequality states that then the volume of $S$ is not greater than $V_n$,
where $V_n$ is the volume of a ball in $\mathbb{R}^n$ with ...
- 2,576
2
votes
0
answers
186
views
Metric on space of Borel-measurable functions
Let $(X,d_X),(Y,d_Y)$ be metric spaces and $X$ is locally-compact and fix a Borel probability measure $\nu$ on $X$. For any Borel-measurable $f:X\rightarrow Y$, let $\mathcal{K}(f,\delta)$ be the set ...
5
votes
1
answer
670
views
Signed distance function and level set
For $\phi\in C^1(\mathbb{R}^N)$ with $$\omega_{\phi}=\{x\in\mathbb{R}^N\ |\ \phi(x)>0\}$$ being a bounded set with $\nabla\phi (x)\neq 0,\ \forall\ x\in\phi^{-1}(0)=\partial\omega_{\phi}\neq \...
- 1,759
3
votes
1
answer
155
views
Distance function and geometry of the set
Let $X \subseteq \mathbb{R}^n$ be a closed $d$-dimensional regular set (i.e. for any $x \in X$ and $0<r< \text{diam(X)}>$, $\mathscr{H}^d(B(x,r)) \sim r^d$ ) which has the property that for ...
- 65
1
vote
0
answers
46
views
Bound for the cardinality of maximal $r$-separable subsets contained in a ball of radius $R$ in $\mathbb R^d$
Let $B$ be a closed ball in $\mathbb R^d$ of radius $R$ and let $N=N_R(r)$ denote the maximal cardinality of the $r$-separated sets (meaning any two points in this set have distance at least $r$) that ...
- 1,565
5
votes
2
answers
200
views
Fast algorithms for calculating the distance between measures on finite ultrametric spaces
Let $X$ be a finite ultrametric space and $P(X)$ be the space of probability measures on $X$ endowed with the Wasserstein-Kantorovich-Rubinstein metric (briefly WKR-metric) defined by the formula
$$\...
- 41.8k
2
votes
0
answers
77
views
Area of minimising surface
I am interested in calculating the least area of a surface spanning the boundary of an octant on the unit sphere; and short of precise values I am looking for upper bounds for this area.
In $\mathbf{S}...
- 5,038
7
votes
0
answers
492
views
Applications of the co-area formula
Kirchheim [2] generalized the classical area formula to the case of Lipschitz mappings into metric spaces. Ths paper is well known and widely cited. The area formula is a special case of the co-area ...
- 28k
4
votes
1
answer
183
views
Domains in $\mathbb{R}^n$ for which Hajlasz-Sobolev spaces and Sobolev Spaces are the same
I'm reading Heinonen's book on metric measure spaces. He writes that for general domains $\Omega \subset \mathbb{R}^n$, $M^{1,p}(\Omega) \subset W^{1,p}(\Omega)$ where the former are Hajlasz-Sobolev ...
- 427
9
votes
2
answers
586
views
Unknown work of Nöbeling on topological/Hausdorff dimension
Let $\mathcal{H}^n$ denote the Hausdorff measure, $\dim_H X$ the Hausdorff dimension, and $\dim X$ the topological dimension of $X$.
A well known result of
Szpilrajn (He changed his name to ...
- 28k
-1
votes
1
answer
112
views
Isometric stratification preserves volume?
Let $K\subset \mathbb{R}^k$ be a non-empty compact subset let $f:K \to K$ be Lipschitz and surjective. If, moreover, $f$ is an isometry then clearly $f$ preserves the Lebesgue measure of $K$.
I ...
- 5,405
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
- 51