論文の概要: Are controlled unitaries helpful?
- arxiv url: http://arxiv.org/abs/2508.00055v1
- Date: Thu, 31 Jul 2025 18:00:01 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-04 18:08:53.610648
- Title: Are controlled unitaries helpful?
- Title(参考訳): コントロールされたユニタリは役に立つか?
- Authors: Ewin Tang, John Wright,
- Abstract要約: 我々は、$cU$にアクセスすることは、大規模な量子問題には役に立たないことを示した。
量子回路を$U$と$Udagger$だけ使い、$|psi(varphi U)rangle$を出力する。
- 参考スコア(独自算出の注目度): 3.084918555654188
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Many quantum algorithms, to compute some property of a unitary $U$, require access not just to $U$, but to $cU$, the unitary with a control qubit. We show that having access to $cU$ does not help for a large class of quantum problems. For a quantum circuit which uses $cU$ and $cU^\dagger$ and outputs $|\psi(U)\rangle$, we show how to ``decontrol'' the circuit into one which uses only $U$ and $U^\dagger$ and outputs $|\psi(\varphi U)\rangle$ for a uniformly random phase $\varphi$, with a small amount of time and space overhead. When we only care about the output state up to a global phase on $U$, then the decontrolled circuit suffices. Stated differently, $cU$ is only helpful because it contains global phase information about $U$. A version of our procedure is described in an appendix of Sheridan, Maslov, and Mosca [SMM09]. Our goal with this work is to popularize this result by generalizing it and investigating its implications, in order to counter negative results in the literature which might lead one to believe that decontrolling is not possible. As an application, we give a simple proof for the existence of unitary ensembles which are pseudorandom under access to $U$, $U^\dagger$, $cU$, and $cU^\dagger$.
- Abstract(参考訳): 多くの量子アルゴリズムは、単位の$U$のプロパティを計算するためには、$U$だけでなく、制御キュービットを持つユニタリの$cU$にもアクセスする必要がある。
我々は、$cU$にアクセスすることは、大規模な量子問題には役に立たないことを示した。
例えば、$cU$と$cU^\dagger$を使用し、$|\psi(U)\rangle$を出力する量子回路の場合、$U$と$U^\dagger$のみを使用し、$|\psi(\varphi U)\rangle$を一様ランダム位相$\varphi$に対して出力する。
出力状態が$U$のグローバルフェーズにしか関心がない場合、制御不能な回路は十分である。
異なる言い方をすれば、$cU$は、$U$に関するグローバルフェーズ情報を含むためだけ有用である。
手順のバージョンはSheridan, Maslov, Mosca [SMM09]の付録に記載されている。
この研究の目標は、この結果を一般化し、その含意を調査することで普及させることであり、非制御が不可能であると考える文献に否定的な結果をもたらす可能性がある。
アプリケーションとして、$U$, $U^\dagger$, $cU$, $cU^\dagger$ に擬似的にアクセスできないユニタリアンサンブルの存在の簡単な証明を与える。
関連論文リスト
- Learning junta distributions, quantum junta states, and QAC$^0$ circuits [0.0]
本稿では, 量子分布(量子ユンタ状態)と$mathsfQAC0$回路の学習問題を考察する。
例えば$n$-qubit $mathsfQAC0$の回路は$s$、deep $d$、$a$の補助キュービットは2O(log(s22a)d)log (n)$のChoi状態のコピーから学習可能であることを示す。
論文 参考訳(メタデータ) (2024-10-21T09:39:20Z) - LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
任意の$K$に対して、$n$とは独立に「普遍集合」$Uサブセット[n]$が存在し、任意の$Q$と任意の行$i$に対して、大きな注目スコアが$A_i,j$ in row $i$ of $A$は全て$jin U$を持つことを示す。
我々は、視覚変換器のスキームの利点を実証的に示し、トレーニング中に我々の普遍的なセットを使用する新しいモデルのトレーニング方法を示した。
論文 参考訳(メタデータ) (2024-10-07T19:47:13Z) - Efficient Circuit-Based Quantum State Tomography via Sparse Entry Optimization [0.6008132390640295]
我々は、$n$量子ビット状態を$k$非ゼロエントリで再構成する効率的な回路ベースの量子状態トモグラフィー手法を提案する。
我々は、$|psirangle$ における 0 でないエントリの位置に基づいて、CNOT ゲートの数に上限を与える。
論文 参考訳(メタデータ) (2024-07-29T02:59:13Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
両部非絡み込み入力から次元独立なk-パーティイトディジアンタングル(類似)チャネルを構築する。
NEXP を捉えるためには、$| psi rangle = sqrta | sqrt1-a | psi_+ rangle という形の非負の振幅を持つのに十分であることを示す。
論文 参考訳(メタデータ) (2024-02-23T12:22:03Z) - Tight Bounds for Quantum Phase Estimation and Related Problems [0.90238471756546]
精度$delta$と誤差確率$epsilon$は$Omegaleft(frac1deltalog1epsilonright)$であることを示す。
また、多くのアドバイス(アドバイス準備ユニタリの応用)を持つことは、コストを大幅に削減することはなく、また、$U$の固有値に関する知識も少なくないことも示している。
論文 参考訳(メタデータ) (2023-05-08T17:46:01Z) - Spacetime-Efficient Low-Depth Quantum State Preparation with
Applications [93.56766264306764]
任意の量子状態を作成するための新しい決定論的手法は、以前の方法よりも少ない量子資源を必要とすることを示す。
我々は、量子機械学習、ハミルトンシミュレーション、方程式の線形系を解くことなど、この能力が役立ついくつかのアプリケーションを強調した。
論文 参考訳(メタデータ) (2023-03-03T18:23:20Z) - Low-Stabilizer-Complexity Quantum States Are Not Pseudorandom [1.0323063834827415]
安定度が低い」量子状態は、Haar-randomと効率的に区別できることを示す。
我々は、計算的に擬似ランダムな量子状態を作成するためには、任意のクリフォード+$T$回路に対して$omega(log(n))$$T$-gatesが必要であることを証明した。
論文 参考訳(メタデータ) (2022-09-29T03:34:03Z) - Divide-and-conquer verification method for noisy intermediate-scale
quantum computation [0.0]
ノイズの多い中間スケールの量子計算は、スパース量子コンピューティングチップ上の対数深度量子回路と見なすことができる。
このようなノイズの多い中間スケール量子計算を効率よく検証する手法を提案する。
論文 参考訳(メタデータ) (2021-09-30T08:56:30Z) - Simplest non-additive measures of quantum resources [77.34726150561087]
我々は $cal E(rhootimes N) = E(e;N) ne Ne$ で説明できる測度について研究する。
論文 参考訳(メタデータ) (2021-06-23T20:27:04Z) - Learning a Latent Simplex in Input-Sparsity Time [58.30321592603066]
我々は、$AinmathbbRdtimes n$へのアクセスを考えると、潜入$k$-vertex simplex $KsubsetmathbbRdtimes n$を学習する問題を考える。
実行時間における$k$への依存は、トップ$k$特異値の質量が$a$であるという自然な仮定から不要であることを示す。
論文 参考訳(メタデータ) (2021-05-17T16:40:48Z) - Tamper Detection against Unitary Operators [0.0]
量子能力を持つ相手に対するタンパー検出符号の理論の範囲を広げる。
量子コードワード$vert psi_m rungle$は、既知の改ざんユニタリファミリーからのユニタリ$U$を介して逆向きに改ざんすることができる。
ユニタリ演算子の族に量子タンパー検出符号が存在することを示す。
論文 参考訳(メタデータ) (2021-05-10T16:26:41Z) - Unitarization Through Approximate Basis [0.0]
ユニタリゼーションは、全ての$0$状態から量子状態を生成する$k$入力回路を取る問題である。
以下のパラメータの時間に近似した基底を求める。
論文 参考訳(メタデータ) (2021-04-01T22:11:05Z) - An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
すべての決定木に対して、与えられた順序 $ellsqrtbinomdell (1+log n)ell-1,$ sum to at least $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, $c>0$ is a absolute constant。
論文 参考訳(メタデータ) (2020-08-24T06:50:57Z) - Locally Private Hypothesis Selection [96.06118559817057]
我々は、$mathcalQ$から$p$までの総変動距離が最良の分布に匹敵する分布を出力する。
局所的な差分プライバシーの制約は、コストの急激な増加を引き起こすことを示す。
提案アルゴリズムは,従来手法のラウンド複雑性を指数関数的に改善する。
論文 参考訳(メタデータ) (2020-02-21T18:30:48Z) - Quantum Coupon Collector [62.58209964224025]
我々は、$k$-要素集合$Ssubseteq[n]$が、その要素の一様重ね合わせ$|Srangleからいかに効率的に学習できるかを研究する。
我々は、$k$と$n$ごとに必要となる量子サンプルの数に厳密な制限を与え、効率的な量子学習アルゴリズムを与える。
論文 参考訳(メタデータ) (2020-02-18T16:14:55Z) - Tight Quantum Lower Bound for Approximate Counting with Quantum States [49.6558487240078]
Aaronson, Kothari, Kretschmer, Thaler (2020) が考える数え上げ問題の次の変種に対する厳密な下界を証明する。
このタスクは、入力セット$xsubseteq [n]$が$k$か$k'=(1+varepsilon)k$であるかどうかを識別する。
論文 参考訳(メタデータ) (2020-02-17T10:53:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。