Stack Exchange Network

Stack Exchange network consists of 174 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.

-4
votes
0answers
48 views

Euclidean Geometry [on hold]

In Euclidean Geometry we can create a square with side length of $\sqrt2$. as we know, $\sqrt2$ is a number which has no end. so it is physically impossible to have a square with this length in the ...
3
votes
2answers
77 views

Reference request: $\alpha$-Hölder spaces as double duals

If $(X,d)$ is a complete metric space, we define the $\alpha$-Hölder class $\Lambda_\alpha(X)$ as the subset of $C_b(X)$ satisfying that $$ \sup_{x \neq y} \frac{|f(x) - f(y)|}{|x - y|^\alpha}. $$ ...
2
votes
1answer
44 views

parametrize triangles meeting certain conditions

Consider triangles with angles alpha, beta, gamma such that gamma = 2 alpha, and sides (a,b,c) are integers. I want to parametrize such triangles by a single integer or rational variable.
1
vote
0answers
33 views

Homeomorphism type of the horofunction boundary for nilpotent Lie groups

Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form $$\beta_y(x)=d(x,y)-d(w,y).$$ The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...
6
votes
1answer
135 views

Geometry of complements to compacts of codimension 2

Let $K\subset \mathbb{R}^n$ be a (nonempty) compact of covering dimension $\le n-2$. In particular, $K$ does not separate $\mathbb{R}^n$ (even locally). I will equip $M=\mathbb{R}^n-K$ with the ...
3
votes
1answer
80 views

Suppose that a metric space allows David–Semmes regular map to some Euclidean space. Does it allow bi-Lipschitz embedding into some Euclidean space?

I want to ask about the progress on Question 8 from "Thirty-three yes or no questions about mappings, measures, and metrics" by Juha Heinonen and Stephen Semmes. Is it still open? If yes, was some ...
1
vote
1answer
72 views

Non-homeomorphic computable metric spaces whose computable points are computably homeomorphic

This is a follow-up of sorts to an earlier question on mine in that it should be easier to construct a positive example of this, if it exists. To be clear about definitions, a computable metric space ...
5
votes
2answers
191 views

Convexity in co-ordinate charts of geodesic balls

Let $g_{ij}$ be a Riemannian metric tensor on an open subset $U\subseteq \mathbb{R}^n$, and let $p\in U$. I would guess the following is true: for $\epsilon$ sufficiently small, the $g$-geodesic ...
3
votes
0answers
29 views

Extremal metric for image of a curve family

Let $U\subset \mathbb{C}$ be a domain and $\Gamma$ some family of curves in $U$ with $\textrm{mod}(\Gamma)<\infty$ and such that $\rho$ is an extremal metric for the modulus. Suppose we are given a ...
9
votes
0answers
182 views

Planar arc on a topologically embedded sphere or disk in $\mathbb{R}^3$

An arc is a set homeomorphic to the unit interval $[0,1]$; an arc in $\mathbb{R}^3$ is planar if it is contained in some plane. The following questions are motivated by Anton Petrunin's Disc bounded ...
18
votes
2answers
653 views

Simple connectedness under a metric undistortion condition: on a tricky point in an argument of Gromov

The context I have been reading Gromov's Metric Structures..., and came upon result 1.14.(a), page 11, which states the following. Let $K\subset\mathbb R^d$ be a compact subset, and $d_\ell$ its ...
1
vote
0answers
33 views

Explicit Quasisymmetric embedding into Euclidean space

It is known that every doubling metric space admits quasisymmetric map into Euclidean space. My question is, is there a known explicit (closed-form) quasisymmetry from the Heisenberg group into a ...
1
vote
2answers
120 views

Is a vertex- and edge-transitive polytope already a uniform polytope?

I want to consider (convex) polytopes $P=\mathrm{conv}\{p_1,...,p_n\}\subset\Bbb R^d$ which are both, vertex- and edge-transitive (or maybe stronger: 1-flag-transitive). Question: Is every such ...
11
votes
1answer
369 views

How to construct a nice homotopy?

Let $(M,g)$ be a closed simply-connected Riemannian manifold. Can we find a constant $C$, which depends on $M$, such that for any closed curve $\alpha_0$ with $L(\alpha_0) \le 1$, there exists a ...
5
votes
0answers
82 views

Is there any work in topological data analysis on something like “Voronoi complexes”?

Given a finite set $X \subset \mathbb{R}^n$, we can of course construct the corresponding Čech or Vietoris-Rips filtration. At each level of this filtration the scale parameter is fixed and unrelated ...
2
votes
0answers
20 views

Lower bound to $\epsilon$-expansion of a subset of a half-sphere

