論文の概要: Unitarization Through Approximate Basis
- arxiv url: http://arxiv.org/abs/2104.00785v2
- Date: Mon, 13 Sep 2021 22:45:21 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-05 22:02:42.251133
- Title: Unitarization Through Approximate Basis
- Title(参考訳): 近似基底によるユニタリゼーション
- Authors: Joshua Cook
- Abstract要約: ユニタリゼーションは、全ての$0$状態から量子状態を生成する$k$入力回路を取る問題である。
以下のパラメータの時間に近似した基底を求める。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce the problem of unitarization. Unitarization is the problem of
taking $k$ input quantum circuits that produce orthogonal states from the all
$0$ state, and create an output circuit implementing a unitary with its first
$k$ columns as those states. That is, the output circuit takes the $k$th
computational basis state to the state prepared by the $k$th input circuit. We
allow the output circuit to use ancilla qubits initialized to $0$. But ancilla
qubits must always be returned to $0$ for any input. The input circuits may use
ancilla qubits, but we are only guaranteed the they return ancilla qubits to
$0$ on the all $0$ input.
The unitarization problem seems hard if the output states are neither
orthogonal to or in the span of the computational basis states that need to map
to them. In this work, we approximately solve this problem in the case where
input circuits are given as black box oracles by probably finding an
approximate basis for our states. This method may be more interesting than the
application. This technique is a sort of quantum analogue of Gram-Schmidt
orthogonalization for quantum states.
Specifically, we find an approximate basis in polynomial time for the
following parameters. Take any natural $n$, $k =
O\left(\frac{\ln(n)}{\ln(\ln(n))}\right)$, and $\epsilon =
2^{-O(\sqrt{\ln(n)})}$. Take any $k$ input quantum states, $(|\psi_i
\rangle)_{i\in [k]}$, on polynomial in $n$ qubits prepared by quantum oracles,
$(V_i)_{i \in [k]}$ (that we can control call and control invert). Then there
is a quantum circuit with polynomial size in $n$ with access to the oracles
$(V_i)_{i \in [k]}$ that with at least $1 - \epsilon$ probability, computes at
most $k$ circuits with size polynomial in $n$ and oracle access to $(V_i)_{i
\in [k]}$ that $\epsilon$ approximately computes an $\epsilon$ approximate
orthonormal basis for $(|\psi_i \rangle)_{i\in [k]}$.
- Abstract(参考訳): 我々はユニタリゼーションの問題を紹介する。
ユニタリゼーションは、全ての$0$状態から直交状態を生成する$k$入力量子回路を取り、それらの状態として最初の$k$列を持つユニタリを実装する出力回路を作成するという問題である。
すなわち、出力回路は、$k$th入力回路によって作成された状態に$k$th計算基底状態を取る。
出力回路は、初期化されたancilla qubitsを$0$に使用できるようにする。
しかし、ancilla qubitsはあらゆる入力に対して常に$0$に返さなければならない。
入力回路はancilla qubitsを使用するかもしれないが、すべての$0$入力に対してancilla qubitsを$0$に返せばよい。
ユニタリ化問題は、出力状態が計算基底状態の直交的でない場合や、それらにマップする必要がある場合、難しいように思われる。
本研究では、入力回路がブラックボックスオラクルとして与えられる場合、おそらく我々の状態の近似基底を見つけることで、この問題を概ね解決する。
この方法はアプリケーションよりも興味深いかもしれない。
この手法は、グラムシュミットの量子状態の直交化の量子アナログの一種である。
具体的には、以下のパラメータに対する多項式時間の近似基底を求める。
任意の自然な$n$, $k = O\left(\frac{\ln(n)}{\ln(\ln(n))}\right)$, and $\epsilon = 2^{-O(\sqrt{\ln(n)}$を取る。
任意の$k$入力量子状態、$(|\psi_i \rangle)_{i\in [k]}$、量子オラクルで作られる$n$量子ビットの多項式、$(V_i)_{i \in [k]}$(呼び出しを制御し、反転を制御することができる)
すると、$n$ の多項式サイズを持つ量子回路が存在して、少なくとも 1 - \epsilon$ の確率で、$n$ の大きさ多項式を持つ少なくとも $k$ の回路を計算し、$(V_i)_{i \in [k]} のオラクルアクセスを$(V_i)_{i \in [k]} の量子回路は、$(|\psi_i \rangle)_{i\in [k]} の近似正則基底をおよそ$\epsilon$ の計算を行う。
関連論文リスト
- Low-degree approximation of QAC$^0$ circuits [0.0]
パリティ関数はQAC$0$で計算できないことを示す。
また、$n$ビットのパリティをおよそ計算する深さ$d$のQAC回路には、$2widetildeOmega(n1/d)$が必要であることも示している。
論文 参考訳(メタデータ) (2024-11-01T19:04:13Z) - The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。
アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
論文 参考訳(メタデータ) (2024-10-26T06:21:42Z) - Learning junta distributions and quantum junta states, and QAC$^0$ circuits [0.0]
本稿では,量子ジャンタ分布の学習問題,量子カウンター部,量子ジャンタ状態,QAC$0$回路について考察する。
誤差$varepsilon$を全変動距離で学習できることが示される。
また、$Omega(4k+log (n)/varepsilon2)$コピーの低い境界も証明します。
論文 参考訳(メタデータ) (2024-10-21T09:39:20Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
両部非絡み込み入力から次元独立なk-パーティイトディジアンタングル(類似)チャネルを構築する。
NEXP を捉えるためには、$| psi rangle = sqrta | sqrt1-a | psi_+ rangle という形の非負の振幅を持つのに十分であることを示す。
論文 参考訳(メタデータ) (2024-02-23T12:22:03Z) - Spacetime-Efficient Low-Depth Quantum State Preparation with
Applications [93.56766264306764]
任意の量子状態を作成するための新しい決定論的手法は、以前の方法よりも少ない量子資源を必要とすることを示す。
我々は、量子機械学習、ハミルトンシミュレーション、方程式の線形系を解くことなど、この能力が役立ついくつかのアプリケーションを強調した。
論文 参考訳(メタデータ) (2023-03-03T18:23:20Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
状態の量子多様体のすべての性質がゲージ不変のバーグマンによって完全に記述されることを示す。
偏光理論への我々の結果の即時適用について述べる。
論文 参考訳(メタデータ) (2022-05-30T18:01:34Z) - Optimal (controlled) quantum state preparation and improved unitary
synthesis by quantum circuits with any number of ancillary qubits [20.270300647783003]
制御量子状態準備(CQSP)は、与えられた$n$-qubit状態に対するすべての$iin 0,1k$に対して、$|irangle |0nrangleから |irangle |psi_irangle $への変換を提供することを目的としている。
我々は、深さ$Oleft(n+k+frac2n+kn+k+mright)$とサイズ$Oleft(2n+kright)$のCQSPを実装するための量子回路を構築する。
論文 参考訳(メタデータ) (2022-02-23T04:19:57Z) - Asymptotically Optimal Circuit Depth for Quantum State Preparation and
General Unitary Synthesis [24.555887999356646]
この問題は量子アルゴリズム設計、ハミルトニアンシミュレーション、量子機械学習において基本的な重要性を持っているが、その回路深さと大きさの複雑さは、アシラリー量子ビットが利用可能である時点では未解決のままである。
本稿では,$psi_vrangle$を奥行きで作成できる$m$Acillary qubitsを用いた量子回路の効率的な構築について検討する。
我々の回路は決定論的であり、状態を準備し、正確にユニタリを実行し、アシラリー量子ビットを厳密に利用し、深さは幅広いパラメータ状態において最適である。
論文 参考訳(メタデータ) (2021-08-13T09:47:11Z) - Learning quantum circuits of some $T$ gates [10.609715843964263]
クリフォード群以外の回路を扱う方法は不明である。
本稿では,$T$-depth 1回路の出力状態が,フルT$-rankを安定化器擬似混合器で表すことができることを示す。
論文 参考訳(メタデータ) (2021-06-23T16:43:01Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。