Fugu-MT 論文翻訳(概要): Formalizing CHSH Rigidity in Lean 4

論文の概要: Formalizing CHSH Rigidity in Lean 4

arxiv url: http://arxiv.org/abs/2604.03884v1
Date: Sat, 04 Apr 2026 22:31:36 GMT
ステータス: 翻訳完了
システム内更新日: 2026-04-07 15:49:18.814112
Title: Formalizing CHSH Rigidity in Lean 4
Title（参考訳）: リーン4におけるCHSHの形式化
Authors: Tianrun Zhao, Nengkun Yu,
Abstract要約: Clauser-Horne-Shimony-Holt (CHSH) のヴァイオレーションは、真の量子相関を証明している。この研究において、我々はLean 4で剛性定理を定式化します -- 準最適CHSH値を達成する戦略は、正準量子ビット戦略に局所的に等角的である必要があります。
参考スコア（独自算出の注目度）: 11.029146548022291
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality certifies genuine quantum correlations. In this work, we formalize in Lean 4 the rigidity theorem -- any strategy achieving near-optimal CHSH value must be locally isometric to the canonical qubit strategy. In the course of formalization, we identified a gap in the argument of McKague, Yang, and Scarani (arXiv:1203.2976).
Abstract（参考訳）: Clauser-Horne-Shimony-Holt (CHSH)の不等式は真の量子相関を証明している。この研究において、我々はLean 4で剛性定理を定式化します -- 準最適CHSH値を達成する戦略は、正準量子ビット戦略に局所的に等角的である必要があります。形式化の過程で、我々はマッケグ、ヤン、スカラニ(arXiv:1203.2976)の議論のギャップを特定した。

関連論文リスト

The CHSH Game, Tsirelson's Bound, and Causal Locality [0.7349727826230863]
符号なしの原理と異なり、因果的局所的、不可分なプロセスを定義する不等式は、ベルの違反を許すのに十分強力であり、ティレルソン境界を超えてはならないことを示す。
論文参考訳（メタデータ） (2025-12-19T22:22:12Z)
Simple Stepsize for Quasi-Newton Methods with Global Convergence Guarantees [46.16377198030688]
我々は、凸関数に対して大域収束率$O (1/k) を保証できる単純なステップサイズスケジュールを導入することで、準ニュートン法の理論的理解を拡大する。ヘッセン近似の不完全性が所定の相対的精度で制御された場合、ネステロフの加速勾配法と3次正規化ニュートン法の両方の最もよく知られた速度に一致する1O (1/k)$の加速収束率が得られることを示す。
論文参考訳（メタデータ） (2025-08-27T09:18:51Z)
Entanglement Certification by Measuring Nonlocality [17.153442307547998]
本稿では,Cluser-Horne-Shimony-Holtの不等式に対する違反に基づく実践的検証手法を提案する。信頼性を確保しつつ,資源利用を最適化する統計フレームワークを導入する。
論文参考訳（メタデータ） (2025-07-24T03:40:25Z)
Coherence generation with Hamiltonians [44.99833362998488]
我々は、ユニタリ進化を通して量子コヒーレンスを生成する方法を探究する。この量は、ハミルトニアンによって達成できるコヒーレンスの最大微分として定義される。我々は、ハミルトニアンによって誘導される最大のコヒーレンス微分につながる量子状態を特定する。
論文参考訳（メタデータ） (2024-02-27T15:06:40Z)
Certifying Ensembles: A General Certification Theory with S-Lipschitzness [128.2881318211724]
組み立ては、一般化、不確実性推定、校正、コンセプトドリフトの効果の緩和に有用であることが示されている。本研究では、S-Lipschitz分類器を導入し、アンサンブルの理論的堅牢性を分析することにより、リプシッツ連続性を一般化する。
論文参考訳（メタデータ） (2023-04-25T17:50:45Z)
Commitment capacity of classical-quantum channels [70.51146080031752]
古典的量子チャネルに対するコミットメント能力の様々な概念を定義する。条件エントロピーの観点から上界と下界のマッチングを証明した。
論文参考訳（メタデータ） (2022-01-17T10:41:50Z)
Quantum concentration inequalities [12.56413718364189]
我々は、量子ワッサーシュタイン距離に関して輸送コスト不等式(TCI)を確立する。我々は、任意のハイパーグラフ$H=(V,E)$でハミルトニアンを可換化するギブス状態が、一定のスケーリングを$O(|V|)$とするTCIを満たすことを証明している。我々は、最近確立された対数的ソボレフ不等式と関連づけることで、TCIが保持する温度範囲を拡大することができると論じる。
論文参考訳（メタデータ） (2021-06-30T05:44:12Z)
Shannon theory for quantum systems and beyond: information compression for fermions [68.8204255655161]
フェミオン症例における絡み合いの忠実度は相関関係の保存性を評価することができることを示す。原符号定理のフェルミオン版を導入し、量子の場合と同様に、フォン・ノイマンエントロピーはフェルミオン圧縮スキームが存在する最小の速度であることを示す。
論文参考訳（メタデータ） (2021-06-09T10:19:18Z)
Learning Fair Canonical Polyadical Decompositions using a Kernel Independence Criterion [8.9598796481325]
理論的および実証的に、潜在因子と感度特徴の間の小さなkhsicが近似統計パリティを保証することが示されている。提案アルゴリズムは,合成データセットと実データ集合とのトレードオフ制御において,最先端のアルゴリズムであるFATRを超越する。
論文参考訳（メタデータ） (2021-04-27T23:16:10Z)
Trade-off relations on CHSH tests for multi-qubit pure states [0.0]
多ビット純状態に対するCHSH試験の最大違反に関するトレードオフ関係について検討する。我々は[PRA 94, 042105] の予想が特別な 4 ビット以上の純状態に対して正しいことを証明している。
論文参考訳（メタデータ） (2020-03-24T02:38:27Z)
Generalised Lipschitz Regularisation Equals Distributional Robustness [47.44261811369141]
分布的ロバスト性と正規化の関係について、非常に一般的な等式結果を与える。対立学習と分布ロバスト性の関係を明らかにする新しい結果を示す。
論文参考訳（メタデータ） (2020-02-11T04:19:43Z)

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