Deprecated; please use a more specific tag.

**14**

votes

**0**answers

402 views

### Random Distance Matrices

My question is motivated by the following recent paper:
http://arxiv.org/abs/1110.6333
Assume you have a metric space $(X,d)$ equipped with a Borel probability measure $\mu$. We can further assume ...

**14**

votes

**0**answers

645 views

### Milnor's cartography problem

Let $\Omega$ be a round disc of radius $\alpha<\pi/2$ on the standard sphere.
It is easy to construct a $(1,\tfrac{\alpha}{\sin\alpha})$-bi-Lipschitz map from $\Omega$ to the plane.
Is it true ...

**12**

votes

**0**answers

859 views

### coloring ${\mathbb Z}^k$

This question is related to but seems to be simpler than this one, so perhaps somebody can solve it.
Question. Is there $k\ge 1$ and a coloring of vertices of the lattice ${\mathbb Z}^k$ in $k$ ...

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

361 views

### Functions approximated by rolling epicycle curves

Imagine a decreasing sequence of (positive) radii $r_1 > r_2 > r_3 > \cdots$
and a series of nested circles $C_1 \supset C_2 \supset C_3 \supset \cdots$
with these radii,
initially each ...

**9**

votes

**0**answers

685 views

### Dissecting trapezoids into triangles of equal area

[Lightly edited for copy and proper formatting of mathematics. -- Pete L. Clark]
The Background: Let $T$ be a trapezoid. Sherman Stein, using valuation theory, showed that if $T$ is dissectible into ...

**8**

votes

**0**answers

157 views

### Covering of the plane with manholes

