論文の概要: A Rich Type System for Quantum Programs
- arxiv url: http://arxiv.org/abs/2101.08939v3
- Date: Fri, 4 Feb 2022 05:33:54 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-14 06:33:41.495433
- Title: A Rich Type System for Quantum Programs
- Title(参考訳): 量子プログラムのためのリッチ型システム
- Authors: Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
- Abstract要約: Gottesmanのセマンティクスは、量子プログラムの共通部分集合を効率的に特徴づける型システムとして扱うことができることを示す。
この型システムは、$T$-gateの型、Toffoliゲートのような多重制御されたユニタリ、および関連するマジック状態を使用するゲートインジェクション回路を導出することで、普遍的な量子コンピューティングに対応するように拡張されている。
- 参考スコア(独自算出の注目度): 1.749935196721634
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We show that Gottesman's semantics (GROUP22, 1998) for Clifford circuits
based on the Heisenberg representation can be treated as a type system that can
efficiently characterize 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 bi-partition, (iii)
checking the transversality of a gate with respect to a given stabilizer code,
and (iv) typing post-measurement states for computational basis measurements.
Further, this type system is extended to accommodate universal quantum
computing by deriving types for the $T$-gate, multiply-controlled unitaries
such as the Toffoli gate, and some gate injection circuits that use associated
magic states. These types allow us to prove a lower bound on the number of $T$
gates necessary to perform a multiply-controlled $Z$ gate.
- Abstract(参考訳): ハイゼンベルク表現に基づくクリフォード回路におけるgottesmanのセマンティクス (group22, 1998) は、量子プログラムの共通部分集合を効率的に特徴付ける型システムとして扱うことができる。
私たちのアプリケーションには
(i)補助キュービットを安全に処分できるかどうかの確認
(ii)あるシステムが所定の二分詞にまたがって分離可能であるかどうかを決定すること。
(iii)所定の安定化コードに関してゲートの横断性をチェックすること、及び
(iv)計算基礎測定のための計測後状態の入力
さらに、この型システムは、$t$ゲートの型、 toffoliゲートのような多重制御されたユニタリ、関連するマジック状態を使用するいくつかのゲートインジェクション回路を導出することにより、ユニバーサル量子コンピューティングに対応するように拡張されている。
これらの型は、マルチプライ制御された$z$ゲートを実行するのに必要な$t$ゲートの数で下限を証明できる。
関連論文リスト
- Classical certification of quantum gates under the dimension assumption [0.1874930567916036]
ブラックボックスシナリオで単一量子ビットの量子ゲートを認証する効率的な方法を開発した。
この手法のサンプルの複雑さは$mathrmO(varepsilon-1)$として増加することを証明している。
提案手法は,単一キュービット量子計算においてゲートセットを普遍的に証明するために利用できることを示す。
論文 参考訳(メタデータ) (2024-01-30T13:40:39Z) - A two-circuit approach to reducing quantum resources for the quantum lattice Boltzmann method [41.66129197681683]
CFD問題を解決するための現在の量子アルゴリズムは、単一の量子回路と、場合によっては格子ベースの方法を用いる。
量子格子ボルツマン法(QLBM)を用いた新しい多重回路アルゴリズムを提案する。
この問題は2次元ナビエ・ストークス方程式の流動関数-渦性定式化として鋳造され、2次元蓋駆動キャビティフローで検証および試験された。
論文 参考訳(メタデータ) (2024-01-20T15:32:01Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。