**6**

votes

**0**answers

160 views

### A conjecture generalization of Karamata inequality

Fist I observe function $f(x)=x^2$ in the figure as following
I found that when $x_1 \ge y_1$ and $x_2 \le y_2$ $\Rightarrow$ $AB \ge CD$
$\Rightarrow$ $$\frac{f(x_1)+f(x_2)}{2}-f(\frac{x_1+...

**3**

votes

**0**answers

59 views

### Limit space of a sequence of Riemannian manifolds with uniformly bounded below Ricci curvature

Let $\{M^n_i\}_{i=1}^\infty$ be a sequence of closed smooth Riemannian $n$-dimensional manifolds with uniformly bounded below Ricci curvature and uniformly bounded above diameter. The Gromov ...

**5**

votes

**0**answers

133 views

### An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following:
Let $A_1A_2.....A_n$ be a cyclic polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...

**4**

votes

**1**answer

227 views

### A generalization of Erdős–Mordell inequality [on hold]

I proposed my conjecture generalization of Erdős–Mordell inequality as following:
Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...

**3**

votes

**1**answer

87 views

### Isoperimetric inequality via Crofton's formula

I have seen various assertions that one can derive the isoperimetric inequality in the plane from Crofton's formula in geometric probability. Unfortunately, I have not managed to figure out such a ...

**6**

votes

**2**answers

202 views

### Curves embedding in plane

Given two closed simple(no self-intersection point) curves $C_1,C_2$ in the plane $\mathbb R^2$, is there a good way to judge whether one curve can be embedded inside the other one, here embedding ...

**0**

votes

**1**answer

98 views

### Doubling metrics, doubling measures, Lebesgue density

As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...

**1**

vote

**1**answer

70 views

### A generalization of the Tucker circle theorem and the Thomsen theorem associated with a conic

I gave a generalization of the Tucker circle theorem and the Thomsen theorem at here. Now, I give a more generalization of these theorems as following:
Problem: Let $A_1A_2A_3A_4A_5A_6$ be a hexagon, ...

**2**

votes

**2**answers

184 views

### approaches to Apollonius circle problems

I've been looking for solutions to finding the set of circles tangent to two other circles. one circle can be inverted to a line, but two circles can be mapped to a line and a circle
or equivalently ...

**4**

votes

**1**answer

162 views

### Does every smooth manifold admit a metric with bounded geometry and uniform growth?

Let $M$ be a smooth manifold, $g_M$ a Riemannian metric, and consider for $x\in M$ the volume growth function, $gr_x$ that maps $r>0$ to the volume $vol_{g_M}(B(x,r))$. My interest is to see ...

**2**

votes

**0**answers

26 views

### Metrics on the group of unimodular polynomial matrices

The group of unimodular matrices $\mathbb{U}[s]^{n\times n}$ is given by the set of $n\times n$ square (real) matrix-valued polynomials $\mathbb{R}[s]^{n\times n}$ which admit a polynomial inverse. ...

**3**

votes

**2**answers

157 views

### Existence of lattices whose circles have bounded number of points

For any plane lattice $\Lambda= \{ mA+nB: m,n \in \mathbb Z \}$, with $A,B$ linearly independent vectors in $\mathbb R^2$, we define the set of the circles in $\Lambda$ as
$$\mathcal K(\Lambda) = \...

**1**

vote

**1**answer

57 views

### The average length of vectors on spherical caps

Let $U$ denote the uniform distribution on the $n$-ball of radius $1$.
What is the expected square-length of a vector under this distribution:
$$ \mathbf{E}_U[\|x\|^2] $$
By standard concentration-...

**1**

vote

**0**answers

72 views

### Three homothetic centers are collinear

I am looking a proof for the problem as follows:
Let a hexagon, such that its principal diagonals are concurrent. For each side of the hexagon, extend the adjacent sides to their intersection, ...

**4**

votes

**1**answer

134 views

### Uniform sampling from general simplex with a twist

This is part of a question I had asked elsewhere, and then some of the links redirected me to CS stack exchange.
Given $0\leq a_1\leq\dots\leq a_D\leq1$ (all strictly positive), I want to draw points ...

**1**

vote

**0**answers

57 views

### asymptotic behavior of Lipschitz constants of sectional curvature

I'm studying the paper "Measure Concentration and the Topology of Positively-Curved Riemannian Manifolds" (https://arxiv.org/pdf/1402.4947v1.pdf) and I have some problem in understanding the proof of ...

**0**

votes

**0**answers

36 views

### Mathematical Definition of $n$-Brouillin Zone [duplicate]

I am having trouble finding a mathematical definition of the Brouillin zone beyond the first, which are basically the Voronoi cells or Wigner-Seitz cells. We could imagine the set of point closer to ...

**2**

votes

**0**answers

140 views

### Negative-curvature behaviour of higher-rank symmetric spaces

Let $X$ be a symmetric space of noncompact type with $rk\ X\geq 2$ and let $G$ be the identity component of the isometry group. Pick points $p\in X$ and $\xi\in\partial_{\infty}X$, with $\xi$ regular, ...

**0**

votes

**0**answers

28 views

### Area of a polyellipse

Pretty much like the title asks. I'll explain the situation.
I have a set of points $N \in \mathbb{R^2}$. To select a next point $n_i$ to add to the set, select the node with the smallest combined ...

**5**

votes

**1**answer

168 views

### CAT(0)-groups in dimension 2

Suppose I have a space $X$ which is connected, simply connected, CAT(0) of dimension 2 and a group $G$ which acts on $X$ freely, isometrically, properly discontinuously and cocompactly. What can be ...

**6**

votes

**1**answer

150 views

### The radially symmetric isoperimetric problem

A solution to the $l$-isoperimetric problem on a Riemannian surface $(M,g)$ is a smooth closed curve $\gamma \subset M$ of length $l$ which minimizes the isoperimetric constant:
$$h(\gamma) = \frac{l}{...

**1**

vote

**1**answer

53 views

### Name for a uniform local boundedness property of a function

I am working with a function $f : \mathbb{R}^N \to \mathbb{R}$ having the property that for every $R > 0$, there exists $M > 0$ such that if $x, y \in \mathbb{R}^N$ and $\vert x - y \vert \le R$,...

**4**

votes

**0**answers

87 views

### Yamaguchi submersion theorem

Let me remind first a theorem of Yamaguchi (1996).
Given $n\in \mathbb{N}, \mu_0>0$. Then there exist $\delta_n>0$ and $\epsilon_n(\mu_0)>0$ with the following property. Let $X$ be an $n$-...

**9**

votes

**2**answers

473 views

### Dissecting Ramanujan´s Cuboid: 1729 = 19 x 13 x 7

Consider the cuboid of dimensions 19 x 13 x 7 whose volume is 1729, the Hardy-Ramanujan number. What is the least number of smaller cuboids into which it can be dissected so that the resulting pieces ...

**1**

vote

**1**answer

53 views

### Enclosing a convex plane domain in a disc

The following statement seems obvious to me:
Let $\gamma:S^1\to\mathbb R^2$ be a smooth injection such that $\dot\gamma$ and $\ddot\gamma$ never vanish.
Then $\gamma$ encloses a strictly convex ...

**10**

votes

**1**answer

388 views

### The geometric median of a solid triangle

Let $\Omega\subset \mathbb R^n$ be a compact subset of dimension $n$. Define the geometric median on $\Omega$ as the point $m_{\Omega}\in \mathbb R^n$ such that the integral $\int_{\Omega}|x-m_{\Omega}...

**8**

votes

**1**answer

95 views

### Differentiability of geodesics in Alexandrov subspaces of Riemannian manifolds

Let $M$ be a smooth Riemannian manifold. Let $X\subset M$ be a closed path connected subset which has curvature bounded below in the sense of Alexandrov with respect to the induced intrinsic metric. ...

**2**

votes

**0**answers

90 views

### An elementary question about metrics on the real plane [closed]

Given the metric $d_p$ on the real plane,
i.e.
$$ d_p(x,y) = d_p((x_1, y_1), (x_2, y_2)) = [|x_1 - x_2|^p+ |y_1 - y_2|^p]^{1/p} $$
for which values of $p$ ($\geq 1$) is it true that the following ...

**5**

votes

**0**answers

69 views

### Does the Hodge *-operator act on the tangent space at 0 to the space of integral (n-1)-cycles in a conformal manifold of dimension d=2n?

Suppose $M$ is a compact, oriented conformal manifold of even dimension $d=2n$.
Write ${\cal D}^{\mathit{int}}_{k}(M)$ for the space of integral
$k$-currents in $M$
and write ${\cal D}^{\mathit{int}}...

**4**

votes

**0**answers

152 views

### Optimal instructions for the modular construction of rectlinear Lego structures

Let $X$ be a compact (or periodic) union of integer translates of unit cubes such that the interior of $X$ is connected. (If it makes any difference, suppose that the dimension $n$ of $X$ is 3.) I am ...

**7**

votes

**1**answer

132 views

### A clarification on pointed Gromov-Hausdorff convergence

According to Burago-Burago-Ivanov, one says that the sequence of pointed metric spaces $(X_n,d_n,p_n)$ GH-converges to $(X,d,p)$ if for every $R>0,\varepsilon>0$, there exists a $N$ such that ...

**3**

votes

**1**answer

90 views

### Sufficient conditions for a curve on the sphere to be the Gauß map of a closed path

I was wondering which curves on the $n-1$ sphere arise as the Gauss maps of closed paths in $\Bbb R^n$. Necessary conditions are obviously that the path on the sphere is the image of some smooth $S^1\...

**2**

votes

**0**answers

52 views

### How much must a curve bend to intersect another curve twice?

Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...

**1**

vote

**1**answer

82 views

### Rigidity in a $CAT(-1)$ space

Summary: How to proove that a reunion of triangles in a
$CAT(-1)$ space is isometric to the reunion of coresponding
comparisons triangles ?
Context and notations:
Le $X$ be a $CAT(-1)$ metric space.
...

**2**

votes

**3**answers

129 views

### What is the envelope formed by a triangle fixed to two points?

Take two fixed points in a plane and a triangle of fixed shape. Constrain two sides of the triangle to each touch one of the two points. As the triangle moves under this constraint the third side ...

**0**

votes

**1**answer

79 views

### Showing convexity of a function in the unit ball

We have the unit sphere $S^2$ in $\mathbb{R}^3$ and two points, $X$ and $Y$ on the surface of the sphere. Then, a function is defined for any point $P$ inside of the unit ball as:
$$f(P) = R\,d(P, XY)...

**7**

votes

**2**answers

576 views

### Geometric or topological results from group theory

Do you know interesting examples of purely geometric or topological results which can be proved using group theory? To make precise what I have in mind, let us consider the two following examples:
...

**5**

votes

**1**answer

141 views

### Comparison of angles in Alexandrov space

Let $X$ be a finite dimensional Alexandrov space with curvature bounded below. Let $p\in X$ be a fixed point.
Is it true that for any $\varepsilon >0$ there exists $\delta>0$ such that for any $...

**5**

votes

**3**answers

347 views

### Elementary reference for the isometry group of $\mathbb{RP}^2$

Endow the real projective plane with the distance defined by $d(L,L')$ := "the angle between the lines $L$ and $L'$ ".
It is the case that every isometry from $RP^2$ onto $RP^2$ is induced by an ...

**2**

votes

**1**answer

168 views

### Prove that a metric space is intrinsic

Let $(X,d)$ be a general locally compact metric space (in particular not a Riemannian manifold). Suppose we don't know if $(X,d)$ is complete. To prove $(X,d)$ is intrinsic. I have to compute the ...

**7**

votes

**3**answers

134 views

### Ball ricochetting from a plane of close-packed spheres

Suppose the lower $z \le 0$ halfspace of $\mathbb{R}^3$ is filled with a rigid close-packing of
unit-radius spheres.
(I don't think it matters much for my purposes if it is
an
FCC or an HCP packing.)...

**5**

votes

**0**answers

104 views

### Historical perspectives on CAT(0) spaces

Does there exist a survey on the early developments of CAT(k) spaces, with the first motivations and the first problems considered? I looked at Bridson and Haefliger's book On metric spaces of non-...

**1**

vote

**0**answers

110 views

### Banach-Mazur distance from finite-dimensional subspaces of $\ell_p$ to the Hilbert space

I am reading a paper http://www.math.tamu.edu/~johnson/TF3.4.pdf by Bill Johnson and Andrzej Szankowski and having trouble grasping why
$d_n(Z_m) \leq d_n(\ell_{p_{m+1}} ) = n^{|p_{m+1}-2|}$ in the ...

**6**

votes

**2**answers

162 views

### Are rays in Carnot groups straight?

A famous open problem in Geometric Control Theory and in the study of sub-Riemannian manifolds is whether constant-speed length minimizers in a sub-Riemannian manifold are always smooth (see also this ...

**5**

votes

**2**answers

113 views

### References for metrics in matrix groups

I am studying a very concrete matrix group with a riemaniann (right invariant) metric for solving a question on Applied Math. I need explicit formulas for the distance between two matrices, geodesics ...

**13**

votes

**2**answers

585 views

### Lattice n-gons with ordered side lengths 1,2,3,…,n

Consider the octagon in the Cartesian plane with vertices at (0,0), (1,0), (1,2), (4,2), (4,6), (7,2), (7,8), and (0,8).
Are there other (infinitely many) polygons, such as this, lying entirely in ...

**2**

votes

**1**answer

82 views

### Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...

**2**

votes

**1**answer

94 views

### A centralised website for computational attempts in graph theory and metric geometry?

The set of questions below stems from this question.
1) does a website exist that contains (at least links to) code and data files, with the aim to centralise computational results in graph ...

**4**

votes

**0**answers

68 views

### Rational $d$-simplices

Define a rational $d$-simplex as a simplex in $\mathbb{R}^d$
such that the measure of all its $k$-dimensional faces, $k \ge 1$, is rational.
So a rational triangle has rational edge lengths and ...

**0**

votes

**1**answer

83 views

### The pointwise Lipschitz-ness of a function on a dense set, implies its pointwise Lipschitz-ness everywhere?

Some definitions: Let $(M,d)$, $(M',d')$ be metric spaces. For $f:M\to M'$, $x\in M$ and $r>0$, define $$D_r(f)(x):= \sup\{r^{-1}d'(f(x),f(y)): y\in M,\,d(x,y)\leq r\}.$$ Define the pointwise ...