# Tagged Questions

**9**

votes

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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 ...