Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,403 questions
4
votes
1
answer
276
views
Lower bound on volume of $n$-cube intersected with $n$-sphere
Let $B_n^r(c)$ be the radius $r$ ball in $\mathbb{R}^n$ dimensions centered at $c$. I am interested in
$$\text{Vol}([-0.5, 0.5]^n \cap B_n^r(c)).$$
Is there a good lower bound for this quantity?
I was ...
- 75
9
votes
0
answers
256
views
Compass and straightedge construction of Poncelet polygons
Gauss–Wantzel theorem states that
A regular n-gon is constructible with straightedge and compass if and only if $n = 2^kp_1p_2...p_t$, where $p_i$'s are distinct Fermat primes (A Fermat prime is a ...
- 691
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}.$$...
- 105k
4
votes
1
answer
96
views
On the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$.
Can the mean of the squares of the off-diagonal entries of $G$ be $<1/5$?
Remark 1: A numerical experiment suggests that $...
- 109k
6
votes
1
answer
489
views
What inequalities for convex sets are known since the work of Scott and Awyong?
In 2000, Paul R. Scott and Poh Way Awyong published the paper Inequalities for Convex Sets, which nicely collates the known results relating various natural geometric functionals (diameter, area, etc.)...
CommunityBot
- 1
1
vote
0
answers
71
views
Is the circumcenter Lipschitz on large convex sets in hyperbolic space?
Given a uniquely geodesic metric space $X$, let $\mathcal K(X)$ denote the metric space of compact, convex subsets of $X$ equipped with the Hausdorff distance. Given $K \in \mathcal K(X)$, let $c(K)$ ...
- 498
0
votes
2
answers
244
views
Decreasing magnitude of spherical centroid
Let $\sigma$ be the uniform measure on $\mathbb{S}^{d-1}\subset \mathbb{R}^d$. For any region $R\subset \mathbb{S}^{d-1}$, let $X_R$ be a random variable which is uniformly distributed across $R$. We ...
CommunityBot
- 1
0
votes
2
answers
134
views
What is the smallest area of a central section of the unit hypercube?
Let $\mathcal{U} \subseteq \mathbb{R}^n$ denote the unit hypercube i.e. $\mathcal{U} = [0,1]^n$, and assume that for some $d \in \mathbb{R}^n$ one denotes by
$$
\mathcal{H} = \left\{x \in \mathbb{R}^n ...
- 128k
4
votes
0
answers
66
views
Convergence of graph geodesics to geodesics on metric spaces
Let $(X,d)$ be a compact length space metric space $\mathbb{X}_{\delta}$ be a $\delta$-packing on $X$ and, for every $k\in \mathbb{N}_+$, let $G_{k,\delta}=(\mathbb{X}_{\delta},\mathcal{E}_k,W_k)$ ...
- 63.9k
1
vote
1
answer
133
views
In the limit, do the intersection points of a string figure define a probability measure on the unit disk?
Let D = {z ∈ ℂ | |z| ≤ 1} denote the closed unit disk in the complex plane.
For any integer n ≥ 1 define the nth string figure S(n) ⊂ D as the union of all n(n+1)/2 line segments that connect two ...
CommunityBot
- 1
10
votes
6
answers
700
views
Tiling with similar tiles
Question 1: Is there a polygon $P$ that
cannot tile the plane
and
tiles the plane when copies of $P$ and some other polygon(s) all similar in shape to $P$ but of different size(s) can be used?
...
- 677
2
votes
2
answers
213
views
Bounding the length difference of two curves given the Fréchet distance between them
Given two simple, closed, convex, planar curves $C_1$ and $C_2$, let their lengths be $\ell_1$ and $\ell_2$, respectively, and their Fréchet distance be $d_f$. We are trying to bound $|\ell_1 - \ell_2|...
CommunityBot
- 1
28
votes
3
answers
2k
views
Does isometric immersion map boundary to boundary?
Let $M$ be a compact, connected, oriented, smooth Riemannian manifold with non-empty boundary. Let $f:M \to M$ be a smooth orientation preserving isometric immersion.
Is it true that $f(\partial M) \...
- 356
4
votes
0
answers
87
views
Statistics of random Voronoi S-tessellations
Given a locally finite set of points $\{x_1,x_2,\dots\}\subset\mathbb{R}^d$, the Voronoi cell of a point $x_{i}$, denoted by $C(x_{i})$, consists of all the points in $\mathbb{R}^d$ that are closer to ...
15
votes
2
answers
1k
views
Do two new special points in any triangle exist?
There are some special points in any triangle, as Fermat point, symmedian point, incenter, Morley center, et cetera.
Let $P$ be a point on the plane, $PA$, $PB$, $PC$ meet $BC$, $CA$, $AB$ at $...
CommunityBot
- 1
0
votes
0
answers
24
views
Is there a log-concave distribution not spherical symmetric s.t $ \langle X, \theta \rangle$ is almost normal for all directions $\theta$?
Klartag's results indicate that for a log-concave isotropic random vector, with high probability over $\theta$, $\langle X, \theta \rangle$ is close to a normal distribution.
It is known that for the ...
- 11
2
votes
0
answers
71
views
Lipschitz continuity of orthogonal projection with respect to the Hausdorff distance
Let $x_0 \in \mathbb R^n$, and let $\mathcal K$ denote the set of compact convex subsets of $\mathbb R^n$ equipped with the Hausdorff metric. Consider the map $f: K \mapsto \Pi_K x_0$, where $\Pi_K$ ...
- 498
1
vote
0
answers
162
views
A certain circle formed by perpendiculars
If six points are chosen, two points on each side of a triangle, such that they have the same ratio of distances to vertices, then the perpendicular lines through those points meet at six concyclic ...
- 63.9k
4
votes
1
answer
330
views
Billiard circuits in pentagons
A billiard circuit in a convex $n$-gon is a closed billiard path
of $n$ segments reflecting from consecutive edges of the polygon.
Every regular $n$-gon has such a billiard circuit:
Recently a ...
- 2,370
4
votes
2
answers
312
views
Injective hulls of metric spaces
In the context of large scale geometry and geometric group theory, I have recently come across the concept of injective hulls of metric spaces. For a metric space $X$, let $\text{In}(X)$ be the set of ...
2
votes
0
answers
82
views
Is isoperimetric hypersurface unique up to homeomorphism?
Is there a Riemannian structure on $\mathbb{R}^n $with two non homeomorphic compact hypersurfaces $M,N$ such that both satisfy the isoperimetric inequality. I precisely meanthe following:
$$\...
- 356
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-...
- 869
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-...
0
votes
0
answers
67
views
Comparing partitions of a given planar convex region into pieces with equal diameter and pieces of equal width
We continue from Cutting convex regions into equal diameter and equal least width pieces. There we had asked for algorithms to partition a planar convex polygon into (1) $n$ convex pieces of equal ...
- 5,979
2
votes
1
answer
147
views
Are there polytopes with precisely two realizations?
A convex polytope is projectively unique if it has a unique realization up to projective transformations. Such polytopes are somewhat mysterious but still well-studied. Examples are simplices, the ...
- 752
4
votes
2
answers
341
views
Cutting convex regions into equal diameter and equal least width pieces - 2
This post is a spinoff from Cutting convex regions into equal diameter and equal least width pieces
Definitions: The diameter of a convex region is the greatest distance between any pair of points in ...
- 5,979
3
votes
1
answer
418
views
Generalization of Tucker circle, Conway circle and van Lamoen circle
Theorem 9.1 in this paper as follows is a generalization of Turker circle. Turker circles is a generalization of many circles as: Cosine Circle, circum circle, First Lemoine Circle, Gallatly Circle, ...
- 785
25
votes
1
answer
513
views
Is there an inventory of closed billiard paths in a regular tetrahedron?
Conway found a closed billiard-ball trajectory in a regular tetrahedron:
Image: Izidor Hafner
Since then Bedaride and Rao
Bedaride, Nicolas, and Michael Rao. "Regular simplices and periodic ...
- 156k
2
votes
0
answers
48
views
Maximum coverage of an orthogonal polygon using $k$ rectangles
I have an orthogonal polygon (all edges are horizontal or vertical) which is convex (no holes in any row of column of the polygon).
I would like to cover as much as possible of this orthogonal polygon ...
- 6,367
7
votes
1
answer
508
views
An order statistics problem with some interesting geometry
Let $a_n$ be a given sequence of positive numbers, and $X_n$ a sequence of independent random variables with each $X_n$ uniformly distributed on $[0, a_n]$.
Question: Let $N \geq 2$ be an arbitrary ...
- 6,215
19
votes
5
answers
21k
views
Dividing a square into 5 equal squares
Can you divide one square paper into five equal squares?
You have a scissor and glue. You can measure and cut and then attach as well. Only condition is You can't waste any paper.
- 2,370
2
votes
0
answers
38
views
Constructing an $n$-simplex at the border of a $n$-ball by orthogonal hyperplanes
I want to construct an $n$-simplex the following way:
Choose $n$ vectors in the boundary of an $n$ dimensional ball, which are forming an $(n-1)$-simplex together.
Place the orthogonal affine $n-1$-...
- 63.9k
5
votes
1
answer
206
views
Lattice with Voronoi cell inside a circle
This considers real-valued lattices in two dimensions.
I need to find the densest lattice $\Lambda$, i.e., the one with the smallest determinant of its generator matrix, such that the Voronoi cell of ...
- 4,219
3
votes
0
answers
61
views
For which lattices L does the cluster of Voronoi regions abutting that of the origin have a lattice tiling of euclidean space?
Let L be a n-dimensional lattice (a discrete cocompact subgroup of n-space).
Let V0 denote the Voronoi region of the origin, and let C denote the union of V0 with all the Voronoi regions that share a ...
- 2,858
0
votes
0
answers
119
views
Boundedness of 2 times the unit ball
Suppose that $X$ is a topological vector space where the topology is given by a metric $d$ on $X$. Assuming that the unit ball
$$
B(0, 1) := \{x \in X : d(0, x) < 1\} \neq X,
$$
is it necessarily ...
5
votes
0
answers
187
views
Packing cylinders in a sphere: Phase transition?
Let $S$ be a unit-radius sphere in $\mathbb{R}^3$,
and $c$ a cylinder of length $L$ and radius $r<2$.
It appears to me that for $L \in [\sqrt{2},2]$
and "small" $r$,
the optimal packing ...
- 151k
1
vote
0
answers
68
views
Name of the perspector of the orthic triangle and excentral triangle
The orthic triangle and tangential triangles of a given triangle are in perspective. What's the official kimberling center associated with this perspector?
- 5,429
0
votes
0
answers
78
views
Coordinates of the centers of the insphere and circumsphere
Suppose we are working in $\mathbb{R}^3$ space and we have four non-coplanar and non-collinear points, $(x_a, y_a, z_a)$, $(x_b, y_b, z_b)$, $(x_c,y_c, z_c)$, and $(x_d, y_d, z_d)$. How does one ...
CommunityBot
- 1
0
votes
0
answers
37
views
Does smallness of Gromov-Hausdorff distance on scale 2 imply smallness on GH distance on scale 1?
Let $(M,g)$ be a Riemannian manifold and $C(Y)$ be a metric cone over $Y$. Let $B_r$ denote the geodesic ball of radius $r$ centered at a fixed point $x$ in $M$ and $C_r$ denote the metric ball of ...
- 151
8
votes
0
answers
149
views
Do the $\ell^{\infty}$ and $\ell^1$ norms yield minimal doubling constants amongst all norms on $\mathbb{R}^n$?
Setting:
Let $X:=\mathbb{R}^n$ for some positive integer $n$. For each $1\le p\le \infty$ let $d_p$ denote the metric induced by the $\ell^p_n$ norm thereon.
Note that, the doubling constant of a ...
- 5,405
2
votes
0
answers
114
views
Another Butterfly theorem — Conway like circle
Have You seen these result as follows before?
In Figure 1: $AA'=BB'=tAB$; $CC'=DD'=tCD$, where t is real number then $ABCD$ is a cyclic quadrilateral iff $A'B'C'D'$ is a cyclic quadrilateral.
In the ...
- 12.9k
1
vote
0
answers
27
views
Seeking Help with Classifying Polygons: Waterholes and Airpockets in 2D Space
I am currently in the process of writing software and have encountered a mathematical problem. Perhaps there are some experts here who are familiar with this. It involves the classification of ...
- 35.5k
18
votes
2
answers
2k
views
Which platonic solids can form a topological torus?
8 cubes can be joined face-to-face to form a closed ring with a hole in it, with each cube sharing a face with only two others. The same can be done with 8 dodecahedrons.
Is the same possible with the ...
- 1,446
1
vote
1
answer
132
views
Can I find $n$ points on the boundary of an $n$-dimensional ball with certain properties?
My problem is the following: I want to construct $n$ rays all starting at a point $v$ that is not in the $n$-dimensional ball around $0$ such that the following is true:
The $n$-dimensional ball is a ...
1
vote
1
answer
46
views
Can either pair of opposite sides of an arbitrary parallelogram be brought into coincidence isometrically in 3-space?
Let P denote any nondegenerate planar parallogram, and let A and B be either pair of its opposite edges.
Does there always exist a continuous family of locally-isometric mappings ht of P into 3-space, ...
- 2,858
2
votes
0
answers
44
views
Under what conditions do distances from pivot points uniquely identify a point on a manifold?
Let $X$ be a smooth manifold of dimension $n$ equipped with a Riemannian metric.
Suppose that $x_1, \dots, x_m$ are pivot points on that manifold. We consider the distance functions
$$
f_i(x) = d( x_i,...
- 5,327
2
votes
2
answers
163
views
References for geometric properties of optimal Euclidean traveling salesman tour
Consider a finite set of points $V \subseteq \mathbb{R}^2 $ as a TSP-instance under the standard $\| \cdot \|_2$ norm. (TSP stands for traveling salesman tour.) We know that every optimal TSP tour $T$ ...
CommunityBot
- 1
3
votes
1
answer
176
views
A generalization of Barrow's inequality
More than seven years ago. I posted this problem in stackexchange:
Let $ABC$ be a triangle, $P$ be arbitrary point inside of $ABC$. Let $A_1B_1C_1$ be the tangential traingle of $ABC$. Let $A'$, $B'$,...
- 1,228
4
votes
1
answer
161
views
Groups (not?) quasi-retracting onto $\mathbb{Z}$ via closest points projection
Inspired by this question we ask:
Suppose that $G$ is an infinite group. Suppose that $X$ is a finite generating set of $G$. Let $\Gamma = \Gamma(G, X)$ be the resulting Cayley graph. Does $\Gamma$ ...
- 28.2k
97
votes
11
answers
13k
views
Is it possible to capture a sphere in a knot?
You and I decide to play a game:
To start off with, I provide you with a frictionless, perfectly spherical sphere, along with a frictionless, unstretchable, infinitely thin magical rope. This rope ...
- 4,713