Showing 1–32 of 32 results for author: Zong, C

On Generalized Kissing Numbers of Convex Bodies (II)

Authors: Yiming Li, Chuanming Zong

Abstract: In 1694, Gregory and Newton discussed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. Recently, Li and Zong introduced and studied the generalized kissing numbers of co… ▽ More In 1694, Gregory and Newton discussed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. Recently, Li and Zong introduced and studied the generalized kissing numbers of convex bodies. As a continuation of this project, in this paper we obtain the exact generalized kissing numbers $κ_α^*(B^n)$ of the $n$-dimensional balls for $3\le n\le 8$ and $α=2\sqrt{3}-2$. Furthermore, the lattice kissing number of a four-dimensional cross-polytope is determined. △ Less

Submitted 12 January, 2025; originally announced January 2025.

Comments: 25 pages, 1 figures

MSC Class: 52C17; 11H31

Fast Reflected Forward-Backward algorithm: achieving fast convergence rates for convex optimization with linear cone constraints

Authors: Radu Ioan Bot, Dang-Khoa Nguyen, Chunxiang Zong

Abstract: In this paper, we derive a Fast Reflected Forward-Backward (Fast RFB) algorithm to solve the problem of finding a zero of the sum of a maximally monotone operator and a monotone and Lipschitz continuous operator in a real Hilbert space. Our approach extends the class of reflected forward-backward methods by introducing a Nesterov momentum term and a correction term, resulting in enhanced convergen… ▽ More In this paper, we derive a Fast Reflected Forward-Backward (Fast RFB) algorithm to solve the problem of finding a zero of the sum of a maximally monotone operator and a monotone and Lipschitz continuous operator in a real Hilbert space. Our approach extends the class of reflected forward-backward methods by introducing a Nesterov momentum term and a correction term, resulting in enhanced convergence performance. The iterative sequence of the proposed algorithm is proven to converge weakly, and the Fast RFB algorithm demonstrates impressive convergence rates, achieving $o\left( \frac{1}{k} \right)$ as $k \to +\infty$ for both the discrete velocity and the tangent residual at the \emph{last-iterate}. When applied to minimax problems with a smooth coupling term and nonsmooth convex regularizers, the resulting algorithm demonstrates significantly improved convergence properties compared to the current state of the art in the literature. For convex optimization problems with linear cone constraints, our approach yields a fully splitting primal-dual algorithm that ensures not only the convergence of iterates to a primal-dual solution, but also a \emph{last-iterate} convergence rate of $o\left( \frac{1}{k} \right)$ as $k \to +\infty$ for the objective function value, feasibility measure, and complementarity condition. This represents the most competitive theoretical result currently known for algorithms addressing this class of optimization problems. Numerical experiments are performed to illustrate the convergence behavior of Fast RFB. △ Less

Submitted 16 December, 2024; originally announced December 2024.

MSC Class: 49M29; 65K05; 68Q25; 90C25; 90C47

On Generalized Kissing Numbers of Convex Bodies

Authors: Yiming Li, Chuanming Zong

Abstract: In 1694, Gregory and Newton proposed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. In this paper, we introduce and study a further generalization of the kissing numbe… ▽ More In 1694, Gregory and Newton proposed the problem to determine the kissing number of a rigid material ball. This problem and its higher dimensional generalization have been studied by many mathematicians, including Minkowski, van der Waerden, Hadwiger, Swinnerton-Dyer, Watson, Levenshtein, Odlyzko, Sloane and Musin. In this paper, we introduce and study a further generalization of the kissing numbers for convex bodies and obtain some exact results, in particular for balls in dimensions three, four and eight. △ Less

Submitted 24 July, 2024; originally announced July 2024.

Comments: 26 pages, 3 figures

MSC Class: 52C17; 11H31

The Mathematical Foundation of Post-Quantum Cryptography

Authors: Chuanming Zong

