**3**

votes

**1**answer

68 views

### Finding a minimum covering of a polygon with interesting shapes

After reading many papers about problems of minimum polygon covering, I found out that there are four different types of units that are considered for covering polygons, in increasing order of ...

**8**

votes

**1**answer

413 views

### Polyhedron not circumscribed about a sphere

Let $P$ be a polyhedron whose faces are colored black and white so that there are more black faces and no two black faces are adjacent. Show that $P$ is not circumscribed about a sphere.
My teacher ...

**2**

votes

**0**answers

60 views

### isoperimetric problems on Alexandrov spaces

For an Alexandrov space M with curvature bounded from below, the isoperimetric profile $v \to I_M(v)$ defined for every $v\in (0,V(M))$ (the volume of M might be infinite), is given by
$$
...

**4**

votes

**0**answers

163 views

### Packing space by cones: Translates best?

Let $C$ be a right circular cone, the convex hull of a unit-radius disk
and a point directly above the disk center at height $h$.
Is the ...

**6**

votes

**1**answer

136 views

### Hiding $k$ disks inside a larger disk

Suppose one has $k$ unit-radius disks, and the goal is to hide them inside
a disk of radius $R \gg k$.
The detection probes are rays along a line.
(Think of the disks as tumor cells, and the rays as ...

**1**

vote

**0**answers

142 views

### Continuity of minimizers to distance function from point to convex set

Suppose I am minimizing the Euclidean distance in $\mathbb{R}^{n}$ between a point $y$ and compact convex set $U$ (where $y\notin U$):
$\min_{x\in U}\|x-y\|$.
I believe the minimizer $x_{U}^{*}$ is ...

**4**

votes

**1**answer

178 views

### Light inside a polyhedron

I have two questions the same as Mostafa's Question:
Visibility of vertices in polyhedra
Suppose $P$ is a closed polyhedron in space (i.e. a union of polygons which is homeomorphic to $S^2$) and $X$ ...

**19**

votes

**3**answers

788 views

### Visibility of vertices in polyhedra

Suppose $P$ is a closed polyhedron in space (i.e. a union of polygons which is homeomorphic to $S^2$) and $X$ is an interior point of $P$. Is it true that $X$ can see at least one vertex of $P$? More ...

**1**

vote

**0**answers

56 views

### Coarse geometry of minimal surfaces in non-positively curved manifolds

Let $X$ be a simply-connected Riemannian manifold of non-positive curvature and $S\subset X$ be a complete minimal surface.
(You can basically image $X$ as a ball and $S$ as an embedded disk whose ...

**8**

votes

**1**answer

218 views

### Billiard dynamics with angle of reflection a fraction of angle of incidence

Suppose that a billiard ball bouncing in a unit square (or a lightray reflecting
in a mirrored square) has the property that the angle of reflection is a fraction
of the angle of incidence, rather ...

**2**

votes

**1**answer

75 views

### Volume of a polytope with relaxed constraints

Consider a polytope in $n$ dimensions defined by a set of linear constraints:
$$P = \{x \in \mathbb{R}^n : Ax \leq b\}$$
where A is some $m \times n$ constraint matrix, and $b = (b_1,\ldots,b_m)$ is ...

**0**

votes

**0**answers

89 views

### Geometric interpretation of table with permutations and inversions

Let $T(n,k)$ is the number of permutations of numbers $1, ..., n$ and each of the permutations has $k$ inversions. We can consider a table for $T(n,k)$ for some $n$ and $k$. For eg.
$n=1,...,6$, ...

**3**

votes

**1**answer

257 views

### Taylor expansion of the determinant of a Riemannian metric

Let $(M,g)$ be a compact Riemannian manifold without boundary. Fix a point $x\in M$ and $N\ge 2$ large. Then there exists a metric $\tilde g$, conformal to $g$ such that $$ \det \tilde g=1+O(r^N)$$ ...

**2**

votes

**0**answers

175 views

### Cavalieri's principle and inversion of the Vandermonde matrix

There are many examples on the Web of the use of Cavalieri's principle in determining areas and volumes of 2-D and 3-D geometrical figures. The Wikipedia link uses the principle as both a proof and ...

**3**

votes

**1**answer

222 views

### Characterization of $l_p$ up to a linear isometry

There is a science called "Geometry of Banach spaces". I wonder if they managed to give a geometric characterization of $\ell_p$ ($p\in[1,\infty]$) up to isometric isomorphism (among all Banach ...

**14**

votes

**3**answers

682 views

### “Entropy” proof of Brunn-Minkowski Inequality?

I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ ...

**2**

votes

**1**answer

95 views

### Bound on maximum distance between points on a unit N-Sphere

I want to select M points on the N-sphere such that $min_{i\neq j,i,j\in \{1..M\}} ||x_i - x_j||$ is maximized.
Are there good upper bounds for this max-min distance?

**3**

votes

**0**answers

169 views

### Can we obtain topology results using analysis in metric measures spaces?

Let $M$ be a smooth compact manifold. It is known that a lower bound on the Ricci curvature is equivalent to the convexity of the entropy on $\mathcal{P}^2(M)$ (Von Rennesse and Sturm '05), but I ...

**3**

votes

**0**answers

69 views

### Covering fat objects with fat objects

The family of rectangles has the cover property, i.e.:
For every $R\geq 1$, $k\geq 1$: every rectangle with aspect ratio $kR$ can be exactly covered by $\lceil k\rceil$ (possibly overlapping) ...

**0**

votes

**1**answer

108 views

### both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M ...

**7**

votes

**2**answers

341 views

### Riemannian distance functions on the real line

A distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that is defined by a smooth Riemannian metric on the real line satisfies the following properties:
$d$ is a length metric ...

**13**

votes

**0**answers

346 views

### Surface area of convex hull [duplicate]

Let Q be the convex hull of a non-convex polyhedron P. Is it true that the surface area of Q is not greater than the surface area of P?

**3**

votes

**1**answer

146 views

### Does the R-sphere condition imply that a surface is locally a graph of function on a ball of radius R?

Let $S$ be a $C^2$-regular hypersurface with $S=\partial V$ for some open set $V \subset R^{N+1}$, and let $\nu(P)$ be the exterior unit normal of $S$ with respect to $V$.
Assume that $S$ satisfies ...

**2**

votes

**1**answer

116 views

### The Mahler conjecture and non-zonoidal 3-polytopes (4-polytopes)

I have been working on the Mahler conjecture for over a year now and have made some progress for certain classes of convex polytopes and I'm now attempting to write up my results specified to ...

**2**

votes

**2**answers

114 views

### Volume of specials sets on sphere $S^N$

Suppose I'm given $m$ points $\{q_i\}$ on the sphere $S^N$. I want to get a lower/upper bound for the volume of the following sets with respect to uniform probability measure $\mathbb{P}$ on the ...

**7**

votes

**0**answers

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

**22**

votes

**0**answers

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

**1**

vote

**1**answer

35 views

### Maximum crossings of curvature-constrained curve

Let $C$ be a curve in the plane whose curvature is everywhere $\le 1$.
If $C$ has length $L$, what is the largest number of proper self-crossings
of $C$ as a function of $L$?
For example, the curve ...

**10**

votes

**1**answer

626 views

### On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result:
A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm.
To be clear about ...

**16**

votes

**0**answers

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

**2**

votes

**1**answer

99 views

### Is there a general formula for calculating the volume of elliptical simplex on the surface of $S^n$?

By Girard's Spherical Excess Formula, a spherical triangle on unit sphere with angles $A, B, C$ has area
$$
A + B + C - \pi.
$$
I would like to know, if there is a generalization for this formula to ...

**15**

votes

**1**answer

640 views

### When is the Gromov--Hausdorff limit of a sequence of manifolds itself a manifold?

Suppose a metric space $X$ is the Gromov--Hausdorff limit of a sequence of Riemannian three-manifolds $M_i$ with Ricci curvature bounded from below and not collapsed. Is $X$ a manifold? What ...

**2**

votes

**0**answers

118 views

### A question on Hilbert geometries as metric-measure spaces

Recall that a Hilbert geometry is the interior of a convex body $K \subset \mathbb{R}^n$ provided with the metric
$$
d(x,y) = \frac{1}{2} \ln\left(\frac{|x-b|}{|y-b|}\frac{|y-a|}{|x-a|}\right) ,
$$
...

**4**

votes

**2**answers

322 views

### A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$.
Let $m$ be the smallest number so that there are $m$ pairs of lines
$ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$:
a) For ...

**27**

votes

**1**answer

916 views

### Can we find lattice polyhedra with faces of area 1,2,3,…?

I asked this question two months ago on MSE, where it earned the rare
Tumbleweed badge for garnering zero votes, zero answers, and 25 views over 61 days.
Perhaps justifiably so! Here I repeat it with ...

**5**

votes

**1**answer

252 views

### What it is the volume of the unit ball section of the cone of positive definite matrices?

Let $PD_{n}$ be the cone of positive definite $n \times n$ real matrices and let $B$ be the unit sphere in $n \times n$ dimensions. What is the volume of $PD_{n} \cap B$?
EDIT: Let's assume that $B$ ...

**1**

vote

**0**answers

49 views

### Groups of equi-quasi-isometric diffeomorphisms of a Riemannian surface of bounded geometry

Let $M$ be an open Riemannian surface of bounded geometry. Let $\Gamma$ be a group of diffeomorphisms of $M$. Suppose that $\Gamma$ is equi-quasi-isometric; i.e., its elements are (differentiable) ...

**4**

votes

**1**answer

113 views

### Rationality of translation lengths in hyperbolic groups

Recall that the translation length $\tau(g)$ of an element $g \in G$ is the limit $d(1, g^n)/n$, where $d$ is the word metric on $G$ with resepct to some generating set.
It is a theorem of Gromov ...

**1**

vote

**0**answers

84 views

### What is the projective dual of a planar graph?

Everybody learns the usual definition of the dual of a planar graph when edges are preserved and faces are mapped to vertices. Everybody learns the projective duality. What if we apply it to a ...

**4**

votes

**0**answers

65 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\}$ ...

**0**

votes

**0**answers

87 views

### How to define the distributional Hessian for a convex function on a $C^0$ Riemannian manifold?

M is a $C^1$ manifold with a $C^0$ Riemannian metric, f is a convex function on M. How to define a functional on M which can represent $Hessf$?
For example: for $\Delta f$ we can define the ...

**5**

votes

**1**answer

145 views

### Areas of Triangles in (Non-Riemannian) Metric spaces?

I'm looking for a reasonable way to coherently axiomatize both length and area in the absence of a Riemannian structure, i.e., starting only with a metric space; but it's not clear how much of this ...

**1**

vote

**1**answer

75 views

### Generators for the affine automorphism group of the octagon

Consider an octagon $O$ with opposite edges identified. Lemma 3.2.4 of (1) (subscription link) claims that the affine automorphism group of $O$ is generated by $D_8$ and the shear $\sigma$ such that, ...

**6**

votes

**1**answer

159 views

### Integral straight-line embeddings of planar graphs

Wikipedia says (in the article on Fáry's theorem),
"Heiko Harborth raised the question of whether every planar graph has a straight line representation in which all edge lengths are integers. The ...

**3**

votes

**1**answer

152 views

### Diameter of $n$-unit-vector closed scribble

Suppose one creates a random, closed, likely self-crossing polygon
from $n$ unit-length vectors arranged head-to-tail,
randomly oriented except for the requirement
that their sum is zero (so the ...

**3**

votes

**1**answer

194 views

### Generalization of notion of convexity

I am searching for the correct term for the following, if it exists.
A set $X\subset \mathbb{R}^2$ is called $r$-convex if for any two points $x_1, x_2\in X$ such that there exists an arc of radius ...

**6**

votes

**1**answer

177 views

### Length inequalities in trees and CAT(0) spaces

I have a family of possibly related questions. Let me start with an elementary one:
Question 1. Fix an integer $n$. For which collections of real numbers $a_{ij}$, $i, j = 1, \dots, n$, is it true ...

**6**

votes

**1**answer

443 views

### Is there a sideways-walking rolling convex body?

Let $K$ be a solid, homogenous convex body in $\mathbb{R}^3$.
Place $K$ on an inclined plane, and let it roll down the plane,
under some reasonable assumptions of friction between $K$ and
the plane, ...

**4**

votes

**0**answers

68 views

### Can an acyclic continuum be metrically homogenous? (I'd say: no way! :-)

I asked recently on MO about algebraic structures admitted by topologically homogenous continua like the Hilbert cube $\ I^{\mathbb N}\ $ or the Knaster pseudo-arc. There is a relation between the ...

**6**

votes

**1**answer

279 views

### Limit of distance between two random points in a unit-radius $n$-sphere

This is a companion contrast to the earlier analogous question for unit $n$-cubes,
where the answer (provided by several respondents) is $\infty$ .
What is the limit, as $n \to \infty$, of the ...