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

learn more… | top users | synonyms (1)

3
votes
1answer
67 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
0answers
9 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 ...
2
votes
0answers
67 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 ...
-4
votes
0answers
36 views

When does equality occur in the triangle inequality in metric space? [on hold]

When I think of R^n , n<=3 ; it is very easy given the usual metric. But what if the metric is not usual?
0
votes
2answers
44 views

Pairwise distance distribution for point clouds (normal distribution) [on hold]

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 ...
8
votes
0answers
156 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
0answers
18 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
1answer
47 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 ...
1
vote
0answers
27 views

Perimeters of the cells of a convex tessellation

Let $C$ be a compact, convex region in $\mathbb{R}^2$, and say we have scalars $a_i, b_i, c_i$ for $i\in\{1,\dots,n\}$. Consider the tessellation $R_1,\dots,R_n$ of $C$ defined by letting ...
0
votes
0answers
28 views

Area of the general $n-1$ - box projected onto the general $n$ - ball [closed]

Is it possible to generalize the area of a rectangle projected onto a sphere into higher dimensions? If so, what is the "area" of the general $n-1$ - box projected onto the general $n$ - ball?
0
votes
0answers
35 views

Is there a non-polyhedral metric on a polyhedral surface? [closed]

I know of Alexandrov's Uniqueness Theorem and I know that the induced metric of any polyhedral surface is polyhedral but I was wondering if it was possible to define a metric on a polyhedral surface ...
0
votes
0answers
135 views

How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...
1
vote
1answer
115 views

Maximal $\pi/2$-separated subset of the sphere

A subset $A$ of a metric space is called $\varepsilon$-separated if $$dist(x,y)> \varepsilon \mbox{ for all } x\ne y\in A.$$ (Notice that the inequality in my definition is strict.) What is the ...
3
votes
0answers
72 views

Why is a negatively curved cone surface locally CAT(-1)?

Recently I'm reading a paper about the rigidity of negatively curved cone surfaces written by S. Hersonsky and F. Paulin. The authors said that a negatively curved cone surface is locally CAT(-1). But ...
5
votes
2answers
184 views

Does a continuous map $f$ from the $n$-ball $B$ into $R^n$ such that $B\subset f(B)$ have a fixed point?

If $f$ is a continuous map from the $n$-ball $B$ into itself, the Brouwer fixed point theorem guarantees a fixed point. What if we assume that $f$ maps $B$ into all $R^n$, and $f(B)$ contains $B$? For ...
6
votes
1answer
391 views

Approximating a real by a ratio of primes

Let $x$ and $y$ be positive reals in $(0,1)$ with $x < y$ and $y-x =\epsilon$. I seek smallest primes $p$ and $q$ such that $$x \le \frac{p}{q} \le (x+\epsilon) = y \;.$$ Q. What upper bound ...
1
vote
0answers
48 views

How does the singular surfaces obtained when the border of a Euclidean set becomes a point look like?

I'm curious to understand in several manner, what is the metric geometry of the metric space homeomorphic to a sphere, obtained from a compact convex set $K\subset R^2$ with the Euclidean distance, ...
2
votes
1answer
73 views

The circle with minimal radius covering known finite set of points on a plane

Given some points on a plane, how to determine the circle with minimal radius covering all these points?
4
votes
0answers
118 views

Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$

Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...
30
votes
3answers
1k views

Is there a subset of the plane that meets every line in two open intervals?

Using the Axiom of Choice, it is possible to construct a subset of the plane that meets every line in two points (these are called "$2$-point sets"). What if, instead of points, we ask for two open ...
4
votes
0answers
108 views

Visibility in a prime orchard

This suggests a variant on Polya's orchard problem. That problem asks1 for which radius $\epsilon$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the ...
5
votes
0answers
89 views

$C^1$ regularity of harmonic functions on Riemannian manifolds

Consider a smooth, connected and complete Riemannian manifold $M$. It is well known that harmonic functions defined on some open subset of $M$ are $C^\infty$. I'm interested in knowing whether there ...
17
votes
5answers
1k views

