論文の概要: Exact certification of a positive-order Rényi additivity violation for an explicit channel pair
- arxiv url: http://arxiv.org/abs/2608.17376v2
- Date: Tue, 25 Aug 2026 16:20:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-26 14:09:33.663549
- Title: Exact certification of a positive-order Rényi additivity violation for an explicit channel pair
- Title（参考訳）: 明示的なチャネル対に対する正次レニイ付加性違反の厳密な証明
- Abstract要約: いずれのチャネルの出力も、$301/100000$から$2/3$の固有値を持つ。
これは、この明示的なペアのための最初の印刷され、コンピュータで検証された正の順序のエンドポイントである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Cubitt, Harrow, Leung, Montanaro, and Winter (CHLMW) exhibited an explicit pair of quantum channels whose minimum output Rényi entropy is nonadditive at order zero, and reported numerical violations at positive orders close to zero. Their paper states that a semidefinite-programming argument yields a rigorous positive-order interval for the same example, without printing the endpoint or a verifiable certificate; a recent paper by Leung, Lovitz, and Wu records that for this pair "no rigorous endpoint was obtained". We close that gap for the trace-preserving normalization of the printed pair fixed in Section 2. Small rational witness matrices prove that every output of either channel has all eigenvalues between $301/100000$ and $2/3$; a single explicit entangled input has an exact rational joint output spectrum of rank eight; and two independent elementary interval arguments turn these three facts into a proof of strict additivity violation, $S_p^{\min}(\mathrm{N}_R\otimes\mathrm{N}_{\bar S}) < S_p^{\min}(\mathrm{N}_R)+S_p^{\min}(\mathrm{N}_{\bar S}),$ for every real order $0<p\le 1/22$. Every step of the verification reduces to comparisons of integers, and the complete certificate is a few small rational matrices that a reader can check with a short program -- or, for any single order, by hand. To our knowledge, consistent with the assessment of Leung, Lovitz, and Wu, this is the first printed, computer-verifiable certified positive-order endpoint for this explicit pair. We claim no novelty for the phenomenon or for the eigenvalue-floor mechanism, both due to CHLMW, and no optimality of the endpoint.
- Abstract（参考訳）: Cubitt, Harrow, Leung, Montanaro, and Winter (CHLMW) は、最小出力の Rényi エントロピーが 0 で非添加である明示的な量子チャネル対を示し、0 に近い正の順序で数値的な違反を報告した。
彼らの論文は、半定値プログラミングの議論は、エンドポイントや検証可能な証明書を印刷することなく、同じ例に対して厳密な正の順序間隔を生じることを述べており、Lung, Lovitz, Wu の最近の論文は、このペアについて「厳密なエンドポイントは得られなかった」と記している。
第2節で固定された印刷対のトレース保存正規化のギャップを埋める。
小さな有理的目撃行列は、どちらのチャネルの全ての出力も301/100000ドルから2/3ドルの間の固有値を持つことを証明している; 1つの明示的絡み合った入力は、ランク8の正確な有理な合同出力スペクトルを持ち、2つの独立した初等区間の議論はこれらの事実を厳密な加法性違反の証明として、$S_p^{\min}(\mathrm{N}_R\otimes\mathrm{N}_{\bar S}) < S_p^{\min}(\mathrm{N}_R)+S_p^{\min}(\mathrm{N}_{\bar S}) に変換する。
検証のすべてのステップは整数の比較に還元され、完全な証明は、読者が短いプログラムでチェックできる小さな合理的な行列である。
我々の知る限り、Lung, Lovitz, Wuの評価と一致するが、これはこの明示的なペアにとって、初めて印刷され、コンピュータで検証可能な正のオーダーエンドポイントである。
我々は、CHLMWによる現象や固有値フロア機構の新規性は主張せず、エンドポイントの最適性も主張しない。
関連論文リスト
- Deterministic Minimum-Output-Entropy Nonadditivity via Haagerup's Inequality and Near-Free Permutation Representations [6.9022592726569085]
コリンズの最小出力エントロピー非付加性の混合単位証明に基づく有限次元二次証明を実現する。
論文 参考訳（メタデータ） (2026-08-31T16:53:42Z) - The geometry of AI validation: Exact certification limits for iid best-of-N search [0.0]
信頼性面上での検証とデプロイメントのルールをカーネルとして表現する。
B_m,N=1+2sum_r=1m(-1)rcos2Nr/[(m+1)]$
論文 参考訳（メタデータ） (2026-08-21T15:18:11Z) - A certified lower bound on the quantum-capacity threshold of the depolarizing channel [0.0]
クビット偏極チャネルが正の量子容量を保持する下のノイズ閾値は1996年から研究されている。
我々は、この体制において、独立にマシンチェック可能な正の証明を初めて与える。
論文の全ての計算クレームは、依存のない数個の数列線形検証器でチェック可能な、ビッグ整数比較の有限リストに還元される。
論文 参考訳（メタデータ） (2026-08-16T17:35:46Z) - Random Parameter Noise Does Not Make Exact ReLU Verification Easy [14.270378035741404]
逆スムースドモデルにおけるReLUネットワークの正確な検証について検討する。
標準的な仮定である$mathrmNPnotsubseteqmathrmBPP$ では,ネットワークサイズ,ビット複雑性,各ベースインスタンスの逆ノイズレベルにランニングタイムを埋め込むような,健全かつ完全検証器が存在しないことを示す。
論文 参考訳（メタデータ） (2026-07-15T21:26:20Z) - AI-Assisted Discovery of Convex Relaxations via Dual Agents [56.60366723277675]
すべての許容関数に対して下界が成り立ち、より強い境界を与える凸緩和から従うことを示す。
理論は各エージェントを検証し、反例を検索し、報告されたすべての境界はインターバルにおける明示的な二重実現可能な点によって認証される。
論文 参考訳（メタデータ） (2026-06-30T06:10:25Z) - All you need is log [0.42671348654734564]
次数 $in[0,infty]$ の Rényi の発散は、データ処理および独立製品への添加物の下でのユニークな族単調であることを示す。
多くの問題は一度に2つ以上の分布を比較する - マルチポピュレーションフェアネス、マルチプライオリPAC-Bayes境界、マルチヒポテシステスト。
レニイ族の右多分布一般化は開問題である。
論文 参考訳（メタデータ） (2026-06-25T17:54:49Z) - Optimal Dimension-Free Sampling for Regularized Classification [56.72526267755301]
我々は、リプシッツ連続分類損失関数の幅広いクラスに対して、$(1pmvarepsilon)$-relativeエラーを達成する最適サンプリング境界を証明した。
これにはロジスティックやシグモイドの損失、ヒンジの損失、ReLUの損失といった重要な機能が含まれており、顕著で一般的な例である。
論文 参考訳（メタデータ） (2026-05-22T15:05:33Z) - Regularized Online RLHF with Generalized Bilinear Preferences [68.44113000390544]
一般的な嗜好を伴う文脈的オンラインRLHFの問題を考える。
一般化された双線形選好モデルを用いて、低ランクなスキュー対称行列による選好を捉える。
グリーディポリシーの双対ギャップは推定誤差の正方形によって有界であることを示す。
論文 参考訳（メタデータ） (2026-02-26T15:27:53Z) - Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers [90.50039419576807]
RLVR(Reinforcement Learning with Verifiable Rewards)は、人為的なラベル付けを避けるために、自動検証に対するポリシーを訓練する。
認証ハッキングの脆弱性を軽減するため、多くのRLVRシステムはトレーニング中にバイナリ$0,1$の報酬を破棄する。
この選択にはコストがかかる:textitfalse negatives(正しい回答、FNを拒絶)とtextitfalse positives(間違った回答、FPを受け入れる)を導入する。
論文 参考訳（メタデータ） (2025-10-01T13:56:44Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
近年の研究では、再生カーネルヒルベルト空間(RKHS)がニューラルネットワークによる関数のモデル化に適した空間ではないことが示されている。
本稿では,有界ノルムを持つオーバーパラメータ化された2層ニューラルネットワークに適した関数空間について検討する。
論文 参考訳（メタデータ） (2024-04-29T15:04:07Z) - Leveraged Matrix Completion with Noise [84.20092979053119]
未知の$ntimes n$ matrix of rank $r$ from just $mathcalO(nrlog2 (n))$ entry.
我々の証明は、ゴルフスキームに基づく十分な最適条件を記述する新しいアプローチによって支持されている。
論文 参考訳（メタデータ） (2020-11-11T16:25:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。