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

learn more… | top users | synonyms (1)

5
votes
1answer
76 views

Determining the stretch of a cluster of points

I am trying to determine a metric for measuring cluster stretch. Let C be a cluster of points P0,P1,...,Pn in a two dimensional space with same units. I need a metric that will allow me to ...
6
votes
2answers
287 views

Motivation for Hirzebruch-Jung Modified Euclidean Algorithm

Let $a,b \in \mathbb{N} \ \ s.t. \ \ a > b$ have $\gcd(a,b) =1$. We can define the Hirzebruch-Jung modified euclidean algorithm as follows: Let $e_i \in \mathbb{N} >2$, and $ r_k \in ...
6
votes
3answers
399 views

Defining Euler's number via elementary euclidean geometry (and a dimension limit)

Let $B_n$ be a closed ball in euclidean space $\mathbb{R}^n$, and consider the largest cube $Q_n$ contained in $B_n$. Then, let $C_n$ be a cube of maximal size that is contained in $B_n$ and disjoint ...
4
votes
0answers
80 views

Finding closest set of K disjoint hyperspheres to a point in $\mathbb{R}^n$ with uniform radius

I am interested in the following problem: in $\mathbb{R}^n$, we have $N$ overlapping hyperspheres all with the same radius. Given a point $p$ in $\mathbb{R}^n$, the objective is to find the $K$ non ...
7
votes
2answers
307 views

Closed curve whose neighborhood is as large as possible

Let $C$ be a closed curve in the plane and let $N_\epsilon(C)$ be an $\epsilon$-neighborhood of $C$, like this: (ignore the fact that the "curve" is polygonal in this picture, I drew it in MATLAB) ...
25
votes
0answers
513 views

Tiling a square with rectangles

Is it possible to completely tile a square with different rectangles of integer sides but all with the same area? The original problem, not requiring integer sides for rectangles, was proposed by Joe ...
1
vote
0answers
77 views

Of the standard distance metrics, which ones can/cannot be embedded in Euclidean space?

Given the discussion from: Representability of finite metric spaces it appears that a 1974 paper by Morgan gives the criteria for when a distance metric can be embedded in Euclidean space. My first ...
8
votes
2answers
320 views

Does the hyperdeterminant calculate a quantity akin to the volume of a parallelepiped?

If $M$ is an $n \times n$ matrix, $|\det(M)|$ is the volume of the $n$-dimensional parallelepiped spanned by the column vectors of $M$.                 ...
4
votes
1answer
71 views

Quantitative version of the splitting theorem

