Questions tagged [mg.metric-geometry]

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

Filter by
Sorted by
Tagged with
1
vote
0answers
55 views

What do you call this notion of similarity between subsets of a metric space?

Given a metric space $X$, we say a continuous isometry is a continuous map $F:X\times[0,1]\to X$ such that defining $f_t(x) = F(x,t)$ for $t \in [0,1]$, we have that $f_0$ is the identity map and $f_t$...
0
votes
0answers
23 views

Minimize the z coordinate for the intersection of two extrusions of coplanar circles along parametric paths

Sorry if my question isn't phrased as formally as it should be; this is my first math question on any online forum. I basically want to minimize the z coordinate of the intersection of some number of ...
0
votes
1answer
40 views

intersection and self intersection on non compact complex surfaces

I'd like to have a definition of intersection on non compact complex surfaces because all i have found so far is only about projective surfaces. for example how can i define the self intersection of ...
2
votes
0answers
61 views

Construct by compactness (Pentagonal tiling – Rao paper)

In the (arxiv) paper, Exhaustive search of convex pentagons which tile the plane, on page 4 under the proof of Lemma 2, it is said that: "... We keep a connected component $H_d'$ of $H_{d}$ such ...
17
votes
1answer
395 views

Which unfoldings of the $d$-dimensional hypercube tile $(d{-}1)$-space?

A six year old question, Which unfoldings of the hypercube tile $3$-space?, has just been answered by Moritz Firsching: All $261$ unfoldings tile space! So now we know: For $d=2$, the unfolding of ...
3
votes
1answer
68 views

Inequality in a triangle associated with Golden ratio

