[論文レビュー] Generalised Bent Criteria for Boolean Functions (II)

Constanza Riera, George Petrides+1 more|ArXiv.org|Feb 9, 2005

Polynomial and algebraic computation参考文献 10被引用数 9

ひとこと要約

本稿では、一般化されたハダマール型変換 ${ I,H,N}^n$ の下で、二次ブール関数の平坦スペクトルの数を数える再帰的公式を導出しており、スペクトルの平坦性と量子誤り訂正符号（QECC）を結びつける。最適なQECC、特に距離が大きなものでは平坦スペクトルが最大化されることを示しており、3次以上の次数を持つブール関数において、暗号的強度、もつれ状態、およびスペクトル特性との強い関係が示唆される。

ABSTRACT

In the first part of this paper [16], some results on how to compute the flat spectra of Boolean constructions w.r.t. the transforms {I,H}^n, {H,N}^n and {I,H,N}^n were presented, and the relevance of Local Complementation to the quadratic case was indicated. In this second part, the results are applied to develop recursive formulae for the numbers of flat spectra of some structural quadratics. Observations are made as to the generalised Bent properties of boolean functions of algebraic degree greater than two, and the number of flat spectra w.r.t. {I,H,N}^n are computed for some of them.

研究の動機と目的

• ${ I,H,N}^n$ 変換集合の下で、再帰的二次ブール関数の平坦スペクトルの数に対する再帰的公式を導出すること。
• ${ I,H,N}^n$ の下で、平坦スペクトルの数とブール関数の暗号的強度またはもつれ状態との関係を調査すること。
• 最適な量子誤り訂正符号（QECC）が、${ I,H,N}^n$ の下で平坦スペクトル数が最大となるブール関数に対応するかどうかを検討すること。
• 二次以上の次数を持つブール関数が、一般化された平坦スペクトル基準の下でどのように振る舞うかを調べること。
• ${ I,H,N}^n$ 変換の下で、インタースェース多項式とグラフのスペクトル特性との関係を確立すること。

提案手法

• ${ I,H,N}$ のユニタリ行列に基づく一般化された変換フレームワークを用い、ブール関数の各変数に適用する。
• 行列の変更ルールを適用：$I$ に対しては行・列を削除、$N$ に対しては対角成分を1から0に反転、$H$ に対してはそのままである。
• 変更された隣接行列が2を法として最大ランクを持つかどうかをチェックすることで、平坦スペクトルの存在を判定する。
• ライン、クリーク、クリーク・ライン・クリーク構造などの再帰的二次構成にこの手法を適用する。
• $n \leq 9$ に対して、${ I,H,N}^n$ の下で平坦スペクトル数が最大となるブール関数を特定するために、体系的なコンピュータ探索を実施する。
• 二次ブール関数から $\mathrm{GF}(4)$-加法的符号への写像を通じて、平坦スペクトル数とQECCの距離を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ${ I,H,N}^n$ 変換集合の下で、二次ブール関数の平坦スペクトルの数に対する再帰的公式を導出できるか。
• RQ2 最適なQECCに対応するブール関数が、${ I,H,N}^n$ の下で最大の平坦スペクトル数を示すか。
• RQ3 ブール関数の代数的次数が2を越えて増加するにつれて、平坦スペクトルの数はどのように変化するか。
• RQ4 インタースェース多項式 $q(x)$ と $Q(x)$ が、${ I,H,N}^n$ の下でグラフのスペクトル平坦性とどのように関連するかの組合せ的または代数的説明はあるか。
• RQ5 ネストド・クリークまたはハイパーグラフに基づく構造を構築することで、高次ブール関数の平坦スペクトル数を最大化できるか。

主な発見

• ${ I,H,N}^n$ の下で、クリーク・ライン・クリーク構造の平坦スペクトルの数に対する再帰的公式が導出され、$K_{n,m}^{HN} = 2^{n+m-4}(3nm + 2n + 2m + 4)$ が得られた。
• $n \leq 9$ の範囲で、${ I,H,N}^n$ の下で平坦スペクトル数が最大となる二次ブール関数の唯一のローカル補完（LC）軌道は、最大距離を持つ最適なQECCに対応する。
• 立方、四次、五次関数についての体系的探索により、代数的次数が増加するにつれて平坦スペクトル数が減少することが示された。
• 最大距離を持つ最適なQECCは、${ I,H,N}^n$ の下で平坦スペクトル数を最大化することが判明し、QECCの距離とスペクトル平坦性との強い関連性が示唆された。
• インタースェース多項式 $Q(x)$ を $x=2$ で評価すると、${ I,H,N}^n$ の下での平坦スペクトル数が得られ、組合せ論的リンクが確立された。
• 結果から、ネストド・クリークまたはハイパーグラフに基づく構造が、3次以上の関数に対して高い平坦スペクトル数をもたらす可能性があることが示唆され、将来的な再帰的構成の動機づけとなった。