The classical splitting theorem (Toponogov, Milka) says that if a smooth complete Riemannian manifold (more generally, Alexandrov space) $M^n$ of non-negative sectional curvature contains a line (i.e. ...
3
votes
0answers
147 views

ricci flow on surfaces

In Hamiltons paper "Ricci flow on surfaces" there is an estimate on $|\nabla R|^2$ which shows that $|\nabla R|^2 \leq C_1 \exp{\frac{rt}{2}}$ for some constant $C_1$. Actually for any solution of the ...
14
votes
0answers
102 views

A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...
6
votes
1answer
136 views

Existence of a measurable map between metric spaces

Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto. Is ...
3
votes
1answer
63 views

Is the boundary of Alexandrov space again an Alexandrov space?

Let $X$ be a finite dimensional (possibly compact) Alexandrov space with curvature $\geq K$. Is it true that its boundary is again Alexandrov space with curvature bounded from below? If yes, is the ...
6
votes
2answers
102 views

Equality of triangles in normed spaces

Hilbert space satisfies the following condition: if two triangles $\triangle ABC$, $\triangle A_1B_1C_1$ have equal sides lengths: $|AB|=|A_1B_1|$, $|BC|=|B_1C_1|$, $|AC|=|A_1C_1|$ they also have ...
12
votes
2answers
425 views

Embedding Z into Z^2 with large distortion

Is it possible to find a 2-way infinite (self-avoiding) path $\{x_i\}_{i\in \mathbb Z}$ in the standard Cayley graph of $\mathbb Z^2$, i.e. the square grid, such that the distance between $x_i$ and ...
2
votes
1answer
75 views

A property of geodesic triangles in Alexandrov spaces

Let $X$ be an $n$-dimensional Alexandrov space with curvature at least -1. Assume that at every point it has an $(n,\delta)$-strainer of length $\mu$, where $\delta$ and $\mu$ are independent of a ...
7
votes
1answer
313 views

Area of square to wrap a torus

The Nash-Kuiper $C^1$ isometric embedding of flat torus into $\mathbb{R}^3$ has recently been spectacularly visualized by the Hevea Project. This suggests two questions. Q1. What is the area of ...
7
votes
0answers
129 views

Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem, solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires "planks" (parallel strips) of total width $\ge d$ in order to completely cover a ...
2
votes
0answers
91 views

What is the metric on the Fuchsian model? [closed]

Let $\mathbb{H}$ be the upper half plane, and $\Gamma < SL(2, \mathbb{R})$ be a Fuchsian group. How is the distance between any two points $x, y \in \mathbb{H} / \Gamma$ in the Fuchsian model ...
10
votes
2answers
314 views

Isometric imbedding of a sphere with positively curved metric

QUESTION. Given a Riemannian metric on the sphere $S^n$ with positive sectional survature. Can it be isometrically imbedded into $\mathbb{R}^{n+1}$ (of any class of regularity) as a boundary of a ...
4
votes
1answer
90 views

A property of geodesic triangles in manifolds with lower bounds on curvature and injectivity radius

Does there exist a function $\tau(\varepsilon)=\tau(\varepsilon,n,K,\mu)$ such that $\lim_{\varepsilon\to +0}\tau(\varepsilon)=0$ and for any $n$-dimensional complete Riemannian manifold $M^n$ with ...
4
votes
0answers
88 views

Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case? More ...
3
votes
1answer
116 views

Lebesgue differentiation theorem holds on locally doubling space?

It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
1
vote
1answer
31 views

Multiplicity of a subcovering in spaces of given Hausdorff dimension

Let $X$ be a locally compact metric space of integer Hausdorff dimension $n$. Let $K\subset X$ be a compact subset. Let $\{B_i\}_i$ be a finite family of balls covering $K$. One may assume that all ...
4
votes
1answer
130 views

local quasi geodesics in hyperbolic spaces

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too. We have the following two well-known Theorems: T1) For all $\delta > 0, ...
2
votes
1answer
174 views

Is it possible to construct an isosceles triangle by using a ruler and without using a pair of compasses?

It is well known that on Euclidean plane one can construct an isosceles triangle on given straight line by using a ruler and a pair of compasses. Also it is possible to construct straight line ...
1
vote
1answer
85 views

Pairs of rays in euclidean buildings

