論文の概要: Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
- arxiv url: http://arxiv.org/abs/2501.11640v2
- Date: Fri, 28 Mar 2025 18:41:15 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-04-01 15:20:31.704661
- Title: Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
- Title（参考訳）: 厳密なコッシェン・スペーカー集合問題に対する2つの基本解と1つの仮定の下での極小コッシェン・スペーカー集合問題への解
- Authors: Stefan Trandafir, Adán Cabello,
- Abstract要約: 量子論の2つの基本構造が2つの剛KS集合を定義することを示す。
2つ目の構成は最小のKS問題を解く手がかりを提供する。
我々は、31が最小のKS集合問題の解であると予想する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Recent results show that Kochen-Specker (KS) sets of observables are fundamental to quantum information, computation, and foundations beyond previous expectations. Among KS sets, those that are unique up to unitary transformations (i.e., "rigid") are especially important. The problem is that we do not know any rigid KS set in $\mathbb{C}^3$, the smallest quantum system that allows for KS sets. Moreover, none of the existing methods for constructing KS sets leads to rigid KS sets in $\mathbb{C}^3$. Here, we show that two fundamental structures of quantum theory define two rigid KS sets. One of these structures is the super-symmetric informationally complete positive-operator-valued measure. The other is the minimal state-independent contextuality set. The second construction provides a clue to solve the minimal KS problem, the most important open problem in this field. We prove that there is no KS set of 30 elements that can be obtained from the minimal state-independent contextuality set by completing bases and adding elements that are orthogonal to two previous elements. We conjecture that 31 is the solution to the minimal KS set problem.
- Abstract（参考訳）: 近年の研究では、観測可能量の集合であるKochen-Specker (KS) が、これまでの期待を超える量子情報、計算、基礎の基礎となっていることが示されている。
KS集合の中では、ユニタリ変換(すなわち「剛体」)に一意な集合が特に重要である。
問題は、KS集合を許容する最小の量子系である$\mathbb{C}^3$の厳密なKS集合が存在しないことである。
さらに、KS 集合を構成する既存の方法のいずれも $\mathbb{C}^3$ の剛 KS 集合を導出しない。
ここでは、量子論の2つの基本構造が2つの厳密なKS集合を定義することを示す。
これらの構造の1つは超対称情報完備正値測度である。
もう1つは、状態に依存しない最小の文脈性集合である。
2つ目の構成は、この分野で最も重要な開問題である最小のKS問題を解く手がかりを提供する。
我々は、基底を完備化し、2つの前の元に直交する元を追加することにより、最小の状態独立な文脈性から得られる30個の元からなるKS集合が存在しないことを証明した。
我々は、31が最小のKS集合問題の解であると予想する。
関連論文リスト
- QuCOOP: A Versatile Framework for Solving Composite and Binary-Parametrised Problems on Quantum Annealers [25.711225064444296]
QuCOOPは、AQCのスコープを複合的およびバイナリパラメトリクスに拡張する最適化フレームワークである。
本研究では,2次代入問題,形状整合,点集合登録を事前に知ることなく実験する。
論文 参考訳（メタデータ） (2025-03-25T14:45:19Z) - Reply to Pavičić's 'Comment on "Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies"' (arXiv:2502.13787) [0.0]
Pavivci'cは、私たちの論文の10の文は間違っていると主張している。
我々は、パヴィヴィチ・デックが我々の仕事について行った他の主張に反応する。
論文 参考訳（メタデータ） (2025-03-04T20:00:06Z) - On lower bounds of the density of planar periodic sets without unit distances [55.2480439325792]
平面トーラスから構築したグラフ上での最大独立集合(MIS)問題として問題を再構成することにより、$m_1(mathbbR2)$を推定する新しいアプローチを導入する。
提案手法の理論的正当性によって支持された実験結果は,十分に広い範囲のパラメータに対して,この手法が既知の下界を改善できないことを示す。
論文 参考訳（メタデータ） (2024-11-20T12:07:19Z) - Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of
Kochen-Specker Sets [1.5163329671980246]
Kochen-Specker (KS) 集合は、反ポッド対を持たない二球面上のベクトルの有限集合である。
KS集合の存在は、コチェンとスペクターの非文脈的隠れ変数理論に対する議論の中心にある。
論文 参考訳（メタデータ） (2024-03-08T11:38:16Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳（メタデータ） (2024-02-29T01:35:46Z) - 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) - Escaping limit cycles: Global convergence for constrained
nonconvex-nonconcave minimax problems [46.71914490521821]
本稿では,非コンケーブなミニマックス問題のクラスに対して,新たな漸進型アルゴリズムを提案する。
提案アルゴリズムは制約付き正規化問題に適用可能である。
論文 参考訳（メタデータ） (2023-02-20T08:37:08Z) - Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。
我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。
我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文 参考訳（メタデータ） (2022-03-11T17:19:26Z) - Annihilating Entanglement Between Cones [77.34726150561087]
ローレンツ錐体は、ある種の強いレジリエンス特性を満たす対称基底を持つ唯一の円錐体であることを示す。
我々の証明はローレンツ・コーンの対称性を利用しており、エンタングルメント蒸留のプロトコルに類似した2つの構造を適用している。
論文 参考訳（メタデータ） (2021-10-22T15:02:39Z) - Straddling-gates problem in multipartite quantum systems [20.428960719376164]
量子回路の複雑性,結合複雑性の変種について検討する。
任意の$m$partite Schmidt decomposable状態が$m$のバインディング複雑性を持つことを示す。
論文 参考訳（メタデータ） (2021-10-13T16:28:12Z) - Contextuality in composite systems: the role of entanglement in the
Kochen-Specker theorem [0.0]
Kochen-Specker (KS) の定理は、単一量子系の非古典性を明らかにする。
ベルの定理と絡み合いは、複合量子系の非古典性に関するものである。
論文 参考訳（メタデータ） (2021-09-28T10:10:53Z) - Exposing minimal composition of Kohn-Sham theory and its extendability [0.0]
コーン・シャム理論(KS)は、多電子系における基底状態エネルギーと密度の計算を実践するための実用的なツールを提供している。
KS理論を他の物理量を記述するように拡張する試みや、他の多重フェルミオン系に適用する試みがある。
1-体密度行列の観点でKS理論を一般化し再定式化することにより、多元数問題をs.p.方程式に還元できる理論の最小構成を明らかにする。
論文 参考訳（メタデータ） (2021-08-03T01:20:45Z) - Large violations in Kochen Specker contextuality and their applications [4.398712854913047]
我々は、次元$d geq 217$のヒルベルト空間におけるコチェン=スペーカーの証明を古典バイアスに対する量子値の比が$O(sqrtd/log d)$であることを示す。
我々は、$mathbbCd$における$01$-gadgetsと$mathbbCd otimes mathbbCd$における最大絡み合った状態に対するHardyパラドックスの間の1対1の接続を示す。
論文 参考訳（メタデータ） (2021-06-30T10:07:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。