**9**

votes

**0**answers

51 views

### A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...

**5**

votes

**1**answer

105 views

### Existence of a measurable map between metric spaces

Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...

**3**

votes

**1**answer

41 views

### Is the boundary of Alexandrov space again an Alexandrov space?

Let $X$ be a finite dimensional (possibly compact) Alexandrov space with curvature $\geq K$. Is it true that its boundary is again Alexandrov space with curvature bounded from below? If yes, is the ...

**6**

votes

**2**answers

85 views

### Equality of triangles in normed spaces

Hilbert space satisfies the following condition: if two triangles $\triangle ABC$, $\triangle A_1B_1C_1$ have equal sides lengths: $|AB|=|A_1B_1|$, $|BC|=|B_1C_1|$, $|AC|=|A_1C_1|$ they also have ...

**7**

votes

**1**answer

258 views

### Embedding Z into Z^2 with large distortion

Is it possible to find a 2-way infinite (self-avoiding) path $\{x_i\}_{i\in \mathbb Z}$ in the standard Cayley graph of $\mathbb Z^2$, i.e. the square grid, such that the distance between $x_i$ and ...

**2**

votes

**1**answer

63 views

### A property of geodesic triangles in Alexandrov spaces

Let $X$ be an $n$-dimensional Alexandrov space with curvature at least -1. Assume that at every point it has an $(n,\delta)$-strainer of length $\mu$, where $\delta$ and $\mu$ are independent of a ...

**7**

votes

**1**answer

246 views

### Area of square to wrap a torus

The Nash-Kuiper
$C^1$ isometric embedding of flat torus into $\mathbb{R}^3$
has recently been spectacularly visualized by the
Hevea Project.
This suggests two questions.
Q1. What is the area of ...

**6**

votes

**0**answers

91 views

### Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem,
solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires
"planks" (parallel strips) of total width $\ge d$ in order to completely cover
a ...

**2**

votes

**0**answers

81 views

### What is the metric on the Fuchsian model? [closed]

Let $\mathbb{H}$ be the upper half plane, and $\Gamma < SL(2, \mathbb{R})$ be a Fuchsian group. How is the distance between any two points $x, y \in \mathbb{H} / \Gamma$ in the Fuchsian model ...

**7**

votes

**2**answers

237 views

### Isometric imbedding of a sphere with positively curved metric

QUESTION. Given a Riemannian metric on the sphere $S^n$ with positive sectional survature. Can it be isometrically imbedded into $\mathbb{R}^{n+1}$ (of any class of regularity) as a boundary of a ...

**4**

votes

**1**answer

85 views

### A property of geodesic triangles in manifolds with lower bounds on curvature and injectivity radius

Does there exist a function $\tau(\varepsilon)=\tau(\varepsilon,n,K,\mu)$ such that $\lim_{\varepsilon\to +0}\tau(\varepsilon)=0$ and for any $n$-dimensional complete Riemannian manifold $M^n$ with ...

**4**

votes

**0**answers

73 views

### Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case?
More ...

**1**

vote

**0**answers

52 views

### Lebesgue differentiation theorem holds on locally doubling space?

It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...

**1**

vote

**1**answer

27 views

### Multiplicity of a subcovering in spaces of given Hausdorff dimension

Let $X$ be a locally compact metric space of integer Hausdorff dimension $n$. Let $K\subset X$ be a compact subset. Let $\{B_i\}_i$ be a finite family of balls covering $K$. One may assume that all ...

**4**

votes

**1**answer

94 views

### local quasi geodesics in hyperbolic spaces

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too.
We have the following two well-known Theorems:
T1) For all $\delta > 0, ...

**1**

vote

**1**answer

77 views

### Pairs of rays in euclidean buildings

