# Tagged Questions

**61**

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

**29**

votes

**0**answers

1k 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 ...

**24**

votes

**0**answers

399 views

### Isometric embeddings of finite subsets of $\ell_2$ into infinite-dimensional Banach spaces

Question: Does there exist a finite subset $F$ of $\ell_2$ and an infinite-dimensional Banach space $X$ such that $F$ does not admit an isometric embedding into $X$?
There are some results of the ...

**24**

votes

**0**answers

475 views

### Is there an Ehrhart polynomial for Gaussian integers

Let $N$ be a positive integer and let $P \subset \mathbb{C}$ be a polygon whose vertices are of the form $(a_1+b_1 i)/N$, $(a_2+b_2 i)/N$, ..., $(a_r+b_r i)/N$, with $a_j + b_j i$ being various ...

**21**

votes

**0**answers

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

**17**

votes

**0**answers

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

**17**

votes

**0**answers

303 views

### “Japanese Theorem” on cyclic polygons: Higher-dimensional generalizations?

A beautiful theorem known as the Japanese Theorem (Wikipedia, MathWorld)
says that, no matter how one triangulates a cyclic (inscribed in a circle) polygon,
the sum of the radii of the incircles is ...

**16**

votes

**0**answers

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

**15**

votes

**0**answers

471 views

### The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in
a unit $d$-dimensional cube, with perfectly elastic wall collisions.
Let $k=n^{\frac{1}{d}}$.
For example, in 3D, $d=3$, with ...

**15**

votes

**0**answers

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

**15**

votes

**0**answers

332 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

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

**14**

votes

**0**answers

1k 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

95 views

### A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...

**13**

votes

**0**answers

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

**13**

votes

**0**answers

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

**12**

votes

**0**answers

154 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

310 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

114 views

### GPS calculations under $L^p$ norms

GPS calculations require finding a sphere externally tangent to
four given spheres, an
Apollonian problem
in $\mathbb{R}^3$.
The center of that fifth sphere is one of the $16$ possible solutions to
...

**11**

votes

**0**answers

339 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

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

170 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

92 views

### What are the extremal CAT(0) metrics?

(Split off from Does every CAT(0) space embed in a product of trees? )
Fix an integer $k \ge 2$, and let
$MC0_k \subset \mathbb{R}^{\binom{k}{2}}$ be the set of possible squared-distances between $k$ ...

**9**

votes

**0**answers

301 views

### diameter as a Morse function

Consider the space $X_1$ of closed subsets not containing a pair of antipodal points of the unit circle. Here we have a kind of degenerate Morse function, defined by the diameter of the pointset. ...

**9**

votes

**0**answers

149 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

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

**9**

votes

**0**answers

302 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

291 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

1k 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

209 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

196 views

### Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?

Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$?
It seems to me that it is an interesting ...

**8**

votes

**0**answers

189 views

### Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof.
Question: Let $M$ be a ...

**8**

votes

**0**answers

117 views

### Boomerangs in Polya's orchard

Polya's orchard problem asks for what radius $r$ of trees
at each lattice point within a distance $R$
of the origin block all lines of sight to the exterior of the orchard.
The answer is known; $r$ ...

**8**

votes

**0**answers

173 views

### Ricocheting pinball-like shot: Complexity?

Suppose one has $n$ perfect two-sided mirror segments in the plane $\mathbb{R}^2$.
The segments are open, excluding their endpoints.
They are disjoint as closed segments, i.e., no pair shares an ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

338 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$. ...

**8**

votes

**0**answers

522 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

114 views

### Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem,
solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires
"planks" (parallel strips) of total width $\ge d$ in order to completely cover
a ...

**7**

votes

**0**answers

110 views

### Thales Style Level Sets

Encouraged by Joseph O'Rourke ( and inspired by the discussion at
Thales' semicircle theorem in higher dimensions ), I ask about level sets in three
dimensional space occuring from considering ...

**7**

votes

**0**answers

133 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

**0**answers

116 views

### How many facets can $\{\|D^T x\|_1\leq 1\}$ have?

$\newcommand{\RR}{\mathbb{R}}$Consider $x\in\RR^n$ and $D\in \RR^{n\times p}$ with $p\geq n$ and full rank. My question is:
How many facets can the polytope $ \{x\in\RR^n\ :\ \|D^T x\|_1\leq 1\}$ ...

**7**

votes

**0**answers

104 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

177 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

144 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

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