[論文レビュー] New upper bound for the cardinalities of $s$-distance sets on the unit sphere

Hiroshi Nozaki|arXiv (Cornell University)|Jun 1, 2009

Mathematical Approximation and Integration被引用数 4

ひとこと要約

本稿では、距離集合の特性多項式の展開におけるゲンゲナウアー多項式係数の符号に基づき、単位球面 $S^{d-1}$ 上の $s$-距離集合のサイズに対する新しい上界を導出する。この手法は、線形計画法の境界が失敗する場合、特に一部の係数が負である場合でも有効であり、正の係数に対応する調和空間の次元の和を用いて、より緊密な上界を提供する。

ABSTRACT

We have the Fisher type inequality and the linear programming bound as upper bounds for the cardinalities of $s$-distance sets on $S^{d-1}$. In this paper, we give a new upper bound for the cardinalities of $s$-distance sets on $S^{d-1}$ for any $s$. This upper bound improves the Fisher typer inequality and is useful for $s$-distance sets which are not applicable to the linear programming bound.

研究の動機と目的

• 線形計画法の境界が、負の係数のため適用不能となる場合に、既存の $s$-距離集合の上界の限界を解消すること。
• 線形計画法の条件が満たされない場合、特にゲンゲナウアー係数が負である集合に対しても有効な新しい上界を構築すること。
• ゲンゲナウチャー展開係数の符号に重みを付けた調和多項式空間の次元を組み込むことで、フィッシャー型不等式を一般化すること。
• 一般および反対称 $s$-距離集合に共通して適用可能な統一的な枠組みを提供し、調和空間の次元 $h_i$ を用いて明示的な上界を提示すること。

提案手法

• 特性多項式 $F_X(t) = \prod_{\alpha \in A(X)}(t - \alpha)$ のゲンゲナウチャー多項式展開 $F_X(t) = \sum_{i=0}^s f_i G_i^{(d)}(t)$ を用いる。
• ゲンゲナウチャー多項式の加法公式を適用し、球面上のベクトルの内積と調和多項式の評価値を関連付ける。
• 対称行列の構成を用い、集合 $X$ のグラム行列をゲンゲナウチャー係数 $f_i$ と結びつけ、行列固有値の補題を適用して $X$ のサイズの上界を導出する。
• 鍵となる洞察は、正の係数 $f_i$ の個数が、調和空間 $\mathrm{Harm}_l(\mathbb{R}^d)$ の次元 $h_i$ の和を介して上界を決定することにある。
• 反対称集合の場合は、$X = Y \cup (-Y)$ を満たす $Y$ を考える。これにより、$2\sum_{f_i > 0} h_i$ の上界が得られ、すべての関連する $f_i > 0$ の場合にフィッシャーの境界を回復する。
• すべての $f_i$ が正である必要がないため、線形計画法に依存しない。

実験結果

リサーチクエスチョン

• RQ1 線形計画法の境界が、ゲンゲナウチャー係数が負であるために適用不能となる場合に、$S^{d-1}$ 上の $s$-距離集合に対して新しい上界を導出できるか。
• RQ2 ゲンゲナウチャー展開係数の符号がすべて非負でない場合、フィッシャー型不等式をどのように改善または一般化できるか。
• RQ3 調和多項式空間の次元 $h_i$ が $s$-距離集合のサイズの上界に果たす役割は何か。
• RQ4 対称的構造と係数の符号解析を用いて、反対称 $s$-距離集合への上界の拡張は可能か。
• RQ5 新しい上界が、フィッシャー型の境界と一致するか、それを上回る条件は何か。

主な発見

• 本稿では、$|X| \leq \sum_{i \text{ に対して } f_i > 0} h_i$ という新しい上界を確立した。ここで $h_i$ は $d$ 変数における調和同次多項式空間の次元である。
• 反対称 $s$-距離集合に対しては、上界が $|X| \leq 2\sum_{i \text{ に対して } f_i > 0} h_i$ に改善され、すべての関連する $f_i > 0$ の場合にフィッシャー型不等式と一致する。
• 線形計画法の境界が失敗する場合でも、一部の $f_i < 0$ であっても、本上界は有効である。
• 特定の構成では上界が達成される：$s=1$ の場合、非負の内積を持つ正単体により $|X| \leq d$ が達成される。
• $s=2$ の場合、$d \geq 7$ で $f_0 > 0$、$f_1 \leq 0$、$f_2 > 0$ のとき、$d$ 次元正単体の辺の中点の集合により $|X| \leq \binom{d+1}{2}$ が達成される。
• タイトな球面 $(2s-1)$-デザインは、$|X| \leq \sum_{i=0}^{\lfloor s/2 \rfloor} h_{s-2i} = \binom{d+s-2}{s-1}$ の上界を達成し、対称的な場合に上界の鋭さを確認する。