エクスパンダーグラフ https://en.wikipedia.org/wiki/Expander_graph 駆け足で学ぶエクスパンダーグラフ | Mathlog https://www.nature.com/articles/s41467-019-13006-7 https://pages.uoregon.edu/dlevin/MARKOV/markovmixing.pdf ホモロジー系 https://a…

実対称行列の固有値が実数であること。 固有値、固有ベクトルの関係と、と、 それの共役転置の式を使って、 であることを証明すればよい。 その固有ベクトルが直交することも、共役転置をとった上で、固有値が実数であることを利用して、異なる固有値に紐づ…