Abstract: On July 5, 2022, the National Institute of Standards and Technology announced four possible post-quantum cryptography standards, three of them are based on lattice theory and the other one is based on Hash function. It is well-known that the security of the lattice cryptography relies on the hardness of the shortest vector problem (SVP) and the closest vector problem (CVP). In fact, the SVP is a s… ▽ More On July 5, 2022, the National Institute of Standards and Technology announced four possible post-quantum cryptography standards, three of them are based on lattice theory and the other one is based on Hash function. It is well-known that the security of the lattice cryptography relies on the hardness of the shortest vector problem (SVP) and the closest vector problem (CVP). In fact, the SVP is a sphere packing problem and the CVP is a sphere covering problem. Furthermore, both SVP and CVP are equivalent to arithmetic problems of positive definite quadratic forms. This paper will briefly introduce the post-quantum cryptography and show its connections with sphere packing, sphere covering, and positive definite quadratic forms. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 23 pages

MSC Class: 94A60; 52C17; 11H31

Fast Forward-Backward splitting for monotone inclusions with a convergence rate of the tangent residual of $o(1/k)$

Authors: Radu Ioan Bot, Dang-Khoa Nguyen, Chunxiang Zong

Abstract: We address the problem of finding the zeros of the sum of a maximally monotone operator and a cocoercive operator. Our approach introduces a modification to the forward-backward method by integrating an inertial/momentum term alongside a correction term. We demonstrate that the sequence of iterations thus generated converges weakly towards a solution for the monotone inclusion problem. Furthermore… ▽ More We address the problem of finding the zeros of the sum of a maximally monotone operator and a cocoercive operator. Our approach introduces a modification to the forward-backward method by integrating an inertial/momentum term alongside a correction term. We demonstrate that the sequence of iterations thus generated converges weakly towards a solution for the monotone inclusion problem. Furthermore, our analysis reveals an outstanding attribute of our algorithm: it displays rates of convergence of the order $o(1/k)$ for the discrete velocity and the tangent residual approaching zero. These rates for tangent residuals can be extended to fixed-point residuals frequently discussed in the existing literature. Specifically, when applied to minimize a nonsmooth convex function subject to linear constraints, our method evolves into a primal-dual full splitting algorithm. Notably, alongside the convergence of iterates, this algorithm possesses a remarkable characteristic of nonergodic/last iterate $o(1/k)$ convergence rates for both the function value and the feasibility measure. Our algorithm showcases the most advanced convergence and convergence rate outcomes among primal-dual full splitting algorithms when minimizing nonsmooth convex functions with linear constraints. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 36 pages, 8 figures

The Simultaneous Lattice Packing-Covering Constant of Octahedra

Authors: Yiming Li, Chuanming Zong

Abstract: This paper proves that the simultaneous lattice packing-covering constant of an octahedron is $7/6$. In other words, $7/6$ is the smallest positive number $r$ such that for every octahedron $O$ centered at the origin there is a lattice $Λ$ such that $O+Λ$ is a packing in $\mathbb{E}^3$ and $rO+Λ$ is a covering of $\mathbb{E}^3$. This paper proves that the simultaneous lattice packing-covering constant of an octahedron is $7/6$. In other words, $7/6$ is the smallest positive number $r$ such that for every octahedron $O$ centered at the origin there is a lattice $Λ$ such that $O+Λ$ is a packing in $\mathbb{E}^3$ and $rO+Λ$ is a covering of $\mathbb{E}^3$. △ Less

Submitted 17 January, 2025; v1 submitted 28 October, 2023; originally announced October 2023.

Comments: 24 pages, 3 figures

MSC Class: 52C17; 11H31

Characterization of the Three-Dimensional Fivefold Translative Tiles

Authors: Mei Han, Kirati Sriamorn, Qi Yang, Chuanming Zong

Abstract: This paper proves the following statement: If a convex body can form a fivefold translative tiling in $\mathbb{E}^3$, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, a truncated octahedron, a cylinder over a particular octagon, or a cylinder over a particular decagon, where the octagon and the decagon are fivefold translative tiles in… ▽ More This paper proves the following statement: If a convex body can form a fivefold translative tiling in $\mathbb{E}^3$, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, a truncated octahedron, a cylinder over a particular octagon, or a cylinder over a particular decagon, where the octagon and the decagon are fivefold translative tiles in $\mathbb{E}^2$. Furthermore, it presents an example of multiple tiles in $\mathbb{E}^3$ with multiplicity at most 10 which is neither a parallelohedron nor a cylinder. △ Less

Submitted 28 October, 2023; v1 submitted 15 July, 2023; originally announced July 2023.

