Fugu-MT 論文翻訳(概要): One rig to control them all

論文の概要: One rig to control them all

arxiv url: http://arxiv.org/abs/2510.05032v1
Date: Mon, 06 Oct 2025 17:09:21 GMT
ステータス: 翻訳完了
システム内更新日: 2025-10-07 16:53:00.006943
Title: One rig to control them all
Title（参考訳）: それら全てを制御するための1つのリグ
Authors: Chris Heunen, Robin Kaarsgaard, Louis Lemonnier,
Abstract要約: これらをベース回路のプロップに追加すると、制御回路を構成する。この構文的構成は、ベースプロップ上の自由リグ圏を取ることに意味的に対応することを証明している。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We introduce a theory for computational control, consisting of seven naturally interpretable equations. Adding these to a prop of base circuits constructs controlled circuits, borne out in examples of reversible Boolean circuits and quantum circuits. We prove that this syntactic construction semantically corresponds to taking the free rig category on the base prop.
Abstract（参考訳）: 自然解釈可能な7つの方程式からなる計算制御理論を導入する。これらをベース回路のプロップに加えると、制御回路を構成し、可逆ブール回路や量子回路の例に現れる。この構文的構成は、ベースプロップ上の自由リグ圏を取ることに意味的に対応することを証明している。

関連論文リスト

Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits [0.0]
コンストラクタとして制御を特徴とする図式推論のための一般的なフレームワークを提案する。制御されたプロップは、単純な関係の完全な集合を許容することにより、量子回路の図式推論を容易にする。
論文参考訳（メタデータ） (2025-08-29T16:34:00Z)
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits [0.0]
有限変動特性を持つ有界二元回路に対する方程式理論のクラスを提案する。これらの理論は暗号プリミティブの実装を特定するためのビルディングブロックとして機能する。
論文参考訳（メタデータ） (2025-07-29T12:09:50Z)
An order-theoretic circuit syntax and characterisation of the concept lattice [0.0]
我々は、回路(弦図)の構文に順序論的アプローチを採り、回路を追加の入力出力構造で部分順序として扱う。我々は、回路間の射を定義し、これらが有限の場合において、構文的回路書き換えの概念を定式化できることを示す分解定理を証明する。
論文参考訳（メタデータ） (2025-07-07T19:18:37Z)
Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文参考訳（メタデータ） (2023-10-05T07:10:40Z)
Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
論文参考訳（メタデータ） (2023-03-06T13:31:27Z)
A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文参考訳（メタデータ） (2022-06-21T17:56:31Z)
Adaptive constant-depth circuits for manipulating non-abelian anyons [65.62256987706128]
北エフの量子二重モデルは有限群$G$に基づく。本稿では, (a) 基底状態の生成, (b) 任意の距離で分離されたエノン対の生成, (c) 非破壊的トポロジカル電荷測定のための量子回路について述べる。
論文参考訳（メタデータ） (2022-05-04T08:10:36Z)
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文参考訳（メタデータ） (2020-02-21T16:15:58Z)
Hardware-Encoding Grid States in a Non-Reciprocal Superconducting Circuit [62.997667081978825]
本稿では、非相互デバイスと、基底空間が2倍縮退し、基底状態がGottesman-Kitaev-Preskill(GKP)符号の近似符号であるジョセフソン接合からなる回路設計について述べる。この回路は、電荷やフラックスノイズなどの超伝導回路の一般的なノイズチャネルに対して自然に保護されており、受動的量子誤差補正に使用できることを示唆している。
論文参考訳（メタデータ） (2020-02-18T16:45:09Z)

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