**8**

votes

**0**answers

206 views

### Orthonormal bases of R^3 with components lying in the golden field

Greg Egan proved an interesting theorem about unit vectors in $\mathbb{R}^3$ whose components actually lie in the 'golden field' $\mathbb{Q}[\sqrt{5}]$. He found it in our studies of twin ...

**3**

votes

**1**answer

108 views

### Can every large point set be connected to a given knot?

Let $K$ be a given knot, and
$P$ a set of points in $\mathbb{R}^3$ in general position,
general position in the sense that no three points are collinear
and no four coplanar.
Define the point-set ...

**-2**

votes

**0**answers

73 views

### Parallel transport along a geodesic and the related Jacobi field [closed]

Crossposted from:
http://math.stackexchange.com/questions/1255018/parallel-transport-along-a-geodesic-and-the-related-jacobi-field
This is a formula/theorem (written below) that I found mentioned in ...

**7**

votes

**2**answers

169 views

### approximate two different real numbers to order $\frac{1}{z^{3/2}}$

I took this result from Minkowski's book on Geometry of numbers:
Two arbitrary real quantitites $a$ and $b$ may be made to approach as near as we wish in value the two fractions $\frac{x}{z}$ and ...

**0**

votes

**0**answers

47 views

### On the centroid of a triangle [migrated]

There's three different ways to see a triangle in the Euclidean plane:
as three non-collinear points, say $A$, $B$, $C$;
as the line segments connecting the three points, that we can parametrize as a ...

**4**

votes

**1**answer

54 views

### Largest regular $k$-simplex inscribed in a $d$-cube, $k < d$

The largest (by edge length) regular simplex inscribed in a unit cube
is well known in $\mathbb{R}^2$ and $\mathbb{R}^3$:
Image sources:
left: NMSU,
right: Mathworld.
A recent ...

**2**

votes

**2**answers

49 views

### Volume of a region given by a Constraint Satisfaction Problem

I have a Linear Constraint Satisfaction Problem i.e. I have variables $ x_1, x_2,...,x_m$, with corresponding domains $D_1,D_2,...,D_m $ satisfying linear constraints $C_1, C_2,...,C_n$ with $n ...

**11**

votes

**2**answers

253 views

### A measure on the space of probability measures

This question was originaly posted in the stackexchange https://math.stackexchange.com/questions/1226701/a-measure-on-the-space-of-probability-measures but since it only got a comment I decided to ...

**1**

vote

**0**answers

26 views

### Biggest volume parallelotope inside the union of two parallelotopes

Given a parallelotope $P$ symmetric around the origin, and a vector $v$, such that $(P+v)∩(P−v)$ is not empty, is there a simple way to obtain a parallelotope $Q⊂(P+v)∪(P−v)$, symmetric around the ...

**5**

votes

**2**answers

161 views

### Biggest parallelogram inside the union of two translated parallelograms

If I have a parallelogram $P$ symmetric around the origin, and a vector $v$, such that $(P+v)\cap (P-v)$ is not empty, is there a simple way to obtain the parallelogram $Q\subset (P+v) \cup (P-v)$, ...

**1**

vote

**1**answer

66 views

### Alexandrov spaces of constant curvature

Let $X$ be locally compact Alexandrov space whose curvature satisfies both inequalities $\geq K$ and $\leq K$. What can be said about such a space? Is it locally isometric to the standard Riemannian ...

**4**

votes

**3**answers

309 views

### Must the powers of some element always grow linearly with respect to a word metric?

Suppose we have a group $G$ which is finitely generated , and let $|\cdot |$ denote some word metric on it. Must there be an element $a\in G$ such that $|a^n|\ge c\cdot n$ for some $c>0$?
My ...

**9**

votes

**1**answer

116 views

### bi-Lipschitz gluing

Let $H$ be the Heisenberg group with
left invariant sub-Riemannian metric and $\varepsilon>0$ is small.
Let us denote by $|x-y|_H$ the distance from $x$ to $y$ in $H$.
I have a bi-Lipschitz ...

**1**

vote

**1**answer

63 views

### 4D Duoprisms based on nonconvex polygons

