🔢 mathematics

On Generalizations of Maiorana-McFarland and $\mathcal{PS}_{ap}$ Functions

この論文は、古典的な Maiorana-McFarland 類および $\mathcal{PS}_{ap}$ 類の完備化に含まれない新しいボロイ関数（ベント関数）の族を構成し、その分解可能性に関する性質を明らかにするとともに、二次構成法による新たなベント関数の構築を提案するものである。

原著者： Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

公開日 2026-03-31

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🍳 料理のレシピと「完璧な味」の話

まず、この研究の舞台は**「暗号」の世界です。暗号を作るためには、予測不可能で、パターンが見つけにくい「完璧な味（数学的にはベント関数と呼ばれる性質）」の料理**が必要です。

これまで、この「完璧な味」を作るには、主に 2 つの有名な「基本レシピ（構成法）」しか知られていませんでした。

マヨラナ・マクファーランド（MM）レシピ：
- これは「定番の家庭料理」のようなもの。誰でも作れて、味も安定しています。
- しかし、最近の研究で「この定番レシピで作った料理ばかりでは、暗号として物足りない（パターンがバレやすい）」ことがわかってきました。
PSap（部分スプレッド）レシピ：
- これは「高級なフレンチ料理」のようなもの。少し複雑で、MM レシピとは全く違う味です。

この論文の著者たちは、**「定番レシピ（MM）の枠を超えた、新しい完璧な味」を見つけ出し、さらに「高級フレンチ（PSap）の秘密」**を解明しようとしたのです。

🚀 発見その 1：定番レシピの「枠」を破る新しい料理

【問題】
「定番の MM レシピ」で作った料理は、ある特定の「型（M-部分空間）」にはめ込まれていることがわかりました。つまり、型にはまった料理は、暗号として「型破り」な面白みに欠けるのです。

【解決策】
著者たちは、**「定番レシピの材料（MM 関数）を、あえて型にはまらないように混ぜ合わせる」**という新しい手法を開発しました。

アナロジー：
普段は「卵とトマト」を「オムレツの型」に入れて焼くのが定番（MM レシピ）だとします。
しかし、著者たちは「卵とトマトを、あえて 2 つの異なる型に分けて、それをさらに別の型で組み合わせる」という**「一般化された MM レシピ（GMM）」**を考案しました。

この新しい料理は、**「従来のどんな型（MM 完成クラス）にも当てはまらない」という、非常にユニークな性質を持っています。つまり、「既存のレシピ帳には載っていない、全く新しい完璧な味」**を完成させたのです。

🔍 発見その 2：高級フレンチ（PSap）の「分解」できない秘密

【問題】
「高級フレンチ（PSap 関数）」は、実は「2 つの半分の料理（部分関数）」をくっつけて作れる（分解できる）と考えられていました。もし分解できれば、それは「2 つの簡単なレシピの組み合わせ」に過ぎず、暗号としての強度が疑われるかもしれません。

【発見】
著者たちは、**「ある条件（次数が小さい場合）を満たす高級フレンチは、どんなに頑張っても分解できない！」**と証明しました。

アナロジー：
「高級フレンチ」を「レゴブロックの城」だと想像してください。
多くの城は、「塔」と「壁」を別々に作ってから組み立てられます（分解可能）。
しかし、著者たちが作った新しい城は、**「最初から一体化して作られたような、レゴブロックをバラバラにできない構造」**でした。

これを数学的に証明するために、彼らは**「代数曲線（数学的な地形図）」**という道具を使いました。「この地形には、城を分解するための『道（分解可能な点）』が存在しない」と示したのです。

意味：
これは、「この高級料理は、単純な組み合わせから作られたものではなく、本物独自の複雑さを持っている」という証拠になりました。

🧩 発見その 3：分解できない料理を「つなげて」新しい料理を作る

【応用】
「分解できない高級フレンチ（ベクトル PSap 関数）」は、実は「複数の成分（味）」を持っています。
著者たちは、この「分解できない高級料理」の成分を、**「4 つの料理を並べて 1 つの大きなコース料理にする（連結）」**という新しい方法で組み合わせました。

アナロジー：
分解できない「最強のスパイス」を 4 つ集め、それぞれを 4 つの皿に盛ります。そして、それらを並べて「4 皿セット」のコース料理を作ります。
この「4 皿セット」全体が、**「新しい完璧な味（ベント関数）」**になることを証明しました。

これにより、「分解できない複雑な要素」を、あえて並べることで、さらに強力な暗号（新しい料理）を作れるという新しいレシピが誕生しました。

🌟 まとめ：この論文がすごい理由

この研究は、以下のような 3 つの大きな貢献をしています。

新しい「型破りな料理」の発見：
既存の「定番レシピ（MM）」の枠を超えた、全く新しい完璧な味（関数）を作りました。
「分解不可能」な料理の証明：
高級フレンチ（PSap）の中には、単純な組み合わせでは作れない、本物の複雑さを持つものが存在することを数学的に証明しました。
新しい「コース料理」のレシピ：
分解できない複雑な要素を並べることで、さらに強力な暗号を作る新しい方法を見つけました。

一言で言えば：
「暗号を作るための料理レシピ」において、**「既存の型にはまらない新しい味」を見つけ出し、「なぜそれが分解できないのか」を解明し、「それを組み合わせてさらに強力な料理を作る」**という、暗号数学の新しい地平を開いた論文です。

この研究は、将来のより安全なインターネットや通信を守るための、重要な「数学的なレシピ本」のページを 1 枚、新しく加えることになりました。

1. 問題設定 (Problem)

