In this paper using the concept of the extended Hamming code we give a construction for dense packing of points at distance at least one in such unit cubes which dimension are a power of two.
Let $d$ be an integer greater than $1$, and let $t$ be fixed such that $\frac{1}{d} < t < \frac{1}{d-1}$. We prove that for any $n_0$ chosen sufficiently large depending upon $t$, the $d$-dimensional cubes of sidelength $n^{-t}$ for $n \geq n_0$ can perfectly pack a cube of volume $\sum_{n=n_0}^\infty \frac{1}{n^{dt}}$. Our work improves upon a previously known result in the three-dimensional case for when $1/3 < t \leq 4/11 $ and $n_0 = 1$ and builds upon recent work of Terence Tao in the two-dimensional case.
In this paper we study congruent and non-congruent hyperball (hypersphere) packings of the truncated regular octahedron and cube tilings. These are derived from the Coxeter simplex tilings $\{p,3,4\}$ $(7\le p \in \mathbb{N})$ and $\{p,4,3\}$ $(5\le p \in \mathbb{N})$ in $3$-dimensional hyperbolic space $\mathbb{H}^3$. We determine the densest hyperball packing arrangement and its density with congruent and non-congruent hyperballs related to the above tilings in $\mathbb{H}^3$. We prove that the locally densest congruent or non-congruent hyperball configuration belongs to the regular truncate…
We consider sequential random packing of cubes $z+[0,1]^n$ with $z\in \frac{1}{N}\ZZ^n$ into the cube $[0,2]^n$ and the torus $\QuotS{\RR^n}{2\ZZ^n}$ as $N\to\infty$. In the cube case $[0,2]^n$ as $N\to\infty$ the random cube packings thus obtained are reduced to a single cube with probability $1-O(\frac{1}{N})$. In the torus case the situation is different: for $n\leq 2$, sequential random cube packing yields cube tilings, but for $n\geq 3$ with strictly positive probability, one obtains non-extensible cube packings. So, we introduce the notion of combinatorial cube packing, which instead of …
Each packing of R^d by translates of the unit cube [0,1)^d admits a decomposition into at most two parts such that if a translate of the unit cube is covered by one of them, then it also belongs to such a part.
We consider sequential random packing of integral translate of cubes $[0,N]^n$ into the torus $Z^n / 2NZ^n$. Two special cases are of special interest: (i) The case $N=2$ which corresponds to a discrete case of tilings (considered in \cite{cubetiling,book}) (ii) The case $N=\infty$ corresponds to a case of continuous tilings (considered in \cite{combincubepack,book}) Both cases correspond to some special combinatorial structure and we describe here new developments.
The contact number of a packing of finitely many balls in Euclidean $d$-space is the number of touching pairs of balls in the packing. A prominent subfamily of sphere packings is formed by the so-called totally separable sphere packings: here, a packing of balls in Euclidean $d$-space is called totally separable if any two balls can be separated by a hyperplane such that it is disjoint from the interior of each ball in the packing. Bezdek, Szalkai and Szalkai (Discrete Math. 339(2): 668-676, 2016) upper bounded the contact numbers of totally separable packings of $n$ unit balls in Euclidean $d…
We give upper bounds for the density of unit ball packings relative to their outer parallel domains and discuss their connection to contact numbers. Also, packings of soft balls are introduced and upper bounds are given for the fraction of space covered by them.
The contact graph of an arbitrary finite packing of unit balls in Euclidean 3-space is the (simple) graph whose vertices correspond to the packing elements and whose two vertices are connected by an edge if the corresponding two packing elements touch each other. One of the most basic questions on contact graphs is to find the maximum number of edges that a contact graph of a packing of n unit balls can have. In this paper, improving earlier estimates, we prove that the number of touching pairs in an arbitrary packing of n unit balls in Euclidean 3-space is always less than $6n-0.926n^{2/3}$. …
Contact numbers are natural extensions of kissing numbers. In this paper we give estimates for the number of contacts in a totally separable packing of n unit balls in Euclidean d-space for all n>1 and d>1.
We present a new self-contained proof of the well-known fact that the minimal area of a Voronoi cell in a unit circle packing is equal to $2\sqrt{3}$, and the minimum is achieved only on a perfect hexagon. The proof is short and, in our opinion, instructive.
The sphere packing problem asks for the densest packing of unit balls in d-dimensional Euclidean space. This problem has its roots in geometry, number theory and it is part of Hilbert's 18th problem. In 1958 C. A. Rogers proved a non-trivial upper bound for the density of unit ball packings in d-dimensional Euclidean space for all d>0. In 1978 Kabatjanskii and Levenstein improved this bound for large d. In fact, Rogers' bound is the presently known best bound for 43>d>3, and above that the Kabatjanskii-Levenstein bound takes over. In this paper we improve Rogers' upper bound for the density of…
Motivated by the relation between particle shape and packing, we measure the volume fraction $ϕ$ occupied by the Platonic solids which are a class of polyhedron with congruent sides, vertices and dihedral angles. Tetrahedron, cube, octahedron, dodecahedron, and icosahedron shaped plastic dice were fluidized or mechanically vibrated to find stable random loose packing $ϕ_{rlp} = 0.51, 0.54, 0.52, 0.51, 0.50$ and densest packing $ϕ_{rcp} = 0.64, 0.67, 0.64, 0.63, 0.59$, respectively with standard deviation $\simeq \pm 0.01$. We find that $ϕ$ obtained by all protocols peak at the cube, which is t…
Continuing the investigations of Harborth (1974) and the author (2002) we study the following two rather basic problems on sphere packings. Recall that the contact graph of an arbitrary finite packing of unit balls (i.e., of an arbitrary finite family of non-overlapping unit balls) in Euclidean 3-space is the (simple) graph whose vertices correspond to the packing elements and whose two vertices are connected by an edge if the corresponding two packing elements touch each other. One of the most basic questions on contact graphs is to find the maximum number of edges that a contact graph of a p…
Let $L \subset {\Bbb R}^3$ be the union of unit balls, whose centres lie on the $z$-axis, and are equidistant with distance $2d \in [2, 2\sqrt{2}]$. Then a packing of unit balls in ${\Bbb R}^3$ consisting of translates of $L$ has a density at most $π/(3d\sqrt{3-d^2})$, with equality for a certain lattice packing of unit balls. Let $L \subset {\Bbb R}^4$ be the union of unit balls, whose centres lie on the $x_3x_4$ coordinate plane, and form either a square lattice or a regular triangular lattice, of edge length $2$. Then a packing of unit balls in ${\Bbb R}^4$ consisting of translates of $L$ h…
Institute of Mathematics and Informatics Bulgarian Academy of Sciences(保加利亚科学院数学与信息学研究所);Faculty of Information Sciences State University of Library Studies and Information Technologies(国家图书馆研究与信息技术大学信息科学学院)
In this paper we construct a new family of lattice packings for superballs in three dimensions (unit balls for the $l^p_3$ norm) with $p \in (1, 1.58]$. We conjecture that the family also exists for $p \in (1.58, \log_2 3 = 1.5849625\ldots]$. Like in the densest lattice packing of regular octahedra, each superball in our family of lattice packings has $14$ neighbors.
We present a one-parameter family of periodic packings of regular tetrahedra, with the packing fraction $100/117\approx0.8547$, that are simple in the sense that they are transitive and their repeating units involve only four tetrahedra. The construction of the packings was inspired from results of a numerical search that yielded a similar packing. We present an analytic construction of the packings and a description of their properties. We also present a transitive packing with a repeating unit of two tetrahedra and a packing fraction $\frac{139+40\sqrt{10}}{369}\approx0.7194$.
In "Dense Sphere Packings: A Blueprint for Formal Proofs" Hales proves that for every packing of unit spheres, the density in a ball of radius $r$ is at most $π/\sqrt{18}+c/r$ for some constant $c$. When $r$ tends to infinity, this gives a proof to the famous Kepler conjecture. As formulated by Hales, $c$ depends on the packing. We follow the proofs of Hales to calculate a constant $c'$ independent of the sphere packing that exists as mentioned in "A Formal Proof of the Kepler Conjecture" by Hales et al..
Triangulations of the cube into a minimal number of simplices without additional vertices have been studied by several authors over the past decades. For $3\leq n\leq 7$ this so-called simplexity of the unit cube $I^n$ is now known to be $5,16,67,308,1493$, respectively. In this paper, we study triangulations of $I^n$ with simplices that only have nonobtuse dihedral angles. A trivial example is the standard triangulation into $n!$ simplices. In this paper we show that, surprisingly, for each $n\geq 3$ there is essentially only one other nonobtuse triangulation of $I^n$, and give its explicit c…
It is known that $\sum\limits_{i=1}^{\infty} \frac{1}{i (i+1)} = 1$. In 1968, Meir and Moser asked for finding the smallest $ε$ such that all the rectangles of sizes $1/i \times 1/(i + 1)$ for $i = 1, 2, \ldots$, can be packed into a unit square or a rectangle of area $1 + ε$. In this paper, we show that we can pack the first $1.35\cdot10^{11}$ rectangles into the unit square and give an estimate for $ε$ from this packing.
Put n open non-overlapping squares inside a unit square, and let f(n) denote the maximum possible value of the sum of the side lengths of the n squares. Campbell and Staton, building on a question of Erdos, conjectured that f(k^2+2c+1)=k+c/k, where c is any integer and k\geq |c|. We show that if this conjecture is true for one value of c, then it is true for all values of c.
O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a tiling of $\Bbb R^n$ by unit $n$-cubes such that no two $n$-cubes have a complete facet in common.
The densest local packing (DLP) problem in d-dimensional Euclidean space Rd involves the placement of N nonoverlapping spheres of unit diameter near an additional fixed unit-diameter sphere such that the greatest distance from the center of the fixed sphere to the centers of any of the N surrounding spheres is minimized. Solutions to the DLP problem are relevant to the realizability of pair correlation functions for packings of nonoverlapping spheres and might prove useful in improving upon the best known upper bounds on the maximum packing fraction of sphere packings in dimensions greater tha…
A sphere packing of the three-dimensional Euclidean space is compact if it has only tetrahedral holes, that is, any local maximum of the distance to the spheres is at equal distance to exactly four spheres. This papers describes all the compact packings with spheres of three different sizes. They are close-compact packings of unit spheres with holes filled in four different ways by smaller spheres.
We prove that for all fixed $p > 2$, the translative packing density of unit $\ell_p$-balls in $\mathbb{R}^n$ is at most $2^{(γ_p + o(1))n}$ with $γ_p < - 1/p$. This is the first exponential improvement in high dimensions since van der Corput and Schaake (1936).
We adapt a construction of Klee (1981) to find a packing of unit balls in $\ell_p$ ($1\leq p<\infty$) which is efficient in the sense that enlarging the radius of each ball to any $R>2^{1-1/p}$ covers the whole space. We show that the value $2^{1-1/p}$ is optimal.
If $X$ is a subset of a Banach space with $X-X$ homogeneous, then $X$ can be embedded into some $\R^n$ (with $n$ sufficiently large) using a linear map $L$ whose inverse is Lipschitz to within logarithmic corrections. More precisely, $$c\,\frac{\|x-y\|}{|\,\log\|x-y\|\,|^α}\le|Lx-Ly|\le c\|x-y\|$$ for all $x,y\in X$ with $\|x-y\|<δ$ for some $δ$ sufficiently small. A simple argument shows that one must have $α>1$ in the case of a general Banach space and $α>1/2$ in the case of a Hilbert space. It is shown in this paper that these exponents can be achieved. While the argument in a general Banac…
The optimal packings of n unit discs in the plane are known for those natural numbers n, which satisfy certain number theoretic conditions. Their geometric realizations are the extremal Groemer packings (or Wegner packings). But an extremal Groemer packing of n unit discs does not exist for all natural numbers n and in this case, the number n is called exceptional. We are interested in number theoretic characterizations of the exceptional numbers. A counterexample is given to a conjecture of Wegner concerning such a characterization. We further give a characterization of the exceptional number…
It is shown that if n<7, then each tiling of R^n by translates of the unit cube [0,1)^n contains a column; that is, a family of the form {[0,1)^n+(s+ke_i): k \in Z}, where s \in R^n, e_i is an element of the standard basis of R^n and Z is the set of integers.
In the packing-constrained point covering problem, PC^2, one seeks configurations of points in the plane that cannot all be covered by a packing arrangement of unit disks. We consider in particular the problem of finding the minimum number of points N for which such a configuration exists and obtain the bounds 11 <= N <= 55. The disparity of these bounds is symptomatic, we believe, of the fact that PC^2 belongs in a higher complexity class than the standard packing and covering problems.
We present the densest known packing of regular tetrahedra with density phi = 4000/4671 = 0.856347... Like the recently discovered packings of Kallus et al. [arXiv:0910.5226] and Torquato-Jiao [arXiv:0912.4210], our packing is crystalline with a unit cell of four tetrahedra forming two triangular dipyramids (dimer clusters). We show that our packing has maximal density within a three-parameter family of dimer packings. Numerical compressions starting from random configurations suggest that the packing may be optimal at least for small cells with up to 16 tetrahedra and periodic boundaries.