Questions tagged [mg.metric-geometry]
Euclidean, hyperbolic, discrete, convex, coarse geometry, metric spaces, comparisons in Riemannian geometry, symmetric spaces.
4,405 questions
7
votes
1
answer
137
views
Dropping altitudes to achieve nonobtuse planar triangulations: finite or infinite?
Given a planar triangulation of (say) a convex region,
imagine the following process to convert it to a triangulation with
no obtuse angles:
Pick an arbitrary obtuse angle at vertex $a$ of $\triangle ...
- 151k
7
votes
2
answers
392
views
Convex deltahedra in higher dimensions
There are eight convex polyhedra whose faces are equilateral triangles, so-called
deltahedra:
(Image from here)
Q. Have the equivalent higher-dimensional ...
- 151k
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user14166
7
votes
1
answer
1k
views
Burnside's Lemma and Geometry
I think one of the most interesting results in Elementary Group Theory is the so-called "Burnside's Lemma", counting the numbers of orbits of a (finite) group action.
I wonder if there is any (...
- 1,317
7
votes
1
answer
509
views
An order statistics problem with some interesting geometry
Let $a_n$ be a given sequence of positive numbers, and $X_n$ a sequence of independent random variables with each $X_n$ uniformly distributed on $[0, a_n]$.
Question: Let $N \geq 2$ be an arbitrary ...
- 6,321
7
votes
3
answers
280
views
Minimum diameter of set inscribed in a unit sphere
For a study of the stability of certain maps taking values in a sphere I have the following question.
Let $A$ be a subset of $\mathbb{R}^n$. Suppose $A$ lies in a unit ball, but in no ball of smaller ...
- 81
7
votes
3
answers
413
views
Best source for classification of right-angled hyperbolic hexagons
A standard fact that underlies the Fenchel-Nielsen coordinates on Teichmuller space is the fact that for all triples $(a,b,c)$ of positive real numbers, there exists a unique hyperbolic hexagon whose ...
- 71
7
votes
1
answer
768
views
To minimize the Hausdorff distance between convex polygonal regions
Definition: The Hausdorff distance is the greatest of all the distances from a point in one set to the closest point in the other set.
Question: Given two convex polygonal regions P1 and P2 on the ...
- 5,979
7
votes
1
answer
1k
views
Differentiability of the distance function from a (variable) point to a (fixed) set
The distance of from a point $x$ to a set $A$ is defined by
$$ d(x,S) = \inf\{d(x,a)\mid a\in A\}, $$
where you may choose the setting to be $\mathbb R^n$,
a Banach space or a complete metric space.
...
- 8,481
7
votes
3
answers
412
views
Average caliper diameter (mean width) of a polyhedron
Define the caliper diameter of a polyhedron as follows:
Let $P_1$ and $P_2$ be two planes both of which are parallel to the x axis such that the perpendicular distance between $P_1$ and $P_2$ is the ...
- 101
7
votes
1
answer
231
views
Estimate of area of 2-dimensional surface
Let $X$ be a compact smooth 2-dimensional Riemannian manifold with boundary. Assume that the Gauss curvature of $X$ is at least $\kappa$, the diameter is at most $D$, and the second fundamental form ...
- 21.8k
7
votes
2
answers
460
views
Gaussian Surface Area of Positive Semidefinite Cone
Let $\mathbb{R}^n$ be the Euclidean space and $A \subseteq \mathbb{R}^n$ be a sufficiently regular set, e.g., one that has smooth boundary or is convex. We define the $\epsilon$-neighbor of $A$ in the ...
- 1,127
7
votes
2
answers
1k
views
A conjecture generalization of Karamata inequality
Fist I observe function $f(x)=x^2$ in the figure as following
I found that when $x_1 \ge y_1$ and $x_2 \le y_2$ $\Rightarrow$ $AB \ge CD$
$\Rightarrow$ $$\frac{f(x_1)+f(x_2)}{2}-f(\frac{x_1+x_2}...
- 1,044
7
votes
1
answer
274
views
Partitioning a convex object without harming existing convex subsets
$C$ is a convex planar figure and $C_1,\dots,C_n$ are pairwise-disjoint convex subsets of $C$, like this:
A convex-preserving partition of $C$ is a partition $C=E_1\cup\dots\cup E_N$, , such that $N\...
- 3,559
7
votes
1
answer
757
views
Length of nearest neighbor path in travel salesman problem
Given $n$ nodes uniformly distributed in $[0,1]^2$, consider the nearest neighbor algorithm to solve traveling salesman problem, i.e., each time I select the nearest neighbor not visited so far as the ...
- 367
7
votes
2
answers
191
views
Trees with a maximal convex hull: are the only optimal solutions Steiner trees?
For given $n\geqslant 3$, I'm looking for a connected set composed of $n$ equal segments in the plane such that the convex hull of it has maximal area $A(n)$. To simplify notation, we'll take $\dfrac{...
- 13.4k
7
votes
2
answers
453
views
Bound on Minimal Length of Vectors in Lattice and its Dual Lattice
Let $\Lambda$ be a lattice in $\mathbb{R}^n$ and $\Lambda^\ast$ its dual lattice. Let $d=\min_{v\in\Lambda} (v,v)$ and $d^\ast =\min_{v\in\Lambda^\ast} (v,v)$ be the minimal squared lengths of vectors ...
- 679
7
votes
2
answers
770
views
Minor theorems of Pappus and Desargues in "old school" geometry?
My question concerns the dependence relations between the minor theorem of Pappus which, following Heyting, I will denote by $P_9$, and (one of the) minor theorems of Desargues, $D_9$.
$P_9$ states ...
- 947
7
votes
2
answers
2k
views
Cutlocus and conjugate points
I am thinking about the following questions about the cutlocus of a point in a Riemannian manifold or of a hypersurface in the Euclidean space:
1) If all the points of the (nonvoid) cutlocus of a ...
- 1,309
7
votes
3
answers
805
views
Wrapping a convex polyhedron with string
This is a meta-question, rather than a specific mathematical question.
I am seeking a mathematical definition that captures the following physical idea.
Suppose you have a convex polyhedron $P \...
- 151k
7
votes
2
answers
726
views
Zeta function for curves in a manifold
Motivation
In the analogy between prime numbers and knots, the prime number is thought sometimes as the circle of length $l([p]) = \text{log}\,p$. This is so you can express the zeta function as
$$ \...
- 15.1k
7
votes
1
answer
2k
views
Why is 3 a bad constant in the Vitali covering lemma?
Hi,
recently I had to do with the Hardy-Littlewood maximal function and we used there the Vitali covering lemma with constant 5. Then, given an advice, I proved it with constant k>3. But I cannot ...
- 93
7
votes
1
answer
173
views
Plane curve with continuously increasing Hausdorff dimension
In a recent paper, we required the following fact.
Proposition 1. There exists a simple closed curve $\gamma\subset\mathbb{C}$ with the following property. If $\phi$ is a biholomorphic map, defined on ...
- 6,548
7
votes
2
answers
394
views
Partitioning convex polygons into triangles of equal area and perimeter
This post is based on https://math.stackexchange.com/questions/2822589/dissect-square-into-triangles-of-same-perimeter, On a possible variant of Monsky's theorem and Cutting convex polygons into ...
- 5,979
7
votes
1
answer
311
views
Open covering of $S^n$ by sets not containing antipodal points
Given an $n$-dimensional sphere $S^n$ and an open cover such that none of the open sets contain antipodal points, does there exist a point on $S^n$ that belongs to at least $n+1$ open sets from the ...
- 71
7
votes
1
answer
246
views
Currents in sub-Riemannian geometry
Federer and Fleming's notion of "currents" is well established so far, and starting from the seminal work of Ambrosio and Kirchheim, the notion of metric currents is well studied also. The ...
- 215
7
votes
1
answer
195
views
Does there exist a countable metric space which is Lipschitz universal for all countable metric spaces?
Is there a countable metric space $U$ such that any countable metric space is bi-Lipschitz equivalent to a subset of $U$? How about $c_{00}(\mathbb{Q})$ where $\mathbb{Q}$ is the rational numbers? ...
- 73
7
votes
2
answers
608
views
What is the name for a set endowed with a Lipschitz structure?
I am interested in the standard (or widely accepted) name for a mathematical structure, which is intermediate between the structures of a metric space and a topological space. I have in mind the ...
- 42k
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 ...
- 1,044
7
votes
1
answer
1k
views
Generalization of area and coarea formula for fractional Hausdorff measures
Let $X,Y$ be Polish spaces, $s,t>0$ and $F:X\to Y$ locally Lipschitz continuous such that $X$ is $\sigma$-finite w.r.t. the $(s+t)$-dimensional Hausdorff measure $\mathcal{H}^{s+t}$.
The Eilenberg ...
- 9,650
7
votes
1
answer
121
views
Convergence of functions on Alexandrov spaces
Consider a sequence of $n-$dim Alexandrov spaces with curvature $\geq$ -1 $\{(M_i,p_i)\}$ Gromov-Hausdroff converging to an $n-$dim Alexandrov space $(M,p)$. Let $f:M\mapsto \mathbb R$ be a Lipschitz ...
- 71
7
votes
2
answers
153
views
Equality of triangles in normed spaces
Hilbert space satisfies the following condition: if two triangles $\triangle ABC$, $\triangle A_1B_1C_1$ have equal sides lengths: $|AB|=|A_1B_1|$, $|BC|=|B_1C_1|$, $|AC|=|A_1C_1|$ they also have ...
- 109k
7
votes
1
answer
1k
views
Background to understand Gromov's green book
I have a decent background in differential geometry. I have read John Lee's introduction to smooth manifolds and doCarmo's Riemannian Geometry. I was trying to read Misha Gromov's Metric structures ...
- 317
7
votes
1
answer
509
views
Which lenses can be squared?
A lune and a lens are both planar figures delineated by two circular arcs; the difference is that a lune has a concave and a convex arc (it is one circle minus another) whereas a lens has two convex ...
- 173
7
votes
1
answer
548
views
Constructing Metrics for specific Topological Spaces, and Refinements of the Cantor-Space in particular
I have a Problem in general, given some some Topological Space $(X, \tau)$ from which I know it is metrisable, how can I find a metric (that is at best in some sence constructive and easy, at the very ...
- 798
7
votes
1
answer
559
views
Standard (special) spines and hyperbolic structure on 3-manifolds
My question relates to constructing angled triangulations or hyperbolic triangulations for $3$--manifolds. Briefly, an angle triangulation can be considered as an assignment of a real number (called ...
- 367
7
votes
1
answer
716
views
A question on the Mahler conjecture
In its asymmetric version, the Mahler conjecture states that if $K \subset \mathbb{R^n}$ is a convex body containing the origin as an interior point and
$$
K^* := \{y \in \mathbb{R}^n : \langle y, x \...
- 13.5k
7
votes
1
answer
554
views
Minimal distance spheres in complex projective spaces
My question has to do with distance spheres in $\mathbb CP^{n+1}$. I am interested in knowing what is the radius $r$ of a distance sphere $S(r)$ around a point that makes it a minimal submanifold of $\...
- 5,891
7
votes
1
answer
2k
views
Terminology of "covariant derivative" and various "connections"
I apologize for the long question. My ultimate aim is to understand the existing terminology and find appropriate terminology for covariant derivatives on vector bundles which generalizes to "...
- 643
7
votes
1
answer
815
views
Rolling a convex body: Geodesics vs. rolling curves
What are the curves of contact on a convex body $B$ rolling down an inclined plane?
Assume $B$ is smooth, and there is sufficient friction to prevent slippage.
Certainly, one can develop a geodesic ...
- 151k
7
votes
1
answer
269
views
How did Szmielew prove that Pasch's axiom is a consequence of the circle axiom?
It is alleged that Szmielew proved that Pasch's axiom is a consequence of the circle axiom. The source is said to be
The Pasch axiom as a consequence of the circle axiom, Bull.Acad.Polon.Sci.Sér.Sci....
7
votes
1
answer
179
views
Crofton formula: expected intersections is to length as variance is to what?
There is this beautiful Crofton formula for the length $L(C)$ of
a curve $C$ on the round unit 2-sphere: you take the expected number
of intersections of $C$ with a random great circle and multiply
by ...
- 7,005
7
votes
2
answers
180
views
Bisector of two points in a Riemannian manifold has measure $0$
Let $p,q\in M$, $p\neq q$, where $M$ is a Riemannian manifold. We will let the bisector of $p,q$ be $\mathcal{B}(p,q)=\{x\in M;d(p,x)=d(q,x)\}$. Does $\mathcal{B}(p,q)$ have measure $0$?
I was ...
- 10.6k
7
votes
1
answer
186
views
$d$-ball approximation for $d\gg 1$ with a convex hull of random points on its boundary
Given a $d$-ball $\mathcal{S}^{d}$, let $P_n$ a set of $n$ points selected uniformly at random on the boundary $\mathcal{S}^{d-1}$ of $\mathcal{S}^{d}$. Let $\mathcal{C}_n$ the convex hull of $P_n$. ...
- 1,677
7
votes
1
answer
329
views
Assigning a "canonical geometry" to a Seifert surface
I originally posted this on stackexchange, but it hasn't gotten an answer. I hope it's not inappropriate for this forum.
Suppose I have a knot $K: S^1 \hookrightarrow S^3$ with minimal genus Seifert ...
- 175
7
votes
1
answer
372
views
Thickness and hierarchical hyperbolicity
Thick metric spaces were introduced by Behrstock, Drutu and Mosher, see here. Hierarchically hyperbolic spaces were introduced by Behrstock, Hagen and Sisto, see here.
I've heard that it is open ...
- 2,090
7
votes
2
answers
436
views
Are square tiled surfaces dense in the moduli space of translation surfaces?
I'm reading the survey "An introduction to Veech surfaces" by Pascal Hubert and Thomas Schmidt.
At page 19 they state "In any fixed stratum, the set of square-tiled surfaces of that stratum is dense....
- 73
7
votes
1
answer
439
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 ...
- 151k
7
votes
2
answers
484
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 ...
- 221
7
votes
2
answers
2k
views
Inequality involving the side lengths of a quadrilateral
If $a$, $b$, $c$ and $d$ are the four sides of a quadrilateral, the problem is to show that $ab^2(b-c)+bc^2(c-d)+cd^2(d-a)+da^2(a-b)\ge 0$. I've verified it to be true for quite a large number of ...
- 285