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

learn more… | top users | synonyms (1)

2
votes
0answers
121 views

A question on Hilbert geometries as metric-measure spaces

Recall that a Hilbert geometry is the interior of a convex body $K \subset \mathbb{R}^n$ provided with the metric $$ d(x,y) = \frac{1}{2} \ln\left(\frac{|x-b|}{|y-b|}\frac{|y-a|}{|x-a|}\right) , $$ ...
4
votes
2answers
325 views

A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$. Let $m$ be the smallest number so that there are $m$ pairs of lines $ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$: a) For ...
27
votes
1answer
927 views

Can we find lattice polyhedra with faces of area 1,2,3,…?

I asked this question two months ago on MSE, where it earned the rare Tumbleweed badge for garnering zero votes, zero answers, and 25 views over 61 days. Perhaps justifiably so! Here I repeat it with ...
5
votes
1answer
255 views

What it is the volume of the unit ball section of the cone of positive definite matrices?

Let $PD_{n}$ be the cone of positive definite $n \times n$ real matrices and let $B$ be the unit sphere in $n \times n$ dimensions. What is the volume of $PD_{n} \cap B$? EDIT: Let's assume that $B$ ...
1
vote
0answers
49 views

Groups of equi-quasi-isometric diffeomorphisms of a Riemannian surface of bounded geometry

Let $M$ be an open Riemannian surface of bounded geometry. Let $\Gamma$ be a group of diffeomorphisms of $M$. Suppose that $\Gamma$ is equi-quasi-isometric; i.e., its elements are (differentiable) ...
4
votes
1answer
114 views

Rationality of translation lengths in hyperbolic groups

Recall that the translation length $\tau(g)$ of an element $g \in G$ is the limit $d(1, g^n)/n$, where $d$ is the word metric on $G$ with resepct to some generating set. It is a theorem of Gromov ...
1
vote
0answers
85 views

What is the projective dual of a planar graph?

Everybody learns the usual definition of the dual of a planar graph when edges are preserved and faces are mapped to vertices. Everybody learns the projective duality. What if we apply it to a ...
4
votes
0answers
67 views

How many facets can $\{\|D^T x\|_1\leq 1\}$ have?

$\newcommand{\RR}{\mathbb{R}}$Consider $x\in\RR^n$ and $D\in \RR^{n\times p}$ with $p\geq n$ and full rank. My question is: How many facets can the polytope $ \{x\in\RR^n\ :\ \|D^T x\|_1\leq 1\}$ ...
0
votes
0answers
88 views

How to define the distributional Hessian for a convex function on a $C^0$ Riemannian manifold?

M is a $C^1$ manifold with a $C^0$ Riemannian metric, f is a convex function on M. How to define a functional on M which can represent $Hessf$? For example: for $\Delta f$ we can define the ...
5
votes
1answer
147 views

Areas of Triangles in (Non-Riemannian) Metric spaces?

I'm looking for a reasonable way to coherently axiomatize both length and area in the absence of a Riemannian structure, i.e., starting only with a metric space; but it's not clear how much of this ...
1
vote
1answer
75 views

Generators for the affine automorphism group of the octagon

Consider an octagon $O$ with opposite edges identified. Lemma 3.2.4 of (1) (subscription link) claims that the affine automorphism group of $O$ is generated by $D_8$ and the shear $\sigma$ such that, ...
6
votes
1answer
162 views

Integral straight-line embeddings of planar graphs

