**-3**

votes

**0**answers

58 views

### Isoceles Triangles on a Grid Proof [on hold]

Given: A Finite Set of Unit Squares on a Large Grid. If we were to choose one of those sets of unit squares, we see that the squares of the set are tiled with isosceles right triangles, each with a ...

**5**

votes

**0**answers

60 views

### Unbalanced equipartitions

Let $K$ be a compact convex set in the plane.
Say that a perimeter-halving partition of $K$
is a partition of $K$
into two pieces by a chord (a segment with endpoints
on the boundary $\partial K$) ...

**0**

votes

**2**answers

77 views

### Planar curves identical to their inverses

Is the right strophoid
the only planar curve $C$ whose inverse curve w.r.t. some circle (in this case: centered on the origin)
is identical to $C$?
...

**1**

vote

**1**answer

65 views

### Smooth unit vector field on a tetrahedron to interpolate vertex constraints

For a tetrahedron $T\subset \mathbb{R}^3$ with vertices $r_i\in \mathbb{R}^3$ , $i=1,\ldots,4$, and unit vectors $u_i\in \mathbb{S}^2$ at each vertex $i=1,\ldots,4$
consider the (energy) functional
...

**4**

votes

**0**answers

42 views

### topological spaces admitting CAT(1) metrics

Suppose that $X$ is a locally contractible completely metrizable topological space. Is it true that $X$ can be metrized as a (complete) CAT(1) metric space?
The only result in this direction I know ...

**3**

votes

**1**answer

121 views

### Non-closed geodesics on a convex polyhedron in $\mathbb{R}^3$

Let $P$ be the surface of a closed convex polyhedron in $\mathbb{R}^3$.
Q. Does every non-closed geodesic $\gamma$ fill $P$ densely?
Of course $\gamma$ cannot pass through a vertex of $P$, but ...

**0**

votes

**0**answers

35 views

### second fundamental form of boundary of convex subset non-negative?

Let M be an n-dim non-compact Riemannian manifold without boudary and $Ric\geqslant-(n-1)$.
Let $Y$ be a convex subset of M with smooth boundary, then the second fundamental form of the boundary ...

**6**

votes

**3**answers

178 views

### Most dispersed set of points in a disk?

Put $1$ billion points in a disk of radius $1$. Consider the minimal area $A$ of a triangle formed by any $3$ points. Where do you put the points so that $A$ is maximal and how much is $A$?
Consider ...

**0**

votes

**0**answers

58 views

### General name for N-dimensional quadrilateral [closed]

A simplex is an n-dimensional generalization of a triangle. Is there a similar name for the corresponding generalization of a quadrilateral (or really a convex quadrilateral)?
Edit: In such a ...

**10**

votes

**3**answers

288 views

### Orthogonal mud cracks and Maxwell's reciprocal figures

Is there a succinct mathematical/physical explanation of why mud cracks
tend to meet orthogonally?
Wikipedia image in this ...

**0**

votes

**0**answers

53 views

### $\Delta$ is generator, $u\in D_{loc}(\Delta) \cap L_{loc}^{\infty}$ and $\varphi \in D(\Delta) \cap L^{\infty}$, then $u\cdot \varphi \in D(\Delta)$? [closed]

Let $X$ be an n-dim, non-compact Rimannian manifold without boundary, denote the measure $m=vol$ the Hasdorff volume. Let $\mathcal{E}$ be the canonical Dirichlet form on $X$ with domain ...

**1**

vote

**0**answers

125 views

### Find m most distant points from a set of n points [closed]

I would like to find the $m$ (where $n$ $\geq$ $m$ > 1) maximally distant subset of points from a collection of $n$ $d$-dimensional points. Maximally distant means the sum of the pairwise distances ...

**0**

votes

**1**answer

150 views

### Sectional curvature as a Hamiltonian on the Grassmanization of the tangent bundle

Edit: According to the comments to the previous version of this question, I remove my essential errors in the question. I thank the commenters very much.
Let $M$ be a n dimensional manifold. ...

**5**

votes

**2**answers

312 views

### Generalization of Pascal's Theorem to Higher Dimensions

Pascal's celebrated theorem in classical geometry gives a necessary and sufficient condition for the existence of a conic through six given points in the plane. Does there exists a similar statement ...

**3**

votes

**1**answer

54 views

### Fixed points of finite order isometries of metric spaces

I would like to show the following:
Let $X$ be a complete metric space that is uniquely geodesic (i.e. each two distinct points are connected by a unique geodesic segment) and $\phi\colon X\to X$ an ...

**3**

votes

**0**answers

41 views

### Fixed point of fatness

For the purposes of this question, define the following properties of convex sets in the plane:
A set is $R$-fat (for $R\geq 1$) if it contains a disc of side-length $x$ and is contained in a disc ...

