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

learn more… | top users | synonyms (1)

3
votes
1answer
41 views

Can all unit-distance graphs have their vertices at algebraic integers?

A graph $G$ is described as a unit-distance graph if there exists a function $f:G \rightarrow \mathbb{C}$ such that for every edge $(u,v) \in E(G)$, we have $|f(u) - f(v)| = 1$. Obviously, we can ...
1
vote
0answers
88 views

general formula for volume of a simplex? [migrated]

I am looking for a general formula to calculate the volume of a euclidean simplex in any number of dimensions. On Wikipedia I found that a formula similar to Heron's formula can be applied to ...
7
votes
0answers
63 views

Approximate singular value decomposition in Banach spaces

I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are ...
-3
votes
0answers
29 views

Determine angle of a straight line in 3D space [closed]

I have a straight line in space with an start and end point (x,y,z) and I am attempting to get the angle but I cannot figure out the formula for this. I am using VB.NET Here is a picture of the line ...
7
votes
1answer
203 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
201 views

Does the singular cohomology of 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
245 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
64 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
76 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
63 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
126 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
30 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
245 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
412 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
0answers
38 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
105 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
188 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
407 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
463 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
103 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
148 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
42 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
275 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 ...
0
votes
0answers
20 views

How to calculate the center of a regular polygon? [migrated]

What is the formula for the center of an n-edge regular polygon that has the given segment as its edge? So, given a segment AB, ...
17
votes
1answer
228 views
1
vote
2answers
133 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 ...
11
votes
1answer
280 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
310 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
75 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
85 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
67 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
50 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 ...
4
votes
1answer
133 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
188 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
310 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
131 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
164 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
341 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
60 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
42 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
58 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
260 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
126 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
240 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
252 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
657 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
307 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
642 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
298 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 ...