論文の概要: The simplest Kochen-Specker set
- arxiv url: http://arxiv.org/abs/2508.07335v3
- Date: Fri, 07 Nov 2025 10:54:21 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-10 16:56:01.031784
- Title: The simplest Kochen-Specker set
- Title(参考訳): 最も単純なKochen-Specker集合
- Authors: Adán Cabello,
- Abstract要約: 我々は、他のどの例よりもはるかに対称で容易に証明できる新しいKS集合を提示する。
第134,010201号(2025年)では、最小のベース数14の新たなレコードを設定し、最小の入力数5〜9のクォート・クエトリット完全戦略の新たなレコードを設定する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Kochen-Specker (KS) sets are fundamental in physics. Every time nature produces bipartite correlations attaining the nonsignaling limit, or two parties always win a nonlocal game impossible to always win classically, is because the parties are measuring a KS set. The simplest quantum system in which all these phenomena occur is a pair of three-level systems. However, the simplest KS sets in dimension three known are asymmetrical and require a large number of bases (the current minimum is 16, set by Peres and Penrose). Here we present a KS set that is much more symmetrical and easier to prove than any previous example. It sets a new record for minimum number of bases, 14, and enables us to refute Conjecture 2 in Phys. Rev. Lett. 134, 010201 (2025), setting a new record for qutrit-qutrit perfect strategies with a minimum number of inputs: 5-9. We establish the fundamental nature of this set in quantum theory.
- Abstract(参考訳): Kochen-Specker (KS) 集合は物理学の基本である。
自然が非シグナリング限界に達する二部相関を生成する度に、または2つのパーティが常に古典的に勝つことができない非ローカルゲームに常に勝っているのは、当事者がKS集合を測っているためである。
これらの現象がすべて起こる最も単純な量子系は、一対の3レベル系である。
しかし、3次元の既知の最も単純なKS集合は非対称であり、多数の基底を必要とする(現在の最小値はペレスとペンローズによって設定された16である)。
ここでは、以前の例よりもはるかに対称で証明し易いKS集合を示す。
最小限のベース数14に対して新しいレコードを設定し、PhysでConjecture 2を無効にすることができます。
レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・
134, 010201 (2025), 最小入力数5~9のクァトリット・クァトリット完全戦略の新記録を設定した。
我々は、この集合の基本的な性質を量子論で確立する。
関連論文リスト
- Average-case quantum complexity from glassiness [45.57609001239456]
グラスネス(Glassiness)は、物理学において、不安定な自由エネルギーの風景を特徴とする現象であり、安定な古典的アルゴリズムの難しさを意味する。
レプリカ対称性の破れに基づく標準的な量子ガラス性の概念は、ギブスサンプリングのための安定な量子アルゴリズムを妨げていることを証明している。
論文 参考訳(メタデータ) (2025-10-09T17:37:33Z) - Quantum Advantage in Identifying the Parity of Permutations with Certainty [0.0]
我々は、任意の数$n ge 3$の粒子に適用される未知の置換のパリティを決定する際に、鋭い量子優位性を確立する。
また、これらの状態が持たなければならない最小の絡み合いを評価し、それが最大に近いこと、場合によっては最大であることも見出す。
論文 参考訳(メタデータ) (2025-08-06T10:55:32Z) - Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption [0.0]
量子論の2つの基本構造が2つの剛KS集合を定義することを示す。
2つ目の構成は最小のKS問題を解く手がかりを提供する。
我々は、31が最小のKS集合問題の解であると予想する。
論文 参考訳(メタデータ) (2025-01-20T18:13:28Z) - Kochen-Specker for many qubits and the classical limit [55.2480439325792]
量子および古典予測は、量子ビットの数がマクロスケールに増加するにつれて収束することが示されている。
古典的極限を説明するこの方法は、以前にGHZ状態に対して報告された結果と一致し、改善する。
論文 参考訳(メタデータ) (2024-11-26T22:30:58Z) - Unitary-invariant witnesses of quantum imaginarity [8.700842317740943]
単純なペアの重なり合いの測定は、4つの状態の集合を目撃するのに十分であるが、3つの状態の集合については不十分であることを示す。
我々の目撃者は実験的に友好的であり、想像力をリソースとして測定し利用するための新しい道を開く。
論文 参考訳(メタデータ) (2024-03-22T09:46:58Z) - Taming Quantum Time Complexity [45.867051459785976]
時間複雑性の設定において、正確さと遠心性の両方を達成する方法を示します。
我々は、トランスデューサと呼ばれるものに基づく量子アルゴリズムの設計に新しいアプローチを採用する。
論文 参考訳(メタデータ) (2023-11-27T14:45:19Z) - Minimal Equational Theories for Quantum Circuits [44.99833362998488]
量子回路上の真の方程式は、単純な規則から導出できることが示される。
私たちの主な貢献の1つは、方程式理論の最小性を証明することである。
論文 参考訳(メタデータ) (2023-11-13T17:11:25Z) - A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem [14.693394941317843]
本稿では,ブール充足可能性解法と計算機代数システムを組み合わせた検証可能な新しい証明生成法を提案する。
提案手法は、3次元のKS系が少なくとも24個のベクトルを含む必要があることを示す。
また, KS問題に対して, 順序23の40.3 TiBの低い値のコンピュータ検証証明を初めて提供した。
論文 参考訳(メタデータ) (2023-06-23T06:42:59Z) - Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。
我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。
完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
論文 参考訳(メタデータ) (2023-03-06T13:31:27Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Contextuality in composite systems: the role of entanglement in the
Kochen-Specker theorem [0.0]
Kochen-Specker (KS) の定理は、単一量子系の非古典性を明らかにする。
ベルの定理と絡み合いは、複合量子系の非古典性に関するものである。
論文 参考訳(メタデータ) (2021-09-28T10:10:53Z) - The principle of majorization: application to random quantum circuits [68.8204255655161]
i) 普遍的、ii) 古典的シミュラブル、iii) 普遍的、古典的シミュラブルの3つのクラスが考慮された。
回路のすべての族が平均的に正規化の原理を満たすことを検証した。
明らかな違いは、状態に関連したローレンツ曲線のゆらぎに現れる。
論文 参考訳(メタデータ) (2021-02-19T16:07:09Z) - Operational Resource Theory of Imaginarity [48.7576911714538]
量子状態は、実際の要素しか持たなければ、生成や操作が容易であることを示す。
応用として、想像力は国家の差別にとって重要な役割を担っていることを示す。
論文 参考訳(メタデータ) (2020-07-29T14:03:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。