查看“WikiEdge:ArXiv-2011.06398”的源代码

* '''标题'''：Spherical coverings and X-raying convex bodies of constant width
* '''中文标题'''：球形覆盖和常宽凸体的X射线
* '''发布日期'''：2020-11-12 14:11:57+00:00
* '''作者'''：A. Bondarenko, A. Prymak, D. Radchenko
* '''分类'''：math.MG, Primary 52C17, Secondary 52A20, 52A40, 52C35
*'''原文链接'''：http://arxiv.org/abs/2011.06398v3
'''摘要'''：K. Bezdek 和 Gy. Kiss 展示了，存在以原点为中心的单位球在 $\mathbb{E}^n$ 中至多由 $2^n$ 个相同的球帽覆盖，其半径不超过 $\arccos\sqrt{\frac{n-1}{2n}}$，这暗示了对于在 $\mathbb{E}^n$ 中的常宽凸体的 $X$-射线猜想和照明猜想，并且为 $4\le n\le 6$ 构造了这样的覆盖。在这里，我们给出了对于 $5\le n\le 15$ 的这样的构造，其球帽数量少于 $2^n$。
对于在 $\mathbb{E}^n$ 中的任何常宽凸体的照明数，O.~Schramm 证明了一个上界估计，其指数增长的阶为 $(3/2)^{n/2}$。特别地，该估计对于 $n\ge 16$ 小于 $3\cdot 2^{n-2}$，确认了上述猜想对于常宽凸体类的适用性。因此，我们的结果解决了未决的 $7\le n\le 15$ 的情况。
我们还展示了如何在计算机上有效地计算给定离散点集在球面上的覆盖半径。

== 问题与动机 ==
作者的研究问题包括：
* 如何构造[[单位球面]]上的[[球冠]]覆盖，使得覆盖半径不超过 \(\arccos \left(\sqrt{\frac{n-1}{2n}}\right)\) 并且球冠数量不超过 \(2n\)？
* 对于 \(5 \leq n \leq 15\) 的[[维度]]，能否找到少于 \(2n\) 个球冠的覆盖？
* 如何计算给定[[离散点集]]在球面上的覆盖半径？
* 如何证明对于[[常宽凸体]]的[[X射线猜想]]和[[照明猜想]]？

== 背景介绍 ==
这篇文献的背景主要集中在以下几个方面：
# '''球面覆盖问题与凸体的X射线问题'''：
#* [[球面覆盖问题]]涉及将球面上的点集用最少数量的球冠覆盖，这种研究在[[编码理论]]、[[通信]]和[[计算机科学]]中有广泛应用。
#* X射线问题则关注于确定最少需要多少方向的射线能够穿过一个[[凸体]]，使其内部的每个点至少被一条射线穿过。
#* 这两个问题在[[凸体几何学]]中具有重要意义，并且与许多数学领域的问题相关，如凸体的[[照明问题]]。
# '''凸体的常宽性质'''：
#* 常宽凸体是一类特殊的凸体，其在任何方向上的投影长度都是常数。这类凸体在[[几何学]]、[[物理学]]和[[工程学]]中都有重要应用。
#* 常宽凸体的研究有助于理解更一般的凸体的性质，以及它们在不同领域中的应用。
# '''数学上的猜想与证明'''：
#* 文献中提到了X射线猜想和照明猜想，这些猜想是关于凸体的X射线数和照明数的上界估计。
#* 这些猜想的证明不仅对[[数学理论]]有重要意义，而且对实际应用，如[[计算机图形学]]和[[优化问题]]，也有潜在的影响。
# '''计算方法的应用'''：
#* 作者提到了使用计算方法来解决球面覆盖问题，这表明数学问题的解决越来越依赖于[[计算机辅助技术]]。
#* 计算方法的应用提高了解决复杂数学问题的效率，并允许研究者探索更高维度的问题。
综上所述，这篇文献的背景强调了球面覆盖问题和X射线问题在[[数学]]和[[应用科学]]中的重要性，以及常宽凸体在这些领域中的特殊角色。同时，它也展示了计算方法在现代数学研究中的关键作用。

== 章节摘要 ==
这篇论文是关于[[球面覆盖]]和[[X射线]]凸体的常宽问题的研究，论文的主要内容可以概括如下：
# '''引言'''：
#* 讨论了球面上的相同[[球冠]]的排列问题，这些球冠的中心形成了[[球面码]]，这些码在很多应用中都有用。
#* 提出了一个与[[凸几何]]中某些问题相关的覆盖问题，目标是构建具有特定覆盖半径和原点对称性的球面覆盖。
#* 引用了相关工作，包括[[Bezdek]]和[[Kiss]]的工作，他们展示了如何通过球面覆盖来证明X射线和[[照明猜想]]。

