数理・量子計算レポート一覧
このディレクトリ内の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、蒸留工場の設計から解説。
BDD 図解拡張レポート
DOT と d3-graphviz で BDD の構造、簡約、Apply、変数順序を視覚的に追う補助レポート。
BDD 具体例大全
基本論理、しきい値、比較器、加算器、到達可能性などを通じて ROBDD の形を確認する例集。
BDD 演習問題と回答
BDD の基礎、簡約、Apply、量化、変数順序、実装、応用を確認する解答付き演習集。
類体論 DOT/d3 可視化アトラス
類体論の対応、塔、局所化、Frobenius、Artin 写像を DOT と d3-graphviz で可視化する詳細版。
類体論 DOT/d3 グラフィカル理解
類体論の主定理、相互法則、射類体、Frobenius、導手、塔の関手性をグラフで読む補助教材。
類体論 具体例カタログ
素イデアル分解、Frobenius、二次体、円分体、Hilbert 類体、局所体を具体例で反復するレポート。
類体論 具体例クイック集
円分体、二次体、Hilbert 類体、局所類体論、導手、Chebotarev を多くの具体例で整理する短縮版。
類体論 演習問題と詳解
二次体、円分体、類群、Hilbert 類体、局所体、Artin 写像、Chebotarev までを扱う詳解付き問題集。
類体論 演習問題と回答
定義確認、円分体・二次体の計算、Hilbert 類体、局所類体論、導手、主定理を確認する演習集。
Cohen-Macaulay環 具体例カタログ
CM 環と非 CM 環の具体例を、深さ・次元・正則列・局所化の観点から確認する例集。
Cohen-Macaulay環 演習問題と解答
定義、正則列、商環、Auslander-Buchsbaum、局所コホモロジー、Serre 条件を確認する演習集。
Cohen-Macaulay環 DOT/d3 図解
深さ、次元、正則列、局所化、自由分解、局所コホモロジーを Graphviz で可視化する補助教材。
有限群の表現論 具体例カタログ
巡回群、Klein 四元群、対称群、二面体群、四元数群、交代群の既約表現・指標表を確認する例集。
有限群の表現論 演習問題と解答
Maschke、Schur、指標、具体群、誘導・制限・テンソル積までを段階的に確認する演習集。
有限群の表現論 DOT/d3 可視化
群作用、Cayley グラフ、部分群束、指標表、Wedderburn 分解、誘導・制限をグラフで眺める補助教材。
グレブナー基底 具体例集
消去、標準単項式、正規形、S 多項式、零次元・正次元、重複度、飽和を具体例で読む例題集。
グレブナー基底 演習問題と回答
単項式順序、割り算、S 多項式、Buchberger 判定法、初期イデアル、消去、商環を確認する問題集。
グレブナー基底 DOT/d3 グラフィカル理解
単項式の可除関係、初期イデアル、割り算、Buchberger アルゴリズム、消去、商環を可視化するレポート。
グレブナー基底探索 具体例集
連立方程式、消去、所属判定、Boolean/SAT、彩色、最適化、ロボティクスなどを探索問題として読む例集。
グレブナー基底探索 演習問題と解答
Buchberger 法、消去、Boolean/SAT、探索設計、応用までをヒント・解答・進捗管理つきで練習する演習集。
グレブナー基底探索 DOT/d3 可視化
単項式整除 DAG、多項式簡約、S ペア探索、消去、Boolean 分岐をグラフとして眺める拡張レポート。
行列の総合レポート
行列の理論、構造、分解、数値計算アルゴリズムを体系化した線形代数ノート。
lattice surgery DOT/d3 可視化
patch、seam、新 stabilizer、logical observable、decoder observable の依存関係を DOT で可視化する補助教材。
lattice surgery 具体例集
初期化 basis、seam check、split basis、decoder observable、Pauli frame の組み合わせを具体例で確認する。
lattice surgery 演習問題と解答
物理 qubit 操作、stabilizer 剰余、decoder observable、CNOT byproduct を確認する演習集。
QEC Code Deformation 詳説
code deformation、lattice surgery、gauge fixing、twist defects、surface-code 実装を整理した詳細レポート。
QSVT 具体例集
スカラー、矩形行列、振幅増幅、逆行列、Hamiltonian simulation、フィルタリング、PCA などの QSVT 例集。
QSVT 演習問題と回答
QSP の多項式条件、QSVT 定理、奇偶パリティ、応用、誤差、位相合成を確認する演習集。
QSVT DOT/d3 Graphical Atlas
射影、SVD、QSP、位相合成、誤差予算の依存関係を DOT グラフで可視化する QSVT 補助レポート。
平方剰余の相互法則 具体例大全
平方剰余表、Legendre 記号、合同方程式、Jacobi 記号の注意例を大量の具体例で確認するレポート。
平方剰余の相互法則 演習問題と回答
定義、補充法則、相互法則による計算、合同方程式、Jacobi 記号、証明問題を練習する問題集。
平方剰余の相互法則 DOT/d3 グラフィカル補講
定理・補題・計算法の依存関係を DOT と d3-graphviz で追う視覚的補講。
SAT ソルバー具体例集
CNF、Tseitin 変換、DPLL の探索、CDCL の学習、2-watched literals を具体例で確認するレポート。
SAT ソルバー演習問題と解答
節の評価、CNF 符号化、DPLL トレース、CDCL 衝突解析、watched literals を確認する演習集。
SAT ソルバー DOT/d3 図解レポート
CNF、探索木、含意グラフ、watch list、1-UIP カット、backjump を DOT グラフで可視化するレポート。
1個の smooth merge はどの論理測定をしているのか
表面符号 lattice surgery の smooth merge が測る論理 observable を、物理手順、stabilizer、射影、decoder observable、具体例から整理する詳細レポート。
Quantum Error Correction 詳細レポート
量子誤り訂正（Quantum Error Correction, QEC）の基礎、Knill–Laflamme 条件、スタビライザ符号、表面符号、デコーディング、フォールトトレランス、実装上の論点をまとめた詳細レポート。
有限群のシローの定理：証明・計算・応用
有限群のシローの定理を、群作用・証明・計算・応用の観点から体系的に学ぶ日本語レポート。
定義から計算する H^1(C₂, M)
群コホモロジーの第一コホモロジー H^1(C_2,M) を非斉次コチェインの定義から計算するレポート。
モンスター群 M：有限単純群・Griess 代数・ムーンシャインの詳細レポート
有限単純群の最大の散在群であるモンスター群について、群論の基礎から Griess 代数、ムーンシャイン、具体例、計算検証、証明までをまとめた詳細レポート。
一致する文書がありません。