All Questions
719 questions
42
votes
10
answers
5k
views
Is there a mathematical axiomatization of time (other than, perhaps, entropy)?
Since Euclid's axiomatization of space, we have developed a sophisticated mathematical model of space. Given a category of structures (measures), local space is modeled the spectrum of measurements ...
40
votes
5
answers
5k
views
"Entropy" proof of Brunn-Minkowski Inequality?
I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality.
The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then
$$ m(...
- 22.8k
37
votes
3
answers
3k
views
"Softness" vs "rigidity" in Geometry
According to common wisdom, there are structures in Geometry that have a more "topological" flavor, others that are more "geometrical", and others that are halfway between. Usually,...
- 23.3k
36
votes
2
answers
2k
views
Bodies of constant width?
In two-dimensional case one can generalize figures of constant width as figures which can rotate in a convex polygon.
Here is one example which can be used to drill triangular holes:
I would like to ...
- 45k
34
votes
3
answers
3k
views
What is the best way to peel fruit?
A mango made me wonder about this. (See also this question, which is in a similar spirit.)
Fix $L >0$ and a smooth body (possibly nonconvex—pears or bananas are fair game!) $B \subset \mathbb{R}^3$...
- 15.4k
32
votes
4
answers
4k
views
Largest hyperbolic disk embeddable in Euclidean 3-space?
Hilbert proved that there's no complete regular ($C^k$ for sufficiently large $k$) isometric embedding of the hyperbolic plane into $\mathbb{R}^3$. On the other hand, the pseudosphere is locally ...
- 13.6k
32
votes
0
answers
921
views
Isometric embeddings of finite subsets of $\ell_2$ into infinite-dimensional Banach spaces
Question: Does there exist a finite subset $F$ of $\ell_2$ and an infinite-dimensional Banach space $X$ such that $F$ does not admit an isometric embedding into $X$?
There are some results of the ...
- 4,878
30
votes
2
answers
1k
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 ...
- 335
30
votes
0
answers
1k
views
Curves on potatoes
On twitter recently, Robin Houston brought up this problem from a mathematical puzzle book of Peter Winkler:
The puzzle is attributed to the book "The mathemagician and pied puzzler", and ...
- 68.8k
30
votes
3
answers
1k
views
Diameter of m-fold cover
Let $M$ be a closed Riemannian manifold.
Assume $\tilde M$ is a connected Riemannian $m$-fold cover of $M$.
Is it true that
$$\mathop{diam}\tilde M\le m\cdot \mathop{diam} M\ ?\ \ \ \ \ \ \ (*)$$
...
29
votes
1
answer
812
views
Running most of the time in a connected set
Let $P$ be a compact connected set in the plane and $x,y\in P$.
Is it always possible to connect $x$ to $y$ by a path $\gamma$ such that the length of $\gamma\backslash P$ is arbitrary small?
...
- 45k
28
votes
5
answers
2k
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 ...
- 4,484
28
votes
2
answers
3k
views
Probing a manifold with geodesics
Supposed you stand at a point $p \in M$ on a smooth 2-manifold $M$
embedded in $\mathbb{R}^3$.
You do not know anything about $M$.
You shoot off a geodesic $\gamma$ in some direction $u$,
and learn ...
- 151k
27
votes
5
answers
2k
views
Is the matrix $\left({2m\choose 2j-i}\right)_{i,j=1}^{2m-1}$ nonsingular?
Suppose we have a $(2m-1) \times (2m-1)$ matrix defined as follows:
$$\left({2m\choose 2j-i}\right)_{i,j=1}^{2m-1}.$$
For example, if $m=3$, the matrix is
$$\begin{pmatrix}6 & 20 & 6& 0 ...
- 1,121
27
votes
1
answer
2k
views
The Eyeball Theorem generalized
I have not seen the 2D Eyeball Theorem—that tangents from the centers of two circles, each encompassing the other, intersect each circle in the same segment length—generalized to higher ...
- 151k
26
votes
1
answer
846
views
Disc bounded by a plane curve
Let $\Sigma$ be a sphere topologically embedded into $\mathbb{R}^3$.
Is it always possible to find a disc $\Delta\subset\Sigma$ which is bounded by a plane curve?
It is easy to find an open disc ...
- 45k
25
votes
3
answers
994
views
Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all have rational areas?
Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all have rational areas?
Does every convex polyhedron have a combinatorially isomorphic counterpart whose edges ...
- 513
25
votes
3
answers
2k
views
Angle of a regular simplex
I find the following question embarrassing, but I have not been able to either resolve it, or to find a reference.
What is the vertex angle of a regular $n$-simplex?
Background: For a vertex $v$ ...
- 7,826
24
votes
4
answers
2k
views
A reinterpretation of the $abc$ - conjecture in terms of metric spaces?
I hope it is appropriate to ask this question here:
One formulation of the abc-conjecture is
$$ c < \text{rad}(abc)^2$$
where $\gcd(a,b)=1$ and $c=a+b$. This is equivalent to ($a,b$ being ...
user6671
24
votes
8
answers
4k
views
When does a metric space have "infinite metric dimension"? (Definition of metric dimension)
Definition 1 A subset $B$ of a metric space $(M,d)$ is called a metric basis for $M$ if and only if $$[\forall b \in B,\,d(x,b)=d(y,b)] \implies x = y \,.$$
Definition 2 A metric space $(M,d)$ has &...
- 2,680
22
votes
4
answers
3k
views
What is the analog of the "Fundamental Theorem of Space Curves," for surfaces, and beyond?
The "Fundamental Theorem of Space Curves"
(Wikipedia link; MathWorld link)
states that there is a unique (up to congruence)
curve in space that simultaneously realizes
given continuous curvature $\...
- 151k
21
votes
2
answers
1k
views
Probability that a convex shape contains the unit ball
This probability problem seems interesting and I don't know if it has been solved before.
If you pick $n$ points uniformly at random from the surface of a $d$ dimensional sphere of radius $r>1$ ...
- 3,377
20
votes
2
answers
25k
views
Partitioning a polygon into convex parts
I'm looking for an algorithm to partition any simple closed polygon into convex sub-polygons--preferably as few as possible.
I know almost nothing about this subject, so I've been searching on Google ...
- 201
20
votes
2
answers
2k
views
The geometric median of a triangle
Let $\Omega\subset \mathbb R^n$ be a compact domain of dimension $n$. Define the geometric median on $\Omega$ as the point $m_{\Omega}\in \mathbb R^n$ such that the integral $\int_{\Omega}|x-m_{\Omega}...
- 14.3k
19
votes
2
answers
2k
views
Is the tensor product of polyhedra a polyhedron?
Conventions: A polytope in a finite-dimensional $\mathbb R$-vector space $V$ is defined to be a convex hull of finitely many points in $V$. A polyhedron in a finite-dimensional $\mathbb R$-vector ...
- 33.8k
18
votes
2
answers
986
views
"Derived" polyhedra and polytopes
The notion of derived polygon is natural and leads to remarkable convergence.
Start with a polygon, and replace it by locating a point on every edge
a fraction $\alpha$ between the two endpoints. For ...
- 151k
18
votes
1
answer
678
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., $\mathbb{R}^d$ ...
- 151k
17
votes
3
answers
2k
views
The minimum of a sum of absolute values of inner products in $\mathbb{R}^d$
Consider a collection of unit vectors $v_1, \ldots, v_n$ in $\mathbb{R}^d$ (we think of $n$ being much larger than $d$). I would like to minimize the sum:
$$\sum_{i\neq j}|\langle v_i,v_j\rangle|.$$
...
- 2,288
17
votes
1
answer
457
views
The sparsest planar net that captures every unit segment
Let $\cal C = \lbrace C_i \rbrace$ be a collection
of rectifiable curves in the plane with the property that
every unit-length segment meets at least one curve
in at least one point.
Call such a ...
- 151k
17
votes
2
answers
406
views
Random rings linked into one component?
Let $S$ be a sphere of unit radius.
Let $C_n$ be a collection of unit-radius circles/rings whose centers
are (uniformly distributed)
random points in $S$, and which are oriented (tilted) randomly (...
- 151k
16
votes
2
answers
731
views
A reference to a characterization of metric spaces admitting an isometric embedding into a Hilbert space
I am looking for a reference to the bipartite version of the Schoenberg's criterion of embeddability into a Hilbert space. The Schoenberg criterion is formulated as Proposition 8.5(ii) of the book &...
- 41.8k
16
votes
1
answer
1k
views
Random polycube shapes
I am wondering if it is hopeless to obtain any firm results
on the following model of a "random polycube shape."
First, a polycube in $\mathbb{R}^3$
is a connected face-to-face gluing of unit cubes.
(...
- 151k
15
votes
3
answers
4k
views
About MF Atiyah and R Bott's 1983 paper
I am a theoretical physics major student working on string theory. I want to understand the work of MF Atiyah and R Bott, "The Yang-Mills equations over riemann surfaces" . What kinds of mathematical ...
- 395
15
votes
3
answers
1k
views
Optimal inspection path on a sphere
Suppose you would like to "inspect" every point of a unit-radius
sphere $S \subset \mathbb{R}^3$ by walking along a path $\gamma$
on $S$, but you can only see a distance $d$ from where you ...
- 151k
15
votes
1
answer
11k
views
Maximum number of mutually equidistant points in an n-dimensional Euclidean space is (n+1). Proof? [closed]
How to prove that the maximum number of mutually equidistant points in an n-dimensional Euclidean space is (n+1)?
- 191
15
votes
1
answer
680
views
Open bilinear maps that are not uniformly open
A map $f\colon X\to Y$ between metric spaces is uniformly open whenever for each $\varepsilon >0$ there is $\delta >0$ such that for any $x\in X$ one has
$$B_Y\big(f(x),\delta\big)\subseteq f\...
- 11.3k
15
votes
6
answers
2k
views
Thales' semicircle theorem in higher dimensions
Thales semicircle theorem says that an angle inscribed in a semicircle is a right angle.
Q1. Does a cone with apex on a hemisphere and encompassing the circular base
have a solid angle ...
- 151k
14
votes
1
answer
640
views
Which convex bodies can be captured in a knot?
Which convex bodies can be captured in a knot?
This question is based on the discussion in "Is it possible to capture a sphere in a knot?".
We assume that the knot is made from an ...
- 45k
14
votes
2
answers
540
views
Are all well behaved "mean" functions on $\mathbb{R}^+$ equivalent?
Given a set $S$, a function $M: S\times S \rightarrow S$ is a mean if it satisfies the properties:
$M(a,a)=a\qquad$ (identity)
$M(a,b)=M(b,a)\qquad$ (commutativity).
and possibly
$M(M(a,b),M(a,c))=...
- 5,103
14
votes
3
answers
966
views
Can a tangle of arcs interlock?
Can a (finite) collection of disjoint circle arcs in $\mathbb{R}^3$ be interlocked in the sense in that they cannot be separated, i.e. each moved arbitrarily far from one another while remaining ...
- 151k
13
votes
3
answers
387
views
Intersecting cylinders around a sphere
Intersecting $n$ unit-radius cylinders, each with axis through the origin,
produces a shape circumscribed about a unit-radius sphere:
My question is:
For each $n$, which arrangement of cylinders ...
- 151k
13
votes
0
answers
254
views
Planar arc on a topologically embedded sphere or disk in $\mathbb{R}^3$
An arc is a set homeomorphic to the unit interval $[0,1]$; an arc in $\mathbb{R}^3$ is planar if it is contained in some plane.
The following questions are motivated by Anton Petrunin's Disc bounded ...
- 7,276
13
votes
2
answers
3k
views
How many squares can be formed by using n points?
How many squares can be formed by using n points on a 3 dimensional space?
Like using 4 points, there is 1 square be formed
Using 5 points, still 1 square
Using 6 points, 3 squares can be formed
- 241
13
votes
2
answers
2k
views
$\mathrm{Bessel}^3$ Integral
I'm trying to calculate the following integral:
$\int_0^\infty \mathrm{BesselJ}[l_0,k_0r] \cdot \mathrm{BesselJ}[l_1,k_1r] \cdot \mathrm{BesselJ}[l_0-l_1,kr] \cdot r\,dr$
($\mathrm{BesselJ}[n,x]$ is ...
- 133
13
votes
0
answers
818
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,405
13
votes
2
answers
1k
views
Average degree of contact graph for balls in a box
Imagine you dump congruent, hard, frictionless balls in a box,
letting gravity compress the balls into a stable configuration
(I believe such configurations are called
jammed.)
Assume the box ...
- 151k
13
votes
3
answers
835
views
What fraction of n-point sets in the unit ball have diameter smaller than 1?
This question is inspired by a recent talk by Matt Kahle on random geometric complexes.
Some simple notation: let $\mathcal{B} \subset \mathbb{R}^d$ be the unit ball in $d$-dimensional Euclidean ...
- 15.5k
12
votes
3
answers
2k
views
To what extent is convexity a local property?
A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
- 1,846
12
votes
1
answer
575
views
Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?
Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$?
It seems to me that it is an interesting ...
- 4,878
12
votes
4
answers
2k
views
Seeking a Geometric Proof of a Generalized Alternating Series' Convergence
Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges:
$$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$
Note that $S(...
- 7,831