• 昨日の証明に補足を加え、より読みやすくしました。
  • 非負定値行列 A の第1固有値\lambda_{\tiny 1} とするとき、x^{\small \top} Ax \leq \lambda_{\tiny 1} ||x||_{\tiny 2}^2 が成り立つことを論文でどこまで説明すべきかについて、共著者と若干のやりとりをしました。式変形について、一言あると論文が格段に読みやすくなるハズ、という suggetion に納得して、説明を追加しています。
  • 論文は内容的にはほとんど完成しています(50ページ越え)。