論文の概要: Unitary RQL Equals RQL
- arxiv url: http://arxiv.org/abs/2610.06231v1
- Date: Mon, 05 Oct 2026 12:35:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-09 17:40:39.1555
- Title: Unitary RQL Equals RQL
- Title(参考訳): Unitary RQLがRQLと同等に
- Abstract要約: 中間測定により、量子計算は情報を破棄し、ワークスペースを再利用できる。
すべての測定値を定義するには、全履歴を保存する必要があるが、対数空間を保存する必要はない。
RQL = RQUL for the standard gate set = H, T, CNOT, Preserving time, logarithmic space, and exactly zero accept on no-instances。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Intermediate measurements let quantum computations discard information and reuse their workspace. Deferring all measurements can require storing their entire history, which need not preserve logarithmic space. Fefferman and Remscrim proved that measurements can nevertheless be eliminated with two-sided bounded error, and asked whether the same holds with one-sided error [FR21]. We prove RQLΓ = RQULΓ for the standard gate set Γ = {H, T, CNOT}, preserving polynomial time, logarithmic space, and exactly zero acceptance on no-instances. Our proof extends the density-matrix doubling method of Girish, Raz and Zhan [ GRZ21 ] to general channels, including resets and classical memory. We also prove measurement elimination for broader finite gate sets with exact inverses, including suitable gates with transcendental entries, and establish gate-set independence for a specified family of algebraic gate sets. A separate history-checking construction proves QMAL1,G = QUMAL1,G under explicit gate assumptions: measurements can also be eliminated from logarithmic-space quantum verification while preserving perfect completeness
- Abstract(参考訳): 中間測定により、量子計算は情報を破棄し、ワークスペースを再利用できる。
すべての測定値を定義するには、全履歴を保存する必要があるが、対数空間を保存する必要はない。
Fefferman と Remscrim は、一方の有界誤差 [FR21] で同じ値が成り立つかどうかを問うた。
標準ゲート集合 y = {H, T, CNOT} に対して RQL = RQUL を証明し、多項式時間、対数空間を保ち、即時受理を全くゼロとする。
我々の証明は、Girish, Raz and Zhan [ GRZ21 ] の密度行列倍法を、リセットや古典記憶を含む一般的なチャネルに拡張する。
また、直交成分を持つ適切なゲートを含む、正確な逆数を持つ広い有限ゲート集合に対する測度除去を証明し、特定の代数ゲート集合の族に対してゲートセット独立性を確立する。
異なる履歴チェック構造は、明示的なゲート仮定の下でQMAL1,G = QUMAL1,Gを証明している。
関連論文リスト
- Quantum minimum description of density matrices [48.588707714550104]
Achievability は Werner のクローンマップを $mathrmGL(d,mathbb C)$ 既約表現に一般化する。
一致する逆は、スペクトルギャップ仮定の下での既約群軌道に対するKoashi-Imotoの不圧縮性の定量的形式から従う。
論文 参考訳(メタデータ) (2026-10-05T17:22:07Z) - The power of constant-depth quantum circuits of unbounded size [1.6312989763677892]
計算基底状態の任意の置換、対角的ユニタリ、任意の純状態の準備について、厳密な定深構成を与える。
ゲート集合のファンアウトでは、指数的に多くのゲートと補助量子ビットを使用し、すべての補助量子ビットをゼロに戻す。
任意のユニタリを一定の深さで実装することは、まだオープンである。
論文 参考訳(メタデータ) (2026-09-30T17:50:16Z) - Robust Device-Independent Certification of Boolean-Phase Gates [43.185722326013035]
デバイスに依存しない量子ゲートの認証には、同じ参照量子ビットを特定するために入力および出力テストが必要である。
ブール位相ゲートのロバストな認証手法を開発した。
ゲートの代数構造は、量子計測設計から局所的な結果の古典的処理へと、ターゲット依存の情報をどうシフトするかを示す。
論文 参考訳(メタデータ) (2026-09-09T07:41:09Z) - Universal recovery in approximate quantum error correction [53.73800998389749]
ユニバーサルリカバリ(Universal recovery)とは、エラーチャネルのファミリー全体を修正する単一のリカバリマップの存在である。
正確な量子誤差補正において、線形性は、与えられたエラーセットを補正するコードもまた、クラウス作用素がその線形スパンにある全てのチャネルを補正することを保証している。
1つのリカバリマップは、与えられたエラーセットによって制御される全てのチャネルを同時に修正できることを示す。
論文 参考訳(メタデータ) (2026-08-29T00:25:52Z) - qiskit-qudits: A Qiskit Extension for Simulating Qudit Circuits [0.0]
Qiskit-qudits は、dレベルのquditsを m = ceil(log d) qubits に符号化することによってシミュレートする Qiskit 拡張である。
ゲートは固定されたトランスパイラー認識可能な標準的なqubitゲートのカスケードに分解される。
本稿では,ソフトウェア回路モデル,ゲート階層,分解戦略,計測/復号化機構について述べる。
論文 参考訳(メタデータ) (2026-08-22T16:19:43Z) - Universal transversal gates [0.0]
量子誤り訂正における長年の課題は、イージン・クニルの定理で示されているように、普遍ゲートの実現性である。
量子符号が普遍ゲートを持つ必要十分条件を求め、Eastin-Knill no-go 結果が一般的な誤差モデルに当てはまらない特別な場合であることを示す。
論文 参考訳(メタデータ) (2024-10-09T16:34:47Z) - Nonunitary gates using measurements only [0.0]
測定ベースの量子計算(MBQC)はユニタリゲートを実現する普遍的なプラットフォームである。
MBQC回路は入力状態に対して常に送信・動作するが、一般には非単項論理ゲートを実現する。
論文 参考訳(メタデータ) (2023-12-28T19:00:40Z) - Error-corrected Hadamard gate simulated at the circuit level [42.002147097239444]
我々はサーキットレベルのノイズモデルの下で,表面符号の論理的アダマールゲートをシミュレートする。
我々の論文は、量子誤り訂正符号上のユニタリゲートに対してこれを初めて行うものである。
論文 参考訳(メタデータ) (2023-12-18T19:00:00Z) - Quantum Error Correction with Gauge Symmetries [69.02115180674885]
Lattice Gauge Theories (LGT) の量子シミュレーションは、物理セクターと非物理セクターの両方を含む拡大されたヒルベルト空間上でしばしば定式化される。
本稿では,位相フリップ誤り訂正符号とガウス法則を組み合わせることで,そのような冗長性を利用する簡易なフォールトトレラント法を提案する。
論文 参考訳(メタデータ) (2021-12-09T19:29:34Z) - Random quantum circuits anti-concentrate in log depth [118.18170052022323]
本研究では,典型的な回路インスタンスにおける測定結果の分布に要するゲート数について検討する。
我々の反集中の定義は、予測衝突確率が分布が均一である場合よりも大きい定数因子に過ぎないということである。
ゲートが1D環上で最寄りである場合と、ゲートが長距離である場合の両方において、$O(n log(n))ゲートも十分であることを示す。
論文 参考訳(メタデータ) (2020-11-24T18:44:57Z) - Error-Resilient Floquet Geometric Quantum Computation [0.0]
Floquet GQC (FGQC) は、新しい幾何学的量子計算方式である。
FGQCはグローバルな制御誤差に対して堅牢であることを示す。
この研究は、堅牢な量子計算に向けて重要な一歩を踏み出す。
論文 参考訳(メタデータ) (2020-09-07T16:49:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。