MSC Class: 52C22; 52C23; 05B45; 52C17; 11H31

Borsuk's Problem in Metric Spaces

Authors: Jun Wang, Fei Xue, Chuanming Zong

Abstract: In 1933, K. Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? In 1965, V. G. Boltyanski and I. T. Gohberg made the following conjecture: Every bounded set in an $n$-dimensional metric space can be divided into $2^n$ subsets of smaller diameters. In this paper, we prove the following result: Every bounded set in an… ▽ More In 1933, K. Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? In 1965, V. G. Boltyanski and I. T. Gohberg made the following conjecture: Every bounded set in an $n$-dimensional metric space can be divided into $2^n$ subsets of smaller diameters. In this paper, we prove the following result: Every bounded set in an $n$-dimensional metric space can be divided into $2^{n}((n+1)\log (n+1)+(n+1)\log \log (n+1)+5n+5)$ subsets of smaller diameters. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: 7 pages

MSC Class: 52C17

Lower Bounds on Lattice Covering Densities of Simplices

Authors: Miao Fu, Fei Xue, Chuanming Zong

Abstract: This paper presents new lower bounds for the lattice covering densities of simplices by studying the Degree-Diameter Problem for abelian Cayley digraphs. In particular, it proves that the density of any lattice covering of a tetrahedron is at least $25/18$ and the density of any lattice covering of a four-dimensional simplex is at least $343/264$. This paper presents new lower bounds for the lattice covering densities of simplices by studying the Degree-Diameter Problem for abelian Cayley digraphs. In particular, it proves that the density of any lattice covering of a tetrahedron is at least $25/18$ and the density of any lattice covering of a four-dimensional simplex is at least $343/264$. △ Less

Submitted 12 February, 2022; originally announced February 2022.

Comments: 16 pages, 4 figures

MSC Class: 52C17; 52B10; 52C07; 05C12

The Three and Fourfold Translative Tiles in Three-Dimensional Space

Authors: Mei Han, Kirati Sriamorn, Qi Yang, Chuanming Zong

Abstract: This paper proves the following statement: If a convex body can form a three or fourfold translative tiling in the three-dimensional space, it must be a parallelohedron. In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron. This paper proves the following statement: If a convex body can form a three or fourfold translative tiling in the three-dimensional space, it must be a parallelohedron. In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron. △ Less

Submitted 30 September, 2021; v1 submitted 15 September, 2021; originally announced September 2021.

Comments: arXiv admin note: text overlap with arXiv:2106.15388

MSC Class: 52C22; 05B45; 52C17

Twofold Translative Tiles in Three-Dimensional Space

Authors: Mei Han, Qi Yang, Kirati Sriamorn, Chuanming Zong

Abstract: This paper proves the following statement: {\it If a convex body can form a twofold translative tiling in $\mathbb{E}^3$, it must be a parallelohedron.} In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron. This paper proves the following statement: {\it If a convex body can form a twofold translative tiling in $\mathbb{E}^3$, it must be a parallelohedron.} In other words, it must be a parallelotope, a hexagonal prism, a rhombic dodecahedron, an elongated dodecahedron, or a truncated octahedron. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Blaschke, Osgood, Wiener, Hadamard and the Early Development of Modern Mathematics in China

Authors: Chuanming Zong

Abstract: In ancient times, China made great contributions to world civilization and in particular to mathematics. However, modern sciences including mathematics came to China rather too late. The first Chinese university was founded in 1895. The first mathematics department in China was formally opened at the university only in 1913. At the beginning of the twentieth century, some Chinese went to Europe, t… ▽ More In ancient times, China made great contributions to world civilization and in particular to mathematics. However, modern sciences including mathematics came to China rather too late. The first Chinese university was founded in 1895. The first mathematics department in China was formally opened at the university only in 1913. At the beginning of the twentieth century, some Chinese went to Europe, the United States of America and Japan for higher education in modern mathematics and returned to China as the pioneer generation. They created mathematics departments at the Chinese universities and sowed the seeds of modern mathematics in China. In 1930s, when a dozen of Chinese universities already had mathematics departments, several leading mathematicians from Europe and USA visited China, including Wilhelm Blaschke, George D. Birkhoff, William F. Osgood, Norbert Wiener and Jacques Hadamard. Their visits not only had profound impact on the mathematical development in China, but also became social events sometimes. This paper tells the history of their visits. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 8 pages

