Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [mg.metric-geometry]

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

3
votes
1answer
64 views

Maximal edge length of symmetric polytopes

For me, a polytope is the convex hull of finitely many points. It is said to be vertex-transitive / edge-transitive if its symmetry group acts transitively on its vertices / edges. Let's call a ...
2
votes
0answers
124 views

A problem on real analysis related to Hilbert's fourth problem

This is an extensive re-write of a question I deleted and which had basically the same title. Identify the cylinder $S^1 \times \mathbb{R}$ with the space of (co)oriented lines in the plane by ...
2
votes
1answer
260 views

About the growth rate of a group

Let $G$ be a f.g. group and $d$ be a word metric w.r.t. a symmetric generating set. For $g\in G$, define $|g|:=d(g,e)$, where $e$ is the group identity. For $k\in\mathbb N$, put $$n_k:=\#\{g\in G: |g|...
19
votes
1answer
553 views

Diameter of a quotient of the infinite dimensional sphere

Suppose a group $\Gamma$ acts by isometries on the Hilbert space $\mathbb{H}^\infty$ and it fixes the origin. So $\Gamma$ acts on the unit sphere $\mathbb{S}^\infty$ as well. Assume that the action $...
5
votes
1answer
84 views

Clustering distance

Is there a good notion of distance between partitions of a (fixed, finite) set? The context is this: suppose I have a clustering algorithm, which clusters points using some method or other. Now, I ...
12
votes
2answers
325 views

Geodesic current supported on a pencil?

Consider a geodesic current $\mu$ on a closed surface $\Sigma$, as defined by Bonahon ("The Geometry of Teichmüller space via geodesic currents"). These are $\pi_1(\Sigma)$-invariant measures on the ...
11
votes
0answers
156 views

Elkies points in the plane of a triangle $ABC$

Noam Elkies proved that if $x,y,z$ are positive numbers, then there is a unique point $P$ inside $ABC$ such that the inradii $r_a,r_b,r_c$ of the triangles $BPC, CPA, APB,$ respectively, satisfy $$ ...
14
votes
2answers
417 views

The Disco Ball Problem

Let me first give some of a background as to where I got this problem. I had a math teacher ask me a few months ago: "How many 1 unit by 1 unit squares could one fit on a sphere with a radius of 32 ...
7
votes
0answers
76 views

Hölder isoperimetric problem

Denote by $S_r$ the usual circle of radius $r$, with the path metric ($d(x,y) = r\theta$, where $\theta$ is the angle between the vectors $x$ and $y$), and let $\alpha \in (1/2,1)$. Consider the ...
1
vote
0answers
93 views

Checking Planar Convexity of 4 Points with Stewart's Formula

Is the following conjecture correct? Conjecture: If $A,B,C,D$ are four points in general position in the euclidean plane, with $a:=\|C-B\|,\ \ b:=\|C-A\|,\ \ c:=\|B-A\|$ $a':=\|D-A\|,\...
2
votes
0answers
58 views

8-partition of a planar convex body by 4 concurrent lines

It is known1 that any convex body $K$ in the plane can be partitioned into $6$ equal-area pieces by $3$ concurrent lines which meet at a point in $K$. Call this a $6$-partition. This result cannot be ...
1
vote
1answer
167 views

A possible characterization of the cube?

Let $P$ be the $1$-skeleton of a convex polyhedron fixed in $\mathbb{R}^3$, and $|P|$ the sum of the Euclidean lengths of the edges of $P$. Let $P_1, P_2, P_3$ be the perpendicular projections of $P$ ...
5
votes
1answer
261 views

A possible characterization of sphere or projective space

Is there a compact Riemanian manifold $M$ not diffeomorphic to sphere or real or complex or quaternion projective space which admit a diffeomorphism $f$ with the property that $$\forall x \in M, \...
3
votes
2answers
215 views

Minimum weight triangulation of lattice points in a circle

Let $r$ be a natural number, and consider the $\mathbb{Z}^2$ lattice points $S$ inside or on the circle $C$ of radius $r$ centered on the origin. Let $P$ be the convex hull of $S$; so $P$ is inscribed ...
1
vote
1answer
140 views

Hausdorff distance is a lower (or upper bound) for what probability metric?

In a metric space $X=(X, d)$, given a probability measure $\mu$ and two subsets $A$ and $B$ of positive measure, it's not hard to prove that $$ d(A, B) \le W(\mu|_A, \mu|_B), $$ where $d(A, B):= \...
2
votes
0answers
39 views

Dimensions and volumes of continuous images of closed Riemannian manifolds

Suppose $M$ is an $m$-dimensional closed Riemannian manifold and $f \colon M \to \mathbb{R}^{n}$ is continuous. I'm interested in the case when $M=\mathbb{T}^{m}$. Let $\mathcal{M}_{f} := f(M)$. Let $...
2
votes
1answer
103 views

smallest square containing k non-overlapping equal rectangles at any orientation

