論文の概要: A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL

• arxiv url: http://arxiv.org/abs/2306.12535v1
• Date: Wed, 21 Jun 2023 19:49:42 GMT
• ステータス: 処理完了
• システム内更新日: 2023-06-23 16:23:51.053622
• Title: A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL
• Title（参考訳）: Isabelle/HOLにおけるCHSH不等式とTsirelson上界の形式化
• Authors: Mnacho Echenim and Mehdi Mhalla
• Abstract要約: 本稿では,量子情報理論の基本的な概念と結果の形式化について述べる。 後者の結果の証明はいわゆるCHSH不等式に基づいており、Aspectによって実験的に証明されたこの不等式に違反している。 また、量子環境におけるこの不等式の最大違反を許す Tsirelson's bound など、CHSH不等式の不等式違反に関する様々な結果を定式化する。
• 参考スコア（独自算出の注目度）: 2.817412580574242
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a formalization of several fundamental notions and results from Quantum Information theory, including density matrices and projective measurements, along with the proof that the local hidden-variable hypothesis advocated by Einstein to model quantum mechanics cannot hold. The proof of the latter result is based on the so-called CHSH inequality, and it is the violation of this inequality that was experimentally evidenced by Aspect who earned the Nobel Prize in 2022 for his work. We also formalize various results related to the violation of the CHSH inequality, such as Tsirelson's bound which permits to obtain the maximum violation of this inequality in a quantum setting.
• Abstract（参考訳）: 我々は、密度行列や射影測定を含む量子情報理論のいくつかの基本的な概念と結果の形式化と、アインシュタインが量子力学をモデル化するために提唱した局所隠れ変数仮説が保持できないことの証明を示す。 後者の結果の証明はいわゆるCHSHの不平等に基づいており、この不平等は2022年にノーベル物理学賞を受賞したAspectによって実験的に証明された。 また、量子環境におけるこの不等式の最大違反を許す Tsirelson's bound など、CHSH不等式の不等式違反に関する様々な結果を定式化する。

関連論文リスト

• An inconsistency in the CHSH inequality [0.0]
  CHSHの不等式の違反は、量子力学と局所的で現実的な隠れ変数理論の間の不可逆的な衝突を示すと考えられている。 我々は、CHSH不等式を証明する数学的仮定が、実際、そのような不等式をテストする実験の物理学とは相容れないことを示した。
  論文  参考訳（メタデータ） (2024-09-02T14:12:26Z)
• Testing trajectory-based determinism via time probability distributions [44.99833362998488]
  ボヘミア力学(BM)は量子力学(QM)よりも予測力を継承している 本稿では, 一般軌道を持つ理論において, 飛行時間確率分布を構成するための処方則を提案する。 QM が到達不能な確率分布を導出する。
  論文  参考訳（メタデータ） (2024-04-15T11:36:38Z)
• Coherence generation with Hamiltonians [44.99833362998488]
  我々は、ユニタリ進化を通して量子コヒーレンスを生成する方法を探究する。 この量は、ハミルトニアンによって達成できるコヒーレンスの最大微分として定義される。 我々は、ハミルトニアンによって誘導される最大のコヒーレンス微分につながる量子状態を特定する。
  論文  参考訳（メタデータ） (2024-02-27T15:06:40Z)
• What in fact proves the violation of the Bell-type inequalities? [0.0]
  いくつかの変数がテストされる測定では、テストされていない他の変数は定義値を持たない。 CHSH不等式違反の正確な結論が異なることが証明された。
  論文  参考訳（メタデータ） (2023-03-15T10:36:32Z)
• Work statistics, quantum signatures and enhanced work extraction in quadratic fermionic models [62.997667081978825]
  二次フェルミオンモデルでは、突然の駆動と時間依存の駆動の後、作業統計に対する量子補正を決定する。 このような補正は、初期量子状態と時間依存ハミルトニアンの非可換性にある。 後者のおかげで、作業のKDQ分布における古典的でないシグネチャの開始を評価することができる。
  論文  参考訳（メタデータ） (2023-02-27T13:42:40Z)
• Quantum Fluctuation-Response Inequality and Its Application in Quantum Hypothesis Testing [6.245537312562826]
  2つの異なる量子状態における観測可能な平均差の有界性を求める。 観測可能なスペクトルが有界であるとき、観測可能な準ガウス的性質は、観測可能な準ガウス的ノルムと結び付けるために用いられる。 熱力学推論や速度制限といった問題への応用による結果の汎用性を示す。
  論文  参考訳（メタデータ） (2022-03-20T09:10:54Z)
• Leggett-Garg inequalities in the quantum field theory of neutrino oscillations [0.0]
  この発見は時間的非古典性と量子不確実性に関係している。 我々は、レゲット=ガルグの不等式が量子力学よりも量子論において強く破られることを示した。
  論文  参考訳（メタデータ） (2021-11-18T23:47:07Z)
• Non-equilibrium stationary states of quantum non-Hermitian lattice models [68.8204255655161]
  非エルミート強結合格子モデルが、非条件、量子力学的に一貫した方法でどのように実現できるかを示す。 我々は、フェルミオン系とボゾン系の両方に対するそのようなモデルの量子定常状態に焦点を当てる。
  論文  参考訳（メタデータ） (2021-03-02T18:56:44Z)
• Entanglement in Cognition violating Bell Inequalities Beyond Cirel'son's Bound [0.0]
  そこで本研究では,被験者のサンプルを用いて,概念的組み合わせに関する判断を下す2つの実験結果について紹介する。 どちらの試験も、Clauser-Horne-Shimony-Holt版のベル不等式(CHSH不等式)を著しく違反している。 観測されたCHSH不等式の不等式違反は、成分概念的実体間の強い量子絡み合いの結果として説明できることを示す。
  論文  参考訳（メタデータ） (2021-02-07T16:57:59Z)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  ベルの実験的記述は局所性の条件(量子力学(英語版)(Quantum Mechanics)と同値)を仮定する。 この結果は、この実験を説明するのに非局所性が必要であることを示す最近の論文と相補的なものである。 量子力学の枠組みの中では、非局所効果の存在を信じる理由が全くないという結論が導かれる。
  論文  参考訳（メタデータ） (2020-02-27T15:04:08Z)
• Bell's theorem for trajectories [62.997667081978825]
  軌跡は量子測度の結果ではなく、それに関連する可観測性がないという意味である。 我々は、時間毎に実験的にテスト可能な汎用的不等式を特別に考慮し、この問題を克服する方法を示す。
  論文  参考訳（メタデータ） (2020-01-03T01:40:44Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。