MSC Class: 01A25; 01A60

An outer reflected forward-backward splitting algorithm for solving monotone inclusions

Authors: Hui Yu, Chunxiang Zong, Yuchao Tang

Abstract: Monotone inclusions have wide applications in solving various convex optimization problems arising in signal and image processing, machine learning, and medical image reconstruction. In this paper, we propose a new splitting algorithm for finding a zero of the sum of a maximally monotone operator, a monotone Lipschitzian operator, and a cocoercive operator, which is called outer reflected forward-… ▽ More Monotone inclusions have wide applications in solving various convex optimization problems arising in signal and image processing, machine learning, and medical image reconstruction. In this paper, we propose a new splitting algorithm for finding a zero of the sum of a maximally monotone operator, a monotone Lipschitzian operator, and a cocoercive operator, which is called outer reflected forward-backward splitting algorithm. Under mild conditions on the iterative parameters, we prove the convergence of the proposed algorithm. As applications, we employ the proposed algorithm to solve composite monotone inclusions involving monotone Lipschitzian operator, cocoercive operator, and the parallel sum of operators. The advantage of the obtained algorithm is that it is a completely splitting algorithm, in which the Lipschitzian operator and the cocoercive operator are processed via explicit steps and the maximally monotone operators are processed via their resolvents. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 15 pages

MSC Class: 49M29; 47H05; 47J20

A Computer Program for Borsuk's Conjecture

Authors: Chuanming Zong

Abstract: In 1933, Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? This problem has been studied by many authors, and a lot of partial results have been discovered. In particular, Kahn and Kalai's counterexamples surprised the mathematical community in 1993. Nevertheless, the problem is still far away from being completely re… ▽ More In 1933, Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? This problem has been studied by many authors, and a lot of partial results have been discovered. In particular, Kahn and Kalai's counterexamples surprised the mathematical community in 1993. Nevertheless, the problem is still far away from being completely resolved. This paper presents a broad review on related subjects and, based on a novel reformulation, introduces a computer proof program to deal with this well-known problem. △ Less

Submitted 11 January, 2020; originally announced January 2020.

Comments: 10 pages, 3 figures

Characterization of the Two-Dimensional Six-Fold Lattice Tiles

Authors: Chuanming Zong

Abstract: This paper characterizes all the convex domains which can form six-fold lattice tilings of the Euclidean plane. They are parallelograms, centrally symmetric hexagons, one type of centrally symmetric octagons and two types of decagons. This paper characterizes all the convex domains which can form six-fold lattice tilings of the Euclidean plane. They are parallelograms, centrally symmetric hexagons, one type of centrally symmetric octagons and two types of decagons. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: 20 pages, 14 figures. arXiv admin note: substantial text overlap with arXiv:1712.01122

MSC Class: 52C20

Classification of the sublattices of a lattice

Authors: Chuanming Zong

Abstract: In 1945-46, C. L. Siegel proved that an $n$-dimensional lattice $Λ$ of determinant ${\rm det}(Λ)$ has at most $m^{n^2}$ different sublattices of determinant $m\cdot {\rm det}(Λ)$. In 1997, the exact number of the different sublattices of index $m$ was determined by Baake. This paper presents a systematic treatment for counting the sublattices and deduces a formula for the number of the sublattice… ▽ More In 1945-46, C. L. Siegel proved that an $n$-dimensional lattice $Λ$ of determinant ${\rm det}(Λ)$ has at most $m^{n^2}$ different sublattices of determinant $m\cdot {\rm det}(Λ)$. In 1997, the exact number of the different sublattices of index $m$ was determined by Baake. This paper presents a systematic treatment for counting the sublattices and deduces a formula for the number of the sublattice classes of determinant $m\cdot {\rm det}(Λ)$. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 8 pages

MSC Class: 52C05; 52C07; 11H06

Journal ref: Bull. Aust. Math. Soc. 103 (2021) 50-61

A Computer Approach to Determine the Densest Translative Tetrahedron Packings

Authors: Chuanming Zong

