論文の概要: Resource Compatibility in Optimal Quantum Symmetry Testing
- arxiv url: http://arxiv.org/abs/2609.38134v1
- Date: Tue, 29 Sep 2026 17:54:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-30 21:28:47.815725
- Title: Resource Compatibility in Optimal Quantum Symmetry Testing
- Title(参考訳): 最適量子対称性試験における資源適合性
- Abstract要約: 我々は、型Iエラーをゼロとする全てのプロトコルに対して表現理論の逆を導出する。
次元$dgeq 2$の対角トーラスでは、一貫性のない最適なテストは単一のクエリでのみ可能である。
- 参考スコア(独自算出の注目度): 6.9022592726569085
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Can a symmetry be tested optimally without using the quantum resource naturally associated with it? For parallel subgroup-versus-Haar testing, we derive a quantitative representation-theoretic converse for every protocol with zero type-I error: the excess type-II error is bounded below by the sum of two nonnegative penalties, one for weight on suboptimal subgroup types and one for deviations of within-type Schur profiles from their typewise extremal profiles. At optimality, both penalties vanish, yielding support and weight locking for every optimal system marginal. Disjointness of the resulting locked set and the free marginal set rules out resource-free optimality, whereas overlap alone does not establish attainability. For the diagonal torus in dimension $d\geq 2$, optimal testing without coherence is possible only with a single query. We determine both the exact optimal type-II error over all protocols with incoherent system marginals and the minimum system-marginal coherence required to attain the unrestricted optimum. For the orthogonal subgroup in dimension $d\geq 2$, a real protocol attains the optimum at every query number. For the qutrit Clifford group, Wigner-positive optimal protocols exist at three and four queries but not from five through nine; whether they exist beyond nine queries remains open. Together, these results relate the subgroup- and query-dependent resource requirements of optimal symmetry testing to structural constraints on optimal system marginals.
- Abstract(参考訳): 対称性は自然に関連する量子資源を使わずに最適にテストできるのか?
並列部分群-対数-ハール検定では、0のタイプ-I誤差を持つ全てのプロトコルに対する定量的表現-理論の逆を導出する: 過剰なタイプ-II誤差は2つの非負のペナルティの和によって下界される。
最適性において、両方のペナルティは消滅し、最適なシステムごとにサポートとウェイトロックが得られます。
結果として得られるロック集合と自由限界集合の解離性は、リソースのない最適性を規定するが、オーバーラップだけでは到達性を確立しない。
次元$d\geq 2$の対角トーラスでは、コヒーレンスのない最適なテストは単一のクエリでのみ可能である。
非コヒーレントなシステム境界を持つ全てのプロトコルに対して正確なタイプII誤差を判定し、制約のない最適値を達成するのに必要な最小のシステム-マージ的コヒーレンスを判定する。
次元 $d\geq 2$ の直交部分群に対して、実プロトコルは全てのクエリ数で最適となる。
クリフォード群の場合、ウィグナー陽性の最適プロトコルは3つと4つのクエリに存在するが、5つから9つまでは存在しない。
これらの結果は、最適対称性テストのサブグループおよびクエリ依存のリソース要求と、最適システムの限界に関する構造的制約を関連付ける。
関連論文リスト
- Minimal-Norm Univariate Two-Layer ReLU Classification: Exact Solutions and Global Optimality with Skip Connections [8.392981584615955]
単層ReLUネットワークによる二元分類のための最小ノルムおよび$ell$regularized logistic-loss最小化について検討する。
パラメータノルムに隠れ層バイアスが組み込まれているかどうかにどのように依存するかを示す。
アンペナル化バイアスの場合、スペーサのような制限が加わり、ほとんどの極小ノルム補間器が小さな正則化限界として生じないことが示唆される。
論文 参考訳(メタデータ) (2026-09-23T17:37:26Z) - Direct Bethe Free Energy Minimization for Bayesian Neural Network [0.0]
我々は,変分下界を最大化するのではなく,Bethe自由エネルギーを直接最小化してベイズニューラルネットワークを訓練することを提案する。
木構造因子グラフ上では、Bethe自由エネルギーは正確であり、決定論的層は目的から外れ、標準のバックプロパゲーションによって訓練される。
すべての変種は、アンサンブルやサンプリングベースの手法とは対照的に、MAP等価な推論コストで閉形式予測を許容する。
論文 参考訳(メタデータ) (2026-05-08T20:12:48Z) - Provably Adaptive Linear Approximation for the Shapley Value and Beyond [73.0940890296463]
基本的で長期にわたる課題は、その効率的な近似である。
一般に用いられるすべての半値に対して$P(|hatboldsymbol-boldsymbol|_2geq)leq$を必要とする線形空間アルゴリズムを開発する。
本アルゴリズムは,各ユーティリティ関数の平均二乗誤差の明示的最小化を可能にする。
論文 参考訳(メタデータ) (2026-04-09T16:38:14Z) - Regularized Online RLHF with Generalized Bilinear Preferences [68.44113000390544]
一般的な嗜好を伴う文脈的オンラインRLHFの問題を考える。
一般化された双線形選好モデルを用いて、低ランクなスキュー対称行列による選好を捉える。
グリーディポリシーの双対ギャップは推定誤差の正方形によって有界であることを示す。
論文 参考訳(メタデータ) (2026-02-26T15:27:53Z) - Implicitly normalized forecaster with clipping for linear and non-linear
heavy-tailed multi-armed bandits [85.27420062094086]
Implicitly Normalized Forecaster (INF) は、敵対的マルチアームバンディット(MAB)問題に対する最適解であると考えられている。
重み付き設定のMAB問題に対するクリッピング(INFclip)を用いたINFの新バージョン"Implicitly Normalized Forecaster"を提案する。
INFclipは線形重み付きMAB問題に対して最適であり、非線形問題に対して有効であることを示す。
論文 参考訳(メタデータ) (2023-05-11T12:00:43Z) - Simple Binary Hypothesis Testing under Local Differential Privacy and
Communication Constraints [8.261182037130407]
局所差分プライバシー (LDP) と通信制約の両面から, 単純な二分仮説テストについて検討する。
我々はその結果をミニマックス最適かインスタンス最適かのどちらかとみなす。
論文 参考訳(メタデータ) (2023-01-09T18:36:49Z) - Fully Stochastic Trust-Region Sequential Quadratic Programming for
Equality-Constrained Optimization Problems [62.83783246648714]
目的と決定論的等式制約による非線形最適化問題を解くために,逐次2次プログラミングアルゴリズム(TR-StoSQP)を提案する。
アルゴリズムは信頼領域半径を適応的に選択し、既存の直線探索StoSQP方式と比較して不確定なヘッセン行列を利用することができる。
論文 参考訳(メタデータ) (2022-11-29T05:52:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。