# Tagged Questions

**8**

votes

**4**answers

413 views

### More than $n$ approximately orthonormal vectors in $R^n$

This question was asked at math.stackexchange, where it got several upvotes but no answers.
It is impossible to find $n+1$ mutually orthonormal vectors in $R^n$.
However, it is well established ...

**4**

votes

**2**answers

155 views

### Bound on Minimal Length of Vectors in Lattice and its Dual Lattice

Let $\Lambda$ be a lattice in $\mathbb{R}^n$ and $\Lambda^\ast$ its dual lattice. Let $d=\min_{v\in\Lambda} (v,v)$ and $d^\ast =\min_{v\in\Lambda^\ast} (v,v)$ be the minimal squared lengths of vectors ...

**3**

votes

**0**answers

59 views

### 3D objects with projections of constant area

Objects of constant width are well-known, and I have in my hand a (non-spherical) solid of constant diameter. The question arises:
Are there any non-spherical 3-dimensional objects such that their ...

**5**

votes

**1**answer

215 views

### Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...

**7**

votes

**0**answers

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

**11**

votes

**0**answers

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

**0**

votes

**1**answer

83 views

### Constructing measures with support in a given set

I've recently come across the Frostmann Lemma (http://en.wikipedia.org/wiki/Frostman_lemma). Its proof involves constructing a measure with certain properties on a given subset of $\mathbb{R}^n$ (I'm ...

**1**

vote

**2**answers

81 views

### Extreme points and centroid

It is well-known that the centroid of a triangle is the intersection point of its three medians. The medians happen to be area bisectors, but it seems that most (all?) other lines through the ...

**0**

votes

**1**answer

75 views

### harmonic maps from cone to $S^2$ locally lipschitz?

Are the harmonic maps from a 2-dimensional cone to $S^2$ locally lipschitz or Holder continuous?

**1**

vote

**2**answers

84 views

### Sampling uniformly from all possible line segments of a given length that fit inside a container

Consider that task of randomly placing a line segment of some length $L$ near a plane s.t. a point $p$ at the center of the line segment is at most a distance $H$ from the plane and intersections ...

**12**

votes

**3**answers

366 views

### Characterization of discs

Let $D$ be a bounded simply connected region (open subset homeomorphic to the disc)
in the plane, containing the origin.
Suppose that for every line $L$ through the origin the intersection ...

**5**

votes

**1**answer

126 views

### Maximal regions with given diameter

Let us call a bounded region $D$ in the plane maximal if the conditions $D\subset D'$ and
$\mathrm{diam} D'=\mathrm{diam} D$ imply $D'=D$.
Is it possible to describe all maximal regions?
The only ...

**2**

votes

**1**answer

37 views

### Seeking criteria for “threadable” pairs of centrosymmetric polyhedra

Let $A$ and $B$ be origin-centered centrosymmetric polyhedra in $\mathbb{R}^3$:
"for every point $(x, y, z)$ [...] there is an indistinguishable point $(-x, -y, -z)$."
Say that $A$ and $B$ are ...

**2**

votes

**0**answers

51 views

### Measure of points with small neighborhood in convex bodies

Let $K \subseteq \mathbb{R}^n$ be a "fat" convex body, i.e. one that contains a ball of radius 1. I'm interested in the following question about points $y \in K$: If you take a normally distributed $e ...

**4**

votes

**1**answer

427 views

### Probability distribution or the distance between two points in $n$-dimensional Euclidean space after a random perturbation of one point

Take two points, $p_0$ and $p_k$, in $n$-dimensional Euclidean space, where $d(p_0,p_k)$ is the distance between the points. Now, draw an $n$-sphere of radius $r$ centered on $p_0$ and uniformly ...

**11**

votes

**2**answers

327 views

### The intersection of a circle and a rank 3 subgroup of the plane

Let $A$ be a rank 3 subgroup of the Euclidean plane, i.e. $A = \mathbb{Z} v_1 + \mathbb{Z} v_2 + \mathbb{Z} v_3$, where $v_1, v_2, v_3 \in \mathbb{R}^2$ are three $\mathbb{Q}$-linearly independent ...

**8**

votes

**1**answer

464 views

### Is this knot invariant already treated somewhere in the literature?

Fix a knot type $K \subset S^3$, and consider the set $$Y_K = \{ \mbox{Diagrams of }K \} / \mbox{planar isotopy}.$$
We can turn $Y_K$ into a metric space by considering the distance induced by ...

