論文の概要: A New Representation of Binary Sequences by means of Boolean Functions
- arxiv url: http://arxiv.org/abs/2506.05374v1
- Date: Fri, 30 May 2025 10:28:45 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-10 01:19:12.1073
- Title: A New Representation of Binary Sequences by means of Boolean Functions
- Title(参考訳): ブール関数による二項列の表現
- Authors: S. D. Cardell, A. Fuúter-Sabater, V. Requena, M. Beltrá,
- Abstract要約: ブール関数のいくつかの性質を二進列を通して研究し、その逆も検討する。
また、そのような表現とブール関数の他の表現との関係についても検討する。
最後に、ブール関数とそれらの性質のいくつかの観点から一般化自己収縮列を解析する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Boolean functions and binary sequences are main tools used in cryptography. In this work, we introduce a new bijection between the set of Boolean functions and the set of binary sequences with period a power of two. We establish a connection between them which allows us to study some properties of Boolean functions through binary sequences and vice versa. Then, we define a new representation of sequences, based on Boolean functions and derived from the algebraic normal form, named reverse-ANF. Next, we study the relation between such a representation and other representations of Boolean functions as well as between such a representation and the binary sequences. Finally, we analyse the generalized self-shrinking sequences in terms of Boolean functions and some of their properties using the different representations.
- Abstract(参考訳): ブール関数とバイナリシーケンスは暗号で使用される主要なツールである。
本研究では,ブール関数の集合と周期 a つのパワーを持つ二項列の集合の間に新たな単射を導入する。
我々はそれらの間の接続を確立し、二進列を通してブール関数のいくつかの性質を研究できるようにし、その逆も行う。
次に、ブール関数に基づいて、代数的正規形式から派生した、逆ANFという配列の新たな表現を定義する。
次に、そのような表現とブール関数の他の表現との関係と、そのような表現と二項列の関係について検討する。
最後に、ブール関数の観点で一般化された自己収縮列と、それらの性質のいくつかを異なる表現を用いて解析する。
関連論文リスト
- Beyond the Edge of Function: Unraveling the Patterns of Type Recovery in Binary Code [55.493408628371235]
本稿では,バイナリコードの変数型を復元するフレームワークByteTRを提案する。
ByteTRは、関数間の変数伝搬の普遍性を考慮して、変数伝搬をトレースするためのプロシーダ間解析を行い、ゲートグラフニューラルネットワークを用いて、変数型回復のための長距離データフロー依存性をキャプチャする。
論文 参考訳(メタデータ) (2025-03-10T12:27:05Z) - EulerFormer: Sequential User Behavior Modeling with Complex Vector Attention [88.45459681677369]
複素ベクトル注意を持つ新しい変圧器変圧器(EulerFormer)を提案する。
意味的差と位置的差の両方を定式化するための統一的な理論的枠組みを提供する。
意味的変動に対してより堅牢であり、原理上はより上述の理論的性質を持つ。
論文 参考訳(メタデータ) (2024-03-26T14:18:43Z) - Look into the Mirror: Evolving Self-Dual Bent Boolean Functions [35.305121158674964]
本稿では,自己双対屈曲ブール関数の進化を目標とした進化的アルゴリズムを実験する。
各次元に対する自己双対曲がり関数の構築に成功した。
また, 自己双対屈曲関数の二次構造を進化させる試みを行ったが, 結果は得られなかった。
論文 参考訳(メタデータ) (2023-11-20T16:20:16Z) - A New Angle: On Evolving Rotation Symmetric Boolean Functions [32.90791284928444]
本稿では、いくつかの進化的アルゴリズムを用いて、異なる性質を持つ回転対称ブール関数を進化させる。
驚いたことに、ビットストリングと浮動小数点エンコーディングはツリーエンコーディングよりもうまく機能している。
論文 参考訳(メタデータ) (2023-11-20T16:16:45Z) - Neural Estimation of Submodular Functions with Applications to
Differentiable Subset Selection [50.14730810124592]
サブモジュール関数と変種は、多様性とカバレッジを特徴付ける能力を通じて、データ選択と要約のための重要なツールとして登場した。
本稿では,モノトーンおよび非モノトーン部分モジュラー関数のためのフレキシブルニューラルネットワークであるFLEXSUBNETを提案する。
論文 参考訳(メタデータ) (2022-10-20T06:00:45Z) - Logical Activation Functions: Logit-space equivalents of Boolean
Operators [4.577830474623795]
ニューラルネットワークのアクティベーション関数としてデプロイ可能な,$textAND_textAIL$という効率的な近似を導入する。
画像分類,伝達学習,抽象的推論,合成ゼロショット学習など,様々なタスクにおいて有効性を示す。
論文 参考訳(メタデータ) (2021-10-22T17:49:42Z) - Abelian Neural Networks [48.52497085313911]
まず、アベリア群演算のためのニューラルネットワークアーキテクチャを構築し、普遍近似特性を導出する。
連想対称の特徴づけを用いて、アベリア半群演算に拡張する。
固定単語埋め込み上でモデルをトレーニングし、元の word2vec よりも優れた性能を示す。
論文 参考訳(メタデータ) (2021-02-24T11:52:21Z) - A quantum algorithm to estimate the Gowers $U_2$ norm and linearity
testing of Boolean functions [6.8072479152471566]
ブール関数の Gowers $U$ norm を推定する量子アルゴリズムを提案する。
線形ブール関数と、線型ブール関数の集合から$epsilon$-farのブール関数を区別する第2のアルゴリズムに拡張する。
論文 参考訳(メタデータ) (2020-06-30T04:39:20Z) - Space of Functions Computed by Deep-Layered Machines [74.13735716675987]
深層ニューラルネットワークやブール回路を含むランダム層マシンによって計算される関数の空間について検討する。
繰り返しおよび層依存アーキテクチャ上で計算されたブール関数の分布を調べた結果、両方のモデルで同じであることが判明した。
論文 参考訳(メタデータ) (2020-04-19T18:31:03Z) - Discrete Signal Processing with Set Functions [6.548580592686076]
本研究では,新しいシフト不変線形信号処理フレームワークである離散セット信号処理(SP)を導出する。
SP は集合ユニオンと差分演算から得られるシフトの異なる概念を考える。
サブモジュール関数の最適化における圧縮と,オークションにおける選好推論のためのサンプリングの2つの応用と実験を示す。
論文 参考訳(メタデータ) (2020-01-28T12:19:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。