論文の概要: Linear gate bounds against natural functions for position-verification
- arxiv url: http://arxiv.org/abs/2402.18648v1
- Date: Wed, 28 Feb 2024 19:00:10 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-01 17:03:27.117604
- Title: Linear gate bounds against natural functions for position-verification
- Title(参考訳): 位置検証のための自然関数に対する線形ゲート境界
- Authors: Vahid Asadi, Richard Cleve, Eric Culf, Alex May
- Abstract要約: 量子位置検証スキームは、証明者の空間的位置を検証しようとする。
我々は、$f$-routing と $f-BB84 という2つのよく研究された位置検証スキームについて考察する。
我々の証明は、古典的な通信と共有の絡み合いを伴う同時メッセージパッシングの削減を利用する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A quantum position-verification scheme attempts to verify the spatial
location of a prover. The prover is issued a challenge with quantum and
classical inputs and must respond with appropriate timings. We consider two
well-studied position-verification schemes known as $f$-routing and $f$-BB84.
Both schemes require an honest prover to locally compute a classical function
$f$ of inputs of length $n$, and manipulate $O(1)$ size quantum systems. Taking
$f(x,y)=\sum_i x_i y_i$ to be the inner product function, we prove that a
dishonest prover must execute $\Omega(n)$ quantum gates or single qubit
measurements. Our proof uses a reduction to simultaneous message passing with
classical communication and shared entanglement. The scheme is feasible for a
prover with polynomial classical resources and $O(1)$ quantum resources, and
secure against sub-linear quantum resources.
- Abstract(参考訳): 量子位置検証スキームは、証明者の空間的位置の検証を試みる。
証明者は量子および古典的な入力で挑戦され、適切なタイミングで応答しなければならない。
我々は、$f$-routingと$f$-BB84と呼ばれる2つのよく研究された位置検証スキームを考える。
どちらのスキームも、古典関数 $f$ の長さ $n$ の入力を局所的に計算し、$O(1)$ サイズの量子システムを操作することを要求する。
内部積関数として$f(x,y)=\sum_i x_i y_i$ とすると、不正直な証明者は量子ゲートや単一量子ビットの測定を$\Omega(n)$ で実行しなければならない。
この証明は、古典的コミュニケーションと共有の絡み合いによる同時メッセージパッシングの削減を用いる。
このスキームは多項式古典的リソースと$o(1)$量子リソースを持つ証明者に対して実現可能であり、サブ線形量子リソースに対してセキュアである。
関連論文リスト
- Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Quantum Resources Required to Block-Encode a Matrix of Classical Data [56.508135743727934]
回路レベルの実装とリソース推定を行い、古典データの高密度な$Ntimes N$行列をブロックエンコードして$epsilon$を精度良くすることができる。
異なるアプローチ間のリソーストレードオフを調査し、量子ランダムアクセスメモリ(QRAM)の2つの異なるモデルの実装を検討する。
我々の結果は、単純なクエリの複雑さを超えて、大量の古典的データが量子アルゴリズムにアクセスできると仮定された場合のリソースコストの明確な図を提供する。
論文 参考訳(メタデータ) (2022-06-07T18:00:01Z) - Efficient Bipartite Entanglement Detection Scheme with a Quantum
Adversarial Solver [89.80359585967642]
パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。
このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
論文 参考訳(メタデータ) (2022-03-15T09:46:45Z) - Halving the cost of quantum multiplexed rotations [0.0]
我々は、$c$制御を持つ多重量子ゲートの$b$-bit近似に必要な$T$ゲートの数を改善する。
以上の結果から,2要素あるいはテンソルハイパーコントラクション表現の量子化に基づく最先端電子構造シミュレーションのコストを約半分に抑えることができた。
論文 参考訳(メタデータ) (2021-10-26T06:49:44Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Quantum copy-protection of compute-and-compare programs in the quantum
random oracle model [74.52678585199014]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z) - Quantum advantage for computations with limited space [6.327095331866255]
我々は、入力が読み取り専用メモリであり、1(qu)ビットしか計算できない空間制限型計算を考える。
我々は、量子回路による3ドル、4ドル、5ドル、6ドルという計算を、カスタム2量子ゲートを利用して実験的に実証した。
論文 参考訳(メタデータ) (2020-08-14T17:31:12Z) - Implementing a Fast Unbounded Quantum Fanout Gate Using Power-Law
Interactions [0.9634136878988853]
距離において1/ラルファ$の強度が減衰するパワーロー相互作用は、情報処理のための実験的に実現可能な資源を提供する。
我々はこれらの相互作用のパワーを活用して、任意の数のターゲットを持つ高速量子ファンアウトゲートを実装する。
我々は、ファリングが古典的に難解であるという標準的な仮定の下で、$alpha le D$ のパワーロー系は、短時間でも古典的にシミュレートすることは困難であることを示す。
論文 参考訳(メタデータ) (2020-07-01T18:00:00Z) - 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) - Computational advantage from quantum superposition of multiple temporal
orders of photonic gates [0.0]
制御量子システムは、ターゲット量子システムが$N$ゲート操作を行う順序をコヒーレントに決定することができる。
我々は、フォトニック偏光量子ビットに作用する$N=4$ゲートを持つ量子$N$スイッチを実験的に実証した。
これは、N=2$時間オーダー以上の量子重ね合わせの初めての観測である。
論文 参考訳(メタデータ) (2020-02-18T19:00:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。