**1**

vote

**0**answers

50 views

### Twisted calibrations and sufficient conditions on homology of sub-manifolds

I think my question is somehow easy to solve, but I'm not very familiar with algebraic topology, so I'm not able to figure out the solution for myself. I'm working on a problem in metric geometry and ...

**3**

votes

**1**answer

206 views

### Computational approach deciding whether a set of Wang Tile could tile the space up to some size

As an applied person, I'm facing one practical problem deciding whether a set of Wang tile could tile the plane periodically or aperiodically. Although both problems seem undecidable, but I'm on a ...

**5**

votes

**3**answers

276 views

### How hard is it to determine if a weighted graph can be isometrically embedded in R^3?

Consider a graph $G$ with nonnegative edge weights.
Question: In $\mathbb{R}^3$, how hard is it to assign coordinates to vertices such that the Euclidean length of each edge is equal to its weight?
...

**9**

votes

**1**answer

277 views

### A question about tiling Hilbert Space

Let H be an infinite dimensional and separable Hilbert Space. Let e be a positive real number-which can be arbitrarily small. Does there exist a denumerably infinite set S of pairwise disjoint and ...

**3**

votes

**1**answer

163 views

### Planar linkage that traces a circle from its exterior?

Q.
Is there a linkage in the plane that traces out a circle $C$
in such a manner that the interior of the disk bounded
by $C$ is never intersected by any link througout the motion?
What I ...

**5**

votes

**1**answer

230 views

### Why is proving $C^{\infty}$ regularity of sub Riemannian geodesics so hard?

In Montgomery's A Tour of Subriemannian Geometries, Their Geodesics and Applications, problem 10.1 in Chapter 10 asks "Is every minimizing geodesic smooth ?".
Can someone explain what are the major ...

**13**

votes

**0**answers

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

**1**

vote

**2**answers

160 views

### Local vs distance function metric structures

The geodesic distance $d(p_1, p_2)$ on a geodesically complete, Riemanian manifold is a metric in the sense of a metric space metric. I'd like to know when other infinitesimal metric structures (e.g. ...

**2**

votes

**1**answer

146 views

### Approximation of a convex body by a contained polytope

This question deals with approximating a convex body (a compact convex set of $\mathbb{R}^d$ with non-empty interior) by convex polytopes.
For a given $\delta$, let $n_\delta$ be the number of faces ...

**1**

vote

**2**answers

214 views

### Möbius transformation by 3 points in the Minkowski model

Goal
I'm interested in describing Möbius transformations in the plane, and I'd like to define them in terms of three points and their images.
What I have tried
I know that a projective ...

**42**

votes

**2**answers

1k views

### How many unit cylinders can touch a unit ball?

What is the maximum number $k$ of unit-radius cylinders with mutually disjoint interiors that can touch a unit ball?
By a cylinder I mean a set congruent to the Cartesian product of a line and a ...

**9**

votes

**0**answers

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

**3**

votes

**2**answers

317 views

### Reference request for an early theorem of Gromov

In his talk Misha Gromov- How does he do it, Jeff Cheeger mentions a theorem of Gromov proved sometime in the early 70's. Theorem: Every manifold admitting a sequence of metrics such that the diameter ...

**14**

votes

**4**answers

841 views

### What is the analog of the “Fundamental Theorem of Space Curves,” for surfaces, and beyond?

The "Fundamental Theorem of Space Curves"
(Wikipedia link; MathWorld link)
states that there is a unique (up to congruence)
curve in space that simultaneously realizes
given continuous curvature ...

**1**

vote

**1**answer

103 views

### Mahler Volume of the Snub 24-Cell

I have been working recently on the Mahler conjecture and I am interested in what the Mahler volume of the snub 24-cell in order to check an example calculation.
The recent paper regarding the snub ...

**5**

votes

**1**answer

317 views

### Background to understand Gromov's green book

I have a decent background in differential geometry. I have read John Lee's introduction to smooth manifolds and doCarmo's Riemannian Geometry. I was trying to read Misha Gromov's Metric structures ...

**2**

votes

**0**answers

60 views

### A cylinder leaking Brownian particles, cut in half by a mirror

This question is tangentially related to Probability a Brownian particle with an exponentially distributed lifetime hits a sphere before vanishing.
I have an infinitely long cylinder of some radius ...

**2**

votes

**1**answer

153 views

### Distance measure for noisy $SE(3)$ transforms

