[論文レビュー] Explicit combinatorial design

Xiongfeng Ma, Zhen Zhang+1 more|arXiv (Cornell University)|Sep 28, 2011

Algorithms and Data Compression被引用数 6

ひとこと要約

この論文は、Nisan-Wigdersonの組合せ的設計構成を精緻化し、重複パラメータρの tighter な上限を達成した。n ≤ q^q の全パラメータ範囲でρ < eを証明し、さらにブロックベースの方法によりρ = 1である明示的な弱設計を構築した。改善された上限は、ランダムネス抽出器におけるシード効率を向上させ、O(log³n)のシード長で近似的に最適な抽出器性能を実現する。

ABSTRACT

A combinatorial design is a family of sets that are almost disjoint, which is applied in pseudo random number generations and randomness extractions. The parameter, $ρ$, quantifying the overlap between the sets within the family, is directly related to the length of a random seed needed and the efficiency of an extractor. Nisan and Wigderson proposed an explicit construction of designs in 1994. Later in 2003, Hartman and Raz proved a bound of $ρ\le e^2$ for the Nisan-Wigderson construction in a limited parameter regime. In this work, we prove a tighter bound of $ρ

研究の動機と目的

• HartmanとRazによる従来のρ ≤ e²の結果を超えて、Nisan-Wigdersonの組合せ的設計における重複パラメータρの境界を改善すること。
• 改善されたρ < eの境界を、素数べきの部分集合に限定されない、全パラメータ範囲n ≤ q^qに拡張すること。
• Raz, Reingold, Vadhanにインspiredされたブロックベースの構成法を用いて、明示的かつρ = 1の弱設計を構築すること。
• よりタイトなρの境界とブロック分解を用いて、シード長を短縮することで、より効率的なランダムネス抽出器を可能にすること。

提案手法

• 有限体GF(q)における多項式選択の調整により、Nisan-Wigderson構成を精緻化し、対照的交差を低減する。
• M_q^{d+1}に属する多項式の集合Mに対して、関数Λ(M) = ∑_{φ∈M} 2^{λ(φ)} を用いて、根の重複度を分析する。
• ブロック分解の適用：設計集合をb個のブロックに分割し、各ブロックサイズをlとして、ブロック数に応じてρを指数関数的に低減する。
• 新しい設計行列をブロック対角行列として構築し、非対角ブロックを0とする。各ブロックは前回の設計から行を引き継ぐ。
• 再帰式n_i = (1 - ρ^{-1})^i nを用いて、各ブロックのサブセット数を制御し、最終設計でρ = 1を達成する。
• ブロックサイズb = ⌊(log n + log ρ - log q)/(log ρ - log(ρ - 1))⌋を用いることで、O(log n)個のブロックでρ = 1を達成する。

実験結果

リサーチクエスチョン

• RQ1 Nisan-Wigderson構成におけるρの境界は、n ≤ q^qの全範囲でρ ≤ e²を超えて改善可能か？
• RQ2 Nisan-Wigderson設計の全パラメータ範囲でρ < eを達成することは可能か？（制限付き領域に限定されないか？）
• RQ3 ブロックベースの構成法により、明示的かつ多項式的シード長を維持したままρを1に低下させることは可能か？
• RQ4 弱設計において、ρを(1, e)の値から1に低下させるために必要な最小ブロック数は何か？
• RQ5 精緻化された構成法は、Trevisanスタイルのランダムネス抽出器のシード長にどのように影響を与えるか？

主な発見

• 精緻化されたNisan-Wigderson構成により、n ≤ q^qの全範囲でρ < eを達成し、HartmanとRazの従来のρ ≤ e²の境界を改善した。
• ρ < eの境界は、理論的限界eに近づくため、同構成法のもとで著しく改善可能とは見なせない。
• l' = q²b かつ b = O(log n) である明示的弱(n', q, l', 1)-設計が構築され、ρ = 1を達成した。
• ρを1に低下させるために必要なブロック数はb = ⌊(log n + log ρ - log q)/(log ρ - log(ρ - 1))⌋であり、定数ρに対してO(log n)である。
• 最終的な設計は、シード長O(log³n)のTrevisanスタイル抽出器をサポートし、大幅に効率が向上した。
• 一般の素数pに対しても、わずかな修正で有効であり、n=6 > q^q=4の例は、境界が元のn ≤ q^q制限を越えて有効であることを示している。