**13**

votes

**2**answers

571 views

### (Non)existence of mirrors with more than two foci

Do there exist any mirrors $M$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ for which there exist three different points $x_1$, $x_2$, $x_3 \in \mathbb{R}^d$ such that if any ray of light passes ...

**6**

votes

**1**answer

117 views

### Angle subtended by the shortest segment that bisects the area of a convex polygon

Let $C$ be a convex polygon in the plane and let $s$ be the shortest line segment (I believe this is called a "chord") that divides the area of $C$ in half. What is the smallest angle that $s$ could ...

**2**

votes

**0**answers

73 views

### Intersecting balls with convex regions and a bisector thereof

This question is related to my previous posting
Angle subtended by the shortest segment that bisects the area of a convex polygon
Let $C$ be a convex region in the plane and let $s$ be the shortest ...

**12**

votes

**2**answers

433 views

### Thales' semicircle theorem in higher dimensions

Thales semicircle theorem says that an angle inscribed in a semicircle is a right angle.
Q1. Does a cone with apex on a hemisphere and encompassing the circular base
have a solid angle ...

**5**

votes

**0**answers

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

**3**

votes

**0**answers

68 views

### Is there any counterpart to Thales' semicircle theorem in higher dimensions?

It was established by TMA, @WillSawin, and @DouglasZare, in their responses to
the MO question,
"Thales' semicircle theorem in higher dimensions,"
that the natural generalization of Thales' semicircle ...

**4**

votes

**2**answers

144 views

### How can dimension depend on the point?

Let $M$ be a metric space.
For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension.
For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...

**2**

votes

**0**answers

88 views

### Geometry of rings and semi-rings