Abstract: In 1900, as a part of his 18th problem, Hilbert proposed the question to determine the densest congruent (or translative) packings of a given solid, such as the unit ball or the regular tetrahedron of unit edges. Up to now, our knowledge about this problem is still very limited, excepting the ball case. It is conjectured that, for some particular solids such as tetrahedra, cuboctahedra and octahed… ▽ More In 1900, as a part of his 18th problem, Hilbert proposed the question to determine the densest congruent (or translative) packings of a given solid, such as the unit ball or the regular tetrahedron of unit edges. Up to now, our knowledge about this problem is still very limited, excepting the ball case. It is conjectured that, for some particular solids such as tetrahedra, cuboctahedra and octahedra, their maximal translative packing densities and their maximal lattice packing densities are identical. To attack this conjecture, this paper suggests a computer approach to determine the maximal local translative packing density of a given polytope, by studying associated color graphs and applying optimization. In particular, all the tetrahedral case, the cuboctahedral case and the octahedral case of the conjecture have been reduced into finite numbers of manageable optimization problems. △ Less

Submitted 6 May, 2018; originally announced May 2018.

Comments: 29 pages, 8 figures

MSC Class: 52C17

Can You Pave the Plane Nicely with Identical Tiles

Authors: Chuanming Zong

Abstract: Every body knows that identical regular triangles or squares can tile the whole plane. Many people know that identical regular hexagons can tile the plane properly as well. In fact, even the bees know and use this fact! Is there any other convex domain which can tile the Euclidean plane? Yes, there is a long list of them! To find the list and to show the completeness of the list is a unique drama… ▽ More Every body knows that identical regular triangles or squares can tile the whole plane. Many people know that identical regular hexagons can tile the plane properly as well. In fact, even the bees know and use this fact! Is there any other convex domain which can tile the Euclidean plane? Yes, there is a long list of them! To find the list and to show the completeness of the list is a unique drama in mathematics, which has lasted for more than one century and the completeness of the list has been mistakenly announced not only once! Up to now, the list consists of triangles, quadrilaterals, three types of hexagons, and fifteen types of pentagons. In 2017, Michael Rao announced a computer proof for the completeness of the list. Meanwhile, Qi Yang and Chuanming Zong made a series of unexpected discoveries in multiple tilings in the Euclidean plane. For examples, besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form any two-, three- or four-fold translative tiling in the plane; there are only two types of octagons and one type of decagons which can form five-fold translative tilings. △ Less

Submitted 26 March, 2018; v1 submitted 18 March, 2018; originally announced March 2018.

Comments: 10 pages, 16 figures

MSC Class: 52C20; 52C22; 05B45; 52C17; 51M20

Characterization of the Two-Dimensional Five-Fold Translative Tiles

Authors: Qi Yang, Chuanming Zong

Abstract: In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form two-, three- or four-fold translative tiling in the Euclidean plane, but there are centrally symmetric convex octagons and decagons which can form five-fold translativ… ▽ More In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form two-, three- or four-fold translative tiling in the Euclidean plane, but there are centrally symmetric convex octagons and decagons which can form five-fold translative tilings. This paper characterizes all the convex domains which can form five-fold translative tilings of the Euclidean plane. △ Less

Submitted 17 March, 2018; v1 submitted 26 December, 2017; originally announced December 2017.

Comments: 18 pages, 10 figures. arXiv admin note: substantial text overlap with arXiv:1711.02514, arXiv:1712.01122

MSC Class: 52C22

Characterization of the Two-Dimensional Five-Fold Lattice Tiles

Authors: Chuanming Zong

Abstract: In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form a two-, three- or four-fold lattice tiling in the Euclidean plane, but there is a centrally symmetric convex decagon which can form a five-fold lattice tiling. This pa… ▽ More In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. It is known that there is no other convex domain which can form a two-, three- or four-fold lattice tiling in the Euclidean plane, but there is a centrally symmetric convex decagon which can form a five-fold lattice tiling. This paper characterizes all the convex domains which can form a five-fold lattice tiling of the Euclidean plane. △ Less

Submitted 17 March, 2018; v1 submitted 1 December, 2017; originally announced December 2017.

Comments: 20 pages, 14 figures. arXiv admin note: text overlap with arXiv:1711.02514, arXiv:1710.05506

