Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,403 questions
7
votes
0
answers
165
views
Lonely globe trotters
In analogy with the lonely runners conjecture,
imagine "globe trotters" each traveling on a longitudinal great circle at different
(constant, positive) speeds. Each "trotter" ...
- 151k
18
votes
3
answers
627
views
Construction of an optimal electron cage
I will describe the question first in 2D, but my interest is in $\mathbb{R}^3$.
An electron $x$ will shoot from the origin along an initial vector $v$. You know the speed $|v|$ but not the direction.
...
- 221
1
vote
0
answers
69
views
Newton-Kantorovich: theorem geometric
This post is cross-posted from Math StackExchange where I did not receive any response after 5 days. I guess this question might be targeted more towards research level mathematics, so I decided that ...
- 11
6
votes
0
answers
274
views
An inequality in cyclic polygon and tangential polygon
I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following:
Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let $P$ ...
- 1,776
4
votes
1
answer
182
views
Electrifications of quasi-geodesics in relatively hyperbolic groups
This post is somewhat of a followup to my previous post here. $\DeclareMathOperator\Cay{Cay}$Suppose $G$ is a relatively hyperbolic group with peripheral subgroups $P_1,P_2,\dots, P_n$, and suppose $\...
- 2,090
4
votes
3
answers
376
views
Proof that lifts of geodesics are quasi-geodesics (relatively hyperbolic groups)
$\DeclareMathOperator\Cay{Cay}$Suppose $G$ is a relatively hyperbolic group with peripheral subgroups $P_1,P_2,\dots, P_n$, and suppose $\mathcal{S}$ is a finite generating set for $G$. Let $X=\Cay(G,\...
- 2,090
7
votes
4
answers
2k
views
Do cotangent bundles have "bounded geometry"?
I have often heard the phrase "a manifold $M$ has bounded geometry" thrown around without ever seeing a precise definition of what this means. Apparent examples are compact manifolds and $\mathbb{R}^n$...
- 356
38
votes
10
answers
6k
views
Why is the Laplacian ubiquitous?
The title says it all.
I'm wondering why the Laplacian appears everywhere, e.g. number theory, Riemannian geometry, quantum mechanics, and representation theory. And people seems to care about their ...
- 494
6
votes
2
answers
540
views
Bound on the number of unit vectors with the same pairwise inner products
I want to know the bound on the number of unit vectors $v_i$ in $\mathbb{R}^n$ such that $\langle v_i, v_j\rangle=c$ for all $i\ne j$. I know this can be upper bounded by the number of equiangular ...
- 128k
11
votes
4
answers
6k
views
Place of Analytic geometry in modern undergraduate curriculum
I am a freshmen student in mathematics at Moscow State University (in Russia) and I'm confused with placing the subject called "analytic geometry" into the system of mathematical knowledge (if you ...
CommunityBot
- 1
2
votes
1
answer
246
views
Ramsey type property of the Lipschitz constant
The following problem was proposed by Pietro Majer as an extension of an earlier question of mine on Lipschitz functions.
For $f$ a Lipschitz function on $\mathbb R^n$, we denote by
$$\text{Lip}(f, U) ...
- 60.5k
20
votes
5
answers
3k
views
Finding Constant Curvature Metrics on Surfaces without full power of Uniformization
(I rewrote this question, hopefully it's more clear now. It's still the same question, but I reordered its parts.)
Let S be a surface (possibly non-compact, but no boundary). It seems that there are ...
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,367
2
votes
1
answer
95
views
Specific distance between sets of points
Let us have closed curve without self-intersections,
initial point $O$ and curve parameter $t$, $0 \leq t \leq t_{\max}$ so $t(O) = 0 = t_{\max}$.
There are two sets of points on the curve, which are ...
- 512
6
votes
1
answer
200
views
Are finitely generated subgroups of $\text{GL}_n(\mathbb{Q})$ virtually special?
This might be a silly question--but are there any examples of finitely generated subgroups of $\text{GL}_n(\mathbb{Q})$ that are known to not be virtually special?
- 3,740
3
votes
0
answers
147
views
Understanding why $\frac{\phi^5}{2}$ solves this 3D optimization problem, where $\phi$ is the golden ratio
I would like to understand the deep meaning of a solution which arises from an optimization problem discussed in a paper of mine since it can be simply stated as $\frac{\phi^5}{2}$, where $\phi := \...
- 63.9k
6
votes
2
answers
349
views
Mutual metric projection
Given a subset $S\subseteq \mathbb{R}^n$, the metric projection associated with $S$ is a function that maps each point $x\in \mathbb{R}^n$ to the set of nearest elements in $S$, that is $p_S(x) = \arg ...
- 2,830
9
votes
2
answers
471
views
Proving the inequality involving Hausdorff distance and Wasserstein infinity distance
Prove the inequality
$$d_{H}(\mathrm{spt}(\mu),\mathrm{spt}(\nu))\leq W_{\infty}(\mu,\nu)$$
where $d_H$ denotes the Hausdorff distance between the supports of the measures $\mu$ and $\nu$, and $W_\...
- 4,713
7
votes
2
answers
805
views
Continuing generalization of the Simson line
In 2014, I found a nice result in plane geometry, the result is a generalization of the Simson line theorem, and there are nine proofs for this result were published in [1]-[7]. Continuing, I find a ...
- 61
4
votes
0
answers
83
views
Additive characters from coarse quotient maps
Let's consider a (finitely generated) group $\Gamma$ and a
coarse quotient map
$q\colon\Gamma\to\mathbb{R}$.
I'm interested in the 1-cocycle
$\sigma\colon\Gamma\to\ell_\infty\Gamma$,
defined by $\...
- 63.9k
1
vote
1
answer
102
views
Proving non-existence of non-frictional CVTs?
This is a bit of a weird question because the problem is more about how you could even go about formalizing a hypothesis more than how to prove it — but it seemed like a fun idea and I figured someone ...
- 3,029
2
votes
1
answer
81
views
Rate of convergence of random samples wrt Hausdorff distance
Let $X$ be a compact metric space with a probability measure $\mu$. We can draw random samples $X_n = \{x_1,\cdots, x_n\}$ from $X$ using $\mu$, and I am interested in the rate of convergence of $X_n$ ...
- 171
9
votes
0
answers
205
views
Placing triangles around a central triangle: Optimal Strategy?
This question has gone for a while without an answer on MSE (despite a bounty that came and went) so I am now cross-posting it here, on MO, in the hope that someone may have an idea about how to ...
- 7,831
8
votes
4
answers
927
views
What are the $\inf$ and $\sup$ of the area of quadrilateral given its sides length?
I asked this question on MSE here.
Given a quadrilateral with side lengths $a,b,c$ and $d$ (listed in order around the perimeter), t's known that the area, is always less than or equal to $\frac{(a+...
- 541
3
votes
1
answer
285
views
Name this kimberling center
The lines which connect the vertices of a triangle with the tangent points between the Spieker circle and the medial triangle are concurrent. Which kimberling center does this point correspond to?
- 4,713
5
votes
1
answer
483
views
Can you always extend an isometry of a subset of a Hilbert Space to the whole space?
I remember that I read somewhere that the following theorem is true:
Let $A\subseteq H$ be a subset of a real Hilbert space $H$ and let $f : A \to A$ be a distance-preserving bijection, i.e. a ...
- 63.9k
6
votes
1
answer
880
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, the Ptolemy's theorem and the Feuerbach-Luchterhand. Since ...
- 1,776
14
votes
1
answer
642
views
Which convex bodies can be captured in a knot?
Which convex bodies can be captured in a knot?
This question is based on the discussion in "Is it possible to capture a sphere in a knot?".
We assume that the knot is made from an ...
- 45k
2
votes
0
answers
63
views
Convex planar regions such that every boundary point has a 'fair bisector' passing thru it
We add a little to On 'fair bisectors' of planar convex regions and A claim on the concurrency of area bisectors of planar convex regions .
A fair bisector of a planar convex region is a line ...
- 3,068
28
votes
6
answers
12k
views
Almost orthogonal vectors
This is to do with high dimensional geometry, which I'm always useless with. Suppose we have some large integer $n$ and some small $\epsilon>0$. Working in the unit sphere of $\mathbb R^n$ or $\...
- 4,713
2
votes
0
answers
86
views
Exhaustion function with uniform controls of level sets on universal covers of compact manifolds
recently I encountered the following problem in my research. Roughly speaking, it asks if, on the universal covers of a closed Riemannian manifold, one can find exhaustion functions with uniformly ...
- 587
2
votes
0
answers
100
views
Distributions of random walks on boundaries of balls in hyperbolic metric spaces
Suppose $G$ is a finitely-generated non-elementary hyperbolic group and consider a symmetric random walk on the Cayley graph $\text{Cay}(G,S)$ with generating set $S$. Denote the set of points $B_{\...
- 21
1
vote
0
answers
67
views
Conjecture on the increasing efficiency of the shortest minimum-link polygonal chains covering any grids of the form $\{0,1,2\}^k$ as $k$ grows
From the well-known Nine dots problem, we know that we need a polygonal chain with at least $4$ edges to connect the $9$ points of the planar grid $G_{3,2}:=\{\{0, 1, 2\} \times \{0, 1, 2\}\} \subset \...
- 1,451
23
votes
3
answers
1k
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 ...
- 45k
4
votes
1
answer
1k
views
Length spaces with continuous length functional: is this set Gromov-Hausdorff closed?
As far as I can tell, a major motivation for the study of length spaces is that they arise as Gromov-Hausdorff limits of Riemannian manifolds. Specifically,
A complete connected Riemannian manifold ...
- 1,446
2
votes
1
answer
237
views
Geometric interpretation of trace of a linear operator
This question is really an addendum to Geometric interpretation of trace
There is a nice account of the trace in Chris Doran's thesis here: http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/...
- 118k
1
vote
0
answers
114
views
A circle is inscribed in a triangle, with three other circles in the corner regions. The radii are integers. Possible values of the largest radius?
Originally posted at MSE.
A circle with integer radius $R$ is inscribed in a triangle. Three other circles with integer radii $a,b,c$ are each tangent to the large circle and two sides of the ...
- 3,527
4
votes
2
answers
299
views
Is there a set of point $S \subset \mathbb R^2$ such that $|\{C: C \text{ is unit circle boundary }, |C \cap S| = 10\}| > |S|$
There are some blue points and red points on the plane such that in the boundary of every unit circle centered at one blue point there are exactly 10 red point. Can the number of blue points strictly ...
6
votes
2
answers
207
views
Volume satisfying inequality constraints (simplex subset)
Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints?
$x_1+x_2+...+x_n = 1$
$a_1 \le x_1 \le b_1$
$a_2 \le x_2 \le b_2$
$...$
$a_n \le ...
- 111
124
votes
37
answers
12k
views
One-step problems in geometry
I'm collecting advanced exercises in geometry. Ideally, each exercise should be solved by one trick and this trick should be useful elsewhere (say it gives an essential idea in some theory).
If you ...
- 2,152
0
votes
0
answers
82
views
On 'Bisecting sections' of 3D convex bodies
Following shadows and planar sections, we ask about bisecting sections. This post also continues Convex planar regions with all area bisectors having equal length and A claim on the concurrency of ...
- 5,979
3
votes
0
answers
208
views
Reference request: Carathéodory-type theorem for convex hulls of closed sets
I'm looking for a reference for the following theorem.
Theorem Let $X$ be a closed subset of $\mathbb{R}^N$, and let $a$ be a point of its convex hull $\operatorname{conv}(X)$. Then there exist ...
- 27.7k
3
votes
2
answers
279
views
Construct by compactness (Pentagonal tiling – Rao paper)
In the (arXiv) paper, Exhaustive search of convex pentagons which tile the plane by Michael Rao, on page 4 under the proof of Lemma 2, it is said that:
"… We keep a connected component $H_d'$ of $...
- 1,341
9
votes
2
answers
658
views
Probability that randomly chosen balls have a nonempty common intersection
Fix some $0 < r < 1$. A collection of points $x_1, \dots, x_n$ are chosen independently and uniformly at random from the closed unit ball in $\mathbb R^d$.
What is the probability that the ...
- 13
7
votes
1
answer
498
views
Is there a bicyclic irregular pentagon in integers?
Is there a bicyclic irregular pentagon in integers, i.e. is there a pentagon, the length of each side is integer and unique such that it has a circumcircle and an inner circle as well?
If it does ...
- 2,370
12
votes
1
answer
373
views
A claim on partitioning a convex planar region into congruent pieces
Let us define a perfect congruent partition of a planar region $R$ as a partition of it with no portion left over into some finite number n of pieces that are all mutually congruent (ie any piece can ...
- 4,713
8
votes
1
answer
4k
views
Covering number of Lipschitz functions
What do we know about the covering number of $L$-Lipschitz functions mapping say, $\mathbb{R}^n \rightarrow \mathbb{R}$ for some $L >0$?
Only 2 results I have found so far are,
That the $\infty$-...
- 1
4
votes
2
answers
1k
views
Polyline averaging
I'm trying to find a method that can take a collection of polylines, each described by a list of connected points on a plane, and find an "average" path through them. The input lines do not loop.
...
- 1
6
votes
3
answers
2k
views
Constructing a metric over a lattice
Consider a lattice $({\cal L}, \wedge, \vee)$ with an antimonotonic function $f: {\cal L} \rightarrow {\mathbb R}$ defined on it (i.e $x \preceq y \implies f(x) \ge f(y)$).
$f$ is said to be ...
- 4,219
9
votes
1
answer
281
views
Is every compact smooth Riemannian manifold bilipschitz equivalent to a finite simplicial complex?
Let $M$ be a compact smooth Riemannian manifold. Then it admits a triangulation, i.e. a finite simplicial complex $K$ which is homeomorphic to $M$. Any such simplicial complex carries a natural metric ...
- 45k