Fugu-MT 論文翻訳(概要): An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

論文の概要: An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

arxiv url: http://arxiv.org/abs/2610.10248v2
Date: Thu, 08 Oct 2026 01:55:57 GMT
ステータス: 翻訳完了
システム内更新日: 2026-10-10 02:36:53.547515
Title: An Explicit Counterexample to Tsirelson's Problem via a Linear System Game
Title（参考訳）: 線形システムゲームによるTsirelson問題への厳密な対応
Abstract要約: 有限次元量子相関の集合の閉包である$C_qa$を分離する明示的なバイナリ線形システムゲームを構築する。 C_qa$ のすべての相関は、厳密に 1 未満の成功確率を持つ。
参考スコア（独自算出の注目度）: 1.1470070927586018
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We construct an explicit binary linear system game that separates $C_{qa}$, the closure of the set of finite dimensional quantum correlations, from $C_{qc}$, the set of commuting operator correlations. The game admits a perfect commuting operator strategy, while every correlation in $C_{qa}$ has a success probability strictly less than 1. This provides a concrete counterexample to Tsirelson's problem in its approximation form. The defining system has 1417152 equations in 1889684 variables, with exactly three nonzero coefficients per equation and a single nonzero entry on the right hand side. We also compute the classical value exactly. The complete system is specified in Lean 4, and the separation and exact classical value are formalized using Mathlib.
Abstract（参考訳）: 有限次元量子相関の集合の閉包である$C_{qa}$を可換作用素相関の集合である$C_{qc}$から分離する明示的なバイナリ線形系ゲームを構築する。 C_{qa}$ のすべての相関は、厳密に 1 未満の成功確率を持つ。これは、その近似形式におけるツィレルソンの問題に具体的な反例を与える。定義系は1889684変数で1417152の方程式を持ち、方程式ごとに正確に3つの非ゼロ係数を持ち、右側には1つの非ゼロ項がある。古典的な値も正確に計算します。完全なシステムはLean 4で指定され、分離と正確な古典的価値はMathlibを使って形式化されます。

関連論文リスト

Faster quantum linear system solver beyond the condition number [50.84794327094274]
線形系の正規化解 $|xrangle$ を生成する2つの量子アルゴリズムを、条件数$=lVert A-1rVert$ に依存しない複雑性を持つ精度 $Ax=| b rangle$ に提示する。フィルタベースのソルバは非常にシンプルで、実行時プレファクタが適しています。
論文参考訳（メタデータ） (2026-07-08T17:49:40Z)
The perturbative method for quantum correlations [0.6187780920448871]
量子相関のセット$mathcalQ$は、量子状態を共有する空間的な分離パーティによって達成可能な測定結果に関する全ての確率分布の集合である。量子戦略の無限小ユニタリの下でベル関数摂動の評価に対する応答を解析するために、単位群に対するリー理論ツールを用いた摂動法を提案する。
論文参考訳（メタデータ） (2026-03-27T18:00:08Z)
Addressing general measurements in quantum Monte Carlo [5.453125885576844]
本稿では,一般測定の課題に対処するための普遍的なスキームを提案する。我々はこの手法を XXZ モデルと横フィールドIsing モデルに1D から 2D システムへ適用することに成功している。
論文参考訳（メタデータ） (2024-12-02T11:12:19Z)
KPZ scaling from the Krylov space [83.88591755871734]
近年,Cardar-Parisi-Zhangスケーリングをリアルタイムの相関器や自動相関器に示す超拡散が報告されている。これらの結果から着想を得て,Krylov演算子に基づく相関関数のKPZスケーリングについて検討する。
論文参考訳（メタデータ） (2024-06-04T20:57:59Z)
Approximating invariant functions with the sorting trick is theoretically justified [2.243206998586006]
我々は正準化の近似理論を確立する。群平均化と比較すると、正準化はより効率的に計算できる。理論的分析から得られた2つの重要な知見と、それらがなぜ興味深い研究方向性を示すのかを議論する。
論文参考訳（メタデータ） (2024-03-04T01:49:23Z)
Possible consequences for physics of the negative resolution of Tsirelson's problem [0.6827423171182154]
Ji, J. と同僚たちは、複雑さクラス $textMIPast$ と $textRE$ が等価であることの証明を提供した。この結果は、Tsirelson の問題を負の分解、すなわち$C_qa$ と $C_qc$ を超平面で分離できることを意味する。ここでは、この結果の4つの論理的可能性について述べる。
論文参考訳（メタデータ） (2023-07-06T11:17:46Z)
Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文参考訳（メタデータ） (2022-03-11T17:19:26Z)
Random quantum circuits transform local noise into global white noise [118.18170052022323]
低忠実度状態におけるノイズランダム量子回路の測定結果の分布について検討する。十分に弱くユニタリな局所雑音に対して、一般的なノイズ回路インスタンスの出力分布$p_textnoisy$間の相関(線形クロスエントロピーベンチマークで測定)は指数関数的に減少する。ノイズが不整合であれば、出力分布は、正確に同じ速度で均一分布の$p_textunif$に近づく。
論文参考訳（メタデータ） (2021-11-29T19:26:28Z)
Random quantum circuits anti-concentrate in log depth [118.18170052022323]
本研究では,典型的な回路インスタンスにおける測定結果の分布に要するゲート数について検討する。我々の反集中の定義は、予測衝突確率が分布が均一である場合よりも大きい定数因子に過ぎないということである。ゲートが1D環上で最寄りである場合と、ゲートが長距離である場合の両方において、$O(n log(n))ゲートも十分であることを示す。
論文参考訳（メタデータ） (2020-11-24T18:44:57Z)
Gradient-Free Methods for Saddle-Point Problem [125.99533416395765]
我々はGasnikov et al., 2017のアプローチを一般化し、不正確な勾配のないオラクルで(確率的な)凸最適化問題を解けるようにした。我々のアプローチは、$fracnlog n$ の要求するオラクル呼び出しの回数を削減します。論文の後半では、そのような仮定ができない場合を分析し、この問題を解決する方法の近代化方法に関する一般的なアプローチを提案する。
論文参考訳（メタデータ） (2020-05-12T16:44:27Z)

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