Euclidean, hyperbolic, discrete, convex, coarse geometry, comparisons in Riemannian geometry, symmetric spaces.

learn more… | top users | synonyms (1)

9
votes
0answers
220 views

Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?

Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$? It seems to me that it is an interesting ...
1
vote
0answers
62 views

Completely incongruent box partitions

Let $B$ be a rectangular box with corners in $\mathbb{Z}^d$ and sides parallel to the axes. A completely incongruent partition of $B$ is a partition into $d$-dimensional boxes, each of whose integer ...
3
votes
2answers
118 views

Sub-sector covers for disks and balls

Define an open $k$-sector of a disk as the portion between two radii separated by an angle of $2\pi/k$, but open along the two radii (and closed along the circle boundary). Call a set a sub-$k$-sector ...
3
votes
0answers
80 views

Calculating the length of curve using dyadic partition [closed]

Let $\gamma:[0,1] \rightarrow \mathbb{R}^n$ be a continuous function. The length of $\gamma$ is usually defined as $$\sup_{0 = t_1 < t_2 < \cdots < t_n = 1} \sum_{i=1}^{n-1} ...
1
vote
1answer
156 views

Intuition behind the “Lapse Function”

I came across the following definite of the Lapse Function: $N=\sqrt{\frac{1}{2}g(L,\overline{L})}$ where $L,\overline{L}$ are the null geodesic vector fields. Further, I have been looking at this ...
2
votes
1answer
115 views

Under which conditions is it possible to find points with same distances under bi-Lipschitz map [closed]

Given two metric spaces $(X,d_X), (Y, d_Y)$, a bi-Lipschitz map $f:X \to Y$ and a finite set of points $\{x_1, \ldots, x_n\} \in X$. Consider in addition, that $X$ is a vector space over $\mathbb{R}$, ...
2
votes
1answer
93 views

What is the maximal diameter of a cell in a particular partition of the simplex?

Consider a standard simplex with points $(p_1, \dots, p_n)$, $p_i \ge 0$, and $\sum_i p_i = 1$. Fix a set $\{q_k\}_{k=1}^K$ with $0\leq q_k \leq \infty$ and $i,j\in\{1, \dots, n\}$. Partition it via ...
6
votes
1answer
193 views

Compact Eucledean hypersurfaces with “almost” constant H_k curvature

Let $M$ be an Eucledean $n$-dimensional compact hypersurface with constant $H_k$ curvature, where $k=1,...n$. A theorem by A.Ros tell us that so $M$ is an Eucledean sphere. Does anybody know if there ...
6
votes
1answer
290 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 ...
1
vote
0answers
59 views

Lipschitzian extension of mapping between Alexandrov spaces

Let $X$ be an $n-$dim (compact, if needed) Alexandrov space with curvature $\geq -k$, with $k\geq0$, and let $Y$ be an Alexandrov space with curvature $\leq0$ globally. Given any bounded nonempty ...
0
votes
0answers
282 views

Geodesic Digons in Reductive Spaces

Consider a naturally reductive homogeneous space $M$ of positive curvature. Is it necessarily the case that there exists a geodesic digon whose interior angles sum to less than $2\pi$? Angles are ...
14
votes
1answer
371 views

Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof. Question: Let $M$ be a ...
10
votes
1answer
228 views

Optimization of points on a plane

Suppose we have $n$ points on a plane. Let $D$ be the sum of the squares of all the pairwise distances between the points. Let $A$ be the area of the convex hull. What is the minimum possible value of ...
5
votes
1answer
145 views

Question about the normal bundle of a totally geodesic submanifold of a Cartan-Hadamard manifold