Let $ABC$ be arbitrary triangle, $D$, $E$, $F$ are the midpoints of $BC$, $CA$, $AB$ respectively. Define points, segments in the figure belows. I am looking for a proof that: $$DE+EF+FD \le (DG+DH+...
0
votes
0answers
64 views

When is semi-metric topology Hausdorff

Let $(X,d)$ be a semi-metric space (i.e.: $d$ is a metric on $X$ if it would satisfy the triangle inequality). My question is simple: Are there known "non-trivial" conditions under which ...
2
votes
0answers
48 views

Condition for: A simple quotient metric induced by surjective map + equivalence relation

Let $X$ be a metric space and let $f:X\rightarrow Z$ be a surjective map onto some set $Z$. Define the pseudo-metric $d_f$ on $Z$ by: $$ d_f(z_1,z_2)\triangleq \inf_{\underset{f(x_i)=z_i}{x_i\in X}} \...
0
votes
0answers
68 views

Gromov–Hausdorff closure of non-positively curved graphs

Setup: Let $\Gamma$ be the set of non-positively curved weighted connected graphs, with finitely many points, which are isometrically embedded in $\mathbb{R}^n$; for some $n\in \mathbb{N}$;$n\geq 2$. ...
3
votes
0answers
80 views

Covering number of smooth functions from $\mathbb{R}^d$ to $\mathbb{R}$

Let $(\mathcal{X},d)$ be a space of function $f: \mathbb{R}^d \to \mathbb{R}$ where $d=\| \cdot \|_\infty$ (i.e., $d(f)= \sup_{x\in \mathbb{R}^d} |f(x)|$ ). Let $D_\alpha f= \frac{\partial^\alpha}{ \...
3
votes
0answers
95 views

Cutting convex polygons into triangles of same diameter

This question continues from: Cutting convex regions into equal diameter and equal least width pieces Definitions: The diameter of a convex region is the greatest distance between any pair of points ...
1
vote
1answer
76 views

Is the Jaccard distance between probability vectors a metric?

Let X and Y be probability vectors, meaning that X = $[x_1, x_2, ..., x_n]^T$, where $x_i\leq 1$ and $\sum_{i=1}^{n}x_i=1$ (Y is defined similarly). Define the Jaccard distance as \begin{equation} ...
9
votes
4answers
561 views

An introductory text on expanders

I am looking for a book that covers expander graphs rigorously. Preferably a book aimed at beginners.
2
votes
0answers
67 views

Completeness on the tangent bundle

I was wondering if geodesics are defined for all time on compact Finsler manifolds, which I know very little about. In an attempt to prove this, I thought maybe I could show that if $M$ is compact, ...
1
vote
1answer
45 views

Equal products of triangle areas

Can you prove the following claim: Claim. Given hexagon circumscribed about an ellipse. Let $A_1,A_2,A_3,A_4,A_5,A_6$ be the vertices of the hexagon and let $B$ be the intersection point of its ...
5
votes
1answer
294 views

Golden ratio as a property of conic section (is it known?)

I am looking for a proof of a discovery as follows: Let $ABC$ be arbitrary triangle and $(\Omega)$ be an arbitrary circumconic of $ABC$ let $A'B'C'$ is its tangential triangle of $ABC$ respect to $(\...
1
vote
1answer
236 views

Thirteen-point conic and four-point line, are they new?

We know that Five points determine a conic and Two Points Determine a Line. Here I found a simple construct of a conic through $7$ points (in PS I note that how the conic through thirteen points) and ...
3
votes
1answer
189 views

Maximizing the distance sum of some points inside a circle

Consider $n$ points $\{p_i\}_{i=1}^n$ located inside or on a circle with radius $r$ in the plane. The question is: how to place the $n$ points so that the sum of inter-point distances, $$J=\sum_{i=1}^...
18
votes
2answers
554 views

Is every 1-million-connected graph rigid in 3D?

It is an old result that every $6$-connected graph is rigid in $\mathbb{R}^2$: Lovász, László, and Yechiam Yemini. "On generic rigidity in the plane." SIAM Journal on Algebraic Discrete ...
13
votes
1answer
493 views
+250

Smoothness of distance function to a compact set

Fix a non-empty compact subset $K\subseteq \mathbb{R}^n$ and let $d_K(x):=\min_{z \in K} \,\|z-x\|$ be the map sending any $x\in \mathbb{R}^n$ to its distance from $K$. Suppose that: $K$ is regular : ...
14
votes
2answers
2k views

Is it a new discovery on conic section?

I discovered a problem in plane geometry (there are some nice special cases) as follows: Let $ABC$ be a triangle and $\Omega$ be arbitrary circumconic. Let two points $A_b, A_c \in BC$, $B_c, B_a \in ...
7
votes
1answer
138 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? ...
1
vote
1answer
81 views

Generalizing Bottema's theorem

Can you provide another proof for the claim given below? Claim. In any triangle $\triangle ABC$ construct triangles $\triangle ACE$ and $\triangle BDC$ on sides $AC$ and $BC$ such that $\frac{AE}{AC}...
2
votes
1answer
60 views

What is the center of minimum distance of a region?

Suppose we have a compact plane region $R$ (not necessarily convex or connected). I am working in a problem which involves the point $p$ in $R$ that is, in average, the closest to every other point. ...
1
vote
1answer
216 views

Facility location on manifolds

Facility location studies optimal placement of a certain number $n$ of points (facilities) in some region $R$. (https://en.wikipedia.org/wiki/Facility_location_problem) The minimax facility location ...
3
votes
1answer
77 views

Equal sums of line segments

I would like to see a proof of the following Claim. Let $A_1,A_2,A_3,A_4,A_5$ be vertices of bicentric pentagon. Let $B_1$ be the intersection point of $A_1A_3$ and $A_2A_5$, $B_2$ the intersection ...
10
votes
0answers
321 views

Topological dimension, Hausdorff dimension, and Lipschitz mappings

I can prove the following result. Here $\operatorname{dim} X$ stands for the topological dimension and $\mathcal{H}^n$ denotes the Hausdorff measure. Theorem. Suppose that $f:\mathbb{R}^n\supset\...
1
vote
1answer
150 views

Stability of isoperimetric inequality

Let $S$ be subset of $\mathbb{R}^n$ with perimeter 1. Isoperimetric inequality states that then the volume of $S$ is not greater than $V_n$, where $V_n$ is the volume of a ball in $\mathbb{R}^n$ with ...
4
votes
3answers
222 views

Recovering the length metric from Hausdorff measure

The metric cannot be recovered from its Hausdorff measure in general. Now, assume that $(X,d_X)$ and $(Y, d_Y)$ are connected compact length spaces and induce $n$-dimensional Hausdorff measures $\...
4
votes
0answers
120 views

Covering the sphere with an approximately planar grid

Consider a triangulation of a radius $R$ sphere into $n$ triangles. Must $Ω(\sqrt n)$ triangles have $Ω(1)$ relative difference from being an equilateral triangle of area $4πR^2/n$?  ($Ω$ is from ...
18
votes
2answers
428 views

Which knots appear as the singular locus of a polyhedral metric on the 3-sphere?

What can be said about a knot $K\subseteq S^3$ for which there exists a (Euclidean) polyhedral metric (aka Euclidean cone-manifold structure) on $S^3$ whose singular locus is precisely $K$? I'm ...
7
votes
1answer
200 views

Are two quasi-isometric, isomorphic on large enough balls, transitive graphs isomorphic?

Take two transitive graphs $X,Y$ (potentially directed and edge-labelled, e.g. Cayley graphs). Assume $X,Y$ are quasi-isometric with constant $K$, i.e. there exists a function $f:VX \to VY$ ($VX,\,VY$ ...
6
votes
0answers
64 views

A criterion for loxodromicity in Gromov-hyperbolic spaces

Recall that an isometry of a Gromov-hyperbolic space $X$ is called loxodromic if it has exactly two fixed points on the Gromov boundary $\partial X$, one being "attracting" and the other &...
1
vote
0answers
88 views

A generic question on circles associated with a triangle

This question is inspired by two posed by P.Terzić (both given elegant synthetic proofs by F. Petrov). The starting point is a triangle $ABC$ and a triangle centre $G_1$. There are two classical ...
5
votes
2answers
212 views

Necessary and sufficient condition for quadrilateral to be cyclic

Can you provide a proof for the following proposition: Proposition. Given any quadrilateral $ABCD$. Let $P,Q,R,S$ be nine-point centers of triangles $\triangle ABD$,$\triangle ABC$,$\triangle BCD$ ...
0
votes
0answers
42 views

Explicit calculation algorithm for distance function [duplicate]

I study differential geometry. Although there is a lot of study on the local theory, a global description lacks some explicit explanations. I mean, the study of surfaces describes curves, tangent ...
14
votes
1answer
525 views

Acute triangles in “obtuse” polygons?

Let $P$ be a convex polygon. Suppose every interior angle of $P$ is obtuse. Is it always the case that there exist three vertices $p, q, r$ of $P$ such that $\triangle pqr$ is acute? I conjecture ...
3
votes
0answers
54 views

Completeness of intrinsication

Lemma. Suppose $(X,\rho)$ is a complete metric space and $\hat \rho$ is its induced intrinsic metric. Then $(X,\hat \rho)$ is complete. This lemma was essentially proved in [2.3. in Metric minimizing ...
6
votes
2answers
708 views

Three circles intersecting at one point

Can you provide a proof for the following proposition: Proposition. Let $\triangle ABC$ be an arbitrary triangle with nine-point center $N$ and circumcenter $O$. Let $A',B',C'$ be a reflection points ...
2
votes
1answer
50 views

Collinearity of three significant points of bicentric pentagon

Can you provide a proof for the following claim? Claim. Given bicentric pentagon. Consider the triangle whose sides are two diagonals drawn from the same vertex and side of pentagon opposite from ...
6
votes
2answers
68 views

Completion of an Alexandrov space

Let $X$ be an incomplete Alexandrov space with sec $\ge -1$ in the sense that for any point in $X$ there exists a small neighborhood in which the four-points criterion is satisfied. Suppose $X$ is ...
3
votes
2answers
109 views

Asymmetry of projections

A possible measure of asymmetry for a convex body $K \subset \mathbb{R}^n$ is the affine-invariant quantity $$ \alpha_n(K) := \frac{\textrm{vol}(K - K)}{2^n\textrm{vol}(K)} . $$ Indeed, the Brunn-...
0
votes
1answer
121 views

Does anyone know of an academic reference for this proof that the tangent to a hyperbola at a point bisects the angle between each focus to the point?

I am writing a report and as part of it I need to prove the property that for a point $P$ on a hyperbola, the tangent to the hyperbola at $P$ bisects the angle $\angle F_1PF_2$ where $F_1$ and $F_2$ ...
1
vote
0answers
133 views

Does there exist an isometry between a regular polygon and a circle?

In order to define the question in a meaningful fashion, I am referring to a smooth manifold $\mathcal{M}$ within an $\epsilon$-neighborhood of a regular polygon $\mathcal{P}$ satisfying $$\max\{\|x-p\...
0
votes
0answers
139 views

Adjunction formula for non compact surfaces

Let $M$ be a non compact complex surface and S an embedded compact Riemann surface in $M$. I already know how to show the following equality of fiber bundle: $$\Omega^2_{M}|S =\Omega^1_S \otimes N^*_S$...
5
votes
0answers
90 views

Are there examples of hyperbolic manifolds with finite Bowen-Margulis measure and fundamental group which is not relatively hyperbolic?

It is well known that a geometrically finite hyperbolic manifold (quotient of $H^n$) has finite Bowen-Margulis measure. Marc Peigné [1] constructed examples of geometrically infinite hyperbolic ...
0
votes
0answers
54 views

Distance Metric on a Polytope

Primary Question: Is it possible to define a distance metric on a polytope (or permutohedron in particular)? I am aware that neither is a smooth, Riemannian manifold; however, computer scientists have ...
-2
votes
1answer
62 views

A generalized norm function in $\mathbb{R}^n$ [closed]

We defined a new norm. The norm of $x \in \mathbb{R}^n$ is defined as $$ N_P(x) = \min \{t \geq 0 : x \in t\cdot P\} \enspace,$$ where $P$ is a centrally symmetric and convex body centered at the ...
1
vote
1answer
118 views

Least square assignment and hyperplanes

Let $S$ be a finite set of points in $\mathbb{R}^{d}$, $c(s) \in [0,1]$ such that $\sum_{s \in S} c(s) = 1$, $\rho$ continuous and non-vanishing probability distribution on $[0,1]^{d}$ and $\mu $ ...
44
votes
1answer
3k views

Can the fugitive escape?

A fugitive is surrounded by $N$ police officers, with the nearest one at distance $1$ away. The fugitive and the officers move alternatively. In a fugitive move, the fugitive can travel no more than ...

1
2 3 4 5
69