ベント関数の構成には、主に「一次構成（Primary constructions）」と「二次構成（Secondary constructions）」の 2 つのタイプがあります。古典的な一次構成として、Maiorana–McFarland (MM) 類と部分スプレッド（Partial Spread, PSap）類が知られています。

近年の研究では、完成された MM 類（ $MM^\#$ ）の外部にあるベント関数の構成が活発に行われています。しかし、既存の二次構成（特に連結法によるもの）から得られる関数は、MM 類や PSap 類の完成類に含まれる傾向があり、それらから「本質的に異なる」新しいクラスの関数を構築すること、およびそれらの分解可能性（decomposition）を調べることは未解決の課題でした。

本論文は以下の 3 つの核心的な問題に焦点を当てています：

古典的な MM 類および PSap 類の完成類に含まれない、新しい一般化された MM 関数（GMM）の構成。
一般化された PSap 関数が、ベント関数やセミベント関数の連結（concatenation）によって得られる二次構成から導かれるかどうかの検討（特に分解可能性）。
ベクトル値 PSap 関数の成分を連結することによる、新しいベント関数の二次構成の提案。

2. 手法 (Methodology)

本論文は、以下の数学的ツールと理論を駆使して分析を行っています：

二階微分と Dillon の基準:
ブール関数が MM 類に属するかどうかは、Dillon の基準（二階微分 $D_a D_b f$ が特定の部分空間上で恒等的に 0 になるか否か）によって判定されます。著者らは、この基準を一般化された構成に適用し、MM 類から外れるための条件を導出しました。
代数曲線と関数体理論:
一般化された PSap 関数の分解可能性を調べる際、関数の二階微分が定数になるかどうかを判定するために、有限体上の代数曲線（Artin-Schreier 曲線など）の有理点の数を推定しました。Hasse-Weil 限界や Hurwitz 種数公式を用いて、特定の条件下で二階微分が定数にならないことを証明しました。
連結法（Concatenation）の理論:
4 つのブール関数を連結して新しいベント関数を構成する際の必要十分条件（双対関数の和が 1 になること）を利用し、ベクトル値 PSap 関数の成分を連結する新しい構成法を提案しました。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 完成 MM 類に含まれない一般化 MM 関数の構成

結果: 著者らは、特定の条件を満たす置換 $\pi$ （例： $x^{2^m-2}$ や Gold 関数 $x^{2^k+1}$ ）を用いて、一般化された Maiorana–McFarland 関数（GMM）を構成しました。
特徴: これらの関数は、共通の M-部分空間（二階微分が 0 となる部分空間）を持たないように設計されています。具体的には、 $n > 2k + 4$ の条件下で、構成された関数は完成 MM 類（ $MM^\#$ ）に属さないことを証明しました。
意義: これにより、MM 類の完成類から外れる新しい無限族のベント関数が存在することが示されました。

B. 一般化 PSap 関数の分解不可能性の証明

結果: 一般化された PSap 関数（特に次数が有限体のサイズに対して十分に小さい場合）は、ベント関数やセミベント関数の連結による二次構成から得られないことを証明しました。
手法: 双対関数の二階微分が恒等的に 0（セミベント分解）または 1（ベント分解）にならないことを、代数曲線の有理点の存在論を用いて示しました。
定理: 多項式 $Q$ の次数が $2^{m/4-1}/3e$ 以下などの条件下では、これらの関数は任意の 2 次元部分空間に関するベント分解もセミベント分解も持たないことが示されました。
意義: これは、PSap 類の関数が、従来の連結法のような標準的な二次構成では生成できない「本質的に新しい」構造を持っていることを意味します。

C. ベクトル値 PSap 関数に基づく新しい二次構成

結果: ベクトル値 PSap 関数の成分（component functions）を連結することで、新しいブールベント関数を構成する手法を提案しました。
構成: 特定の置換 $P$ と非ゼロ要素 $\alpha, \beta, \gamma$ を用いて、 $f = F_\alpha \parallel F_\beta \parallel F_\gamma \parallel F_{\alpha+\beta+\gamma+1}$ の形式で関数を定義し、これがベント関数となることを示しました。
意義: ベクトル値関数の構造を利用した新しい二次構成の枠組みを提供し、既知の構成法を超えた関数生成を可能にしました。

4. 意義 (Significance)

暗号理論への貢献:
ベント関数は、暗号システム（特にストリーム暗号やブロック暗号）における非線形性要件を満たすために不可欠です。本論文は、既知のクラス（MM 類や PSap 類）に属さない新しいベント関数の存在を明確に示し、その具体的な構成法を提供しました。これにより、より強固な暗号プリミティブの設計に寄与します。
数学的構造の解明:
代数曲線論や関数体理論をベント関数の分類問題に応用した点は、暗号理論と純粋数学の架け橋となる重要なアプローチです。特に、二階微分の性質と代数曲線の有理点の数を結びつけることで、関数の分解可能性に対する厳密な限界を示しました。
研究の方向性:
「完成 MM 類の外にある関数」の探索は、ベント関数の研究における長年の課題です。本論文は、単に例を示すだけでなく、なぜそれらが既存の構成法から外れるのか（分解不可能性など）を理論的に裏付け、今後の研究の基礎となる重要な知見を提供しています。

まとめ

本論文は、Maiorana–McFarland 類と PSap 類の一般化を通じて、ベント関数の構成と分類に関する新たな地平を開拓しました。具体的には、完成 MM 類に属さない新しい GMM 関数の構成、一般化 PSap 関数が従来の二次構成（連結）では得られないことの証明、そしてベクトル値 PSap 関数に基づく新しい二次構成の提案という 3 つの主要な成果を挙げています。これらの結果は、代数曲線論や微分法を用いた厳密な数学的証明に基づいており、現代の暗号理論およびブール関数論の発展に大きく寄与するものです。