All Questions
Tagged with mg.metric-geometry discrete-geometry
188 questions with no upvoted or accepted answers
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)$ ...
- 364
4
votes
0
answers
111
views
Advice on results for balls on regular $N$-dimensional grids
I have obtained some results regarding balls on regular $N$-dimensional grids. I would like expert opinion on wether the results are significant or interesting enough for (trying to) publish them in a ...
- 337
4
votes
0
answers
222
views
What does it mean "parallel"?
I am thinking on a strict definition of the notion of parallel affine sets in a linear space and came to the following
Definition 1: An affine set $A$ is parallel to an affine set $B$ in a linear ...
- 41.9k
4
votes
0
answers
114
views
Find at least one square-boxed subcontinuum
Recall that a plane continuum is a closed, bounded,
connected subset of the plane.
It is non-degenerate if it contains at least two points.
(We may sometimes just say "continuum" even if
we ...
- 1,375
4
votes
0
answers
132
views
Can a polytopal graph be "centrally symmetric" in more than one way?
Let $P,Q$ be two centrally symmetric convex polytopes, potentially of different dimensions and combinatorial type, but with the same edge-graph $G$.
The central symmetry of $P$ induces an involutory ...
- 13.6k
4
votes
0
answers
144
views
Approximation of a convex shape in the $d$-dimensional Euclidean space for $d\gg 1$
We are given a convex shape $C$ lying inside the hypercube $[0,1]^d$ in the $d$-dimensional Euclidean space. Let the volume of $C$ be $\tfrac12$ (I guess nothing changes for any other fixed constant ...
- 1,677
4
votes
0
answers
54
views
On ways to measure the difference between two planar convex regions
This earlier post attempted to quantify the difference between a pair of planar convex regions of equal area and perimeter using Hausdorff distance:
On comparing planar convex regions of equal ...
- 5,979
4
votes
0
answers
232
views
Illuminating a just-barely irrational polygon
As has been discussed earlier on MO,1,2
recently an impressive advance was proved concerning
internally illuminating a mirrored polygon.
Here is the result:
Let $P$ be a rational polygon.
Then for ...
- 151k
4
votes
0
answers
93
views
A variant of the Mondrian problem
Definition: The Mondrian problem consists of dissecting a square of side length n (an integer) into mutually non-congruent rectangles with integer length sides such that the difference d(n) between ...
- 5,979
4
votes
0
answers
246
views
Distance properties of the permutations of a set of points in a Euclidean space
We are given a set of $n$ distinct points $S=\{\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_n\}$ in a Euclidean space $\mathbb{R}^d$, where the distance between two points $\mathbf{x}_i,\mathbf{x}_j\...
- 1,677
4
votes
0
answers
114
views
Can we combine the symmetries of two polytopes to create a more symmetric polytope?
Suppose that there are two combinatorially equivalent (convex) polytopes $P_1,P_2\subset\Bbb R^d$, that is, both with the same face lattice $\mathcal L$.
The symmetry group $\mathrm{Aut}(P_i)\subset\...
- 13.6k
4
votes
0
answers
81
views
Number of orders of distances between points on a line
Points $a_1, a_2, \dots, a_n$ on a line form a set from $n(n-1)/2$ distances between them. Suppose all that distances are different, numerating them from the shortest to the longest one we obtain some ...
- 1,431
4
votes
0
answers
123
views
From a given triangle, to cut 2 mutually congruent convex pieces that together 'use' maximum area of the triangle
Two planar regions are congruent if one can be made to perfectly coincide with the other by translation, rotation or reflection (flipping over).
The Problem: Given a triangular region T, how will we cut ...
- 5,979
4
votes
0
answers
49
views
Equiangular lines with symmetry requirements
Listing all possible arrangements of equiangular lines is non-trivial.
Does the problem become any easier when we additionally require that the symmetry group of that line arrangement acts ...
- 13.6k
4
votes
0
answers
153
views
Perimeters of nested convex spherical polygons
I seek a reference—not a proof—that if $P_1$ and $P_2$
are two convex polygons on a sphere composed of geodesic segments,
contained in a hemisphere, and
$P_1 \subseteq P_2$, then the ...
- 151k
4
votes
0
answers
94
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 ...
- 161
4
votes
0
answers
173
views
On understanding Discrete-Valued Stochastic Processes( time series, panel data )
It seems to me that a significant proportion of work in probability theory, statistics and machine learning are on understanding continuous-valued, relatively weakly dependent, or linear dependent ...
- 41
4
votes
0
answers
202
views
An isoperimetric inequality for "order" polytopes
I am looking for an isoperimetric inequality for order-like polytopes.
An order polytope $K\in \mathbb{R}^n$ is defined by a set of linear inequaities:
$$ \forall i \; 0\leq x_i \leq 1 $$
and
$ ...
- 243
4
votes
0
answers
443
views
Intersection of pencils in $\mathcal{R}^2$
Consider $9n$ pencils through non-collinear points $p_1, \ldots , p_{9n}$ in $R^2$ each consisting of at most $n$ concurrent lines. Define the intersection $S$ of these pencils to be the set of points ...
3
votes
0
answers
136
views
If all max area planar sections of a solid are centrally symmetric, will the solid as whole be centrally symmetric?
It is known that every planar section of an ellipsoid is an ellipse - a centrally symmetric planar figure.
Are there convex solids other than ellipsoids with the property that all its planar sections ...
- 5,979
3
votes
0
answers
208
views
Reference request: Carathéodory-type theorem for convex hulls of closed sets
I'm looking for a reference for the following theorem.
Theorem Let $X$ be a closed subset of $\mathbb{R}^N$, and let $a$ be a point of its convex hull $\operatorname{conv}(X)$. Then there exist ...
- 27.7k
3
votes
0
answers
93
views
Minkowski problem for polytopes: the origin of necessary condition
Minkowski's uniqueness theorem for polytopes concerns the specification of the shape of a polytope by the directions and measures of its facets.
Theorem (Minkowski). Let $A_i$ be positive faces areas ...
- 12.3k
3
votes
0
answers
167
views
A formal inquiry of geometric-problem solving
Let $\Lambda$ be a finite set. Let $\mathcal{L}$ be a finite collection of lines on a plane $X$. Then, define $X^*(\mathcal{L}) = \bigcup_{L_\alpha\neq L_\beta} L_{\alpha}\cap L_{\beta}$ to be the ...
3
votes
0
answers
226
views
Algorithm to dissect a polygon into a minimum amount of rectangles, conditioned on a maximum overlap
I have the following problem, I have a problem regarding concave polygons. I want to write code to cover any polygon with a minimum amount of rectangles that are allowed to overlap and have no fixed ...
- 31
3
votes
0
answers
76
views
A claim on planar sections of 3D convex bodies
Ref: More on shadows of 3D convex bodies,
Shadows and planar sections of polyhedra
Given a 3D convex body C, we define a maximal area (perimeter) section of C with respect to any specified direction $...
- 5,979
3
votes
0
answers
65
views
Cutting triangles into triangles with equal longest side
This post elaborates on a specific instance of Cutting convex polygons into triangles of same diameter .
Question: For any integer n, can any triangle be cut into n non-degenerate triangles all of ...
- 5,979
3
votes
0
answers
117
views
Can a laser hit all the mirrors out of order?
For this question, a "cycle" is a sequence of distinct points
$X = (x_1,x_2,\cdots,x_k)\in\mathbb{R}^3$ which defines a piecewise linear path starting at $x_1$ and visiting the points in ...
- 452
3
votes
0
answers
187
views
Approximating any $d$-dimensional convex shape that occupies a constant fraction of its bounding box with a polytope having $\mathrm{poly}(d)$ facets
Given any convex set $A\in\mathbb{R}^d$, we denote by $V(A)$ its $d$-volume. Furthermore, given any two convex sets $A_1,A_2\in\mathbb{R}^d$, we denote by $V_{A_1,A_2}$ the $d$-volume of the symmetric ...
- 1,677
3
votes
0
answers
135
views
Intersecting the unit n-cube and (n-1)-planes
(Is this a known problem?)
Question Let $\ 1<n\in\mathbb N.\ $ What is the greatest $(n-1)$-area
$\ S(n)\ $ of $\ L\cap I^n\ $ where $\ I^n\subseteq\mathbb R^n\ $ is the unit cube, and $\ L\ $ ...
- 4,786
3
votes
0
answers
53
views
Endpoints of intrinsic diameter of a convex polyhedron
Let $P$ be a convex polyhedron in $\mathbb{R}^3$, and $d(P)$ its intrinsic diameter,
i.e., the longest shortest surface path between two points. Say that $P$ is of
class
$D_0$ if neither endpoint of $...
- 151k
3
votes
0
answers
105
views
Simplex cover of an n-cube with non-congruent simplexes
I am curious about simplex coverings of the unit n-dimensional hypercube (or n-cube) with the following properties:
The simplexes do not need to be regular
The simplexes can be non-congruent (i.e. of ...
- 131
3
votes
0
answers
260
views
What is the VC-dimension of regular convex k-gons in the plane?
Recall the relevant definitions:
Let $H$ be a family of sets in $\mathbb{R}^d$. The intersection of $H$ with a point set $C$ is defined as $H\cap C = \{h\cap C\mid h\in H\}$. The VC-dimension of $H$ (...
- 131
3
votes
0
answers
141
views
Optimal intersections between planar convex regions
Here is an earlier discussion that could be related:
On comparing planar convex regions of equal perimeter and area
We are broadly interested in placing two given planar convex regions so that the ...
- 5,979
3
votes
0
answers
80
views
On possible generalizations of the Steiner ellipse – convex regions containing and contained within a given convex quadrilateral
In the post On convex regions containing (and contained within) a given triangle , it was noted:
for a general triangle $T$, the convex region $C_M$ of largest area containing $T$ such that $T$ is ...
- 5,979
3
votes
0
answers
321
views
Polyhedrons and their centers of mass
Given a convex polyhedron, one considers 3 possibilities:
wireframe - only the edges of the polyhedron have mass which is uniformly distributed.
surface - only the surface is massive with uniform ...
- 5,979
3
votes
0
answers
175
views
Cutting convex polygons into triangles of same diameter
This question continues 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 ...
- 5,979
3
votes
0
answers
120
views
On $n$-gons Inscribed in convex closed curves
Given an integer $n$ and a convex closed planar curve $C$ ($C$ could be smooth). We need to put $n$ points on $C$ such that (1) the area of the convex hull of these points is maximum. (2) perimeter of ...
- 5,979
3
votes
0
answers
92
views
To what extent can I specify the angular defect at the vertices of a polyhedron?
Suppose $p_1,\ldots,p_n$ are points in $\mathbb{R}^3$, and suppose $\delta_1,\ldots,\delta_n$ are positive real numbers, each less than $2\pi$, whose sum is $4\pi$. Is there a polyhedron $\mathcal P$ ...
- 326
3
votes
0
answers
40
views
Are there uniform compounds of 135 $BC_8$ polytopes?
The Coxeter group $D_8$ is an index-135 subgroup of $E_8$. One of the consequences of this is that the rectified 8-orthoplex, whose coordinates can be given as all permutations and sign changes of $\{...
- 2,773
3
votes
0
answers
103
views
Are there any other regular compounds?
Ever since I first read Coxeter’s definition of a regular compound (which seems to be the most commonly used), I didn’t like it on account of it being completely different than for properly connected ...
- 2,773
3
votes
0
answers
134
views
Two questions on counterexamples to Borsuk's conjecture and ball-packings
In 1933 Karol Borsuk conjectured the following
Can every bounded subset $E$ of $\mathbb{R}^d$ be partitioned into $(d+1)$ sets, each of which has a smaller diameter than $E$?
Whilst new to this ...
- 31
3
votes
0
answers
60
views
A canonical map from a Euclidean cone-manifold $M^3$ to $\mathbb{E}^3/\mathrm{Hol}(M)$
Suppose we have a 3-dimensional Euclidean cone-manifold $M$—in my book that just means $M$ is a manifold whose geometry is constructed by gluing it out of Euclidean tetrahedra, with faces paired by ...
- 458
3
votes
0
answers
52
views
Deformations that flatten small curvature
I'm trying to show that any 3-dimensional polyhedron with many vertices can be mildly deformed so that its vertices are no longer convexly independent. I suspect it suffices to look at a vertex with ...
- 31
3
votes
0
answers
98
views
Convex region $C$ with least kissing number of copies of $C$
Given a 2D convex region $C$, let us define its kissing number $K_0$ to be the largest possible number of copies of $C$ that can be arranged around a central copy of $C$ (call this $C_0$) and touching ...
- 5,979
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,979
3
votes
0
answers
310
views
Upper bound on the number of lattice points on the intersection of a hyperplane and a sphere
Let $R>0$, $\overrightarrow{\alpha} \in \mathbb{R}^{d}$. Consider the intersection $T$of $RS^{d-1}$ and the hyperplane $\overrightarrow{\alpha} \cdot \overrightarrow{x} = n$. What is the best known ...
- 461
3
votes
0
answers
137
views
Aperiodic tile with rational area
Margulis and Mozes constructed aperiodic tiling system on the hyperbolic plane consisting of a single tile(hyperbolic polygon) whose area (or each inner angle) is irrational multiple of $\pi$. Having ...
- 745
3
votes
0
answers
142
views
Can bellows make loops?
Can flexible polyhedron (hyperbolic or euclidean) have non-simply connected configuration space not containing singular polyhedra?
- 4,600
3
votes
0
answers
351
views
Properties of inverse Cayley-Menger matrices
in the online article A formula for the N-circumsphere of an N-simplex dated April 2013, G. Westendorp provides an interpretation of the entries of inverse of Cayley-Menger matrices $\hat{B}$, that ...
- 13.2k
3
votes
0
answers
214
views
Volume of intersection of a ball and cube with arbitrary position in $n$ dimension
Let $ A(n, r, x) = B^n_r(x) \cap [0,1]^n $ denote the intersection between an $n$ ball $B^n_r(x)$ with arbitrary radius $r$ and arbitrary center $x \in \mathbb{R}^n$ that intersects a unit $n$ cube $ [...
- 365