論文の概要: Computational self-testing of multi-qubit states and measurements
- arxiv url: http://arxiv.org/abs/2201.13430v1
- Date: Mon, 31 Jan 2022 18:42:45 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-27 05:14:43.527193
- Title: Computational self-testing of multi-qubit states and measurements
- Title(参考訳): マルチキュービット状態の計算自己検査と測定
- Authors: Honghao Fu, Daochen Wang, Qi Zhao
- Abstract要約: 1つの量子デバイスの1つのEPR対が、標準的な計算仮定の下で自己テスト可能であることを示す。
提案手法は,poly$(N)$リソースを用いて,真正な量子デバイスによって1ドル近い確率で通過可能であることを示す。
我々のプロトコルの簡易バージョンは、クラウド量子コンピュータの任意の数の量子ビットを効率的に認証できる最初のものである。
- 参考スコア(独自算出の注目度): 20.001106566643738
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Self-testing is a fundamental technique within quantum information theory
that allows a classical verifier to force (untrusted) quantum devices to
prepare certain states and perform certain measurements on them. The standard
approach assumes at least two spatially separated devices. Recently, Metger and
Vidick [Quantum, 2021] showed that a single EPR pair of a single quantum device
can be self-tested under standard computational assumptions. In this work, we
generalize their techniques to give the first protocol that self-tests $N$ EPR
pairs and measurements in the single-device setting under the same
computational assumptions. We show that our protocol can be passed with
probability negligibly close to $1$ by an honest quantum device using poly$(N)$
resources. Moreover, we show that any quantum device that fails our protocol
with probability at most $\epsilon$ must be poly$(N,\epsilon)$-close to being
honest in the appropriate sense. In particular, a simplified version of our
protocol is the first that can efficiently certify an arbitrary number of
qubits of a cloud quantum computer, on which we cannot enforce spatial
separation, using only classical communication.
- Abstract(参考訳): 自己検査は、古典的検証器が(信頼できない)量子デバイスに特定の状態を準備し、それらの上で特定の測定を行うことを可能にする、量子情報理論の基本的な技術である。
標準的なアプローチでは、少なくとも2つの空間分離デバイスが想定されている。
近年,Metger と Vidick [Quantum, 2021] は,単一の量子デバイスの単一 EPR 対を,標準的な計算仮定の下で自己検証できることを示した。
本研究では,これらの手法を一般化し,同一の計算仮定の下で,N$ EPRペアと測定値の自己検証を行う最初のプロトコルを提供する。
提案手法は,poly$(N)$リソースを用いて,真正な量子デバイスによって1ドル近い確率で通過可能であることを示す。
さらに、最大$\epsilon$の確率でプロトコルに失敗する量子デバイスは、適切な意味で正直であることに近いpoly$(n,\epsilon)$でなければならないことを示した。
特に、我々のプロトコルの単純化版は、古典的通信のみを使用して空間的分離を強制できないクラウド量子コンピュータの任意の数の量子ビットを効率的に証明できる最初のものである。
関連論文リスト
- Self-testing memory-bounded quantum computers [0.1874930567916036]
単一デバイス構成で量子システム・クイズと呼ばれるプロトコルを提案する。
このプロトコルは、ブラックボックスシナリオで状態準備、ゲート、測定によって与えられる全量子モデルの自己検査を実現する。
我々は,任意の量子ビット数に対して,複数量子ビットの普遍ゲートを自己テストする命令の集合を同定し,メモリバウンド量子コンピュータのための最初の音響認証ツールを提供する。
論文 参考訳(メタデータ) (2024-11-06T19:23:45Z) - Certifying classes of $d$-outcome measurements with quantum steering [49.1574468325115]
我々は、$d$-outcomesの射影測度の大きなクラスに合わせて、ステアリングの不平等の族を構築する。
これらの不等式に対する最大量子違反は、これらの測定の証明と2つの四重項の最大エンタングル状態に利用できることを証明している。
論文 参考訳(メタデータ) (2024-10-27T15:32:53Z) - Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。
既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。
我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文 参考訳(メタデータ) (2024-05-24T17:33:10Z) - Simulation of IBM's kicked Ising experiment with Projected Entangled
Pair Operator [71.10376783074766]
我々は最近,誤りを軽減した量子回路を用いてエミュレートされた127量子ビットキックド・イジングモデルの古典的シミュレーションを行った。
提案手法はハイゼンベルク図の射影的絡み合ったペア作用素(PEPO)に基づいている。
我々はクリフォード展開理論を開発し、正確な期待値を計算し、それらをアルゴリズムの評価に利用する。
論文 参考訳(メタデータ) (2023-08-06T10:24:23Z) - Quantum delegation with an off-the-shelf device [3.3766484312332303]
我々は, OTSモデルを用いて, 時間量子計算の委譲方法を示す。
これはQMAに対する最初の相対論的(1ラウンド)2プロップゼロ知識証明システムを提供する。
証明手法として、定数サイズのパウリ測度のみを用いて、n個のEPR対に対する新しい自己検定を行う。
論文 参考訳(メタデータ) (2023-04-07T02:43:06Z) - Parallel remote state preparation for fully device-independent verifiable blind quantum computation [0.0]
本稿では,古典的検証器が簡単な量子計測装置(クライアントデバイス)を用いて,信頼できない量子サーバに量子計算を委譲する,デバイス非依存の2プロデューサ方式を提案する。
本研究では,Fitzsimons と Kashefi (VBQC) の無条件完全検証型ブラインド量子計算方式を用いて,デバイスに依存しない$n$ qubitsのリモート状態生成を行うための並列セルフテストプロトコルを構築した。
我々の自己テストは、我々が検討するアプリケーションに望ましい多くの特性を達成し、実用的で完全にデバイスに依存しないVBQCを生み出します。
論文 参考訳(メタデータ) (2022-12-11T08:17:43Z) - Validation tests of GBS quantum computers give evidence for quantum
advantage with a decoherent target [62.997667081978825]
複数モードデータの検証に指紋としてグループカウント確率の正P位相空間シミュレーションを用いる。
偽データを解き放つ方法を示し、これを古典的なカウントアルゴリズムに適用する。
論文 参考訳(メタデータ) (2022-11-07T12:00:45Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Preparation of excited states for nuclear dynamics on a quantum computer [117.44028458220427]
量子コンピュータ上で励起状態を作成するための2つの異なる方法を研究する。
シミュレーションおよび実量子デバイス上でこれらの手法をベンチマークする。
これらの結果から,フォールトトレラントデバイスに優れたスケーリングを実現するために設計された量子技術が,接続性やゲート忠実性に制限されたデバイスに実用的なメリットをもたらす可能性が示唆された。
論文 参考訳(メタデータ) (2020-09-28T17:21:25Z) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。
我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。
我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
論文 参考訳(メタデータ) (2020-04-14T11:05:26Z) - Self-testing of a single quantum device under computational assumptions [7.716156977428555]
自己検査は、古典的な入出力相関のみに基づいて任意の量子システムを特徴づける手法である。
我々は、実際には実施が難しい複数の非通信当事者の設定を、1つの計算上の有界な当事者によって置き換える。
論文 参考訳(メタデータ) (2020-01-24T19:00:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。