Euclidean, hyperbolic, discrete, convex, coarse geometry, comparisons in Riemannian geometry, symmetric spaces.

learn more… | top users | synonyms (1)

-1
votes
0answers
43 views

Parallel transport along a geodesic and the related Jacobi field [on hold]

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 ...
0
votes
0answers
47 views

Proof for existence of isoperimetric minimizer by compactness theorem

Let $X$ be an $n$-dim closed Riemannian manifold, then given a number $0 <v < vol(X)$, there exists a Borel subset $A\subset X$ attaining $I(v)$, $I$ is the isoperimetric profile. The existence ...
7
votes
2answers
161 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
0answers
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 ...
-2
votes
0answers
22 views

Find points which form angle X from a triangle formed by 2 other points [closed]

Here's a diagram (I can't post images) Diagram Given angle ACB, angle CAD, position C, and position E, and given that angle ADB equals angle ACB, find position D.
4
votes
1answer
51 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
2answers
48 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
2answers
245 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
0answers
25 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
2answers
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
1answer
65 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
3answers
306 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
1answer
112 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
1answer
61 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
1answer
51 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
2answers
246 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
0answers
125 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
5answers
387 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
2answers
328 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
1answer
115 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
0answers
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
0answers
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
2answers
465 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
0answers
102 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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
163 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
5answers
734 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
0answers
91 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
1answer
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
2answers
193 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
1answer
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
0answers
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
1answer
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
1answer
395 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
1answer
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
0answers
115 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
1answer
261 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
0answers
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
2answers
125 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
1answer
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
0answers
72 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
1answer
141 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
2answers
108 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
3answers
271 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
1answer
137 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
1answer
145 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$?