**5**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**4**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**3**answers

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

**0**answers

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