Below are two known lemmas on a $d$-dimensional sphere (related to the isoperimetric inequality). I would like to know: does a similar statement like this holds for a $d$-dimensional dome also (i.e. ...
3
votes
1answer
134 views

Metric Measure Space: A Basic Question

I understand the basic definition of a metric measure space to be the following: A metric measure space is a triple of a space $X$, metric $d$, and measure $m$: $(X,d,m)$ in the sense that the ...
0
votes
1answer
78 views

Can all countable $CAT(0)$ cube complexes be isometrically embedded in $l^1(\mathbb{N},\mathbb{R})$?

In this paper (theorem 2), Chepoi & Hagen say There exists an infinite $CAT(0)$ cube complex $X$ with constant maximum degree which cannot be isometrically embedded into a Cartesian product of ...
5
votes
1answer
76 views

Algorithm for MaxMin diversity problem on hypercube?

The Maximum Minimum Diversity Problem (MMDP) can be roughly stated as follows: Let $S$ be a set of points, $k \in \mathbb{N}$. Find the $k$-element subset $M$ of $S$ such that the minimal distance $...
3
votes
0answers
67 views

What kind of set is this, spanned by two positive definite matrices?

Let $A$ and $B$ be Hermitian positive definite $n\times n$ matrices over $\mathbb C$ or $\mathbb R$. Then for real $k,\ell,$ the matrix $A^kB^\ell A^k$ is well-defined and again Hermitian positive ...
1
vote
0answers
31 views

Sum of squared nearest-neighbor distances between points on the sides of a rectangle

For positive real numbers $a,b$, let $R$ denote the $a\times b$ rectangle $[0,a]\times[0,b]$. Let $A_1,\dots,A_4$ be points on the sides of $R$, one point on each side. For each $j=1,\dots,4$, let $...
20
votes
1answer
349 views

Is the metric completion of a Riemannian manifold always a geodesic space?

A length space is a metric space $X$, where the distance between two points is the infimum of the lengths of curves joining them. The length of a curve $c: [0,1] \rightarrow X$ is the sup of $$ d(c(0),...
10
votes
2answers
211 views

Sum of squared nearest-neighbor distances between points in a square

Let $\square_2=\{(x,y): 0\leq x, y\leq1\}$ be the unit square in $\mathbb{R}^2$. Take $n>1$ points $P_1, \dots, P_n\in\square_2$. Denote the distances $d_j=\min\{\Vert P_k-P_j\Vert: k\neq j\}$, ...
21
votes
15answers
3k views

Geodesics on the sphere

In a few days I will be giving a talk to (smart) high-school students on a topic which includes a brief overview on the notions of curvature and of gedesic lines. As an example, I will discuss flight ...
2
votes
0answers
83 views

The typical amount of lattice points in a set as dimension goes off to infinity

I have encountered a geometry-of-numbers-type problem when calculating an entropy in a lattice communications scheme: $L^{(n)}$ is a lattice uniform over all those in $\mathbb{R}^n$ with base ...
3
votes
0answers
121 views

Can bellows make loops?

Can flexible polyhedron (hyperbolic or euclidean) have non-simply connected configuration space not containing singular polyhedra?
4
votes
1answer
107 views

non-proper parabolic isometries of hyperbolic spaces

In his seminal paper on hyperbolic groups (see Section 8.1) Gromov defines an isometry $f$ of a hyperbolic space $X$ to be parabolic if the orbit of any point $x\in X$ under the action of $\langle f\...
9
votes
1answer
282 views

Packing regular tetrahedra of edge length 1 with a vertex at the origin in a unit sphere

Consider the following problem: How many regular tetrahedra of edge length 1 can be packed inside a unit sphere with each one has a vertex located at the origin? The answer is at least 20, forming ...
5
votes
1answer
122 views

Quantitative upper bound on mean curvature of an isometric embedding

By Nash embedding theorem, any complete Riemannian manifold $M$ can be isometrically embedded in $\mathbb{R}^N$, for sufficiently large $N$. The proof of the theorem is quite involved, and it is not ...
3
votes
2answers
158 views

How can the visible surface area of a box at any angle be found? [closed]

If a box with dimensions x, y, and z exists, an xyz axis is set with a camera having no rotation relative to it, and this box is rotated angle_x degrees, angle_y degrees, and angle_z degrees relative ...
4
votes
0answers
84 views

How to think about dual space of a certain space of Lipschitz functions

Consider the following Banach space (for concreteness): $$X=Lip(\bar{\mathbb{B}}^n)=\{f\in C^0(\bar{\mathbb{B}}^n): \Vert f \Vert_L<\infty \}$$ where $$ \bar{\mathbb{B}}^n=\{\mathbf{x}\in \mathbb{...
5
votes
1answer
255 views

Functions that map open balls to open balls of different radius?

For $n \geq 2$ we say a continuous function $f: \mathbb R^n \to \mathbb R^n$ such that the image of any bounded open ball is a bounded open ball of different radius is a balloon function. ...
5
votes
3answers
190 views

Origin of term Ahlfors-David regular

Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...
4
votes
1answer
305 views

Spreading $n$ points in $\{0,1\}^n$ as far as possible

Given a positive integer $n$, the Hamming distance $d^H_n(x,y)$ of $x,y\in \{0,1\}^n$ is defined by $$d^H_n(x,y) = |\{k\in\{0,\ldots,n-1\}: x(k)\neq y(k)\}|.$$ We say that a positive integer $s$ is $...
4
votes
1answer
165 views

Flat norm metrizes the weak* topology

I've come across the following statement in literature (without proof or reference) about the flat norm of currents $$ F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...
27
votes
3answers
660 views

What is the structure preserved by strong equivalence of metrics?

Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...
6
votes
0answers
89 views

Adjoint of the Hodge de Rham star operator under the integral pairing

Given a Riemannian manifold $(M, g)$ of dimension $n$, the Hodge star operator $\star: \Omega^k(M) \to \Omega^{n-k}(M)$ is defined. What is the (formal) adjoint of $\star$ under the integration ...
15
votes
2answers
1k views

Integrating over a hypercube, not a hypersphere

Denote $\square_m=\{\pmb{x}=(x_1,\dots,x_m)\in\mathbb{R}^m: 0\leq x_i\leq1,\,\,\forall i\}$ be an $m$-dimensional cube. It is all too familiar that $\int_{\square_1}\frac{dx}{1+x^2}=\frac{\pi}4$. ...
1
vote
0answers
94 views

Some Problems On Apollonian Gasket

Since 2013, I found Some problems on Apollonian Gasket as following. These problem also is higher level of Eppstein Point. I am looking for a proof of one of these problems: Let three $(A)$, $(B)$, $(...
1
vote
1answer
104 views

Growth rate of bounded Lipschitz functions on compact finite-dimensional space

Let $\mathcal X$ be a metric space of diameter $D$ and "dimension" (e.g doubling dimension) $d$. Let $L \in [0, \infty]$ and $M \in [0, \infty)$ and consider the class $\mathcal H_{M,L}$ of $L$-...
2
votes
0answers
128 views

A problem of four conics

I found a remarkable theorem of four conics as follows some years ago. But it has no proof; I am looking for a proof: Theorem: Take three conics. Suppose that each of them touch a fourth conic at two ...
11
votes
3answers
276 views

Mean maximum distance for N random points on a unit square

Following up on Mean minimum distance for N random points on a one-dimensional line and Mean minimum distance for N random points on a unit square (plane), I have the following questions. Given N ...
4
votes
1answer
85 views

Conformally flat homogeneous spaces

Let's say we have a homogeneous space $H\backslash G$. Is it possible to tell whether this homogeneous space admits a conformally flat metric just from its group structure? I am particularly ...
5
votes
1answer
110 views

Is a symmetric, parallel (0,2)-tensor a metric?

I'm interested in affinely connected spaces, on which a metric is not necessarily defined, i.e. $(\mathcal{M},\Gamma)$. Since (as a physicist) my goal is to consider a generalized model of gravity, I ...
1
vote
1answer
73 views

How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter?

How do I find the correct distance spacing for distributing equidistant points on a sphere of a given diameter? I don't need to fill the sphere with equidistant points. I just need less than a ...
4
votes
0answers
85 views

Optimal placement of points on sphere to minimize size of projections

While studying some physical problem we stumbled across a geometrical problem, to which we could not find any solution. Consider a unit sphere in 3D and a collection of $N$ points on its surface. Now ...
3
votes
0answers
76 views

Reference of generalized isometries

I'm wondering if these objects have a name or are studied. No one around me knows, so I thought to ask here. Let $\Phi:\mathbb{R}^d\rightarrow \mathbb{R}^d$ be $C^2$-diffeomoprhism, and fix $p \geq ...
5
votes
0answers
123 views

Does $G$ act 2-transitively on its Bruhat-Tits building?

Let $k$ be a finite extension of $\mathbb{Q}_p$ and let $G$ be a semisimple Lie group over $k$. We consider the action of $G$ on its Bruhat-Tits building $X$. Question: If $x,y,x',y'$ are vertices, ...
1
vote
1answer
80 views

A question on a special “metric”

Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
6
votes
2answers
269 views

What is the geometric meaning of one Riemannian metric bigger than the other one on a smooth manifold?

Gromov conjectured in 1985 and LLarull proved in 1998 that: If $g > g_0$ on the sphere, then there exists some point p on the sphere with $Sc(p) < Sc_0(p)$. Here $g, g_0$ are Riemannian metrics ...