# '''球面覆盖的计算'''：
#* 定义了[[凸体]]的极体，并提供了计算给定点集的覆盖半径的高效方法。
#* 引入了[[凸多面体]]的极体的概念，并提供了计算极体顶点表示的方法。
#* 讨论了如果点集A具有某些对称性，如何通过限制计算到多面体的某个部分来简化计算。

# '''定理1的证明'''：
#* 构建了对于5到15维的球面覆盖，证明了对于这些维度，可以找到少于2n个球冠的覆盖。
#* 使用了[[E8格]]的最小范数向量来解决n=8的情况，并探索了坐标置换和原点对称的向量系统。
#* 提供了详细的构造方法和计算覆盖半径的结果，包括生成集的向量和覆盖半径的数值。

# '''参考文献'''：
#* 列出了与球面覆盖、凸体的常宽、X射线问题和[[照明问题]]相关的文献。
#* 引用了相关工作，包括[[Rogers]]、Bezdek和Kiss、[[Boroczky]]和[[Wintsche]]等人的研究。
#* 提供了对相关工作的简要概述，包括对猜想的证明和对猜想的进一步研究。

== 研究方法 ==
这篇论文通过构造[[球面覆盖]]和研究[[凸体]]的X射线性质，探讨了凸体的常宽类。以下是该研究方法论的主要组成部分：
# '''球面覆盖的构造'''：
#* 使用了最多2n个半径不超过arccos(n−1/2n)的全等[[球冠]]来覆盖单位[[球面]]。
#* 构造了5 ≤ n ≤ 15维的球面覆盖，且使用的球冠数量少于2n个。
#* 利用了[[E8格点]]的最小范数向量来解决n=8的情况，并探索了其他对称的向量系统。
# '''凸体的X射线和照明问题'''：
#* 研究了凸体在En中的X射线数X(K)和照明数I(K)，以及它们与球面覆盖半径的关系。
#* 证明了对于常宽凸体，X射线和照明猜想在7 ≤ n ≤ 15的维度中成立。
#* 使用了[[概率论]]方法来估计凸体的照明数，并得到了与X射线数相关的结果。
# '''计算方法'''：
#* 开发了一种基于[[凸多面体]]极体计算的球面覆盖半径的高效计算方法。
#* 使用了[[SageMath]]软件进行计算，并将代码提供在附录中。
#* 对于低维情况，使用精确的计算方法在有理数域或适当的二次域中计算覆盖半径。
# '''对称性和优化'''：
#* 利用了向量集合的对称性来简化计算，例如坐标置换和原点对称性。
#* 对于具有特定对称性的集合，通过限制计算到多面体的某一部分来优化计算过程。
#* 通过限制计算到多面体的某一部分，提高了计算效率。
这篇论文的方法论分析结果表明，对于常宽凸体，X射线和照明猜想在低维情况下得到了验证，并且开发了一种有效的球面覆盖半径计算方法。

== 研究结论 ==
根据提供的文献内容，这篇论文的主要结论可以概括如下：
# '''球面覆盖和X射线凸体的常宽类'''：作者证明了对于5到15维的[[凸体]]，存在一种[[球面覆盖]]方法，使得每个点最多被2n个球面覆盖，这支持了[[X射线]]猜想和[[照明猜想]]。
# '''球面覆盖的构造'''：对于5到15维，作者构造了具有更少于2n个球面的球面覆盖，具体结果如下：
  * 5维：30个球面，覆盖半径约为0.88608
  * 6维：44个球面，覆盖半径约为0.86912
  * 7维：112个球面，覆盖半径约为0.85707
  * 8维：240个球面，覆盖半径约为0.84806
  * 9维：470个球面，覆盖半径约为0.84107
  * 10维：692个球面，覆盖半径约为0.83548
  * 11维：2024个球面，覆盖半径约为0.83092
  * 12维：3832个球面，覆盖半径约为0.82711
  * 13维：7074个球面，覆盖半径约为0.82390
  * 14维：11132个球面，覆盖半径约为0.82114
  * 15维：16442个球面，覆盖半径约为0.81876
