Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,403 questions
1
vote
0
answers
143
views
A topological property of curves on the plane $\mathbb{R}^2$
Let $\gamma\colon [0,1]\to \mathbb{R}^2$ be a continuous injective map.
Is it true that for any inner point $t\in (0,1)$ there exist an open neighborhood $U$ of $\gamma(t)$ and a homeomorphism $f\...
- 21.8k
1
vote
0
answers
84
views
Trapping lightrays under nonstandard reflections and/or paths
Almost every version of trapping lightrays with mirrors is either resolved---usually negatively---or open:
"It is unknown whether one can construct a polygonal trap for a parallel beam of light": ...
- 151k
1
vote
0
answers
168
views
Gaussian-weighted area of triangle
I'm trying to find how to generalise the calculation of the Gaussian-weighted area to triangles for convolution purposes. Let's start with how that works when there's only one line. If there's a line ...
- 111
1
vote
0
answers
171
views
Minimum volume of intersection between two high-dim $\ell^1$-balls
Let $B_1$ and $B_2$ be two balls with the same radius, in $\mathbb R^n$ with the $\ell^1$ norm. The distance between the centers of $B_1$ and $B_2$ is $d(B_1, B_2)$. Is there any deterministic method ...
- 11
1
vote
0
answers
43
views
Non-collapsed Alexandrov spaces, level surface of regular map homeo to its lifting?
Let $X_i$ be n dimensional, no boundary Alexandrov spaces with curvature $\geqslant -1$ and diameter $\leqslant D$. Suppose that $X_i$ converge to an n dimensional Alexandrov space $X$. Then by ...
1
vote
0
answers
342
views
What is the meaning of Conjugate radius and Injectivity radius?
I review the text book of differential geometry and I find that the conjugate radius and injectivity radius are still enigmatic for me. Here is a quetion which I confuse it. I don't think it is true, ...
- 1,799
1
vote
1
answer
239
views
Probability of two Points being divided by an high-Dimensional Hyperplane
I have two points $x_1,x_2 \in \mathbb S^n $ which are distant $d$ from each other, where $d<<1$.
I also have a vector $v$ sampled uniformly at random from $\mathbb S^n$.
What is the ...
- 899
1
vote
0
answers
59
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 ...
- 5,405
1
vote
0
answers
59
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 $...
- 128k
1
vote
0
answers
202
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,776
1
vote
1
answer
95
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 \...
- 113
1
vote
0
answers
96
views
Some hypersurface has a positive second fundamental form potentially
Notation : $r^2=x^2+y^2$.
Exercise : Define $$F_\sigma (x,y)= (f_\sigma
(x,y),\frac{x^2-y^2}{2},xy)$$ where $$f_\sigma (x,y)=(1- \sigma^2
r^2)(x-\sigma x^3,y-\sigma y^3)$$
Define $ G_\sigma: \mathbb{...
- 1,100
1
vote
0
answers
922
views
On a Riemannian manifold, calculate the metric from the distance [closed]
Given a Riemannian manifold $(M,g)$ is it possible to calculate the distance between two points on this manifold. Is it possible the inverse? That means: given a formula of the distance, for example:
...
- 399
1
vote
0
answers
69
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 ...
- 13.6k
1
vote
0
answers
82
views
Coplanar set in metric space
Let $(\Bbb M,d)$ be a metric space.
Give three points $X,$ $Y,$ $Z$ in $\Bbb M$ such that they satify one of the following conditions
$i)\ d(X,Y)+d(Y,Z)=d(X,Z),$
$ii)\ d(Y,Z)+d(Z,X)=d(Y,X),$
$iii)\...
- 705
1
vote
0
answers
229
views
Distance between quadric surface and point or Intersection of sphere and quadric surface
I asked a similar question on math.stackexchange, but the answer wasn't quite ideal for my application. Apparently analytic solutions are surprisingly rare for general quadric distances.
Given a ...
- 11
1
vote
0
answers
51
views
In 3D point groups, does $[\Gamma_{e}\otimes\Gamma_e] = \Gamma_{Rot_z} \forall$ degenerate $\Gamma_e$ hold in general?
In the following I am referring to groups exclusively describing 3D point symmetries. I use the Schönflies notation for groups and their elements and the Mulliken symbols to describe their irreducible ...
1
vote
0
answers
69
views
Integral of the square of the areas of slices of a shape
Suppose $\omega$ is a bounded shape in $\Bbb{R}^3$ and that $\{z : (x,y,z) \in \omega \}=[0,T]$ (that is, the shape is exactly contained in the band $\{z \in [0,T]\}$. If we denote by $\omega_t = \{(x,...
- 2,222
1
vote
0
answers
125
views
Is it possible to dissect a regular polygon into mirrored-symmetric pieces?
Q1. Planar regular triangle is dissected into three congruent pieces, each of them having no symmetry axis.
Can it be so, that one of these pieces is a mirrored (and then rotated) copy of some other ...
1
vote
0
answers
196
views
Squares as sum of squares
For which positive integers n is $n^2$ the sum of precisely n smaller positive squares?
Of these n x n squares, which can be actually cut into n smaller squares?
- 3,707
1
vote
0
answers
48
views
Supremum norm of certain quantity II
Can anyone solve the maximization problem...$\max_{|z_i|=1}\Big|\sum_{i,j=1}^nz_iz_j+\sum_{i,j=1}^n|z_i-z_j|\Big|$?
- 455
1
vote
0
answers
43
views
Quantitative error control in Minkowski-Stein formula
Let $K\subseteq\mathbb R^d$ be a compact convex body with non-empty interior, and $E$ be a $(d-1)$-dimensional linear subspace of $\mathbb R^d$. Let $\theta\in\mathbb R^d$ be the unit vector such that ...
- 373
1
vote
0
answers
101
views
Pointwise convergence in Lawvere metric spaces
In the formalism of Lawvere metric spaces, we have that the distance in the hom-space $[X,Y]$ is given by:
$$
d(f,g) = \sup_{x\in X} d(f(x),g(x)) .
$$
Therefore, a sequence of functions $f_n:X\to Y$ ...
- 2,129
1
vote
0
answers
56
views
Distance from a hyperplane (determined by the cut of a convex cone with the unit sphere) to the origin
The setting is a convex cone $C$ in $\mathbb{R}^d$ with the property that if you cut it with $S^d$ the volume of the cut is greater than or equal to $\operatorname{Vol}(S^d)/d+1$. That is, the volume ...
1
vote
0
answers
34
views
Find a third circles that crosses two other circles at an angle [closed]
Given two circles at positions $P_0$ and $P_1$ of radius $R_0$ and $R_1$, respectively, is it possible to find the position $P$ and radius $R$ of a third circle that intersects a point $P_2$ and ...
- 11
1
vote
0
answers
28
views
Finding most Representative Sample in "Pair Statistics"
By "Pair Statistics" I understand statics that are based on values $\varphi:\mathcal{P}\times\mathcal{P}\ni(p,q)\mapsto y\in\mathbb{R}$ that can be observed for every pair $(p,q)$ of individuals of a ...
- 13.2k
1
vote
0
answers
162
views
Gromov-Hausdorff relative compactness without curvature restrictions
A famous theorem of Gromov says that the set of compact Riemannian manifolds with $Ric \geq c$ and $\text{diam} \leq D$ is relatively compact in the Gromov-Hausdorff metric. Chapter 10 of the book by ...
- 1,407
1
vote
0
answers
118
views
Expected Area of Randomly Made Triangle [closed]
Say we have a piece of length one, and then we draw twice from a bin of sticks in which there are an infinite amount of sticks with lengths evenly distributed on $[0,1]$. In cases where a triangle can ...
- 133
1
vote
0
answers
178
views
Decomposition of conic equation for two intersecting lines [closed]
By using homogeneous coordinates ${\bf x}=[x, y, 1]^T$, a conic section can be expressed by ${\bf x}^T {\bf C} {\bf x} = 0$ with ${\bf C}$ being a 3x3 symmetric matrix. A degenerate form of the conic ...
- 11
1
vote
0
answers
79
views
Generation of randomly looking graph coordinates
Let $G$ be some connected graph. We pick randomly $k$ distinct vertices $l_1, l_2, \cdots l_k \in V(G)$. We call them the landmarks.
We define $d(u,v)$ to be the length of the shortest path between ...
- 323
1
vote
0
answers
74
views
Ahlfors regular path metric defined by a continuous plane field in $\mathbb{R}^{3}$
Suppose I have a uniformly Holder continuous plane field $H$ on $\mathbb{R}^{3}$. I will assume that this plane field $H$ has many special properties, all of which are completely unreasonable to ...
- 179
1
vote
0
answers
75
views
When does a metric space admit finite covers by Voronoi diagrams of Delone sets?
Some preliminary definitions: For a given metric space $(X,d)$ and set $A\subset X$, the Voronoi diagram of $A$ (which I'll write $V(A)$) is the collection of sets of the form $$C_a=\{x\in X|\forall b\...
- 12.5k
1
vote
0
answers
136
views
Asymptotic cone of discrete group of Heisenberg group $\mathbb{H}^3$
Note that $(\mathbb{Z}^2,d_W)$ where $d_W$ is word metric has asymptotic cone $$(\mathbb{R}^2,\| \ \|_1)=\lim_{t>0\rightarrow 0}\ t(\mathbb{Z}^2,d_W)$$
And Heisenberg group $\mathbb{H}^3$ has an ...
- 1,100
1
vote
0
answers
71
views
The invariant of a shape which determines percolation
Suppose we have a shape bounded by a simple closed curve $\gamma \subset \mathbb{C}$, with points $A,B,C,D$ in cyclic order on the curve.
If we randomly color the interior of that shape in half red ...
- 12.4k
1
vote
0
answers
138
views
Finding a metric on a topological space with prescribed isometry group
Let $X$ be a (sufficiently nice) topological space and let $\mathcal{F}$ be a group of homeomorphisms of $X$. Assume that $\mathcal{F}$ is also closed under point-wise convergence. I would like to ...
- 1,159
1
vote
0
answers
113
views
upper bound for heat kernel of Grushin operator
Let $\Omega$ be a bounded open domain in $\mathbb{R}^{n+1}$ with smooth boundary. $\Omega\cap\{(0,\cdots,0,y)\in\mathbb{R}^{n+1}| y\in \mathbb{R}\}\neq \varnothing$
Consider the sub-elliptic operator
...
- 287
1
vote
0
answers
124
views
asymptotic behavior of Lipschitz constants of sectional curvature
I'm studying the paper "Measure Concentration and the Topology of Positively-Curved Riemannian Manifolds" (https://arxiv.org/pdf/1402.4947v1.pdf) and I have some problem in understanding the proof of ...
1
vote
0
answers
97
views
A third degree surface and a touching sphere [closed]
Let consider a surface $z=1/(xy)$ and a sphere defined by $(x-1.5)^2+(y-1.5)^2+(z-1.5)^2=3/4$. The sphere touches the surface at (1,1,1). Is it possible to prove that point (1,1,1) is the only ...
- 1,550
1
vote
0
answers
82
views
Finding the infimum using a piecewise isometry
Given a finite set of unit circles in the plane such that the area of their union $U$ is $S$, what is the largest possible bound $kS$ for some constant $k$ such that there exists a subset of mutually ...
- 201
1
vote
0
answers
81
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 ...
- 11
1
vote
0
answers
145
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 ...
- 319
1
vote
0
answers
88
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 ...
- 1,452
1
vote
0
answers
55
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,\...
- 109
1
vote
0
answers
79
views
Completely incongruent box partitions
Let $B$ be a rectangular box with corners in $\mathbb{Z}^d$
and sides parallel to the axes.
A completely incongruent partition of $B$ is a partition into
$d$-dimensional boxes, each of whose integer ...
- 151k
1
vote
0
answers
79
views
Lipschitzian extension of mapping between Alexandrov spaces
Let $X$ be an $n-$dim (compact, if needed) Alexandrov space with curvature $\geq -k$, with $k\geq0$, and let $Y$ be an Alexandrov space with curvature $\leq0$ globally. Given any bounded nonempty $E\...
- 169
1
vote
0
answers
56
views
Starlike curve tangent condition
Assume that $\gamma$ is a starlike Jordan curve in the complex plane w.r.t. 0. Let $\alpha\in (0,\pi/2]$. For each $z\in\gamma$, $z\neq x$, we let $\alpha(z,x)$
denote the acute angle which the ...
- 11
1
vote
0
answers
96
views
Shortest paths stepping on rational points of height $h$
Q. Do shortest paths walking between rational points of height $h$
ever properly cross themselves?
Explaining this question takes a bit of definitional exposition.
First, I copy definitions from ...
- 151k
1
vote
0
answers
95
views
Existence of polytope
Does there exist a polytope in dimensional d consisting of $k>d+1$ faces satisfying that every d faces intersect? I tried 3 dimensional cases, and it seems negative. But is it all negative for any ...
- 43
1
vote
0
answers
158
views
Of the standard distance metrics, which ones can/cannot be embedded in Euclidean space?
Given the discussion from:
Representability of finite metric spaces
it appears that a 1974 paper by Morgan gives the criteria for when a distance metric can be embedded in Euclidean space. My first ...
- 11
1
vote
0
answers
83
views
Thomsen Blaschke condition
I am reading a paper (Paper 1: https://ideas.repec.org/p/cwl/cwldpp/76.html, that cites another paper ( Paper 2) for its proof.
Paper 1, page 1, line 10 says : Consider the topological image G of a 2-...
- 221