How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the "concentration-of-measure" phenomenon is that, for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$, "most of the mass is close to the equator, for any equator."1 ...
1
vote
1answer
85 views

Gradient of distance function at cut points on Alexandrov spaces

Let $M$ be an $n$-dim Alexandrov space with curvature bounded below $sec \geqslant k$, possibly non-compact. We assume that $M$ has no boundary for simplicity. For a compact subset $K \subset M$, the ...
6
votes
1answer
174 views

Length of nearest neighbor path in travel salesman problem

Given $n$ nodes uniformly distributed in $[0,1]^2$, consider the nearest neighbor algorithm to solve traveling salesman problem, i.e., each time I select the nearest neighbor not visited so far as the ...
13
votes
2answers
388 views

A probability distribution in n dimensional space which its projection on any line is a uniform distribution?

Does there exist, for any natural $n$, a probability distribution in $\mathbb{R}^n$ whose projection on any line is a uniform distribution?
9
votes
2answers
251 views

Book on the tetrahedron

Does anybody know of a book containing "all you want to know about the tetrahedron"? What you want to know should include basic geometry of the tetrahedron, study of orthocentric tetrahedra, the Monge ...
5
votes
1answer
141 views

Measurement of “symmetry” of a convex body

I often hear that the regular simplex is "the least" symmetric convex body, and I've heard that there are some measures of symmetry of a body, that the simplex minimizes. Could you please explain or ...
2
votes
1answer
130 views

Number of lines of symmetry of a set of lattice points

Given some finite $S\subseteq\mathbb R^2$, it is clearly possible for $S$ to have arbitrarily many lines of symmetry. However, it is not very clear if the same is necessarily true for subsets of ...
8
votes
4answers
261 views

Diameter of random segment intersection graph?

I have an even number of points $n$ randomly distributed (uniformly) in a disk. Then the points are randomly connected to form $n/2$ segments, a perfect matching. Finally, I form the intersection ...
8
votes
2answers
189 views

Continuity of length and area

Let $C_n$ be a sequence of rectifiable simple closed curves in $\mathbb{R}^2$ that converge to a rectifiable simple closed curve $D$ in the Hausdorff topology. It is easy to construct examples where ...
1
vote
0answers
327 views

Vafa's semi-Ricci flat metric

Cumrun Vafa with Greene-Shapere-Yau introduced semi-Ricci flat metric here B. Greene, A. Shapere, C. Vafa, and S.-T. Yau. Stringy cosmic strings and noncompact Calabi-Yau manifolds. Nuclear Physics ...
0
votes
0answers
70 views

Gromov-Hausdorff distance measure between minimum spanning trees

I am trying to compare minimum spanning trees through time. I have two questions: 1-Is it possible to measure the similarity between two minimum spanning trees with Gromov-Hausdorff distance measure ...
3
votes
1answer
77 views

Gauss-Bonnet formula for 2-dimensional Alexandrov spaces

