Skip to main content

Questions tagged [mg.metric-geometry]

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

Filter by
Sorted by
Tagged with
2 votes
1 answer
504 views

Partitioning polygons into acute isosceles triangles

Question: Given an $N$-vertex polygon (not necessarily convex). It is to be cut into the least number of acute isosceles triangles. Based on this MathSE discussion, one can think of a method to get $\...
Nandakumar R's user avatar
  • 5,979
2 votes
1 answer
300 views

If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected

Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
No-one's user avatar
  • 1,149
2 votes
1 answer
259 views

Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?

Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e., $N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
Akira's user avatar
  • 835
2 votes
2 answers
248 views

On an angle distribution of a random linear subspace of a given dimension

$\newcommand\R{\mathbb R}$ Let $u$ be a fixed unit vector in $\R^n$, and let $\Pi_u$ be the hyperplane in $\R^n$ with normal vector $u$. Let $B$ be the (say open) unit ball in $\R^n$ centered at the ...
Iosif Pinelis's user avatar
2 votes
0 answers
159 views

Maximizing $\iiint|(x-z)\times(y-z)|d\mu d\mu d\mu$ over probability measures on the unit sphere

This is a follow-up question to the one asked here (the unit circle case). What probability measure(s) maximize the quantity $\iiint_{\mathbb{S}^2}|(x-z)\times(y-z)|d\mu(x)d\mu(y)d\mu(z)$? The ...
Josiah Park's user avatar
  • 3,209
2 votes
0 answers
71 views

On cutting convex regions with average values of quantities minimized

