Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
692 questions
5
votes
0
answers
266
views
Throwing darts at a barn and putting a bullseye around them in higher dimensions
Let $X \in \mathbb R^d$ be a large domain (a ball of radius $r$ for $r$ large should suffice)
Let $B$ be a ball of radius $1$.
Consider the ratio
$$ \frac{ \left| \left\{ x_1,\dots,x_n \in X \mid ...
- 148k
5
votes
1
answer
249
views
5
votes
1
answer
433
views
Sixteen points circle - A conjecture on Möbius plane
The conjecture refer the reader about the Bundle's theorem configuration. (This conjecture from a note)
Consider the Bundle theorem configuration :
Points $A_1, A_2, A_3, A_4$ lie on a circle,
...
- 1,044
5
votes
1
answer
782
views
Malfatti Circles - Limiting point
"Three circles packed inside a triangle such that each is tangent to the other two and to two sides of the triangle are known as Malfatti circles" (for a brief historical account on this topic, see ...
- 667
5
votes
0
answers
214
views
Covering the sphere with an approximately planar grid
Consider a triangulation of a radius $R$ sphere into $n$ triangles. Must $Ω(\sqrt n)$ triangles have $Ω(1)$ relative difference from being an equilateral triangle of area $4πR^2/n$? ($Ω$ is from ...
- 7,545
5
votes
0
answers
1k
views
"The famous Lusternik-Schnirelmann Theorem of the Three Closed Geodesics"
The title is a quote from p.256 of Wilhelm Klingenberg's 1995
Riemannian Geometry (Google Books link):
Every surface homeomorphic to a sphere $\mathbb{S}^2$ has three distinct, simple, closed ...
- 151k
5
votes
0
answers
214
views
Visibility in a prime orchard
This suggests a variant on Polya's orchard problem.
That problem asks1
for which radius $\epsilon$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the ...
- 151k
5
votes
1
answer
389
views
Maximizing $\iiint|(x-z)\times(y-z)|d\mu d\mu d\mu$ over probability measures on the unit circle
What probability measure(s) maximize the quantity $\iiint_{\mathbb{S}^1}|(x-z)\times(y-z)|d\mu(x)d\mu(y)d\mu(z)$?
The answer appears to be uniform measure, since informally it appears better to have ...
- 3,209
5
votes
1
answer
206
views
If a subspace $F$ is contained in a subspace $G$, and $H$ is close to $G$, can we choose a subspace of $H$ close to $F$?
Let $E$ be a Banach space. Recall that the collection of all closed linear subspaces of $E$ can be turned into a metric space in a number of ways. In particular, consider the notion of a gap: if $G$ ...
- 5,529
5
votes
2
answers
514
views
Concrete description of lift in Arens-Eells space
Let $X$ be a compact pointed metric subspace of the $d$-dimensional Euclidean space $(\mathbb{R}^d,d_E)$ and let $AE(X)$ denote its Arens-Eells space. Then a result of Nik Weaver shows that for every ...
- 5,405
5
votes
2
answers
641
views
Shortest "painting" of the sphere
Let $S$ be the sphere in $\mathbb{R}^3$ and $C:[0,1]\to S$ a continuously differentiable curve on $S$. Let $T:[0,1]\to\mathbb{R}^3$ denote the tangent vector of $C$. Let $P(t)$ be the plane containing ...
- 1,533
5
votes
1
answer
464
views
A generalization of Erdős–Mordell inequality [closed]
I proposed my conjecture generalization of Erdős–Mordell inequality as following:
Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...
- 1,044
5
votes
1
answer
244
views
Smallest regular $m$-gon covering a regular $n$-gon
I start by stating the problem, which is already hinted in the title of the question. I do believe it is a research-level question.
Let us fix a regular $n$-gon with area $1$. What is the smallest ...
- 1,889
5
votes
0
answers
166
views
Pocket billiards with balls in general position
There were at least two earlier MO questions about ideal pocket billiards.
(Ideal: frictionless, perfectly elastic collisions.)
Perfectly centered break of a perfectly aligned pool ball rack.
Does ...
- 151k
5
votes
3
answers
683
views
Alexandrov's generalization of Cauchy's rigidity theorem
Wikipedia states that A. D. Alexandrov generalized Cauchy's rigidity theorem for polyhedra to higher dimensions.
The relevant statement in the article is not linked to any source. The sources at the ...
- 13.6k
5
votes
0
answers
350
views
How to calculate the volume of a parallelepiped in a normed space?
Let $E$ be a real normed space, and let $v_1,...,v_n\in E$ be linearly independent. The parallelepiped defined by these vectors is $P=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Since $E$ is a ...
- 5,529
5
votes
1
answer
242
views
Cancellation of elements in the Gromov boundary of a free group
Let $A$ be a finite set of free generators and their inverses and $F$ the free group generated by elements in $A$ (some call $A$ the alphabet of $F$). For each $g\in F$, use $\vert\,g\,\vert$ to ...
- 307
5
votes
3
answers
607
views
Osculating circle
(This question may be too elementary for this site — I'm fine if it needs to be moved to math.stackexchange.)
If I approximate a nice planar curve by a straight line, the tangent, then the second ...
- 11.1k
5
votes
0
answers
508
views
Longest simple path through hypercube corners
This is a variation on a previously answered question,
Longest path through hypercube corners.
Here I am seeking the longest simple (non-self-intersecting) path through
the unit hypercube's vertices,
...
- 151k
5
votes
2
answers
553
views
Homotopy problem for infinite dimensional topological space II
This post here is a specification of this post.
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying :
$X_{n}$ have topological dimension $n$.
$X_{n+1}$ is n-...
5
votes
1
answer
1k
views
Smoothness of the square of the distance function on a Riemannian manifold
Let $(M^n,g)$ be a smooth Riemannian manifold. The distance between two points is the infimum of the lengths of the curves which join the points. Consider the square of the distance function
$d^2\...
- 59
5
votes
1
answer
383
views
cover and hide with squares
I am studying two numbers, related to squares, that can characterize a polygon P:
MinCoverNumber = the minimum number of axis-aligned squares required to exactly cover P (the covering squares may ...
- 3,549
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
5
votes
4
answers
540
views
How hard is it to determine if a weighted graph can be isometrically embedded in R^3?
Consider a graph $G$ with nonnegative edge weights.
Question: In $\mathbb{R}^3$, how hard is it to assign coordinates to vertices such that the Euclidean length of each edge is equal to its weight?
...
- 3,059
5
votes
0
answers
213
views
Euclidean Minimum Spanning Trees Restricted to One Vertex Per Grid Cell
Given an $n \times n$ grid with unit grid cells, and one point from the interior
of each cell, what is are best possible lower and upper bounds for lengths of minimum spanning trees? The lower bound ...
user71114
5
votes
0
answers
309
views
Upper bounds on art gallery problems using independent witnesses
Given a polygon $P$, the art gallery problem looks to find a smallest set of points that sees all of $P$. One way of bounding the number of guards necessary (from below) is to find a largest set of ...
- 1,182
5
votes
0
answers
127
views
Does the permutohedron satisfy any minimal distortion property for graph metric vs Euclidean distance?
We can look on the permutohedron as a kind of "embedding" of the Cayley graph of $S_n$ to the Euclidean space. (That Cayley graph is constructed by the standard generators, i.e. ...
- 24.9k
5
votes
1
answer
1k
views
Does every smooth manifold admit a metric with bounded geometry and uniform growth?
Let $M$ be a smooth manifold, $g_M$ a Riemannian metric, and consider for $x\in M$ the volume growth function, $gr_x$ that maps $r>0$ to the volume $vol_{g_M}(B(x,r))$. My interest is to see ...
- 541
5
votes
2
answers
294
views
Convex caps with prescribed edges
Let $P$ be a convex polygon in the plane $R^2=R^2\times \{0\}$, and $E$ be the edge graph of some subdivision of $P$ into convex polygons, which is $3$-connected. Does there exist a convex polyhedral ...
- 7,149
5
votes
1
answer
547
views
Cover of a n-simplex with balls
Consider a n-simplex. For each edge (i,j), consider a n-ball, such that vertices i and j are antipodal on this ball. Is the simplex covered by the union of these balls? Thank you.
- 195
5
votes
0
answers
120
views
Is an equilateral triangle constructible in a Tarski plane?
By a Tarski space I understand a mathematical structure $(X,\mathsf B,\equiv)$ consisting of set $X$, a betweenness relation $\mathsf B\subseteq X^3$ and a congruence relation ${\equiv}\subseteq X^2\...
- 41.8k
5
votes
1
answer
2k
views
A question on Cheeger-Gromov compactness theorem
The Cheeger-Gromov compactness theorem says the following. Let us fix $n\in \mathbb{N}$ and positive constants $K,D,v$. Let $\{(M_i^n,g_i)\}$ be a sequence of closed infinitely smooth $n$-dimensional ...
- 21.8k
5
votes
2
answers
2k
views
Isometric embeddings of metric spaces in Hilbert spaces
There are plenty of isometric embeddings of metric spaces in Banach spaces. Nevertheless, I have been unable to find any significant result on isometric embeddings into Hilbert spaces. My question is: ...
- 5,407
5
votes
0
answers
427
views
The Gömböc and monostatic objects
This made the popular news a few years ago. Summary: it's the first homogeneous, convex solid to be found with only one stable and one unstable mechanical equilibrium when resting on a flat surface. I ...
- 3,612
5
votes
2
answers
448
views
Space of curves
I am reading Burago, Burago & Ivanov's book where they distinguish the notion of a curve and a path in the following way:
a path in a topological space $X$ is simply a (continuous) map from a ...
- 5,529
5
votes
1
answer
292
views
All-set-homogeneous spaces
This is a follow-up to the question of Joseph O'Rourke Which metric spaces have this superposition property?
A metric space $X$ will be called all-set-homogeneous if for any subset $A\subset X$ any ...
- 45k
4
votes
1
answer
266
views
A closed chain of $2n+1$-gon around $2n+1$-points
I posed a generalization of Theorem 3.2 In my paper
Conjecture: Let $P_1, P_2,....,P_{2n+1}$ and $O$ be $2n+2$ points in plane. Construct a chain $2n+1$ regular ${2n+1}$-gons $A_{1\;1}A_{1\;2}...A_{1\;...
- 1,776
4
votes
2
answers
309
views
Finitely isometrically persistent metric spaces
The goal of this question is to develop further the discussion
initiated in Under which conditions is it possible to find points with same distances under bi-Lipschitz map. The mentioned question was ...
- 4,878
4
votes
1
answer
131
views
Any visualization software for the intrinsic metric of a convex polyhedron?
I'd like to find a visual simulation of what it would be like to 'live' in a polyhedron with the intrinsic, piecewise-Euclidean length metric. Of course, to make it easier to visualize, I'd prefer to ...
- 3,359
4
votes
1
answer
363
views
Trade-off between hypervolume and diameter of $d$-dimensional shapes having a hypercubic smallest bounding box
Given any $d$-dimensional shape $X$, let $V(X)$ be its $d$-dimensional volume, and let $\ell(X)$ be the length of the longest line segment connecting two points of $X$.
Let $\mathcal{S}_C$ be the set ...
- 1,677
4
votes
1
answer
251
views
A property of geodesic triangles in manifolds with lower bounds on curvature and injectivity radius
Does there exist a function $\tau(\varepsilon)=\tau(\varepsilon,n,K,\mu)$ such that $\lim_{\varepsilon\to +0}\tau(\varepsilon)=0$ and for any $n$-dimensional complete Riemannian manifold $M^n$ with ...
- 21.8k
4
votes
2
answers
812
views
Is it possible to sample uniformly on the surface of a high-dimensional polytope?
There are some pretty simple methods to do uniform sampling on the surface of high-dimensional spheres or cubes.
Are there any methods that sample uniformly on the surface of a high-dimensional ...
- 143
4
votes
2
answers
282
views
Fixed points on spherical buildings
A crucial aspect of the Bruhat–Tits theory of affine buildings is the Bruhat–Tits fixed-point theorem, which, in one of many formulations, states that, if $\Gamma$ is a group of isometries of an ...
- 12.9k
4
votes
2
answers
846
views
Fundamental polygons with infinite pairwise identifications
The topology of a closed surface can be constructed
by identifying edges of a fundamental polygon of an
even number $2n$ of edges.
Labeling the edges and using $\pm 1$ exponents to indicate
direction,
...
- 151k
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,155
4
votes
1
answer
482
views
Dirichlet polyhedra for hyperbolic manifolds
Let $H$ be a simply-connected, complete
space of constant negative curvature, that
is, a hyperbolic space, $\Gamma$ a discrete group of
isometries, and and $M=H/\Gamma$ its quotient space;
we assume ...
- 9,237
4
votes
2
answers
446
views
About Euclidean distances
$\newcommand\R{\mathbb R}$Let $0<d_1<\cdots<d_k<\infty$ and let $m_1,\dots,m_k$ be any integers $\ge1$. Let $n:=m_1+\dots+m_k-1$.
Let $d$ denote the Euclidean distance in $\R^n$.
Do then ...
- 128k
4
votes
1
answer
422
views
Can $n$ circles on a plane generate $m$ intersection points where at least $k$ circles intersect?
Can $n$ circles on a plane generate $m$ intersection points where at least $k$ circles intersect?
For $k = 2$ the answer is obvious since we can always place circles so that every one of them ...
- 63
4
votes
0
answers
144
views
Approximation of a convex shape in the $d$-dimensional Euclidean space for $d\gg 1$
We are given a convex shape $C$ lying inside the hypercube $[0,1]^d$ in the $d$-dimensional Euclidean space. Let the volume of $C$ be $\tfrac12$ (I guess nothing changes for any other fixed constant ...
- 1,677
4
votes
0
answers
232
views
Illuminating a just-barely irrational polygon
As has been discussed earlier on MO,1,2
recently an impressive advance was proved concerning
internally illuminating a mirrored polygon.
Here is the result:
Let $P$ be a rational polygon.
Then for ...
- 151k