色々付け焼き刃で IBMQ を使う。 IBM Quantumで学ぶ量子コンピュータ - 秀和システム あなたの学びをサポート！ に沿って触ってみる。サーキットコンポーザは 3 量子ビットの回路らしい。$q_0$ に $X$ ゲート（NOT ゲート）を作用させると 001 が 100% で測…

Python 3.9.7 環境で pip install pytket==0.15.0 pip install pytket-qiskit==0.18.0 pip install qermit==0.1.2 したら、810M の環境ができた。3.10.0 環境だと .whl がないのかインストールできなかった。

不変部分空間 - らんだむな記憶 を続ける。補題を一つ用意する。 補題 $A$ を正則行列とする。$V^\prime$ を $A$-不変なベクトル空間とする。この時、$\mathrm{Ran}(A|_{V^\prime}) = V^\prime$証明 $e_1, \cdots, e_k$ を $V^\prime$ の基底とすると、$A e_…

$V$ を有限次元ベクトル空間とする。$A: V \to V$ を正則行列とする。$V^\prime \subsetneq V$ を部分空間とし、$A$-不変であるとする。$\dim V^\prime = k \begin{align*} A (e_1, \cdots, e_k, e_{k+1}, \cdots, e_n) = (e_1, \cdots, e_k, e_{k+1}, \cdot…