Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,405 questions
7
votes
2
answers
1k
views
Maximum average Euclidean distance between $n$ points in $[-1,1]^n$
For my research I have designed a metric that is based on the average Euclidean distance between $n$ points in the $n$-dimensional hypercube $[-1,1]^n$. However, I have a hard time finding the maximal ...
- 71
7
votes
1
answer
289
views
A centralised website for computational attempts in graph theory and metric geometry?
The set of questions below stems from this question.
1) does a website exist that contains (at least links to) code and data files, with the aim to centralise computational results in graph theory ...
- 883
7
votes
1
answer
471
views
Embedding of real trees into $\ell_1(\Gamma)$
It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
- 4,878
7
votes
1
answer
209
views
Are the primary parallelotopes classified? (equivalently, Voronoi cells of lattices)
A primary parallelohedron is a polyhedron that can fill space with infinite translated copies.
It is known (e.g., Coxeter, H. S. M. Regular Polytopes, 3rd ed. New York: Dover, pp. 29-30, 1973; or, ...
- 1,441
7
votes
2
answers
788
views
Riemannian distance functions on the real line
A distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that is defined by a smooth Riemannian metric on the real line satisfies the following properties:
$d$ is a length metric (...
- 13.5k
7
votes
2
answers
907
views
Is there a 3d equivalent of this picture?
This question arises apropos of an earlier question I asked that was (VERY!!!) helpfully answered by Anton Petrunin:
Fitting a mesh to a density function
The picture below is the image of a regular ...
- 1,125
7
votes
2
answers
428
views
More general form of inequality?
I have proved a simple Lemma that I need for a larger result, and I was wondering whether it is actually another more famous result in disguise.
The lemma says that for any set of vectors in $\mathbb{...
- 73
7
votes
5
answers
2k
views
Surface area of superellipsoid (dice)
I'm a physical chemist and I am involved in “colloidal dice”. These are small, cube-like particles with a really nice, regular shape. These particles are not really cubic, but more rounded, much like ...
- 73
7
votes
2
answers
787
views
Shortest paths on linked tori
I will make this question specific at first, and general later.
Suppose we have two linked tori, $T_1$ and $T_2$,
each of radii $(2,1)$, meaning that each torus is the result of sweeping
a circle of ...
- 151k
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
7
votes
1
answer
248
views
Decidability of completing Penrose tilings
Is the following problem known to be un/decidable? Problem: Given a finite configuration of Penrose tiles in the plane, determine if there is an extension of the configuration tiling the whole plane.
- 509
7
votes
1
answer
268
views
Sphere in Urysohn space
Let $S$ be a unit sphere in the Urysohn space $\mathbb{U}$.
Is it true that any isometry $S\to S$ can be extended to an isometry $\mathbb{U}\to \mathbb{U}$?
- 45k
7
votes
1
answer
223
views
Five-dimensional manifolds fibering over a fixed hyperbolic surface
I am aware of the classical work by Smale and Barden computing the diffeomorphism type of smooth simply connected 5-manifolds in D. Barden, Simply connected five-manifolds, Ann. of Math. (2) 82 (1965),...
- 2,630
7
votes
3
answers
2k
views
Partitioning a rectangle into different isosceles triangles
After all the discussion raised by this old question, I am wondering about a somewhat complementary one:
For any given rectangle, does there exist a finite set of pairwise different isosceles ...
- 13.4k
7
votes
1
answer
642
views
volume over a hypercube, over simplex: twist by Euler numbers
Let $\square_n=\{(x_1,\dots,x_n): 0\leq x_i\leq1,\, \forall i\}$ be an $n$-dimensional unit hypercube, and let $\Delta_n=\{(u_1,\dots,u_n):u_1+\cdots+u_n\leq\frac{\pi}2,\, u_i\geq0,\, \forall i\}$ be $...
- 43.2k
7
votes
2
answers
359
views
Closed curve whose neighborhood is as large as possible
Let $C$ be a closed curve in the plane and let $N_\epsilon(C)$ be an $\epsilon$-neighborhood of $C$, like this:
(ignore the fact that the "curve" is polygonal in this picture, I drew it in MATLAB)
...
- 4,049
7
votes
1
answer
412
views
Shortest curve with given convex hull
Suppose $S\subset\mathbb{R}^2$ is compact and convex. Suppose $\Gamma:[0,1]\to S$ is a continuous curve that passes through every extreme point of $S$, i.e., the convex hull of $\Gamma([0,1])$ is $S$. ...
- 363
7
votes
2
answers
467
views
Does closed Alexandrov space admit a bi-Lipschitz embedding into $\mathbb R^N$?
As the title says.
Let $A^n$ be an $n$-dimensional closed Alexandrov space. Does it admit a bi-Lipschitz embedding into Euclidean space $\mathbb R^N$ for sufficiently large $N$?
I know there are some ...
- 2,623
7
votes
1
answer
422
views
Generalization of the equilateral triangle?
I consider points in the two-dimensional plane.
An equilateral triangle is a set of three points in the plane which are equidistant.
Suppose now I have $n$ points $x_1,...,x_n$. What is the ...
- 840
7
votes
2
answers
1k
views
What are the possible images of a square under an area-preserving map?
Let S be the open unit square in R^2: the set of points (x,y) with 0 < x < 1 and 0 < y < 1. Consider an area-preserving smooth map S --> R^2, that is, a map whose Jacobian has determinant ...
- 4,949
7
votes
3
answers
1k
views
How can we count lines in an n-x-n rectangular array?
Is there a formula for the number of lines that contain exactly two points through an n x n rectangular array of points?
- 79
7
votes
1
answer
284
views
Are two quasi-isometric, isomorphic on large enough balls, transitive graphs isomorphic?
Take two transitive graphs $X,Y$ (potentially directed and edge-labelled, e.g. Cayley graphs).
Assume $X,Y$ are quasi-isometric with constant $K$, i.e. there exists a function $f:VX \to VY$ ($VX,\,VY$ ...
- 887
7
votes
2
answers
666
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 6,541
7
votes
1
answer
318
views
Finding a short path using $(0.99n)!$ permutations
Suppose I have $n$ points $x_1,\dots,x_n$ that are all independent uniform samples in the unit square, and I'd like to find a short path (in terms of Euclidean length) that touches all of them (a ...
- 4,049
7
votes
4
answers
1k
views
On discrete version of curve shortening flow
One can define an analogous version of the curve shortening flow for polygons in $\mathbb R^2$, namely defined by the differential equation $\dot{p_i}(t)=\frac{v_i(t)}{|v_i(t)|^2}$, where $p_i$ is the ...
7
votes
2
answers
390
views
A question about a question about 3-dimensional convex bodies
For each positive integer n let E(n) denote n-dimensional Euclidean space and let the term "n-dimensional convex body" mean a compact convex subset of E(n) whose interior (with respect to E(n)) is non-...
- 6,215
7
votes
1
answer
303
views
On Lipschitz embeddability of certain compact metric spaces into $\mathbb{R}^n$
Suppose that $K$ is a compact metric space which is homeomorphic to a subspace of $\mathbb{R}^n$. Does there exist $f:K\rightarrow \mathbb{R}^n$ which is one-to-one and Lipschitz?
- 607
7
votes
1
answer
938
views
Which knots' stick numbers are twice their crossing numbers?
Looking at a table of minimum stick numbers for knots (table here),
it seems the known upper bound of $2 c(K)$ in terms of the knot crossing number $c(K)$
is realized by the trefoil $3_1$—it ...
- 151k
7
votes
1
answer
2k
views
Details of Perelman's example about soul of Alexandrov space
Reading Perelman's preprint(1991) Alexandrov space II now. Got confused about the last section 6.4, which contains an example which indicate that the statement ".... manifold is diffeomorphic to the ...
- 1,101
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
7
votes
2
answers
291
views
Étendue measure of the set of lines between two Euclidean balls
Let $d>0$ and $r_1,r_2>0$ such that $r_1+r_2 < d$. Consider two (say, closed) balls $B_1,B_2$ in $\mathbb{R}^m$ having radii $r_1,r_2$ and whose centers are at distance $d$. Let $C$ be the ...
- 32.5k
7
votes
1
answer
433
views
Induced homeomorphism from a quasi-isometry between hyperbolic spaces
Theorem. Let $\phi:X\rightarrow Y$ be a quasi-isometry between two (Gromov) hyperbolic spaces $X$ and $Y$. If $X$ and $Y$ are proper, then ϕ induces a homeomorphism between their boundaries.
The proof ...
- 439
7
votes
1
answer
371
views
The space of skew-symmetric orthogonal matrices
Let $M_n \subseteq SO(2n)$ be the set of real $2n \times 2n$ matrices $J$ satisfying $J + J^{T} = 0$ and $J J^T = I$. Equivalently, these are the linear transformations such that, for all $x \in \...
- 12.4k
7
votes
1
answer
453
views
For regular tetrahedron $ABCD$ with center $O$, and $\overrightarrow{NO}=-3\overrightarrow{MO}$, is $NA+NB+NC+ND\geq MA+MB+MC+MD$?
Let $ABCD$ be a regular tetrahedron with center $O.$ Consider two points $M,N,$ such that $\overrightarrow{NO}=-3\overrightarrow{MO}.$ Prove or disprove that
$$NA+NB+NC+ND\geq MA+MB+MC+MD$$
I ...
- 181
7
votes
1
answer
180
views
existence of riemannian metric on $\text{SL}_3(\mathbb{R})$ with special geodesics
Is there a left-invariant Riemannian metric on $\text{SL}_3(\mathbb{R})$ for which the geodesics (with respect to the corresponding Levi-Civita connection) through the identity are exactly the ...
- 197
7
votes
1
answer
907
views
Lebesgue differentiation theorem holds on locally doubling space?
It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
- 471
7
votes
1
answer
5k
views
Shrink polygon to a specific area by offsetting
I have a 2D polygon that I want to shrink by a specific offset (A) to match a certain area ratio (R) of the original polygon. Is there a formula or algorithm for such a problem? I am interested in a ...
- 171
7
votes
1
answer
3k
views
Any reference to an algorithm for finding the largest empty circle on a sphere (with great-circle distance)?
Given a set $S$ of 2D points in the plane, there are known algorithms for finding the largest empty circle ($LEC$) of the set of points.
The $LEC$ problem is stated in this way: find a $LEC$ whose ...
7
votes
1
answer
404
views
Constant Mean Curvature hypersurfaces "condensing" onto a minimal submanifold
Let $M$ be Riemannian manifold and $S\subset M$ a minimal submanifold, with $\dim S<\dim M-1$. According to a few references (e.g., Mahmoudi, Mazzeo & Pacard), it should not be hard to see that:...
- 5,891
7
votes
1
answer
193
views
Free median algebras and maximal linked systems
$\DeclareMathOperator\MLS{MLS}$Recall that the median operation, on the power set $2^Y$ of subsets of a set $Y$, is the ternary law $m(A,B,C)$ mapping a triple of subsets to the set of elements ...
- 63.9k
7
votes
1
answer
172
views
Metric TSP with integer edge cost
Given a metric TSP with integer edge cost upper-bounded by a constant $C_{\max}$, can we find an poly-time algorithm solving this TSP instance?
- 367
7
votes
2
answers
136
views
Completion of an Alexandrov space
Let $X$ be an incomplete Alexandrov space with sec $\ge -1$ in the sense that for any point in $X$ there exists a small neighborhood in which the four-points criterion is satisfied.
Suppose $X$ is ...
- 2,535
7
votes
1
answer
591
views
When is a metric space a snowflake?
Let $(X,d)$ be a metric space. For any $0<\epsilon<1$, we call the metric space $(X,d^{\epsilon})$; where $d^{\epsilon}(x,y)\triangleq (d(x,y))^{\epsilon}$ the $\epsilon$-snowflake of $(X,d)$.
...
7
votes
1
answer
759
views
Complete geodesics on hyperbolic a pair of pants
I have asked this question on MSE. But I think Mo is a better place to ask my question. Here is the link to my question on MSE. I will rewrite it here:
I am trying to understand the article by Maryam ...
- 231
7
votes
1
answer
389
views
Packing disks of infinitesimal diameter on a sphere: the asymptotics of the Tammes problem
This is an elaboration on MO Question 212550: given $ 0 < 2a << 1 $, how many points can be placed on the unit sphere, subject to the constraint that any two of these points must be at ...
- 347
7
votes
1
answer
162
views
Estimate of number of boundary components of a compact Riemannian 2-surface
Let $X$ be a compact smooth 2-dimensional Riemannian manifold with boundary. Assume that the Gauss curvature of $X$ is at least $-1$ and the diameter is at most $D$. Assume that near the boundary the ...
- 21.8k
7
votes
1
answer
537
views
map from 6-vertex model to domino tiling
I am trying to find a correspondence between 6-vertex model and an Aztec Diamond tiling. Here are the building blocks of the 8-vertex model:
There seems to be more than one correspondence. I found ...
- 22.8k
7
votes
1
answer
259
views
Can we realize the smooth metric of an Alexandrov space with nonnegative curvature by a Riemannian structure?
We know that a smooth Riemannian manifold with nonnegative curvature is an Alexandrov space (with induced metric) of nonnegative curvature.
What about the converse? That is, given a smooth metric d ...
- 1,799
7
votes
1
answer
127
views
metric condition forcing convex position
Let $A_1,A_2,\ldots, A_n$ be distinct in the plane. For every $1\le i \le n$, let
$S_i=\sum\limits_{j=1}^n d(A_i,A_j)$ be the sum of distances from $A_i$ to all the other points.
Assume that $S_i=S_j$...
- 397
7
votes
2
answers
259
views
Can every large point set be connected to a given knot?
Let $K$ be a given knot, and
$P$ a set of points in $\mathbb{R}^3$ in general position,
general position in the sense that no three points are collinear
and no four coplanar.
Define the point-set ...
- 151k