I'm reading the exposition in Lang's Fundamentals of Differential Geometry of the following generalization of the Cartan-Hadamard theorem: Suppose $X$ is a Cartan-Hadamard manifold (i.e. a complete, ...
6
votes
0answers
218 views

Axiom of choice and a set in the plane that intersects every line in two points

In this question Subset of the plane that intersects every line exactly twice someone ask for a reference of a paper where they proof the result : ''There exist a subset of the plane that intersects ...
1
vote
0answers
49 views

Starlike curve tangent condition

Assume that $\gamma$ is a starlike Jordan curve in the complex plane w.r.t. 0. Let $\alpha\in (0,\pi/2]$. For each $z\in\gamma$, $z\neq x$, we let $\alpha(z,x)$ denote the acute angle which the ...
0
votes
0answers
81 views

Is there a metric defined on the product space of orthogonal groups?

If one considers just the orthogonal group, then there is a natural metric given by [1]: $$\begin{align} \theta & =\frac{1}{2} \| \log(R_1^{-1}R_2) \| \\ & = \frac{1}{2} \| ...
9
votes
1answer
209 views

Generalization of Stewart's theorem?

I'm curious about the generalization of Stewart's theorem to more dimensions. MathWorld mentions that there is a generalization done by Bottema, but I could not find much information on it. All I ...
0
votes
0answers
56 views

What is the minimal number of lines needed to partition a simplex into cells of diameter at most $\epsilon$?

I am studying a problem that requires me to partition the simplex into cells using a particular family of hyperplanes. For concreteness, consider the 2-simplex. I would like to construct lines ...
6
votes
1answer
97 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 ...
3
votes
1answer
130 views

a property implying co-circularity

Let $A_1, A_2,\ldots, A_n$ be $n$ distinct points in the plane. For every $1\le i\le n$, let $D_i$ be the sum of the distances from point $A_i$ to all the other points. Suppose that $D_i=D_j$ for ...
8
votes
0answers
120 views

Boomerangs in Polya's orchard

Polya's orchard problem asks for what radius $r$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the exterior of the orchard. The answer is known; $r$ ...
7
votes
1answer
115 views

When a Riemannian manifold with boundary is an Alexandrov space?

Let $M$ be a smooth Riemannian manifold (without boundary). Let $X\subset M$ be a smooth compact submanifold with boundary, $\dim X=\dim M$. Under what conditions $X$, equipped with the induced ...
1
vote
1answer
62 views

Existence or otherwise of a set of “sufficiently intricate” open cells

In my question Existence or otherwise of a set of "sufficiently intricate" open sets, I asked about whether it is possible to partition Lebesgue-almost all of $\mathbb{R}^d$ into a finite ...
4
votes
1answer
114 views

Closest point to a dual lattice point (in particular for root lattices!)

Given a lattice $\Lambda\subset \mathbb{R}^n$ and a point $p\in\mathbb{R}^n$ outside the lattice, then I known it is a hard question to determine the set $S\subset \Lambda$ of all lattice points with ...
3
votes
1answer
100 views

Existence or otherwise of a set of “sufficiently intricate” open sets

Fix $d \in \mathbb{N}$. Do there exist mutually disjoint connected open sets $V_1,\ldots,V_n \subset \mathbb{R}^d$ and $\mathbf{v} \in \mathbb{R}^d$ such that $\mathbb{R}^d \setminus ...
5
votes
0answers
75 views

What is the maximal convex hull in $\mathbb R^3$ of a tree with fixed total length?

Denote by $\mathcal T_n$ the set of all trees on $n$ nodes. For a tree $T\in\mathcal T_n$, we assign to each edge a non-negative length such that the sum of all lengths is 1. Denote by $v(T)$ the ...
5
votes
0answers
118 views

Volume growth of balls

Let $G$ be a locally compact group and $K\subset G$ a compact subgroup. Suppose that on the homogeneous space $X=G/K$ we have a $G$-invariant proper metric $d$. For $R>0$ let $B(R)$ be the open ...
1
vote
1answer
92 views

Lamination as limit of arcs

I am reading Bonahon's notes on closed curves, in particular the part about hyperbolic laminations. In his notes Bonahon illustrates some examples as why laminations should be "limit curves" on ...
4
votes
1answer
151 views

Classification of 2-dimensional Alexandrov spaces

Is it possible to classify explicitly compact 2-dimensional Alexandrov spaces with curvature bounded below (either with or without boundary)? If yes, a reference would be helpful. EDIT: If the ...
5
votes
2answers
264 views

Which surfaces admit unbounded-length simple geodesics?

Let $S$ be a surface embedded in $\mathbb{R}^3$. A simple geodesic on $S$ is one that does not self-intersect. Some surfaces have simple geodesics whose length exceeds any given bound $L$. For ...
3
votes
0answers
161 views

Distance between quadratic forms

In notes here http://math.univ-lyon1.fr/homes-www/gille/prenotes/lens.pdf on page $2$ a formulation of distance between two positive quadratic form $[q],[q']$ is given by ...
5
votes
1answer
115 views

Geometry of convex subsets in Alexandrov space/ Riemannian manifold

Let $X^n$ be an $n$-dimensional complete Alexandrov space with curvature bounded below (or a smooth Riemannian manifold, possibly with boundary). Let $U\subset X$ be an open dense subset with the ...
5
votes
1answer
135 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
vote
1answer
68 views

Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...
4
votes
2answers
178 views

Volume of the convex hull of the set of all graphic sequences of a given length

Consider the set of all graphic sequences with $n$ elements as a subset of $\mathbb{R}^{n}$, namely let $$D(n)=\{(d_{1},\dots,d_{n})\in\mathbb{Z}_{+}^{n}:d_{1}\geq\dots\geq d_{n},\ ...
7
votes
1answer
77 views

Convergence of functions on Alexandrov spaces

Consider a sequence of $n-$dim Alexandrov spaces with curvature $\geq$ -1 $\{(M_i,p_i)\}$ Gromov-Hausdroff converging to an $n-$dim Alexandrov space $(M,p)$. Let $f:M\mapsto \mathbb R$ be a Lipschitz ...
2
votes
1answer
70 views

A property of concave functions on Alexandrov spaces

EDIT: Let $X$ be an $n$-dimensional Alexandrov space with curvature bounded below. Let $f_1,\dots, f_n\colon X\to \mathbb{R}$ be $\lambda$-concave functions. Assume that at a fixed point $p$ there ...
0
votes
1answer
58 views

A bound on the Haussdorff distance

Let $X, Y \subset \mathbb{Z}^2$ be two discrete and bounded sets. Let $f_X$ be the Euclidean signed distance function of $X$ (similarly for $Y$) and $d_H(X,Y)$ the Euclidean Haussdorff distance ...
3
votes
1answer
99 views

Reference: Finsler Derivative?

On the wikipedia page "Generalizations of derivative" the author mentions: " in Finsler geometry, one studies spaces which look locally like Banach spaces. Thus one might want a derivative with some ...
6
votes
1answer
98 views

Countable subcover of half-open cylinders

While preparing a lecture on dynamic programming principle in optimal stochastic control after the book of Touzi, I discovered a gap in the proof of DPP (page 28 of the book). Here I simplify the ...
1
vote
2answers
201 views

Geodesic on Banach Manifold [closed]

Is there a way of defining a geodesic on a Banach Manifold $M$ which is not itself a Hilbert Manifold?
2
votes
1answer
100 views

Why simple closed curves are dense in $\mathcal{PML}_0(S)$?

I have another question about laminations on surfaces. As usual let $\mathcal{S}$ be the set of homotopy classes of simple closed curves in $S$ and $\mathcal{PML}_0(S)$ be the set of projective ...
2
votes
0answers
67 views

Shortest paths stepping on rational points of height $h$

Q. Do shortest paths walking between rational points of height $h$ ever properly cross themselves? Explaining this question takes a bit of definitional exposition. First, I copy definitions ...
3
votes
1answer
121 views

Why is $\mathcal{PML}_0(S)$ compact?

I'm starting to study geodesic laminations on hyperbolic surfaces and in particular I'm focusing my attention on $\mathcal{PML}_0(S)$, the space of projective classes of measured geodesic laminations ...
2
votes
1answer
85 views

Coordinate chart of concave functions near a regular point in Alexandrov spaces

Let $M$ be an Alexandrov space with curvature $\geqslant -1$. Then we have the following theorem which is often used to perturb a regular point to points we want. Let $g_0$ be a ...
11
votes
1answer
405 views

Strong equivalence between intrinsic and extrinsic metrics on $GL_n^+$?

$\newcommand{\til}{\tilde}$ Lately, I have become interested in comparing intrinsic and extrinsic metrics on Riemannian manifolds. Consider $GL_n^+$ (invertible matrices , $\det >0$) as an open ...
15
votes
2answers
587 views

Algebraic surface of constant width?

Does there exist an irreducible polynomial $f \in \mathbb{R}[x, y, z]$ such that: $$ V := \{ (x, y, z) \in \mathbb{R}^3 : f(x, y, z) \leq 0 \} $$ is a solid of constant width with a finite symmetry ...
3
votes
0answers
61 views

Equidistribution of Brillouin zones

Answering the question about Limiting shape for Brillouin zones Victor Kleptsyn proved that $N$th Brillouin zone is very close to a circle of radius $c\sqrt N$ (you can find all necessary definitions ...
4
votes
1answer
90 views

Gromov-Hausdroff convergence for Alexandrov spaces

Let $\{X_n\}_{n=1}^\infty$ be a sequence of compact Alexandrov spaces (with curvature $\geq k$) converging to (in the sense of Gromov-Hausdroff convergence) an Alexandrov spaces $X$, and ...