[論文レビュー] On Pivot Orbits of Boolean Functions

Constanza Riera, Lars Eirik Danielsen+1 more|ArXiv.org|Apr 18, 2006

Coding theory and cryptography参考文献 18被引用数 10

ひとこと要約

本稿では、グラフ上のピボット操作のスペクトル的解釈を導入し、それをハイパーグラフへ一般化することで、{I,H}ⁿおよび{I,H,N}ⁿ変換下でのブール関数の平坦スペクトルの数に対する下界を確立する。また、2部グラフのピボット軌道が二進線形符号の同値類に対応することを示し、グラフのピボッティングを用いた符号の新たな分類法を可能にし、13頂点までにわたる軌道の明示的列挙を実施する。

ABSTRACT

We derive a spectral interpretation of the pivot operation on a graph and generalise this operation to hypergraphs. We establish lower bounds on the number of flat spectra of a Boolean function, depending on internal structures, with respect to the {I,H}^n and {I,H,N}^n sets of transforms. We also construct a family of Boolean functions of degree higher than two with a large number of flat spectra with respect to {I,H}^n, and compute a lower bound on this number. The relationship between pivot orbits and equivalence classes of error-correcting codes is then highlighted. Finally, an enumeration of pivot orbits of various types of graphs is given, and it is shown that the same technique can be used to classify codes.

研究の動機と目的

• グラフからのピボット操作をハイパーグラフへ一般化し、次数>2のブール関数に対してその代数的条件を定義すること。
• {I,H}ⁿおよび{I,H,N}ⁿ変換下でのブール関数の平坦スペクトルの数に対する下界を、内部構造的性質に基づいて確立すること。
• 2部グラフのピボット軌道が二進線形符号の同値類に対応することを示し、グラフ操作を用いた符号分類を可能にすること。
• 13頂点までにわたるグラフおよび2部グラフのピボット軌道を列挙し、効率的な符号分類の基盤を提供すること。

提案手法

• ピボット操作をブール関数の代数的正規形（ANF）を用いて再解釈し、{I,H,N}ⁿからのユニタリ変換と関連付ける。
• 著者らは、ブール関数の双極的ベクトルに対する{I,H}ⁿからのピボット操作を変換として表現し、スペクトル解析を可能にする。
• すべての2次ブール関数の{I,H}ⁿに関する平坦スペクトルが、関連するグラフ上のピボット操作の系列によって生成可能であることを証明する。
• 次数3のブール関数の構成的族を導入し、{I,H}ⁿ下での平坦スペクトル数に対する計算可能な下界を確立する。
• 特に2部グラフに対して、ピボット軌道代表元の効率的生成を目的として、グラフ拡張を用いる。
• 同型不変性および軌道包含を用いた検証により、再帰的拡張を用いて列挙を実施する。

実験結果

リサーチクエスチョン

• RQ1 次数>2のブール関数がハイパーグラフへのピボット操作の一般化を可能にするために満たすべき条件は何か？
• RQ2 {I,H}ⁿおよび{I,H,N}ⁿ変換下でのブール関数の平坦スペクトル数を、構造的特徴に基づいて下界で評価する方法は何か？
• RQ3 2部グラフのピボット軌道が二進線形符号の同値類に対応する範囲はどの程度か？
• RQ4 ピボット操作を用いて、グラフ論的手段により二進線形符号を体系的に列挙または分類できるか？
• RQ5 13頂点までのグラフおよび2部グラフのピボット軌道空間のサイズは何か？また、符号分類とどのように関係するか？

主な発見

• n頂点の連結2部グラフのピボット軌道数を iₙ^{P,B} と表記すると、これは長さnの分解不能な二進線形符号の数に等しい。
• n=12の場合、連結2部グラフのピボット軌道数は5,366であり、長さ12の分解不能な二進線形符号の数と一致する。
• 長さn、次元kの同値な[n,k]二進線形符号の数は、k ≠ n/2のとき、(n-k,k)-2部グラフのピボット軌道数の2倍に等しい。
• k = n/2のとき、同値な[n,k]符号の数は、(k,k)-2部グラフのピボット軌道数の2倍から長さnの同型双対符号の数を引いたものに等しい。
• 本手法により、12頂点のラベル付きグラフのピボット軌道を231,557,290個、13頂点の連結2部グラフのピボット軌道を25,684個列挙できた。
• 次数3のブール関数の族を構成し、{I,H}ⁿ下での平坦スペクトル数に1,260という下界を与えた。これは2次関数を越える高いスペクトル平坦性を示している。