All Questions
719 questions
3
votes
2
answers
185
views
Lattice-point-free buffers around circles
Let $C(r)$ be the origin-centered circle of radius $r$,
and let $\beta(r)$ be the exterior buffer around $C(r)$:
the distance from $C(r)$ to the closest lattice point exterior to $C(r)$:
&...
- 151k
3
votes
0
answers
109
views
What Cayley graphs arise as nodes+edges from "nice" polytopes and when are these polytopes convex?
The Permutohedron is a remarkable convex polytope in $R^n$, such that its nodes are indexed by permutations and edges correspond to the Cayley graph of $S_n$ with respect to the standard generators, i....
- 24.9k
3
votes
1
answer
366
views
Illumination from visible lattice points with inverse square intensity
It is well known that the number of $\mathbb{Z}^2$ lattice points visible from
the origin is $6/\pi^2$, about $61$%.
See, e.g.,
What fraction of the integer lattice can be seen from the origin?.
I am ...
- 151k
3
votes
0
answers
147
views
Understanding why $\frac{\phi^5}{2}$ solves this 3D optimization problem, where $\phi$ is the golden ratio
I would like to understand the deep meaning of a solution which arises from an optimization problem discussed in a paper of mine since it can be simply stated as $\frac{\phi^5}{2}$, where $\phi := \...
- 1,451
3
votes
0
answers
87
views
Instances of c-concavity outside of optimal transport?
Let $X$ and $Y$ be metric spaces, and let $c:X\times Y\rightarrow \mathbb{R}$ be a nonnegative function which we refer to as a cost. For any $\phi:X\rightarrow \mathbb{R}$ and $\psi:Y\rightarrow \...
- 232
3
votes
1
answer
152
views
Triangles that can be cut into mutually congruent and non-convex polygons
It is easy to note that an equilateral triangle can be cut into 3 mutually congruent and non-convex polygons (replace the 3 lines meeting at centroid and separating out the 3 congruent quadrilaterals ...
- 5,979
3
votes
1
answer
147
views
Optimizing finite-length approximations to space-filling loops
Take a loop in the unit disk D^2, with length l where length is defined as the supremum of the lengths of piecewise linear approximations. What is the smallest r such that every radius-r subdisk of D^...
- 3,612
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
115
views
Isometric embeddings of $c_0$ into metric spaces
Are there any nice and useful criteria or theorems which assert when a given metric space $M$ contains an isometric (not necessarily linear) copy of the Banach space $c_0$ or its unit ball $B_{c_0}$? (...
- 1,151
3
votes
1
answer
416
views
Question on a concrete example of n points
Can anyone give a concrete example of n points in the unit square (for instance, n runs from 3 through a large number) that can be generated by the algorithm here or any other algorithm or any ...
- 31
3
votes
1
answer
197
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 $P_{\...
- 19.7k
3
votes
1
answer
173
views
Parameterizing the space of convex quadrilaterals
If $P=\mathbb{R}^2$ is the plane, is there a continuous surjection from $P^4$ to the space of convex quadrilaterals?
Specifically, I'm looking for a continuous $f:P^4\to P^4$ such that:
[convexity] ...
user44143
3
votes
1
answer
358
views
Dirichlet form on Riemannian manifold is tight?
$M$ is an $n$-dimensional Riemannian manifold. Consider the Dirichlet form $$\varepsilon \left( {u,v} \right) = \int_M {\left\langle {\nabla u,\nabla v} \right\rangle }, \quad u ,v \in {W^{1,2}}\left( ...
- 689
3
votes
1
answer
1k
views
Find a line such that sum of perpendicular distances of points to the line is minimized
Given a set of points (column vectors) $S = \{p_1, p_2, \cdots, p_n\} \subset \Re^d$, let $A \in \Re^{n \times d}$ be a matrix of which each row is just $p_i^T$. It is easy to find a unit vector $s_1$ ...
user49129
3
votes
1
answer
249
views
Space of simple polygons on $n$-vertices as a set of points in $\mathbb{R}^{2n}$
A simple polygon in $\mathbb{R}^2$ with $n$ vertices can be mapped to elements in $\mathbb{R}^{2n}$ by the list of the coordinates of its vertices. I expect there might be something interesting to ...
- 613
3
votes
1
answer
954
views
A geometric proof that there are infinitely many primes?
Let $e_d$ be the $d$-th standard-basis vector in the Hilbert space $H=l_2(\mathbb{N})$.
Let $h(n) = J_2(n)$ be the second Jordan totient function, defined by:
$$J_2(n) = n^2 \prod_{p|n}(1-1/p^2)$$
...
- 3,054
3
votes
0
answers
220
views
Which manhole covers fall through their holes?
Apparently one of the reasons why all manhole covers are shaped like discs is because for any other shape, the manhole cover would fall through its own hole. As stated this is not necessarily a ...
- 26.9k
3
votes
1
answer
132
views
If $X,X'$ have the same $\varepsilon$-packing numbers and $f:X \to X'$ surjective $1$-Lipschitz, then $f$ is an isometry
Let $(X, d)$ be a compact metric space.
We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
- 835
3
votes
0
answers
146
views
Chord of fixed length traveling around a Jordan curve
Let $C$ be a Jordan curve with nice enough properties whenever necessary (e.g. smooth, or just rectifiable, perhaps). I am interested in knowing how long can a chord be that "traverses" the ...
- 1,763
3
votes
0
answers
114
views
A question about a hierarchy of metric spaces arising from an operation defined by Hausdorff.
Given any metric space M, Hausdorff defined a new metric space h(M) whose "points" are the non-empty
closed and bounded subsets of M. The hierarchy emerges from the following iteration process. Let
H(...
- 6,215
3
votes
2
answers
4k
views
An exact counting solution for the number of points within a circle of radius $r$ centered on a lattice point in a $A_2$ hexagonal lattice
In a previous question: (The Gauss circle problem on a hexagonal lattice) I asked for an analytic approximation for the number of lattice points in or along the contour of a circle centered on a ...
- 197
3
votes
2
answers
517
views
Threading pinholes in the wall of cylinder to pass through an internal coordinate
Imagine I take a sheet of paper and use a pin to generate an $N$x$M$ rectangular array of small holes. I then fold the sheet to form a cylinder of radius $r_c$ and height $h_c$, where there are $N$ ...
3
votes
0
answers
95
views
Effective radius of section of a convex set compared to that of the convex itself
The effective radius $er(A)$ of a $n$-solid $A$, is defined by Schramm (see the question by Gil Kalai
Volumes of Sets of Constant Width in High Dimensions)
to be the radius of the $n$-ball that has ...
- 469
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, ...
- 1,776
3
votes
1
answer
691
views
Invariants of a set of real unit vectors in 3d space, under SO(3)
I have a set of $n$ real unit vectors, in 3-dimensional space.
(It is a follow up of Sets of vectors related by a rotation.)
Is there a construction providing a complete set of independent*) ...
- 1,612
3
votes
1
answer
415
views
Length spectrum and Zoll surfaces of revolution
The earlier MO question, "Length spectrum of spheres," asked if the length spectrum of closed
geodesics determines the metric on $S^2$, and the answer was a clear No due to Zoll surfaces,
all of whose ...
- 151k
3
votes
4
answers
4k
views
Existence of nonnegative solutions to an underdetermined system of linear equations
Similar questions have been asked elsewhere, but I think this is sufficiently different to warrant a new post. I have a particular matrix $A$ and would like to know when the system $Ax = 0$ has at ...
- 491
3
votes
0
answers
905
views
A generalization of the Sawayama-Thebault theorem
1. Introduction
The Sawayama-Thebault theorem is one of the best nice theorem in plane geometry. The theorem has a long history. It was published in AMM in 1938 the first solution appeared in 1973 ...
- 1,776
3
votes
5
answers
813
views
Is the following two-dimensional graph likely to be globally rigid?
Consider the two-dimensional non-planar graph $G$, with known topology and edge lengths $(r_1, r_2, ... r_N) \in R$, but unknown vertex coordinates. We further specify that:
All vertices within a ...
- 309
3
votes
2
answers
207
views
Volume ratio of $\ell_1$ balls and $\ell_1$ surfaces
(Note: I asked this question on math stackexchange but did not get an answer. So I decide to ask this question here and hopefully somebody would know the answer/how to approach).
Consider the $d$-...
- 373
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
637
views
Train intersection problem with unequal speeds
As shown in this question, it is trivial to schedule trains running either north-south or east-west in a square city along randomly placed (vertical and horizontal) tracks and ensure that two trains ...
- 2,558
3
votes
0
answers
238
views
Move one element of finite set out from A in plane
Suppose we are given two sets, $S$ and $A$ in the plane, such that $S$ is finite, with a special point, $s_0$, while neither $A$ nor its complement is a null-set, i.e., the outer Lebesgue measure of $...
- 18.7k
3
votes
1
answer
704
views
Bishop-Gromov volume comparison on manifolds with negligible negative Ricci curvature
Let us consider a complete Riemannian manifold $M$ of dimension $n$ with $Ric \geq 0$. Then the Bishop-Gromov volume comparison theorem says that for any $p \in M$, the function
$$ \frac{\text{Vol}(B(...
- 31
3
votes
2
answers
498
views
Totally geodesic submanifold of codimension 1
This question is inspired by question in reference.
Question : If $M$ is a simply connected closed Riemannian manifold of nonnegative sectional curvature, then there is a totally geodesic ...
- 1,100
3
votes
1
answer
232
views
Extending linear isometries from subspaces of $\ell_p^n$
Take $p\in (1,\infty)\setminus \{2\}$. Let $X$ be a subspace of $\ell_p^n$ and let $U\colon X\to \ell_p^m$ ($m\geqslant n$) be a linear isometry. Is it possible to extend $U$ to a (non-surjective) ...
- 331
3
votes
1
answer
373
views
Radial tilings with variable area ratios
I was looking at this neat page on logarithmic spiral tilings when a question popped up:
http://www.uwgb.edu/dutchs/symmetry/log-spir.htm
It seems that in all of the tilings shown, the area of each ...
- 93
3
votes
0
answers
118
views
Weak contractibility of some infinite dimensional metric spaces
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that:
$X_{n}$ is a regular$^1$ CW-complex of constant local dimension$^3$ $n$, it is of finite type$^4$, ...
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
3
votes
1
answer
507
views
An new equilateral triangle related to the Morley triangle
Morley equilateral triangle is the nice theorem in Eulidean Geometry. I found an equilateral triangle and a group circle related to the Morley triangle and angle trisectors:
Let $ABC$ be a triangle ...
- 1,776
3
votes
0
answers
151
views
Concavity of distance to the boundary of Riemannian manifold
Let $(M^n,g)$ be a smooth Riemannian manifold with non-empty boundary $\partial M$. Assume (for simplicity) that $M$ is compact. Let $M$ be locally geodesically convex, i.e. any shortest path in $M$ ...
- 21.8k
3
votes
1
answer
107
views
Existence or otherwise of a set of "sufficiently intricate" open sets
Fix $d \in \mathbb{N}$. Do there exist mutually disjoint connected open sets $V_1,\ldots,V_n \subset \mathbb{R}^d$ and $\mathbf{v} \in \mathbb{R}^d$ such that
$\mathbb{R}^d \setminus (\bigcup_{i=1}^n ...
- 698
3
votes
2
answers
791
views
complexity of finding optimal matchings of given fixed size
It is known, that maximal matchings (i.e. matchings with the maximal number of edges) and optimal matchings (i.e. matchings for which the sum of edge weights is optimal) can be calculated in ...
- 13.2k
3
votes
0
answers
80
views
Equidistribution of Brillouin zones
Answering the question about Limiting shape for Brillouin zones Victor Kleptsyn proved that $N$th Brillouin zone is very close to a circle of radius $c\sqrt N$ (you can find all necessary definitions ...
- 12.3k
2
votes
0
answers
95
views
Is there an exact solution for the number of points within a circle of radius r for an honeycomb lattice?
I want to ask if exists an exact solution for the number of points within a circle of radius r for an honeycomb lattice.
I know that it is exist for an square lattice https://mathworld.wolfram.com/...
- 31
2
votes
1
answer
258
views
Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?
Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e.,
$N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
- 835
2
votes
2
answers
720
views
Euclidean triangulation of the plane with degree 7 at each vertex.
Hyperbolic plane has a beautiful triangulation by congruent hyperbolic triangles where all the vertices of the triangulation have degree 7, this is of course not possible in the euclidean plane, even ...
- 1,101
2
votes
1
answer
256
views
Equidistant points on a compact Riemannian manifold
Let $(M,g)$ be a compact Riemannian manifold. To this Riemannian manifold, we associate a natural number $K(M,g)$ as follows:
$K(M,g)$ is the maximum of all $n\in \mathbb{N}$ such that we have at ...
- 356
2
votes
1
answer
84
views
'Constrained morphing' of planar convex regions
Morphing may be defined as a continuous transition of one shape to another. This post is about modifying planar regions continuously from one form to another under some constraints.
Qn: If $C_1$ and $...
- 5,979
2
votes
1
answer
504
views
Partitioning polygons into acute isosceles triangles
Question: Given an $N$-vertex polygon (not necessarily convex). It is to be cut into the least number of acute isosceles triangles.
Based on this MathSE discussion, one can think of a method to get $\...
- 5,979