論文の概要: Block perturbation of symplectic matrices in Williamson's theorem
- arxiv url: http://arxiv.org/abs/2307.01078v2
- Date: Thu, 17 Aug 2023 15:31:00 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-21 23:03:47.393705
- Title: Block perturbation of symplectic matrices in Williamson's theorem
- Title(参考訳): ウィリアムソンの定理におけるシンプレクティック行列のブロック摂動
- Authors: Gajendra Babu and Hemant K. Mishra
- Abstract要約: ウィリアムソンの定理の任意のシンプレクティック行列 $tildeS$ 対角化 $A+H$ は $tildeS=S Q+mathcalO(|H|)$ の形であることを示す。
我々の結果は、たとえ$A$がシンプレクティック固有値を繰り返したとしても成り立つ。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Williamson's theorem states that for any $2n \times 2n$ real positive
definite matrix $A$, there exists a $2n \times 2n$ real symplectic matrix $S$
such that $S^TAS=D \oplus D$, where $D$ is an $n\times n$ diagonal matrix with
positive diagonal entries which are known as the symplectic eigenvalues of $A$.
Let $H$ be any $2n \times 2n$ real symmetric matrix such that the perturbed
matrix $A+H$ is also positive definite. In this paper, we show that any
symplectic matrix $\tilde{S}$ diagonalizing $A+H$ in Williamson's theorem is of
the form $\tilde{S}=S Q+\mathcal{O}(\|H\|)$, where $Q$ is a $2n \times 2n$ real
symplectic as well as orthogonal matrix. Moreover, $Q$ is in
$\textit{symplectic block diagonal}$ form with the block sizes given by twice
the multiplicities of the symplectic eigenvalues of $A$. Consequently, we show
that $\tilde{S}$ and $S$ can be chosen so that
$\|\tilde{S}-S\|=\mathcal{O}(\|H\|)$. Our results hold even if $A$ has repeated
symplectic eigenvalues. This generalizes the stability result of symplectic
matrices for non-repeated symplectic eigenvalues given by Idel, Gaona, and Wolf
[$\textit{Linear Algebra Appl., 525:45-58, 2017}$].
- Abstract(参考訳): ウィリアムソンの定理は、任意の 2n \times 2n$ 実正定値行列 $a$ に対して、$s^tas=d \oplus d$ となるような 2n \times 2n$ 実シンプレクティック行列 $s$ が存在し、ここで$d$ は$n\times n$ 対角行列であり、これは$a$ のシンプレクティック固有値として知られている。
H$ を任意の 2n \times 2n$ 実対称行列とし、摂動行列 $A+H$ もまた正定値である。
本稿では、ウィリアムソンの定理における任意のシンプレクティック行列 $\tilde{s}$ が $\tilde{s}=s q+\mathcal{o}(\|h\|)$ の形であることを示し、ここで、$q$ は直交行列と同様に 2n \times 2n$ 実シンプレクティックである。
さらに、$q$ は$\textit{symplectic block diagonal}$ で、ブロックサイズは$a$ のシンプレクティック固有値の倍数で与えられる。
したがって、$\tilde{S}$ と $S$ は $\|\tilde{S}-S\|=\mathcal{O}(\|H\|)$ となるように選択できる。
a$ が繰り返しシンプレクティック固有値を持つ場合でも、結果は成り立つ。
これは idel, gaona, wolf [$\textit{linear algebra appl] によって与えられる非簡約シンプレクティック固有値に対するシンプレクティック行列の安定性結果を一般化する。
, 525:45-58, 2017}$].
関連論文リスト
- Universality for the global spectrum of random inner-product kernel
matrices in the polynomial regime [12.221087476416056]
本稿では、この現象が普遍であることを示し、X$がすべての有限モーメントを持つi.d.エントリを持つとすぐに保持する。
非整数$ell$の場合、Marvcenko-Pastur項は消滅する。
論文 参考訳(メタデータ) (2023-10-27T17:15:55Z) - A Fast Optimization View: Reformulating Single Layer Attention in LLM
Based on Tensor and SVM Trick, and Solving It in Matrix Multiplication Time [7.613259578185218]
我々は、一層注意ネットワーク目的関数 $L(X,Y) の証明可能な保証を提供することに注力する。
多層LCMネットワークでは、mathbbRn×d2$の行列$Bを層の出力と見なすことができる。
損失関数をトレーニングする反復アルゴリズムを$L(X,Y)$ up $epsilon$で、$widetildeO( (cal T_mathrmmat(n,d) + dで実行される。
論文 参考訳(メタデータ) (2023-09-14T04:23:40Z) - A General Algorithm for Solving Rank-one Matrix Sensing [15.543065204102714]
マトリックスセンシングの目標は、一連の測定に基づいて、mathbbRn×n$の行列$A_starを復元することである。
本稿では、このランク-$kの仮定を緩和し、より一般的な行列センシング問題を解く。
論文 参考訳(メタデータ) (2023-03-22T04:07:26Z) - Optimal Query Complexities for Dynamic Trace Estimation [59.032228008383484]
我々は,行列がゆっくりと変化している動的環境において,正確なトレース推定に必要な行列ベクトルクエリ数を最小化する問題を考える。
我々は、$delta$失敗確率で$epsilon$エラーまで、すべての$m$トレースを同時に推定する新しいバイナリツリー要約手順を提供する。
我々の下界(1)は、静的な設定においてもフロベニウスノルム誤差を持つ行列ベクトル積モデルにおけるハッチンソン推定子の第一の厳密な境界を与え、(2)動的トレース推定のための最初の無条件下界を与える。
論文 参考訳(メタデータ) (2022-09-30T04:15:44Z) - 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) - 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) - Maps preserving trace of products of matrices [1.4620086904601473]
M_n$ のある種の部分集合に対して 2 つの写像 $phi_1$ と $phi$ の線型性と単射性を証明する。
i=1, ldots, m$) fulfillingoperatornametr (phi_m(A_m))=operatornametr (A_m)$$$ in that $mathcalS$ is the set of $n$-by-n
論文 参考訳(メタデータ) (2021-03-22T01:39:04Z) - Sparse sketches with small inversion bias [79.77110958547695]
逆バイアスは、逆の共分散に依存する量の推定を平均化するときに生じる。
本研究では、確率行列に対する$(epsilon,delta)$-unbiased estimatorという概念に基づいて、逆バイアスを解析するためのフレームワークを開発する。
スケッチ行列 $S$ が密度が高く、すなわちサブガウスのエントリを持つとき、$(epsilon,delta)$-unbiased for $(Atop A)-1$ は $m=O(d+sqrt d/ のスケッチを持つ。
論文 参考訳(メタデータ) (2020-11-21T01:33:15Z) - The Average-Case Time Complexity of Certifying the Restricted Isometry
Property [66.65353643599899]
圧縮センシングにおいて、100万倍のN$センシング行列上の制限等尺性(RIP)はスパースベクトルの効率的な再構成を保証する。
Mtimes N$ matrices with i.d.$mathcalN(0,1/M)$ entry。
論文 参考訳(メタデータ) (2020-05-22T16:55:01Z) - Average Case Column Subset Selection for Entrywise $\ell_1$-Norm Loss [76.02734481158458]
最悪の場合、行列に対する良いランク-$k$近似を得るには、任意に大きい$nOmega(1)$列数が必要であることが知られている。
最小かつ現実的な分布設定では、ほぼ線形な実行時間を持つ$(k/epsilon)$-approximationとpoly$(k/epsilon)+O(klog n)$ columnsが得られる。
これは、エントリワイズで$(k/epsilon)$-approximationを達成するための任意の種類の最初のアルゴリズムである
論文 参考訳(メタデータ) (2020-04-16T22:57:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。