[論文レビュー] On the Bias of Reed-Muller Codes over Odd Prime Fields

Paul Beame, Shayan Oveis Gharan+1 more|arXiv (Cornell University)|Jun 18, 2018

Coding theory and cryptography参考文献 11被引用数 3

ひとこと要約

この論文は、奇素数体上のランダムな有界次数多項式が、高確率で指数的に小さいバイアスを示すことを確立している。これは、従来の𝔽₂上での結果を一般化したものである。主な貢献は、リード＝マラー生成行列の部分行列に関する新しい極値ランク性質であり、これにより、奇素数体上のリード＝マラー符号のバイアスおよび重み分布に対する指数的尾部バウンドを導出できる。

ABSTRACT

We study the bias of random bounded-degree polynomials over odd prime fields and show that, with probability exponentially close to 1, such polynomials have exponentially small bias. This also yields an exponential tail bound on the weight distribution of Reed-Muller codes over odd prime fields. These results generalize bounds of Ben-Eliezer, Hod, and Lovett who proved similar results over $\mathbb{F}_2$. A key to our bounds is the proof of a new precise extremal property for the rank of sub-matrices of the generator matrices of Reed-Muller codes over odd prime fields. This extremal property is a substantial extension of an extremal property shown by Keevash and Sudakov for the case of $\mathbb{F}_2$. Our exponential tail bounds on the bias can be used to derive exponential lower bounds on the time for space-bounded learning of bounded-degree polynomials from their evaluations over odd prime fields.

研究の動機と目的

• リード＝マラー符号のバイアスバウンドを、𝔽₂から奇素数体へ拡張すること。
• 奇素数体上のランダムな有界次数多項式が、高確率で指数的に小さいバイアスを持つことを確立すること。
• 奇素数体上のリード＝マラー符号の重み分布に対する指数的尾部バウンドを導出すること。
• 奇素数体上のリード＝マラー生成行列の部分行列に関する新しい極値ランク性質を証明し、𝔽₂上での先行結果を一般化すること。
• バイアスバウンドを応用して、奇素数体上での有界次数多項式の学習における時間または空間計算量に対する指数的下界を導出すること。

提案手法

• 有限体上の加法定理と指数和を用いて、奇素数体上の多変数多項式のバイアスを分析する。
• キーヴァシュとスダコフが𝔽₂上で示した結果を奇素数体へ拡張する、リード＝マラー生成行列の部分行列に関する新規な極値ランク性質を導入する。
• 多項式係数および生成行列の部分行列の再帰的分解を用い、ランクに基づく議論によりバイアスをバウンドする。
• 補題4.4と補題5.8を適用して、異なる係数設定間でのバイアス値の差を比較・バウンドする。
• 係数ベクトルの構造に関するケース解析を用い、特定の変換においてバイアスが増加しないことを示し、極値ランク性質に至る。
• 極値ランク結果と加法定理の集中性を組み合わせ、ランダム多項式のバイアスに対する指数的尾部バウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 奇素数体𝔽_p上でのランダムな有界次数多項式の典型的なバイアスは何か？
• RQ2 𝔽₂上でのリード＝マラー符号に観察されたバイアスの指数的尾部バウンドは、奇素数体へ拡張可能か？
• RQ3 奇素数体上でのリード＝マラー生成行列の部分行列のランクを支配する極値的性質は何か？
• RQ4 奇素数体上でのリード＝マラー符号語のバイアスは、その重み分布とどのように関係するか？
• RQ5 バイアスの集中性は、奇素数体上での有界次数多項式の空間制限付き学習にどのような意味を持つか？

主な発見

• 有界次数多項式が奇素数体𝔽_p上でランダムに選ばれるとき、そのバイアスが定数（次数および体のサイズに依存）に依存する2^{-Ω(n)}以下である確率は、指数的に1に近い。
• バイアスが2^{-c n}を超えるリード＝マラー符号語の割合は、m = log |RM(d,n)| とすると、2^{-Ω(m)}以下である。これは、ベン＝エリエザー他による𝔽₂上での結果を一般化する。
• 奇素数体上で、リード＝マラー生成行列の部分行列に関する新しい極値ランク性質が証明された。これは、キーヴァシュとスダコフによる𝔽₂上での結果を拡張する。
• 奇素数体上でのリード＝マラー符号の重み分布は、指数的尾部バウンドを満たしており、多数の符号語がバランスの取れた状態に近いことを示唆する。
• バイアスの集中性結果から、奇素数体上での有界次数多項式の評価から学習する際の時間または空間計算量に対して指数的下界が導かれる。
• p > 2の場合、関数f: 𝔽_p^n → 𝔽_pの不均衡を制御するには、すべてのj ∈ 𝔽_p^*に対して|bias_j(f)|をバウンドすることが必要かつ十分であることが示された。