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

learn more… | top users | synonyms (1)

5
votes
0answers
32 views

Trees with a maximal convex hull: are the only optimal solutions Steiner trees?

For given $n\geqslant 3$, I'm looking for a connected set composed of $n$ equal segments in the plane such that the convex hull of it has maximal area $A(n)$. To simplify notation, we'll take ...
3
votes
0answers
63 views

Nice minimal embeddings of large finite groups into compact Riemannian manifolds

The initial motivation for this question is a very practical problem: I need to find the absolute minimum of a function on a very large symmetric group $\Sigma_N$ (with $N$ 10000 or more). So if ...
11
votes
0answers
105 views

Higher dimensional generalization of: Any quadrilateral tiles the plane?

Any (non-self-intersecting) quadrilateral tiles the plane.     (MathWorld image.) Q. What is the strongest known generalization of this statement to higher dimensions? I.e., ...
16
votes
2answers
350 views

Is every elementary absolute geometry Euclidean or hyperbolic?

Absolute geometry is any one that satisfies Hilbert's axioms of plane geometry without the axiom of parallels. It is well-known that it is either the Euclidean or a hyperbolic plane. For an elementary ...
10
votes
1answer
259 views

Simple, closed geodesics in $\mathbb{S}^3$ manifold

Lyusternik and Shnirel'man were the first to prove Poincaré's conjecture that any Riemannian metric on $\mathbb{S}^2$ has at least three simple (non-self-intersecting), closed geodesics. See, e.g., ...
4
votes
0answers
100 views

Circumscribing simplex to convex body?

Q. Does every (perhaps smooth) compact convex body $K$ in $\mathbb{R}^d$ admit a circumscribing simplex, each facet of which touches (shares a point with) $K$? How about a circumscribing ...
3
votes
1answer
77 views

Covering points with a shortest lattice spiral

