[论文解读] Constructing high order spherical designs as a union of two of lower order

Mozhgan Mohammadpour, Shayne Waldron|arXiv (Cornell University)|Dec 16, 2019

Mathematical Approximation and Integration参考文献 26被引用 5

一句话总结

本文提出一种新方法，通过取两个低阶球面设计的加权并集，结合变分表征和复数与实数反射群的群轨道，构建高阶球面设计。关键贡献在于构造出此前未知或更高效的球面设计，例如在 ℂ² 中的 32 点 (9,9)-设计，以及在 ℂ⁴ 中的 400 点 (5,5)-设计，其点数最少且对称性极高。

ABSTRACT

We show how the variational characterisation of spherical designs can be used to take a union of spherical designs to obtain a spherical design of higher order (degree, precision, exactness) with a small number of points. The examples that we consider involve taking the orbits of two vectors under the action of a complex reflection group to obtain a weighted spherical $(t,t)$-design. These designs have a high degree of symmetry (compared to the number of points), and many are the first known construction of such a design, e.g., a $32$ point $(9,9)$-design for $\mathbb{C}^2$, a $48$ point $(4,4)$-design for $\mathbb{C}^3$, and a $400$ point $(5,5)$-design for $\mathbb{C}^4$.From a real reflection group, we construct a $360$ point $(9,9)$-design for $\mathbb{R}^4$ (spherical half-design of order $18$), i.e., a $720$ point spherical $19$-design for $\mathbb{R}^4$.

研究动机与目标

• 开发一种系统化方法，以比以往已知更少的点数构造高阶球面设计。
• 利用球面设计的变分表征，使两个低阶设计的并集能形成更高阶的设计。
• 通过群论构造方法，在复数与实数球面空间中识别最小且高度对称的 (t,t)-设计。
• 通过构造显式且对称的配置，改进先前文献中报告的拟最优设计，点数更少。
• 探索基于轨道的构造方法在实现强度 t > t_max(d) 的球面设计方面的极限，其中 t_max 为单个轨道可达到的最大强度。

提出的方法

• 利用球面设计的变分表征，将精确积分条件简化为关于权重参数 α 的二次方程。
• 通过仿射组合方式构造两个球面设计 X 和 Y 的加权并集：w_a^{X∪Y,α} = αw_x^X（对 x ∈ X）和 (1−α)w_y^Y（对 y ∈ Y）。
• 将该方法应用于有限复数与实数反射群的轨道，确保高度对称性与最小点数。
• 利用调和 Molien-Poincaré 系列与酉不变多项式空间，确定所构造设计的精确度阶数。
• 求解所得关于 α 的二次方程，找到一种权重配置，使求积公式的精度扩展至更高次多项式空间。
• 通过与数值优化及先前文献中的拟最优设计比较，验证构造结果的有效性。

实验结果

研究问题

• RQ1 两个低阶球面设计的并集能否产生点数更少的更高阶球面设计？
• RQ2 何种群作用与轨道结构条件可使两个轨道的并集形成更高强度的 (t,t)-设计？
• RQ3 该方法能否在复数与实数空间中构造出点数少于目前已知最小配置的 (t,t)-设计？
• RQ4 是否可能通过此并集方法构造出 t > t_max(d) 的 (t,t)-设计，其中 t_max(d) 为单个轨道可达到的最大强度？
• RQ5 并集的权重与对称性如何影响所构造求积公式的精度与效率？

主要发现

• 成功构造出一个 32 点的 ℂ² (9,9)-设计，作为两个轨道的并集，优于此前估计的 37 个向量的拟最优解。
• 构造出一个 48 点的 ℂ³ (4,4)-设计，优于此前估计的 47 个向量的拟最优解。
• 构造出一个 400 点的 ℂ⁴ (5,5)-设计，这是该设计类型首次已知的显式构造。
• 通过轨道并集构造出一个 360 点的 ℝ⁴ (9,9)-设计，其双重（720 点）构成一个球面 19-设计，与已知的单轨道构造结果一致。
• 在 ℝ⁴ 中，基于 Shephard-Todd 群 G₃₀ 构造出一个 360 点的 (9,9)-设计，归一化权重为 10/7 和 32/35，其双重构成一个 720 点的球面 19-设计。
• 该方法成功在多个维度中构造出最小且高度对称的 (t,t)-设计，其中许多设计优于或匹配通过数值优化得到的最优估计值。