In section 4.1.3 of Kleiner and Leeb's paper on symmetric spaces and euclidean buildings, there's a result about pairs of rays from the same point initially spanning a flat triangle (or being ...

**2**

votes

**0**answers

49 views

### construction of grassmannian manifolds as collection of subspaces of Euclidean space

The grassmannian $G_k(\mathbb{R}^n)$ is the collection of all $k$-dimensional linear subspaces of $\mathbb{R}^n$ equipped with the quotient topology. The cohomology ring of $G_k(\mathbb{R}^n)$ has ...

**2**

votes

**0**answers

42 views

### $|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space

Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times ...

**0**

votes

**1**answer

149 views

### Is the map $\exp_x(\nabla_x \sum_{i=1}^m d^2(x_i,x))$ Lipschitz?

The last question is too general, this is a modification.
Let $M$ be an $n$ dimensional Riemannian manifold. Fix $m$ points $x_1,...,x_m$. Suppose $y$ is not in the cut locus of $x_i$ for $1 ...

**11**

votes

**3**answers

223 views

### Curvature of a finite metric space

I am sorry to ask a very vague question, but:
What are good ways to define the curvature of a finite metric space?
The best way I can think of is: the curvature of a finite metric space $M$
is ...

**5**

votes

**1**answer

63 views

### Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints?
$x_1+x_2+...+x_n = 1$
$a_1 \le x_1 \le b_1$
$a_2 \le x_2 \le b_2$
$...$
$a_n \le ...

**0**

votes

**0**answers

54 views

### Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...

**2**

votes

**2**answers

72 views

### Basic question about discrete minimal surfaces

Let $P$ be a convex polygon with $n > 3$ vertices $v_1, \ldots, v_n \in \mathbb{R}^2$, let $x$ be a point in the interior of $P$, and let $u$ be a function with prescribed values at the vertices of ...

**1**

vote

**0**answers

62 views

### A compact Alexandrov space with curvature bounded below has curvature bouneded above? [closed]

For a compact Riemannian manifold, Since the curvature tensor is continuous, we know that the sectional curvature is bounded, i.e. bounded above and below. Now let $M$ be a compact Alexandrov space ...

**7**

votes

**2**answers

293 views

### For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature?
An obvious case is when $Y$ ...

**6**

votes

**2**answers

382 views

### Geodesics on SO(3)

I have two 3D rotations about the origin, represented as
$3 \times 3$ orthogonal matrices $M_1$ and $M_2$
(specified by numerical entries),
and I would like to interpolate (and compute)
a continuous ...

**3**

votes

**0**answers

87 views

### Are ultralimits the Gromov-Hausdorff limits of a subsequence?

Let $(M_i,p_i)$ be a sequence of $n$-dimensional Riemannian manifolds with lower Ricci curvature bound $-1$. Fix a non-orincipal ultrafilter and let X be the ultralimit of the sequence.
Does there ...

**5**

votes

**1**answer

111 views

### If all balls around fixed basepoints are isometric, are the spaces as well (length spaces)?

Let $X$ and $Y$ be two complete proper length spaces, $x \in X$ and $y \in Y$.
Assume for every $r>0$ the closed balls $\overline{B_r(x)}$ and $\overline{B_r(y)}$ are isometric.
Does there exist ...

**6**

votes

**2**answers

496 views

### Square of the distance function on a Riemannian manifold

Let $(M^n,g)$ be a smooth Riemannian manifold. Consider the square of the distance function
$$dist^2\colon M\times M\to \mathbb{R}$$
given by $(x,y)\mapsto dist^2(x,y)$. It is easy to see that this ...

**2**

votes

**1**answer

128 views

### Embedding graphs into hyperbolic spaces

Do we know of a characterization as to when does a graph have a "good" embedding into a hyperbolic space? (And does having such an embedding have a spectral or wavelet analysis signature?)
I don't ...

**2**

votes

**1**answer

72 views

### Is a cocompact CAT(0) periodic?

Let $X$ be a CAT(0) space and $G$ its group of isometries. Then $X$ is said to be cocompact, if there exists a compact set $K\subset X$ with $X=G.K$. The space $X$ is called periodic, if there exists ...

**14**

votes

**1**answer

698 views

### Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property:
There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$?
If not, is it ...

**4**

votes

**0**answers

67 views

### Tetrahedron incenter iteration tree

This is driven more by curiosity than by research,
but nevertheless may be of some interest.
Start with a regular tetrahedron $T$ with corners $(a,b,c,d)$,
and let $x$ be its incenter—the ...

**2**

votes

**0**answers

93 views

### Obtaining a quasi-isometry of the 'boundary'

It is well-known that a quasi-isometry induces a homeomorphism on the space of ends of say a locally finite graph for simplicity. Clearly the converse is not true. In other words the concept of ends ...

**5**

votes

**3**answers

238 views

### set of centers of sphere inscribed in tetrahedron

Having a sphere and three diffrent point $A,B,C$ on this sphere. Find set of all centers of spheres inscribed in a tetrahedron $ABCD$, where $D$ is some point on the given sphere. The problem reduced ...

**9**

votes

**2**answers

320 views

### Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$...during this proof I've precisely used the fact that given two point in $X$ there ...

**7**

votes

**2**answers

129 views

### Kissing number and overlapping number

Let $S$ be a certain family of geometric objects (e.g, the family of unit squares).
The kissing number of $S$ is the maximum number of nonoverlapping elements of $S$ that can touch one element of ...

**0**

votes

**0**answers

49 views

### Best measure for curve similarity

I would like to measure similarity between two curves represented by two arrays of points.
The similarity measure should not depend on the size of these shapes. Two similar shapes but have different ...

**1**

vote

**0**answers

105 views

### understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...

**1**

vote

**1**answer

69 views

### Understanding the definition of an F-connected simplicial complex

I'm reading the classic paper "Harmonic maps into singular spaces and p-adic superrigidity for lattices in groups of rank one" by Gromov-Schoen. In Section 6, they define the notion of F-connectedness ...

**2**

votes

**1**answer

48 views

### Is there a curve on a surface where an integrable function is pointwise bounded?

I consider $\Sigma:=S^2$, as a unit radius sphere in $\mathbb R^3$ so that it has an induced metric, measure etc on it. Is the following statement true?
For a large constant $K$, there exist ...

**6**

votes

**4**answers

438 views

### SO$(4)$ (& SO$(n)$) characterization?

I believe it is the case that
any finite subgroup of SO$(3)$
(the $3 \times 3$ orthogonal matrices of determinant $1$)
is either a cyclic group $C_n$,
or a dihedral group $D_n$, or one of the groups ...

**2**

votes

**0**answers

210 views

### Why only Normed Linear Spaces? [closed]

It is well known that "Norm on a vector space can be used to obtain a metric on that space."
I think easily we can generalize the notion of norms to groups and rings.
My questions are,
Why ...

**21**

votes

**3**answers

2k views

### Distributing points evenly on a sphere

I am looking for an algorithm to put $n$-points on a sphere, so that the minimum distance between any two points is as large as possible.
I have found some related questions on stackoverflow but ...

**0**

votes

**0**answers

25 views

### c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$.
It's well known that the infimum of the Kontorovich's ...

**4**

votes

**0**answers

94 views

### Gromov's compactness theorem for manifolds with boundary

The Gromov's compactness theorem says that if $\{M_i^n\}$ is a sequence of closed Riemannian manifolds of dimension $n$ with uniformly bounded diameter and uniformly bounded from below Ricci curvature ...

**0**

votes

**2**answers

60 views

### Pairwise distance distribution for point clouds (normal distribution) [closed]

I have a point cloud (2D for now) of $N$ normally distributed points (with a certain $\sigma$).
My first question would be how the pairwise distance distribution looks (just by chance I discovered a ...

**13**

votes

**1**answer

408 views

### On the global structure of the Gromov-Hausdorff metric space

This is a purely idle question, which emerged during a conversation with a friend about what is (not) known about the space of compact metric spaces. I originally asked this question at ...

**0**

votes

**0**answers

23 views

### Concave functions on a cone over Alexandrov space

Let $\Sigma$ be an Alexandrov space of curvature $\geq 1$ without boundary. Let $X$ be the cone over $\Sigma$. $X$ is well known to be non-negatively curved.
Let $f\colon X\to \mathbb{R}$ be a ...

**1**

vote

**1**answer

54 views

### Two geodesics with angle $\pi$ in Alexandrov space

Let two geodesic segments in an Alexandrov space with curvature bounded from below start at the same point and the angle between them equals $\pi$. It is possible that these segments are not the two ...