All Questions
4,827 questions
0
votes
0
answers
21
views
Largest inscribed parallelepiped of the convex set defined by partial sum of Fourier series
Let $\mathcal{X}$ be the set consisting of all $(2n+1)$-dimensional real vectors $\mathbf{x}=\left( a_0,a_1,\ldots,a_n,b_1,\ldots,b_n\right)^{\intercal}$ satisfying
$$
\left| f_{\mathbf{x}}(t) \right|...
7
votes
0
answers
315
views
Sandwiching ellipses between planar convex bodies
Let $K$ and $L$ be planar convex bodies which are not ellipses. Does there exist an affine image $K'$ of $K$ such that
$K' \subset L$
No ellipse $E$ satisfies $K' \subset E \subset L$
I am also ...
1
vote
0
answers
103
views
Low dimensional symmetric Euclidean immersions of the Klein quartic
I was wondering what the lowest Euclidean dimension the Klein quartic has a faithful symmetric immersion, that is an immersion such that all of its automorphisms* are distinct symmetries of the ...
0
votes
0
answers
106
views
Upper bounds for minimum angle
What are the latest and best results on the asymptotic upper bound for the minimum angle between any pair of rays among $n$ rays in $\mathbb{R}^3$?
Any helpful answer would be appreciated. Thank you!
3
votes
1
answer
484
views
On some infinite planar arrangements with triangles
Background: Given a convex region C. One can define a graph corresponding to a planar arrangement of non overlapping congruent copies of C - each unit C is a node and an edge connects it to another ...
5
votes
1
answer
247
views
Question on the exact largest minimum angle
Could anyone help find the EXACT largest minimum angle between any pair of lines among 5 lines passing through the origin in $\mathbb{R}^3$? Additionally, what is the exact largest minimum angle ...
28
votes
8
answers
5k
views
Convex hull in CAT(0)
Let $X$ be complete $\mathop{CAT}(0)$-space and $K\subset X$ be a compact subset.
Is it true that convex hull of $K$ is compact?
Comments:
Convex hull of $K$ = intersection of all closed convex sets ...
3
votes
1
answer
239
views
The realization space of non-convex polyhedra - What is known?
The space $\mathfrak R_{\mathrm c}(P)$ of convex realizations of a (3-dimensional, spherical) polyhedron $P$ is known to be well-behaved: it is a contractible manifold of dimension $\#\text{edges}+6$ (...
4
votes
1
answer
275
views
Lower bound on volume of $n$-cube intersected with $n$-sphere
Let $B_n^r(c)$ be the radius $r$ ball in $\mathbb{R}^n$ dimensions centered at $c$. I am interested in
$$\text{Vol}([-0.5, 0.5]^n \cap B_n^r(c)).$$
Is there a good lower bound for this quantity?
I was ...
9
votes
0
answers
256
views
Compass and straightedge construction of Poncelet polygons
Gauss–Wantzel theorem states that
A regular n-gon is constructible with straightedge and compass if and only if $n = 2^kp_1p_2...p_t$, where $p_i$'s are distinct Fermat primes (A Fermat prime is a ...
7
votes
1
answer
179
views
More on the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G=(g_{ij}\colon i,j=1,\dots,6)$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$. Let
$$u:=\sum_{1\le i<j\le 6}g_{ij}^2,\quad v:=\sum_{1\le i<j<k\le 6}g_{ij}g_{ik}g_{jk}.$$...
4
votes
1
answer
96
views
On the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$.
Can the mean of the squares of the off-diagonal entries of $G$ be $<1/5$?
Remark 1: A numerical experiment suggests that $...
6
votes
1
answer
489
views
What inequalities for convex sets are known since the work of Scott and Awyong?
In 2000, Paul R. Scott and Poh Way Awyong published the paper Inequalities for Convex Sets, which nicely collates the known results relating various natural geometric functionals (diameter, area, etc.)...
1
vote
0
answers
71
views
Is the circumcenter Lipschitz on large convex sets in hyperbolic space?
Given a uniquely geodesic metric space $X$, let $\mathcal K(X)$ denote the metric space of compact, convex subsets of $X$ equipped with the Hausdorff distance. Given $K \in \mathcal K(X)$, let $c(K)$ ...
0
votes
2
answers
244
views
Decreasing magnitude of spherical centroid
Let $\sigma$ be the uniform measure on $\mathbb{S}^{d-1}\subset \mathbb{R}^d$. For any region $R\subset \mathbb{S}^{d-1}$, let $X_R$ be a random variable which is uniformly distributed across $R$. We ...
0
votes
2
answers
134
views
What is the smallest area of a central section of the unit hypercube?
Let $\mathcal{U} \subseteq \mathbb{R}^n$ denote the unit hypercube i.e. $\mathcal{U} = [0,1]^n$, and assume that for some $d \in \mathbb{R}^n$ one denotes by
$$
\mathcal{H} = \left\{x \in \mathbb{R}^n ...
4
votes
0
answers
66
views
Convergence of graph geodesics to geodesics on metric spaces
Let $(X,d)$ be a compact length space metric space $\mathbb{X}_{\delta}$ be a $\delta$-packing on $X$ and, for every $k\in \mathbb{N}_+$, let $G_{k,\delta}=(\mathbb{X}_{\delta},\mathcal{E}_k,W_k)$ ...
1
vote
1
answer
133
views
In the limit, do the intersection points of a string figure define a probability measure on the unit disk?
Let D = {z ∈ ℂ | |z| ≤ 1} denote the closed unit disk in the complex plane.
For any integer n ≥ 1 define the nth string figure S(n) ⊂ D as the union of all n(n+1)/2 line segments that connect two ...
10
votes
6
answers
700
views
Tiling with similar tiles
Question 1: Is there a polygon $P$ that
cannot tile the plane
and
tiles the plane when copies of $P$ and some other polygon(s) all similar in shape to $P$ but of different size(s) can be used?
...
2
votes
2
answers
213
views
Bounding the length difference of two curves given the Fréchet distance between them
Given two simple, closed, convex, planar curves $C_1$ and $C_2$, let their lengths be $\ell_1$ and $\ell_2$, respectively, and their Fréchet distance be $d_f$. We are trying to bound $|\ell_1 - \ell_2|...
28
votes
3
answers
2k
views
Does isometric immersion map boundary to boundary?
Let $M$ be a compact, connected, oriented, smooth Riemannian manifold with non-empty boundary. Let $f:M \to M$ be a smooth orientation preserving isometric immersion.
Is it true that $f(\partial M) \...
4
votes
0
answers
87
views
Statistics of random Voronoi S-tessellations
Given a locally finite set of points $\{x_1,x_2,\dots\}\subset\mathbb{R}^d$, the Voronoi cell of a point $x_{i}$, denoted by $C(x_{i})$, consists of all the points in $\mathbb{R}^d$ that are closer to ...
15
votes
2
answers
1k
views
Do two new special points in any triangle exist?
There are some special points in any triangle, as Fermat point, symmedian point, incenter, Morley center, et cetera.
Let $P$ be a point on the plane, $PA$, $PB$, $PC$ meet $BC$, $CA$, $AB$ at $...
3
votes
1
answer
368
views
Lot sizing problem: how to add these cuts efficiently
Consider the set of constraints of the uncapacitated lot sizing problem:
$$
\{(x,s,y)\in \mathbb{R}^n_+ \times \mathbb{R}^n_+ \times \mathbb{B}^n \;|\;s_{t-1}+x_t = d_t+s_t,\; x_t \le My_t,\; t=1,\...
0
votes
0
answers
24
views
Is there a log-concave distribution not spherical symmetric s.t $ \langle X, \theta \rangle$ is almost normal for all directions $\theta$?
Klartag's results indicate that for a log-concave isotropic random vector, with high probability over $\theta$, $\langle X, \theta \rangle$ is close to a normal distribution.
It is known that for the ...
2
votes
0
answers
70
views
Lipschitz continuity of orthogonal projection with respect to the Hausdorff distance
Let $x_0 \in \mathbb R^n$, and let $\mathcal K$ denote the set of compact convex subsets of $\mathbb R^n$ equipped with the Hausdorff metric. Consider the map $f: K \mapsto \Pi_K x_0$, where $\Pi_K$ ...
0
votes
1
answer
114
views
Mixed integer program and continuous Diophantine approximation
Let $n\in\mathbb{N}$ such that $n\geq 2$ and let $0<r<1$ be a real number. We wish to solve the following problem.
$$\min_{(t,(z_j)_{j=2}^n) \in \mathbb{R}\times \mathbb{Z}^{n-1}} t$$
subject to ...
1
vote
0
answers
162
views
A certain circle formed by perpendiculars
If six points are chosen, two points on each side of a triangle, such that they have the same ratio of distances to vertices, then the perpendicular lines through those points meet at six concyclic ...
0
votes
1
answer
396
views
What is the best way to choose initial basis when applying simplex method to an equality form of LP?
Currently I'm trying to write a practically fast LP solver for a sparse instance, which is by simplex method with LU decomposition and eta-matrix update. In the development I realized that I'm not ...
4
votes
1
answer
329
views
Billiard circuits in pentagons
A billiard circuit in a convex $n$-gon is a closed billiard path
of $n$ segments reflecting from consecutive edges of the polygon.
Every regular $n$-gon has such a billiard circuit:
Recently a ...
4
votes
2
answers
310
views
Injective hulls of metric spaces
In the context of large scale geometry and geometric group theory, I have recently come across the concept of injective hulls of metric spaces. For a metric space $X$, let $\text{In}(X)$ be the set of ...
2
votes
0
answers
82
views
Is isoperimetric hypersurface unique up to homeomorphism?
Is there a Riemannian structure on $\mathbb{R}^n $with two non homeomorphic compact hypersurfaces $M,N$ such that both satisfy the isoperimetric inequality. I precisely meanthe following:
$$\...
6
votes
1
answer
241
views
Reference request: acceleration/curvature of curve in metric space
Let $(X,d)$ be a metric space. Given a continuous curve $\gamma_t : [0,1] \rightarrow X$, the metric speed is defined by $$ |\gamma_t^\prime | := \lim_{s\rightarrow t} \frac{d(\gamma_s, \gamma_t)}{|t-...
20
votes
2
answers
3k
views
Can a 2-sphere be squashed flat?
Does there exist a function $f:\Bbb{S}^2\rightarrow\Bbb{R}^2$ which preserves the length of every rectifiable curve? That is, can a sphere be crushed flat without tears? Of course, this is a Nash-...
0
votes
0
answers
67
views
Comparing partitions of a given planar convex region into pieces with equal diameter and pieces of equal width
We continue from Cutting convex regions into equal diameter and equal least width pieces. There we had asked for algorithms to partition a planar convex polygon into (1) $n$ convex pieces of equal ...
2
votes
1
answer
147
views
Are there polytopes with precisely two realizations?
A convex polytope is projectively unique if it has a unique realization up to projective transformations. Such polytopes are somewhat mysterious but still well-studied. Examples are simplices, the ...
4
votes
2
answers
341
views
Cutting convex regions into equal diameter and equal least width pieces - 2
This post is a spinoff from Cutting convex regions into equal diameter and equal least width pieces
Definitions: The diameter of a convex region is the greatest distance between any pair of points in ...
3
votes
1
answer
418
views
Generalization of Tucker circle, Conway circle and van Lamoen circle
Theorem 9.1 in this paper as follows is a generalization of Turker circle. Turker circles is a generalization of many circles as: Cosine Circle, circum circle, First Lemoine Circle, Gallatly Circle, ...
25
votes
1
answer
513
views
Is there an inventory of closed billiard paths in a regular tetrahedron?
Conway found a closed billiard-ball trajectory in a regular tetrahedron:
Image: Izidor Hafner
Since then Bedaride and Rao
Bedaride, Nicolas, and Michael Rao. "Regular simplices and periodic ...
2
votes
0
answers
48
views
Maximum coverage of an orthogonal polygon using $k$ rectangles
I have an orthogonal polygon (all edges are horizontal or vertical) which is convex (no holes in any row of column of the polygon).
I would like to cover as much as possible of this orthogonal polygon ...
7
votes
1
answer
508
views
An order statistics problem with some interesting geometry
Let $a_n$ be a given sequence of positive numbers, and $X_n$ a sequence of independent random variables with each $X_n$ uniformly distributed on $[0, a_n]$.
Question: Let $N \geq 2$ be an arbitrary ...
19
votes
5
answers
21k
views
Dividing a square into 5 equal squares
Can you divide one square paper into five equal squares?
You have a scissor and glue. You can measure and cut and then attach as well. Only condition is You can't waste any paper.
2
votes
0
answers
38
views
Constructing an $n$-simplex at the border of a $n$-ball by orthogonal hyperplanes
I want to construct an $n$-simplex the following way:
Choose $n$ vectors in the boundary of an $n$ dimensional ball, which are forming an $(n-1)$-simplex together.
Place the orthogonal affine $n-1$-...
5
votes
1
answer
206
views
Lattice with Voronoi cell inside a circle
This considers real-valued lattices in two dimensions.
I need to find the densest lattice $\Lambda$, i.e., the one with the smallest determinant of its generator matrix, such that the Voronoi cell of ...
3
votes
0
answers
61
views
For which lattices L does the cluster of Voronoi regions abutting that of the origin have a lattice tiling of euclidean space?
Let L be a n-dimensional lattice (a discrete cocompact subgroup of n-space).
Let V0 denote the Voronoi region of the origin, and let C denote the union of V0 with all the Voronoi regions that share a ...
0
votes
0
answers
119
views
Boundedness of 2 times the unit ball
Suppose that $X$ is a topological vector space where the topology is given by a metric $d$ on $X$. Assuming that the unit ball
$$
B(0, 1) := \{x \in X : d(0, x) < 1\} \neq X,
$$
is it necessarily ...
5
votes
0
answers
187
views
Packing cylinders in a sphere: Phase transition?
Let $S$ be a unit-radius sphere in $\mathbb{R}^3$,
and $c$ a cylinder of length $L$ and radius $r<2$.
It appears to me that for $L \in [\sqrt{2},2]$
and "small" $r$,
the optimal packing ...
1
vote
0
answers
68
views
Name of the perspector of the orthic triangle and excentral triangle
The orthic triangle and tangential triangles of a given triangle are in perspective. What's the official kimberling center associated with this perspector?
0
votes
0
answers
78
views
Coordinates of the centers of the insphere and circumsphere
Suppose we are working in $\mathbb{R}^3$ space and we have four non-coplanar and non-collinear points, $(x_a, y_a, z_a)$, $(x_b, y_b, z_b)$, $(x_c,y_c, z_c)$, and $(x_d, y_d, z_d)$. How does one ...
0
votes
0
answers
37
views
Does smallness of Gromov-Hausdorff distance on scale 2 imply smallness on GH distance on scale 1?
Let $(M,g)$ be a Riemannian manifold and $C(Y)$ be a metric cone over $Y$. Let $B_r$ denote the geodesic ball of radius $r$ centered at a fixed point $x$ in $M$ and $C_r$ denote the metric ball of ...