[論文レビュー] Simple Permutations Mix Even Better

Shlomo Hoory, Alex Brodsky|ArXiv.org|Nov 4, 2004

Quantum Computing Algorithms and Architecture参考文献 15被引用数 6

ひとこと要約

この論文は、n次元二進立方体上の幅2の単純置換によって生成されるカイリー群におけるランダムウォークの混合時間に関する境界を改善し、k ≤ 2^{n/50} のとき、ε-近似k-wise独立な置換を得るのに O(n²k² log(1/ε)) 回の合成で十分であることを示している。また、2^n 個の要素を持つ交代群のスペクトルギャップが Ω(2^{-n}/n²) であることを確立し、従来の構成を著しく改善し、次数 O(n³) の明示的な拡張的カイリー群を提供している。

ABSTRACT

We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We improve on the results of Gowers 1996 and Hoory, Magen, Myers and Rackoff 2004, and show that up to a polylogarithmic factor, n^2*k^2 compositions of random permutations from this family suffice. In addition, our results give an explicit construction of a degree O(n^3) Cayley graph of the alternating group of 2^n objects with a spectral gap Omega(2^{-n}/n^2), which is a substantial improvement over previous constructions.

研究の動機と目的

• 幅2の単純置換によって生成される {0,1}^n 上のランダムウォークの混合時間およびスペクトルギャップ境界を改善すること。
• 2^n 個の要素を持つ交代群の明示的な次数 O(n³) のカイリー群を構築し、大きなスペクトルギャップを有すること。
• k-wise 独立性に関するより緊密な境界を提供することで、拡張的グラフ構築および暗号的擬似乱数生成における未解決問題を解決すること。
• 可逆計算から得られるマルチコンmodityフロー技術を用いて、適応的攻撃者に対しても結果を拡張すること。
• k が 2^n - 2 まで増加してもスペクトルギャップが劣化しないことを確立し、交代群における小さな拡張的集合の存在を支持すること。

提案手法

• マコフ連鎖の比較技法を用い、ランダムウォーク P を交代群上のグレーバー動的または3サイクルウォークと比較することで、混合時間およびスペクトルギャップを境界づける。
• 可逆計算の原理から導かれるマルチコンmodityフロー構成を応用し、比較定数を確立する。
• 短いプレアンブルの後、k個の異なる要素の組におけるウォークを「一般状態」の枠組みで分析し、典型的な構成に制限して解析する。
• 幅2の置換が、2つの他のビットのブール関数に基づいて1つのビットを XOR することにより、O(n³) 個の置換からなる族を形成することを活用する。
• コインコレクターおよびカップリングの議論を用い、u 成分（差分ベクトル）上のウォークが O(n log n) 時間で混合することを示し、これにより連合混合境界を得る。
• 条件付き確率および全 Variation 距離を用い、条件付き混合が全体の混合にどのように関係するかを関係づけ、高確率事象が一様性を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 幅2の単純置換のランダム合成の最小数はどれほどで、ε-近似k-wise独立な置換を得られるか？
• RQ2 2^n 個の要素を持つ交代群のカイリー群上のランダムウォークのスペクトルギャップが Ω(2^{-n}/n²) で下から抑えられるか？
• RQ3 k が 2^{n/50} までおよびすべての k ≤ 2^n - 2 に対して、混合時間は有界のまま保たれるか？ これは従来の技法が適用できない領域に対しても成り立つか？
• RQ4 可逆計算から得られるマルチコンmodityフローによる比較技法が、この設定において、標準パスよりもタイトな境界をもたらすか？
• RQ5 幅2の置換を用いて、交代群の定数次数の拡張的カイリー群を構築することは可能か？ それとも、それらは本質的に拡張性を制限するのか？

主な発見

• k ≤ 2^{n/50} のとき、混合時間 τ(ε) は Õ(n²k² log(1/ε)) で抑えられ、従来の Õ(n³k³) の境界を改善している。
• すべての k ≤ 2^n - 2 に対して、スペクトルギャップが gap(P) = Ω(1/(n²k)) を満たし、これはすべての k ≤ 2^n - 2 に対して混合時間が O(n²k(nk + log(1/ε))) で抑えられることを示唆している。
• 2^n 個の要素を持つ交代群の明示的なカイリー群を、次数 O(n³) およびスペクトルギャップ Ω(2^{-n}/n²) で構築した。
• 結果は適応的攻撃者に対しても拡張され、T = Õ(n²k² log(1/ε)) 回の合成で、適応的クエリにおいても ε-近似k-wise 独立性が達成可能であることを示している。
• スペクトルギャップは k の増加に伴い劣化しないことが示され、幅2の置換が A_{2^n} に対して小さな拡張的集合を構築するのに使用可能である可能性を示唆しているが、定数スペクトルギャップの保証は未解決のままである。
• 解析により、短いプレアンブルの後、ウォークは一般状態に入り、比較技法によりよりタイトな境界が得られ、定量的制御が向上することが示された。