In section 4.1.3 of Kleiner and Leeb's paper on symmetric spaces and euclidean buildings, there's a result about pairs of rays from the same point initially spanning a flat triangle (or being ...
8
votes
1answer
176 views

$|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space

Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times ...
1
vote
1answer
252 views

Is the map $\exp_x(\nabla_x \sum_{i=1}^m d^2(x_i,x))$ Lipschitz?

The last question is too general, this is a modification. Let $M$ be an $n$ dimensional Riemannian manifold. Fix $m$ points $x_1,...,x_m$. Suppose $y$ is not in the cut locus of $x_i$ for $1 ...
12
votes
3answers
277 views

Curvature of a finite metric space

I am sorry to ask a very vague question, but: What are good ways to define the curvature of a finite metric space? The best way I can think of is: the curvature of a finite metric space $M$ is ...
5
votes
1answer
73 views

Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints? $x_1+x_2+...+x_n = 1$ $a_1 \le x_1 \le b_1$ $a_2 \le x_2 \le b_2$ $...$ $a_n \le ...
2
votes
1answer
113 views

Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...
3
votes
2answers
89 views

Basic question about discrete minimal surfaces

Let $P$ be a convex polygon with $n > 3$ vertices $v_1, \ldots, v_n \in \mathbb{R}^2$, let $x$ be a point in the interior of $P$, and let $u$ be a function with prescribed values at the vertices of ...
1
vote
0answers
79 views

A compact Alexandrov space with curvature bounded below has curvature bouneded above? [closed]

For a compact Riemannian manifold, Since the curvature tensor is continuous, we know that the sectional curvature is bounded, i.e. bounded above and below. Now let $M$ be a compact Alexandrov space ...
9
votes
2answers
342 views

For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature? An obvious case is when $Y$ ...
6
votes
2answers
447 views

Geodesics on SO(3)

I have two 3D rotations about the origin, represented as $3 \times 3$ orthogonal matrices $M_1$ and $M_2$ (specified by numerical entries), and I would like to interpolate (and compute) a continuous ...
3
votes
0answers
108 views

Are ultralimits the Gromov-Hausdorff limits of a subsequence?

Let $(M_i,p_i)$ be a sequence of $n$-dimensional Riemannian manifolds with lower Ricci curvature bound $-1$. Fix a non-orincipal ultrafilter and let X be the ultralimit of the sequence. Does there ...
10
votes
1answer
216 views

If all balls around fixed basepoints are isometric, are the spaces as well (length spaces)?

Let $X$ and $Y$ be two complete proper length spaces, $x \in X$ and $y \in Y$. Assume for every $r>0$ the closed balls $\overline{B_r(x)}$ and $\overline{B_r(y)}$ are isometric. Does there exist ...
7
votes
2answers
656 views

Square of the distance function on a Riemannian manifold

Let $(M^n,g)$ be a smooth Riemannian manifold. Consider the square of the distance function $$dist^2\colon M\times M\to \mathbb{R}$$ given by $(x,y)\mapsto dist^2(x,y)$. It is easy to see that this ...
2
votes
1answer
164 views

Embedding graphs into hyperbolic spaces

Do we know of a characterization as to when does a graph have a "good" embedding into a hyperbolic space? (And does having such an embedding have a spectral or wavelet analysis signature?) I don't ...
2
votes
1answer
90 views

Is a cocompact CAT(0) periodic?

Let $X$ be a CAT(0) space and $G$ its group of isometries. Then $X$ is said to be cocompact, if there exists a compact set $K\subset X$ with $X=G.K$. The space $X$ is called periodic, if there exists ...
9
votes
4answers
621 views

Is this an instance of any existing convex pentagonal tilings?

Inspired by Wikipedia's article on pentagonal tiling, I made my own attempt. I believe this belongs to the 4-tile lattice category, because it's composed of pentagons pointing towards 4 different ...
14
votes
1answer
794 views

Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property: There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$? If not, is it ...
4
votes
0answers
88 views

Tetrahedron incenter iteration tree

This is driven more by curiosity than by research, but nevertheless may be of some interest. Start with a regular tetrahedron $T$ with corners $(a,b,c,d)$, and let $x$ be its incenter—the ...
2
votes
0answers
98 views

Obtaining a quasi-isometry of the 'boundary'

It is well-known that a quasi-isometry induces a homeomorphism on the space of ends of say a locally finite graph for simplicity. Clearly the converse is not true. In other words the concept of ends ...
5
votes
3answers
267 views

set of centers of sphere inscribed in tetrahedron

Having a sphere and three diffrent point $A,B,C$ on this sphere. Find set of all centers of spheres inscribed in a tetrahedron $ABCD$, where $D$ is some point on the given sphere. The problem reduced ...
10
votes
2answers
369 views

Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$...during this proof I've precisely used the fact that given two point in $X$ there ...
7
votes
2answers
148 views

Kissing number and overlapping number

Let $S$ be a certain family of geometric objects (e.g, the family of unit squares). The kissing number of $S$ is the maximum number of nonoverlapping elements of $S$ that can touch one element of ...
0
votes
0answers
172 views

Best measure for curve similarity

I would like to measure similarity between two curves represented by two arrays of points. The similarity measure should not depend on the size of these shapes. Two similar shapes but have different ...
1
vote
0answers
122 views

understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...