×

开普勒猜想的公式。 (英语) Zbl 1186.52014年

这是一系列六篇论文中的第二篇,它们共同包含了Hales对开普勒猜想的详细证明:单位球在三个空间中的最大堆积密度由面心立方晶格堆积密度(pi/sqrt{18}约0.74)给出。
引言中的以下引语最能说明本文的内容。“本文的第一部分给出了开普勒猜想证明的顶层结构。接下来的两部分描述了证明中所需的空间的基本分解。第一个分解称为\(Q)-系统是不重叠的简单体的集合。这种分解最初受到空间的Delaunay分解的启发。另一种分解称为V细胞分解,与空间的Voronoi分解密切相关。在下一节中,这两种空间分解组合成几何对象,称为分解星分解星是开普勒猜想证明的基本对象。本文的最后一部分与塞缪尔·弗格森(Samuel P.Ferguson)合著,描述了所有分解星集合上的一个特殊非线性函数,称为记分函数。开普勒猜想简化为一个优化问题,涉及所有分解星集合上的非线性函数。这是一个有限变量的优化问题。随后的论文(论文III-VI)解决了这个优化问题。”
该系列的所有六篇论文都出现在第36卷离散几何和计算几何[第1、5–20号(2006年;Zbl 1186.52010年);21–69(2006;本综述);71–110 (2006;Zbl 1186.52011年);111–166 (2006;Zbl 1186.52012年);167–204 (2006;Zbl 1186.52009年);205–265 (2006;Zbl 1186.52013年)].

MSC公司:

52C17号 包装和覆盖尺寸(离散几何方面)
05B40号 包装和覆盖的组合方面
11小时31分 格状包装和覆盖(数值理论方面)

软件:

开普勒98
PDF格式BibTeX公司 XML格式引用