論文の概要: Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits

• arxiv url: http://arxiv.org/abs/2507.21731v1
• Date: Tue, 29 Jul 2025 12:09:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-30 17:08:56.160376
• Title: Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
• Title（参考訳）: 境界二元回路の等式理論を用いたシンボリックモデルにおける任意計算のモデル化
• Authors: Michiel Marcus, Frank Westers, Anne Nijsten,
• Abstract要約: 有限変動特性を持つ有界二元回路に対する方程式理論のクラスを提案する。 これらの理論は暗号プリミティブの実装を特定するためのビルディングブロックとして機能する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this work, we propose a class of equational theories for bounded binary circuits that have the finite variant property. These theories could serve as a building block to specify cryptographic primitive implementations and automatically discover attacks as binary circuits in the symbolic model. We provide proofs of equivalence between this class of equational theories and Boolean logic up to circuit size 3 and we provide the variant complexities and performance benchmarks using Maude-NPA. This is the first result in this direction and follow-up research is needed to improve the scalability of the approach.
• Abstract（参考訳）: 本研究では,有限変分特性を持つ有界二元回路の方程式理論のクラスを提案する。 これらの理論は暗号プリミティブの実装を指定し、シンボルモデルのバイナリ回路としてアタックを自動的に発見するためのビルディングブロックとして機能する。 我々は、この方程式理論のクラスとブール論理の回路サイズ3までの等価性の証明を提供し、Maude-NPAを用いた変動複雑性と性能ベンチマークを提供する。 これは、このアプローチのスケーラビリティを改善するために、この方向の最初の結果であり、フォローアップリサーチが必要である。

関連論文リスト

• Automatically Identifying Local and Global Circuits with Linear Computation Graphs [45.760716193942685]
  Sparse Autoencoders (SAEs) と Transcoders と呼ばれる変種を用いた回路発見パイプラインを導入する。 本手法は各ノードの因果効果を計算するために線形近似を必要としない。 GPT-2 Small: Bracket, induction, Indirect Object Identification circuits の3種類の回路を解析する。
  論文  参考訳（メタデータ） (2024-05-22T17:50:04Z)
• Exponential improvements in the simulation of lattice gauge theories using near-optimal techniques [0.0]
  ハミルトンシミュレーションのための明示的な回路構成とTゲート数および論理キュービット数を提供する。 我々は、非アベリア格子ゲージ理論のシミュレーションのために、トロッター法による時空体積を最大25桁削減することを示した。
  論文  参考訳（メタデータ） (2024-05-16T19:36:49Z)
• Circuit Transformer: A Transformer That Preserves Logical Equivalence [20.8279111910994]
  生成型ニューラルモデル "Circuit Transformer" を導入し,論理回路を与えられたブール関数と厳密に等価に生成する。 回路の特定の目的を最適化するためにマルコフ決定過程の定式化も提案されている。
  論文  参考訳（メタデータ） (2024-03-14T03:24:14Z)
• A Sampling Theory Perspective on Activations for Implicit Neural Representations [73.6637608397055]
  Inlicit Neural Representations (INR) は、コンパクトで微分可能なエンティティとして信号の符号化で人気を博している。 サンプリング理論の観点からこれらの活性化を包括的に分析する。 本研究により,INRと併用されていないシンクアクティベーションは,信号符号化に理論的に最適であることが判明した。
  論文  参考訳（メタデータ） (2024-02-08T05:52:45Z)
• Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
  本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。 最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。 シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
  論文  参考訳（メタデータ） (2023-10-05T07:10:40Z)
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [44.99833362998488]
  複数の量子数の相関変化からなる相互作用のクラスを効率的にシミュレートできる量子アルゴリズムを導入する。 格子ゲージ理論は、1+1次元のSU(2)ゲージ理論であり、1つのスタッガードフェルミオンに結合する。 これらのアルゴリズムは、アベリアおよび非アベリアゲージ理論と同様に高次元理論にも適用可能であることが示されている。
  論文  参考訳（メタデータ） (2022-12-28T18:56:25Z)
• Multiparameter Persistent Homology-Generic Structures and Quantum Computing [0.0]
  本稿では、トポロジカルデータ解析における持続的ホモロジーの研究への可換代数の応用について述べる。 このような分解能の一般的な構造と分類空間は、数十年にわたる研究結果を用いて研究されている。
  論文  参考訳（メタデータ） (2022-10-20T17:30:20Z)
• Gauge-equivariant flow models for sampling in lattice field theories with pseudofermions [51.52945471576731]
  本研究は,フェルミオン行列式の推定器として擬フェルミオンを用いたフェルミオン格子場理論におけるフローベースサンプリングのためのゲージ不変アーキテクチャを提案する。 これは最先端の格子場理論計算におけるデフォルトのアプローチであり、QCDのような理論へのフローモデルの実践的応用に欠かせない。
  論文  参考訳（メタデータ） (2022-07-18T21:13:34Z)
• A Complete Equational Theory for Quantum Circuits [58.720142291102135]
  量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
  論文  参考訳（メタデータ） (2022-06-21T17:56:31Z)
• Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version) [72.38188258853155]
  有限トレース(LTLf)上の線形時間論理について検討する。 命題の文字は任意の理論で解釈された一階述語式に置き換えられる。 Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
  論文  参考訳（メタデータ） (2022-04-28T17:57:33Z)
• A Study of Continuous Vector Representationsfor Theorem Proving [2.0518509649405106]
  我々は,論理特性の保存と可逆性を考慮したエンコードを開発した。 これは、すべての記号を含む公式のツリー形状が密度ベクトル表現から再構築できることを意味する。 これらの構文的および意味的特性のトレーニングに使用できるデータセットを提案する。
  論文  参考訳（メタデータ） (2021-01-22T15:04:54Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。