Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,405 questions
9
votes
3
answers
548
views
Spectral radius of a finitely generated group
Let $G$ be a finitely generated group and $\Gamma$ be its Cayley graph with the usual word metric. Let $\mu$ be a symmetric non-degenerate measure on $G$ (maybe with finite support or smooth), and ...
- 1,407
9
votes
1
answer
282
views
Thinnest covering of the plane by regular pentagons
Q. Is it known what is the thinnest covering of the infinite plane by regular pentagons?
By covering I mean every point of the plane is covered.
By thinnest I mean the proportion of the plane covered ...
- 151k
9
votes
2
answers
499
views
There is no arcwise isometry from a high dimensional manifold into a low dimensional manifold
$\newcommand{\al}{\alpha}$
$\newcommand{\ga}{\gamma}$
$\newcommand{\e}{\epsilon}$
Let $X,Y$ be Riemannian manifolds, such that $\dim(X) > \dim(Y)$.
I am trying to prove the following statement (...
- 6,741
9
votes
1
answer
784
views
Width of a random convex polygon
Consider a planar (2D) random walk comprised of N steps.
Consider the minimum convex polygon enclosing the N points visited by the random walker.
Assume the definition of the width of a convex polygon ...
- 91
9
votes
1
answer
665
views
Question about tetrahedron decomposition
Are there tetrahedra which can be subdivided into three non-overlapping parts similar to the original? I believe this would require splitting one face into three parts. I know some types of tetrahedra ...
- 93
9
votes
1
answer
1k
views
Rigidity of triangle comparison in Alexandrov spaces
For $CAT(\kappa)$ spaces $X$ we have following rigidity result: if equality holds in any of the comparison distances between a triangle $\Delta$ in $X$ and the corresponding comparison triangle $\...
- 265
9
votes
2
answers
3k
views
An optimization problem for points on the sphere (master's dissertation)
First, by means of a disclaimer, some background. I am entering the fourth and final year of an undergraduate master's degree in maths, and a quarter of the maximum credit for this year will be for a ...
- 3,612
9
votes
2
answers
558
views
Every riemannian length structure on $\mathbb{R}^n$ is induced by a continuous function $f:\mathbb{R}^n\to \mathbb{E}^n$, to the euclidean space
This question is a cross post from Math.SE. Unfortunately the migration of the question is not possible after two months of posting.
I have been reading about length spaces in the (great) book Metric ...
- 272
9
votes
1
answer
529
views
Ricci Curvature on Grassmannian
Suppose $G_r(n)$ is the Grassmannian, which is the collection of all $r$ dimensional subspace in $\mathbb{R}^{n}$ equipped with the usual invariant metric. Let $Ricc(G_r(n))$ be the Ricci curvature ...
- 1,495
9
votes
1
answer
321
views
Convex body with affine-equivalent cross-sections
I recently discovered the following fact: Let $K\subset\mathbb R^3$ be an origin-symmetric convex body with smooth and strictly convex boundary. Suppose that all central cross-sections of $K$ (that is,...
- 32.4k
9
votes
1
answer
2k
views
Billiard dynamics with angle of reflection a fraction of angle of incidence
Suppose that a billiard ball bouncing in a unit square (or a lightray reflecting
in a mirrored square) has the property that the angle of reflection is a fraction
of the angle of incidence, rather ...
- 151k
9
votes
1
answer
484
views
Which values can attain the minimum solid angle in a simplex
Given a simplex $S$ with a vertex $v$ by the solid angle at this vertex I mean the value $\hbox{vol}(B \cap S)/\hbox{vol}(B)$ where $B$ is a small enough ball centered at $v$ (for example, in the ...
- 976
9
votes
2
answers
534
views
A question about the dispersion points of connected metric spaces
Let $C$ be an infinite, separable and connected metric space. If $C$ becomes totally disconnected when one of its points $p\in C$ is removed, does every closed ball of $C$ with
positive radius and ...
- 6,215
9
votes
1
answer
1k
views
Smallest dilation of a quadrilateral?
What is the smallest dilation of a quadrilateral in $\mathbb{R}^d$?
This may be an open problem;
my question is: Is this indeed open?
It will take me some time to explain the terms.
The notion of ...
- 151k
9
votes
1
answer
369
views
A name for a mathematical structure of geometric type
I am looking for (maybe existing) name for a mathematical structure $(X,\leqslant)$ consisting of a set $X$ and a transitive relation ${\leqslant}\subseteq X^2\times X^2$ such that $xx\leqslant yz\...
- 42k
9
votes
1
answer
209
views
Reduction to convex case in Brunn - Minkowski
Is there a direct way to reduct the general case of Brunn - Minkowski inequality $|A+B|^{1/n}\geqslant |A|^{1/n}+|B|^{1/n}$ for non-empty compact sets $A, B\subset \mathbb{R}^n$ (here $|\cdot|$ ...
- 109k
9
votes
1
answer
204
views
Which unimodular lattices $L\subset \mathbb R^2$ minimize $f_t(L):=\sum_{ v\in L} e^{-t \|v\|_2}$? (for parameters $t>0$)
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Consider the lattices in $\SL(2,\mathbb R)(\mathbb Z^2)$ up to rotation. The space of such lattices can be identified with the modular surface $\...
- 241
9
votes
1
answer
240
views
Cyclic polygons generalized to higher dimensions
Many theorems hold for cyclic polygons—convex polygons inscribed
in a circle. Perhaps the most basic is this,
from the reference cited below:
Theorem. There exists a cyclic polygon of $n \ge ...
- 151k
9
votes
2
answers
718
views
Generalization of Pascal's theorem to higher dimensions
Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...
- 4,484
9
votes
2
answers
3k
views
get a point in polygon (maximize the distance from borders)
I have several 2D polygons represented by lists of xy-coordinates of their vertices.
It is needed to get several points inside the polygon so that they lie possibly far from the polygon's borders (...
9
votes
4
answers
982
views
isometric embeddings of Cayley graphs in "nice" spaces
This is from a physicist I know and as may be expected, I am threading my way between poorly defined and poorly translated.
What groups have Cayley graphs (w.r.t. a fixed finite generating set, and ...
- 1,625
9
votes
1
answer
532
views
Is the tangent cone of a totally convex subset again totally convex?
$X$ be an Alexandrov's space with lower curvature bound and $C$ be a totally convex subset, i.e. for any $x,y \in C$ and any geodesic $\gamma$ (that is a locally shortest path) connecting $x$ and $y$ ...
9
votes
1
answer
587
views
Length spectrum for Riemannian metrics in the projective plane
Are there (known) examples of non-isometric Riemannian metrics on the projective plane that have the same length spectrum?
This question is related to MO questions Length spectrum and Zoll surfaces ...
- 13.5k
9
votes
2
answers
379
views
Which convex bodies roll straight?
Let $K$ be a convex body in $\mathbb{R}^3$.
Suppose $K$ is held at some position and orientation on an inclined plane,
and released.
Let there be sufficient friction so that it rolls without slippage.
...
- 151k
9
votes
2
answers
390
views
Is it possible to continuously select a probability distribution over fixed points in Brouwer's fixed point theorem?
According to Brouwer's fixed point theorem, for compact convex $K\subset\mathbb{R}^n$, every continuous map $K\rightarrow K$ has a fixed point.
However, these fixed points cannot be chosen ...
- 2,130
9
votes
1
answer
495
views
Divergence of Groups and Metric Spaces
Several papers, including this and this claim that divergence of finitely generated groups and metric spaces have been introduced by Misha Gromov in his paper "Asymptotic invariants of infinite groups"...
user6976
9
votes
1
answer
457
views
Best non-lattice sphere packings
Consider a dense sphere packing in $\mathbb{R}^n$, i.e. an arrangement of mutually disjoint solid open spheres, all of the same radius.
In dimensions $2, 3, 8,$ and $24$, it is known that lattice ...
- 1,046
9
votes
1
answer
853
views
A clarification on pointed Gromov-Hausdorff convergence
According to Burago-Burago-Ivanov, one says that the sequence of pointed metric spaces $(X_n,d_n,p_n)$ GH-converges to $(X,d,p)$ if for every $R>0,\varepsilon>0$, there exists a $N$ such that ...
- 4,123
9
votes
1
answer
1k
views
Area of square to wrap a torus
The Nash-Kuiper
$C^1$ isometric embedding of flat torus into $\mathbb{R}^3$
has recently been spectacularly visualized by the
Hevea Project.
This suggests two questions.
Q1. What is the area of the ...
- 151k
9
votes
1
answer
234
views
$|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space
Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times \mathbb{R}$...
- 471
9
votes
3
answers
605
views
Separating points in the plane II
Let A be a set of $2m$ points on the plane so that no open set of diameter $2$ has more than m of them. Define $A+A+...+A$ ($k$ times) to be the multiset of $k$-sums from $A$. That is, we consider all ...
- 2,288
9
votes
1
answer
642
views
Twisted random walks
Suppose the points of two random walks in $\mathbb{R}^2$ are given the
step number (or time) as a third coordinate, so that they become paths in $\mathbb{R}^3$.
Here are several pairs of walks of $n=...
- 151k
9
votes
2
answers
1k
views
Regular polygon shadows of convex polyhedra
Fix a finite subset $S$ of the natural numbers $\mathbb{N}$, each element $\ge 3$.
Is there a convex polyhedron $P$ that has among its shadows
regular $n$-gons for each $n \in S$? Does such a $P$...
- 151k
9
votes
3
answers
945
views
Can different bicycles leave the same tracks?
(asked by JST on the Q&A board at JMM)
Can two bicycles of different lengths leave the same set of tracks (aside from a straight line)?
- 1,119
9
votes
1
answer
604
views
Which changes of metric fix all open balls of a metric space?
In an earlier question, I was interested in counting the number of metric spaces on N points, where I considered two metric spaces to be the same if they had the same collection of open balls. Two ...
- 1,861
9
votes
2
answers
595
views
Strengthened version of Isoperimetric inequality with n-polygon
Let $ABCD$ be a convex quadrilateral with the lengths $a, b, c, d$ and the area $S$. The main result in our paper equivalent to:
\begin{equation} a^2+b^2+c^2+d^2 \ge 4S + \frac{\sqrt{3}-1}{\sqrt{3}}\...
- 1,776
9
votes
1
answer
1k
views
A chain of six circles associated with a conic
I found this problems three years ago. But I never have been a proof. Recently I posted in math.stackexchange.com. I am looking for a solution of the following problems:
A chain of six circles ...
- 1,044
9
votes
1
answer
342
views
Positively curved manifold with almost extreme diameter
Suppose $M$ is a 1-connected closed manifold with sectional curvature $\ge 1$. So the diameter $D$ of $M$ satisfies
$$
D \le \pi
$$
When equality holds $M$ is isometric to round sphere. In fact this ...
- 2,623
9
votes
1
answer
544
views
Question on Hilbert Manifolds
I have a very basic question on Hilbert manifolds.
Consider the Hilbert space
$$
\mathcal{H}:= L^2(S^1)
$$
with $S^1$ the unit circle.
On $\mathcal{H}$ let us introduce the equivalence relation
$$
...
- 233
9
votes
2
answers
477
views
An extension of Gaussian Isoperimetry
The Gaussian isoperimetric inequality (Tsirelson,Sudakov, Borell) states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian ...
- 949
9
votes
1
answer
523
views
The volume of the “unit ball” in $\mathbb{R}^{m\times n}$ with respect to the cut norm
This question is inspired by the question “ε-nets with respect to the cut norm” by the user Aaron, which had been reposted to cstheory.stackexchange.com.
The cut norm ||A||C of a matrix A=(aij)∈ℝm×n ...
- 1,959
9
votes
1
answer
1k
views
Possible new theorem in plane geometry encompassing 5 famous geometry theorems
I am looking for a proof of a generalization Napoleon theorem, Bottema theorem and Brahmagupta theorem and van Aubel theorem, and Finsler–Hadwiger theorem in one configuration, as follows:
Let four ...
- 1,776
9
votes
1
answer
255
views
On the diameter of left-invariant sub-Riemannian structures on a compact Lie group
Let $G$ be a compact connected Lie group with Lie algebra $\mathfrak g$ of dimension $m$.
We fix an inner product $\langle\cdot,\cdot\rangle$ on $\mathfrak g$.
We may assume (in case is necessary) ...
- 2,446
9
votes
1
answer
281
views
Is every compact smooth Riemannian manifold bilipschitz equivalent to a finite simplicial complex?
Let $M$ be a compact smooth Riemannian manifold. Then it admits a triangulation, i.e. a finite simplicial complex $K$ which is homeomorphic to $M$. Any such simplicial complex carries a natural metric ...
- 91
9
votes
1
answer
306
views
Around Brunn-Minkowski inequality
Let me recall the Brunn-Minkowski inequality, which states concavity of ${\rm vol}^{1/d}$ for domains in ${\mathbb R}^d$:
$${\rm vol}(A+B)^{1/d}\ge{\rm vol}(A)^{1/d}+{\rm vol}(B)^{1/d},$$
with ...
- 52.3k
9
votes
1
answer
2k
views
Uniform sampling from general simplex with a twist
This is part of a question I had asked elsewhere, and then some of the links redirected me to CS stack exchange.
Given $0\leq a_1\leq\dots\leq a_D\leq1$ (all strictly positive), I want to draw points ...
- 221
9
votes
1
answer
726
views
Uniform Embedding into Euclidean Space
Given a locally compact, separable, metric space $X$.
When does $X$ uniformly embed into some Euclidean space?
This means, when does there exist some integer $n$ and a closed subset $Y\subset\...
- 3,497
9
votes
1
answer
1k
views
When completion of locally compact length space is locally compact?
As far as I know the answer to the question:
"Is it true that a completion of a locally compact length space is locally compact?" - Negative.
Does anybody know some metric and/or topological ...
- 141