查看“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]]等人的研究。
#* 提供了对相关工作的简要概述，包括对猜想的证明和对猜想的进一步研究。