**1**

vote

**0**answers

52 views

### Besicovitch's covering theorem for ellipsoids and shadows

The usual Besicovitch's covering theorem concerns closed balls in $\mathbb{R}^d$. It relies on a property called "directionally limited metric space": the principal ingredient is to say that there ...

**9**

votes

**0**answers

232 views

### How can we join two points with a small ruler? [closed]

We want to join by a line two distinct points $A$ and $B$. We have only a ruler of length $l>0$ and a pen. If $AB>l$ how can we do this? Imagine a method that works when $AB$ is really huge and ...

**4**

votes

**1**answer

96 views

### Maps between spaces of non-empty compact subsets with the Hausdorff distance (reference request)

Let $X, Y$ be metric spaces, and let $PX$ (resp. $PY$) be the set of all non-empty compact subsets of $X$ (resp. $Y$) with the Hausdorff metric. A continuous map $f\colon X\to Y$ induces a continuous ...

**5**

votes

**2**answers

217 views

### Equitably distributed curve on a sphere

Let $\gamma=\gamma(L)$ be a
simple (non-self-intersecting) closed curve of length $L$
on the unit-radius sphere $S$.
So if $L=2\pi$, $\gamma$ could be a great circle.
I am seeking the most equitably ...

**17**

votes

**0**answers

242 views

### Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to
(0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space
$X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point
set ...

**8**

votes

**1**answer

642 views

### How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...

**41**

votes

**2**answers

2k views

### The view from inside of a mirrored tetrahedron

Suppose you were standing inside a regular tetrahedron $T$ whose
internal face surfaces were perfect mirrors.
Let's assume $T$'s height is $3{\times}$ yours, so that your
eye is roughly at the ...

**13**

votes

**1**answer

298 views

### Is there a bounded sequence of points in the plane with pairwise distances at least $1/\sqrt{|i-j|}$?

Previously I have mentioned the following problem in an addition to the list of Contest problems with connections to deeper mathematics..
Is there an infinite bounded sequence $(P_n) \subset ...

**0**

votes

**0**answers

19 views

### Literature on ellipses [migrated]

I'm looking for good literature/sources that I can cite for working with ellipses, particularly concerning the overlap of 2 or more ellipses but also other calculations with ellipses (e.g. dividing ...

**27**

votes

**2**answers

614 views

### Term for “uncheckable constructions”

Is there a term for "uncheckable geometric constructions"?
Say, Angle Trisection and Doubling the Cube are checkable;
i.e., if the answer is given one can do finite Compass-and-straightedge ...

**1**

vote

**1**answer

276 views

### Word metrics and finite index subgroups

Suppose that we are given some finitely generated group $ G $ and some finite index subgroup of it $ H $. Given a finite generating symmetric generating set $ S \subset G $, we can define the word ...

**4**

votes

**1**answer

193 views

### Panning for gold nuggets: a type of isoperimetric problem

Let $C$ be a unit-radius circle in the plane.
Suppose you have a total length $L$ of string available, and
your task is to connect chords of $C$ using no more
than $L$ of string to minimize the ...

**14**

votes

**1**answer

213 views

### Does the boundary of a convex body contain a regular planar pentagon?

How to prove or disprove that the boundary of any convex body in $\mathbb{R}^3$ includes 5 points which form a regular planar pentagon? The following consideration suggests the answer "yes": if we ...

**3**

votes

**1**answer

76 views

### Stable equilibria of points on the 2-sphere

Suppose $n$ points lie on the sphere $S^2=\{x\in\mathbb{R}^3\mid \|x\|=1\}$ and are subjected to a repulsive acceleration that pushes away a point from each other point with an intensity proportional ...

**1**

vote

**0**answers

38 views

### Projection from a polytope to an affine space

Let $P\subseteq \mathbf{R}^n$ be some polytope defined by an intersection of half spaces with corresponding hyperplanes $H_k$, and let $A\subseteq \mathbf{R}^n$
be some affine space, with $A\cap P ...

**4**

votes

**1**answer

128 views

### The Universality Theorem by Mnev for uniform oriented matroids of rank 4 and higher

According to the Universality Theorem by Mnev (see below theorem 8.6.6 from [1]), for any open semialgebraic variety V there is a uniform oriented matroid of rank 3 whose realization space is stably ...

**5**

votes

**0**answers

67 views

### Path metrics without geodesics [duplicate]

This is a follow-up of this question. Recall that a metric space $(X,d)$ is called a path-metric space if the distance between any two points in $X$ equals the infimum of lengths of paths between ...

**3**

votes

**1**answer

115 views

### Three-dimensional Apollonian spirals

Given mutually (externally) tangent spheres $S_1$, $S_2$, $S_3$, $S_4$, let $S_n$ be the unique sphere externally tangent to $S_{n-1}$, $S_{n-2}$, $S_{n-3}$, and $S_{n-4}$ for $n \geq 5$.
Let ...

**6**

votes

**1**answer

315 views

### Reverse plane geometry, anyone?

I refer to Greenberg's wonderful 2010 MAA article "Old and new results in the foundations of elementary plane Euclidean and non-Euclidean geometries". There, and in his book, Greenberg defines a ...

**-1**

votes

**1**answer

203 views

### Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension.
I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...

**6**

votes

**4**answers

177 views

### Inside-out polygonal dissections

A dissection of a polygon $P$
is a partition of $P$ into a finite number of pieces, which can then be rearranged
(via planar translations and rotations) and joined (without overlap) to form a new ...

**6**

votes

**2**answers

226 views

### Counting valid coordinates

We are given a matrix $D = (d(i,j))_{1 \leq i,j \leq n}$ such that $d(x,z) \leq d(x,y) + d(y,z)$ for each $1 \leq x,y,z \leq n$. It is also known that $d(x,y) \in \mathbb{N}$ (In this question $0 \in ...

**0**

votes

**2**answers

164 views

### Determine the boundary points of a set of points [closed]

I have a set of points $S=\{(x_1,y_1),(x_2,y_2),\ldots,(x_n,y_n)\}$. Then how to find the boundary points (which is a subset of $S$) of $S$?
There are methods like convex hull, concave hull and ...

**3**

votes

**0**answers

61 views

### Probability that a random projection doesn't reduce the distance of a point from a subspace too much

Consider the natural uniform measure (is it called the Haar measure?) on the set of $(n-k)$-dimensional subspaces of $R^n$. We are given a $d$-dimensional affine subspace $U$ (think of $d, k \ll n$; ...

**14**

votes

**2**answers

1k views

### “a shape that … lies halfway between a square and a circle”

An article in the
Notices of the AMS, Volume 61, Issue 10, 2014
(PDF download link),
on Khot's Unique Games Conjecture, says this:
Another group ... found a
shape that in a certain sense lies ...

**4**

votes

**0**answers

108 views

### Optimal planar net for catching convex shapes

Imagine you want to make a net out of string to filter and catch objects of
a certain size, minimizing the length of string employed.
(This actually arises in filtering biological impurities from ...

**6**

votes

**2**answers

314 views

### Are angles between points enough to decide the realizability?

Let n points in the plane be given whose coordinates we don't know.
Assume, however, that for any triple of the points we know the angle.
Question: Can we decide whether the n points are realizable ...

**6**

votes

**0**answers

116 views

### A forked plane continuum

I came up with this question while trying to solve the following MO one:
Does every connected set that is not a line segment cross some dyadic square?
Suppose $C$ is a plane continuum (i.e. a ...

**0**

votes

**0**answers

171 views

### A question about Assaf Naor's review in Bourbaki about the Batson-Spielman-Srivastava result

I am referring to this article - http://www.cims.nyu.edu/~naor/homepage%20files/Exp.1033.pdf
If I understand right, the author states that his equations (8) and (9) are equivalent to the equations ...

**1**

vote

**2**answers

62 views

### Generalised “projection” of a metric space

Assume we have $n$ points $p_0\ldots p_{n-1}$ which form a discrete metric space $V$ with metric $d$. Can we define a function $f:V\rightarrow \mathbb{R}$ with $f(p_0) = 0$, $f(p_1) = d(p_0,p_1)$ and ...

**2**

votes

**1**answer

64 views

### Visibility kernels of embedded graphs

Let $G$ be a connected graph embedded in the plane with all edges straight segments.
For $\alpha \in (0,\pi)$, define an $\alpha$-path as a path in $G$ with
all turns at vertices within ...

**2**

votes

**0**answers

112 views

### Better Sobolev inequality holds in this case when assuming doubling and Poincare inequality?

Let $X$ be a Polish space and let $m$ be a locally finite Borel measure on $X$.
Let $\epsilon$ be a strongly local, regular Dirichlet form on $L^2(X,m)$ with Domain $V :=\{f\in ...

**0**

votes

**0**answers

56 views

### Intersection points of closed curves inscribed in a convex polygon

Suppose that I have two distinct simple closed curves, $C_1$ & $C_2$, and each is inscribed in a convex polygon, D. By inscribed, I mean tangent to each side of D. In particular, I am most ...

**2**

votes

**1**answer

70 views

### How to infer missing nodes from a path?

I have a first data set which is a list of train stops with coordinates (lat, lon), but not the "links" between the nodes/stops (this could thought of as a null or empty graph).
I have a second data ...