論文の概要: Quantum Software Models: The Density Matrix for Classical and Quantum
Software Systems Design
- arxiv url: http://arxiv.org/abs/2103.13755v1
- Date: Thu, 25 Mar 2021 11:12:56 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-06 21:42:39.048741
- Title: Quantum Software Models: The Density Matrix for Classical and Quantum
Software Systems Design
- Title(参考訳): 量子ソフトウェアモデル:古典的および量子的ソフトウェアシステム設計のための密度行列
- Authors: Iaakov Exman and Alon Tsalik Shmilovich
- Abstract要約: 量子コンピュータに対する最近の研究努力は、量子コンピューティングが古典コンピューティングの実用的な代替品として、時間をかけて実現できるという期待を高めている。
本稿では,設計密度行列から得られる射影演算子の観点からモジュラー設計を定式化し,実証する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Linear Software Models enable rigorous linear algebraic procedures for
modular design of classical software systems. These procedures apply a spectral
approach to matrix representations - e.g. the Laplacian - of the software
system. Recent intensive research efforts towards quantum computers have
increased expectations that quantum computing could in due time materialize as
a practical alternative to classical computing. It is reasonable to inquire
about quantum software desirable features and prepare in advance modular design
procedures for quantum software systems. However, it does not make sense to
have two totally separate procedures for modular design, one for classical
software systems and another for quantum software systems. This paper claims
that there should be just a single unified and rigorous design procedure for
both classical and quantum software systems. Our common design procedure
starting point for both classical and quantum software systems is Von Neumann
quantum notion of Density Operator and its Density Matrix representation. This
paper formulates and demonstrates modular design in terms of projection
operators obtained from a design Density Matrix and shows their equivalence to
the Linear Software Models results of the Laplacian matrix spectrum for the
classical case. The application in practice of the design procedure for both
classical and quantum software is illustrated by case studies.
- Abstract(参考訳): 線形ソフトウェアモデルは、古典的ソフトウェアシステムのモジュラー設計のための厳密な線形代数的手続きを可能にする。
これらの手順は、ソフトウェアシステムの行列表現(例えばラプラシアン)にスペクトル的アプローチを適用する。
量子コンピュータに対する近年の集中的な研究は、量子コンピューティングが古典コンピューティングの実用的な代替手段として実現できるという期待を高めている。
量子ソフトウェアに望ましい機能について問い合わせ、量子ソフトウェアシステムのモジュール設計手順を事前に準備することは合理的である。
しかし、モジュール設計には古典的ソフトウェアシステムと量子ソフトウェアシステムには2つの全く別の手順があるというわけにはいかない。
この論文は、古典的および量子的両方のソフトウェアシステムに対して、単一の統一的で厳密な設計手順が存在するべきだと主張している。
古典的および量子的ソフトウェアシステムの共通設計手順は、密度演算子のフォン・ノイマン量子概念とその密度行列表現である。
本稿では、設計密度行列から得られる射影演算子を用いてモジュラー設計を定式化し、古典的ケースに対するラプラシア行列スペクトルの線形ソフトウェアモデルと等価性を示す。
古典的ソフトウェアと量子ソフトウェアの両方の設計手順を実践するアプリケーションは、ケーススタディによって示される。
関連論文リスト
- Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum
Circuit Simulation [65.93830818469833]
テンソルネットワークと決定図は、異なる視点、用語、背景を念頭に、独立して開発されている。
これらの手法が古典的量子回路シミュレーションにどのようにアプローチするかを考察し、最も適用可能な抽象化レベルに関してそれらの相似性を考察する。
量子回路シミュレーションにおいて,テンソルネットワークの使い勝手の向上と決定図の使い勝手の向上に関するガイドラインを提供する。
論文 参考訳(メタデータ) (2023-02-13T19:00:00Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳(メタデータ) (2023-01-04T23:37:45Z) - Qimaera: Type-safe (Variational) Quantum Programming in Idris [0.0]
変分量子アルゴリズム(英: Variational Quantum Algorithms)は、古典的および量子的計算をタンデムで処理し、計算問題を解くハイブリッド古典量子アルゴリズムである。
QimaeraはIdris 2プログラミング言語のライブラリセットで、プログラマが可変量子アルゴリズムを実装できる。
論文 参考訳(メタデータ) (2021-11-21T17:46:25Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳(メタデータ) (2021-10-04T12:20:23Z) - Quantum algorithms for quantum dynamics: A performance study on the
spin-boson model [68.8204255655161]
量子力学シミュレーションのための量子アルゴリズムは、伝統的に時間進化作用素のトロッター近似の実装に基づいている。
変分量子アルゴリズムは欠かせない代替手段となり、現在のハードウェア上での小規模なシミュレーションを可能にしている。
量子ゲートコストが明らかに削減されているにもかかわらず、現在の実装における変分法は量子的優位性をもたらすことはありそうにない。
論文 参考訳(メタデータ) (2021-08-09T18:00:05Z) - Quantum Deformed Neural Networks [83.71196337378022]
我々は,量子コンピュータ上で効率的に動作するように設計された新しい量子ニューラルネットワーク層を開発した。
入力状態の絡み合いに制限された場合、古典的なコンピュータでシミュレートすることができる。
論文 参考訳(メタデータ) (2020-10-21T09:46:12Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳(メタデータ) (2020-09-02T22:46:47Z) - Random circuit block-encoded matrix and a proposal of quantum LINPACK
benchmark [1.8076403084528587]
本稿では,量子コンピュータのマシン性能を評価するベンチマークを提案する。
RACBEMモデルと呼ばれる入力モデルは、量子コンピュータ上で実装することが効率的である。
我々は、これらの線形代数演算をIBM Q量子デバイスおよび量子仮想マシン上で実装する。
論文 参考訳(メタデータ) (2020-06-07T01:08:50Z) - Quantum circuit design for universal distribution using a superposition
of classical automata [2.4192504570921622]
この回路は、因果生成モデルを発見するために、データ中のアルゴリズム構造の推論を加速することができる。
オートマトン上の全ての可能なプログラムの古典的な総括列挙は、いくつかの例に対して示される。
量子計算の回路モデルに古典的オートマタの重ね合わせが実装されたのはこれが初めてである。
論文 参考訳(メタデータ) (2020-06-01T14:47:28Z) - Programming a quantum computer with quantum instructions [39.994876450026865]
我々は密度行列化プロトコルを用いて量子データ上で量子命令を実行する。
古典的に定義されたゲートの固定列は、補助量子命令状態に一意に依存する演算を実行する。
量子命令の利用により、コストのかかるトモグラフィー状態の再構築と再コンパイルの必要性がなくなる。
論文 参考訳(メタデータ) (2020-01-23T22:43:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。