Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, comparisons in Riemannian geometry, symmetric spaces.
-4
votes
0answers
48 views
Euclidean Geometry [on hold]
In Euclidean Geometry we can create a square with side length of $\sqrt2$. as we know, $\sqrt2$ is a number which has no end. so it is physically impossible to have a square with this length in the ...
3
votes
2answers
77 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}.
$$
...
2
votes
1answer
44 views
parametrize triangles meeting certain conditions
Consider triangles with angles alpha, beta, gamma such that gamma = 2 alpha, and sides (a,b,c) are integers. I want to parametrize such triangles by a single integer or rational variable.
1
vote
0answers
33 views
Homeomorphism type of the horofunction boundary for nilpotent Lie groups
Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form
$$\beta_y(x)=d(x,y)-d(w,y).$$
The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...
6
votes
1answer
135 views
Geometry of complements to compacts of codimension 2
Let $K\subset \mathbb{R}^n$ be a (nonempty) compact of covering dimension $\le n-2$. In particular, $K$ does not separate $\mathbb{R}^n$ (even locally). I will equip $M=\mathbb{R}^n-K$ with the ...
3
votes
1answer
80 views
Suppose that a metric space allows David–Semmes regular map to some Euclidean space. Does it allow bi-Lipschitz embedding into some Euclidean space?
I want to ask about the progress on Question 8 from "Thirty-three yes or no questions about mappings, measures, and metrics" by Juha Heinonen and Stephen Semmes. Is it still open? If yes, was some ...
1
vote
1answer
72 views
Non-homeomorphic computable metric spaces whose computable points are computably homeomorphic
This is a follow-up of sorts to an earlier question on mine in that it should be easier to construct a positive example of this, if it exists.
To be clear about definitions, a computable metric space ...
5
votes
2answers
191 views
Convexity in co-ordinate charts of geodesic balls
Let $g_{ij}$ be a Riemannian metric tensor on an open subset $U\subseteq \mathbb{R}^n$, and let $p\in U$.
I would guess the following is true:
for $\epsilon$ sufficiently small, the $g$-geodesic ...
3
votes
0answers
29 views
Extremal metric for image of a curve family
Let $U\subset \mathbb{C}$ be a domain and $\Gamma$ some family of curves in $U$ with $\textrm{mod}(\Gamma)<\infty$ and such that $\rho$ is an extremal metric for the modulus. Suppose we are given a ...
9
votes
0answers
182 views
Planar arc on a topologically embedded sphere or disk in $\mathbb{R}^3$
An arc is a set homeomorphic to the unit interval $[0,1]$; an arc in $\mathbb{R}^3$ is planar if it is contained in some plane.
The following questions are motivated by Anton Petrunin's Disc bounded ...
18
votes
2answers
653 views
Simple connectedness under a metric undistortion condition: on a tricky point in an argument of Gromov
The context
I have been reading Gromov's Metric Structures..., and came upon result 1.14.(a), page 11, which states the following.
Let $K\subset\mathbb R^d$ be a compact subset, and $d_\ell$ its ...
1
vote
0answers
33 views
Explicit Quasisymmetric embedding into Euclidean space
It is known that every doubling metric space admits quasisymmetric map into Euclidean space. My question is, is there a known explicit (closed-form) quasisymmetry from the Heisenberg group into a ...
1
vote
2answers
120 views
Is a vertex- and edge-transitive polytope already a uniform polytope?
I want to consider (convex) polytopes $P=\mathrm{conv}\{p_1,...,p_n\}\subset\Bbb R^d$ which are both, vertex- and edge-transitive (or maybe stronger: 1-flag-transitive).
Question: Is every such ...
11
votes
1answer
369 views
How to construct a nice homotopy?
Let $(M,g)$ be a closed simply-connected Riemannian manifold. Can we find a constant $C$, which depends on $M$, such that for any closed curve $\alpha_0$ with $L(\alpha_0) \le 1$, there exists a ...
5
votes
0answers
82 views
Is there any work in topological data analysis on something like “Voronoi complexes”?
Given a finite set $X \subset \mathbb{R}^n$, we can of course construct the corresponding Čech or Vietoris-Rips filtration. At each level of this filtration the scale parameter is fixed and unrelated ...
2
votes
0answers
20 views
Lower bound to $\epsilon$-expansion of a subset of a half-sphere
Below are two known lemmas on a $d$-dimensional sphere (related to the isoperimetric inequality). I would like to know: does a similar statement like this holds for a $d$-dimensional dome also (i.e. ...
3
votes
1answer
134 views
Metric Measure Space: A Basic Question
I understand the basic definition of a metric measure space to be the following:
A metric measure space is a triple of a space $X$, metric $d$, and measure $m$: $(X,d,m)$ in the sense that the ...
0
votes
1answer
78 views
Can all countable $CAT(0)$ cube complexes be isometrically embedded in $l^1(\mathbb{N},\mathbb{R})$?
In this paper (theorem 2), Chepoi & Hagen say
There exists an infinite $CAT(0)$ cube complex $X$ with constant maximum degree which cannot be isometrically embedded into a Cartesian product of ...
5
votes
1answer
76 views
Algorithm for MaxMin diversity problem on hypercube?
The Maximum Minimum Diversity Problem (MMDP) can be roughly stated as follows:
Let $S$ be a set of points, $k \in \mathbb{N}$. Find the $k$-element subset $M$ of $S$ such that the minimal distance $...
3
votes
0answers
67 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 ...
1
vote
0answers
31 views
Sum of squared nearest-neighbor distances between points on the sides of a rectangle
For positive real numbers $a,b$, let $R$ denote the $a\times b$ rectangle $[0,a]\times[0,b]$. Let $A_1,\dots,A_4$ be points on the sides of $R$, one point on each side. For each $j=1,\dots,4$, let $...
20
votes
1answer
349 views
Is the metric completion of a Riemannian manifold always a geodesic space?
A length space is a metric space $X$, where the distance between two points is the infimum of the lengths of curves joining them. The length of a curve $c: [0,1] \rightarrow X$ is the sup of
$$ d(c(0),...
10
votes
2answers
211 views
Sum of squared nearest-neighbor distances between points in a square
Let $\square_2=\{(x,y): 0\leq x, y\leq1\}$ be the unit square in $\mathbb{R}^2$. Take $n>1$ points $P_1, \dots, P_n\in\square_2$.
Denote the distances $d_j=\min\{\Vert P_k-P_j\Vert: k\neq j\}$, ...
21
votes
15answers
3k views
Geodesics on the sphere
In a few days I will be giving a talk to (smart) high-school students on a topic which includes a brief overview on the notions of curvature and of gedesic lines. As an example, I will discuss flight ...
2
votes
0answers
83 views
The typical amount of lattice points in a set as dimension goes off to infinity
I have encountered a geometry-of-numbers-type problem when calculating an entropy in a lattice communications scheme:
$L^{(n)}$ is a lattice uniform over all those in $\mathbb{R}^n$ with base ...
3
votes
0answers
121 views
Can bellows make loops?
Can flexible polyhedron (hyperbolic or euclidean) have non-simply connected configuration space not containing singular polyhedra?
4
votes
1answer
107 views
non-proper parabolic isometries of hyperbolic spaces
In his seminal paper on hyperbolic groups (see Section 8.1) Gromov defines an isometry $f$ of a hyperbolic space $X$ to be parabolic if the orbit of any point $x\in X$ under the action of $\langle f\...
9
votes
1answer
282 views
Packing regular tetrahedra of edge length 1 with a vertex at the origin in a unit sphere
Consider the following problem:
How many regular tetrahedra of edge length 1 can be packed inside a unit sphere with each one has a vertex located at the origin?
The answer is at least 20, forming ...
5
votes
1answer
122 views
Quantitative upper bound on mean curvature of an isometric embedding
By Nash embedding theorem, any complete Riemannian manifold $M$ can be isometrically embedded in $\mathbb{R}^N$, for sufficiently large $N$.
The proof of the theorem is quite involved, and it is not ...
3
votes
2answers
158 views
How can the visible surface area of a box at any angle be found? [closed]
If a box with dimensions x, y, and z exists, an xyz axis is set with a camera having no rotation relative to it, and this box is rotated angle_x degrees, angle_y degrees, and angle_z degrees relative ...
4
votes
0answers
84 views
How to think about dual space of a certain space of Lipschitz functions
Consider the following Banach space (for concreteness):
$$X=Lip(\bar{\mathbb{B}}^n)=\{f\in C^0(\bar{\mathbb{B}}^n): \Vert f \Vert_L<\infty \}$$
where
$$
\bar{\mathbb{B}}^n=\{\mathbf{x}\in \mathbb{...
5
votes
1answer
255 views
Functions that map open balls to open balls of different radius?
For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function.
...
5
votes
3answers
190 views
Origin of term Ahlfors-David regular
Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...
4
votes
1answer
305 views
Spreading $n$ points in $\{0,1\}^n$ as far as possible
Given a positive integer $n$, the Hamming distance $d^H_n(x,y)$ of $x,y\in \{0,1\}^n$ is defined by $$d^H_n(x,y) = |\{k\in\{0,\ldots,n-1\}: x(k)\neq y(k)\}|.$$
We say that a positive integer $s$ is $...
4
votes
1answer
165 views
Flat norm metrizes the weak* topology
I've come across the following statement in literature (without proof or reference) about the flat norm of currents
$$
F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...
27
votes
3answers
660 views
What is the structure preserved by strong equivalence of metrics?
Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...
6
votes
0answers
89 views
Adjoint of the Hodge de Rham star operator under the integral pairing
Given a Riemannian manifold $(M, g)$ of dimension $n$, the Hodge star operator $\star: \Omega^k(M) \to \Omega^{n-k}(M)$ is defined. What is the (formal) adjoint of $\star$ under the integration ...
15
votes
2answers
1k views
Integrating over a hypercube, not a hypersphere
Denote $\square_m=\{\pmb{x}=(x_1,\dots,x_m)\in\mathbb{R}^m: 0\leq x_i\leq1,\,\,\forall i\}$ be an $m$-dimensional cube.
It is all too familiar that $\int_{\square_1}\frac{dx}{1+x^2}=\frac{\pi}4$.
...
1
vote
0answers
94 views
Some Problems On Apollonian Gasket
Since 2013, I found Some problems on Apollonian Gasket as following. These problem also is higher level of Eppstein Point. I am looking for a proof of one of these problems:
Let three $(A)$, $(B)$, $(...
1
vote
1answer
104 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
votes
0answers
128 views
A problem of four conics
I found a remarkable theorem of four conics as follows some years ago. But it has no proof; I am looking for a proof:
Theorem: Take three conics. Suppose that each of them touch a fourth conic at two ...
11
votes
3answers
276 views
Mean maximum distance for N random points on a unit square
Following up on Mean minimum distance for N random points on a one-dimensional line and Mean minimum distance for N random points on a unit square (plane), I have the following questions.
Given N ...
4
votes
1answer
85 views
Conformally flat homogeneous spaces
Let's say we have a homogeneous space $H\backslash G$.
Is it possible to tell whether this homogeneous space admits a conformally flat metric just from its group structure?
I am particularly ...
5
votes
1answer
110 views
Is a symmetric, parallel (0,2)-tensor a metric?
I'm interested in affinely connected spaces, on which a metric is not necessarily defined, i.e. $(\mathcal{M},\Gamma)$. Since (as a physicist) my goal is to consider a generalized model of gravity, I ...
1
vote
1answer
73 views
How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter?
How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter?
I don't need to fill the sphere with equidistant points. I just need less than a ...
4
votes
0answers
85 views
Optimal placement of points on sphere to minimize size of projections
While studying some physical problem we stumbled across a geometrical problem, to which we could not find any solution.
Consider a unit sphere in 3D and a collection of $N$ points on its surface.
Now ...
3
votes
0answers
76 views
Reference of generalized isometries
I'm wondering if these objects have a name or are studied. No one around me knows, so I thought to ask here.
Let $\Phi:\mathbb{R}^d\rightarrow \mathbb{R}^d$ be $C^2$-diffeomoprhism, and fix $p \geq ...
5
votes
0answers
123 views
Does $G$ act 2-transitively on its Bruhat-Tits building?
Let $k$ be a finite extension of $\mathbb{Q}_p$ and let $G$ be a semisimple Lie group over $k$. We consider the action of $G$ on its Bruhat-Tits building $X$.
Question: If $x,y,x',y'$ are vertices, ...
1
vote
1answer
80 views
A question on a special “metric”
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
6
votes
2answers
269 views
What is the geometric meaning of one Riemannian metric bigger than the other one on a smooth manifold?
Gromov conjectured in 1985 and LLarull proved in 1998 that: If $g > g_0$ on the sphere, then there exists some point p on the sphere with $Sc(p) < Sc_0(p)$. Here $g, g_0$ are Riemannian metrics ...
