論文の概要: 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.11640v1
- Date: Mon, 20 Jan 2025 18:13:28 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-01-22 14:21:51.444256
- 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集合を定義することを示す。
これらの構造の1つは超対称情報完備正値測度である。
もう1つは、状態に依存しない最小の文脈性集合である。
我々は、最小の完全状態独立な文脈性集合を含む最小の剛 KS 集合が31個の可観測集合を持つことを証明した。
- 参考スコア(独自算出の注目度): 0.0
- License:
- 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 the smallest rigid KS set that contains the minimal complete state-independent contextuality set has 31 observables. We conjecture that this is the solution to the minimal KS set problem.
- Abstract(参考訳): 近年の研究では、観測可能量の集合であるKochen-Specker (KS) が、これまでの期待を超える量子情報、計算、基礎の基礎となっていることが示されている。
KS集合の中で、ユニタリ変換(すなわち ``rigid'')に一意な集合は特に重要である。
問題は、KS集合を許容する最小の量子系である$\mathbb{C}^3$の厳密なKS集合が存在しないことである。
さらに、KS 集合を構成する既存の方法のいずれも $\mathbb{C}^3$ の剛 KS 集合を導出しない。
ここでは、量子論の2つの基本構造が2つの厳密なKS集合を定義することを示す。
これらの構造の1つは超対称情報完備正値測度である。
もう1つは、状態に依存しない最小の文脈性集合である。
2つ目の構成は、この分野で最も重要な開問題である最小のKS問題を解く手がかりを提供する。
我々は、最小の完全状態独立な文脈性集合を含む最小の剛 KS 集合が31個の可観測集合を持つことを証明した。
我々は、これが最小のKS集合問題の解であると予想する。
関連論文リスト
- 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) - 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) - Contextuality in composite systems: the role of entanglement in the
Kochen-Specker theorem [0.0]
Kochen-Specker (KS) の定理は、単一量子系の非古典性を明らかにする。
ベルの定理と絡み合いは、複合量子系の非古典性に関するものである。
論文 参考訳(メタデータ) (2021-09-28T10:10:53Z) - Reachable sets for two-level open quantum systems driven by coherent and
incoherent controls [77.34726150561087]
我々はコヒーレントかつ非コヒーレントな制御によって駆動される2レベル開量子系の全密度行列の集合における制御性について研究する。
2つのコヒーレント制御に対して、系は全密度行列の集合において完全に制御可能であることが示されている。
論文 参考訳(メタデータ) (2021-09-09T16:14:23Z) - 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) - Absolutely entangled set of pure states [0.0]
Cai et al. [arXiv:2006.07165v1] は二部量子系に対して「絶対に絡み合った集合」という新しい概念を提案した。
我々は、状態の集合が完全に絡み合った集合であるために必要な2つの条件を導出する。
我々は$mathbbC2otimes mathbbCn$における2n+1元を持つ絶対絡み合う集合の別の構成を得る。
論文 参考訳(メタデータ) (2020-11-10T05:15:41Z) - Einselection from incompatible decoherence channels [62.997667081978825]
我々は、CQED実験にインスパイアされたオープン量子力学を、2つの非可換リンドブラッド作用素を用いて解析する。
Fock状態は、決定的な結合をデコヒーレンスにデコヒーレンスする最も堅牢な状態のままであることを示す。
論文 参考訳(メタデータ) (2020-01-29T14:15:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。