This seems like something that should have a known answer, but I haven't found it after some time alternating between searching and generating multiple pages of algebra. I'm interested in $k=4$ and $...
0
votes
1answer
113 views

Sampling a uniformly distributed point INSIDE a hypersphere?

There is a simple algorithm to pick a random point ON an $n$-dimensional hypersphere. Is there one to sample a point from inside it? (Sampling points from a hypercube and rejecting them if they are ...
4
votes
1answer
111 views

Energy in doubling measure metric spaces

Let $(X,\mu, d)$ be a metric measure space where $\mu$ is a doubling measure. For a relatively compact set $U\in X$ consider the following quantity $$I(U,\mu,d)=\int_U \int_U \log^2(d(x,y)) d\mu(x) d\...
4
votes
0answers
90 views

Geometric meaning of the chi-square “measure of association”

In Statistics, there's a standard test of independence of two random variables taking values in finite sets $I,J$. It relies on the computation of $\chi$-square statistics, $$ \chi^2:=\sum_{(i,j)\in ...
3
votes
2answers
128 views

Cone-Torus intersection in 3D

Problem. I have a solid torus and a solid cone in $\mathbb R^3$ and need an efficient algorithm that determines if they intersect or not. The center of the torus is at a given position $\mathbf p \in ...
7
votes
1answer
135 views

existence of riemannian metric on $\text{SL}_3(\mathbb{R})$ with special geodesics

Is there a left-invariant Riemannian metric on $\text{SL}_3(\mathbb{R})$ for which the geodesics (with respect to the corresponding Levi-Civita connection) through the identity are exactly the ...
7
votes
1answer
268 views

Axioms of length

Assume I want to define length of plane curves axiomatically. It seems to be reasonable to assume that The length of a unit segment is 1; Congruent curves have equal lengths; Length is additive with ...
28
votes
1answer
612 views

Gromov-Hausdorff distance between a disk and a circle

The Hausdorff distance between the closed unit disk $D^2$ of $\mathbb R^2$ (equipped with the standard Euclidean distance) and its boundary circle $S^1$ is obviously one. Interestingly, the Gromov-...
1
vote
1answer
173 views

Group action on quasi-isometric geodesic metric space [closed]

If a group $G$ acts on a geodesic metric space $X$, then does $G$ act on a geodesic metric space $Y$ which is quasi-isometric to $X$?
5
votes
0answers
192 views

Which subspaces of $\ell_p^n$ are isometric?

This question is similar to the one asked here: Extending linear isometries from subspaces of $\ell_p^n$ Let $p$ be an even integer. Let $X,Y$ be subspaces of $\ell_p^n$, and let $U : X \to Y$ be a ...
0
votes
0answers
35 views

General conditions for Gaussian isoperimetric inequaliteis

Context I'm doing some work in which i need to show that the blow-up $B_\epsilon$ of a Borel set $B$ has large measure for $\epsilon$ sufficiently large. I've found a very attractive tool for doing ...
5
votes
1answer
108 views

When can the metric be reconstructed (up to scaling) from knowing the conjugate points?

Let $M$ be a smooth manifold of dimension $\geq 2$. Let $g$ be a complete Riemannian metric on $M$. Let $C \subseteq M \times M$ be the set of pairs of $g$-conjugate points. The set $C$ doesn't ...
2
votes
2answers
95 views

Monotonicity for the side lengths of stars inscribed in regular polygons

Fix integers $l\ge 1$ and $n \ge 3$, and let $P_n$ denote the boundary of the regular $n$-sided polygon in the plane. We define a $(2l+1)$-pointed equilateral star to be a cyclically ordered list of ...
2
votes
0answers
87 views

Totally geodesic submanifold of codimension 1 in noncompact Riemannian manifold

Assume that $M$ is a noncompact complete simply connected manifold of nonnegative sectional curvature. Then by Soul theorem, it has a soul $S$. Question 1 : Fix a point $p\in S$. Then there is a ...
2
votes
2answers
240 views

Totally geodesic submanifold of codimension 1

This question is inspired by question in reference. Question : If $M$ is a simply connected closed Riemannian manifold of nonnegative sectional curvature, then there is a totally geodesic ...
3
votes
0answers
79 views

Is each metric continuum $\ell_p$-chain connected?

This problem was motivated by the MO problems: "Running most of the time in a connected set", "Is every metric continuum almost path connected?" and "Are $\varepsilon$-connected components dense?". ...
1
vote
0answers
55 views

Can sufficiently symmetric polytopes be uniquely reconstructed from their 1-skeleton?

General convex polytopes can not be uniquely reconstructed from their 1-skeleton1, as explained here. Not even the dimension is known from the skeleton, as e.g. the complete graph $K_n,n\ge 5$ is the ...
6
votes
1answer
119 views

Are $\varepsilon$-connected components dense?

Let $X$ be a connected compact metric space. Given a positive $\varepsilon$ and two points $x,y\in X$ we write $x\sim_\varepsilon y$ if there exists a sequence $C_1,\dots,C_n$ of connected subsets of ...
9
votes
1answer
285 views

Is every metric continuum almost path-connected?

The question was motivated by this question of Anton Petrunin. By a metric continuum we understand a connected compact metric space. Let $p$ be a positive real number. A metric continuum $X$ is ...
6
votes
1answer
105 views

Contractibility of balls in Alexandrov spaces

Let $X$ be a compact finite dimensional Alexandrov space with curvature bounded below. Does there exist $\varepsilon_0>0$ (depending on $X$) such that for any $\varepsilon \in (0,\varepsilon_0)$...
9
votes
2answers
263 views

Balls in Lawvere metric spaces

Let $V$ be the monoidal category $[0,\infty)$ (as a poset) with $+$ and $0$. Lawvere shows that $V$-enriched categories are a more natural generalisation of the notion of a metric space (note no ...
2
votes
1answer
190 views

Name and Algorithms for a Sparsest Circle Packing

The ordinary circle packing problem in the variant with equal radii asks for the largest radius $r_{max}$ that allows placing $n$ non-overlapping circles with radius $r_{max}$ e.g. in the unit square, ...
6
votes
1answer
532 views

KL divergence and mixture of Gaussians

Do we have an exact formula to compute the KL divergence between 2 mixtures of Gaussians (i.e convex combinations of a finite number of Gaussian distributions)? If not exactly known, are there good ...
5
votes
0answers
197 views

How to pack 27 $a\times b\times c$ blocks into a cube of side $a+b+c$ with some kind of symmetry?

Recently I stumbled on the problem quoted here about a geometric proof of the AM-GM inequality $$(a_1+\cdots+a_n)^n\ge n^n a_1\cdots a_n$$ by packing $n^n$ rectangular $ n$-dimensional boxes of sides $...
28
votes
1answer
612 views

Running most of the time in a connected set

Let $P$ be a compact connected set in the plane and $x,y\in P$. Is it always possible to connect $x$ to $y$ by a path $\gamma$ such that the length of $\gamma\backslash P$ is arbitrary small? ...
8
votes
2answers
246 views

Is it possible to continuously select a probability distribution over fixed points in Brouwer's fixed point theorem?

According to Brouwer's fixed point theorem, for compact convex $K\subset\mathbb{R}^n$, every continuous map $K\rightarrow K$ has a fixed point. However, these fixed points cannot be chosen ...
1
vote
1answer
92 views

Chain rotation of a point

Let $n$ be a positive integer number and $P$ be a point in a plane. Let $A_1$, $A_2$, $\cdots$, $A_m$ be $m$ points in the plane, we take modulo $m$ for $A_j$ (it is mean $A_{m+i}=A_{i}$ for $i=1, 2, \...
6
votes
1answer
168 views

Discrete approximations of Riemannian manifolds

MSE crosspost It's known (due to Perelman) that in class of Alexandrov spaces of fixed dimension and bounded from below curvature Gromov-Hausdorff distance separates homeomorphism types — every $\...
0
votes
0answers
120 views

Integral subspace generated by a positive semidefinite matrix

Take $\Sigma $ a real positive semidefinite matrix. Define $P$ to be the smallest projection with the property that for any $\mathbf{a}\in \mathbb{Z}^n$ with $\mathbf{a}^\dagger (I-P)^\dagger \Sigma (...
7
votes
0answers
194 views

Tiling with incommensurate triangles

Say that two triangles are incommensurate if they do not share an edge length or a vertex angle, and their areas differ. Suppose you'd like to tile the plane with pairwise incommensurate triangles. I ...
7
votes
2answers
241 views

Non-separable metric probability space

Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if: the support of $\mu$ is contained in a separable subspace of $X$. Questions: 1. Is there a standard name for this property? ...
3
votes
2answers
78 views

Maximizing minimal distance between consecutive brushstrokes when painting a checkerboard torus

Suppose you have a 2-torus and you want to paint an $m\times n$ checkerboard pattern on it. Every brushstroke could paint a single square. How does one maximize the minimal distance between ...
5
votes
1answer
195 views

Is the action of $SO(n)$ on the sphere $S^{n-1}$ ballanced?

A subset $B$ of a group $G$ is called balanced if $gBg^{-1}=B$ for all $g\in G$. An action of a group $G$ on a metric space $X$ is called ballanced if for each non-empty balanced subset $B\subset G$ ...
0
votes
1answer
63 views

Hausdorff convergence of submanifolds in $\mathbb{S}^m$

Let $\{X_i^n\}_{i\in \mathbb{N}}$ and $\{Y_i^n\}_{i\in \mathbb{N}}$ be sequences of connected closed submanifolds of $\mathbb{S}^{n+2}$, with $n> 5$. Suppose that $\{X_i^n\}_{i\in \mathbb{N}}$ (...