**2**

votes

**1**answer

91 views

### Is there a name for the level-sets of the signed distance function to a set in a metric space?

$\newcommand \X {\mathcal{X}}$
$\newcommand \sd {d_{\rm sign}}$
Let $(\X, d)$ be a metric space and define the distance between a point $x \in \X$ and a set $S \subset X$ by $d(x,S) = \inf_{y \in S} ...

**10**

votes

**1**answer

153 views

### Optimal shape for stabbing balls in $\mathbb{R}^3$

I have radius $r < \frac{1}{2}$ congruent balls with centers randomly distributed uniformly within a region,
say, within a unit-radius sphere $S$.
I shoot a ray/path through $S$, hoping to ...

**4**

votes

**1**answer

124 views

### Distance function from a topological submanifold

Let $(M,g)$ be a Riemannian manifold, and let $N\subset M$ be an embedded sphere that is everywhere smooth except for a single point at which the embedding will only be $C^0$.
How much regularity can ...

**3**

votes

**1**answer

165 views

### Lorentzian metrics on the torus up to continuos deformations

Any two Riemannian metrics can easily be deformed into each other, only obtaining positive definite metrics in between.
However, for metrics of other signatures this might not be possible.
Which ...

**1**

vote

**0**answers

119 views

### Virtually abelian centralizers

This is a sort of a follow-up question to Limits of conjugated subgroups (though it might not seem at first glance to have much to do with it.)
Anyway, I'm wondering what sort of groups have the ...

**2**

votes

**1**answer

102 views

### Why finite dimensional MCS-space implies $\mathbb{R}^m\times cone$ locally?

Frequently, I see a statment of the result in reference that a finite dimensional Alexandrov spaces is locally a product $\mathbb{R}^m\times cone$. It seems that this result comes from Perelman's ...

**1**

vote

**1**answer

262 views

### Convergence in the Wasserstein metric and the square root function

Let $f$ be a smooth probability distribution on the unit square $S$ such that $f(x)>0$ on $S$. Let $\{g_i\}$ be a sequence of smooth probability distributions such that $g_i(x)>0$ on $S$ as ...

**8**

votes

**0**answers

134 views

### Closed geodesics avoiding points in hyperbolic surfaces

Let $\Sigma$ be a closed hyperbolic surface. Is it true that for any finite collection of points $x_1,\ldots,x_n\in\Sigma$ there exists a closed geodesic $\gamma$ containing none of them?
Remark: It ...

**4**

votes

**0**answers

203 views

### How many points does 'the-most-point-contained-circle' contain at least?

Question : Given any $n$ distinct points $S$, consider the $\binom n2$ discs $D_{pq}$ formed by picking a pair of points $p,q$ from $S$ and using them as a diameter. For each disc $D_{pq}$, let ...

**15**

votes

**2**answers

427 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 ...

**7**

votes

**0**answers

116 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 ...

**7**

votes

**1**answer

248 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

**1**answer

303 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

**1**answer

311 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

**1**answer

104 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

**1**answer

107 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

**1**answer

80 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

**1**answer

194 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

**0**answers

40 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

**1**answer

295 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

**1**answer

448 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

**1**answer

97 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

**1**answer

116 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

**1**answer

438 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

**3**answers

432 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

**1**answer

543 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

**0**answers

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

**1**answer

215 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

**0**answers

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

**1**answer

325 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

**1**answer

247 views

**1**

vote

**2**answers

242 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 ...

**14**

votes

**1**answer

335 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

**2**answers

392 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

**0**answers

82 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

**2**answers

93 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

**1**answer

77 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

**0**answers

58 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

**1**answer

175 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

**3**answers

199 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

**3**answers

347 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

**0**answers

217 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

**1**answer

174 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

**2**answers

366 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

**1**answer

76 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 ...

**6**

votes

**1**answer

105 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

**0**answers

88 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

**0**answers

282 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

**1**answer

155 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

**2**answers

349 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 ...