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

learn more… | top users | synonyms (1)

-3
votes
0answers
66 views

Isoceles Triangles on a Grid Proof [on hold]

Given: A Finite Set of Unit Squares on a Large Grid. If we were to choose one of those sets of unit squares, we see that the squares of the set are tiled with isosceles right triangles, each with a ...
6
votes
0answers
68 views

Unbalanced equipartitions

Let $K$ be a compact convex set in the plane. Say that a perimeter-halving partition of $K$ is a partition of $K$ into two pieces by a chord (a segment with endpoints on the boundary $\partial K$) ...
0
votes
2answers
80 views

Planar curves identical to their inverses

Is the right strophoid the only planar curve $C$ whose inverse curve w.r.t. some circle (in this case: centered on the origin) is identical to $C$?               ...
1
vote
1answer
65 views

Smooth unit vector field on a tetrahedron to interpolate vertex constraints

For a tetrahedron $T\subset \mathbb{R}^3$ with vertices $r_i\in \mathbb{R}^3$ , $i=1,\ldots,4$, and unit vectors $u_i\in \mathbb{S}^2$ at each vertex $i=1,\ldots,4$ consider the (energy) functional ...
4
votes
0answers
43 views

topological spaces admitting CAT(1) metrics

Suppose that $X$ is a locally contractible completely metrizable topological space. Is it true that $X$ can be metrized as a (complete) CAT(1) metric space? The only result in this direction I know ...
3
votes
1answer
122 views

Non-closed geodesics on a convex polyhedron in $\mathbb{R}^3$

Let $P$ be the surface of a closed convex polyhedron in $\mathbb{R}^3$. Q. Does every non-closed geodesic $\gamma$ fill $P$ densely? Of course $\gamma$ cannot pass through a vertex of $P$, but ...
0
votes
0answers
35 views

second fundamental form of boundary of convex subset non-negative?

Let M be an n-dim non-compact Riemannian manifold without boudary and $Ric\geqslant-(n-1)$. Let $Y$ be a convex subset of M with smooth boundary, then the second fundamental form of the boundary ...
6
votes
3answers
182 views

Most dispersed set of points in a disk?

Put $1$ billion points in a disk of radius $1$. Consider the minimal area $A$ of a triangle formed by any $3$ points. Where do you put the points so that $A$ is maximal and how much is $A$? Consider ...
10
votes
3answers
288 views

Orthogonal mud cracks and Maxwell's reciprocal figures

Is there a succinct mathematical/physical explanation of why mud cracks tend to meet orthogonally?                     Wikipedia image in this ...
1
vote
0answers
125 views

Find m most distant points from a set of n points [closed]

I would like to find the $m$ (where $n$ $\geq$ $m$ > 1) maximally distant subset of points from a collection of $n$ $d$-dimensional points. Maximally distant means the sum of the pairwise distances ...
0
votes
1answer
150 views

Sectional curvature as a Hamiltonian on the Grassmanization of the tangent bundle

Edit: According to the comments to the previous version of this question, I remove my essential errors in the question. I thank the commenters very much. Let $M$ be a n dimensional manifold. ...
5
votes
2answers
319 views

Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...
3
votes
1answer
54 views

Fixed points of finite order isometries of metric spaces

I would like to show the following: Let $X$ be a complete metric space that is uniquely geodesic (i.e. each two distinct points are connected by a unique geodesic segment) and $\phi\colon X\to X$ an ...
3
votes
0answers
41 views

Fixed point of fatness

For the purposes of this question, define the following properties of convex sets in the plane: A set is $R$-fat (for $R\geq 1$) if it contains a disc of side-length $x$ and is contained in a disc ...
1
vote
0answers
52 views

Besicovitch's covering theorem for ellipsoids and shadows

The usual Besicovitch's covering theorem concerns closed balls in $\mathbb{R}^d$. It relies on a property called "directionally limited metric space": the principal ingredient is to say that there ...
9
votes
0answers
236 views

How can we join two points with a small ruler? [closed]

We want to join by a line two distinct points $A$ and $B$. We have only a ruler of length $l>0$ and a pen. If $AB>l$ how can we do this? Imagine a method that works when $AB$ is really huge and ...
4
votes
1answer
97 views

