**55**

votes

**0**answers

3k views

### Volumes of Sets of Constant Width in High Dimensions

Background
The n dimensional Euclidean ball of radius 1/2 has width 1 in every direction. Namely, when you consider a pair of parallel tangent hyperplanes in any direction the distance between them ...

**28**

votes

**0**answers

1k views

### Shortest closed curve to inspect a sphere

Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of ...

**26**

votes

**0**answers

807 views

### Concerning the various proofs from the axiom of choice that R^3 admits of surprising geometrical decompositions into circles, skew lines and so on: can we prove in any instance that there are no Borel such decompositions? Or that AC is required?

This question follows up on a comment I made on Joseph O'Rourke's
recent question, one of several questions here on mathoverflow
concerning surprising geometric partitions of space using the axiom
of ...

**19**

votes

**0**answers

562 views

### Boundaries of noncompact contractible manifolds

It is known that a manifold $B$ bounds a compact contractible topological manifold if and only if $B$ is a homology sphere. The "only if" direction follows by excising a small ball in the interior of ...

**18**

votes

**0**answers

285 views

### The Eyeball Theorem generalized

I have not seen the 2D Eyeball Theorem—that tangents from the centers of two circles, each encompassing the other, intersect each circle in the same segment length—generalized to higher ...

**15**

votes

**0**answers

295 views

### Lipschitz constant of a homotopy

Let $n>0$, $\mathbb S^n$ be $n$-sphere and $1\in \mathbb S^n$ be its north pole.
A am looking for an example of compact manifold $M$ with a continuous $n$-parameter family off maps $h_x\colon M\to ...

**15**

votes

**0**answers

525 views

### Lipschitz Homeomorphisms Between Spheres of N-dimensional Spaces

Let $B_p^N$ be the unit ball of $\mathbb{R}^N$ under the $\ell_p^N$ norm.
Question: Let $C_N$ be the infimum of all $C$ for which there is a homeomorphism $f_N$ from $B_\infty^N$ onto $B_2^N$ so ...

**13**

votes

**0**answers

380 views

### An open problem in convex geometry

Is it possible to find four norms $\| \cdot\|_k$ $( 1 \leq k \leq 4)$ on the plane such that a three-dimensional normed space containing four subspaces isometric to these normed planes does not exist? ...

**13**

votes

**0**answers

457 views

### $\epsilon$-nets with respect to the cut norm