MSC Class: 52C22

Multiple Translative Tilings in Euclidean Spaces

Authors: Qi Yang, Chuanming Zong

Abstract: In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold translative tiling in the Euclidean plane. However, there… ▽ More In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold translative tiling in the Euclidean plane. However, there are two-dimensional convex domains which is neither a parallelogram nor a centrally symmetric hexagon can form five-fold translative tilings. △ Less

Submitted 17 March, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 12 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:1712.01122, arXiv:1710.05506

MSC Class: 52C22

Multiple Lattice Tilings in Euclidean Spaces

Authors: Qi Yang, Chuanming Zong

Abstract: This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold lattice tiling in the Euclidean plane. If a centrally symmetric octagon can form a lattice multiple tiling, then the multiplicity is at least seven. However, there are decagons which can form five-fold $($or six-fold$)$ lattice… ▽ More This paper proves the following results: Besides parallelograms and centrally symmetric hexagons, there is no other convex domain which can form a two-, three- or four-fold lattice tiling in the Euclidean plane. If a centrally symmetric octagon can form a lattice multiple tiling, then the multiplicity is at least seven. However, there are decagons which can form five-fold $($or six-fold$)$ lattice tilings. Consequently, whenever $n\ge 3$, there are non-parallelohedral polytopes which can form five-fold lattice tilings in the $n$-dimensional Euclidean space. △ Less

Submitted 17 March, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 6 pages, 2 figures

MSC Class: 52C22

Journal ref: Can. Math. Bull. 62 (2019) 923-929

On Lattice Coverings by Simplices

Authors: Fei Xue, Chuanming Zong

Abstract: By studying the volume of a generalized difference body, this paper presents the first nontrivial lower bound for the lattice covering density by $n$-dimensional simplices. By studying the volume of a generalized difference body, this paper presents the first nontrivial lower bound for the lattice covering density by $n$-dimensional simplices. △ Less

Submitted 16 February, 2015; originally announced February 2015.

MSC Class: 52C17

A Mathematical Theory for Random Solid Packings

Authors: Chuanming Zong

Abstract: Packings of identical objects have fascinated both scientists and laymen alike for centuries, in particular the sphere packings and the packings of identical regular tetrahedra. Mathematicians have tried for centuries to determine the densest packings; Crystallographers and chemists have been fascinated by the lattice packings for centuries as well. On the other hand, physicists, geologists, mater… ▽ More Packings of identical objects have fascinated both scientists and laymen alike for centuries, in particular the sphere packings and the packings of identical regular tetrahedra. Mathematicians have tried for centuries to determine the densest packings; Crystallographers and chemists have been fascinated by the lattice packings for centuries as well. On the other hand, physicists, geologists, material scientists and engineers have been challenged by the mysterious random packings for decades. Experiments have shown the existence of the dense random sphere packings and the loose random sphere packings for more than half a century. However, a rigorous definition for them is still missing. The purpose of this paper is to review the random solid packings and to create a mathematical theory for it. △ Less

Submitted 4 October, 2014; originally announced October 2014.

Comments: 6 pages, 1 figure

MSC Class: 52C17

A note on lattice coverings

Authors: Fei Xue, Chuanming Zong

Abstract: This note presents an interesting counterexample to a basic covering problem. This note presents an interesting counterexample to a basic covering problem. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Comments: 3 pages, 3 figures

MSC Class: 52C17

Functionals on the Spaces of n-Dimensional Convex Bodies

Authors: Chuanming Zong

Abstract: In geometry, there are several challenging problems studying numbers associated to convex bodies. For example, the packing density problem, the kissing number problem, the covering density problem, the packing-covering constant problem, Hadwiger's covering conjecture and Borsuk's partition conjecture. They are fundamental and fascinating problems about the same objects. However, up to now, both th… ▽ More In geometry, there are several challenging problems studying numbers associated to convex bodies. For example, the packing density problem, the kissing number problem, the covering density problem, the packing-covering constant problem, Hadwiger's covering conjecture and Borsuk's partition conjecture. They are fundamental and fascinating problems about the same objects. However, up to now, both the methodology and the technique applied to them are essentially different. Therefore, a common foundation for them has been much expected. By treating problems of these types as functionals defined on the spaces of n-dimensional convex bodies, this paper tries to create such a foundation. This article suggests an ideal theoretic structure and a couple of research topics such as supderivatives and integral sums of these functionals which seem to be important. In addition, it proves an inequality between the Hausdorff metric and the Banach-Mazur metric and obtains some estimations on the supderivatives. △ Less