Basically, I wonder whether a theory similar to geometric group theory has been or could be developed for rings and semirings.
One direction would be the following. Consider $\mathbb{N}$ (with the ...

**3**

votes

**2**answers

152 views

### distributional Hessian for semiconvex functions on non-smooth manifolds

Let $f:R^n \to R$ be convex. Then there exist signed Radon measures $\mu^{ij}=\mu^{ji}$ such that
$$
\int_{R^n} f \frac{\partial^2 \varphi}{\partial x_i \partial x_j} dx= \int_{R^n} \varphi d\mu^{ij} ...

**8**

votes

**3**answers

631 views

### Solid angles of a tetrahedron

This is a problem I have had for a while. For a triangle, the side opposite the largest angle has the largest length (and similarly for smallest angle). For a tetrahedron, the question is whether the ...

**5**

votes

**2**answers

151 views

### name for a polytope constructed from a system of linear equations?

To a system of inhomogeneous linear equations, one can associate a polytope, as follows. Let $A\in\mathbb{R}^{m\times n}$,
$b\in\mathbb{R}^m$ and $V=\{x\mid Ax=b, \text{support of $x$ ...

**0**

votes

**0**answers

13 views

### Probability distribution of the distances between N mobile nodes in a square plain of length l [closed]

For N randomly moving nodes enclosed in a square plain of length l. The (Nchoose2)W samples of the distances between the nodes are collected over a window of length W. We can assume W is large, what ...

**1**

vote

**1**answer

49 views

### Control of the metric in isothermal coordinates

Suppose you have a riemannian surface $(\Sigma,g)$, and an open simply-connected set $U \subset \Sigma$. You know that you can find isothermal coordinates - that is a map $\varphi : U \rightarrow D$ ...

**1**

vote

**0**answers

61 views

### A version of isotone projection cones

We write $a \succeq b$, where both $a, b \in \mathbb{R}^n$, as a shorthand for $a_i \ge b_i$ for all $1 \le i \le n$. Let $C$ be a closed convex cone in the first orthant of $\mathbb{R}^n$ and denote ...

**2**

votes

**1**answer

69 views

### distance formula of warped products

Given a warped product, I want to compute the ditance of any two points. First get the equation for the geodesic, then compute the length of the geodesic.
Consider the two-dimensional surface
$$
...

**37**

votes

**1**answer

377 views

### Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$

Let $f : \mathbb{R} \longmapsto \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a line in ...

**12**

votes

**5**answers

984 views

### Definition of area

I am looking for an attractive, but rigorous definition of area;
say in Euclidean plane. Probably there is no short definition. It is OK to make it even longer, but can it be built from useful parts ...

**2**

votes

**1**answer

114 views

### hyperbolic metrics

Let $D_1\subset D_2$ be simply connected domains in the complex plane. Let $\lambda_1$ and
$\lambda_2$ be the corresponding hyperbolic (Poincare) metrics. It seems intuitive to me that
$\lambda_2$ is ...

**5**

votes

**3**answers

2k views

### A metric for Grassmannians

I'm reading an article by Ricardo Mañé, Hausdorff dimension is diffeomorphism. I'm having a technical problem. Sorry for my ignorance, but I would like a reference which explains how to equip the ...

**2**

votes

**0**answers

113 views

### Dynamics of electrons on a sphere

Suppose one place $n$ electrons closely surrounding the north pole of a sphere, forming
a perfect planar regular $n$-gon:
Q1.
What will happen if the ...

**2**

votes

**0**answers

76 views

### Computing Voronoi poles in $\mathbb{R}^d$ (the farthest points within each cell)

Say I have a Voronoi diagram of some points $p_1,\dots,p_n\in\mathbb{R}^d$, which tesselates $\mathbb{R}^d$ into cells $V_1,\dots,V_n$. Within each cell $V_i$, the pole is defined as the vertex of ...

**14**

votes

**1**answer

293 views

### 3D models of the unfoldings of the hypercube?

There are (apparently) 261 distinct unfoldings of the 4D hypercube, a.k.a., the
tesseract, into 3D.1
These unfoldings (or "nets") are analogous to the 11 unfoldings of
the 3D cube into the plane.2
...

**2**

votes

**1**answer

253 views

### Perimeter of ellipse: Combination of two geometries

Is there a Riemannian metric $g$ on $\mathbb{R}^{2}$ such that for every ellipse $\gamma$ in the plane we have:$$\text{The Euclidien perimeter of}\; \gamma=\lambda (g\text{-diameter ...

**0**

votes

**2**answers

115 views

### Are there CAT(-1) spaces which are not trees whose Gromov boundary is disconnected?

Are there some examples of CAT(-1) spaces which are not trees which have disconnected Gromov boundary?

**2**

votes

**1**answer

84 views

### Reference request: flat surfaces

When writing a paper, I feel like to point out exact references to the following seemly easy facts concerning flat structures on a closed surface $\Sigma$ with negative Euler characteristic:
The ...

**19**

votes

**2**answers

812 views

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

**1**

vote

**0**answers

55 views

### Is there a projective metric on a projective space induced by a p-norm?

A projective metric on a projective space is a metric on the underlying set such that shortest path with respect to this metric are parts of entire projective straight lines.
The 2-norm induces the ...

**1**

vote

**2**answers

95 views

### Curves similarity metric [closed]

I am working on an optical character recognition algorithm that takes vector data (i.e. polylines) as input rather than raster picture. E.g., we have N polyline samples, and when certain polyline is ...

**2**

votes

**1**answer

136 views

### Closed geodesics that cross one another frequently

Let $S$ be a smooth, closed, genus zero surface in $\mathbb{R}^3$.
$S$ has at least three simple (non-self-intersecting), closed geodesics by
a theorem of Lyusternik and Shnirel'man.
Alternatively, ...

**4**

votes

**3**answers

252 views

### Area of metric spheres in Riemannian manifolds

I am trying to estimate the integral $\int \mathbb{e} ^{-d(x_0,x)^2} \mathbb{d}x$ on a Riemann manifold $(M,g)$, for some arbitrary fixed $x_0 \in M$ and $d$ the usual distance. The only thing that I ...

**2**

votes

**1**answer

136 views

### length comparison on negatively curved surfaces

Suppose $g_1$, and $g_2$ are two Riemannian metrics on a closed surface $S$, provided that the Gaussian curvature $K_{g_1}$ $<$ $K_{g_2}\leq -1$. Denote by $\mathcal{C}$ the set of free homotopy ...

**0**

votes

**1**answer

125 views

### Convergence in the Wasserstein metric and the square root function

Let $f$ be a smooth probability distribution on the unit square $S$ such that $f(x)>0$ on $S$. Let $\{g_i\}$ be a sequence of smooth probability distributions such that $g_i(x)>0$ on $S$ as ...

**5**

votes

**1**answer

546 views

### Elementary problem about triangles inside a convex polygon

Let P be a convex polygon with area A(P), and to each side of P, attach the largest area triangle possible that lies entirely within P. Must the sum S(P) of the areas of these triangles always satisfy ...

**1**

vote

**0**answers

97 views

### Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density).
I ...

**7**

votes

**1**answer

126 views

### Upper bound for the number of integral points in a convex set

Let $K \subset \mathbb{R}^3$ be a bounded convex set such that the points with integer
coordinates in $K$ are not all coplanar. Is it true that $|K \cap \mathbb{Z}^3| \leq 6{\rm Vol}(K) + 3$?

**5**

votes

**2**answers

110 views

### Which unfoldings of the hypercube tile 3-space: How to check for isometric space-fillers?

Recently Mark McClure constructed and displayed
the 261 unfoldings of the hypercube (tesseract)
in response to the question,
"3D models of the unfoldings of the hypercube?":
The first 9 unfoldings ...

**2**

votes

**3**answers

799 views

### Is there a simple criterion to determine if two parallelograms intersect?

Assume we are given two parallelograms in the plane. How can I check if their intersection is nonempty?
Note that I do not need to actually find the intersection.

**2**

votes

**0**answers

249 views

### Good covering of a sphere

Consider a sphere $S_r(0)$ with center at zero and radius $r$ in the Hamming space $\{0,1\}^n$.
We will be interested in covering this sphere with balls of radius $\rho < r$.
We know that there ...

**2**

votes

**1**answer

71 views

### Why finite dimensional MCS-space implies $\mathbb{R}^m\times cone$ locally?

Frequently, I see a statment of the result in reference that a finite dimensional Alexandrov spaces is locally a product $\mathbb{R}^m\times cone$. It seems that this result comes from Perelman's ...

**3**

votes

**2**answers

107 views

### regular polyhedra (and polytopes) in hyperbolic geometry, and generalisations

While there exist regular tesselations of the hyperbolic plane with arbitrary regular polygons, there are no new regular polyhedra in hyperbolic (3D) space. This being quite trivial, it is probably ...

**13**

votes

**1**answer

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

**6**

votes

**0**answers

171 views

### When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space.
Let $d$ a word metric on $\Gamma$ coming from some finite set of generators.
My question is:
Does there exist a ...

**4**

votes

**0**answers

59 views

### Can the GUE be thought of as a uniform point in a high-dimensional polytope

I have thought about this question for a long time and could only find partial answers.
The Gaussian Unitary Ensemble (or GUE) is the eigenvalues of a random Hermitian matrix with complex Gaussian ...

**12**

votes

**3**answers

1k views

### Covering a Cube with a Square

Suppose you are given a single unit square, and you would like to completely cover the surface
of a cube by cutting up the square and pasting it onto the cube's surface.
Q1. What is the largest ...

**0**

votes

**1**answer

84 views

### Practical Algorithm for Comparing the Discrepancy of Point Sets (on Unit Hyper Spheres)

I have devised a simple geometric algorithm for generating a sequence of points on unit hyper spheres; that algorithm depends on a single real parameter, which I would like to optimize in order to get ...

**1**

vote

**0**answers

42 views

### How often can a single length occur as a boundary distance?

Given a bounded domain $\Omega\subset\mathbb R^n$ ($n\geq2$), how often can a single real number $r>0$ appear as a distance of two points on $\partial\Omega$?
We can make any assumptions about the ...

**7**

votes

**0**answers

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

**2**

votes

**0**answers

102 views

### How far can I push a ball of radius r into the corner of a convex polytope in d-dimensions?

Let $K \subset \mathbb{R}^d$ be a convex polytope and let $B(x,r) = \{y \in \mathbb{R}^d \,:\, \Vert y-x \Vert_2 \leq r\}$ be the ball of radius $r$ centered at $x$.
For any radius $r \geq 0$ let ...

**5**

votes

**1**answer

281 views

### Geodesics on manifolds with boundary

Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...

**2**

votes

**2**answers

219 views

### Length of non-horizontal curve

Let $M$ be a sub-Riemannian space.
Consider a smooth curve $\gamma:[0,1]\to M$ such that
$\dot\gamma(t)\not\in H_{\gamma(t)}$, where $H_{\gamma(t)}$ is the horizontal subbundle ( i.e. $\gamma$ is ...