Let $S$ be a finite set of lattice points in $\mathbb{Z}^2$. My question is, roughly: Q. How can a shortest lattice spiral that passes through every point of $S$ be found? A lattice spiral (my ...
3
votes
1answer
100 views

Lipschitz function with somewhere dense image

Let $Q=[-1,1]^2$ denote the unit square and let $f:Q\to Q$ be a Lipschitz function such that for any ball $B(a,r)\subset Q$ with radius $r$, the width of the image $f(B(a,r))$ is at least $cr$ for ...
8
votes
1answer
425 views

Is there a straightedge and compass construction of incommensurables in the hyperbolic plane?

In other words, given a segment in the hyperbolic plane is there a straightedge and compass construction of a segment incommensurable with it? In the Euclidean plane one can take the diagonal of the ...
4
votes
2answers
92 views

Which criteria guarantee an orthogonal circuit in $\mathbb R^3$ to be rigid?

For $n\ge4$, define an orthogonal circuit or O-circuit as a closed circuit of $n$ unit segments in $\mathbb R^3$ such that any two neighboring segments form a right angle. (Physically this could be ...
9
votes
1answer
210 views

A random variation on Polya's orchard problem

Polya's orchard problem is as follows: "How thick must the trunks of the trees in a regularly spaced circular orchard grow if they are to block completely the view from the center?" See, ...
9
votes
4answers
478 views

A metric space of geometric shapes

My research involves geometric shapes in $R^2$, and I need a metric with several properties such as: Families of similar shapes, such as squares, are closed in this metric. Also more general ...
1
vote
1answer
117 views

Estimating the volume of a union of balls

Let $\{ B_i \}_{i=1}^n$ be a set of $n$ ball in the unit cube $C$ of dimension $d$. If I want to estimate $$ \frac{ \lambda \left( \cup B_i \right) }{\lambda\left( C \right) }, \tag{1} $$ where ...
2
votes
0answers
92 views

Finitely generated groups non-embeddable into $L_1(0,1)$

I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups: (1) Heisenberg group ...
10
votes
1answer
192 views

Embeddings of finitely generated groups into uniformly convex Banach spaces

de Cornulier, Tessera, and Valette (Geom. Funct. Anal. 17 (2007), 770-792) conjectured that a finitely generated group $G$ with its word metric admits a bilipschitz embedding into a Hilbert space if ...
1
vote
0answers
57 views

Quadrilaterals from a Unit Stick

This question could be seen as a coordinate-free variant of Sylvester's Four Point Problem (cf e.g. http://mathworld.wolfram.com/SylvestersFour-PointProblem.html): Suppose one are given an ...
0
votes
1answer
110 views

Two questions about convex subsets of Hilbert Space

Let H be an infinite dimensional and separable Hilbert Space. Do there exist disjoint, closed and bounded subsets A,B of H which satisfy the following conditions? (1) Each of A,B is convex and has a ...
5
votes
0answers
96 views

Star shaped sets with a midpoint

Suppose $U$ is an open subset of $\mathbb{R}^n$ which is star shaped with respect to $p\in U$. I'll call $p$ a midpoint of $U$ if for any line $\ell$ through $p$, the point $p$ is the midpoint of the ...
7
votes
1answer
87 views

Dropping altitudes to achieve nonobtuse planar triangulations: finite or infinite?

Given a planar triangulation of (say) a convex region, imagine the following process to convert it to a triangulation with no obtuse angles: Pick an arbitrary obtuse angle at vertex $a$ of ...
2
votes
2answers
100 views

Maximum possible number of similar three-colored triangles

I want to maximize the number of similar triangles with vertices from three fixed sets, one vertex from each set. For example, if you fix two points $X$, $Y$ (i.e. two sets with only one member), then ...
3
votes
1answer
67 views

Local geodesics in uniquely geodesic spaces

A while ago I asked this question in Math Stackexchange. Since I didn't receive an answer so far, I thought I'd ask it here. Suppose $Y$ is a proper length space, where every pair of points $x,y\in ...
2
votes
1answer
64 views

Characterization of the medial axis of a surface

I would like to know if the following "characterization" of the medial axis of a surface is correct, and if so, how to prove it. Let $S$ be a continuous, piecewise smooth, compact surface embedded in ...
10
votes
3answers
317 views

Circles avoiding rational points of height $\le h$

Q. Which origin-centered circles $C(r)$ (or spheres in dimension $d$) of radius $r < 1$ avoid all rational points of height $\le h$? A rational point is a point all of whose coordinates ...
5
votes
2answers
203 views

Are shortest halving curves simple closed geodesics?

Let $S$ be a smooth convex surface in $\mathbb{R}^3$ (although my question may as well be asked for the surface of a polyhedron). Say that $\gamma$ is a shortest halving curve if (a) it partitions the ...
15
votes
0answers
422 views

The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in a unit $d$-dimensional cube, with perfectly elastic wall collisions. Let $k=n^{\frac{1}{d}}$. For example, in 3D, $d=3$, with ...
2
votes
0answers
86 views

Cusp points in Alexandrov spaces

Given a space of bounded integral curvature (by which I mean a topological surface with an intrinsic metric, such that the sum of excesses of any finite collection of non-overlapping simple triangles ...
3
votes
2answers
205 views

Is the hypersurface satisfying $\langle x-x_0,\nu\rangle>0$ diffeomorphic to sphere?

Let $p:M\to \mathbb{R}^{n+1}$ be the closed immersed hypersurface. Is the following thing right? If there exists a point $x_0$ in $\mathbb{R}^{n+1}$ such that $\langle x(p)-x_0,\nu(p)\rangle>0$ ...
-3
votes
2answers
86 views

Hexagon Formed by connecting Trisections of triangle sides [closed]

Is there a theorem for the area of the hexagon formed by connecting the points formed when the sides of a triangle are trisected? It appears that the ratio of the area of the triangle to the area of ...
10
votes
2answers
482 views

Is every knot unavoidable in the embeddings of some graph?

Is it the case that, for any given knot $K$, there exists some graph $G$ whose every embedding into $\mathbb{R}^3$ (or into $\mathbb{S}^3$) contains a cycle that realizes $K$? I know the ...
27
votes
2answers
724 views

Shortest path through $\sqrt{n}$ points out of $n$

Say I sample $n$ points uniformly at random in the unit square, and then I look for the shortest path through $\sqrt{n}$ of those points (rounding up, say). What happens to the length of this path as ...
3
votes
1answer
119 views

Are there isomeasure simplices?

Say that two polyhedra in $\mathbb{R}^3$ have isomeasures (my terminology) if they have: the same volume, the same surface area, the same sum of all edge lengths, and the same number of vertices. The ...
20
votes
1answer
530 views

Ellipses on spheres (and other surfaces)

Define an ellipse $E$ on a sphere as the locus of points whose sum of shortest geodesic distances to two foci $p_1$ and $p_2$ is a constant $d$. There are conditions on $\{ p_1, p_2, d \}$ for this ...
3
votes
0answers
74 views

maximum sum of angles between $n$ lines

Take $n$ lines in $\mathbb{R}^d$ (not necessary different, and all passing through the origin, though this is not important). What is maximal possible sum of angles between them for given $n$ and $d$? ...
3
votes
0answers
40 views

Algorithm to construct metric space endomorphism with controlled square

Given a finite metric space $(M,d)$ with parameters $K \geq 1$ and $\epsilon > 0$, I'd like to algorithmically check for the existence of a non-identity map $\phi:M \to M$ which happens to be ...
13
votes
0answers
228 views

Can R^3 be expressed as a disjoint union of pairwise linked circles?

We can express $\mathbb{R}^3$ as a disjoint union of circles. There are some constructive ways of doing this, although it's easier to construct them sequentially by transfinite induction, applying the ...
2
votes
1answer
136 views

Distance matrices

We say that a matrix $M\in\mathbb{R}^{n\times n}$ is a distance matrix on a metric space $(X,d)$, if there exist $x_1,\cdots,x_n \in X$ such that $M=[d(x_i,x_j)]_{n\times n}$. Question. For which ...
4
votes
2answers
114 views

Connectivity of points sampled in a grid

Suppose that I partition an $n\times n$ square into $n^2$ squares $S_1 ,\dots, S_{n^2}$ each of area $1$, and then I sample a point $X_i$ uniformly at random in each $S_{i}$. Now fix a radius $r$ and ...
3
votes
1answer
239 views

When does the intersection of cylinders produce a ball?

Suppose one intersects unit-radius solid cylinders in $\mathbb{R}^3$, with each cylinder axis passing through the origin. For example, two such cylinders produce the Steinmetz solid. But if we ...
2
votes
0answers
113 views

On the volume entropy of negatively curved manifolds

Let $X$ be the universal cover of a closed negatively curved Riemannian manifold. Let $x_0\in X$ be a base point, $S$ be the unit sphere in $T_{x_0}X$ and $\exp:T_{x_0}X\rightarrow X$ be the ...
4
votes
0answers
80 views

Centralizers and intersections in the Gromov-boundary of the mapping class group

The mapping class group of a punctured surface $\Sigma$ is weakly relatively hyperbolic (see below), hence it is well defined the Gromov-boundary with respect to the relative metric. First question: ...
1
vote
0answers
89 views

A conjecture about cross sections of a pyramid [closed]

Show that for $n\ge 5$, a cross-section of a pyramid whose base is a regular $n$-gon cannot be a regular $(n + 1)$-gon. This is a conjecture I came across while trying to solve this problem. I was ...
3
votes
1answer
60 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
1answer
400 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
0answers
56 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 $$ ...
3
votes
0answers
150 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
1answer
133 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
0answers
117 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
1answer
176 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
3answers
759 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
0answers
53 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 ...