2
量子回路のグラフィカル計算
これまでのところ、zx-calculusとy-calculusについて少し読んだ。 可逆計算から： zx-calculusは、量子システムを記述するためのグラフィカル言語です。 zx-calculusは、その構文を構成するダイアグラムを書き換えることに基づく方程式理論です。書き換えは、定量的ソフトウェアを使用して自動化できます。 この方法は非常に興味深いようですが、私はその主題について多くの紹介情報を見つけることができません。任意の被験体または追加のリソースへの洞察が大幅に高く評価されるだろう。 現在のリソース： クリフォード+ T量子力学のためのZX計算の完全な公理化 2-qubit Clifford + T量子回路のZXルール Y-微積分：ZX-微積分から派生した実数行列のための言語 チュートリアル：量子回路のグラフィカル計算 ZH：古典的な非線形性を含む量子計算のための完全なグラフィカル計算 オープン量子システムのテンソルネットワークとグラフィカル計算 Quantomaticの論文 モノイドカテゴリのグラフィカル言語のまとめ（PDF）