細胞現象の数理2. 自己紹介と背景説明
西川秀明(職業的ディレッタント@hide36ous)
東京大学医学部医学科・学部生
趣味はツイッター、初等幾何の問題作り、ボードゲーム、マンガ、アニメetc
鉄門アメフト部OB(ポジションはRB/LB/LS)
たまに惚気ツイと質問箱(恋愛相談)をします
医学系研究科神経生物学教室(廣瀬謙造研)所属
プレシナプスにおける多分子計測・時系列解析・モデリング 進捗はないよ…
第3回「少数性生物学トレーニングコース」に参加
細胞・細胞集団レベルにおける理論生物学
に興味があり、進路は色々迷ってます
まだ研究成果はあまりありませんので、やりたい研究の方向性として
理論生物学における「分野の地図」を紹介していきたいと思います
11. 化学反応系の決定論的モデリング
化学量論(Stoichiometry)と反応頻度関数(Propensity function)によるモデル化
化学反応:①反応によって誘導される分子変動+②反応の起こる頻度 によって規定される
①化学物質 𝑋1, 𝑋2, … , 𝑋 𝑛 により構成されるm種類の化学反応について
𝑠𝑖𝑗:反応jにおける 𝑋𝑖の化学反応量(Stoichiometry)
𝑠𝑗 = 𝑠1𝑗, 𝑠2𝑗, … , 𝑠 𝑛𝑗
𝑇
:反応jの化学量ベクトル(Stoichiometric vector)
S = 𝑠1, 𝑠2, … , 𝑠 𝑚 :化学量論行列(Stoichiometric matrix:n行m列)
②各物質 𝑋𝑖 の濃度を 𝑥𝑖, 反応jが生じる頻度(Propensity function)を 𝑓𝑗( Ԧ𝑥)とすると、
∆𝑥𝑖 = 𝑠𝑖𝑗 𝑓𝑗( Ԧ𝑥)/𝑉 = 𝑠𝑖𝑗
෩𝑓𝑗( Ԧ𝑥) , ෩𝑓𝑗( Ԧ𝑥):反応jのflux
Ԧ𝑓( Ԧ𝑥) = ෩𝑓1 Ԧ𝑥 , … , ෪𝑓𝑚( Ԧ𝑥)
𝑇
を用いて、∆ Ԧ𝑥 = 𝑆 Ԧ𝑓 Ԧ𝑥 ∆𝑡 とかけるので
𝑑 Ԧ𝑥
𝑑𝑡
= 𝑆 Ԧ𝑓 Ԧ𝑥 :反応速度方程式(決定論的)
反応ネットワークの構造は行列 𝑆 の代数から定まる
𝑓𝑗 Ԧ𝑥 たちは基本的に非線形:体系的に解くのは難しいのであとは各論的(モデル依
存)な扱いになる
12. 反応拡散系による形態形成のモデリング
Turing Pattern:生物の形態形成の反応拡散モデル
൞
𝜕𝑢
𝜕𝑡
= 𝑓 𝑢, 𝑣 + 𝐷 𝑢
𝜕2 𝑢
𝜕𝑥2
𝜕𝑣
𝜕𝑡
= 𝑔 𝑢, 𝑣 + 𝐷𝑣
𝜕2 𝑣
𝜕𝑥2
Turing不安定
固定点 𝑢∗
, 𝑣∗
:𝑓 𝑢∗
, 𝑣∗
= 𝑔 𝑢∗
, 𝑣∗
= 0 が漸近安定
平衡解
𝜕𝑢
𝜕𝑡
=
𝜕𝑣
𝜕𝑡
= 0 が不安定:特定の波数が振動
の両方を満たすとき、Turing不安定(拡散誘導不安定)である、という
→非一様な空間パターンが生まれる
他にも、Feedforward loopやCross diffusion
と組み合わせたりして様々なパターンを作れる
とはいえ、一様解の不安定性以上のことはかなり難しい…
(定常解の形状、遷移ダイナミクスは各論的な理解のみ)
無限次元系を扱うのはつらい(関数解析難しいよ)
第二量子化(Doi-Peliti formalism)による議論も展開できるらしい
一様状態がある波長の
ゆらぎに対して不安定
u
v
揺らぎが成長
速い拡散:先回り
して揺らぎを抑制
谷ができる:
非一様パターン
17. 前提②
「細胞中の分子は状態を記憶しない」?
H. Gruler, D. Müller-Enoch, Eur. Biophys. J. 19, 217 (1991)
酵素反応サイクルの時間スケール
ex) シトクロムP-450依存 mono-oxygenase
光で同期後、しばらくフィードバック
なしで同期して反応
→酵素の持つ周期(Turnover time)
が1.54sec
光で同期
生成物の量
長すぎ‼
典型的なタイムスケール (通常拡散の前提で)
1. Mixing time~1ms (~L/D)
2. Transit time~1s (~L/DRN)
L:細胞の大きさ~1μm D:拡散係数~10−5
㎠/s
N:目標分子の数~1 R:目標分子の大きさ~1nm
Slaving the cytochrome P-450 dependent monooxygenase
system by periodically applied light pulses.
22. ①分子の少数性(Noise/Discreteness)
少数性(Noise)による確率的な現象をモデリングするには?
決定論的には
𝑑 Ԧ𝑥
𝑑𝑡
= 𝑆 Ԧ𝑓 Ԧ𝑥 とかけた:これをどう拡張するか?
1. 一つの細胞の中で起こる反応に対しランダムな反応の生起に注目する
→分子数 𝑛 𝑡 を変数とした確率過程:確率微分方程式
2. 無数の細胞集団に対して分子数 𝑛 の確率分布の時間発展を見る
→時刻tで分子数 𝑛 を持つ細胞の割合 𝑃 𝑡, 𝑛 を変数としたChemical Master方程式
確率過程(点過程・計数過程)による記述
Ԧ𝑓 Ԧ𝑥 = Ԧ𝑓 𝑛/𝑉 /𝑉 として Ԧ𝑓 𝑛/𝑉 → Ԧ𝑓 𝑛 と定義しなおす:
𝑑𝑛
𝑑𝑡
= 𝑆 Ԧ𝑓 𝑛
反応が生起した時間列 𝑡𝑖 𝑖∈𝑵 と各時点での反応のindex 𝑚𝑖 𝑖∈𝑵 について、
𝑛 𝑡 = 𝑛 0 + σ𝑖≤𝑖 𝑡 Ԧ𝑠 𝑚 𝑖
:点過程(Point process)
時刻tまでに生じた反応jの回数を 𝐶𝑗 𝑡 , Ԧ𝐶 𝑡 = 𝐶1 𝑡 , … , 𝐶 𝑚 𝑡
𝑇
として、
𝑛 𝑡 = 𝑛 0 + 𝑆 Ԧ𝐶 𝑡 :計数過程(Counting process)
23. ①分子の少数性(Noise/Discreteness)
Chemical Master Equation (CME) による記述
𝑃 𝑡, 𝑛 , ∀𝑡 > 𝑡′ > 𝑡0 について、 𝑡0:初期時刻, 𝑛0 = 𝑛 𝑡0 , 𝑛′ = 𝑛 𝑡′
𝑃 𝑡, 𝑛 𝑡0, 𝑛0 = σ 𝑛′ 𝑃 𝑡, 𝑛 𝑡′, 𝑛′ 𝑃 𝑡′, 𝑛′ 𝑡0, 𝑛0 :Markov性を仮定
時間の離散化 or 点過程のMartingale性 により
𝑑
𝑑𝑡
𝑃 𝑡, 𝑛 = σ 𝑗∈ 1,…,𝑚 𝑓𝑗 𝑡, 𝑛 − 𝑠𝑗 𝑃 𝑡, 𝑛 − 𝑠𝑗 − 𝑓𝑗 𝑡, 𝑛 𝑃 𝑡, 𝑛 :CME が得られる
CME:可算無限次元の1階偏微分方程式
𝑛 ∶1次元 and 𝑠𝑗 = ±1 の場合は定常解が形式的に求まる
𝑛 ∶1次元の場合以外は定常状態を解析的に扱うのは一般には難しい
1. 𝑃 𝑡, 𝑛 のCumulantについて解く:Cumulant展開の打ち切りによる近似
2. Kramers-Moyal展開→Chemical Fokker-Planck Eq.→ Chemical Langevin Eq.による記述
(積分形Chapman-Kolmogorov方程式)
24. ①分子の少数性(Noise/Discreteness)
Cumulantとは
確率変数 𝑛 に対してCumulant母関数 𝜑 Ԧ𝑠 = 𝑙𝑜𝑔 𝑒𝑥𝑝 Ԧ𝑠 𝑇
∙ 𝑛 を展開する
𝜑 Ԧ𝑠 = σ 𝑘=1
𝑛 σ(𝑘1+ ⋯+𝑘 𝑛=𝑘 ) 𝑐 𝑘1,…,𝑘 𝑛
𝑠1
𝑘1…𝑠 𝑛
𝑘 𝑛
𝑘1!…𝑘 𝑛!
, 𝑐 𝑘1,…,𝑘 𝑛
:k次のCumulant
1次のCumulantは平均 𝑛𝑖
2次( 𝑛 𝑘と𝑛𝑙の間)のCumulantは共分散 𝜎 𝑘,𝑙 = 𝑛 𝑘 − 𝑛 𝑘 𝑛𝑙 − 𝑛𝑙
1次Cumulantの時間発展方程式:
𝑑
𝑑𝑡
𝑛 = 𝑆 Ԧ𝑓 𝑛
2次Cumulantの時間発展方程式:
𝑑
𝑑𝑡
𝜎 𝑘,𝑙 = σ 𝑗 𝑠 𝑘𝑗 𝜎𝑙,𝑓 𝑗
+ 𝑠𝑙𝑗 𝜎 𝑘,𝑓 𝑗
+ 𝑠 𝑘𝑗 𝑠𝑙𝑗 𝑓𝑗 𝑛
ここで、∀𝑗, 𝑓𝑗 𝑛 = 𝑓𝑗 𝑛 :𝑛 についての線形性 を仮定すると
𝑑
𝑑𝑡
Σ = 𝑆𝑈Σ + 𝑆𝑈Σ 𝑇
+ 𝑄:Lyapunov方程式
Σ = 𝜎𝑖𝑗 , 𝑈 = 𝑢𝑖𝑗 ∶ 𝑢𝑖𝑗 =
𝜕
𝜕𝑛𝑖
𝑓𝑗 𝑛 , 𝑄 = 𝑞𝑖𝑗 ∶ 𝑞𝑖𝑗 =
𝑚
𝑠𝑖𝑚 𝑠𝑗𝑚 𝑓𝑚 𝑛
𝑓𝑗 𝑛 について2次までの非線形性を許容し3次以上のCumulantを打ち切ると、
2次までのCumulantについての閉じた方程式が得られる(とはいえけっこう無茶な近似…)
25. ①分子の少数性(Noise/Discreteness)
Chemical Langevin Equation による記述
Kramers-Moyal展開
𝑑
𝑑𝑡
𝑃 𝑡, 𝑛 = σ 𝑗∈ 1,…,𝑚 𝑓𝑗 𝑡, 𝑛 − 𝑠𝑗 𝑃 𝑡, 𝑛 − 𝑠𝑗 − 𝑓𝑗 𝑡, 𝑛 𝑃 𝑡, 𝑛 :CME を 𝑠𝑗 たちについてTaylor展開
𝑑
𝑑𝑡
𝑃 𝑡, 𝑛 = σ 𝑗∈ 1,…,𝑚 σ 𝑘=1
∞ 1
𝑘!
−𝑠𝑗
𝜕
𝜕𝑛
𝑘
𝑓𝑗 𝑡, 𝑛 𝑃 𝑡, 𝑛 = σ 𝑘=1
∞ −1 𝑘
𝑘!
𝜕
𝜕𝑛
𝑘
σ 𝑗∈ 1,…,𝑚 𝑠𝑗
𝑘
𝑓𝑗 𝑡, 𝑛 𝑃 𝑡, 𝑛
これを2次で打ち切る→Chemical Fokker-Planck Equationが得られる
𝑑
𝑑𝑡
𝑃 𝑡, 𝑛 = −
𝑖=1
𝑁
𝜕
𝜕𝑛𝑖
𝑚
𝑠𝑖,𝑚 𝑓𝑚 𝑡, 𝑛 𝑃 𝑡, 𝑛 +
𝑖,𝑗=1
𝑁
1
2
𝜕
𝜕𝑛𝑖
𝜕
𝜕𝑛𝑗
𝑚
𝑠𝑖,𝑚 𝑠𝑗,𝑚 𝑓𝑚 𝑡, 𝑛 𝑃 𝑡, 𝑛
第1項が決定論的な項であり、第2項により確率性をミニマルな形で付与している
反応分子が( 𝑛 を相対的に連続量とみなせる程度には)十分多く、各反応における分子変化 𝑠𝑖,𝑚 が十分小さい場合には、Fokker-
Planckによる近似は正当性が保証される(他にもVan KampenのSystem Size Expansionなど)
Ԧ𝑥 =
𝑛
𝑉
, ሚ𝑓𝑚 Ԧ𝑥 =
𝑓 𝑚 𝑛
𝑉
として連続極限を取り、分布方程式に対応する Ԧ𝑥 についての確率微分方程式の表現を得る
𝑑𝑥𝑖 𝑡 =
𝑚
𝑠𝑖.𝑚
ሚ𝑓𝑚 Ԧ𝑥 𝑑𝑡 +
1
𝑉
𝑚
𝑠𝑖.𝑚
ሚ𝑓𝑚 Ԧ𝑥 ∙ ξ 𝑚 𝑡
ξ 𝑚 𝑡 :ホワイトノイズ (i.e. ξ 𝑚 𝑡 = 0 , ξ𝑙 𝑠 ξ 𝑚 𝑡 = 𝛿𝑙𝑚 𝛿 𝑠𝑡 ), ・:Ito積
Multiplicativeなノイズが乗っているので、Noise-inducedな分岐が生じうる
Chemical Langevin equation
26. ①分子の少数性(Noise/Discreteness)
簡単な思考実験を(冨樫祐一 生体の科学 65,450 (2014))
B*B
A A*
α
α
A* B
A B*
+
+
+γ
γ
[A]total=[B]total=1
反応速度方程式は
𝑑
𝑑𝑡
𝐴∗
= α 𝐴 − γ 𝐴∗
𝐵∗
𝑑
𝑑𝑡
𝐵∗
= α 𝐵 − γ 𝐴∗
𝐵∗
α=0.0025 , γ=0.95 として定常状態は
[A]=[B]=0.95, [A*]=[B*]=0.05
一定の
確率で
活性化
ぶつかると
等しく一定の確率
でどちらかが勝つ
B*A* A×10000個
B×10000個
体積V=10000
……
……
A×10個
B×10個
体積V=10
×1000個
の容器に分割‼
………
……
27. ①分子の少数性(Noise/Discreteness)
数の離散性
個数∈ℕ:離散的
特に1と0(有るか無いか)の不連続な変化
A*+B*→A+B* or A*+B
は片方がなくなるともう起こらない
例えばB*がなくなると、その間A*は消費され
ないのでどんどん増える
→小分けにした箱では「A*だけ増える」or「B*
だけ増える」という状況が生じやすい
成分を連続と考えたときと比べて、
長時間平均での濃度が系のスケールに依存
して大きく変わる!!
成分が0でない実効的なネットワークのみに
注目したい
分割した場合
分
割
し
な
か
っ
た
場
合
[A*]の個数
反応速度方程式からの予想では…
濃度(個数/体積)だけで決まってほ
しい
いずれの場合も[A*]=[B*]=500個に収束
するはずだが…
28. ①分子の少数性(Noise/Discreteness)
空間的な離散性
密度が低いと離散性が効いてくることも
1個でも全体の振る舞いに影響を及ぼせる
鋳型や触媒として働く場合、1個の分子が繰り返し何度も使用される
空間的な局在も考慮 ←Molecular Crowdingも影響
Shnerb “AB model”
触媒AがBを生成→生成したBとAが反応
Togashi&Kaneko model
3成分モデル
→Aが低密度だとどうなるか?
A→A+B
A+B→A+2B
B→φ(消滅)
AB
B
B
B
B
B
B
B
B
A+C→A+B
B+C→2C
2A→A+B
2B→A+B
Molecular discreteness in reaction-diffusion systems
yields steady states not seen in the continuum limit
Togashi, Kaneko,. PRE 70, 020901 (2004)
The importance of being discrete
:Life always wins on the surface
Shnerb et al., PNAS 97, 10322 (2000)
29. ①分子の少数性(Noise/Discreteness)
AB
B
BB
B B
B
B
B
Shnerb “AB model”では
1. 拡散遅い、A密度高い
2. 拡散早い、A密度低い
3. 拡散遅い、A密度低い
Bの分解が早い場合、AとBの共局在が起こる
BはAから離れられない(拡散するとすぐに分解される)
A→A+B
A+B→A+2B
B→φ(消滅)
AAA AAAB
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
BB
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
BB
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
BB
B
B
B
B
B
B
B
BA
A AB
B BB
B
B
B
B
B
B
B
B
B
B B B
B
B
A AB
B
B
B
B
B
B
B
B B
B
BB
BB
B
B
B
分子混雑でも同様の効果
B
B
B
B
B
B
B
B
B
A
30. ②分子の状態記憶・ダイナミクス
分子の内部状態をどうやって長時間記憶しているか?
立体構造の変化
Ex) EGFとEGFR(ErbB1)の結合解離反応@細胞膜上
EGFの刺激で3倍量のEGFRが活性化=シグナルの増幅
EGFRは二量体を形成
二量体を形成したEGFRがEGF分子と結合すると
もう片方の空のEGFRのaffinityも上昇する
→低濃度のEGFでも高感度の応答が可能に
EGFがEGFR二量体の「状態の制御子」の役割を果たす
EGFRの状態の比率を制御することで、結合解離に伴う熱揺らぎを制御している
「少数性」による状態の維持も
少量の酵素を多数の反応で取り合うと
反応の進行が遅れ、緩和が対数的に遅くなる
理研・佐甲細胞情報研究室のHPより
Kinetic Memory Based on
the Enzyme-Limited Competition
Hatakeyama, Kaneko,.
PLOS Comp. Biol. 10 (2014) e1003784
31. ③Molecular Crowding(分子混雑)
細胞内には細胞骨格・核・小胞など様々なスケールの細胞内小器官
→In vitro(試験管内)のような均一な空間ではない(前提④)
→微小管を用いた細胞内輸送等も考慮すべき(?)
Molecular Crowding
:高密度の分子や構造体による混み合い
1. 排除体積効果によって分子の移動が制限
2. 分子間の接触により相互作用が起こりやすくなることも
→適度な体積分率では反応が効率的に
3. 狭い閉鎖空間でタンパク質のフォールディング促進 cf) シャペロン
→分子の自発的な凝集、自己組織化も
理論的にどう記述するか?
細胞の奥深くは難しいが、細胞表面付近なら観測できる…?
Cellular automaton, cell-based model?非平衡系の場の理論?
Compartmentalization and Cell Division through
Molecular Discreteness and Crowding in a Catalytic Reaction Network
Kamimura, Kaneko., Life 2014, 4, 586-597
33. 分子運動論におけるBoltzmann方程式の導出
N体のNewton運動方程式
Γ 𝑡 ≡ Ԧ𝑥1, Ԧ𝑝1, … , Ԧ𝑥 𝑁, Ԧ𝑝 𝑁 ; 𝑡 :相空間上の状態点
𝑑 Ԧ𝑥 𝑖
𝑑𝑡
=
Ԧ𝑝 𝑖
𝑚
,
𝑑 Ԧ𝑝 𝑖
𝑑𝑡
= −
𝜕
𝜕 Ԧ𝑥 𝑖
𝑈 (𝑖 = 1, … , 𝑁)
𝑈 Ԧ𝑥1, … , Ԧ𝑥 𝑁 = σ𝑖 𝑈𝑒𝑥 Ԧ𝑥𝑖 + σ𝑖<𝑗 𝑈𝑖𝑛𝑡 Ԧ𝑥𝑖 − Ԧ𝑥𝑗
Nが多すぎて計算できない
Liouville Equation:N体分布 𝑃 𝑁 Γ; 𝑡 = 𝑃 𝑁 Ԧ𝑥1, Ԧ𝑝1, … , Ԧ𝑥 𝑁, Ԧ𝑝 𝑁 ; 𝑡 のMaster方程式
𝐷 𝑁
𝐷𝑡
𝑃 𝑁 Γ; 𝑡 =
𝑖<𝑗
𝑃 𝑁 … , Ԧ𝑝𝑖
′
, . . , Ԧ𝑝𝑗
′
, … Θ Ԧ𝑣𝑖𝑗 ∙ Ԧ𝑒𝑖𝑗 − 𝑃 𝑁 Γ Θ − Ԧ𝑣𝑖𝑗 ∙ Ԧ𝑒𝑖𝑗 Ԧ𝑣𝑖𝑗 ∙ Ԧ𝑒𝑖𝑗 𝛿 Ԧ𝑣𝑖𝑗 − Ԧ𝑒𝑖𝑗
𝐷 𝑁
𝐷𝑡
≡
𝜕
𝜕𝑡
+ σ𝑖 Ԧ𝑣𝑖
𝜕
𝜕 Ԧ𝑥 𝑖
−
1
𝑚
𝜕𝑈
𝜕 Ԧ𝑥 𝑖
𝜕
𝜕𝑣 𝑖
:流体力学微分 Ԧ𝑒𝑖𝑗 ≡
Ԧ𝑥 𝑖− Ԧ𝑥 𝑗
Ԧ𝑥 𝑖− Ԧ𝑥 𝑗
Newton方程式と数学的には等価
厳密(近似は入っていない)だが解けない
𝑈𝑒𝑥 :外力ポテンシャル
𝑈𝑖𝑛𝑡:相互作用ポテンシャル
34. 分子運動論におけるBoltzmann方程式の導出
BBGKY hierarchy (Bogolioubov-Born-Green-Kirkwood-Yvon)
Liouville Eq.を意味の分かる範囲で厳密に変形し、最後に近似を入れる
→N体分布を周辺化して1体と2体の分布関数に縮約する
𝜑1 Ԧ𝑥1, Ԧ𝑝1; 𝑡 = 𝑃 𝑁 Γ; 𝑡 ς𝑖=2
𝑁
𝑑 Ԧ𝑥𝑖 𝑑 Ԧ𝑝𝑖 , 𝜑2 Ԧ𝑥1, Ԧ𝑝1, Ԧ𝑥2, Ԧ𝑝2; 𝑡 = 𝑃 𝑁 Γ; 𝑡 ς𝑖=3
𝑁
𝑑 Ԧ𝑥𝑖 𝑑 Ԧ𝑝𝑖 として
𝜕𝜑1
𝜕𝑡
= (𝑁 − 1)𝑟2 න 𝑑 Ԧ𝑥2 𝑑 Ԧ𝑝2 𝜑2 Ԧ𝑥1, Ԧ𝑝1
′
, Ԧ𝑥2, Ԧ𝑝2
′
; 𝑡 − 𝜑2 Ԧ𝑥1, Ԧ𝑝1, Ԧ𝑥2, Ԧ𝑝2; 𝑡 Θ − Ԧ𝑣12 ∙ Ԧ𝑒12 Ԧ𝑣12 ∙ Ԧ𝑒12
厳密な変形だが、これのみでは閉じない(BBGKY “hierarchy”)
𝜕𝑡 𝜑1 = ℒ(1)
𝜑1 + ℒ(2)
𝜑2
𝜕𝑡 𝜑2 = ℒ(2)
𝜑2 + ℒ(3)
𝜑3
𝜕𝑡 𝜑3 = ℒ(3)
𝜑3 + ℒ(4)
𝜑4
…
希薄高温極限においては、2体相関が失われ1体分布での近似が有効(Boltzmann-Grad 極限)
→ 𝜑2 Ԧ𝑥, Ԧ𝑥′ ≅ 𝜑1 Ԧ𝑥 𝜑1 Ԧ𝑥′ :分子カオス を仮定
35. 分子運動論におけるBoltzmann方程式の導出
Boltzmann Equationの導出
BBGKYの二体相関を切断:分子カオスの仮定 𝜑2 Ԧ𝑥, Ԧ𝑥′ ≅ 𝜑1 Ԧ𝑥 𝜑1 Ԧ𝑥′ より
𝐷 1
𝐷𝑡
𝜑1 Ԧ𝑥1, Ԧ𝑝1; 𝑡 ≅ 𝑁𝑟2
න 𝑑 Ԧ𝑥2 𝑑 Ԧ𝑝2 𝜑1 Ԧ𝑥1, Ԧ𝑝1
′
; 𝑡 𝜑1 Ԧ𝑥2, Ԧ𝑝2
′
; 𝑡 − 𝜑1 Ԧ𝑥1, Ԧ𝑝1; 𝑡 𝜑1 Ԧ𝑥2, Ԧ𝑝2; 𝑡 Θ − Ԧ𝑣12 ∙ Ԧ𝑒12 Ԧ𝑣12 ∙ Ԧ𝑒12
さらに平衡状態(定常状態)では空間的に一様を仮定(平均場近似)
𝑖. 𝑒. lim
𝑡→∞
𝜑1 𝑡 =
𝜑1
𝑠𝑠
Ԧ𝑣
𝑉
→Maxwell-Boltzmann分布 𝜑1
𝑠𝑠
Ԧ𝑣 =
𝑚
2𝜋𝑘 𝐵 𝑇
3
2
𝑒𝑥𝑝 −
𝑚𝑣2
2𝑘 𝐵 𝑇
が得られる
分子運動論により、ミクロなダイナミクスからマクロな確率分布に接続できた
同様に、Brown粒子を含む系に対してもマクロな分布方程式(Boltzmann-Lorentz
Equation)を導出できる
→さらに、Kramers-Moyal展開(System Size展開により正当化される)によって、Brown
運動のLangevin方程式に接続できる
36. Boltzmann Eq.から非平衡系の場の理論へ
Boltzmann方程式の適用限界
希薄高温極限でしか適用できない
→細胞内のように分子混雑した高密度の系では使えない
粒子描像が確定している(粒子のスペクトルがδ関数で書かれている)状態で粒子の分布を調べる
目的で使う
→粒子が生成消滅する描像(細胞内化学反応を含む)では使えない
より高密度でかつ粒子のスペクトルが変化する系で、より高次の相関を扱えるような表式
を得たい=Kadanoff-Baym Equation
Kadanoff-Baym Equation
まだ勉強中なのでよく分かってませんが…
Keldysh形式の非平衡Green関数(粒子のスペクトル関数と分布関数の積)が満たす方程式
二体相関までを取り込んだ近似を行う→“そこそこ”非平衡状態が扱える(っぽい)
現象論的に輸送方程式(拡散方程式、Boltzmann方程式)でそれなりに説明できる系に対して、よ
り非平衡な効果を取り入れて整合したモデルを作ることができる(っぽいです)
あくまで摂動的な効果のみ(本物の“非摂動”は人類には扱えない)→AdS/CFT duality?(妄想)
38. 熱力学第二法則の破れ(?)
Maxwell’s DemonのParadox (思考実験)
観測者(Maxwelの悪魔)が仕切りを開閉して
速い分子のみをBに遅い分子のみをAに移す
これを繰り返すと仕事をせずにエントロピー
が減少する→熱力学第二法則に矛盾?
より簡単なモデルで考える
Szilard Engine
(a) 熱浴Tに接した箱に粒子を一つ入れる(熱平衡)
(b) 仕切りを入れる
(c) 粒子が左右どちらにあるか測定
(d) 仕切りを等温準静的に端まで移動
等温cycleから正の仕事を取り出すことはできないはず…
1. 測定結果に応じて操作を変える:フィードバック制御
→熱揺らぎのレベルでフィードバック制御を行っている
2. cycleで取り出された仕事𝑘 𝐵 𝑇 ln 2が情報量ln 2に比例
𝑇𝐴 = 𝑇𝐵 𝑇𝐴
′
< 𝑇𝐵
′
沙川貴大「情報処理の熱力学」より
(a) 初期平衡 (b) 仕切りを入れる
(c) 測定
(d) フィードバック
情報
ln 2
仕事
𝑘 𝐵 𝑇 ln 2
? ?
39. 情報熱力学(Information Thermodynamics)
Maxwell’s Demonは
「揺らぎ」についての情報を測定してフィードバック制御を行うデバイス
と解釈できる
→測定・フィードバックなどの情報処理過程(熱揺らぎのレベル)
に適応できるように熱力学第二法則や非平衡統計力学の関係式を拡張したい
=情報熱力学(Information Thermodynamics)
情報理論(Information Theory)
“情報”の通信において、通信の精度を評価し最適化する学問
→通信の入力と出力の確率的な相関を見る:確率分布とInの凸不等式
揺らぐ系の熱力学(Stochastic Thermodynamics)
微小な熱機関(分子モーター)でも熱力学量に関する普遍的な法則が成り立つか?
確率過程による記述→Langevin方程式に基づく熱・仕事の定義
揺らぎの定理による熱力学形式の第二法則の導出
40. 情報理論とは
“情報”通信の入力⇔出力の確率分布の相関→通信の精度を議論する
𝑝 𝑥 , 𝑞 𝑥 ∶ 確率分布 p 𝑥, 𝑦 ∶ 同時確率分布 p 𝑥|𝑦 ∶ 条件付き確率分布
… 𝑝 :… の確率分布 𝑝 についての平均
Shannon entropy : S 𝑥 ≔ − σ 𝑥 𝑝 𝑥 ln 𝑝 𝑥 = ー ln 𝑝 𝑥 𝑝
→ 𝑥 の分布がどれくらいランダムかを表す
Relative entropy(Kullback-Leibler divergence)
: 𝐷 𝐾𝐿( 𝑝ԡ 𝑞) ≔ ln 𝑝 𝑥 − ln 𝑞 𝑥 𝑝 ≥ 𝟎 :非負性 (Inの凸性より)
→p(x)とq(x)の間の距離っぽい量:常に非負で等号成立はp(x)=q(x)
Stochastic Relative entropy
:𝑑 𝐾𝐿(𝑝ԡ𝑞) ≔ ln 𝑝 𝑥 − ln 𝑞 𝑥 とすると、 𝑒𝑥𝑝 −𝑑 𝐾𝐿(𝑝ԡ𝑞) = 1
Mutual Information (相互情報量)
: I 𝑥: 𝑦 ≔ 𝐷 𝐾𝐿( 𝑝 𝑥, 𝑦 ԡ 𝑝 𝑥 𝑝 𝑦 )
→二つの確率変数𝑥と𝑦の間の相関:“情報”の通信の精度を表す
I(x:y) S(y|x)S(x|y)
S(x) S(y)
S(x,y)
伊藤創佑「情報理論と小さな系の熱力学」より
Stochastic Mutual Information
: 𝑖 𝑥: 𝑦 ≔ 𝑑 𝐾𝐿( 𝑝 𝑥, 𝑦 ԡ 𝑝 𝑥 𝑝 𝑦 )
41. 通信路(Communication Channel)
エラー(ノイズ)が存在する通信:入力 x, 出力 y
→「xとyにどれだけ相関があるか=相互情報量」で伝わった“情報”の量を測る
Channel capacity(通信路容量):𝐶 = sup
𝑝 𝑥
𝐼 𝑥: 𝑦 (xが離散量)
ShannonのNoisy-channel coding Theorem
M種類のメッセージをどれくらいの速さで送れたかをレート 𝑅 =
ln 𝑀
𝑛
で表す
このとき、常に
𝑹 ≤ 𝑪 (逆定理) が成り立つ
Encoder Decoder
入力:
𝑀𝑖𝑛 ∈ 1, … , 𝑀
入力信号に変換:
X 𝑀𝑖𝑛 ≔ 𝑥𝑖 𝑀𝑖𝑛 𝑖 = 1, … , 𝑛
出力信号:
Y = 𝑦𝑖 𝑖 = 1, … , 𝑛
出力:
𝑀 𝑜𝑢𝑡 = 𝑀 𝑜𝑢𝑡 𝑌 ∈ 1, … , 𝑀p(y|x)
𝑝 𝑌|𝑋 = ෑ
𝑖=1
𝑛
𝑝 𝑦𝑖 𝑥𝑖
伊藤創佑「情報理論と小さな系の熱力学」より
n:冗長度を表す
42. 揺らぐ系の熱力学
1粒子系の熱力学を組み立てたい→熱揺らぎについての普遍的な性質
Overdumped Langevin方程式
Brown運動をモデル化:実測的な時間スケールでは慣性項を無視できる
𝛾
𝑑 ො𝑥
𝑑𝑡
= −
𝜕𝑈 ො𝑥;𝑎
𝜕𝑥
+ መξ 𝑇
γ:粘性率 U:ポテンシャル a:操作パラメーター
መξ 𝑇:熱揺らぎ መξ 𝑇 𝑡1
መξ 𝑇 𝑡2 = 2𝛾𝑘 𝐵 𝑇𝛿 𝑡1 − 𝑡2 :揺動散逸関係
熱力学第一法則:仕事と熱の定義
𝑑𝑈 = 𝑑 𝑊 + 𝑑 𝑄
𝑑 𝑊 =
𝜕𝑈
𝜕𝑎
𝑑𝑎 , 𝑑 𝑄 =
𝜕𝑈
𝜕 ො𝑥
○ 𝑑 ො𝑥 = −𝛾 ො𝑣 + መξ 𝑇 ○ 𝑑 ො𝑥 ○:Stratonovich積分
仕事=マクロな自由度(𝑎)
を通したエネルギー流
熱=ミクロな自由度(熱浴)
を通したエネルギー流
関本謙「ゆらぎのエネルギー論」
金澤輝代士「揺らぐ系の熱力学の基礎」より
43. 揺らぎの定理
詳細揺らぎの定理(詳細釣り合い)
𝑥𝑡:微小系のダイナミクスが(複数の)熱浴に弱く接触しているとき
𝑝 𝑥 𝑡′ 𝑥 𝑡 𝑝 𝑒𝑞 𝑧𝑡 = 𝑝 𝐵 𝑥 𝑡 𝑥 𝑡′ 𝑝 𝑒𝑞 𝑧𝑡′
𝑝 𝐵: Backward processについての遷移確率, 𝑝 𝑒𝑞 𝑧𝑡 :熱浴の平衡分布←カノニカル分布だと仮定
→
𝑝 𝑥 𝑡′ 𝑥 𝑡
𝑝 𝐵 𝑥 𝑡 𝑥 𝑡′
= 𝑒𝑥𝑝 ∆𝑠 𝑏𝑎𝑡ℎ
∆𝑠 𝑏𝑎𝑡ℎ = σ𝑖 𝛽𝑖 𝐻𝑖 𝑧𝑡 − 𝐻𝑖 𝑧𝑡′ :全熱浴のエントロピー変化
𝑥𝑡:𝑡 = 1,2, … , 𝑁 が、Markov過程 𝑝 𝑥1, … , 𝑥 𝑛 = 𝑝 𝑥1 𝑝 𝑥2 𝑥1 … 𝑝 𝑥 𝑁 𝑥 𝑁−1 で時間発展
→∆𝑠 𝑏𝑎𝑡ℎ ≔ ln
𝑝 𝑥2 𝑥1
𝑝 𝐵 𝑥1 𝑥2
𝑝 𝑥3 𝑥2
𝑝 𝐵 𝑥2 𝑥3
…
𝑝 𝑥 𝑁 𝑥 𝑁−1
𝑝 𝐵 𝑥 𝑁−1 𝑥 𝑁
とかける
エントロピー生成:全系のエントロピーの変化量
𝜎 ≔ ∆𝑠 𝑏𝑎𝑡ℎ + ∆𝑠 𝑥 ∆𝑠 𝑥 = ln 𝑝 𝑥𝑡 − ln 𝑝 𝑥𝑡′ :微小系のエントロピー変化
→時間発展がMarkov過程のとき 𝜎 = 𝑑 𝐾𝐿 𝑝 𝑥1, … , 𝑥 𝑛 ||𝑝 𝐵 𝑥1, … , 𝑥 𝑛
𝑒𝑥𝑝 −𝜎 = 1 :Jarzynski等式
𝜎 = 𝐷 𝐾𝐿 𝑝 𝑥1, … , 𝑥 𝑛 ||𝑝 𝐵 𝑥1, … , 𝑥 𝑛 ≥ 0 :微小系における熱力学第二法則
𝑝 𝑒𝑞 𝑧𝑡 =
1
𝑍
𝑒𝑥𝑝
𝑖
𝛽𝑖 𝐻𝑖 𝑧𝑡 i:1~nは熱浴の番号
伊藤創佑「情報理論と小さな系の熱力学」より
44. フィードバック制御下での情報熱力学
フィードバックプロトコル
微小系𝑥とメモリ𝑚を用意
メモリ𝑚の状態は単一:測定により𝑥1に応じて決まる
𝑥𝑡は𝑚の状態に依存して時間発展(フィードバック制御)
→非Markov的な時間発展:𝑝 𝑥1, … , 𝑥 𝑁, 𝑚 = 𝑝 𝑥1 𝑝 𝑥2 𝑥1, 𝑚 … 𝑝 𝑥 𝑁 𝑥 𝑁−1, 𝑚
→エントロピー生成𝜎 = ∆𝑠 𝑏𝑎𝑡ℎ + ∆𝑠 𝑥 はStochastic relative entropyではない
→しかし、𝜎 − 𝑖 𝑥 𝑁: 𝑚 + 𝑖 𝑥1: 𝑚 = 𝑑 𝐾𝐿 𝑝 𝑥1, … , 𝑥 𝑛, 𝑚 ||𝑝 𝐵 𝑥1, … , 𝑥 𝑛, 𝑚 が成り立つ
𝑒𝑥𝑝 𝜎 − 𝑖 𝑥 𝑁: 𝑚 + 𝑖 𝑥1: 𝑚 = 1 :Feedback制御下における
𝑑 𝐾𝐿 𝑝||𝑝 𝐵 = 𝐷 𝐾𝐿 𝑝||𝑝 𝐵 ≥ 0
𝑖 𝑥𝑡: 𝑚 = 𝐼 𝑥𝑡: 𝑚 より
𝜎 ≥ 𝐼 𝑥 𝑁: 𝑚 − 𝐼 𝑥1: 𝑚
:Feedback制御下における一般化熱力学第二法則(Sawaga-Ueda)
𝑥 𝑁
𝑥1
𝑡
𝑁
1
𝑚
𝐼 𝑥1: 𝑚
𝐼 𝑥 𝑁: 𝑚
一般化Jarzynski等式
Sagawa, Ueda,.
PRL 109, 1806022 (2012)
45. Bayesian Networkへの拡張
フィードバックプロトコルでは時間遅れや相互作用する系には適用できない
→より一般的なBayesian Networkの導入
同時確率分布をChain ruleで展開する ሚ𝐴 ≔ 𝑎1, … , 𝑎 𝑁
𝑝 𝑎1, … , 𝑎 𝑁 = 𝑝 𝑎1 𝑝 𝑎2 𝑎1 𝑝 𝑎3 𝑎2, 𝑎1 … 𝑝 𝑎 𝑁 𝑎 𝑁−1, … , 𝑎1
→確率変数間の依存関係を陽に表して
“条件付き”をどこまで減らせるかを有向非循環グラフで表現する
𝑝 𝑎 𝑡 𝑎 𝑡−1, … , 𝑎1 = 𝑝 𝑎 𝑡 𝑝𝑎 𝑎 𝑡 :Bayesian Networkの定義
𝑝 𝑎1, … , 𝑎 𝑁 = ς 𝑡=1
𝑁
𝑝 𝑎 𝑡 𝑝𝑎 𝑎 𝑡
小さな“部分系”: ෨𝑋 ≔ 𝑥1, … , 𝑥 𝑀 ⊆ ሚ𝐴
とそれ以外: ሚ𝐶 ≔ ሚ𝐴 ∖ ෨𝑋 ≔ 𝑐1, … , 𝑐 𝑁−𝑀 に分ける
𝑥 𝑘から 𝑥 𝑘+1への時間発展:𝑝 𝑥 𝑘+1 𝑝𝑎 𝑥 𝑘+1 →熱浴のエントロピー変化:
部分系 ෨𝑋 での詳細揺らぎの定理は
∆𝑠 𝑏𝑎𝑡ℎ ≔ ln
𝑝 𝑥2 𝑥1, ෨𝐵2
𝑝 𝐵 𝑥1 𝑥2, ෨𝐵2
𝑝 𝑥3 𝑥2, ෨𝐵3
𝑝 𝐵 𝑥2 𝑥3, ෨𝐵3
…
𝑝 𝑥 𝑀 𝑥 𝑀−1, ෨𝐵 𝑀
𝑝 𝐵 𝑥 𝑀−1 𝑥 𝑀, ෨𝐵 𝑀
部分系 ෨𝑋 のエントロピー生成は 𝜎 = ∆𝑠 𝑏𝑎𝑡ℎ + ∆𝑠 𝑥
𝑎 𝑡
𝑎 𝑡3
𝑎 𝑡2
𝑎 𝑡1
parents
𝑝𝑎 𝑎 𝑡
𝑡 > 𝑡1, 𝑡2, 𝑡3
ቐ
𝑥 𝑘′ ∈ 𝑝𝑎 𝑥 𝑘 𝑘′
= 𝑘 − 1
𝑥 𝑘′ ∉ 𝑝𝑎 𝑥 𝑘 𝑘′
≠ 𝑘 − 1
ln
𝑝 𝑥 𝑘+1 𝑥 𝑘, ෨𝐵 𝑘+1
𝑝 𝐵 𝑥 𝑘 𝑥 𝑘+1, ෨𝐵 𝑘+1
෨𝐵 𝑘+1 ≔ 𝑝𝑎 𝑥 𝑘+1 ∖ 𝑥 𝑘
46. 部分系:ネットワーク上での情報熱力学
エントロピー生成 𝜎 に“一定項”を加えることでStocahstic relative entropyにしたい
Transfer entropy:部分系 ෨𝑋 から他の系の 𝑐𝑙 ∈ ሚ𝐶 への情報の流れ
𝐼𝑡𝑟
𝑙
≔ ln 𝑝 𝑐𝑙 𝑝𝑎 𝑐𝑙 − ln 𝑝 𝑐𝑙 𝑐𝑙−1, … , 𝑐1
𝑖 𝑡𝑟
𝑙
≔ ln 𝑝 𝑐𝑙 𝑝𝑎 𝑐𝑙 − ln 𝑝 𝑐𝑙 𝑐𝑙−1, … , 𝑐1 :stochastic transfer entropy
始相関:𝐼𝑖𝑛𝑖 = 𝐼 𝑥1: 𝑝𝑎 𝑥1 𝑖𝑖𝑛𝑖 = 𝑖 𝑥1: 𝑝𝑎 𝑥1
終相関:𝐼𝑓𝑖𝑛 = 𝐼 𝑥 𝑀: ሚ𝐶′ 𝑖𝑓𝑖𝑛 = 𝑖 𝑥 𝑀: ǁ𝐶′
𝜎 − 𝑖 𝑓𝑖𝑛 + 𝑖𝑖𝑛𝑖 + σ 𝑐 𝑙∈ ሚ𝐶 𝑖 𝑡𝑟
𝑙
= 𝑑 𝐾𝐿 𝑝 𝑎1, … , 𝑎 𝑁 ||𝑝 𝐵 𝑎1, … , 𝑎 𝑁 が成り立つ
𝑒𝑥𝑝 𝜎 − 𝑖 𝑓𝑖𝑛 + 𝑖𝑖𝑛𝑖 + σ 𝑐 𝑙∈ ሚ𝐶 𝑖 𝑡𝑟
𝑙
= 1 :部分系についての
𝜎 ≥ 𝐼𝑓𝑖𝑛 − 𝐼𝑖𝑛𝑖 − σ 𝑐 𝑙∈ ሚ𝐶 𝐼𝑡𝑟
𝑙
:部分系についての一般化熱力学第二法則(Ito-Sagawa)
系 ෨𝑋 のおかげで時刻 𝑙 での ሚ𝐶 の時間発展に
情報エントロピー的にどれだけ得をしたか
ሚ𝐶′ ≔ ሚ𝐶 ∩ 𝑥 𝑀の𝑎𝑛𝑐𝑒𝑠𝑡𝑜𝑟
一般化Jarzynski等式
Ito, Sagawa,.
PRL 111,180603 (2013)
47. 情報熱力学の生体シグナル伝達への適用
E. coli 走化性のシグナル伝達
負のFeedback loopによるsensory adaptation
ロバストなシグナル伝達
2D Langevin方程式によるモデル化
൞
ሶ𝑎 𝑡 = −
1
𝜏 𝑎 𝑎 𝑡 − 𝛼𝑚 𝑡 + 𝛽𝑙 𝑡 + ξ 𝑡
𝑎
ሶ𝑚 𝑡 = −
1
𝜏 𝑚 𝑎 𝑡 + ξ 𝑡
𝑚
リガンド𝑙 𝑡の変化がキナーゼ𝑎 𝑡の変化を引き起こす:シグナル伝達
メチル化𝑚 𝑡によってキナーゼ𝑎 𝑡の変化が抑制される:フィードバック
→Negative Feedbackによって「熱力学的」に得をする
→つまり、エントロピー生成 𝜎 は負
「得をすることができる量(−𝜎)」は
Feedback loopでの「情報の流れ」によって上限を与えられる
ξ 𝑡
𝑥
= 0
ξ 𝑡
𝑥
ξ 𝑡′
𝑥′
= 2𝑇𝑡
𝑥
𝛿 𝑥𝑥′ 𝛿 𝑡 − 𝑡′
𝑎 𝑡:キナーゼ活性
𝑚 𝑡:メチル化レベル
𝑙 𝑡:リガンド濃度
𝜏 𝑚
≫ 𝜏 𝑎
> 0:時定数
𝛼, 𝛽 > 0
Tu et al., PNAS 105, 14855 (2008)
48. 情報熱力学の生体シグナル伝達への適用
𝑎 𝑡と𝑚 𝑡の間でのMarkov的な2体相互作用
→ 𝑎 𝑡 = ෨𝑋, 𝑚 𝑡 = ሚ𝐶と考える(つまり、メチル化機構=Maxwell’s Demonにあたる)
単位時間の変化t→t+dtで 𝑝 𝑎 𝑡, 𝑎 𝑡+𝑑𝑡, 𝑚 𝑡, 𝑚 𝑡+𝑑𝑡 = 𝑝 𝑎 𝑡, 𝑚 𝑡 𝑝 𝑎 𝑡+𝑑𝑡 𝑎 𝑡, 𝑚 𝑡 𝑝 𝑚 𝑡+𝑑𝑡 𝑎 𝑡, 𝑚 𝑡
Ito-Sagawaを解くと 𝜎 ≥ 𝐼 𝑎 𝑡+𝑑𝑡: 𝑚 𝑡+𝑑𝑡, 𝑚 𝑡 − 𝐼 𝑎 𝑡: 𝑚 𝑡+𝑑𝑡, 𝑚 𝑡
= 𝐼 𝑎 𝑡+𝑑𝑡: 𝑚 𝑡+𝑑𝑡 − 𝐼 𝑎 𝑡: 𝑚 𝑡 + 𝑑𝐼𝑡
𝐵𝑡𝑟
− 𝑑𝐼𝑡
𝑡𝑟
熱浴のエントロピー変化は
Heat absorption: を用いて
∆𝑠𝑡
𝑏𝑎𝑡ℎ
= −
𝐽𝑡
𝑎
𝑇𝑡
𝑎 𝑑𝑡 とかける
𝑑𝑆𝑡
𝑎|𝑚
≔ 𝑆 𝑎 𝑡+𝑑𝑡 𝑚 𝑡+𝑑𝑡 − 𝑆 𝑎 𝑡 𝑚 𝑡 :系 ෨𝑋の条件付きエントロピー変化 として、
𝑑𝐼𝑡
𝑡𝑟
+ 𝑑𝑆𝑡
𝑎|𝑚
≥
𝐽𝑡
𝑎
𝑇𝑡
𝑎 𝑑𝑡 →定常状態では
𝑑𝐼𝑡
𝑡𝑟
𝑑𝑡
≥
𝐽𝑡
𝑎
𝑇𝑡
𝑎
𝑎 𝑡+𝑑𝑡
𝑎 𝑡
𝑚 𝑡+𝑑𝑡
𝑚 𝑡
𝐼𝑖𝑛𝑖
𝐼𝑡𝑟
𝐼𝑓𝑖𝑛
𝑑𝐼𝑡
𝑡𝑟
≔ ln 𝑝 𝑚 𝑡+𝑑𝑡 𝑎 𝑡, 𝑚 𝑡 − ln 𝑝 𝑚 𝑡+𝑑𝑡 𝑚 𝑡
𝑑𝐼𝑡
𝐵𝑡𝑟
≔ ln 𝑝 𝑚 𝑡 𝑚 𝑡+𝑑𝑡, 𝑎 𝑡+𝑑𝑡 − ln 𝑝 𝑚 𝑡 𝑚 𝑡+𝑑𝑡
𝐽𝑡
𝑎
≔ ξ 𝑡
𝑎
− ሶ𝑎 𝑡 ○ ሶ𝑎 𝑡 =
1
𝜏 𝑎
𝑇𝑡
𝑎
−
1
𝜏 𝑎
𝑎 𝑡 − 𝛼𝑚 𝑡 + 𝛽𝑙 𝑡
2
情報の流れ 熱力学的な利得(熱浴のエントロピー変化)
Maxwell’s demon in biochemical signal transduction with feedback loop
Ito & Sagawa., Nat. Comm. 6, 7498 (2015)
49. 情報理論とのアナロジー
a. Biochemical Network
𝑑𝐼𝑡
𝑡𝑟
=
1
2
ln 1 +
ሶ𝑃𝑡
𝑁𝑡
𝑑𝑡
熱力学的な利得
=シグナル伝達系のノイズに対する信号の
正確さを表す(適応のロバストネス)
→情報の流れによって上限が決まる
b. Shannon情報理論
𝐶 =
1
2
ln 1 +
𝑃
𝑁
エラーのない通信のレートR
=ノイズのある通信路に対して正確に通信
できる信号の量を表す
→通信路容量Cによって上限が決まる
熱散逸とロバストネスのトレードオフ
Maxwell’s demon in biochemical signal transduction with feedback loop
Ito & Sagawa., Nat. Comm. 6, 7498 (2015)
50. まとめ(というかコメントというか展望?)
生物を数理・物理で記述するには?
1. 反応系・反応拡散系としての非線形ダイナミクスによるモデリング
非線形はよく分からないので、固定点回りで線形化して扱う以外は色々厳しい
無限次元はやばい(反応拡散系わからないよ)
2. 少数分子系としての確率過程によるモデリング
非線形性と確率性の組み合わせ(ランダム力学系がアツい)
生体と環境の相互作用という意味ではベイズ的な情報理論と最適化回りも大事かも
しれない
3. 古典多体系としての統計物理(+場の理論)によるモデリング
個人的には一番楽しいところですが、高密度での“非摂動”効果を正面から扱える気
はあまりしていないです
AdS/CFT対応に手を出したいところですが、生物に共形不変性はあるんでしょうか
4. ゆらぐ微小系としての情報熱力学によるアプローチ
カノニカルな初期状態と詳細釣り合いが本質的なのではと思ってるんですが、まだ
あまり理解が進んでないです…
51. 参考文献
1. 反応系・反応拡散系としてのモデリング
1. 冨樫祐一「一分子粒度の反応拡散シミュレーション」 @第3回少数性生物学トレーニングコース
2. 西村廉政「非平衡ダイナミクスの数理」岩波書店
3. 小林徹也「理論生物学:決定論的細胞現象の数理」@東大講義
4. 小林徹也編「定量生物学」化学同人
2. 少数分子系としてのモデリング
1. 冨樫祐一「一分子粒度の反応拡散シミュレーション」
2. 小林徹也「数理情報学特別講義Ⅳ:確率的細胞現象の数理」 @東大講義
3. 古典多体系としてのモデリング
1. 金澤輝代士「確率過程を用いた物理現象モデリング」 @大阪市大集中講義
2. 北孝文「量子輸送方程式と非平衡エントロピー」
4. 確率熱力学によるアプローチ
1. 関本謙「ゆらぎのエネルギー論」岩波オンデマンド書店
2. 金澤輝代士「揺らぐ熱力学の基礎」
3. 沙川貴大「情報処理の熱力学」
4. 伊藤創祐「情報理論と小さな系の熱力学」
5. 伊藤創祐「ネットワーク上の情報熱力学とその生体情報処理への応用」 @第62回物性若手夏の学校集中ゼミ