Wikipedia says (in the article on Fáry's theorem), "Heiko Harborth raised the question of whether every planar graph has a straight line representation in which all edge lengths are integers. The ...
3
votes
1answer
153 views

Diameter of $n$-unit-vector closed scribble

Suppose one creates a random, closed, likely self-crossing polygon from $n$ unit-length vectors arranged head-to-tail, randomly oriented except for the requirement that their sum is zero (so the ...
3
votes
1answer
196 views

Generalization of notion of convexity

I am searching for the correct term for the following, if it exists. A set $X\subset \mathbb{R}^2$ is called $r$-convex if for any two points $x_1, x_2\in X$ such that there exists an arc of radius ...
6
votes
1answer
183 views

Length inequalities in trees and CAT(0) spaces

I have a family of possibly related questions. Let me start with an elementary one: Question 1. Fix an integer $n$. For which collections of real numbers $a_{ij}$, $i, j = 1, \dots, n$, is it true ...
6
votes
1answer
444 views

Is there a sideways-walking rolling convex body?

Let $K$ be a solid, homogenous convex body in $\mathbb{R}^3$. Place $K$ on an inclined plane, and let it roll down the plane, under some reasonable assumptions of friction between $K$ and the plane, ...
4
votes
0answers
69 views

Can an acyclic continuum be metrically homogenous? (I'd say: no way! :-)

I asked recently on MO about algebraic structures admitted by topologically homogenous continua like the Hilbert cube $\ I^{\mathbb N}\ $ or the Knaster pseudo-arc. There is a relation between the ...
6
votes
1answer
286 views

Limit of distance between two random points in a unit-radius $n$-sphere

This is a companion contrast to the earlier analogous question for unit $n$-cubes, where the answer (provided by several respondents) is $\infty$ . What is the limit, as $n \to \infty$, of the ...
6
votes
2answers
291 views

Limit of distance between two random points in a unit $n$-cube

What is the limit, as $n \to \infty$, of the expected distance between two points chosen uniformly at random within a unit edge-length hypercube in $\mathbb{R}^n$? For $n=1$, the average ...
5
votes
2answers
388 views

Geometric explanation of Hutton's formula?

$$\frac{\pi}{4} = 2 \tan^{-1} \frac{1}{3} + \tan^{-1} \frac{1}{7} \;.$$ Is there some geometric construction that explains this beautiful equation (known as Hutton's formula)? Perhaps a "proof without ...
3
votes
2answers
316 views

Points contained in a disk [closed]

I have a question, but not sure how to prove this. We are given $n$ points in the Euclidean plane such that there exists no disk of radius $a$ which contains all of the points. Conjecture: There ...
8
votes
1answer
172 views

Random walk on a Penrose tiling

Pólya proved that a random walk on $\mathbb{Z}^2$ almost surely returns to the origin, or, equivalently, returns to the origin infinitely often. It was subsequently established that in $\mathbb{Z}^3$, ...
5
votes
0answers
107 views

Geometry of the metric cone

Let us say that two metrics $d$ and $d_0$ on a set $X$ are related if there exist positive constants $0 < \alpha \leq \beta$ such that $$ \alpha \,\left(d_0(x,y) + d_0(y,z) - d_0(x,z)\right) \leq ...
1
vote
0answers
47 views

Euclidean embedding of a graph based on 1-ring neighborhood distances only

Consider a graph $(V,E)$, $\vert V \vert = n$ and weights $\{l_{ij}\}$, where $l_{ij}>0$ iff there is an edge connecting vertices $v_i$ and $v_j$. Distances beyond the 1-ring neighborhood are not ...
0
votes
0answers
41 views

Buseman function is regular on manifolds without boundary containing a line?

For an n-dim noncompact manifold M without boundary. Assume M contains a line $\gamma$. For every point $p \in M$, let $\widetilde{p\gamma(t)}$ be the geodesic from p to $\gamma(t)$. Choose a ...
17
votes
2answers
455 views

An equivalence relation for norms

Let us say that two norms $\|\cdot\|_1$ and $\|\cdot\|_2$ on a real vector space $V$ are strongly equivalent if there exists a constant $\lambda \geq 1$ such that $$ \frac{1}{\lambda} \left( \|x\|_1 ...
3
votes
0answers
145 views

Is there such a matrix in $SO(n)$?

Given two $n$ dimensional positive definite matrices $A', B'$, is there a matrix $O \in SO(n)$ such that $A=O A', B=O B'$ and $$ \frac{A_{ij}}{\sqrt{A_{ii}A_{jj}}} = ...
4
votes
0answers
142 views

Regular cross-sections of a dodecahedron; analogous sections of 4-polytopes

One can intersect a dodecahedron with a plane and obtain an equilateral triangle, a square, a regular pentagon, a regular hexagon, and a regular decagon:             ...
2
votes
1answer
114 views

Omit each vertex in turn of convex polygon: Iterative limit?

Let $P=P_0$ be a convex polygon of $n$ vertices $v_k$. Let $P_{i+1}$ be the convex polygon obtained by intersecting the halfplanes determined by the lines through every other vertex. Below, $P_0$ is ...
0
votes
0answers
57 views

Guassian upper bound of the heat kernel implies ultracontrativity?

For spaces satisfies uniformlly local doubling and Poincare inequality (for example, Riemannian manifold with Ricci curvature bounded below RCD(K,N)). By Sturm's paper, we have bounds on the heat ...
8
votes
2answers
399 views

get a point in polygon (maximize the distance from borders)

I have several 2D polygons represented by lists of xy-coordinates of their vertices. It is needed to get several points inside the polygon so that they lie possibly far from the polygon's borders ...
18
votes
1answer
313 views

Characterization of Volumes of Lattice Cubes

Here is a problem that came up in a conversation with a professor after I made a false assumption about the geometry of $\mathbb{Z}^n$. I do not know if he knew the answer (and told me none of it) and ...
9
votes
3answers
790 views

Could a perfect squared square be split into two perfect squared squares?

This is a geometric puzzle though it might conceivably also define a special class of Pythagorean triples. A perfect squared square PSS is a square (as a plane figure) partitioned into smaller ...
5
votes
2answers
337 views

Volume-preserving projective transformations are isometries

What is a simple, elementary proof of the following result? A continuously differentiable map from the unit sphere $S^n \subset \mathbb{R}^{n+1}$ $(n > 1)$ to itself that preserves volumes and ...
0
votes
0answers
109 views

Generalized Sphere Kissing Problem

I am currently researching discrete geometry and I am in need of an upper bound on a generalized kissing number in 3-dimensions dependent upon a parameter $\eta$ which is the radii of spheres touching ...
7
votes
0answers
95 views

Longest induced cycles in random geometric graphs near criticality

We make a random geometric graph $X(n;r)$ as follows. Choose $n$ points uniformly, independently, in the unit square $[0,1]^2$, for vertices, and then connect a pair of vertices $\{ p,q \}$ by an edge ...
15
votes
1answer
335 views

Asymmetric metrics and cohomology

If $(X,d)$ is a metric space and $f : X \rightarrow \mathbb{R}$ is a Lipschitz function with Lipschitz constant $k < 1$, then the function $$ D(x,y) := d(x,y) + f(y) - f(x) $$ defines an asymmetric ...
14
votes
2answers
473 views

Spearing rolling hula hoops

Or: Stabbing rolling disks. Imagine there are $n$ unit-diameter disks rolling between $x=0$ and $x=d$, reflecting off either end. The disk centers start at a random location within $[\frac{1}{2}, ...
3
votes
0answers
77 views

Intrinsic volumes of a family of convex sets $\{K_n\}$

Consider a family of convex sets $\{K_n\}$ such that $K_n \subset \mathbb{R}^n$ for each $n$. The kinds of sets one might be considering could be, for instance, $K_n$ is the cube of side $2A$, ...
3
votes
1answer
225 views

Separable Banach spaces which are absolute Lipschitz retracts

A subset $F$ of a metric space $M$ is called a Lipschitz retract of $M$ if there is a Lipschitz map from $M$ onto $F$ which coincides with the identity on $F$. A metric space which is a Lipschitz ...
6
votes
2answers
157 views

Intersecting Sets of Pythagorean Triples with Common Hypotenuses

For any $r\in\mathbb{N}$, let $A_r$ denote the set of all natural numbers that are potentially a side of a Pythagorean triple with hypotenuse $r$. Given any $N\in\mathbb{N}$, does there exist $r,s$ ...
2
votes
0answers
59 views

Smallest distribution of points with genuinely different clusterings

An hierarchical clustering algorithm for (finite) sets of points in a given metric space is essentially determined by its linkage criterion, which defines the distance between arbitrary (finite) sets ...
21
votes
3answers
865 views

“Paradoxes” in $\mathbb{R}^n$

One may think of this question as a duplicate of this one. I see it more like an extension. The "inscribed sphere paradox" discussed in the aforementioned question states that if you inscribe a ...
5
votes
1answer
398 views

Triple bubble conjecture: Natural candidate?

Is there a standard natural candidate surface for the shape that encloses three given volumes in $\mathbb{R}^3$ and has minimal surface area? I know the planar triple bubble conjecture was ...
7
votes
2answers
207 views

How to find a tetrahedron that covers four points?

I’m looking for an explicit formula for the vertices of a regular tetrahedron that covers four given points. In particular: Given four distinct real numbers $a_1$, $a_2$, $a_3$, $a_4$, is there a ...
10
votes
4answers
530 views

Does the centroid depend continuously on the curve?

Let $\gamma$ be a piecewise smooth curve in $\mathbb{R}^n$. Recall that the centroid of $\gamma$ is the point $(\overline{x}, \overline{y})$ where $\overline{x}$ is the average value of $x$ on ...
11
votes
2answers
395 views

Triangle with largest perimeter in a convex region

What is the largest value of $r$ such that the following statement is always true? "Let $C$ be a convex region with area $1$. There must exist a triangle contained in $C$ whose perimeter is at least ...
7
votes
0answers
203 views

quantitative version of the rigidity of the 2-sphere

I am looking for a quantitaive version of the following theorem: A compact surface with $K\equiv 1$ is isometric to the round sphere. Of course I get the Berger, Brendle-Schoen Theorem which insures ...
3
votes
1answer
199 views

A question on differential forms and integral invariants

The following question comes up in the study of metrics with the same unparameterized geodesics in Riemannian and Finsler geometry: Question. Let $M$ be a closed manifold of dimension $2n+1$ and let ...
9
votes
4answers
425 views

More than $n$ approximately orthonormal vectors in $R^n$

This question was asked at math.stackexchange, where it got several upvotes but no answers. It is impossible to find $n+1$ mutually orthonormal vectors in $R^n$. However, it is well established ...