論文の概要: Elementary Quantum Recursion Schemes That Capture Quantum
Polylogarithmic Time Computability of Quantum Functions
- arxiv url: http://arxiv.org/abs/2311.15884v1
- Date: Mon, 27 Nov 2023 14:53:45 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-28 14:54:45.853663
- Title: Elementary Quantum Recursion Schemes That Capture Quantum
Polylogarithmic Time Computability of Quantum Functions
- Title(参考訳): 量子関数の量子多対数時間計算可能性を取り込む基本量子再帰スキーム
- Authors: Tomoyuki Yamakami
- Abstract要約: 我々は、高速量子再帰(fast quantum recursion)と呼ばれる量子再帰の基本形式を導入し、「要素的」量子関数のEQS(elementary quantum schemes)を定式化する。
このクラスEQTIMESは、BQPOLYLOGTIMEで表される正確に量子対数時間計算性をキャプチャする。
また、よく知られた分割・分散戦略を実装するアルゴリズム的な手続きスキームについても検討する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum computing has been studied over the past four decades based on two
computational models of quantum circuits and quantum Turing machines. To
capture quantum polynomial-time computability, a new recursion-theoretic
approach was taken lately by Yamakami [J. Symb. Logic 80, pp. 1546--1587, 2020]
by way of recursion schematic definitions, which constitute six initial quantum
functions and three construction schemes of composition, branching, and
multi-qubit quantum recursion. By taking a similar approach, we look into
quantum logarithmic-time computability and further explore the expressing power
of elementary schemes designed for such quantum computation. In particular, we
introduce an elementary form of the quantum recursion, called the fast quantum
recursion and formulate EQS (elementary quantum schemes) of "elementary"
quantum functions. This class EQS captures exactly quantum logarithmic-time
computability, represented by BQPOLYLOGTIME. We also demonstrate the separation
of BQPOLYLOGTIME from NLOGTIME and PPOLYLOGTIME. As a natural extension of EQS,
we further consider an algorithmic procedural scheme that implements the
well-known divide-and-conquer strategy. This divide-and-conquer scheme helps
compute the parity function but the scheme cannot be realized within our system
EQS.
- Abstract(参考訳): 量子コンピューティングは、過去40年間、量子回路と量子チューリングマシンの2つの計算モデルに基づいて研究されてきた。
量子多項式時間計算性を捉えるために, 山上(J. Symb. Logic 80, pp. 1546-1587, 2020)により, 6つの初期量子関数と合成,分岐,多ビット量子再帰の3つの構成スキームを構成する再帰的スキーマ定義を用いて, 新たな再帰論的アプローチを最近行った。
同様のアプローチをとることで、量子対数時間計算可能性を調べ、そのような量子計算のために設計された基本スキームの表現力をさらに探究する。
特に、高速量子再帰(fast quantum recursion)と呼ばれる量子再帰の基本形式を導入し、"要素的"量子関数のeqs(elementary quantum schemes)を定式化する。
このクラスEQSは、BQPOLYLOGTIMEで表される正確に量子対数時間計算性をキャプチャする。
また,NLOGTIMEとPPOLYLOGTIMEの分離を実証した。
EQSの自然な拡張として、よく知られた分割・参照戦略を実装するアルゴリズム的な手続きスキームについても検討する。
この分譲・分譲方式はパリティ関数の計算に役立ちますが,システムEQSでは実現できません。
関連論文リスト
- Parameterized quantum comb and simpler circuits for reversing unknown
qubit-unitary operations [8.630679964089696]
PQCombは、パラメータ化された量子回路を利用して量子コムの能力を探索するフレームワークである。
我々は、アンシラ量子ビットのオーバーヘッドを6から3に削減する未知の量子ビットユニタリインバージョンのためのプロトコルを開発する。
量子コンピューティングと量子情報におけるより広範なPQComb応用の道を開いた。
論文 参考訳(メタデータ) (2024-03-06T14:53:24Z) - Hamiltonian Encoding for Quantum Approximate Time Evolution of Kinetic
Energy Operator [2.184775414778289]
時間進化作用素は、量子コンピュータにおける化学実験の正確な計算において重要な役割を果たす。
我々は、運動エネルギー演算子の量子化のための新しい符号化法、すなわち量子近似時間発展法(QATE)を提案している。
論文 参考訳(メタデータ) (2023-10-05T05:25:38Z) - Assisted quantum simulation of open quantum systems [0.0]
NISQ技術を用いてUQAの回路深さを低減する量子支援量子アルゴリズムを導入する。
オープン量子システムをシミュレーションするための量子支援量子アルゴリズムを2つ提案する。
論文 参考訳(メタデータ) (2023-02-26T11:41:02Z) - A quantum Fourier transform (QFT) based note detection algorithm [0.0]
量子情報処理において、量子変換(QFT)は多くの応用がある。
シミュレーションと実量子コンピュータの両方で量子音符検出アルゴリズムを作成する。
論文 参考訳(メタデータ) (2022-04-25T16:45:56Z) - Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。
解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文 参考訳(メタデータ) (2021-08-30T23:50:05Z) - An Algebraic Quantum Circuit Compression Algorithm for Hamiltonian
Simulation [55.41644538483948]
現在の世代のノイズの多い中間スケール量子コンピュータ(NISQ)は、チップサイズとエラー率に大きく制限されている。
我々は、自由フェルミオンとして知られる特定のスピンハミルトニアンをシミュレーションするために、量子回路を効率よく圧縮するために局所化回路変換を導出する。
提案した数値回路圧縮アルゴリズムは、後方安定に動作し、$mathcalO(103)$スピンを超える回路合成を可能にするスピンの数で3次スケールする。
論文 参考訳(メタデータ) (2021-08-06T19:38:03Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳(メタデータ) (2021-06-06T13:15:25Z) - Variational quantum compiling with double Q-learning [0.37798600249187286]
強化学習(RL)に基づく変分量子コンパイル(VQC)アルゴリズムを提案する。
エージェントは、ネイティブゲートアルファベットとそれらが行う量子ビットから、二重Q学習によって順次量子ゲートを選択するように訓練される。
NISQデバイスのデコヒーレンスプロセスとゲートノイズによる量子アルゴリズムのエラーを減らすことができます。
論文 参考訳(メタデータ) (2021-03-22T06:46:35Z) - Imaginary Time Propagation on a Quantum Chip [50.591267188664666]
想像時間における進化は、量子多体系の基底状態を見つけるための顕著な技術である。
本稿では,量子コンピュータ上での仮想時間伝搬を実現するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-02-24T12:48:00Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
53量子ビット量子プロセッサにおける量子スクランブルのダイナミクスを実験的に検討する。
演算子の拡散は効率的な古典的モデルによって捉えられるが、演算子の絡み合いは指数関数的にスケールされた計算資源を必要とする。
論文 参考訳(メタデータ) (2021-01-21T22:18:49Z) - Quantum Phases of Matter on a 256-Atom Programmable Quantum Simulator [41.74498230885008]
決定論的に作成された中性原子の2次元配列に基づくプログラマブル量子シミュレータを実証する。
我々は高忠実度反強磁性状態の生成と特徴付けによりシステムをベンチマークする。
次に、相互作用とコヒーレントレーザー励起の間の相互作用から生じるいくつかの新しい量子相を作成し、研究する。
論文 参考訳(メタデータ) (2020-12-22T19:00:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。