This post continues from Cutting convex regions into equal diameter and equal least width pieces - 2 and Cutting convex regions into equal diameter and equal least width pieces - 3 A basic (and to my ...
Nandakumar R's user avatar
  • 5,979
2 votes
0 answers
81 views

Euler line in metric space [closed]

If the answer about my question here is "yes" Coplanar set in metric space. We shall have the concept of four coplanar points in metric space $(\Bbb M,d).$ I propose an idea about Euler line in ...
Tran Quang Hung's user avatar
2 votes
1 answer
101 views

Another lemma on intersections of $d$-simplices

Let $d\ge1$. A $d$-simplex $S$ is the convex hull in $\mathbb R^d$ of the vertices $v_0,\dots,v_d\in\mathbb R^d$ where $\{v_1-v_0,\dots,v_d-v_0\}$ is a linearly independent set of $d$ vectors; for ...
Tri's user avatar
  • 1,644
2 votes
1 answer
151 views

On congruent partitions of planar regions

Given any integer $n$, any rectangular region or any sector of a disc (including the full disk as a boundary case) can be cut into $n$ mutually congruent pieces - by equally spaced parallel lines and ...
Nandakumar R's user avatar
  • 5,979
2 votes
1 answer
1k views

Doubling metrics, doubling measures, Lebesgue density

As stated in this question, Lebesgue differentiation theorem holds on locally doubling space? and proved here, http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf the Lebesgue differentiation theorem (...
Aryeh Kontorovich's user avatar
1 vote
1 answer
90 views

When "$(\varepsilon,\delta)$-geodesic" cannot be a loop?

EDIT: Let $M$ be a smooth compact Riemannian manifold. Let $\varepsilon,\delta>0$. I call a smooth curve $\gamma\colon [a,b]\to M$ an $(\varepsilon,\delta)$-geodesic if for any $t_1<t_2<t_1+\...
asv's user avatar
  • 21.8k
1 vote
0 answers
59 views

What can be said about 2 convex solids with corresponding maximal planar sections having equal area?

This post follows Are two convex solids with all corresponding shadows equal in area congruent? Every convex 3D body has planar sections with normals in any given direction. We consider the maximum ...
Nandakumar R's user avatar
  • 5,979
1 vote
1 answer
74 views

Existence or otherwise of a set of "sufficiently intricate" open cells

In my question Existence or otherwise of a set of "sufficiently intricate" open sets, I asked about whether it is possible to partition Lebesgue-almost all of $\mathbb{R}^d$ into a finite ...
Julian Newman's user avatar
1 vote
2 answers
153 views

Smallest triangles that contain 2D convex regions with reflection symmetry

Given any 2D convex region $C$ with a mirror symmetry. Two pairs of questions: We need to find the smallest area (likewise, smallest perimeter) triangle that contains $C$. Is it sufficient to only ...
Nandakumar R's user avatar
  • 5,979
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)\...
Tran Quang Hung's user avatar
1 vote
1 answer
1k views

Optimal fitting of spheres in a cylinder

How to find the minimum height and width of a cylinder containing n identical spheres?
Vikas's user avatar
  • 21
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)$, $(...
Đào Thanh Oai's user avatar
1 vote
1 answer
392 views

Frustrating the number of possible common edges between two connected components composed of square Penrose tiles

Imagine I have two bags of square and planar unit square tiles, with Penrose-like "nodules" on their edges s.t. two tiles can only be placed together if their edges are flush (i.e. if the two vertices ...
B.H.'s user avatar
  • 13
1 vote
1 answer
145 views

More on divisibility

This is a fuzzier follow-up to this question. Again, we construct the graph whose vertices are integers from $1$ to $n,$ and two vertices are connected whenever one of the corresponding integers ...
Igor Rivin's user avatar
  • 96.4k
1 vote
2 answers
290 views

Examples on small cut radius of totally convex set in non-negatively curved manifold

Suppose $M^n$ is an open complete nonnegatively curved Riemannian manifold. In Cheeger-Gromoll's proof of the soul theorem. They need an estimate on the cut radius of a totally convex set $C$. By a ...
Ralph's user avatar
  • 283
1 vote
1 answer
175 views

Minimal surface enclosing balls

(This question is tangentially related to an earlier question I posed: Minimal surface enclosing two congruent balls.) Let $B_1,\ldots,B_k$ be unit-radius balls in $\mathbb{R}^3$, with pairwise ...
Joseph O'Rourke's user avatar
1 vote
2 answers
196 views

Partitioning unit square with equal frequency rectangles

If I had to partition the unit square $[0,1]\times[0,1]$ into $k^2$ rectangles such that the sum of their diagonals is minimum possible, I would simply choose the $k \times k$ grid of squares. Now ...
bleh's user avatar
  • 153
1 vote
1 answer
616 views

Polynomial invariant — from product formula to monomial expansion

Context This question deals with the polynomial invariant denoted by $ H_{n} $ in Maksym Fedorchuk and Igor Pak's 2004 paper Rigidity and polynomial invariants of convex polytopes (sections 7.6 and 9)....
PalmTopTigerMO's user avatar
1 vote
0 answers
96 views

Pseudo-Droz-Farny circles

I would like to present a construction of 2 circles. These 2 circles are somewhat similar in appearance to the well known Droz-Farny circles that can be drawn for every isogonal conjugate pairs of ...
A.Zakharov's user avatar
1 vote
0 answers
111 views

Maximizing the minimum curvature of a convex shape with a given volume in higher dimensions

Given any $d$-dimensional convex shape $S$ in the Euclidean space with $d\gg 1$, let $K_{\min}(S)$ be the minimum value of the Gaussian curvature of its boundary. Question: What is the maximum value $...
Penelope Benenati's user avatar
1 vote
0 answers
416 views

A metric geometry problem which calculates the limitation of human eyes

This is the update version of this question A functional inequality which calculates the limitation of human eyes Let an Euclidean space $M$ (or a path connected metric space) be partitioned into ...
Veronica Phan's user avatar
1 vote
0 answers
85 views

More on triangles inscribed in convex regions with one vertex fixed

We add a bit to On maximum perimeter triangles inscribed in convex regions with one vertex fixed. Let C be a convex planar region and P a point on its boundary. Are there convex shapes C other than (...
Nandakumar R's user avatar
  • 5,979
1 vote
1 answer
320 views

A formula for the area of bicentric quadrilateral

Can you provide a proof for the claim given below? The following claim is inspired by Harcourt's theorem and can be seen as its generalization to quadrilaterals. Claim. Given bicentric quadrilateral $...
Pedja's user avatar
  • 2,661
1 vote
1 answer
144 views

On convex polygons contained in convex polygons

In what follows '$n$-gon' stands for '$n$-vertex polygonal region'. Question: Given a convex $n$-gon $C$, find the smallest convex region $R$ such that $C$ is the smallest $n$-gon that contains it. ...
Nandakumar R's user avatar
  • 5,979
1 vote
2 answers
1k views

Möbius transformation by 3 points in the Minkowski model

Goal I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images. What I have tried I know that a projective ...
MvG's user avatar
  • 534
0 votes
0 answers
89 views

What is the minimal number of lines needed to partition a simplex into cells of diameter at most $\epsilon$?

I am studying a problem that requires me to partition the simplex into cells using a particular family of hyperplanes. For concreteness, consider the 2-simplex. I would like to construct lines ...
User123321's user avatar
0 votes
4 answers
457 views

Confining a polytope to one side of an affine hyperplane

Judging whether one convex polytope is inside of another when both are expressed as a system of linear inequalities seems not to be an easy problem. This answer on math.stackexchange.com claims the ...
Hans's user avatar
  • 2,239
0 votes
0 answers
113 views

How much a probability distribution is non-uniform in a convex subspace of $\mathbb{R}^d$?

I know a number of (standard and well known) ways to measure the distance between two probability distributions and, more in general, to quantify how much one is far from another. Could you please ...
Penelope Benenati's user avatar
0 votes
0 answers
42 views

Construct pairs of $n$-dimensional convex bodies with given ratios ($p$) of volumes

Given a dimension $n$ and a number $p \in (0,1)$, to what extent is it possible (in what cases) to construct a convex set $A$--not a hypersphere--and a "snugly" inscribed (InscribedFigure) ...
Paul B. Slater's user avatar
0 votes
1 answer
937 views

The exact number of points within a circle of radius r centered on a lattice point in a hexagonal lattice? Review expression Gauss circle problem

In the case of a square lattice, the exact number of points within a circle of radius r centered in the center is (see: http://mathworld.wolfram.com/GausssCircleProblem.html: $$N(r)=1+4Floor(r)+4 \...
Mihaela's user avatar
  • 31
0 votes
1 answer
189 views

Terminology "upper" Ahlfors regular measure

Let $(X,d)$ be a metric space and $m$ be a Borel measure on $(X,d)$. The measure $m$ is called Ahlors regular if $m(B(x,r))\asymp r^q$ for some $q>0$ and each $x\in X$. Is there a name for ...
ABIM's user avatar
  • 5,405
0 votes
0 answers
49 views

When can a compact metric space be covered by finitely many nearly-disjoint closed and convex sets?

This question is a follow-up of the following negative question. Let $(X,d)$ be a (non-empty) compact metric space. More generally than in the first post, I'll call a set of non-empty subsets $C_1,\...
ABIM's user avatar
  • 5,405
0 votes
0 answers
69 views

Holder-continuous barycenter maps

Let $(X,d)$ be a complete locally-compact metric space. We define the $p$-barycenter map as a continuous function: $$ \beta:\mathcal{P}_p(X)\rightarrow X, $$ which is a right-inverse of the map ...
ABIM's user avatar
  • 5,405
0 votes
0 answers
98 views

Asymptotic optimal sphericity

How quickly does maximum sphericity of polyhedra with $n$ faces approach 1 as $n→∞$? I can show that sphericity $1 - \frac{5 \sqrt{3} π}{27n} - O(n^{-3/2})$ is possible. Is this, especially $O(n^{-3/...
Dmytro Taranovsky's user avatar
0 votes
1 answer
127 views

What does it mean exactly for a pair of $S^0$'s to be unlinked on a knot $K$?

I am trying to learn about the effects of knot mutation on the hyperbolic manifolds obtained via hyperbolic Dehn surgery, and I'm currently reading Ruberman's paper "Mutations and Volumes in $S^3$" (...
asldjk's user avatar
  • 318
0 votes
1 answer
357 views

Metric space that is not a subspace of $\mathbb{R}^n$? [closed]

What are some simple examples of metric spaces that cannot be subspaces of $\mathbb{R}^n$? I've heard there is an example with $4$ points, where two points lie between the other two, but I cannot ...
Jake B.'s user avatar
  • 1,465
0 votes
0 answers
93 views

On smallest convex m-gons that contain a given n-gon where m<n

Given a convex n-gon region P, and an m less than n, will the least area convex m-gon Q that contains P be such that an edge of Q coincides with an edge of P (in other words Q cannot be such that P ...
Nandakumar R's user avatar
  • 5,979

1
10 11 12 13
14