論文の概要: The simplest Kochen-Specker set
- arxiv url: http://arxiv.org/abs/2508.07335v1
- Date: Sun, 10 Aug 2025 13:27:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-12 21:23:28.815787
- 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.
- Abstract（参考訳）: Kochen-Specker (KS) 集合は物理学の基本である。
自然が非シグナリング限界に達する二部相関を生成する度に、または2つのパーティが常に古典的に勝つことができない非ローカルゲームに常に勝っているのは、当事者がKS集合を測っているためである。
これらの現象がすべて起こる最も単純な量子系は、一対の3レベル系である。
しかし、3次元の既知の最も単純なKS集合は非対称であり、多数の基底を必要とする(現在の最小値はペレスとペンローズによって設定された16である)。
ここでは、以前の例よりもはるかに対称で証明し易いKS集合を示す。
最小限のベース数14に対して新しいレコードを設定し、PhysでConjecture 2を無効にすることができます。
レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・レヴ・
134, 010201 (2025), 最小入力数5～9のクァトリット・クァトリット完全戦略の新記録を設定した。
関連論文リスト
- 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。