論文の概要: Minimal eigenvalue estimates for self-adjoint trace-class operators
- arxiv url: http://arxiv.org/abs/2407.04478v1
- Date: Fri, 5 Jul 2024 12:56:20 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-08 13:30:37.823565
- Title: Minimal eigenvalue estimates for self-adjoint trace-class operators
- Title(参考訳): 自己随伴トレースクラス作用素の最小固有値推定
- Authors: Richárd Balka, Gábor Homa, András Csordás,
- Abstract要約: 有界線型作用素のスペクトル特性は、数学と物理学のいくつかの領域において重要な役割を果たす。
単調増加列 $q_n$ は最小固有値 $lambda_min$ で、$O$ が正半定値でなければ$0$ となる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Spectral properties of bounded linear operators play a crucial role in several areas of mathematics and physics, and arguably the most important one is being positive semidefinite. For each self-adjoint, trace-class operator $O$ we construct a monotone increasing sequence $q_n$ which tends to the minimal eigenvalue $\lambda_{\min}$ if $O$ is not positive semidefinite, and to $0$ otherwise. This sequence only depends on the moments of $O$ and a concrete upper estimate of its $1$-norm; we also demonstrate that it can be effectively calculated for a large class of physically relevant operators. As a by-product, we obtain computable estimates for the $1$-norm of $O$, too. First assume that $O$ is positive semidefinite. Unfortunately, positivity tests fail to prove this in finitely many steps. However, $q_n$ gives a rigorous, monotone increasing lower estimate for all eigenvalues, providing a quantitative way of measuring positivity. In this case the speed of convergence is $q_n\approx -\frac cn$. Now suppose that $O$ is not positive semidefinite. Then $q_n$ monotonically converges to $\lambda_{\min}$ with super-exponential speed. Hence if $q_n$ stabilizes at a negative value, we obtain a strong indication that $O$ is in fact not positive semidefinite. We also construct an easier computable sequence $q_{n,0}$ which fails to be monotone, but converges to $\lambda_{\min}<0$ faster, providing an even better indicator of non-positivity.
- Abstract(参考訳): 有界線型作用素のスペクトル特性は数学や物理学のいくつかの分野において重要な役割を果たすが、最も重要なものは正の半定値である。
各自己随伴するトレースクラス演算子$O$に対して、最小固有値$\lambda_{\min}$が正半定値でなければ$0$となるような単調増加列$q_n$を構築する。
このシーケンスは、$O$のモーメントと、その$$-normの具体的な上限推定にのみ依存する。
副産物として、$O$の1ドルノームの計算可能な見積もりを得る。
まず、$O$ が正半定値であると仮定する。
残念なことに、実証テストは有限のステップでこれを証明できない。
しかし、$q_n$は、すべての固有値に対してより低い見積もりを増大させる厳密で単調な単調な値を与える。
この場合収束速度は$q_n\approx -\frac cn$である。
ここで、$O$ は正半定値でないと仮定する。
すると$q_n$は超指数速度で$\lambda_{\min}$に単調収束する。
したがって、$q_n$ が負の値で安定化すると、$O$ は正の半定値ではないという強い示唆が得られる。
また、計算が容易な$q_{n,0}$は単調にならないが、$\lambda_{\min}<0$高速に収束し、非正の指標としてさらに優れたものを提供する。
関連論文リスト
- Optimal Sketching for Residual Error Estimation for Matrix and Vector Norms [50.15964512954274]
線形スケッチを用いた行列とベクトルノルムの残差誤差推定問題について検討する。
これは、前作とほぼ同じスケッチサイズと精度で、経験的にかなり有利であることを示す。
また、スパースリカバリ問題に対して$Omega(k2/pn1-2/p)$低いバウンダリを示し、これは$mathrmpoly(log n)$ factorまで厳密である。
論文 参考訳(メタデータ) (2024-08-16T02:33:07Z) - More on symmetry resolved operator entanglement [0.0]
グローバルな$U(1)$保存法則を持つスピン鎖と、明確に定義された$U(1)$電荷を持つ演算子$O$に焦点を当てる。
我々は[PRX Quantum 4, 010318 (2023) に導入された対称性分解作用素絡み合い(SROE)の概念を用いて、後者の論文の結果を様々な方向に拡張する。
i) $rho_beta$ の SROE は演算子領域法に従う; i) 自由フェルミオンに対して、ハイゼンベルク図の局所作用素は時間や飽和度で対数的に成長する SROE を持つことができる。
論文 参考訳(メタデータ) (2023-09-07T21:58:18Z) - A note on $L^1$-Convergence of the Empiric Minimizer for unbounded
functions with fast growth [0.0]
V : mathbbRd to mathbbR$ coercive に対して、経験的最小値の$L1$-distance の収束率について検討する。
一般に、高速な成長を持つ非有界函数に対しては、収束率は上述の$a_n n-1/q$で制限され、$q$は潜在確率変数の次元である。
論文 参考訳(メタデータ) (2023-03-08T08:46:13Z) - An Order Relation between Eigenvalues and Symplectic Eigenvalues of a Class of Infinite-Dimensional Operators [0.0]
無限次元作用素の特殊クラスの固有値とシンプレクティック固有値の間の不等式を証明する。
シンプレクティック固有値の唯一の集積点は$alpha$である。
論文 参考訳(メタデータ) (2022-12-07T19:00:32Z) - Optimal Query Complexities for Dynamic Trace Estimation [59.032228008383484]
我々は,行列がゆっくりと変化している動的環境において,正確なトレース推定に必要な行列ベクトルクエリ数を最小化する問題を考える。
我々は、$delta$失敗確率で$epsilon$エラーまで、すべての$m$トレースを同時に推定する新しいバイナリツリー要約手順を提供する。
我々の下界(1)は、静的な設定においてもフロベニウスノルム誤差を持つ行列ベクトル積モデルにおけるハッチンソン推定子の第一の厳密な境界を与え、(2)動的トレース推定のための最初の無条件下界を与える。
論文 参考訳(メタデータ) (2022-09-30T04:15:44Z) - Factorized Hilbert-space metrics and non-commutative quasi-Hermitian
observables [0.0]
実固有値を持つ非エルミート作用素の(一般の非可換な)集合 $Lambda_j$ が必ずしも可観測性を表す必要はないことはよく知られている。
これらの作用素と基礎となる物理的ヒルベルト空間計量 $Theta$ がすべて表現される特定の量子モデルのクラスを記述する。
論文 参考訳(メタデータ) (2022-06-27T18:33:03Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
我々は、任意のSchatten-$p$ノルムの下で、低ランク近似のためのクリロフ部分空間に基づく反復法について研究する。
我々の主な成果は、$tildeO(k/sqrtepsilon)$ matrix-vector productのみを使用するアルゴリズムである。
論文 参考訳(メタデータ) (2022-02-10T16:10:41Z) - Asymptotic Tensor Powers of Banach Spaces [77.34726150561087]
ユークリッド空間は、そのテンソル半径がその次元と等しい性質によって特徴づけられることを示す。
また、領域または範囲がユークリッドである作用素のテンソル半径がその核ノルムと等しいことを示す。
論文 参考訳(メタデータ) (2021-10-25T11:51:12Z) - Convexity of a certain operator trace functional [1.1470070927586014]
本稿では、演算子トレース関数 $ Lambda_r,s(A)[K, M] := operatornametr(K*Ar M Ar K)s$を導入し、その凸性と凸性について検討する。
この関数は、量子情報理論に現れるいくつかのよく研究された作用素トレース関数と直結している。
論文 参考訳(メタデータ) (2021-09-23T17:51:46Z) - Spectral properties of sample covariance matrices arising from random
matrices with independent non identically distributed columns [50.053491972003656]
関数 $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$.
ここでは、$|mathbb E[R(z)] - tilde R(z)|_F を示す。
論文 参考訳(メタデータ) (2021-09-06T14:21:43Z) - Optimal Spectral Recovery of a Planted Vector in a Subspace [80.02218763267992]
我々は、$ell_4$ノルムが同じ$ell$ノルムを持つガウスベクトルと異なるプラントベクトル$v$の効率的な推定と検出について研究する。
規則$n rho gg sqrtN$ では、大クラスのスペクトル法(そしてより一般的には、入力の低次法)は、植込みベクトルの検出に失敗する。
論文 参考訳(メタデータ) (2021-05-31T16:10:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。