The cut norm $||A||\_C$ of a real matrix $A = (a_{i,j}) \in \mathcal{R}^{n\times n}$ is the maximum over all $I \subseteq [n], J \subseteq [n]$ of the quantity $\left|\sum_{i \in I, j \in ...

**12**

votes

**0**answers

120 views

### realization spaces of 3-dimensional polytopes

It is a well-know result (Steinitz, 1922) that the realization space of 3-dimensional convex polytopes with fixed combinatorics is contractible.
A proof of this theorem can be found for instance in ...

**12**

votes

**0**answers

532 views

### Are all these groups CAT(0) groups?

Given a geodesic metric space $X$ together with a choice of midpoints
$m:X\times X\rightarrow X$ (i.e. $d(m(x,y),x)=d(m(x,y),y)=d(x,y)/2$).
Assume furthermore, that the following nonpositive ...

**11**

votes

**0**answers

196 views

### Unit ball of smallest volume in a Hilbert geometry

In a letter to Felix Klein published in Mathematische Annalen 1895 (see here), Hilbert generalized the Cayley-Klein model of hyperbolic geometry by defining a metric on the interior of a convex body ...

**11**

votes

**0**answers

330 views

### Blocking light with mirrored convex objects

There is a long-unsolved problem posed by Janos Pach,
sometimes known as the enchanted forest problem,
which asks if it is possible to block a point light source
in the plane
from reaching
infinity by ...

**11**

votes

**0**answers

237 views

### Has Cheeger's 'de Rham cohomology' of metric measure spaces been studied beyond its definition?

In J. Cheeger's 'Differentiability of Lipschitz Functions on Metric Measure Spaces' (Geometric and Functional Analysis, 1999, Vol. 9 pp 428-517, see here), a 'de Rham cohomology group' ...

**11**

votes

**0**answers

366 views

### Does every connected set that is not a line segment cross some dyadic square?

A dyadic square is a subset of $R^2$ of the form $x + 2^{-n} [0,1]^2$ with $x \in 2^{-m} Z^2$, for integers $m,n \geq 0$. We say that a set $A$ crosses a square $S$ if there exists a connected subset ...

**10**

votes

**0**answers

238 views

### Update to Shephard's “Twenty Problems on Convex Polyhedra”

Forty-three years ago, Geoffrey Shephard published an influential list of open problems
on convex polyhedra.
Progress has been made on several of his problems, and perhaps some have been completely ...

**9**

votes

**0**answers

142 views

### Characterizing the norms on $\mathbb{R}^3$ coming from Platonic solids

Recall that any sufficiently nice compact centrally symmetric convex body in $B \subset \mathbb{R}^3$ gives rise to a Banach norm on $\mathbb{R}^3$ which has $B$ as its unit ball.
Is there a nice ...

**9**

votes

**0**answers

150 views

### Multiplicity of ball covering

Background. My questions are motivated by the following:
A. Conway and Sloane in "On the covering multiplicity of lattices" (Discrete
and Computational Geometry, 8 (1992) 109-130) considered the ...

**9**

votes

**0**answers

274 views

### Is the connected sum of knots an isometry?

Take $X$ as the set of knots in the 3-sphere (i.e. smooth embeddings of $S^1$ in $S^3$ up to smooth isotopy), endowed with the Gordian distance $d$.
For a fixed knot $K$ we can define the map ...

**9**

votes

**0**answers

144 views

### When is a submersion locally volume-expanding?

I would like to characterize the smooth maps $\varphi: \mathbb{R}^n \rightarrow \mathbb{R}^k$, $n\geq k$, with the following property:
For every $x\in \mathbb{R}^n$ there exists a positive number ...

**9**

votes

**0**answers

254 views

### Is it overkill to invoke Kirszbraun theorem to prove the following fact ?

Given a small enough convex triangle $(abc)$ in a (smooth or Alexandrov) surface $(X,d)$ of curvature greater than $-1$, let $(\overline{abc})$ be its comparison triangle in $\mathbb{H}^2$. Then there ...

**9**

votes

**0**answers

696 views

### 3-piece dissection of square to equilateral triangle?

At a workshop it was suggested that it likely remains an open problem
whether or not there is a 3- or 2 -piece
dissection
of a square to an equilateral triangle.
Can anyone confirm that this is ...

**9**

votes

**0**answers

188 views

### Conic neighborhoods â‡” Polyhedral

I am looking for a reference to the following fact (I can prove it
my-self, but it should be known for a century).
Let $X$ be a reasonable metric space such that each point has a spherical
...

**8**

votes

**0**answers

132 views

### Characterization of Volumes of Lattice Cubes

Here is a problem that came up in a conversation with a professor after I made a false assumption about the geometry of $\mathbb{Z}^n$. I do not know if he knew the answer (and told me none of it) and ...

**8**

votes

**0**answers

229 views

### Optimal inspection path on a sphere

Suppose you would like to "inspect" every point of a unit-radius
sphere $S \subset \mathbb{R}^3$ by walking along a path $\gamma$
on $S$, but you can only see a distance $d$ from where you stand.
...

**8**

votes

**0**answers

371 views

### High-dimensional geometry: Top-down Vs. Bottom-up

There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of ...

**8**

votes

**0**answers

488 views

### Hausdorff measure question

Say we have some compact metrisable topological space $X$ with a measure $\mu$ defined on the Borel sets of $X$. Then is there some way to determine whether $\mu$ is the Hausdorff measure associated ...

**7**

votes

**0**answers

78 views

### Longest induced cycles in random geometric graphs near criticality

We make a random geometric graph $X(n;r)$ as follows. Choose $n$ points uniformly, independently, in the unit square $[0,1]^2$, for vertices, and then connect a pair of vertices $\{ p,q \}$ by an edge ...

**7**

votes

**0**answers

181 views

### quantitative version of the rigidity of the 2-sphere

I am looking for a quantitaive version of the following theorem:
A compact surface with $K\equiv 1$ is isometric to the round sphere.
Of course I get the Berger, Brendle-Schoen Theorem which insures ...

**7**

votes

**0**answers

193 views

### Surfaces with many (but not solely) closed geodesics?

Let $S$ be a closed surface embedded in $\mathbb{R}^3$,
let's say of genus zero.
I seek examples of $S$ with the following property:
If one selects a random any point $p$ on $S$, and a random
...

**7**

votes

**0**answers

159 views

### Periodic orbits of a spinning ball in a square

Periodic orbits of a billiard ball bouncing in a square have been well-studied.
I am seeking similar analysis of what is sometimes called a rough ball, one
whose high friction causes it to pick up ...

**7**

votes

**0**answers

141 views

### Lattice radial-step (ratchet) spirals

(30Oct13: Now solved; see Addendum.)
Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.
$S(r_0,\epsilon)$ begins with the arc ...

**7**

votes

**0**answers

112 views

### Can two random graphs be metrically embedded into one another?

Let $X, Y$ be two random graphs on $n$ vertices (say, in $G(n, p)$ model for some $p$). Can anything (expectation, value with high probabiity, ...) be said about $D(X, Y)$, where $D$ is the minimal ...

**7**

votes

**0**answers

178 views

### Bi-spherical polyhedra

Bicentric polygons have been studied: a polygon all of whose vertices lie on its
circumcirle, and whose incircle is tangent to every edge:
I have not been able to find a comparable literature ...

**7**

votes

**0**answers

366 views

### Uniquely geodesic groups

Definition : A group is CAT(0) if it acts properly, cocompactly and isometrically on a CAT(0) space.
Examples : see this blog.
Remark : A CAT(0) space is uniquely geodesic, but the converse is ...

**7**

votes

**0**answers

170 views

### Systoles of hyperbolic (Riemann) surfaces of large genus

Let $m$ be a Riemannian metric on $S_g$ the surface of genus $g$, and $sys(m)$ be the length of the shortest non contractible cycle with respect to $m$.
The systolic inequality claims that for any ...

**7**

votes

**0**answers

122 views

### Minimal spanning tree of a point set in the unit square, under an unusual distance function

For two points $x$, $y \in [0,1]^2$, let their distance be $d(x,y) := \|x-y\|_2^2$ (i.e. the usual distance, squared). Technically, this is a semimetric, as it does not satisfy the triangle ...

**7**

votes

**0**answers

270 views

### Volume-like property to upper bound lattice points in a convex body

The following question arises in passing in a joint paper that I am working on. Let $K$ be a centrally symmetric convex body in an $n$-dimensional real vector space $V$ which contains a lattice $L$. ...

**6**

votes

**0**answers

145 views

### Reversing shortest paths among unit disks

Twas the night before Christmas, and throughout M.O.
Not a question was posted, not even by Joe.
Well, let me remedy that. :-)
Let the plane contain a number of ...

