論文の概要: A complete set of transformation rules for reversible circuits
- arxiv url: http://arxiv.org/abs/2508.17273v1
- Date: Sun, 24 Aug 2025 09:45:14 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-26 18:43:45.438994
- Title: A complete set of transformation rules for reversible circuits
- Title（参考訳）: 可逆回路に対する変換規則の完全集合
- Authors: Shiguang Feng, Lvzhou Li,
- Abstract要約: 可逆回路に対する変換規則の最初の完全集合を提案する。
可逆関数はすべて、正準形式の一意可逆回路によって計算されることを示す。
- 参考スコア（独自算出の注目度）: 4.640835690336652
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Reversible logic synthesis is a crucial component in quantum electronic design automation. While rule-based methodologies have gained prominence in reversible circuit optimization, the completeness of the transformation rule systems is a longstanding problem in this domain. In this work, we propose the first complete set of transformation rules for reversible circuits, comprising five fundamental rules: any two equivalent reversible circuits can be transformed into each other using the rules. To prove the completeness, a canonical circuit representation for reversible functions is introduced, and we show that every reversible function is computed by a unique reversible circuit in the canonical form, and any reversible circuit can be transformed into its canonical form by applying the rules.
- Abstract（参考訳）: 可逆論理合成は量子電子設計の自動化において重要な要素である。
ルールベースの手法は、可逆回路最適化において顕著なものとなっているが、変換規則システムの完全性はこの領域における長年の問題である。
本稿では,2つの等価可逆回路を相互に変換する,5つの基本規則を含む,可逆回路に対する最初の完全変換規則を提案する。
この完全性を証明するために、可逆関数に対する正準回路表現を導入し、各可逆関数は、その正準形式における一意可逆回路によって計算され、その規則を適用することにより、任意の可逆回路をその正準形式に変換することができることを示す。
関連論文リスト
- An order-theoretic circuit syntax and characterisation of the concept lattice [0.0]
我々は、回路(弦図)の構文に順序論的アプローチを採り、回路を追加の入力出力構造で部分順序として扱う。
我々は、回路間の射を定義し、これらが有限の場合において、構文的回路書き換えの概念を定式化できることを示す分解定理を証明する。
論文 参考訳（メタデータ） (2025-07-07T19:18:37Z) - Generalized Linear Mode Connectivity for Transformers [87.32299363530996]
驚くべき現象はリニアモード接続(LMC)であり、独立に訓練されたモデルを低損失またはゼロ損失の経路で接続することができる。
以前の研究は主に置換によるニューロンの並べ替えに焦点を合わせてきたが、そのようなアプローチは範囲に限られている。
我々は、4つの対称性クラス(置換、半置換、変換、一般可逆写像)をキャプチャする統一的なフレームワークを導入する。
この一般化により、独立に訓練された視覚変換器とGPT-2モデルの間の低障壁とゼロバリア線形経路の発見が可能となった。
論文 参考訳（メタデータ） (2025-06-28T01:46:36Z) - On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の長さの $Zotimes n$指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳（メタデータ） (2024-08-15T17:09:08Z) - Normalizing Resistor Networks [0.0]
本稿では,任意の正分割リグ上の抵抗回路の書き換えシステムについて述べる。
これらの変換は, 抵抗回路のカテゴリ上で, 整合的かつ終端的な書き換えシステムにどのように構成されるかを示す。
論文 参考訳（メタデータ） (2023-03-20T01:23:18Z) - Efficient estimation of trainability for variational quantum circuits [43.028111013960206]
変動量子回路のコスト関数とその分散を効率よく計算する方法を見出した。
この方法は、変分量子回路のトレーニング容易性を証明し、バレンプラトー問題を克服できる設計戦略を探索するために用いられる。
論文 参考訳（メタデータ） (2023-02-09T14:05:18Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。
2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文 参考訳（メタデータ） (2022-06-21T17:56:31Z) - LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。
2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
論文 参考訳（メタデータ） (2022-04-25T16:59:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。