論文の概要: Gaussian Purification Quotients and Fixed Nielsen Penalties
- arxiv url: http://arxiv.org/abs/2609.17574v2
- Date: Thu, 17 Sep 2026 14:17:37 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.572143
- Title: Gaussian Purification Quotients and Fixed Nielsen Penalties
- Title(参考訳): ガウス浄化法と修正ニールセン刑
- Abstract要約: 情報距離と回路の複雑さはどちらも長さを最小化することで得られるが、異なる対象に対して最小化される。
我々は、忠実な1つのモードのガウス国家に対して、この区別を明確にする。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Information distance and circuit complexity are both obtained by minimizing lengths, but they minimize over different objects. We make this distinction explicit for faithful one-mode Gaussian states. First, invariant-form uniqueness implies that no positive-definite quadratic gate cost can be invariant under the full adjoint action of the noncompact symplectic group; a positive Cartan majorant necessarily introduces additional reference data. The Uhlmann purification quotient realizes the Bures metric, and the radial covariance direction requires a system-ancilla coupling because system-only Gaussian unitaries preserve the Williamson eigenvalue. We then minimize fixed right-invariant quadratic norms on the minimal two-mode Gaussian gate algebra \(\mathfrak{sp}(4,\mathbb R)\). For the unweighted Frobenius norm, the quotient coefficients for radial and traceless covariance tangents are $G_0=[\hbar^2(u-1)]^{-1}$ and $G_2=[\hbar^2(3u-1)]^{-1}$, where $u=(2ν/\hbar)^2$. Their ratio does not equal the Bures ratio. The radial coefficient, however, reproduces the Bures value exactly at every $u$; the mismatch is confined to the traceless sector. More generally, a constant block-diagonal two-weight schedule gives $G_0/G_2=1+2(β/α)u/(u-1)$; matching Bures throughout the isotropic family would require the state-dependent relation $β/α=1/u$. At the Bures-Fisher determinant crossing \(u=\varphi\), pointwise matching is possible only by inserting $β/α=\varphi^{-1}$. Thus the Bures purification quotient is an exact state-geometric cost, but it is neither an unweighted symplectic gate cost nor a member of this fixed two-weight Nielsen family. The existence of a more general fixed positive gate norm realizing the quotient remains open.
- Abstract(参考訳): 情報距離と回路の複雑さはどちらも長さを最小化することで得られるが、異なる対象に対して最小化される。
我々は、忠実な1つのモードのガウス国家に対して、この区別を明確にする。
まず、不変形式一意性(invariant-form uniqueness)は、非コンパクトシンプレクティック群の完全随伴作用の下では、正定値二次ゲートコストが不変でないことを意味する。
ウルマン浄化商はビューズ計量を実現し、ラジアル共分散方向はシステムのみのガウスユニタリがウィリアムソン固有値を保持するため、システム-アンシラ結合を必要とする。
すると、最小二モードガウスゲート代数 \(\mathfrak{sp}(4,\mathbb R)\ 上の固定右不変二次ノルムを最小化する。
非重みのないフロベニウスノルムに対して、ラジアルとトレースレスの共分散接点の商係数は$G_0=[\hbar^2(u-1)]^{-1}$と$G_2=[\hbar^2(3u-1)]^{-1}$であり、$u=(2ν/\hbar)^2$である。
その比はバーズ比と等しくない。
しかし、放射係数は、正確に$u$毎のビューズ値を再現し、ミスマッチはトレースレスセクターに限られる。
より一般的に、ブロック対角二重スケジュールは$G_0/G_2=1+2(β/α)u/(u-1)$を与える。
Bures-Fisher 行列交差 \(u=\varphi\) において、点整合は$β/α=\varphi^{-1}$ を挿入することによってのみ可能である。
したがって、ビューズ浄化商は正確な状態幾何学的コストであるが、これは非重み付きシンプレクティックゲートコストでも、この固定された2重ニールセンファミリーのメンバーでもない。
商性を実現するより一般的な正の正のゲートノルムの存在は、依然として開である。
関連論文リスト
- Zero-SNR Analyticity of the Scalar MMSE Is Equivalent to Gaussianity [0.7499255435598924]
最小平均二乗誤差 $operatornamemmse_X(s)$ がゼロ信号対雑音比で解析可能であることを証明する。
ゼロの$mgeq 2$は、Hermitemathの根に従って分割され、代わりにプレファクタ$n-m/2er_msqrt2n$に寄与する。
論文 参考訳(メタデータ) (2026-09-14T05:07:20Z) - Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres [7.7281318046635015]
両部量子相互情報 $langle I(A:B)rangle$ for Haar-random pure state。
1/N$ での完全拡大は、すべての位数 $k ge 1$ が対称因子 $(d_A2k-1)(d_B2k-1)$ を持ち、全ての上位奇数次補正が同じであるベルヌーイ分解形式を許容することを示す。
論文 参考訳(メタデータ) (2026-05-28T10:27:31Z) - Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States [7.7281318046635015]
この量には1つの非摂動閉形式がある。
$langle I(A:B)rangle = (d_A2-1)(d_B2-1),mathcalG(d_A,d_B,d_E)$, ここで$mathcalG$はボース-アインシュタイン核上の明示収束積分によって与えられる。
論文 参考訳(メタデータ) (2026-05-28T10:19:40Z) - Self-Normalized Martingales and Uniform Regret Bounds for Linear Regression [65.82017723631897]
自己正規化マルティンガレのスケール不変上界が可能であることを示す。
通常の正規化ペナルティを含まない自己正規化濃度不等式を導出する。
論文 参考訳(メタデータ) (2026-05-02T22:39:00Z) - Regularized Online RLHF with Generalized Bilinear Preferences [68.44113000390544]
一般的な嗜好を伴う文脈的オンラインRLHFの問題を考える。
一般化された双線形選好モデルを用いて、低ランクなスキュー対称行列による選好を捉える。
グリーディポリシーの双対ギャップは推定誤差の正方形によって有界であることを示す。
論文 参考訳(メタデータ) (2026-02-26T15:27:53Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
近年の研究では、再生カーネルヒルベルト空間(RKHS)がニューラルネットワークによる関数のモデル化に適した空間ではないことが示されている。
本稿では,有界ノルムを持つオーバーパラメータ化された2層ニューラルネットワークに適した関数空間について検討する。
論文 参考訳(メタデータ) (2024-04-29T15:04:07Z) - A Unified Framework for Uniform Signal Recovery in Nonlinear Generative
Compressed Sensing [68.80803866919123]
非線形測定では、ほとんどの先行結果は一様ではない、すなわち、すべての$mathbfx*$に対してではなく、固定された$mathbfx*$に対して高い確率で保持される。
本フレームワークはGCSに1ビット/一様量子化観測と単一インデックスモデルを標準例として適用する。
また、指標集合が計量エントロピーが低い製品プロセスに対して、より厳密な境界を生み出す濃度不等式も開発する。
論文 参考訳(メタデータ) (2023-09-25T17:54:19Z) - Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
カーネルヒルベルト空間を用いて、無限水平割引マルコフ報酬過程の値関数を推定する。
我々は、関連するカーネル演算子の固有値に明示的に依存した誤差の非漸近上界を導出する。
MRP のサブクラスに対する minimax の下位境界を証明する。
論文 参考訳(メタデータ) (2021-09-24T14:48:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。