EDIT: Let $S$ be a closed orientable 2-dimensional surface equipped with a metric with curvature $\geq \kappa$ in the sense of Alexandrov. Questions 1. Can one define a measure $K$ on $S$ (thought ...
10
votes
2answers
288 views

Double kissing problem

Consider two touching unit balls which will be called central balls. What is the maximum number $k$ of non-overlapping unit balls so that each ball touches as least one of two central balls? An easy ...
2
votes
1answer
56 views

Convex hulls have longer boundaries

Let $C$ be a rectifiable simple closed curve in $\mathbb{R}^2$ and let $D$ be the boundary of the convex hull of the region bounded by $C$. What is the most efficient way to prove that $D$ is ...
5
votes
2answers
125 views

Differentiability of polytope shadow areas

Let $P$ be an opaque convex polyhedron containing the origin in $\mathbb{R}^3$, and let $S$ be an origin-centered sphere strictly containing $P$: $S \supset P$. For a point $x$ on $S$, let $\sigma(x)$ ...
4
votes
1answer
110 views

Best polygonal approximation to a polynomial $\pm$ c

Let a planar region $R$ be defined by the vertical range bounded by a polynomial $f(x) \pm c$ with $c>0$ a constant, and with $x$ varying between the smallest and largest roots of $f(x)$. For ...
18
votes
4answers
708 views

How much redundancy resides in an $n \times n$ orthogonal matrix?

Suppose one has an $n \times n$ orthogonal matrix $M$: $$ \left( \begin{array}{ccc} 0.239326 & 0.846726 & 0.475161 \\ 0.768893 & 0.13356 & -0.625272 \\ 0.592897 & ...
6
votes
5answers
260 views

Packing obtuse vectors in $\mathbb{R}^d$

I came across this attractive theorem: Theorem. In $\mathbb{R}^d$, there can be at most $d+1$ vectors that form an obtuse angle with one another. This was proved1 as a corollary of a lemma about ...
6
votes
2answers
117 views

Geodesics on convex hypersufaces

Let $M^n$ be the boundary of a convex compact set in $\mathbb{R}^{n+1}$ with non-empty interior. Question 1. Is $M$ geodesically complete, i.e. is it true that every geodesic (= locally shortest ...
6
votes
2answers
124 views

Alexandrov spaces which are not limits of Riemannian manifolds

Are there important/ interesting/ natural examples of compact Alexandrov spaces with curvature bounded from below which are not Gromov-Hausdorff limits of smooth compact Riemannian manifolds with ...
3
votes
0answers
114 views

when are local quasigeodesics global in CAT(0)

It is well-known (and easily shown) that a local quasi-geodesic (for some value of "local") in a $\delta$-hyperbolic space is global (one can compute the constants, as well, from local data). This is ...
6
votes
1answer
108 views

Regions on a sphere that avoid a fixed point set

Let $P$ be a finite set of points on a unit-radius sphere $S$ in $\mathbb{R}^3$. Treat $P$ as a fixed pattern that can be rigidly slid around $S$ as a unit (no reflection). Let $R$ be a subset of ...
4
votes
0answers
74 views

Relation between Euclidean distance matrices and squared-distance matrices

Let us refer to $D$ as the matrix with $D_{ij} = ||x_i - x_j||_2$ and $H = D \circ D$ e.g. the matrix with $H_{ij} = ||x_i - x_j||_2^2$ as its entries. Are the spectra of these matrices related at ...
21
votes
7answers
1k views

What's that shape? Inferring a 3D shape from random shadows

Let $P$ be a bounded, simply connected region of $\mathbb{R}^3$. $P$ could be a polyhedron, or a smooth shape, or an arbitrary shape; I'll assume below that $P$ is a (non-degenerate, perhaps ...
6
votes
1answer
156 views

Existence of finite set of points in the revolving circles

Let $k$ and $n$ be two fixed integers. Let $C$ denotes the circle with radius $4n$ (in the plane $\mathbb{R}^2$). Suppose $\{C_1,C_2\}$ shows the set of two arbitrary tangent circles with radius $2n$ ...
5
votes
0answers
58 views

Concavity of mixed volumes and mixed discriminants

For $n\times n$ symmetric matrices $A_1, \ldots, A_n$, the mixed discriminant $D(A_1, \ldots, A_n)$ can be defined as $1/n!$ times the coefficient of $t_1\ldots t_n$ in the homogeneous polynomial ...
11
votes
2answers
305 views

The most number of points that realize only $k$ distinct distances

For $k \ge 1$, let $f_d(k)$ be the largest possible number of points $p_i$ in $\mathbb{R}^d$ that determine at most $k$ distinct (Euclidean) distances, $\|p_i-p_j\|$. Example. For points in the plane ...
20
votes
2answers
645 views

Is every closed curve in 3D a geodesic on a genus-0 surface?

Let $\gamma$ be a smooth, closed, unknotted curve embedded in $\mathbb{R}^3$. Q. Does there always exist a smooth, embedded, genus-zero surface $S \subset \mathbb{R}^3$ such that $\gamma$ is a ...