Maps between spaces of non-empty compact subsets with the Hausdorff distance (reference request)

Let $X, Y$ be metric spaces, and let $PX$ (resp. $PY$) be the set of all non-empty compact subsets of $X$ (resp. $Y$) with the Hausdorff metric. A continuous map $f\colon X\to Y$ induces a continuous ...
5
votes
2answers
218 views

Equitably distributed curve on a sphere

Let $\gamma=\gamma(L)$ be a simple (non-self-intersecting) closed curve of length $L$ on the unit-radius sphere $S$. So if $L=2\pi$, $\gamma$ could be a great circle. I am seeking the most equitably ...
17
votes
0answers
243 views

Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to (0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space $X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point set ...
8
votes
1answer
642 views

How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...
42
votes
2answers
2k views

The view from inside of a mirrored tetrahedron

Suppose you were standing inside a regular tetrahedron $T$ whose internal face surfaces were perfect mirrors. Let's assume $T$'s height is $3{\times}$ yours, so that your eye is roughly at the ...
13
votes
1answer
298 views

Is there a bounded sequence of points in the plane with pairwise distances at least $1/\sqrt{|i-j|}$?

Previously I have mentioned the following problem in an addition to the list of Contest problems with connections to deeper mathematics.. Is there an infinite bounded sequence $(P_n) \subset ...
27
votes
2answers
617 views

Term for “uncheckable constructions”

Is there a term for "uncheckable geometric constructions"? Say, Angle Trisection and Doubling the Cube are checkable; i.e., if the answer is given one can do finite Compass-and-straightedge ...
1
vote
1answer
284 views

Word metrics and finite index subgroups

Suppose that we are given some finitely generated group $ G $ and some finite index subgroup of it $ H $. Given a finite generating symmetric generating set $ S \subset G $, we can define the word ...
4
votes
1answer
193 views

Panning for gold nuggets: a type of isoperimetric problem

Let $C$ be a unit-radius circle in the plane. Suppose you have a total length $L$ of string available, and your task is to connect chords of $C$ using no more than $L$ of string to minimize the ...
14
votes
1answer
236 views

Does the boundary of a convex body contain a regular planar pentagon?

How to prove or disprove that the boundary of any convex body in $\mathbb{R}^3$ includes 5 points which form a regular planar pentagon? The following consideration suggests the answer "yes": if we ...
3
votes
1answer
76 views

Stable equilibria of points on the 2-sphere

Suppose $n$ points lie on the sphere $S^2=\{x\in\mathbb{R}^3\mid \|x\|=1\}$ and are subjected to a repulsive acceleration that pushes away a point from each other point with an intensity proportional ...
1
vote
0answers
39 views

Projection from a polytope to an affine space

Let $P\subseteq \mathbf{R}^n$ be some polytope defined by an intersection of half spaces with corresponding hyperplanes $H_k$, and let $A\subseteq \mathbf{R}^n$ be some affine space, with $A\cap P ...
4
votes
1answer
128 views

The Universality Theorem by Mnev for uniform oriented matroids of rank 4 and higher

According to the Universality Theorem by Mnev (see below theorem 8.6.6 from [1]), for any open semialgebraic variety V there is a uniform oriented matroid of rank 3 whose realization space is stably ...
5
votes
0answers
67 views

Path metrics without geodesics [duplicate]

This is a follow-up of this question. Recall that a metric space $(X,d)$ is called a path-metric space if the distance between any two points in $X$ equals the infimum of lengths of paths between ...
3
votes
1answer
115 views

Three-dimensional Apollonian spirals

Given mutually (externally) tangent spheres $S_1$, $S_2$, $S_3$, $S_4$, let $S_n$ be the unique sphere externally tangent to $S_{n-1}$, $S_{n-2}$, $S_{n-3}$, and $S_{n-4}$ for $n \geq 5$. Let ...
6
votes
1answer
315 views

Reverse plane geometry, anyone?

I refer to Greenberg's wonderful 2010 MAA article "Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries". There, and in his book, Greenberg defines a ...
-1
votes
1answer
203 views

Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension. I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...
6
votes
4answers
181 views

Inside-out polygonal dissections

A dissection of a polygon $P$ is a partition of $P$ into a finite number of pieces, which can then be rearranged (via planar translations and rotations) and joined (without overlap) to form a new ...
6
votes
2answers
227 views

Counting valid coordinates

We are given a matrix $D = (d(i,j))_{1 \leq i,j \leq n}$ such that $d(x,z) \leq d(x,y) + d(y,z)$ for each $1 \leq x,y,z \leq n$. It is also known that $d(x,y) \in \mathbb{N}$ (In this question $0 \in ...
0
votes
2answers
164 views

Determine the boundary points of a set of points [closed]

I have a set of points $S=\{(x_1,y_1),(x_2,y_2),\ldots,(x_n,y_n)\}$. Then how to find the boundary points (which is a subset of $S$) of $S$? There are methods like convex hull, concave hull and ...
3
votes
0answers
61 views

Probability that a random projection doesn't reduce the distance of a point from a subspace too much

Consider the natural uniform measure (is it called the Haar measure?) on the set of $(n-k)$-dimensional subspaces of $R^n$. We are given a $d$-dimensional affine subspace $U$ (think of $d, k \ll n$; ...
14
votes
2answers
1k views

“a shape that … lies halfway between a square and a circle”

An article in the Notices of the AMS, Volume 61, Issue 10, 2014 (PDF download link), on Khot's Unique Games Conjecture, says this: Another group ... found a shape that in a certain sense lies ...
4
votes
0answers
108 views

Optimal planar net for catching convex shapes

Imagine you want to make a net out of string to filter and catch objects of a certain size, minimizing the length of string employed. (This actually arises in filtering biological impurities from ...
6
votes
2answers
315 views

Are angles between points enough to decide the realizability?

Let n points in the plane be given whose coordinates we don't know. Assume, however, that for any triple of the points we know the angle. Question: Can we decide whether the n points are realizable ...
6
votes
0answers
116 views

A forked plane continuum

I came up with this question while trying to solve the following MO one: Does every connected set that is not a line segment cross some dyadic square? Suppose $C$ is a plane continuum (i.e. a ...
0
votes
0answers
171 views

A question about Assaf Naor's review in Bourbaki about the Batson-Spielman-Srivastava result

I am referring to this article - http://www.cims.nyu.edu/~naor/homepage%20files/Exp.1033.pdf If I understand right, the author states that his equations (8) and (9) are equivalent to the equations ...
1
vote
2answers
62 views

Generalised “projection” of a metric space

Assume we have $n$ points $p_0\ldots p_{n-1}$ which form a discrete metric space $V$ with metric $d$. Can we define a function $f:V\rightarrow \mathbb{R}$ with $f(p_0) = 0$, $f(p_1) = d(p_0,p_1)$ and ...
2
votes
1answer
64 views

Visibility kernels of embedded graphs

Let $G$ be a connected graph embedded in the plane with all edges straight segments. For $\alpha \in (0,\pi)$, define an $\alpha$-path as a path in $G$ with all turns at vertices within ...
2
votes
0answers
112 views

Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?

Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$. Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in ...
0
votes
0answers
56 views

Intersection points of closed curves inscribed in a convex polygon

Suppose that I have two distinct simple closed curves, $C_1$ & $C_2$, and each is inscribed in a convex polygon, D. By inscribed, I mean tangent to each side of D. In particular, I am most ...
2
votes
1answer
70 views

How to infer missing nodes from a path?

I have a first data set which is a list of train stops with coordinates (lat, lon), but not the "links" between the nodes/stops (this could thought of as a null or empty graph). I have a second data ...
14
votes
4answers
411 views

The limit of edge-midpoint convex polyhedra

    Starting with a convex polyhedron $P_1 \subset \mathbb{R}^3$, replace that with $P_2$, the convex hull of the midpoints of the edges of $P_1$. Continuing this process, we obtain a ...
1
vote
0answers
444 views

A metric on $S^{2}$ [closed]

Edit:Can this new version of this question be answered with the method of same comments to the previous version? Let $p:S^{3}\to S^{2}$ be the Hopf fibration $p(z,w)= (\parallel ...
8
votes
3answers
515 views

Separating points in the plane II

Let A be a set of $2m$ points on the plane so that no open set of diameter $2$ has more than m of them. Define $A+A+...+A$ ($k$ times) to be the multiset of $k$-sums from $A$. That is, we consider all ...