Submitted 15 February, 2014; originally announced February 2014.

MSC Class: 52C17

Minkowski Bisectors, Minkowski Cells, and Lattice Coverings

Authors: Chuanming Zong

Abstract: This article introduces and studies Minkowski Bisectors, Minkowski Cells, and Lattice Coverings. This article introduces and studies Minkowski Bisectors, Minkowski Cells, and Lattice Coverings. △ Less

Submitted 14 February, 2014; originally announced February 2014.

Comments: 9 figures

MSC Class: 52C17

On the translative packing densities of tetrahedra and cubooctahedra

Authors: Chuanming Zong

Abstract: In this paper, upper bounds for the densities of the densest translative tetrahedron packings and the densest translative cubooctahedron packings are obtained. In this paper, upper bounds for the densities of the densest translative tetrahedron packings and the densest translative cubooctahedron packings are obtained. △ Less

Submitted 12 November, 2012; v1 submitted 2 August, 2012; originally announced August 2012.

Comments: 37 pages, 9 figures

MSC Class: 52C17

On Arnold's Problem on the Classifications of Convex Lattice Polytopes

Authors: Chuanming Zong

Abstract: In 1980, V.I. Arnold studied the classification problem for convex lattice polygons of given area. Since then this problem and its analogues have been studied by B'ar'any, Pach, Vershik, Liu, Zong and others. Upper bounds for the numbers of non-equivalent ddimensional convex lattice polytopes of given volume or cardinality have been achieved. In this paper, by introducing and studying the unimodul… ▽ More In 1980, V.I. Arnold studied the classification problem for convex lattice polygons of given area. Since then this problem and its analogues have been studied by B'ar'any, Pach, Vershik, Liu, Zong and others. Upper bounds for the numbers of non-equivalent ddimensional convex lattice polytopes of given volume or cardinality have been achieved. In this paper, by introducing and studying the unimodular groups acting on convex lattice polytopes, we obtain lower bounds for the number of non-equivalent d-dimensional convex lattice polytopes of bounded volume or given cardinality, which are essentially tight. △ Less

Submitted 13 November, 2012; v1 submitted 14 July, 2011; originally announced July 2011.

Comments: 15 pages, 3 figures

MSC Class: 52B20; 52C07

Classification of Convex lattice polytopes

Authors: Heling Liu, Chuanming Zong

Abstract: In this paper we study the classification problem of convex lattice ploytopes with respect to given volume or given cardinality. In this paper we study the classification problem of convex lattice ploytopes with respect to given volume or given cardinality. △ Less

Submitted 25 May, 2011; v1 submitted 1 March, 2011; originally announced March 2011.

MSC Class: 52

A quantitative program for Hadwiger's covering conjecture and Borsuk's partition conjecture

Authors: Chuanming Zong

Abstract: In this article we encode Hadwiger's covering conjecture and Borsuk's partition conjecture into continuous functions defined on the spaces of convex bodies, propose a four-step program to approach them, and obtain some partial results. In this article we encode Hadwiger's covering conjecture and Borsuk's partition conjecture into continuous functions defined on the spaces of convex bodies, propose a four-step program to approach them, and obtain some partial results. △ Less

Submitted 12 July, 2010; v1 submitted 24 November, 2009; originally announced November 2009.

Comments: 17 pages, four figures

MSC Class: 52C17; 11H31

Simultaneous packing and covering in the two-dimensional Euclidean plane II

Authors: Chuanming Zong

Abstract: This paper determines the optimal upper bound for the simultaneous packing and covering constants of the two-dimensional centrally symmetric convex domains. It solved a problem opening for more than thirty years. This paper determines the optimal upper bound for the simultaneous packing and covering constants of the two-dimensional centrally symmetric convex domains. It solved a problem opening for more than thirty years. △ Less

Submitted 12 June, 2007; originally announced June 2007.

Comments: 17 pages, 6 figures

MSC Class: 52C15