論文の概要: Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
- arxiv url: http://arxiv.org/abs/2101.08939v5
- Date: Thu, 20 Mar 2025 02:17:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-21 12:14:40.760991
- Title: Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
- Title（参考訳）: HoareがHeisenbergと出会う - 量子プログラムのための軽量論理
- Authors: Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey,
- Abstract要約: We show that Gottesman's semantics for Clifford circuits based on the Heisenberg representations gives up to a lightweight Hoare-like logic。
我々の応用には、(i)補助量子ビットを安全に配置できるかどうかを認証すること、(ii)所定の安定化器符号に対するゲートの正当性をチェックすること、(iv)計算後状態を含む。
- 参考スコア（独自算出の注目度）: 0.932065750652415
- License:
- Abstract: We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a common subset of quantum programs. Our applications include (i) certifying whether auxiliary qubits can be safely disposed of, (ii) determining if a system is separable across a given bipartition, (iii) checking the transversality of a gate with respect to a given stabilizer code, and (iv) computing post-measurement states for computational basis measurements. Further, this logic is extended to accommodate universal quantum computing by deriving Hoare triples for the $T$-gate, multiply-controlled unitaries such as the Toffoli gate, and some gate injection circuits that use associated magic states. A number of interesting results emerge from this logic, including a lower bound on the number of $T$ gates necessary to perform a multiply-controlled $Z$ gate.
- Abstract（参考訳）: We show that Gottesman's semantics for Clifford circuits based on the Heisenberg representations brings to a light Hoare-like logic to efficient characterize a common subset of quantum program。
私たちのアプリケーションには
一 補助量子ビットを安全に処分することができるか否かの証明
二 系が所定の二分法で分離可能かどうかを定めること。
三 所定の安定度コードに関する門の横断性をチェックすること。
(4)計算基礎測定のための計測後状態の計算
さらに、この論理は、$T$-gateのHoare三重項、Toffoliゲートのような乗算制御されたユニタリ、および関連するマジック状態を使用するゲートインジェクション回路を導出することにより、普遍的な量子コンピューティングに対応するように拡張される。
この論理から、乗算制御された$Z$ゲートを実行するのに必要な$T$ゲートの数に対する低いバウンドを含む、多くの興味深い結果が現れる。
関連論文リスト
- Universal quantum computation via scalable measurement-free error correction [45.29832252085144]
本研究では,中間回路計測を行なわずに誤り訂正を行うシナリオにおいて,普遍的な量子計算をフォールトトレラントにすることができることを示す。
論理的な$mathitCCZ$ゲートを実現するため,Bacon-Shor符号の無測定変形プロトコルを導入する。
特に,回路レベルのエラーレートが10～3ドル以下であれば,破れない論理性能が達成可能であることを示す。
論文 参考訳（メタデータ） (2024-12-19T18:55:44Z) - Classical certification of quantum gates under the dimension assumption [0.1874930567916036]
ブラックボックスシナリオで単一量子ビットの量子ゲートを認証する効率的な方法を開発した。
この手法のサンプルの複雑さは$mathrmO(varepsilon-1)$として増加することを証明している。
提案手法は,単一キュービット量子計算においてゲートセットを普遍的に証明するために利用できることを示す。
論文 参考訳（メタデータ） (2024-01-30T13:40:39Z) - One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing [8.478982715648547]
$XX+YY$結合を持つキュービットのスキームは、単一キュービットゲートまでの任意の2キュービットゲートを実現する。
一般的な$n$-qubitゲート合成、量子ボリューム、キュービットルーティングなど、様々な応用において顕著な改善が見られた。
論文 参考訳（メタデータ） (2023-12-09T19:30:31Z) - Realization of Scalable Cirac-Zoller Multi-Qubit Gates [5.309268373861329]
量子コンピューティングの普遍性は、任意の量子計算タスクを 1 と 2 の量子ビット上で動く有限個の論理ゲートに分解できることを示している。
実用的なプロセッサ設計は、2キュービット以上で動作するマルチキュービットゲートの可用性から大きな恩恵を受ける。
ここでは、完全プログラマブルでスケーラブルなCirac-Zollerゲートを実現するために、長いイオン鎖の新たな性能利点を利用する。
論文 参考訳（メタデータ） (2023-01-18T14:34:24Z) - Universal qudit gate synthesis for transmons [44.22241766275732]
超伝導量子プロセッサを設計する。
本稿では,2量子共振共振ゲートを備えたユニバーサルゲートセットを提案する。
ノイズの多い量子ハードウェアのための$rm SU(16)$ゲートの合成を数値的に実証する。
論文 参考訳（メタデータ） (2022-12-08T18:59:53Z) - Universal logic with encoded spin qubits in silicon [1.5796098351442824]
デコヒーレンスフリーのサブシステムでエンコードされ、交換結合型シリコン量子ドットで実現された量子ビットは、フォールトトレラント量子コンピューティングの候補として有望である。
鍵となる困難は、エンタングルゲートは多数の制御パルスと高収率量子ドットアレイを必要とすることである。
ここでは,全制御に必要な機能的利得と,数千の交換パルスの適用に必要なコヒーレンスとを両立させる単一層エッチング定義ゲートアーキテクチャを用いて作製したデバイスについて述べる。
論文 参考訳（メタデータ） (2022-02-08T02:23:46Z) - Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
回路量子力学(cQED)システムにおける格子$Phi4$理論の量子アルゴリズムの実装について論じる。
quditシステムの主な利点は、そのマルチレベル特性により、対角的な単一量子ゲートでしかフィールドの相互作用を実装できないことである。
論文 参考訳（メタデータ） (2021-08-30T16:30:33Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳（メタデータ） (2021-08-03T17:49:09Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳（メタデータ） (2020-07-21T15:36:25Z) - Improving the Performance of Deep Quantum Optimization Algorithms with
Continuous Gate Sets [47.00474212574662]
変分量子アルゴリズムは計算的に難しい問題を解くのに有望であると考えられている。
本稿では,QAOAの回路深度依存性能について実験的に検討する。
この結果から, 連続ゲートセットの使用は, 短期量子コンピュータの影響を拡大する上で重要な要素である可能性が示唆された。
論文 参考訳（メタデータ） (2020-05-11T17:20:51Z) - Simple implementation of high fidelity controlled-$i$SWAP gates and
quantum circuit exponentiation of non-Hermitian gates [0.0]
i$swap ゲートはエンタングリングスワップゲートであり、クォービットの状態がスワップされた場合、クォービットは $i$ の位相を得る。
制御された$i$swapゲートの簡単な実装を示す。
論文 参考訳（メタデータ） (2020-02-26T19:00:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。