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

learn more… | top users | synonyms (1)

7
votes
1answer
242 views

The Minkowski sum of two curves

Let $\gamma$ be a continuous curve in the complex plane without self-intersections and let $\lambda$ be a complex non-real number less than 1 in modulus. Put $\gamma'=\lambda\gamma$. Question. Is it ...
1
vote
1answer
300 views

Does the singular cohomology for a metric space of finite topological dimension vanish in high dimensions?

It is known that by applying the universal coefficient theorem, the singular cohomology of closed manifold with coefficient $\mathbb{Z}_2$ vanishes in high dimensions. But for a metric space $M$ with ...
10
votes
1answer
296 views

Soft question: mathematics about truchet tiles

It seems that this is the first question on Truchet tiles on MO. Shown above is a picture of a random tile, which you can see the resulting configuration is much like many membranes of cells. I ...
1
vote
1answer
94 views

Convex subcomplexes of CAT(0) cubical complexes

Is the following statement true? If so, can anyone provide a reference? Let $X$ be a CAT(0) cubical complex, and let $Y$ be a connected subcomplex of $X$. Then the following are equivalent: ...
2
votes
1answer
103 views

Parallel transport on a Hadamard manifold

Suppose, $X$ is a Hadamard manifold, i.e., a simply connected manifold of non-positive sectional curvature. Fix a point $w$ in $X$. Consider any three points $x, y, z$ in $X$. Let $\tau_{x, w}$ and ...
3
votes
1answer
77 views

conjugacy between geodesic flows on 2-tori

Let $(T_1,g_1)$ and $(T_2,g_2)$ be two flat tori of dimension 2 such that their geodesic flows are $C^0$-conjugated, is there an isometry between $(T_1,g_1)$ and $(T_2,g_2)$ ? I emphasize the fact ...
6
votes
1answer
178 views

Embedding Euclidean buildings into products of trees

A Euclidean building has a natural metric space structure. (A definition of Euclidean building can be found on Wikipedia, or, more expansively, in Section 4 of Kleiner-Leeb.) Question: Is it true ...
0
votes
0answers
34 views

Covering number of the range of a function

I have come across the need to know a bound on a certain curious quantity: the covering number of the range of a continuous function $f: D \rightarrow \mathbb{R}^n$, where $D \subseteq \mathbb{R}^m$. ...
6
votes
1answer
279 views

Which surfaces have only a finite number of connecting geodesics?

Q1. For a smooth, closed (compact) surface $S$ embedded in $\mathbb{R}^3$, under which conditions is it true that, for every pair of points $a,b \in S$, there are an infinite number of ...
10
votes
1answer
445 views

Metric $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$

I'm wondering where the relative probabilistic distance was first studied: $$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$ where $\overline A$ is the complement of $A$. A web search ...
0
votes
1answer
86 views

Practical Algorithm for Comparing the Discrepancy of Point Sets (on Unit Hyper Spheres)

I have devised a simple geometric algorithm for generating a sequence of points on unit hyper spheres; that algorithm depends on a single real parameter, which I would like to optimize in order to get ...
8
votes
1answer
112 views

Tilting the $d$-cube to vertically separate its vertices

Let $C_d$ be a unit edge-length cube in $d$ dimensions. I would like to orient it ("tilt" it) so that the vertical (last) coordinates of its $2^d$ vertices are maximally separated, in the sense that ...
2
votes
1answer
355 views

Given a set of 2D vertices, how to create a minimum-area polygon which contains all the given vertices?

Not sure whether this question belongs here or math.stackexchange. You can assume that all the vertices are unique. The given vertices can be the vertices of the polygon, thus they do NOT have to be ...
6
votes
3answers
424 views

Polynomial threading through a monotone corridor

I have a need to find a polynomial of minimal degree that connects two points and stays within a given "corridor," by which I mean an $x$-monotone polygon. Here is an example:       ...
4
votes
1answer
514 views

Focus of parabola using only a ruler

It is an easy exercise that using ruler and compass one find the focus of a given parabola. Can one do the same using only a ruler? -- if not, why?
1
vote
0answers
105 views

Shortest rope to capture a sphere of diameter 1 [duplicate]

I have a perfect rigid sphere of diameter 1. I have infinite supply of rope. The rope is infinitely flexible and can be cut or glued without losing or adding length. The rope can be glued at any ...
3
votes
1answer
180 views

The relation between Hausdorff dimension of an $n$-manifold and $n$

It is known that for a topological space with different metrics, the Hausdorff dimensions may not be equal in general. For the case of manifolds, suppose $M$ is a $n$-manifold with a ...
1
vote
0answers
46 views

Length invariance under nondecreasing changes of parameters

Suppose that $f\colon [0,1]\to [0,1]$ is a continuous, surjective and nondecreasing function, for example the Cantor function. Let $X$ be a metric space (not necessarily a length space) and let $L$ be ...
3
votes
1answer
304 views

The Praying Eyes theorem generalized

Is there an obvious way to slice two spheres (no necessarily equal) simultaneously such that the sections share common areas? I mean, I cannot see another way (easier) different from the way provided ...
17
votes
1answer
241 views
1
vote
2answers
223 views

Regular paths along surface of sphere

I'm trying to create a program where a small ball is supposed to move along the surface of a sphere, which is given by its radius $r$ and the center $c$. The movement should be repetitive, so that ...
13
votes
1answer
327 views

Are all well behaved “mean” functions on $\mathbb{R}^+$ equivalent?

Given a set $S$, a function $M: S\times S \rightarrow S$ is a mean if it satisfies the properties: $M(a,a)=a\qquad$ (identity) $M(a,b)=M(b,a)\qquad$ (commutativity). and possibly ...
4
votes
2answers
366 views

Distance function to a submanifold

Let $M$ be a compact Riemannian manifold and $\Sigma\subset M$ a closed submanifold. Given $x\in M$ we define the distance function to $\Sigma$ by $$d_\Sigma(x):=\inf\{d(x,y):y\in \Sigma\},$$ where ...
6
votes
0answers
80 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
90 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
74 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
54 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 ...
5
votes
1answer
159 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 ...
6
votes
3answers
196 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 ...
11
votes
3answers
338 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
179 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 ...
1
vote
1answer
172 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
357 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
73 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
45 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 ...
2
votes
0answers
81 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
281 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
151 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
293 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
278 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
703 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 ...
43
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
330 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 ...
28
votes
2answers
674 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
493 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
205 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 ...
16
votes
1answer
311 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
84 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
48 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
177 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 ...