午前中に \(p=2\) のケースをまとめた。やっぱ成り立っている。しかも2次形式はどうも \(\mathcal{O}(1)\) で更新できるっぽい。
午後、一般化のために論文を読み始めた。
- On the Inversion of the Sample Covariance Matrix in a Stationary Autoregressive Process これ。読めないものでもない。
- How to prove that the inverse of a persymmetric matrix is also persymmetric? persymmetricの逆はまたpersymmetricであることの証明。