# '''计算覆盖半径的方法'''：论文还展示了如何高效地在[[计算机]]上计算给定离散点集在球面上的覆盖半径。
# '''凸体常宽类的X射线和照明猜想'''：作者的构造完全确认了对于常宽凸体类的[[X射线]]和[[照明猜想]]在任何维度下都成立。

== 术语表 ==
这篇文章的术语表如下：
* [[球形覆盖]]（Spherical coverings）：指用球冠覆盖单位球面的方法，其中球冠的中心形成球面码，这些球面码在许多应用中非常重要。
* [[X射线问题]]（X-ray problem）：与凸体的X射线数相关的问题，X射线数是最小的方向集的基数，使得凸体中的每个点至少被一个方向X射线穿过。
* [[照明问题]]（Illumination problem）：与凸体的照明数相关的问题，照明数是最小的方向集的基数，使得凸体的边界上的每个点至少被一个方向照亮。
* [[凸体]]（Convex body）：在n维欧几里得空间中，一个有非空内部的凸紧集。
* [[常宽凸体]]（Convex bodies of constant width）：指在任何方向上的投影长度都相同的凸体。
* [[球面码]]（Spherical codes）：球冠中心的集合，这些中心在球面上形成码，具有多种应用。
* [[高斯像]]（Gauss image）：一个凸体的面的高斯像是包含该面的所有支撑超平面的外单位法向量的集合。
* [[支撑超平面]]（Supporting hyperplane）：与凸体边界相交的超平面，使得凸体完全位于超平面的一侧。
* [[外单位法向量]]（Outer unit normal vector）：指向凸体外部的单位法向量。
* [[照明数]]（Illumination number）：定义为照亮凸体所需的最小方向集的基数。
* [[X射线数]]（X-ray number）：定义为X射线穿过凸体所需的最小方向集的基数。
* [[覆盖半径]]（Covering radius）：最小的半径r，使得以A中点为中心的半径为r的球的并集覆盖整个Sn−1。
* [[原点对称]]（Origin-symmetric）：如果-A=A，则集合A是原点对称的。
* [[凸包]]（Convex hull）：一组点的凸包是包含这些点的最小凸集。
* [[极点]]（Extreme points）：凸集的极点是凸集的边界上的点，且在凸集内部没有任何线段连接它们。
* [[极体]]（Polar）：包含原点的凸体K的极体定义为K◦ = {x ∈ En : ⟨x, y⟩ ≤ 1 ∀y ∈ K}。
* [[Krein-Milman 定理]]（Krein-Milman theorem）：在局部凸空间中，任何紧凸集都是其极点的闭包。
* [[坐标置换]]（Permutations of coordinates）：在多维空间中，坐标置换是将一个向量的坐标按照某种规则重新排列的过程。
* [[对称系统]]（Symmetric systems）：在数学中，对称系统指的是在某种变换下保持不变的系统。
* [[代数数]]（Algebraic numbers）：代数数是可以作为某个非零有理系数多项式的根的复数或实数。
* [[二次域]]（Quadratic fields）：二次域是形式为Q(√d)的数域，其中d是整数且d≠1。
* [[精确计算]]（Exact computations）：在数学中，精确计算指的是不依赖于近似或估算的计算方法。

== 参考文献 ==
这篇文章的主要参考文献如下：
* Bezdek, K., & Kiss, Gy. (2009). On the X-ray number of almost smooth convex bodies and of convex bodies of constant width, Canadian Mathematical Bulletin, 52(3), 342–348.
** 提供了关于凸体X射线数的初步研究，为本文提供了理论基础。
* Schramm, O. (1988). Illuminating sets of constant width, Mathematika, 35(2), 180–189.
** 通过概率论方法证明了凸体照明数的上界，对本文的研究有重要影响。
* Böröczky, K., & Wintsche, G. (2003). Covering the sphere by equal spherical balls, Discrete and Computational Geometry, Algorithms Combin., vol. 25, Springer, Berlin, 2003, pp. 235–251.
** 提供了球面覆盖问题的一般结果，对本文的球面覆盖研究有指导意义。
* Dumer, I. (2007). Covering spheres with spheres, Discrete Comput. Geom. 38 (4), 665–679.
** 针对球面覆盖问题提供了进一步的改进结果，对本文的研究有直接影响。
* Conway, J. H., & Sloane, N. J. A. (1999). Sphere packings, lattices and groups, 3rd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York.
** 讨论了球体的排列、晶格和群组，为本文提供了数学工具和理论支持。