Deprecated; please use a more specific tag.

**16**

votes

**0**answers

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

**15**

votes

**0**answers

661 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

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

**12**

votes

**0**answers

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

**10**

votes

**0**answers

377 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

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

**9**

votes

**0**answers

734 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

270 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

176 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

324 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

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

**7**

votes

**0**answers

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

**7**

votes

**0**answers

202 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

425 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

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

**7**

votes

**0**answers

231 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

197 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

105 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$, ...

**5**

votes

**0**answers

201 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

292 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

263 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

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

**4**

votes

**0**answers

254 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

262 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

231 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

159 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

145 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

87 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

272 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

322 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

110 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

471 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

63 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

144 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

253 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

132 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

218 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

309 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

463 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

92 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

128 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

31 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

172 views

### A question on the theorem of Minkowski-Hlawka

The Minkowski-Hlawka theorem (as stated by Gruber in his lovely book Convex and Discrete Geometry) says that if $S$ is a Jordan measurable set in $\mathbb{R}^n$ with volume < 1. Then there is a ...

**2**

votes

**0**answers

54 views

### Lorentzian isoparametric hypersurfaces of ads

A hypersurface of a pseudo-Riemannian manifold is said to be isoparametric if its shape operator has the same characteristic polynomial at all points. Xiao has classified Lorentzian isoparametric ...

**2**

votes

**0**answers

81 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

63 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

96 views

### Isometric decomposition

Any progress on the following: Can a closed disc in the plane be partitioned into three disjoint sets which are pair-wise isometric, i.e. each set is an image of the others an isometry?

**2**

votes

**0**answers

147 views

### Honeycomb-type properties of the Delaunay triangulation and Voronoi diagram

Suppose I'd like to distribute a set of points $P=\lbrace p_1 ,\dots, p_n \rbrace$ in the unit square $S=[0,1]\times[0,1]$ to minimize a weighted sum of two things:
1) The average distance between a ...