**6**

votes

**0**answers

157 views

### Equiareal shapes in $\mathbb{R}^d$

There was quite a bit of work on the so-called
equichordal problem throughout the 20th century, to decide if some plane convex
curve could have two equichordal points.
A point is equichordal for a ...

**6**

votes

**0**answers

131 views

### Choquet theory and Hilbert's fourth problem

The following text is an attempt to see Hilbert's fourth problem in a new light.
Definition. A pseudometric $d$ on $\mathbb{R}^n$ is called projective if whenever a point $z$ belongs to a line ...

**6**

votes

**0**answers

83 views

### Does every convex polyhedron have a combinatorially isomorphic counterpart whose angles between edges are rational multiples of $\pi$?

After reading these very interesting questions, I came up with another one:
Does every convex polyhedron have a combinatorially isomorphic counterpart whose angles between all pairs of edges meeting ...

**6**

votes

**0**answers

61 views

### Constructing a polyhedron of maximal possible volume from given bounds on areas of its faces

Consider $n$ variables $a_1,...,a_n$ ranging over $\mathbb{R}^+$. Suppose we are given $n$ pairs of positive rational numbers $(p_1,q_1),...,(p_n,q_n)$ where each pair imposes bounds on the ...

**6**

votes

**0**answers

119 views

### Variations on a problem of S. Mazur

In problem 76 of the Scottish Book Mazur asked
Given a convex body $K$ in three-dimensional space and a point $o$ in its interior, consider the surface $S$ formed by all points $p$ such that the ...

**6**

votes

**0**answers

178 views

### Right-angled polytopes

%This question is motivated by the little discussion here at the bottom.
The following thing are known about hyperbolic right-angled polytopes:
Compact hyperbolic right-angled polytopes do not ...

**6**

votes

**0**answers

314 views

### Rectangology and squareology

I thought that rectangles were simple, and squares even simpler. Until my research has led me to several questions about rectangles and squares, which I can't solve.
I started by posting this ...

**6**

votes

**0**answers

138 views

### Minkowski's convex body theorem for ellipsoids

Minkowski's theorem states that if $K\subseteq\mathbb{Z}^n$ is a convex compact set, $K=-K$, and $\mathrm{volume}(K)\geq 2^n$, then $K$ contains a nonzero integral vector.
Can this bound be improved ...

**6**

votes

**0**answers

282 views

### A conjecture of Thurston and possibly Weeks too

What is the status of the following conjecture:
"... [w]hen the shortest simple closed geodesics are repeatedly removed from any complete hyperbolic 3-manifold of finite volume, eventually one ...

**6**

votes

**0**answers

113 views

### Almost Isodiametric Sets

Hi,
The isodiametric inequality tells us that, of all sets of diameter $r$, the one with the largest Lebesgue measure is the ball of radius $r/2$ - and this holds regardless of norm. Let $\tau(r)$ be ...

**6**

votes

**0**answers

663 views

### Interpolating points with minimum curvature constraint

I have $n$ points $p_i$ strictly interior to a rectangle $R$,
and I would like to connect them with a curve $C$ whose curvature is as low as possible.
Let $\kappa_\max(C)$ be the sharpest (largest ...