Related papers: On the honeycomb conjecture and the Kepler problem
This article sketches the proofs of two theorems about sphere packings in Euclidean 3-space. The first is K. Bezdek's strong dodecahedral conjecture: the surface area of every bounded Voronoi cell in a packing of balls of radius 1 is at…
This is the fifth in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the…
We introduce a conjecture that we call the {\it Two Hyperplane Conjecture}, saying that an isoperimetric surface that divides a convex body in half by volume is trapped between parallel hyperplanes. The conjecture is motivated by an…
This is the second in a series of papers giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than $\pi/\sqrt{18}\approx 0.74048...$. This is the…
Sullivan's multi-bubble isoperimetric conjectures in $n$-dimensional Euclidean and spherical spaces assert that standard bubbles uniquely minimize total perimeter among all $q-1$ bubbles enclosing prescribed volume, for any $q \leq n+2$.…
Nobody has discovered any perfect cuboid and there is no formula to deliver all possible Euler bricks. During investigations of famous open problems regarding the perfect cuboid and Euler brick; I have found new important conjectures on…
We resolve a longstanding open problem by reformulating the Grassmannian fusion frames to the case of mixed dimensions and show that this satisfies the proper properties for the problem. In order to compare elements of mixed dimension, we…
In this article we consider the isoperimetric problem for partitioning the plane into three disjoint domains, one having unit area and the remaining two having infinite area. We show that the only solution, up to rigid motions of the plane,…
We prove a new lower bound for the almost 20 year old problem of determining the smallest possible size of an essential cover of the $n$-dimensional hypercube $\{\pm 1\}^n$, i.e. the smallest possible size of a collection of hyperplanes…
We describe a program to prove the Kepler conjecture on sphere packings. We then carry out the first step of this program. Each packing determines a decomposition of space into Delaunay simplices, which are grouped together into finite…
We perform a rigorous study of the identical sphere packing problem in $\mathbb{Z}^3$ and of phase transitions in the corresponding hard-core model. The sphere diameter $D>0$ and the fugacity $u\gg 1$ are the varying parameters of the…
We prove that the regular octahedron has the minimal surface area among 3-polytopes of given volume and having at most six vertices.
The well known Chen's conjecture on biharmonic submanifolds states that a biharmonic submanifold in a Euclidean space is a minimal one ([10-13, 16, 18-21, 8]). For the case of hypersurfaces, we know that Chen's conjecture is true for…
We study the double bubble problem where the perimeter is taken with respect to the hexagonal norm, i.e. the norm whose unit circle in $\mathbb{R}^2$ is the regular hexagon. We provide an elementary proof for the existence of minimizing…
Theoretical background is provided towards the mathematical foundation of the minimum enclosing ball problem. This problem concerns the determination of the unique spherical surface of smallest radius enclosing a given bounded set in the…
In this note we link symplectic and convex geometry by relating two seemingly different open conjectures: a symplectic isoperimetric-type inequality for convex domains, and Mahler's conjecture on the volume product of centrally symmetric…
We establish a lower bound for the surface area of a closed, convex hypersurface in Euclidean space in terms of its displacement under continuous maps. As a result, a hypothesized lower bound for the volume of a Riemannian $n$-sphere,…
The hexagon is the least-perimeter tile in the Euclidean plane. On hyperbolic surfaces, the isoperimetric problem differs for every given area. Cox conjectured that a regular $k$-gonal tile with 120-degree angles is isoperimetric for its…
We prove that the standard double bubble provides the least-area way to enclose and separate two regions of prescribed volume in \Bbb R^3.
A polyhedron $\textbf{P} \subset \mathbb{R}^3$ has Rupert's property if a hole can be cut into it, such that a copy of $\textbf{P}$ can pass through this hole. There are several works investigating this property for some specific polyhedra:…