I have a transformation $T \in SE(3)$ parameterized by a mean quaternion $q$ with covariance matrix $\Sigma_q \in R^{4\times4}$ and a mean translation $t \in R^3$ with covariance matrix $\Sigma_t \in ...

**1**

vote

**0**answers

92 views

### On 'Very Movable' Geometric Configurations (Configurations with a large degree of freedom)

Let $C$ be an $(n_r, b_k)$ combinatorial configuration that admits a geometric realization in the plane. I'm interested in the maximum number of points/lines $M$ of $C$ we can place in general ...

**1**

vote

**2**answers

373 views

### Isometric embeddings of metric spaces in Hilbert spaces

There are plenty of isometric embeddings of metric spaces in Banach spaces. Nevertheless, I have been unable to find any significant result on isometric embeddings into Hilbert spaces. My question is: ...

**2**

votes

**0**answers

85 views

### Convex polyhedra jammed in $k$ disjoint holes

For a given convex polyhedron $P \subset \mathbb{R}^3$,
I was imagining finding the optimal "fixing" of $P$ in holes (or jamming them in "mud"),
which led to the following question.
First, scale $P$ ...

**1**

vote

**1**answer

201 views

### Normal tubular neighborhood theorem for semi(or pseudo)-riemannian manifolds

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not ...

**22**

votes

**3**answers

2k views

### Can a unit square be cut into rectangles that tile a rectangle with irrational sides?

For arbitrary positive integers $m$ and $n$, if we dissect a unit square into an $m\times n$ rectangular grid of $1/m\times 1/n$ rectangles, we can reassemble these $mn$ rectangles into an $n/m\times ...

**5**

votes

**1**answer

176 views

### Simultaneous geometric separator

A geometric separator is a line that separates a given set of shapes to two subsets of approximately the same size (up to a constant), while intersecting only a small number of shapes. When a ...

**3**

votes

**1**answer

116 views

### Is any finite collection of points contained in a cut and project set with $\mathbb{R}^d$ as internal space?

In "Meyer Sets and their Duals" Moody proves that any Meyer set union a finite number of points is again a Meyer set. Additionally, any Meyer set is contained in a finite union of model sets whose ...

**8**

votes

**2**answers

327 views

### $\mathrm{Bessel}^3$ Integral

I'm trying to calculate the following integral:
$\int_0^\infty \mathrm{BesselJ}[l_0,k_0r] \cdot \mathrm{BesselJ}[l_1,k_1r] \cdot \mathrm{BesselJ}[l_0-l_1,kr] \cdot r\,dr$
($\mathrm{BesselJ}[n,x]$ is ...

**1**

vote

**1**answer

206 views

### Harmonic function defined on a cone

It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone?
...

**19**

votes

**5**answers

811 views

### Lightray trapped between two mirror disks: Computation formulation?

I would like to calculate the angle of a ray $r$ from a given
point $p$ such that it gets "stuck" reflecting between
two congruent mirror-disks.
For why there is such a ray, see the (amazing!) answer
...

**0**

votes

**1**answer

119 views

### What is the area of the piece of an $n$-sphere within a given angle of a vector? [closed]

Let $x$ be the unit vector $(1,0,0,\ldots,0)$ in $\mathbb{R}^n$, and let $A(\theta)$ be the subset of $\mathcal{S}^{n-1}$ whose angle to $x$ is less than $\theta$, i.e.
$$ A(\theta) = \left\{ y \in ...

**9**

votes

**1**answer

197 views

### Is it always possible to “encircle” exactly $n$ points in an infinite subset of $\mathbb{R}^d$ without limit points?

Let $d$ be a positive integer, and let $\mathbb{R}^d$ be endowed with the
Euclidean metric. Given an infinite set $S \subset \mathbb{R}^d$ without limit points
and a positive integer $n$, is there ...

**3**

votes

**1**answer

80 views

### Generalizations of Directly Similar Theorem?

There is an attractive theorem that says that if two plane figures
are directly similar, then so is any convex combination of them.
Below, $P_1$ and $P_2$ are directly similar polygons: they have
the ...

**2**

votes

**1**answer

170 views

### Model of hyperbolic geometry with finite number of parallel line

Does there exist a model of hyperbolic geometry such that only finite number of distinct parallel lines through a point which does not intersect given line?
Edit (Misha): I usually do not edit other ...

**12**

votes

**1**answer

297 views

### Lower-Hölder embeddings of the sphere

My question is very simple:
Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that
$$
|f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r,
$$
for ...