Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,348 questions
0
votes
0
answers
8
views
Longest TSP in the unitary disc
I have the unitary disc $D=\{(x,y) \in R^2: x^2 + y^2 \leq 1\} $, and an integer $n \geq 2$. I want to select $n$ points in $D$ to maximise the length shortest path that connects them all. In other ...
16
votes
3
answers
1k
views
Is there a natural topology for sets of topological spaces?
The Gromov–Hausdorff metric makes a set of compact metric spaces into a metric space itself. I am wondering what some natural generalizations there are for arbitrary topological spaces. Namely, is ...
- 719
5
votes
1
answer
733
views
Can the Pythagorean theorem be proved using imaginary numbers?
Can the Pythagorean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course.
I asked essentially the same question at MSE, but did not receive a definitive answer,...
- 3,577
2
votes
0
answers
85
views
Is there a natural topology for subsets of a fixed topological space?
This question is an extension/clarification of the question: Is there a natural topology for sets of topological spaces?
The Hausdorff distance assigns a distance to any two subspaces $X, Y$ of a ...
- 719
-4
votes
0
answers
75
views
Is this a conclusion group for a new fundamental geometry problem? [closed]
Let σ(n) represent all possible values of the types of different lengths of segments connected to each other among n points in the definition,such as in the plane,σ(3)=(1,2,3),σ(3)min=1,in the ...
2
votes
1
answer
155
views
Converse of Scherk–Segre theorem on the number of vertices of a convex space curve
It is well known that any smooth simple closed convex curve $\gamma$ in $\mathbb{R}^{3}$ that meets no plane in more than 4 points has exactly 4 vertices, i.e., points of vanishing torsion; here "...
- 985
1
vote
0
answers
26
views
On $N$-partition of some common subsets $\Omega\subset\mathbb R^d$
Let $\Omega\subset\mathbb R^d$ be compact and convex, and denote by $\ell$ the normalised Lebesgue measure such that $\ell(\Omega)=1$. Let $N$ be an arbitrary but fixed integer.
In this post we set $d=...
- 1,399
11
votes
2
answers
201
views
For what $n$ do there exist non-periodic tilings with rotational symmetry of order $n$?
More precisely, given an integer $n$, does there exist a non-periodic tiling, where there are infinitely many patches within the tiling, of indefinitely large area, with rotational symmetry of order $...
- 283
2
votes
1
answer
143
views
Does this result above six points follow have a name?
Does this result above six points follow have a name?
Let $A$, $B$, $C$, $D$, $E$, $F$ be six points in the plane and $AB, CF, ED$ are concurrent and $BC, DA, FE$ are concurrent then $CD, EB, AF$ ...
- 1,776
0
votes
0
answers
35
views
Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter
I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
- 1,467
0
votes
1
answer
90
views
How to calculate the maximum dimensions of a rectangle inside two concentric circles? [closed]
If I have a rectangle ABCD such that A and B touch two points of the outer circle and CD's touches one point of the inner circle, how could the maximum dimensions of the rectangle be calculated?
...
- 17
2
votes
0
answers
70
views
Pólya's orchard problem among Gaussian primes
Quoting myself from an earlier post:
Pólya's orchard problem asks for which radius $r$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the exterior of ...
- 151k
25
votes
2
answers
2k
views
Is there a continuous partition of space into circles?
Question 1. Is there a continuous partition of space $\mathbb{R}^3$ into circles?
I strongly suspect not.
It is well-known by diverse arguments that space can be partitioned into circles. There is an ...
- 236k
2
votes
1
answer
169
views
Ratio of inscribed/circumscribed ellipsoids: geometrical proof?
Let $K$ be a convex subset of ${\mathbb R}^n$, with non-void interior. The Löwner-John theorem states that there are a minimal volume ellipsoid $\cal E$ containing $K$, a maximal one $\cal F$ ...
- 52.3k
1
vote
0
answers
67
views
Quasi-geodesics in Alexandrov spaces
I am trying to understand the notion of quasi-geodesic in Alexandrov space with curvature bounded below following the Perelman-Petrunin paper. I have two questions:
Is it true that the shortest ...
- 21.8k
9
votes
0
answers
144
views
Which polytopes have compact realization spaces?
Let $P\subset\Bbb R^d$ be a convex polytope.
Its reduced realization space is the space of all combinatorially equivalent polytopes modulo projective transformations.
I am interested in polytopes for ...
- 13.6k
1
vote
2
answers
188
views
Non-compact surfaces with non-negative Gauss curvature
Is there a topological classification of non-compact complete connected 2-dimensional Riemannian manifolds with non-negative Gauss curvature?
- 21.8k
2
votes
1
answer
108
views
Discrete isoperimetric inequality involving the diameter of an n-gon
I am interested in discrete isoperimetric-type inequalities that allow one to bound the perimeter of an $n$-gon from above (as opposed to below, as in the classical case when one bounds the perimeter ...
- 1,625
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
5
votes
1
answer
162
views
I believe that all facets of a Voronoi-cell of a lattice are centerally symmetric. Is my argument correct? Is this true?
So let $L$ be a full dimensional lattice in $\mathbb{R}^{n}$. Then the Voronoi-cell of the lattice are precisely the points in $\mathbb{R}^{n}$ that are at least as close to the origin, as to any ...
1
vote
0
answers
38
views
Metric entropy of an ellipsoid
Let $B^d_2$ denote the unit ball of $\ell_2^d$ and let $T$ be an invertible linear map.
Consider the function
$$
H(T) := \log M(TB_2^d, B_2^d),
$$
which is the packing entropy for $TB_2^d$ by $B_2^d$....
- 380
6
votes
1
answer
347
views
Is a ball the hardest body to approximate by polytopes (in the Banach–Mazur metric)?
$\DeclareMathOperator\conv{conv}\DeclareMathOperator\Vol{Vol}$In the paper "An extremal property of the hypersphere" by Macbeath, the following functionals were introduced (here $n$ is fixed,...
- 93
10
votes
5
answers
741
views
Dissection proof of Heron's formula?
In his recent book, Love Triangle, Matt Parker playfully complains that Heron's formula is an "opaque formula, and I feel like you just chuck in the side-lengths, turn a series of arbitrary ...
- 82.7k
0
votes
1
answer
68
views
Metric for measuring linearity of finite set of points in $R^2$
Suppose one has $n > 2$ points in $R^2$, and one wants to measure "how linear" they are.
I want a metric such that (a) if all the points are in fact on the same line, the metric gives 1, (...
20
votes
2
answers
3k
views
Can a 2-sphere be squashed flat?
Does there exist a function $f:\Bbb{S}^2\rightarrow\Bbb{R}^2$ which preserves the length of every rectifiable curve? That is, can a sphere be crushed flat without tears? Of course, this is a Nash-...
- 430
2
votes
0
answers
152
views
Isoperimetric inequality for Kähler manifolds
I am interested in the following form of isoperimetric inequality for Kähler Manifolds (for example unit ball $B^n\subset \mathbb{C}^n$ with Bergman metric). It should say something like this: if $F$ ...
- 37
2
votes
0
answers
50
views
Riemannian metrics realizable as hypersurfaces both in Euclidean and spherical spaces
I am interested in smooth Riemannian metrics on $n$-sphere, $n\geq 3$, which can be imbedded isometrically both to $n+1$-dimensional Euclidean space and $n+1$-dimensional standard sphere of radius $r$....
- 21.8k
4
votes
0
answers
97
views
What is the best way to subdivide a simplex?
Let $\Delta^k$ be the $k$-simplex, embedded in $\mathbb{R}^{k+1}$ in the usual way so that all edges have length $\sqrt{2}$. For $k\leq 2$, there are obvious ways to subdivide $\Delta^k$ into $2^k$ ...
- 56.9k
3
votes
0
answers
97
views
Filling radius of Lens spaces
This is a question concerning Gromov's filling radius, i.e., the radius of a neighborhood of a Riemannian manifold (embedded in its Banach space of $L^\infty$-functions) at which the fundamental class ...
- 517
21
votes
0
answers
274
views
The "stained glass window problem": Draw many random chords in a circle; which kind of polygon ($3$-gon, $4$-gon, etc.) occupies the most total area?
Draw $n$ random chords in a circle, where each chord connects two independent uniformly random points on the circle.
As $n\to\infty$, which kind of polygon (triangle, quadrilateral, pentagon, etc.) ...
- 3,577
9
votes
0
answers
243
views
Does there exist such a probability distribution?
Does there exist a probability distribution over the set $\{(x,y,z)\in[0,1]^3\colon x+y+z=3/2\}$ whose projection on each of the three coordinate axes is the uniform distribution over the interval $[0,...
- 128k
2
votes
1
answer
312
views
Question on a vector inequality
Is it true that
$$
\min\left( \begin{aligned}
&\|\mathbf{u}\| + \|\mathbf{v}\| - \|\mathbf{u} + \mathbf{v}\|, \\
&\|\mathbf{u}\| + \|\mathbf{w}\| - \|\mathbf{u} + \mathbf{w}\|, \\
&\|\...
- 171
1
vote
0
answers
31
views
Cut locus of linear isometric action quotients
Given a compact group $G\leq \operatorname{O}(d)$ of linear isometries on $\mathbb R^d$, equip its quotient $\mathbb R^d/G$ with the canonical orbital metric.
I am curious about the following. Is ...
- 71
4
votes
1
answer
97
views
Inner regularity property of covering number of metric spaces
Let $(X,d)$ be a complete metric space and $n\in\mathbb N$. Suppose that every finite subset $F\subset X$ can be covered by $n$ closed balls of $X$ (that is, $N(Y,d,1)\le n$, in terms of covering ...
- 60.6k
7
votes
1
answer
291
views
Is it necessarily true that the maximal section of a centrally symmetric convex body is always bigger than its minimal projection?
I hope everyone is doing well.
Let $K \subset \mathbb{R}^n$ be a centrally symmetric convex body $(K = -K)$. Denote by $K \mid H$ the orthogonal projection of $K$ onto $H$, where $H$ is an $n - 1$ ...
- 83
5
votes
1
answer
538
views
Twin circles in a quadrilateral
The circumcenters of the four triangles of a complete quadrilateral along with the two points of completion form two congruent circles (in black).
Surely this must've been done before - what's the ...
- 1,109
4
votes
0
answers
52
views
Isomorphism of Wasserstein space implies isomorphism of base spaces?
Assume $(X_i,d_i)$ are polish spaces (or compact metric spaces) for $i=1,2$.
Further assume that the 1- Wasserstein spaces $(P_1(X_1),W_1)$ and $(P_1(X_2),W_1)$ are isometrically isomorphic. Does that ...
3
votes
0
answers
49
views
Transport map to lower dimension?
Let $S^{d-1}$ be the sphere in $\mathbb{R}^d$.
Given a $C^\infty$ function $f \colon S^{d-1} \to \mathbb{R}$, define $g \colon S^{d-1} \to S^{d-1}$ as $g(x) = \exp_x(\nabla f(x))$, where $\nabla f(x)$ ...
- 171
2
votes
0
answers
93
views
Understanding Gromov's metric measure space
Sorry for organized the question badly. My supervisor forced me to read chapter $3\frac 12$ of the reputed book Metric structures for riemannian and non-riemannian spaces written by Mikhail Gromov, ...
- 21
5
votes
3
answers
286
views
On a metrized $n$-dimensional manifold $X$, does every $x \in X$ have a small ball $B_\delta(x)$ that is homeomorphic to $\mathbb R^n$?
Suppose that $X$ is an $n$-dimensional topological manifold that is also metrizable, and hence equipped with some metric that induces the topology.
For every point $x \in X$, let $B_\delta(x)$ be the ...
- 5,327
2
votes
0
answers
126
views
How does a conformal transformation affect the frame bundle metric of that manifold?
Suppose I have a metric $g_{\mu\nu}$ over an n-dimensional smooth orientable Riemannian manifold $M$. We then utilize Cartans repere mobile (moving frames) to define oriented orthonormal frames $e^{a}=...
- 250
7
votes
1
answer
179
views
More on the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G=(g_{ij}\colon i,j=1,\dots,6)$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$. Let
$$u:=\sum_{1\le i<j\le 6}g_{ij}^2,\quad v:=\sum_{1\le i<j<k\le 6}g_{ij}g_{ik}g_{jk}.$$...
- 128k
4
votes
1
answer
96
views
Sequence of 2-cylinders converging to a segment in the Gromov-Hausdorff metric
Let $\{C_i\}_{i=1}^\infty$ be a sequence of (compact) 2-dimensional cylinders with smooth Riemannian metrics with Gauss curvature at least $-1$ and geodesically convex boundary (equivalently, the ...
- 21.8k
10
votes
0
answers
160
views
Spanning curves by flat surfaces
Given a smooth closed connected curve $\gamma$ in $\mathbb R^3$, is there an immersed surface $S$ with boundary, such that its Gaussian curvature is equal to zero and $\partial S=\gamma$?
- 2,934
0
votes
0
answers
176
views
How to find a configuration of lines
In $\mathbb{R}^3$, can anyone help find a configuration of 5 lines such that the minimum of the smallest semi-axis lengths of the ellipsoid $ \mathbf{x}^T \mathbf{A} \mathbf{x} = 1 $, where $\mathbf{A}...
- 61
5
votes
1
answer
247
views
Question on the exact largest minimum angle
Could anyone help find the EXACT largest minimum angle between any pair of lines among 5 lines passing through the origin in $\mathbb{R}^3$? Additionally, what is the exact largest minimum angle ...
- 61
7
votes
0
answers
316
views
Sandwiching ellipses between planar convex bodies
Let $K$ and $L$ be planar convex bodies which are not ellipses. Does there exist an affine image $K'$ of $K$ such that
$K' \subset L$
No ellipse $E$ satisfies $K' \subset E \subset L$
I am also ...
- 4,653
5
votes
0
answers
78
views
Is there a generalization of the Diameter Sphere Theorem to orbifolds?
The Diameter Sphere Theorem of Grove and Shiohama asserts that if $M$ is a compact Riemannian manifold with sectional curvature bounded from bellow by 1 and diameter greater than $\pi/2$, then $M$ is ...
- 51
6
votes
1
answer
241
views
Reference request: acceleration/curvature of curve in metric space
Let $(X,d)$ be a metric space. Given a continuous curve $\gamma_t : [0,1] \rightarrow X$, the metric speed is defined by $$ |\gamma_t^\prime | := \lim_{s\rightarrow t} \frac{d(\gamma_s, \gamma_t)}{|t-...
- 660
0
votes
1
answer
114
views
Geometric interpretation of a Grammian-like function
Let $\mathbf{v}, \mathbf{w} \in \mathbb{R}^n$ and consider the following function $f : \mathbb{R}^n \times \mathbb{R}^n \rightarrow \mathbb{R}$:
$$
f(\mathbf{v},\mathbf{w}) = \|\mathbf{v}\|\|\mathbf{w}...
- 6,351