数理・量子計算レポート一覧
このディレクトリ内のHTMLレポートを横断する入口ページです。検索欄にキーワードを入れるか、分野ボタンで絞り込んで目的の文書を開けます。
Documents
カードを選択すると該当HTMLを開きます。
Encoding Electronic Spectra in Quantum Circuits
Linear T Complexity 論文の詳細解説。LCU、qubitization、電子構造、位相推定を扱います。
Practical Quantum Advantage 要件レポート
実用的量子優位性に必要な物理qubit数、実行時間、QEC、T factoryを整理した日本語レポート。
Gidney 2017 Dirty Qubits
Factoring with n+2 clean qubits and n-1 dirty qubits の回路構成とqubit会計を読む詳細レポート。
有限群の表現論
Maschkeの定理、Schurの補題、指標表、誘導表現までを含む完全レポート。
有限群のコホモロジー
バー分解、低次元コホモロジー、Shapiroの補題、Tateコホモロジーをまとめた詳細レポート。
Cohen-Macaulay環
深さ、正則列、局所コホモロジー、Gorenstein環など可換代数の主要概念を整理。
グレブナー基底
単項式順序、多変数割り算、Buchbergerアルゴリズム、消去定理までの詳細レポート。
グレブナー基底を使った探索
探索問題を多項式制約へ落とし、グレブナー基底で解を調べる設計・実装のレポート。
Quantum Singular Value Transformation
block-encoding、QSP、多項式設計、位相合成、回路実装までのQSVT詳解。
表面符号の Lattice Surgery
merge/split、論理Pauli積測定、CNOT、decoder、fault toleranceを物理操作から解説。
SATソルバーの原理
DPLL、CDCL、単位伝播、節学習、実装上の工学的技法をまとめたレポート。
類体論 詳細レポート
局所類体論、大域類体論、Artin相互律、射類群、イデールを体系的に扱うレポート。
平方剰余の相互法則
Legendre記号、Euler判定法、Gaussの補題、補充法則、Jacobi記号までの完全詳解。
類体論ノート 計算で理解する版
円分体、イデアル類群、局所体、ray class field、Hilbert類体を計算例とともに整理。
Binary Decision Diagram (BDD) 詳説レポート
BDD の定義、縮約順序付きBDD、論理関数操作、変数順序、SAT・検証への応用を整理したレポート。
Echo で何が消えるのか
スピンエコー、Hahn echo、dephasing、低周波ノイズの消去原理を基礎から整理した量子制御ノート。
Software tools for quantum control 論文解説
量子制御ソフトウェア、filter function、最適化、ノイズ抑制を扱う論文の要点を整理した解説。
有限群コホモロジー：演習問題と解答
有限群コホモロジーの定義、巡回群計算、拡大分類、スペクトル系列などを30問で確認する演習集。
有限群コホモロジー：DOTとd3-graphvizで見る構造
複体、導来関手、低次元分類、制限写像、スペクトル系列をDOTグラフで可視化する補助レポート。
超伝導量子ビットの物理・数理 Interactive Notes
transmon、circuit QED、分散読み出し、緩和・位相緩和、キャリブレーションを視覚的にまとめた教材。
トランズモンの分散読み出し Visual Notebook
transmon と resonator の分散結合、読み出し応答、SNR、measurement-induced dephasing を可視化するノート。
有限群コホモロジー：具体例大全
消滅例、巡回群、符号作用、mod p 環、初等アーベル群、S3、Q8 などの計算例を横断整理。
超伝導量子ビットの CW による周波数推定
resonator と qubit の CW spectroscopy による周波数推定を、数式・手順・フィットモデル・可視化で整理。
A Game of Surface Codes 解説
Litinski の A Game of Surface Codes を、tile、パッチ操作、lattice surgery、蒸留工場の設計から解説。
一致する文書がありません。