Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,403 questions
5
votes
1
answer
138
views
Complexity and length
Suppose we define continuous piecewise linear functions $f$ on $[0,1]$ using your favorite programming language, or by finite automata, or by any other suitable machine. Define the complexity $H(f)$ ...
- 2,576
1
vote
1
answer
181
views
Relation between the root lattice of $\mathrm{SO}(7)$ and the root lattice of $G_2$
The root lattice of $\mathfrak{so}(7)$ is given by the following 18 roots:
$$
\left(\begin{array}{c}0\\0\\1\end{array}\right)
,
\left(\begin{array}{c}0\\0\\-1\end{array}\right)
,
\left(...
- 3,054
4
votes
3
answers
347
views
Minimal data required to determine a convex polytope
Let $P\subset \Bbb R^d$ be a convex polytope.
Suppose that I know
its combinatorial type (aka. the face-lattice),
the length $\ell_i$ of each edge, and
the distance $r_i$ of each vertex from the ...
- 13.6k
1
vote
0
answers
100
views
Perfect 'cuboiding' of cubes and cuboids
We try to add a bit to ref 2 listed below. In this post, by 'cuboid', we mean only rectangular cuboids - hexahedra with all faces rectangles and adjacent faces meeting only at right angles. A special ...
- 5,979
0
votes
0
answers
43
views
Regularization of the Laplacian on $\mathbb{R}^d$ and approximation schemes
this question is somewhat naive, but I am trying to understand the meaning of the regularized resolvant of the Laplacian on $\mathbb{R}^d$, and how it relates to a discrete approximation. Particularly,...
- 841
4
votes
1
answer
438
views
Perfect squaring of rectangles
A perfect squaring of a rectangle may be defined as a partition of the rectangle into finitely many squares all of which are mutually non-congruent. https://en.wikipedia.org/wiki/Squaring_the_square ...
- 5,979
0
votes
0
answers
28
views
Example of a matrix -HDH that is not PSD (with non-euclidean distances D)
It's widely known that, given a matrix of squared Euclidean distances, $\mathbf{D}_{ij} = \| \mathbf{X}_i - \mathbf{X}_j \|^2$, and the centering matrix $\mathbf{H} = \mathbf{I} - \dfrac{1}{n}11^T$, ...
- 101
1
vote
0
answers
86
views
Busemann-Petty type problems on complex vector spaces [closed]
We recently published an article on Busemann-Petty type problems (see https://arxiv.org/abs/2404.05630). As we experienced several times that as soon as an article is published, no updates/corrections/...
0
votes
0
answers
41
views
Trying to extend a theorem on Tiling with mutually non-congruent triangles
In the light of Cubing the cube - as 'perfectly' as possible, We try to slightly 'relax' the main theorem proved by Kupaavski, Pach and Tardos here:
https://arxiv.org/pdf/1711.04504.pdf
...
- 5,979
16
votes
2
answers
731
views
A reference to a characterization of metric spaces admitting an isometric embedding into a Hilbert space
I am looking for a reference to the bipartite version of the Schoenberg's criterion of embeddability into a Hilbert space. The Schoenberg criterion is formulated as Proposition 8.5(ii) of the book &...
- 41.9k
9
votes
0
answers
187
views
Cubing the cube - as 'perfectly' as possible
Ref: https://en.wikipedia.org/wiki/Squaring_the_square
A perfect cubing of a cube is a partition of the cube into some finite number of smaller cubes that are pair-wise non-congruent. The above page ...
- 35.5k
1
vote
0
answers
95
views
Distance between two convex sets
Setting
If $A$ an $B$ are two symmetric matrices, we denote by $A >B$ when the matrice $A-B$ is definite positive.
In $\left(\mathbb{R}^{*}_{+} \right)^4$, consider the convex set $$ \Lambda = \...
- 125
0
votes
0
answers
77
views
Wasserstein space isomorphic to original space?
Is there a complete measurable metric space $(X,d)$ for which its $p$-Wasserstein space $W(X)$ is isometrically isomorphic to $(X,d)$ for some $p \in [1,\infty]$?
Note that there is a canonical non-...
6
votes
0
answers
197
views
What are compact manifolds such that GROWTH (of spheres volumes) is well approximated by the Gaussian normal distribution?
Consider some compact Riemannian manifold $M$. Fix some point $p$.
Consider a "sub-sphere of radius $r$" - i.e. set of points on distance $r$ from $p$.
Consider growth function $g(r)$ to be ...
- 24.9k
2
votes
2
answers
411
views
Upper bounds on the worst-case traveling salesman tours in the unit square
The paper [1] proves that, if we place $N$ points in the unit square, then the length $\ell$ of the euclidean TSP tour of those points must satisfy $$\ell \leq \sqrt{2N} + 7/4~~.$$ I'm wondering, can ...
- 101
6
votes
2
answers
189
views
Finding the point within a convex n-gon that maximizes the least angle subtended there by an edge of the n-gon
For any point P in the interior of a convex polygon, the sum of the angles subtended by the edges of the polygon is obviously 2π.
Given a convex polygon, how does one algorithmically find the point (...
- 60.5k
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 4,713
2
votes
1
answer
154
views
Continuity of the volume function
Consider a continuous map $F:(a,b)\times\mathbb{S}^n\to\mathbb{R}^{n+1}$ such that for any $t\in(a,b)$, the map $F(t,\cdot)=F_t:\mathbb{S}^n\to\mathbb{R}^{n+1}$ is Lipschitz continuous. The $n$-...
7
votes
1
answer
331
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 401
35
votes
17
answers
6k
views
Which theorems have Pythagoras' Theorem as a special case?
Loomis famously wrote hundreds of proofs of Pythagoras' Theorem (reference below), but these are all basically proofs "from below". Today on Twitter @panlepan mentioned Carnot's theorem ...
- 2,784
30
votes
2
answers
2k
views
Packing an upwards equilateral triangle efficiently by downwards equilateral triangles
Consider the problem of packing an upwards-pointing unit equilateral triangle "efficiently" by downwards-pointing equilateral triangles, where "efficiently" means that there is ...
- 114k
4
votes
1
answer
197
views
What are the measure of the volume and boundary (and other quermaß measures) of the positive semidefinite matrices?
Let $E$ be the real vector space of $n\times n$ real symmetric (resp. complex Hermitian) matrices, and $E_1$ those with trace $1$. Endow $E$ with the bilinear (resp. sesquilinear) form given by $(P,Q)...
- 4,653
0
votes
0
answers
197
views
Find which section of a convex polytope a point belongs to
Consider the convex polytope in dimension $n$ with vertex set $V$ given by the origin and the $n$ points
$$
e_i=\begin{bmatrix}0,\dots,0,\underset{i\text{-th coordinate}}{1},0,\dots,0\end{bmatrix}, i\...
64
votes
6
answers
5k
views
Shortest closed curve to inspect a sphere
Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of $...
- 7,194
3
votes
1
answer
156
views
Concentration of measure on spheres with respect to a unitary of trace approximately zero
Cross-posted from MSE, where it hasn’t received any answer yet:
This question arose out of my attempt to understand how a unitary of trace approximately zero acts on the unit sphere of a $n$-...
- 2,830
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
3
votes
0
answers
109
views
What Cayley graphs arise as nodes+edges from "nice" polytopes and when are these polytopes convex?
The Permutohedron is a remarkable convex polytope in $R^n$, such that its nodes are indexed by permutations and edges correspond to the Cayley graph of $S_n$ with respect to the standard generators, i....
- 3,065
6
votes
1
answer
207
views
Coarse embeddings and Gromov products in (Gromov) hyperbolic spaces
I am new into geometric group theory and I have recently started reading the book "Sur les Groupes Hyperboliques d’après Mikhael Gromov" by Ghys and de la Harpe. The following inequality ...
- 12.3k
25
votes
1
answer
843
views
Alternate proofs that hyperbolic plane can’t be isometrically immersed in $\mathbb{R}^3$
A famous theorem of Hilbert says that there is no smooth immersion of the hyperbolic plane in 3-dimensional Euclidean space. The expositions of this that I know of (in eg do Carmo’s book on curves/...
- 68.9k
2
votes
0
answers
245
views
Convergence of metric and eigenvalues on a tubular neighbourhood
Background:
Consider the sphere $S^2$ with the round metric $g$ and let $\gamma$ be one half of a great circle of length $\pi.$ Let $T_\epsilon$ denote a geodesically convex tube around $\gamma$ of ...
- 537
1
vote
1
answer
84
views
Simple convergence of convex compact set implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that for every $x \in \mathbb{R}^n$ $$ \mathbb{1}_{...
- 125
2
votes
0
answers
64
views
Limiting distribution of separated points in a unit square
Let $n$ and $r$ be fixed, and consider the following process, with $S=\emptyset$ to start:
For $i\in\{1,\dots,n\}$:
Sample a random point $X$ in the unit square.
If $X$ is a distance at least $r$ ...
- 4,049
5
votes
1
answer
311
views
Quotients in categories of metric spaces
There are several categories whose objects are metric (or pseudo-metric) spaces. Natural choices of morphisms are continuous, uniformly continuous, Lipschitz or short (= non-expansive or contractive) ...
- 5,596
1
vote
1
answer
172
views
Does a Riemannian submersion map horizontal geodesics to geodesics, and a relevant question?
I asked this question on MSE, but I didn't receive a response yet, so I'm asking here. Apologies if the question is not exactly a research level question, but I'm having some trouble in figuring them ...
- 45k
4
votes
1
answer
245
views
Reference request: Fréchet embedding
Given a separable metric space $(X,d)$, we have an isometric embedding $\iota:X\to\ell^\infty$ given by taking $(x_n) _{n \ge 0}$ to be the countable dense subset and sending $\iota(x)_n=(d(x,x_n) - d(...
- 105
10
votes
1
answer
355
views
Is the group of translations of an affine plane always commutative?
$\DeclareMathOperator\Dil{Dil}\DeclareMathOperator\Trans{Trans}\DeclareMathOperator\Col{Col}$An affine plane is a set of points $X$ endowed with a family $\mathcal L$ of subsets of $X$, called lines, ...
- 2,178
15
votes
0
answers
753
views
Are all these groups CAT(0) groups?
Given a geodesic metric space $X$ together with a choice of midpoints
$m:X\times X\rightarrow X$ (i.e. $d(m(x,y),x)=d(m(x,y),y)=d(x,y)/2$).
Assume furthermore, that the following nonpositive curvature ...
- 1,446
22
votes
1
answer
1k
views
Does greedy circle packing exhaust the measure of every bounded open set in the plane?
The greedy circle packing of a bounded region in the plane is the result of placing at each stage the largest possible disk into the region that remains uncovered.
The greedy circle packing of a ...
- 109k
7
votes
1
answer
347
views
A corollary of the affine Desargues axiom
Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms:
Any distinct points $x,y\...
- 41.9k
1
vote
0
answers
40
views
Polyhedra inscribed in a sphere with mutually non-congruent, equal area faces
Two constrained versions of the main question given in this post: Polyhedrons with mutually non-congruent faces, all of equal area. An earlier post that could be related: Cutting a spherical surface ...
- 3,065
5
votes
1
answer
406
views
Computational approach deciding whether a set of Wang Tile could tile the space up to some size
As an applied person, I'm facing one practical problem deciding whether a set of Wang tile could tile the plane periodically or aperiodically. Although both problems seem undecidable, but I'm on a ...
- 839
15
votes
4
answers
1k
views
Geodesics in $\mathbb{R}^2 \times \mathbb{S}^1$ under "segment" metric
Represent the position of a unit-length, oriented segment $s$ in the plane
by the location $a$ of its basepoint and
an orientation $\theta$: $s = (a,\theta)$. So $s$ can be
viewed as a point in $\...
- 4,713
24
votes
3
answers
3k
views
Integer-distance sets
Let $S$ be a set of points in $\mathbb{R}^d$; I am especially interested in $d=2$.
Say that $S$ is an integer-distance set if every pair of points in $S$ is separated
by an integer Euclidean distance.
...
- 151k
4
votes
0
answers
133
views
Curiosity about "conditional trig identities"
Perhaps this should be cross-posted on Math Stackexchange, but it came up in the context of some research mathematics (quaternion orders, etc.) In this context, I have three angles $\alpha, \beta, \...
- 13.3k
16
votes
0
answers
298
views
Realization spaces of 3-dimensional polytopes with fixed face areas
It is a well-know result (Steinitz, 1922) that the realization space of 3-dimensional convex polytopes with fixed combinatorics is contractible.
A proof of this theorem can be found for instance in ...
- 13.6k
-2
votes
1
answer
62
views
Inner Products of Elements in Spherical Cap [closed]
I am interested in understanding what is the lowerbound on the inner products of two elements of a sphere. Based on my intuition in dimension 2, I come up with the following conjecture. I appreciate ...
- 128k
9
votes
0
answers
251
views
Existence of $1$-separated and $(1-\varepsilon)$-dense set in metric spaces
Is it know which metric spaces $M$ do have the following property: there is $\varepsilon>0$ and a maximal $1$-separated set which is $(1-\varepsilon)$-dense?
In other words, when does at set $S\...
1
vote
0
answers
91
views
A claim on the largest area circular segment that can be drawn inside a planar convex region
This post adds a little to To find the longest circular arc that can lie inside a given convex polygon
A circular segment is formed by a chord of a circle and the line segment connecting its endpoints....
- 5,979
2
votes
0
answers
61
views
For riemannian manifolds, how close can a mapping from atlas be to an isometry?
Let $(M, g)$ be an $n$-dimensional $C^k$ (or $C^\infty$) Riemannian manifold. On $M$ we can define metric $d_g$ as the infimum of lengths of curves that connect given two points.
Fix $x \in M$ and $r&...
- 820
28
votes
3
answers
2k
views
Is the ratio Perimeter/Area for a finite union of unit squares at most 4?
Update: As I have just learned, this is called Keleti's perimeter area conjecture.
Prove that if H is the union of a finite number of unit squares in the plane, then the ratio of the perimeter and ...