A duoprism is a polytope
that can be expressed as the Cartesian product of two polytopes (each of dimension $\ge 2$).
Four-dimensional duoprisms in particular have been studied:
$$P \times Q = \{ ...

**0**

votes

**1**answer

52 views

### Existence of shortest paths in complete Alexandrov spaces

Let $X$ be complete finite dimensional Alexandrov space with curvature bounded from below. Is it true that any two points can be connected by a shortest path? If this is not true in general, it it ...

**13**

votes

**2**answers

248 views

### Can any simplex shadow-project to a regular simplex?

Every triangle $A$ can be oriented in $\mathbb{R}^3$
so that its orthogonal projection (shadow) onto the $xy$-plane is an
equilateral triangle $Q$:
...

**1**

vote

**0**answers

127 views

### Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others:
$(M_1\times M_2, f^p(g_1 \times g_2))$
...

**17**

votes

**5**answers

396 views

### How many unit simplices are needed to cover a unit $n$-cube?

The volume of an $n$-dimensional simplex of unit edge length is
$$V(n) = \frac{\sqrt{n+1}}{n! 2^{n/2}} \;,$$
so at least $\lceil 1/V(n) \rceil$ such simplices are needed to cover the unit $n$-cube.
...

**4**

votes

**2**answers

329 views

### Terminology for metrics?

For some reason, I'm currently interested in the following relation - let $d,\delta$ be two metrics on some space $X$. We call the metrics _______ if there are some constants $C,E>0$ such that for ...

**2**

votes

**1**answer

116 views

### Find a line such that sum of perpendicular distances of points to the line is minimized

Given a set of points (column vectors) $S = \{p_1, p_2, \cdots, p_n\} \subset \Re^d$, let $A \in \Re^{n \times d}$ be a matrix of which each row is just $p_i^T$. It is easy to find a unit vector $s_1$ ...

**3**

votes

**0**answers

55 views

### On the modulus of convexity of mixed-norm $\ell_{p_1,p_2}$ spaces

Let $\ell_{p_1,p_2}=(\mathbb{R}^{m\times n},\|\cdot\|_{p_1,p_2})$ be the space of $m\times n$ matrices endowed with the mixed-norm
$$ \|X\|_{p_1,p_2} = \left( \sum_{j=1}^n \left( \sum_{i=1}^m ...

**0**

votes

**0**answers

69 views

### Largest ball with fixed center in a a convex region

Let $x_0$ be a point contained inside a compact, convex set $C\subset\mathbb{R}^d$, which is of the form $C=\{x:f(x)\leq0\}$ for some explicit convex function $f$. Is there a computationally ...

**3**

votes

**2**answers

472 views

### What's the name of this geometric mathematical modeling problem?

There is a right angle corner with width 1 in both directions. One wants to find the largest area shape which can pass through this corner.
I know that this is a famous problem, but what is it called?
...

**0**

votes

**0**answers

103 views

### How large can a set of nearly equidistant points be?

Suppose that $D$ is a set of points in $\mathbb{R}^{k}$ such that all pairwise distances between them belong to $[1,1+\epsilon]$.
It seems that such a set cannot be very large and that its ...

**2**

votes

**1**answer

108 views

### Shortest paths in Alexandrov spaces

Let $X$ be an Alexandrov space with curvature bounded from below (if necessary, $X$ might be assumed to be finite dimensional or even compact).
Question 1. Is it true that every point of $X$ has a ...

**13**

votes

**2**answers

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

**7**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**4**

votes

**2**answers

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

**15**

votes

**5**answers

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

**2**

votes

**0**answers

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

**6**

votes

**1**answer

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

**3**

votes

**2**answers

196 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} ...

**2**

votes

**1**answer

77 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

65 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

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

**38**

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**0**answers

117 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

**1**answer

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

**2**

votes

**0**answers

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

**0**

votes

**2**answers

127 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

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

**1**

vote

**0**answers

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

**2**

votes

**1**answer

143 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, ...

**1**

vote

**2**answers

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

**4**

votes

**3**answers

275 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

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

**7**

votes

**1**answer

146 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$?