[論文レビュー] Upper bounds for partial spreads

Sascha Kurz|arXiv (Cornell University)|Jun 28, 2016

Cooperative Communication and Network Coding参考文献 9被引用数 3

ひとこと要約

本稿では、部分 $t$-スプレッドの最大サイズに対する改善された上界を、被覆されていない1次元部分空間（穴）の数に一般化された平均化技術を用いて提示する。低次元部分空間における穴の分布を分析し、整数論的制約を適用することで、$A_q(n,2t;t)$ に対するより緊密な上界が得られ、特に $A_2(15,12;6) \leq 515$ および $A_3(17,12;6) \leq 177280$ の場合に、従来の結果を顕著に改善している。

ABSTRACT

A partial $t$-spread in $\mathbb{F}_q^n$ is a collection of $t$-dimensional subspaces with trivial intersection such that each non-zero vector is covered at most once. We present some improved upper bounds on the maximum sizes.

研究の動機と目的

• 未知の正確な値が存在する場合を除き、$\mathbb{F}_q^n$ における部分 $t$-スプレッドの最大サイズを表す $A_q(n,2t;t)$ の既知の上界を改善すること。
• N"astase と Sissokho が導入した穴の平均化法を一般化・簡略化し、低次元部分空間における未被覆1次元部分空間（穴）の数に対するより緊密な制約を導出すること。
• ネストされた部分空間における穴の数の再帰的モジュラー制約を用いて、特に $n = kt + r$ かつ $r < t$ の場合に $A_q(n,2t;t)$ の新しい理論的上界を確立すること。
• $q=2,3,4,5,7,8,9$ および次元 $n \leq 18$ のさまざまな $q$, $n$, $t$ に対して、明示的かつ数値的に緊密な上界を提供し、既存の結果を上回ること。
• ベクトル空間分割理論と組合せ的平均化の議論を活用することで、有限幾何学および定次元符号の既存の手法を統合・拡張すること。

提案手法

• 部分 $t$-スプレッドをモデル化するため、$t^{m_t}1^{m_1}$ 型のベクトル空間分割を用い、$m_t$ を $t$ 次元部分空間の数、$m_1$ を未被覆の1次元部分空間（穴）の数とする。
• 補題 2.2 を適用し、超平面 $H$ における穴の数を分析し、$H \cap \mathcal{P}$ における穴の数が $\widehat{m}_1 \equiv \frac{m_1 + x - 1}{q} \pmod{q^{s-1}}$ を満たすことを示す。ここで $x$ は、$s$ 次元部分空間総数の分解における剰余である。
• 補題 2.3 を用いて、平均より少ない穴を含む超平面が存在することを示し、低次元部分空間における穴の数の降下法的議論を可能にする。
• 補題 2.4 を用いて、穴の数え上げの降下法を $(n-j)$ 次元部分空間へ一般化し、$q^{s-j}$ を法とする穴の数の上界を導出。$c = m_1 \mod q^s$ および $x$ を含む明示的表現を用いる。
• 定理 2.10 を用いて、ある部分空間に多すぎると仮定した場合に、二次ディオファントス的制約と $\theta(i)$ および $\lambda$ を含むある式の非負性に基づいて矛盾を導く。
• これらのモジュラー制約を、既存の研究（例：[3], [4]）からの既知の上界と組み合わせ、特に $q=2,3,4,5,7,8,9$ およびさまざまな $n,t$ に対して $A_q(n,2t;t)$ の上界を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 $n > 2t$ かつ $n \not\equiv 0 \pmod{t}$ の場合に、$\mathbb{F}_q^n$ における部分 $t$-スプレッドの最大サイズ $A_q(n,2t;t)$ の最も緊密な上界は何か？
• RQ2 低次元部分空間における穴（未被覆の1次元部分空間）の分布をどのように活用することで、部分スプレッドのサイズに対するより強い理論的制約を得られるか？
• RQ3 N"astase と Sissokho が提唱した穴の平均化法を一般化・強化することで、$q$, $n$, $t$ の広範な範囲にわたって $A_q(n,2t;t)$ の改善された上界を得られるか？
• RQ4 特に $t > \genfrac{[}{]}{0.0pt}{}{r}{1}_q$ の場合に、$n = kt + r$ かつ $r < t$ の場合の $A_q(n,2t;t)$ の正確または緊密な上界は何か？
• RQ5 $q=2$, $q=3$, およびより高い $q$ の場合に、次元 $n \leq 18$ において、新しい上界は既存のものと比べてどの程度優れているか？

主な発見

• 本稿では、$A_2(15,12;6)$ の上界を従来の 516 から 515 に改善し、以前に知られていた結果を精緻化している。
• $A_2(17,14;7)$ については、上界を 1028 から 1026 に厳しく絞り込み、二進の場合に顕著な改善を示している。
• $A_9(18,16;8)$ については、上界を 3,486,784,442 から 3,486,784,420 に低下させ、$q$ が大きい場合にも本手法の有効性が示された。
• さまざまな $q$, $d$, $n = dk + r$ に対して、$q^d l + 1 \leq A_q(n,2t;t) \leq q^d l + c$ の形の緊密な上界を確立している。$l$ と $c$ の明示的値を伴う。
• $A_3(17,12;6)$ については、上界が $177,280$ に達し、一般形 $3^6 l + 133$ に基づく。ここで $l = \frac{3^{6k-1} - 3^5}{3^6 - 1}$ かつ $k=3$ である。
• 本手法により、$A_8(14,12;6) \leq 16,777,237$ および $A_9(13,10;5) \leq 43,047,086$ の改善された上界が得られ、異なるパrameterに対して広範な適用性を示している。