Some shapes, such as the disk or the Releaux triangle can be used as manholes,
that is, it is a curve of constant width.
(The width between two parallel tangents to the curve are independent of the ...

**8**

votes

**0**answers

248 views

### Expanding disks lead to what packing of the plane?

Suppose one sprinkles points uniformly at random on the infinite Euclidean plane,
with some density $\rho$ per unit area.
View the points as disks of radius zero.
Now the radii $r$ of all disks grows ...

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

166 views

### Does there always exist a self dual polytope that contains a given polytope contained in its dual?

Suppose a polytope $P$ is contained in its dual polytope $\tilde{P}$. Does there always exist a polytope $Q$ that contains $P$ and is self dual $Q=\tilde{Q}$? Is there any bound on the minimal number ...

**8**

votes

**0**answers

284 views

### is a group $G$, that admits finite $k(G, 1)$ and has no Baumslag-Solitar subgroups, necessarily hyperbolic?

This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is ...

**7**

votes

**0**answers

187 views

### From convex geometry to contact topology

Here is a problem in contact topology that was suggested by Petya's answer to this mathoverflow question of mine.
Let $S^* \mathbb{R}^n$ be the space of cooriented contact elements of $\mathbb{R}^n$. ...

**7**

votes

**0**answers

420 views

### Maximal set on hypersphere that does not contain pairs of orthogonal vectors

Let R be a region on a hypersphere. Each point A of the hypersphere
is associated with a vector pointing to A and with origin at
the centre of the hypersphere. So let me identify each point with a
...

**7**

votes

**0**answers

355 views

### Who conjectured that a transitive projective plane is Desarguesian?

The only known finite projective plane with a transitive automorphism group is the Desarguesian plane $PG(2,q)$ and it seems likely that there are no others, although this is not (quite) proved.
...

**7**

votes

**0**answers

215 views

### Coloring toroidal polyhedra with convex faces?

Consider a toroidal polyhedron, which is a topological torus, in which all faces are planar, two faces meet in at most an edge, and adjacent faces are not coplanar. The Szilassi polyhedron has 7 ...

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

189 views

### Families of triangulations of polygons in the plane

Let $P$ be a polygon in the plane. An "efficient" triangulation of $P$ is one that introduces no new vertices. We require that all introduced edges be straight and inside $P$. Every polygon in the ...

**5**

votes

**0**answers

192 views

### Rigid-body matching algorithm and clustering algorithm with groups of lines in 3D

I've been struggling with this problem for weeks, and couldn't find an appropriate algorithm to solve it. Could you guys please give me some advices or suggestions in addressing this question. Or if ...

**5**

votes

**0**answers

271 views

### Maximum volume convex body coverable by a unit square

Suppose you are given a single unit square, and you are permitted to cut it into $k$ (connected)
pieces (where $k=1$ means just the square). Your task is to construct the largest volume
convex body ...

**5**

votes

**0**answers

252 views

### Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...

**5**

votes

**0**answers

252 views

### Erlangen program carried out explicitely?

I'm looking for a book where the Erlangen program is carried out on some example groups with explicit computations.
What I mean by "carrying out Erlangen program" is picking a specific group (say ...

**5**

votes

**0**answers

467 views

### Homometric $\Rightarrow$ isometric?

Suppose you know that there is a mapping between
two Riemmanian manifolds $M_1$ and $M_2$ such that,
for each $x_1 \in M_1$, the (codimension-1) measure of the set of points
at distance $d$ from $x_1$ ...

**4**

votes

**0**answers

224 views

### Averaging lengths and distances

A natural way in which Finsler metrics appear in Riemannian geometry is as averages of Riemannian metrics (e.g., the average of the arc-length elements
$\sqrt{dx^2 + dy^2}$ and $\sqrt{2dx^2 + 3dy^2}$ ...

**4**

votes

**0**answers

198 views

### The probability distribution for the number of pairwise distances $\leq$ some threshold for points uniformly placed in a sphere

If I place place $N$ particles in a sphere of radius $R$, selecting positions across the sphere's volume with uniform probability, what is the exact probability distribution for the number of pairwise ...

**4**

votes

**0**answers

217 views

### Symmetric matrices and Hilbert's fourth problem

From the analytic viewpoint, the Busemann-Pogorelov solution of Hilbert's fourth problem is summarized in the following result:
Theorem. All straight lines are extremals of the variational problem
$$
...

**4**

votes

**0**answers

151 views

### Convex bodies with symmetric shadows.

Theorem. If all orthogonal projections of a convex body $K \subset \mathbb{R}^n$ onto $2$-dimensional subspaces have a center of symmetry, then $K$ has a center of symmetry.
This is a classic result ...

**4**

votes

**0**answers

126 views

### Can a simple Riemannian metric on the disc be extended to a Zoll metric on the sphere?

Given a simple Riemannian metric $(D,g)$ on the two-disc---its geodesics have no conjugate point and the boundary of the disc is strictly convex---, is it possible to embed $(D,g)$ isometrically into ...

**4**

votes

**0**answers

100 views

### Simultaneous Strong Law of Large Number classes?

Say that $C$ is a SSLLN class of subsets of some topological space $V$ provided that for every sequence of i.i.d.r.v.s $X_1,X_2,...$ with values in $V$, we almost surely have: For every $A$ in $C$, ...

**4**

votes

**0**answers

218 views

### Geometric applications of Ekeland's variational principle

I'm looking for geometric applications of Ekeland's variational principle in order to see it at work in a context I'm familiar with. Let me recall the principle itself:
Definition. Let $(X,d)$ be a ...

**4**

votes

**0**answers

86 views

### Applications of k-medians with moment constraints

Suppose I have a collection of points $p_1,\dots,p_N$ in the plane. In the Euclidean $k$-medians (or $k$-means) problems, our objective is to distribute a set of $k$ points $x_1,\dots,x_k$ in the ...

**4**

votes

**0**answers

268 views

### degenerating surface II

In degenerating surface, Robert Bryant give us an example of a sequence of minimal immersions which converges (in $C^2$- topology) to $z\mapsto z^{2k+1}$ on the unit disc $\mathbb{D}$. My question is ...

**4**

votes

**0**answers

314 views

### Geometric meaning of gamma sets

First some notation:
Let $\mathscr{F}_* $ be the category of finite pointed sets and pointed maps between them. Then $\Gamma^{op}$ is the full subcategory of $\mathscr{F}_* $ with objects the sets ...

**4**

votes

**0**answers

97 views

### What is known about the number of permissible simplicial complexes given the number of k-cells?

Motivation: I am working on a problem that reduces to finding simplicial complexes given some data (details are unnecessary), but all I have managed to wrangle from my input is the number of cells of ...

**3**

votes

**0**answers

415 views

### What is known about the area of the symmetric Pythagorean tree?

What is known about the area of the symmetric Pythagorean tree? (Closed unit square as base, area of enclosed triangles not included.) The problem in calculating the area is that squares start to ...

**3**

votes

**0**answers

137 views

### Generalization of the equilateral triangle ?

I consider points in the two-dimensional plane.
An equilateral triangle is a set of three points in the plane which are equidistant.
Suppose now I have $n$ points $x_1,...,x_n$. What is the ...

**3**

votes

**0**answers

62 views

### Node-Weighted Euclidean Steiner Trees

I would like to know whether the following problem, including algorithms to solve it (exact or approximations) has been studied.
A finite set of positive-weighted points are given in the ...

**3**

votes

**0**answers

128 views

### The mean number of vertices in small connected components of random geometric graphs

I place $N$ points on a circular plane of radius $R$, and draw edges to connect points that are less than or equal to some distance $D$ to form a set of graphs or cliques $G_i$. As a function of $N$, ...

**3**

votes

**0**answers

141 views

### An isoperimetric inequality for “order” polytopes

I am looking for an isoperimetric inequality for order-like polytopes.
An order polytope $K\in \mathbb{R}^n$ is defined by a set of linear inequaities:
$$ \forall i \; 0\leq x_i \leq 1 $$
and
$ ...

**3**

votes

**0**answers

251 views

### generalization of the “double cap conjecture” to a vector space with complex field

The conjecture that I proposed in
Maximal set on hypersphere that does not contain pairs of orthogonal vectors
is in fact known as the "double cap conjecture", as noted by Guillaume Aubrun.
See for ...

**3**

votes

**0**answers

131 views

### Is there an ellipsoid with given outer normals?

Pick two points $(x,0)$ and $(0,y)$ (say $x>0$ and $y>0$). Pick a unit vector $u = (u_1,u_2)$, $v = (v_1, v_2)$, and attach one to each of the points. Provided $u$ and $v$ are "nice" ($v$ needs ...

**3**

votes

**0**answers

216 views

### Existence of partitions of $S^{n-1}$ with hypercubes

For which value of the integer $n$ does there exist a partition of $S^{n-1}$, the unit sphere of $\mathbb{R}^n$ for the euclidean norm, by a family of images of the standard hypercube $C=\{ (e_1, ..., ...

**3**

votes

**0**answers

296 views

### Characterizations of Euclidean space

I posted this question at math.stackexchange.com but didn't get an answer. Is it a dumb question, eventually?
There are three ways of characterizing the abstract Euclidean space $E^n$ that are quite ...

**3**

votes

**0**answers

145 views

### Characterizing polyhedron from Brownian particle collisions with a boundary

Please imagine that we have an ordinary 2-sphere, of radius $r_{sphere}$, and some three-dimensional polygon that has all of its points fixed at positions strictly internal to the sphere's surface. ...

**3**

votes

**0**answers

450 views

### Unprovability of the Steiner-Lehmus theorem

Conway postulated that the Steiner-Lehmus theorem is unprovable using direct methods of proof. Can this be proven directly, that the Steiner-Lehmus theorem cannot be proven directly over Euclidean ...

**2**

votes

**0**answers

81 views

### Reachability in dynamic random graphs

There has been some advice on how to ask questions. So I reask my question.I have a problem related to graph theory, random graphs or random geometric graphs in special that really confuses me. ...

**2**

votes

**0**answers

100 views

### Blowing up spheres in a face centered cubic (fcc) packing geometry just enough to cover the volume of the lattice

Imagine I have an infinite lattice of spheres packed in a face centered cubic (fcc) lattice geometry which has the basis: $((-1, -1, 0), (1, -1, 0), (0, 1, -1))$. Here, provided that sphere-sphere ...

**2**

votes

**0**answers

29 views

### Diameters of the images of two balls under a function

Let $ \Omega $ be an open and bounded subset of $ \mathbb{R^n} $, and let $ f:\Omega \to \mathbb{R} $ be a continuous function. I'm looking for some (preferably, minimal) conditions on $ f $ under ...

**2**

votes

**0**answers

80 views

### Largest subsets of quadrics consisting of “nonorthogonal” vectors

Assume we have an $A$-module $M$, and a quadratic form $q : M \to A$. Recall that it means that
1) $q (a m) = a^2 q (m)$ for all $a \in A$ and $m \in M$, and
2) $B_q (x, y) := q (x + y) - q (x) - q ...

**2**

votes

**0**answers

62 views

### Are there a group of mappings from (n-1)-dim space to an (n-1)-sphere guaranteeing the orthogonality of images?

Hello, everyone.
As we know that in an $n$-dimensional Euclidean space $\mathbb{R}^n$, there exists a continuous bijective mapping from a subset $V^{n-1}\subseteq\mathbb{R}^{n-1}$ to a unit ...

**2**

votes

**0**answers

191 views

### Pencils of circles and Liouville's theorem

Is there any relation (maybe implicit) between the conformal geometry in the space of circles and spheres and the study of harmonic functions?
In the original question I was musing whether the ...