Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,405 questions
8
votes
2
answers
507
views
Contractible Rips complex from non-hyperbolic group
I heard that the Rips complexes associated to the Cayley graphs of hyperbolic groups are contractible for a sufficiently large radius. Is the converse true? Namely, if a group is non-hyperbolic, then ...
- 903
8
votes
4
answers
530
views
Inside-out polygonal dissections
A dissection of a polygon $P$
is a partition of $P$ into a finite number of pieces, which can then be rearranged
(via planar translations and rotations) and joined (without overlap) to form a new ...
- 151k
8
votes
1
answer
362
views
Is the set of powerful numbers piecewise syndetic?
Recall that a subset $A \subset \mathbb Z_+$ of positive integers syndetic if there exists a $d>0$ such that every positive integer has distance at most $d$ to an element of $A$. It is called ...
- 11.9k
8
votes
2
answers
1k
views
Talagrand's inequality for the discrete cube
Talagrand showed that if $f$ is a convex $1$-Lipschitz function on $\mathbb{R}^n$, and if $\mu$ is a product of probability measures supported over the interval, then $f$ has Gaussian concentration w....
- 2,772
8
votes
1
answer
412
views
Homeomorphism/ homotopy types of non-negatively curved manifolds
A (special case of a) theorem of Gromov says for any $n\in \mathbb{N}$ there exists a constant $C(n)$ such that for any smooth connected closed $n$-dimensional Riemannian manifold with non-negative ...
- 21.8k
8
votes
1
answer
1k
views
What is the translation of this ancient Greek verb πυθαγοριζει
Here it is used in a sentence
It is therefore a priori probable that Plato πυθαγοριζει in the passage where he says that between two planes one mean suffices, but to connect two solids, two means ...
- 81
8
votes
2
answers
495
views
How close can closed geodesics be?
A consequence of the famous Jørgensen inequality is that there is a lower bound for the distance between closed geodesics in hyperbolic three-manifolds: for any $R>0$ there is a c>0 such ...
- 3,399
8
votes
4
answers
4k
views
Proofs for doubly ruled surfaces
Hello,
I am interested in proofs for why the only irreducible doubly ruled surfaces in ${\mathbb R}^3$ are the one sheeted hyperboloid and the hyperbolic paraboloid. While many books and papers state ...
- 1,072
8
votes
2
answers
383
views
Do singular values of a point set determine its shape?
Suppose I have $k$ points in $d$ dimensions. Let A be a $k\times d$ matrix with $i$th row giving the coordinates of $i$th point. Do singular values of this matrix have an interpretation as some kind ...
- 2,252
8
votes
2
answers
425
views
Are there arbitrarily sparse "lattices" in negatively curved symmetric spaces?
Let $X$ be a negatively curved symmetric space. In other words, $X$ is one of the four examples: a hyperbolic space, a complex hyperbolic space, a quaternionic hyperbolic space or the hyperbolic ...
- 32.4k
8
votes
2
answers
596
views
Do Minkowski sums have anything like calculus?
Is there anything resembling differential calculus over the space of (nicely behaved) regions in $\mathbb{R}^d$, where addition is interpreted in terms of Minkowski sums? For example, it is known ...
- 81
8
votes
2
answers
2k
views
Embedding points in 2D based on distance estimates?
Suppose we have a collection of exactly $N$ points (say $N=1000$), with each point belonging to 2-dimensional Euclidean space $\mathbb{R}^2$, but we don't know the coordinates of the points. Suppose ...
- 4,229
8
votes
2
answers
2k
views
Quasi-isometries vs Cayley Graphs
The following questions might be trivial, however, I couldn't solve them:
Let $G$ be generated by a finite symmetric set $S$. Suppose that $\Gamma(G,S)$ is the corresponding right Cayley graph of $G$...
- 244
8
votes
2
answers
489
views
Amalgamated product acting on CAT(0) cube complex
I was reading the following result from the book Metric spaces of non-positive curvature by Bridson and Haefliger.
Result:
Let $F_0,F_1$ and $H$ be groups acting properly
by isometries on complete $...
- 349
8
votes
3
answers
390
views
Is there any edge- but not vertex-transitive polytope in $d\ge 4$ dimensions?
I consider convex polytopes $P\subset\Bbb R^d$. The polytope is called vertex- resp. edge-transitive, if any vertex resp. edge can be mapped to any other by a symmetry of the polytope.
I am looking ...
- 13.6k
8
votes
3
answers
660
views
The minimum-perimeter triangle of three sets of points
If $X$ and $Y$ are two sets of $n$ independent, uniformly sampled points in the unit square, then standard methods can show that the expected minimum distance between points in $X$ and $Y$ is ...
- 4,049
8
votes
1
answer
265
views
Isoperimetric inequality on the plane
Let $A$ be a connected compact domain with smooth boundary in the Euclidean 2-plane. Assume its diameter is at most $d$. Assume that the second fundamental form of the boundary is at most $-c$ where $...
- 21.8k
8
votes
2
answers
502
views
Constructing a function over a metric space through given points
Suppose there is a compact metric space $(X,\rho)$ and a Euclidean space $\mathbb{R}^n$.
There is a sequence of unequal points $\{x_1,...x_N\}$ in $X$ such that all metrics $\rho(x_i,x_j)$ are known ...
- 791
8
votes
3
answers
1k
views
Expected distance between two points in the plane
Let $f(x)$ be a continuous probability distribution in the plane. It is obvious that if $X$ and $X'$ are two independent random samples from $f$, then $\mathbf{E}(\|X - X'\|) \leq 2 \mathbf{E}(\|X\|)$...
- 83
8
votes
1
answer
246
views
A vertical line with many intersections with $n$ non-parallel lines
Pick $n\ge 3$ non-vertical lines $\mathscr{L}:=\{\ell_1,\ldots,\ell_n\}$ in the plane which are pairwise non-parallel, and they are not all concurrent in a single point.
Question. Does there exist a ...
- 1,511
8
votes
1
answer
361
views
What is the smallest Lipschitz constant of a Lipschitz retraction of $\ell_\infty([0,1])$ onto $C[0,1]$?
By Theorem 1.6 in the book "Geometric Nonlinear Functional Analysis" by Benyamini and Lindenstrauss, the Banach space $C[0,1]$ is a Lipschitz retract of the Banach space $\ell_\infty[0,1]$. ...
- 42k
8
votes
2
answers
371
views
Are angles between points enough to decide the realizability?
Let n points in the plane be given whose coordinates we don't know.
Assume, however, that for any triple of the points we know the angle.
Question: Can we decide whether the n points are realizable ...
- 245
8
votes
1
answer
1k
views
Textbook recommendation: Metric Geometry
I’m currently reading Burago, Burago, Ivanov’s book A Course in Metric Geometry. I’m really enjoying it so far - what would be a good continuation to the book once I’m done?
8
votes
1
answer
280
views
Hyperbolic planes inside hyperbolic 3-space quotients
Let $\mathcal{H}_2 = \{(x,t) \in \mathbf{R}^2: t > 0\}$ be the upper half-plane, and let $\mathcal{H}_3$ be the hyperbolic 3-space $\{(x,t) \in \mathbf{C} \times \mathbf{R}: t > 0\}$. Clearly $\...
- 37k
8
votes
2
answers
378
views
Curves embedding in plane
Given two closed simple(no self-intersection point) curves $C_1,C_2$ in the plane $\mathbb R^2$, is there a good way to judge whether one curve can be embedded inside the other one, here embedding ...
- 1,915
8
votes
3
answers
337
views
Shape whose translated and scaled copies are closed under intersection
The translated and scaled copies of an equilateral triangle with fixed orientation are closed under intersection - the intersection is again an equilateral triangle with the same orientation.
What ...
- 183
8
votes
1
answer
696
views
Geodesics on manifolds with boundary
Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...
- 131
8
votes
1
answer
971
views
A remark by Gromov on 4-manifolds
Gromov remarks in a a survey on manifolds (p.12) that "it is hard to imagine that there are infinitely many non-diffeomorphic, but mutually homeomorphic, quotients of the hyperbolic 4-space by ...
- 10.8k
8
votes
1
answer
938
views
Filling $\mathbb{R}^3$ with skew lines
I would like to know if it is possible to fill $\mathbb{R}^3$ with lines with the
following two properties:
(1) Every point $x \in \mathbb{R}^3$ is contained in precisely one line.
(2) Every ...
- 151k
8
votes
1
answer
2k
views
Expected number of steps for a discrete random walk to visit every point on an N-dimensional rectangular lattice
Please imagine a discrete random walk on an N-dimensional rectangular lattice with dimensional lengths $(l_1, ..., l_N) \in L$ and total lattice points $P = \prod{l_i}$, for $i = 1, ..., N$. At each ...
- 599
8
votes
1
answer
447
views
Stable Tables on Fluctuating Floors
If a four-legged, rectangular table is rickety, it can nearly always be stabilised just by turning it a little. This is very useful in everyday life! Of course it relies on the floor being the source ...
- 2,251
8
votes
1
answer
568
views
Joining the $2^k$ points of $\{0,1\}^k$ with the shortest tree
Let $k$ be a given positive integer, and then consider the unit hypercube $\{0, 1\}^k \subset \mathbb{R}^k$ (i.e., a $k$-dimensional "cube" in the well-known Euclidean space).
We need to ...
- 1,451
8
votes
1
answer
433
views
What should a meaningful notion of curvature satisfy, in the absence of a smooth structure?
There are many generalizations of various curvatures to non-smooth metric spaces (e.g. Ollivier's Ricci curvature). Suppose I have a metric space $(X,d)$ and I want to define a notion of curvature ...
- 232
8
votes
1
answer
460
views
First order estimates of geodesic normal coordinates
Let $(M^n,g)$ be a complete Riemannian manifold with $|Rm| \le 1$. Can we find two positive constants $C$ and $\epsilon$, depending only on $n$, such that under the normal coordinates $(g_{ij})$ with ...
- 2,535
8
votes
3
answers
1k
views
Brownian motion on Metric spaces
Is there a generalization of Brownian motion to general metric spaces (which should probably be length spaces)?
This should be a process satisfying
$$d(B_t, B_s) \sim \mathcal{N}(0, t-s)$$
and such ...
- 9,853
8
votes
2
answers
563
views
Is displacement controled by stable norm?
Let $T^n$ be the $n$-dimensional torus and $g$ be a Riemannian metric on $T^n$. Let $\tilde g$ be the induced metric on the universal covering; using suitable coordinates, $\tilde g$ is therefore a $\...
- 14.4k
8
votes
2
answers
852
views
Hilbert style axioms for Euclidean and/or hyperbolic geometry without reference to congruence?
Hilbert's axioms from Grundlagen der Geometrie involve notions of incidence, between-ness, segment congruence and angle congruence.
Consider the sub-theories of either Euclidean or hyperbolic ...
- 17.6k
8
votes
4
answers
1k
views
Hermitian Christoffel Symbols
Does anyone know of some good references for computing Christoffel symbols for Hermitian metrics?
A quick Google search turns up this. The following formula appears on page 4:
$$\Gamma_{AB}^C = \...
- 19.3k
8
votes
2
answers
1k
views
Quadrature of the Lune
What is a good reference for the following result which I believe is proved by Tchebotarev.
There are exactly 5 types of Lunes that are squarable. (Hippocrates produced three and then two more were ...
- 575
8
votes
2
answers
617
views
A set of points congruent to its proper subset
There are sets of points in $\mathbb{R}^n$ congruent to their own proper subsets. A (trivial) example is a ray, or to give a more interesting bounded example, $\{e^{i \cdot n} \mid n\in\mathbb{N}\}$. ...
- 6,819
8
votes
4
answers
1k
views
Sequences of evenly-distributed points in a product of intervals
Let φ be the golden ratio, (1+√5)/2. Taking the fractional parts of its integer multiples, we obtain a sequence of values in (0,1) which are in some sense "evenly distributed" in a way which ...
- 3,612
8
votes
2
answers
741
views
Lattice Stick Number vs. Stick Number of Knot
Can the lattice stick number of a knot be bounded
by the stick number of the knot?
The stick number
$S(K)$ of a knot $K$ is the fewest number of segments
needed to realize it by a simple 3D polygon....
- 151k
8
votes
1
answer
2k
views
Intersection of nested open ball in complete metric spaces is nonempty?
My question is that whether the following statement is true or not.
In a complete metric space $(X, d)$, if a sequence of open balls $\{B(x_i, r_i)\}_{i=1}^\infty$ satisfies
$$
\exists \epsilon > ...
- 203
8
votes
1
answer
4k
views
Covering number of Lipschitz functions
What do we know about the covering number of $L$-Lipschitz functions mapping say, $\mathbb{R}^n \rightarrow \mathbb{R}$ for some $L >0$?
Only 2 results I have found so far are,
That the $\infty$-...
- 2,246
8
votes
1
answer
682
views
Geometry of convex sets in Riemannian manifolds
Let $M$ be a smooth Riemannian manifold without boundary. Let $X\subset M$ be a closed subset which is a smooth submanifold with boundary, $\dim X=\dim M$. Assume that $X$ is locally convex, i.e. any ...
- 21.8k
8
votes
2
answers
328
views
Equivalence of definitions of quasiconformal surfaces?
I have been reading John H. Hubbard's book Teichmüller Theory vol. 1 and I am a little bit concerned with his definition of quasiconformal surface.
Definition: A quasiconformal surface $S$ is a ...
- 298
8
votes
1
answer
597
views
complete metric space
Hallo, I have the following question:
Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
- 83
8
votes
2
answers
485
views
Preferred embedding of finite metric spaces in riemaniann manifolds of given dimension
In search for a Machian formulation of mechanics I find the following problem. In Machian mechanics absolute space does not exists, and the only real entities are the relative distances between the ...
- 339
8
votes
1
answer
353
views
Are there any convex pentagonal rep-tiles?
A rep-tile is a shape that can tile larger copies of the same shape.
Question 1: Are there any convex pentagons that are also rep-tiles?
Remarks: 15 convex pentagonal tiles of the plane are known and ...
- 5,979
8
votes
1
answer
508
views
'Fattest' polygons based on diameter and 'least width'
Definitions: The diameter of a convex region is the greatest distance between any pair of points in the region. The least width of a $2$D convex region can be defined as the least distance between any ...
- 5,979