学習ノート索引

Mathematics in Neuroscience プレゼン準備 — 数学解説 HTML 一覧

プロジェクト: 数学者向けに「single channel recording から Q行列を使ってイオンチャネルの状態数を推定する」プレゼンを準備中。発表者は神経科学者で数学初心者。
このページ: プレゼンの構成と、各セクションに対応する学習ノート (HTML) を一覧。
発表全体の中心メッセージ:
  「観測される滞在時間ヒストグラムの指数の本数 = 隠れた状態の数」
  実験データから内部の状態構造を逆推定する。

プレゼン全体構成と関連ノート

§セクション関連ノート (クリックで開く)状態
§0タイトル + 問い
§1-2単一チャネル記録 + 滞在時間ヒストグラムマクロ電流 vs 滞在時間ヒストグラム
§3指数の数 = 状態の数 (核心)指数分布と状態数推定
§4必要最小限の数学 (CTMC・Q行列・exp(Qt))(作成中)進行中
§5固有値構造と状態数の橋渡し(予定)
§6逆問題: 最尤推定 (Colquhoun-Hawkes)Kolmogorov 方程式 vs 逆問題
§7同定可能性 (数学者へのフック)(予定)
§8まとめ

作成済みノート (3件)

§3 / 数学解説①+② / 2026-05-18

1. 指数分布と状態数推定 — §3 の核心

発表全体の心臓部。指数分布の基本、無記憶性 (= マルコフ性)、指数の重ね合わせ (mixture) と和 (Erlang) の決定的な違い、そして「指数の本数 = 状態の数」というメッセージ。Colquhoun-Hawkes の古典図 (実線=mixture / 破線=Erlang) を実データ例として埋め込み。

→ exponential-distribution-and-state-counting.html
指数分布・無記憶性・mixture vs Erlang・peak の有無 = 並列 vs 直列・実データ図
§3 補足 / 教科書との対比 / 2026-05-18

2. マクロ電流 vs 単一チャネル滞在時間ヒストグラム

教科書がマクロ電流で書く理由と、なぜこの発表が単一チャネル滞在時間ヒストグラムから出発するかを明示。3つの似たもの (単一電流トレース・マクロ電流・ヒストグラム) の区別。両者は同じ Q行列の固有値を共有

→ macroscopic-current-vs-dwell-time-histogram.html
3者比較・物理的解釈・なぜ単一チャネルを使うか・教科書と本発表の接続
§6 関連 / 用語の整理 / 2026-05-18

3. 前進/後進 Kolmogorov 方程式 vs 逆問題

「後進方程式 = 逆問題」という誤解の解消。両方とも順方向に確率を計算する方程式で、違いは「何を固定して何を動かすか」だけ。逆問題はパラメータ推定の枠組みで、方程式の向きとは無関係。

→ kolmogorov-equations-vs-inverse-problem.html
forward/backward Kolmogorov の比較・順問題と逆問題の対比・2状態モデルの具体例

今後追加予定 (§4 以降)

§4a / CTMC の数学的定義

4. 連続時間マルコフ連鎖 (CTMC) とは何か — 予定

確率過程・マルコフ性の正式定義・時間均一性・指数滞在時間・有限状態空間。なぜ CTMC がイオンチャネルの自然な枠組みなのか。神経生理との対応。

§4b / Q 行列 (生成作用素)

5. Q 行列 — 連続時間マルコフ連鎖を完全に決める行列 — 予定

Q = lim (P(t)−I)/t の意味。3つの特徴づけ (q_ij ≥ 0, q_ii ≤ 0, 行和=0)。各成分の神経生理的解釈 (遷移率 = 速度定数)。2状態・3状態の具体例。

§4c / 行列指数関数 P(t) = exp(Qt)

6. 行列指数関数 — 「行列を肩に乗せる」意味 — 予定

マクローリン展開による定義。Kolmogorov 方程式の解。対角化と固有値展開。固有値が滞在時間分布の指数部に出てくる仕組み。

§5 / 固有値と状態数の橋渡し

7. Q 行列の固有値と滞在時間分布 — 予定

Q を対角化すると、滞在時間分布が指数の和になる仕組み。Q のサブブロックの固有値 = 観測されるヒストグラムの指数成分。これが「指数の本数 = 状態数」の数学的正体。

§6 / 最尤推定の数理

8. 最尤推定 (MLE) と Colquhoun-Hawkes 尤度 — 予定

観測列 (open-closed-open-...) の尤度関数。隠れマルコフモデル (HMM, 連続時間版) のアプローチ。dead time / missed events 補正。状態数を BIC などで選ぶモデル選択。

§7 / 数学者への問題提起

9. 同定可能性 (identifiability) と未解決問題 — 予定

異なる Q が同じ観測分布を与える可能性 (Fredkin-Rice 1986)。集約マルコフ連鎖 (lumping) の問題。代数幾何的アプローチ。数学者が興味を持てる開いた問題。

ファイル配置ルール

保存場所: C:\Users\lunel\Documents\claude\Mathematics in neuroscience\docs\learning\
命名: kebab-case の .html。self-contained (inline CSS / SVG / base64画像) で他環境にコピーしても動く。
相互リンク: 各ノートの先頭ナビゲーションから関連ノートにジャンプできる。

最終更新: 2026-05-18 / プロジェクト: Mathematics in Neuroscience プレゼン準備