ウォルシュ台が重ならない最大族のブール関数を明示構成
Explicit Constructions of Maximum-Cardinality Families of Plateaued Functions with Pairwise Disjoint Walsh Supports
この論文をやさしく読む
ひとことで言うと
暗号に使うブール関数を組み合わせるため、特定のスペクトル構造が重ならない最大サイズの関数族を、明示的な式で作る数学研究です。共通の代数次数も条件の範囲で指定できます。
何に役立つ?
暗号用ブール関数の二次的構成に使う部品を、代数的な表現で得るのに役立ちます。関数族の大きさと次数を設計する理論的な道具です。
この研究の面白いところ
既存のスペクトルに基づく構成に対し、二種類の代数的構成を示しています。最大要素数、非零の線形構造を持たない性質、次数の指定を同時に扱います。
どこまで分かった?
結論にはp、q、n、dの不等式や偶奇条件があります。暗号用関数の構成に関する理論であり、暗号システム全体の安全性を実証したものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ウォルシュ台が互いに素なプラトー型ブール関数の族は、暗号用ブール関数の二次的構成に役立つ。特に関心があるのは、各要素が非零の線形構造を持たない、最大要素数の族である。著者らの知る限り、この二つの性質をともに達成する既知の一般的構成はスペクトル的なものである(Hodžićら、IEEE Transactions on Information Theory 65巻9号、5865–5879頁、2019年)。その研究では一般に明示的な代数的標準形が与えられておらず、族の全要素に共通の代数次数を指定する一般的方法も確立されていない。本論文では、統一的枠組みの中で二つの新しい明示的な代数的構成を提示する。一つは線形関数に、もう一つはベント成分を持つ部分的線形関数に基づく。p ≥ 2、q ≥ 0がq < 2^p − p − 1を満たすとし、m = p + qと置く。どちらの構成も、ウォルシュ台が互いに素な2^(q+1)個の(q+1)プラトー型ブール関数からなる、最大要素数の族を与える。どの要素も非零の線形構造を持たず、すべての要素が明示的な一般化Maiorana–McFarland表現を持つ。第一の構成はm + p + 1変数の関数を生成し、q < Σ[i = 2からd − 1]C(p, i)を満たす場合、3 ≤ d ≤ p + 1の任意に指定した共通代数次数を実現する。達成可能な最大次数p + 1は最適である。第二の構成は、n > mかつn − mが偶数の場合にn + p + 1変数の関数を生成し、q < Σ[i = 2からmin(d − 1, p)]C(p, i)を満たす場合、3 ≤ d ≤ p + (n − m)/2の任意に指定した共通代数次数を実現する。達成可能な最大次数p + (n − m)/2は最適に次ぐものである。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18(UTC)
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Families of plateaued Boolean functions with pairwise disjoint Walsh supports are useful in secondary constructions of cryptographic Boolean functions. Of particular interest are maximum-cardinality families whose members admit no nonzero linear structures. To the best of our knowledge, the previously known general construction attaining both properties is spectral (Hodžić et al., IEEE Trans. Inf. Theory 65(9): 5865--5879, 2019). In that work, explicit algebraic normal forms are not generally provided, and no general method is established for prescribing a common algebraic degree for all family members. In this paper, we present two new explicit algebraic constructions within a unified framework, one based on linear functions and the other on partially linear functions with bent components. Let $p\geq 2$ and $q\geq 0$ satisfy $q<2^p-p-1$, and set $m=p+q$. Both constructions yield maximum-cardinality families of $2^{q+1}$ $(q+1)$-plateaued Boolean functions with pairwise disjoint Walsh supports. No member admits a nonzero linear structure, and every member has an explicit generalized Maiorana--McFarland representation. The first construction produces functions in $m+p+1$ variables and realizes any prescribed common algebraic degree $3\leq d\leq p+1$, provided that $q<\sum_{i=2}^{d-1}\binom{p}{i}$; its maximum attainable degree $p+1$ is optimal. The second construction produces functions in $n+p+1$ variables, where $n>m$ and $n-m$ is even, and realizes any prescribed common algebraic degree $3\leq d\leq p+(n-m)/2$, provided that $q<\sum_{i=2}^{\min\{d-1,p\}}\binom{p}{i}$; its maximum attainable degree $p+(n-m)/2$ is next-to-optimal.
arXiv ID: 2609.21389 / 要約の誤りについて