<p>We prove that in any dimension <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$n$</EquationSource> </InlineEquation> there exists an origin-symmetric ellipsoid <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">E</mi> <mo>⊂</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">${\mathcal{E}} \subset {\mathbb{R}}^{n}$</EquationSource> </InlineEquation> of volume <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>c</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$c n^{2} $</EquationSource> </InlineEquation> that contains no points of <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">Z</mi> <mi>n</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">${\mathbb{Z}}^{n}$</EquationSource> </InlineEquation> other than the origin, where <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>c</mi> <mo>&gt;</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$c &gt; 0$</EquationSource> </InlineEquation> is a universal constant. Equivalently, there exists a lattice sphere packing in <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">${\mathbb{R}}^{n}$</EquationSource> </InlineEquation> whose density is at least <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <mi>c</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>⋅</mo> <msup> <mn>2</mn> <mrow> <mo>−</mo> <mi>n</mi> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$cn^{2} \cdot 2^{-n}$</EquationSource> </InlineEquation>. Previously known constructions of sphere packings in <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">${\mathbb{R}}^{n}$</EquationSource> </InlineEquation> yielded densities of at most <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>C</mi> <mi>n</mi> <mo>log</mo> <mi>n</mi> <mo>⋅</mo> <msup> <mn>2</mn> <mrow> <mo>−</mo> <mi>n</mi> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$C n \log n \cdot 2^{-n}$</EquationSource> </InlineEquation>. Our proof utilizes a stochastically evolving ellipsoid that accumulates at least <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mi>c</mi> <msup> <mi>n</mi> <mn>2</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$c n^{2}$</EquationSource> </InlineEquation> lattice points on its boundary, while containing no lattice points in its interior except for the origin.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid

  • Boaz Klartag

摘要

We prove that in any dimension n $n$ there exists an origin-symmetric ellipsoid E R n ${\mathcal{E}} \subset {\mathbb{R}}^{n}$ of volume c n 2 $c n^{2} $ that contains no points of Z n ${\mathbb{Z}}^{n}$ other than the origin, where c > 0 $c > 0$ is a universal constant. Equivalently, there exists a lattice sphere packing in R n ${\mathbb{R}}^{n}$ whose density is at least c n 2 2 n $cn^{2} \cdot 2^{-n}$ . Previously known constructions of sphere packings in R n ${\mathbb{R}}^{n}$ yielded densities of at most C n log n 2 n $C n \log n \cdot 2^{-n}$ . Our proof utilizes a stochastically evolving ellipsoid that accumulates at least c n 2 $c n^{2}$ lattice points on its boundary, while containing no lattice points in its interior except for the origin.