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

learn more… | top users | synonyms (1)

14
votes
0answers
152 views

Precise estimate for probability an $n$-point set has diameter smaller than $1$

This question was inspired by an earlier question that I answered but would like a more precise bound for. Consider random points $x_1, \dots, x_n$ in the unit ball in $\mathbb R^d$, uniformly and ...
1
vote
0answers
163 views

A chain of six circles associated with six points on a circle (in Mobius plane) [closed]

I found a conjecture: A chain of six circles associated with six points on a circle (in Mobius plane). This is a generalization of the last my previous question in Three chains of six circles. (...
12
votes
2answers
256 views

Shortest path through $n^{1/3}$ points out of $n$

Say I sample $n$ points uniformly at random in the unit cube in $\mathbb{R}^3$, and then I look for the shortest path through $n^{1/3}$ of those points (rounding up, say). What happens to the length ...
3
votes
0answers
170 views

A conjecture on six planes [closed]

When I read Cox's Theorem, and Clifford's Circle Theorem and Miquel six circles theorem, I found the conjecture as folowing. And I checked the conjecture by the Geogebra sofware, the conjecture is ...
7
votes
1answer
468 views

A chain of six circles associated with a conic

I found this problems three years ago. But I never have been a proof. Recently I posted in math.stackexchange.com. I am looking for a solution of the following problems: A chain of six circles ...
16
votes
1answer
418 views

Just how close can two manifolds be in the Gromov-Hausdorff distance?

Suppose that we have two compact Riemannian manifolds $(M,g)$ and $(N,h)$. Define the Gromov-Hausdorff distance between them in your favorite way, I'll use the infimum of all $\epsilon$ such that ...
1
vote
0answers
39 views

Continuity of Busemann-Hausdorff area density

I am trying to find out why the Busemann-Hausdorff area density as defined by Burago and Ivanov is continuous. Here, $GC_m(V)\subset \Lambda^m(V)$ denotes the simple $m$-vectors in an $n$-dimensional ...
0
votes
0answers
63 views

Integral of gradient between level sets of Lipschitz functions

Start with a compact metric measure space $(X,d)$, with a doubling measure $\mu$ and a local regular Dirichlet form $\mathcal E$ that supports a Poincare inequality. $d$ can be taken to be the ...
10
votes
1answer
234 views

Surface area of an $\ell_p$ unit ball?

Are there any known formulas or approximations for the surface area of a unit ball in $d$ dimensions under the $\ell_p$ norm? As obvious examples, it is of course well-known that the surface area of ...
12
votes
0answers
102 views

Rational inscribed realization of the regular dodecahedron

While it is clear that the regular dodecahedron $D$ cannot be realized with all integer coordinates, it is easy to find a polytope, which is combinatorially equivalent (face lattice isomorphic) to $D$ ...
2
votes
1answer
195 views

Relation of some Euclidean geometry theorems and more conjecture generalizations

In this topic I want to share relation of the Pythagorean theorem, the Stewart theorem and the British Flag theorem, the Apollonius' theorem and the Feuerbach-Luchterhand. Since that I posed two ...
5
votes
0answers
524 views

Dao's theorem on six circumcenters associated with a cyclic hexagon

This questions from Ngo Quang Duong's paper In 2013, O. T. Dao published without proof a theorem with title Another seven circles theorem in Cut the Knot, a free site for popular expositionsof many ...
3
votes
1answer
114 views

Choosing $K$ “centers” from the space of permutations

Let $\Pi$ denote the space of all permutations of $\{1,\dots,n\}$, and let $d(\cdot,\cdot)$ be a metric on $\Pi$. Suppose I am given a large integer $K$ and I have to select $K$ permutations $\pi_1,\...
1
vote
1answer
60 views

Does a continuous function have a continuous integral function in a discrete dynamical system?

Let $X$ be a compact manifold (or the closure of a Euclidean domain if that helps significantly) and $T\colon X\to X$ a homeomorphism. Let us say that a function $v\colon X\to\mathbb R$ is the ...
4
votes
0answers
142 views

Questions on Thurston's metric on Teichmüller space

I'm reading the famous "Minimal stretch maps between hyperbolic surfaces" by William Thurston and I'm trying to understand the key theorem 8.1. I have many unclear points so I hope someone can help me ...
1
vote
1answer
146 views

Applying Cheeger and Colding segment inequality

The question turns out quite long and maybe a bit vague, I apologize in advance for that. I am currently trying to understand Cheeger and Colding proof of the almost splitting theorem. Currently I ...
8
votes
1answer
148 views

Convex body with affine-equivalent cross-sections

I recently discovered the following fact: Let $K\subset\mathbb R^3$ be an origin-symmetric convex body with smooth and strictly convex boundary. Suppose that all central cross-sections of $K$ (that is,...
1
vote
0answers
59 views

Possible directions of saddle connections

Let's consider a Riemann surface $X$ of genus $g\ge 2$ and $q$ a holomorphic quadratic differential on $X$. A natural parameter on $X$ is a chart for which $q=dz^2$. A $\theta$-trajectory is a maximal ...
8
votes
3answers
271 views

Shape whose translated and scaled copies are closed under intersection

The translated and scaled copies of an equilateral triangle with fixed orientation are closed under intersection - the intersection is again an equilateral triangle with the same orientation. What ...
3
votes
0answers
63 views

Name for metric spaces with useful unique-ball-intersection property?

When dealing with the problem of extending a Lipschitz function $f:A \to Y$ between metric spaces across an inclusion $A \hookrightarrow X$, one often imposes (conditions which imply) the following ...
4
votes
1answer
259 views

Sixteen points circle - A conjecture on Möbius plane

The conjecture refer the reader about the Bundle's theorem configuration. (This conjecture from a note) Consider the Bundle theorem configuration : Points $A_1, A_2, A_3, A_4$ lie on a circle, ...
7
votes
0answers
124 views

Isometry group of low dimensional Alexandrov space

It is known by the work of Galaz-García and Guijarro, that the dimension of the isometry group of an $n$-dimensional Alexandrov space (of curvature bounded below) is bounded above by $\frac{n(n+1)}{2}$...
4
votes
2answers
266 views

k nearest points

Assume $n$ points $P_i \in \mathbb{R}^2, i \in {1,2,...,n}$. For each point there is a $k$ nearest neighbour $(k<n)$, or equivalently for each point $P_i$ there is one circle with center the point $...
3
votes
1answer
135 views

Moment matching on the standard simplex

Let $\vec{\mu}_1, \vec{\mu}_2,\ldots, \vec{\mu}_k \in \Delta^{d-1}$ be $k\ (k\geq 2)$ distinct vectors on the standard simplex, where $$\Delta^{d-1} = \{\vec{\mu}\in R^{d}:\| \vec{\mu}\|_1 = 1,\mu_j \...
12
votes
2answers
258 views

Term for a metric space for which the triangle inequality is strict?

Is there a standard term for a metric space in which $\rho(p,r) < \rho(p,q) + \rho(q,r)$ for any distinct $p$, $q$, $r$? Sort of the opposite of metric convexity. For instance, a subset of ...
7
votes
1answer
201 views

Partitioning a convex object without harming existing convex subsets

$C$ is a convex planar figure and $C_1,\dots,C_n$ are pairwise-disjoint convex subsets of $C$, like this: A convex-preserving partition of $C$ is a partition $C=E_1\cup\dots\cup E_N$, , such that $...
10
votes
0answers
156 views

Electrons on a pancake ellipsoid

The problems of minimizing the potential energy of electrons on a sphere, or maximizing the smallest distance between the electrons, have been well-studied. E.g., see the earlier MO question "...
12
votes
1answer
243 views

Covering the unit sphere by open hemispheres

Suppose $H_1,\ldots,H_{2n}$ are open hemispheres which cover $S^{n-1}$ with the property that removing any one of them leaves $S^{n-1}$ uncovered. Is it necessarily the case that the hemispheres can ...
1
vote
0answers
60 views

Comparison theorem for Lambert quadrilateral

A Lambert quadrilateral is a quadrilateral three of whose angles are right angles. And in 2-d hyperbolic space $\mathbb H^2$, we have nice formulas for the fourth angle. If $AOBF$ is a Lambert ...
0
votes
0answers
37 views

Minimize a function to learn a mapping

I have two questions. I want to learn a mapping $M$ that minimizes the right-hand side of the following equation: $E =\frac{1}{N} \sum\limits_{i=1}^N \bigg(\sum\limits_{j=1}^K \alpha_i - \big(\...
5
votes
0answers
167 views

Hausdorff dimension of Apollonian circle packing, 1.305686729, 1.305688 or yet something else?

I am interested in the Hausdorff dimension of the Apollonian circle packing. There seem to be two numerical calculations of the value: 1.305686729(10) from P.B ...
-1
votes
1answer
112 views

Construction of fibration over Riemannian Manifold

Let $\pi: E \rightarrow B$ be a fibration over a Riemannian manifold $B$, with $\pi^{-1}[b]$ homeomorphic to $\mathbb{R}$. More precisely: I want each fiber $\pi^{-1}[b]=Im(f_b)$ for some $C^{\...
1
vote
0answers
24 views

Least Width of Planar Unimodal Curves with Unit Diameter

I am currently trying to find a way to define some notion of "roundness" for subtours in graphs and that definition should only be based on the comparing (sums of) edge length and on the order in ...
4
votes
0answers
52 views

Carving a rectilinear polygon

In this question, carving a polygon $P$ means removing an axis-parallel rectangle adjacent to the boundary of $P$. Carving $P$ might break it into two or more polygons. You are given a square $P$. ...
3
votes
1answer
127 views

3-dimensional vectors satisfying certain equalities

Question: Are there 5 distinct vectors $u,v,w,x,y \in \mathbb{R}^3$, all on the unit sphere (i.e. $||u||=||v||=||w||=||x||=||y||=1$), such that: $||u+v+x||=||u+v+y||=||u+w+x||=||u+w+y||=1$ ? Also, ...
2
votes
0answers
58 views

Christoffel symbols of a moduli of smooth curves

The Setting: Let $H$ be the Hilbert space of all class $C^k$-curves into $\mathbb{R}$ with inner product: \begin{equation} <f,g>:=\int_{\mathbb{R}} f'(x)g'(x) e^{-x}dx \end{equation} ...
6
votes
1answer
149 views

Stochastic Covering Number of a Convex Set

Consider a convex set, say $S = [0,1]^d$. Let $X_1, X_2,\ldots,X_n, \ldots$ be i.i.d. random variables that are uniformly distributed on $S$. Denote the Euclidean ball centered at $x \in \mathbb{R}^2$ ...
5
votes
2answers
187 views

No normal coordinates on general Finsler manifolds

I recently read a footnote in Chern's article stating that a non-Riemmanian Finsler manifold does not possess normal coordinates. As I'm still new to non-Riemmanian Finsler geometry I don't see why ...
5
votes
2answers
356 views

What is this distance about?

For points $a,b\in \mathbb{R}^n\setminus \{0\}$ denote $$d(a,b)=\frac{\|a-b\|}{\|a\|+\|b\|}.$$ This question by Ritesh Ahuja (positive answered by Iosif Pinelis) says that $d$ is a metric. My ...
4
votes
2answers
163 views

Inequality from a point in plane to a triangle OR Inequality on a quadrilateral

If points $A$, $B$, $C$ form a triangle in euclidean space and $D$ is another point in the plane of the triangle, the problem is to show that : $\frac{AB}{DA + DB} + \frac{BC}{DB + DC} \ge \frac{AC}{...
2
votes
0answers
173 views

Extra large spherical joins

If $X$ and $Y$ are piecewise spherical complexes, then their spherical join $X * Y$ is CAT(1) if and only of $X$ and $Y$ are CAT(1) (see the appendix of the first Charney-Davis paper below). One of ...
0
votes
0answers
66 views

Hausdorff limits of fibers of affine maps

Let $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, and let $$ F=(P_1,\ldots, P_m):\mathbb{K}^n\to \mathbb{K}^m $$ be a polynomial map. I would like to know under what conditions the preimages $F^{-1}(y)$ of ...
3
votes
0answers
119 views

Uniform continuity of length function on geodesic currents

I'm starting to study geodesic currents and I have a question concerning uniform continuity. Let's take $S$ a closed surface of genus $g$ and $GC(S)$ the space of geodesic currents on $S$ (as it is ...
2
votes
0answers
53 views

Equivalence of local and global geodesics in projective spaces

Let $d:\mathbb R^n\times \mathbb R^n\to\mathbb R^n$ be a distance which induces the Euclidean topology and with which $\mathbb R^n$ is a length space. A continuous curve $\gamma:[a,b]\to\mathbb R^n$ ...
15
votes
1answer
272 views

Does a Riemannian manifold have a triangulation with quantitative bounds?

Suppose that $M$ is a closed Riemannian manifold with bounded geometry, i.e., curvature between $-1$ and $1$ and injectivity radius at least $1$. Since $M$ is a smooth manifold, it has a ...
0
votes
1answer
96 views

Example distance metric that is not conditionally negative definite

Theorem 4.1 of this paper says that there exist distance matrices that are not conditionally negative definite (CND). How do I construct an example of a distance matrix that is not CND? Do you know an ...
5
votes
0answers
98 views

Regularity of the distance from the boundary in singular riemannian manifolds

I am looking for references related with the regularity of the distance from the boundary in singular Riemannian manifolds. I assume the following setting. $(M,g)$ is a Riemannian manifold, with ...
11
votes
1answer
232 views

Hausdorff convergence of submanifolds in Riemannian manifolds

Let $(M^n,g)$ be a smooth compact Riemannian manifold. It is well known that any sequence $\{X_i\}$ of compact subsets of $M$ has a subsequence which converges in the Hausdorff metric to a compact ...
1
vote
0answers
30 views

Example of compact $CD(K,\infty)$ space, but doubling condition fails

It's well known that the doubling condition may not hold on $CD(K,\infty)$ space. Can one give an example such that: $(X,d)$ is a compact metric space, $\mu$ is a Borel probability measure and $(X,d,\...
3
votes
1answer
94 views

The volume of a region arising from planar linkages

Let $x_0,\dots,x_n$ be a collection of variable points in $\mathbb{R}^2$ and let $c>0$ be a fixed constant. Is there any way I could compute an upper bound of the volume of the region in $\mathbb{...