論文の概要: Logical aspects of quantum structures
- arxiv url: http://arxiv.org/abs/2108.09819v1
- Date: Sun, 22 Aug 2021 18:54:29 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-17 18:36:31.815877
- Title: Logical aspects of quantum structures
- Title(参考訳): 量子構造の論理的側面
- Authors: John Harding and Zhenghan Wang
- Abstract要約: 本稿では, 完成度, 決定可能性, 公理化可能性, 埋め込み問題に関する問題を考察する。
歴史的発展と近年の進展といくつかの提案された進路が述べられている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We survey several problems related to logical aspects of quantum structures.
In particular, we consider problems related to completions, decidability and
axiomatizability, and embedding problems. The historical development is
described, as well as recent progress and some suggested paths forward.
- Abstract(参考訳): 量子構造の論理的側面に関するいくつかの問題を調査する。
特に, 完備性, 決定可能性, 公理化可能性, 埋め込み問題に関する問題を考える。
歴史的発展と近年の進展といくつかの道のりが述べられている。
関連論文リスト
- Relaxation of first-class constraints and the quantization of gauge
theories: from "matter without matter" to the reappearance of time in quantum
gravity [75.38606213726906]
第一級位相空間の制約は、新しい自由度値の修正と解釈すれば緩和することができる。
このアイデアはフォックとシュテッケルベルクに遡り、理論のゲージ対称性の制限につながった。
特に正準量子重力の場合、フォック-シュテッケルベルクのアプローチは、いわゆる時間の問題に関係している。
論文 参考訳(メタデータ) (2024-02-19T19:00:02Z) - Exploring the topological sector optimization on quantum computers [5.458469081464264]
トポロジカルセクター最適化(TSO)問題は、量子多体物理学コミュニティにおいて特に関心を集めている。
TSO問題の最適化の難しさは、ギャップレス性に限らず、トポロジカル性にも起因していることを示す。
TSO問題を解決するために、量子コンピュータ上で実現可能な量子想像時間進化(QITE)を利用する。
論文 参考訳(メタデータ) (2023-10-06T14:51:07Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳(メタデータ) (2023-10-04T17:53:55Z) - Numerical ranges and geometry in quantum information: Entanglement,
uncertainty relations, phase transitions, and state interconversion [0.0]
いくつかの観測値の同時に達成可能な期待値の集合である数値範囲に関連する結果を示す。
この概念は、不確実性関係、絡み合い検出、スペクトルギャップの値に対する境界の決定に関連する問題に適用する。
論文 参考訳(メタデータ) (2023-03-13T18:14:40Z) - Theoretical Perspectives on Deep Learning Methods in Inverse Problems [115.93934028666845]
我々は、生成前の先行、訓練されていないニューラルネットワークの先行、および展開アルゴリズムに焦点を当てる。
これらのトピックにおける既存の結果の要約に加えて、現在進行中の課題やオープンな問題も強調する。
論文 参考訳(メタデータ) (2022-06-29T02:37:50Z) - Quantum Parameterized Complexity [1.01129133945787]
パラメータ化複雑性クラスの範囲の量子アナログを導入する。
このフレームワークは、QMAハード問題のパラメータ化バージョンの複雑さの豊富な分類を公開している。
論文 参考訳(メタデータ) (2022-03-15T15:34:38Z) - Open Problems Related to Quantum Query Complexity [4.467248776406005]
私は、量子クエリの複雑さがいまだにエンテンシングの負荷と根本的なオープンな問題を抱えているというケースを提示します。
私は、量子クエリの複雑さがいまだにエンテンシングの負荷と根本的なオープンな問題を抱えているというケースを提示します。
論文 参考訳(メタデータ) (2021-09-14T18:36:15Z) - The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。
特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文 参考訳(メタデータ) (2021-09-14T16:08:37Z) - QCD Factorization and Quantum Mechanics [0.0]
我々は、高エネルギーQCDプロセスにおける分解とその破壊が、デコヒーレンスや絡み合いのような現象とどのように関連しているかについて議論する。
いくつかの例を詳述し、基本量子力学や量子情報科学に精通した用語で説明する。
論文 参考訳(メタデータ) (2021-08-27T14:51:27Z) - Demonstrating robust simulation of driven-dissipative problems on
near-term quantum computers [53.20999552522241]
量子コンピュータは物理学と化学における量子力学系のシミュレーションに革命をもたらす。
現在の量子コンピュータは、訂正されていないノイズ、ゲートエラー、デコヒーレンスのためにアルゴリズムを不完全に実行している。
ここでは、量子力学における最も難しい問題の1つとして、駆動散逸多体問題の解法が本質的にエラーに対して堅牢であることを示す。
論文 参考訳(メタデータ) (2021-08-02T21:36:37Z) - Preferred basis, decoherence and a quantum state of the Universe [77.34726150561087]
我々は、量子理論と量子宇宙論の基礎における多くの問題をレビューする。
これらの問題は、H.D. Zehの科学的遺産の一部と見なすことができる。
論文 参考訳(メタデータ) (2020-06-28T18:07:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。