論文の概要: IDEM Enough? Evolving Highly Nonlinear Idempotent Boolean Functions
- arxiv url: http://arxiv.org/abs/2602.00837v1
- Date: Sat, 31 Jan 2026 18:06:38 GMT
- ステータス: 情報取得中
- システム内更新日: 2026-02-03 13:38:06.028558
- Title: IDEM Enough? Evolving Highly Nonlinear Idempotent Boolean Functions
- Title(参考訳): IDEM は十分か? -高非線形等等化ブール関数の進化-
- Authors: Claude Carlet, Marko Ðurasevic, Domagoj Jakobovic, Luca Mariot, Stjepan Picek,
- Abstract要約: Idempotent Boolean関数は暗号設計の候補として魅力的である。
軌道上の真理表を符号化することで、イデオポテンスを強制できることが示される。
次に、軌道上の真理表を符号化することで、イデオポテンスを強制できることを示し、異なる赤道軌道の数に匹敵する大きさのコンパクトなゲノムを生成する。
- 参考スコア(独自算出の注目度): 25.80284220818612
- License:
- Abstract: Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These functions are attractive as candidates for cryptographic design, yet their additional algebraic constraints make the search for high nonlinearity substantially more difficult than in the unconstrained case. In this work, we investigate evolutionary methods for constructing highly nonlinear idempotent Boolean functions for dimensions $n=5$ up to $n=12$ using a polynomial basis representation with canonical primitive polynomials. Our results show that the problem of evolving idempotent functions is difficult due to the disruptive nature of crossover and mutation operators. Next, we show that idempotence can be enforced by encoding the truth table on orbits, yielding a compact genome of size equal to the number of distinct squaring orbits.
- Abstract(参考訳): 等化ブール函数は、正規基底表現の下で回転対称性と密接に関連し、多項式基底において固定線型写像の下で不変であるブール函数の高度に構造化された部分クラスを形成する。
これらの関数は暗号設計の候補として魅力的であるが、その追加の代数的制約により、制約のない場合よりも高い非線形性の探索がかなり困難になる。
本研究では、正準原始多項式を持つ多項式基底表現を用いて、次元$n=5$から$n=12$までの高非線形等等角ブール関数を構築するための進化的手法について検討する。
以上の結果から,クロスオーバーと突然変異演算子の破壊的な性質から,等角関数の進化は困難であることが示唆された。
次に、軌道上の真理表を符号化することで、イデオポテンスを強制できることを示し、異なる赤道軌道の数に匹敵する大きさのコンパクトなゲノムを生成する。
関連論文リスト
- On Counts and Densities of Homogeneous Bent Functions: An Evolutionary Approach [60.00535100780336]
本稿では, 等質屈曲ブール関数の進化における進化的アルゴリズム(EA)の利用について検討する。
等質な曲がり関数の密度の概念を導入し、異なる変数数の2次および3次曲がり関数を見つけるアルゴリズム設計を容易にする。
論文 参考訳(メタデータ) (2025-11-16T15:33:40Z) - Explicit Discovery of Nonlinear Symmetries from Dynamic Data [50.20526548924647]
LieNLSDは非線形項の無限小生成器の数とその明示的な表現を決定する最初の方法である。
LieNLSDは既存の手法に比べて質的な利点を示し、ニューラルPDEソルバの長期ロールアウト精度を20%以上改善する。
論文 参考訳(メタデータ) (2025-10-02T09:54:08Z) - A Systematic Study on the Design of Odd-Sized Highly Nonlinear Boolean Functions via Evolutionary Algorithms [32.90791284928444]
遺伝的プログラミングは一般的に他の進化的アルゴリズムよりも優れていることを示す。
ビットストリングを符号化した対称遺伝的アルゴリズムは、非線形性241で9ドル可変ブール関数を進化させることを示す。
論文 参考訳(メタデータ) (2025-04-24T15:35:53Z) - Degree is Important: On Evolving Homogeneous Boolean Functions [32.90791284928444]
本稿では,等質屈曲ブール関数の設計における進化的アルゴリズムの利用について検討する。
EAは2次等質な等質な曲がり関数を見つけることができるが、どちらのアプローチも立方等質な等質曲がり関数は見つからない。
論文 参考訳(メタデータ) (2025-01-30T15:04:14Z) - Digging Deeper: Operator Analysis for Optimizing Nonlinearity of Boolean
Functions [8.382710169577447]
ビットストリング符号化における遺伝的演算子の非線形性を最適化する効果について検討する。
オペレータが提供できる可能性のある変更の範囲を観察することで、この情報を使用して、より効果的な遺伝子操作子の組み合わせを設計することができる。
論文 参考訳(メタデータ) (2023-02-12T10:34:01Z) - Dynamical chaos in nonlinear Schr\"odinger models with subquadratic
power nonlinearity [137.6408511310322]
ランダムポテンシャルと準4次パワー非線形性を持つ非線形シュリンガー格子のクラスを扱う。
拡散過程は亜拡散性であり, 微細構造が複雑であることを示す。
二次パワー非線形性の限界も議論され、非局在化境界をもたらすことが示されている。
論文 参考訳(メタデータ) (2023-01-20T16:45:36Z) - Evolving Constructions for Balanced, Highly Nonlinear Boolean Functions [37.84234862910533]
遺伝的プログラミングは、高い非線形性を持つバランスの取れたブール関数をもたらす構造を進化させることができることを示す。
以上の結果から,GP はよく一般化される構造,すなわち,複数のテストサイズに必要な関数を見つけることができることがわかった。
興味深いことに、GPによって発見された最も単純な解は、よく知られた間接和構成の特別な場合である。
論文 参考訳(メタデータ) (2022-02-17T16:33:24Z) - Convolutional Filtering and Neural Networks with Non Commutative
Algebras [153.20329791008095]
本研究では,非可換畳み込みニューラルネットワークの一般化について検討する。
非可換畳み込み構造は作用素空間上の変形に対して安定であることを示す。
論文 参考訳(メタデータ) (2021-08-23T04:22:58Z) - On Function Approximation in Reinforcement Learning: Optimism in the
Face of Large State Spaces [208.67848059021915]
強化学習のコアにおける探索・探索トレードオフについて検討する。
特に、関数クラス $mathcalF$ の複雑さが関数の複雑さを特徴づけていることを証明する。
私たちの後悔の限界はエピソードの数とは無関係です。
論文 参考訳(メタデータ) (2020-11-09T18:32:22Z) - Hardness of Random Optimization Problems for Boolean Circuits,
Low-Degree Polynomials, and Langevin Dynamics [78.46689176407936]
アルゴリズムの族は高い確率でほぼ最適な解を生成できないことを示す。
ブール回路の場合、回路複雑性理論で知られている最先端境界を改善する。
論文 参考訳(メタデータ) (2020-04-25T05:45:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。