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

learn more… | top users | synonyms (1)

3
votes
0answers
82 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
211 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 ...
1
vote
2answers
101 views

An optimality condition for the corners of convex polytopes?

Let $H,H'\subset\mathbb{R}^m$ be two hyperplanes with unit normal-vector, and let $P\subset\mathbb{R^m}$ be a convex polytope (defined via its corners $v_0, ... , v_n$, where $n\ge m$). Let's ...
7
votes
1answer
419 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
57 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, ...
3
votes
1answer
99 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
135 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 ...
5
votes
0answers
117 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 ...
6
votes
0answers
210 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
110 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
306 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
447 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
297 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
169 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 ...
3
votes
1answer
155 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 ...
9
votes
4answers
285 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 ...
9
votes
2answers
209 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
371 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
222 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
98 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 ...
11
votes
2answers
317 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
59 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
136 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
123 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 ...
19
votes
4answers
733 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 & ...
7
votes
5answers
338 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
126 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
156 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 ...
4
votes
1answer
175 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 ...
7
votes
1answer
139 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
99 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
2answers
244 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
65 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
331 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 ...
22
votes
2answers
707 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 ...
2
votes
0answers
64 views

Euclidean minimum spanning trees intersecting each unit square

The recent question "Euclidean Minimum Spanning Trees Restricted to One Vertex Per Grid Cell" can be restated in terms of "minimum spanning trees intersecting each (closed) lattice square of an ...
2
votes
1answer
57 views

Algorithm to find the vertices of the equidistant lines between N closed polygonal lines

I have a set $\{C_1, C_2, \ldots, C_N\}$ of $N$ nonintersecting closed piecewise linear curves on the Euclidean plane. For every point $x \in \mathbb{R}^2$ we say it belongs to a territory serviced by ...
2
votes
0answers
144 views

Find the intersection between two convex hulls, in this specific case

We work over $\mathbb{R}^K$. Let $V$ be the set of vectors whose coordinates take values $0$ or $1$, or equivalently the corners of the unit cube $[0,1]^K$. Let $d:\{0, \ldots, K\} \to \mathbb{R}_+$ ...
5
votes
0answers
140 views

Euclidean Minimum Spanning Trees Restricted to One Vertex Per Grid Cell

Given an $n \times n$ grid with unit grid cells, and one point from the interior of each cell, what is are best possible lower and upper bounds for lengths of minimum spanning trees? The lower bound ...
5
votes
1answer
118 views

Pigeonholing Polygons: Can two rigid regions fit in twice the space needed?

This is a tweak of Henry Segerman's question Can an arbitrary collection of circles of total area 1/2 fit into a circle of area 1? , but restricted to the point of possibly having a proof in the ...
4
votes
1answer
175 views

Another 2D theorem which generalizes to higher dimension

I have found a new property of the Tetrahedron. In fact, this is a 3D generalization of theorem 1 in my paper "A Note on Reflection", published by Forum Geometricorum. Consider any Tetrahedron ABCD. ...
1
vote
1answer
174 views

Extreme points of convex hull of Minkowski sum [closed]

Let $\operatorname{conv}(a_1,\ldots,a_m)$ denote the convex hull of $\{a_1,\ldots,a_n\}$. Let $P = \operatorname{conv}(a_1,\ldots,a_p)$ and $Q = \operatorname{conv}(b_1,\ldots,b_q)$ be two convex sets ...
1
vote
3answers
207 views

Isometric imbedding of finite metric space into standards spaces [duplicate]

Is it true that any metric space consisting of $n$ points can be isometrically imbedded into $n-1$ dimensional Euclidean space? Hyperbolic space? (For $n=3$ this is true.) If not, what are ...
24
votes
1answer
467 views

Expected number of vertices of a hypercube slice — is this new/interesting?

I am a (mostly) amateur mathematician, but my education and work have featured a lot of mathematics, and recently I bumped into a mathematical problem for which I can find no references, and I am ...
16
votes
1answer
384 views

What sort of models did Bolyai and Lobachevsky use to demonstrate the consistency of their models of non-Euclidean Geometry?

As is well-known, in the 1820s both Bolyai and Lobachevsky showed, at long last, the independence of the Parallel Postulate from the rest of the axioms of Euclidean geometry by developing what we now ...
2
votes
1answer
167 views

What is the distribution of the maximum nearest-neighbor distance of a point cloud sampled from a solid body like?

Let $\mathcal{B} \subseteq \mathbb{R}^n$ be an $n$-dimensional solid body. Assume that we sample $N$ points, say $S = \{ x_1, ..., x_N \}$, from $\mathcal{B}$ uniformly at random. Consider the ...
1
vote
0answers
43 views

Projection of a ray onto a random polytope

Suppose $P$ is a polytope formed by $p$ (general) random planes in $\mathbb{R}^n$. We assume $p \asymp n$ and $P$ has a diameter $O(\sqrt{n})$. For any $x \in \mathbb{R}^n$, denote by ...