狠狠撸

人工知能界隈のための
ざっくり物理マップ
ブルーウォールジャパン CTO
坂井尚行

お断り
? 個人的な見解であって、いかなる組織の主義主張とは関わりご
ざいません
? パクリ O.K. ですが、ソースを明確にしてください
? まだまだ粗々でロードマップレベルです

独断と偏見のチートシート①
古典論
量子論
臨界現象?繰り込み群アプローチ
単体/流体の運動方程式多体の現象論(熱力学)と統計
運動方程式
外力が
複雑
流体力学
非線形
微分方程式
流体で近似
复雑系
原子?素粒子
統計力学
量子統計力学
波動方程式
量子場
の理論
QED QCD
アンサンブル平均
? ミクロカノニカルアンサンブル
? カノニカルアンサンブル
? グランドカノニカルアンサンブル
粒子数表示と種別による分布
? ボーズ分布
? フェルミ分布
対称性によるアンサンブル平均
? オーソゴナルアンサンブル
? ユニタリアンサンブル
? シンプレクティックアンサンブル
エルゴード理論
時間平均
空間平均
アンサンブル平均
量子論では Wick rotation

独断と偏見のチートシート②
复雑系（人によってアプローチがいろいろ？）統計力学?量子統計?原子?素粒子
? Order parameter（上記の状態を制御）:
? 統計力学の場合、臨界近傍で |T – Tc|
? Critical Parameter（べき乗パラメータ）:
? 相関長ξ ? |T – Tc|-ν
? α、β、γ、νとか一般的な関係式あり
? ハミルトニアン、次元、対称性に影響される
? ポテンシャルエネルギーを乱数にしても
その分布（ガウス分布、一様分布）の種類に影響されない
? Universality Class といって分類したがる
? Order parameter（上記の状態を制御）:
? 方程式によっていろいろ
? あまり Soft Chaos と呼んでる人も少ないかも、
そこに興味がないかも
? Critical Parameter（べき乗パラメータ）:
? フラクタル次元で表現することが多い
? そもそも Critical Parameter と呼ばないかも
? それでもフラクタル次元はα、β、γ、νと
一般的な関係式あり
Order Status Soft Chaos Hard Chaos Order Status
Critical
Phenomena
Disorderd
Status
Fractal Structure!
アトラクタ（引っ張る）とリパルザ（反発）が
複雑さを生み出すと説明
（複雑さの源泉に興味があるっぽい）
繰り込み群の理論でべき乗則を説明
（多体なのだから複雑なのは当たり前で、
べき乗則の説明?分類に興味があるっぽい）

Agenda
? 复雑系
? 統計力学
? 繰り込み群
? NN との関係
? 素粒子と量子統計は割愛

流体力学と复雑系
? 基本はニュートンの運動方程式から
? ma = F
? 質点近似から流体へ変換
? ナビエ?ストークス方程式
? 境界条件がキモ
? レイノルズ数を変化させると安定した状態から乱れた状態へ遷移
? 状態の境界を臨界点とよぶ
? 見てみると自己相似なフラクタルっぽい

ふるーい３体問題と复雑系
? 太陽、地球、月の３体問題
? 三つだけで予測困難な軌道
? 方程式のあるパラメータで、安定した状態から乱れた状態へ遷移
? やっぱり臨界点でフラクタルっぽい
? 複雑さを生み出しているのは周期軌道
? リミットサイクル、リミットトーラスともいうらしい
? 実際の軌道をひきつけたり(アトラクタ)、遠ざけたり(リパルザ)する
? 二つの性質をもつ周期軌道がいりくんで存在し、複雑な軌道を生み出
す

复雑系の分析アプローチ
? 長時間平均のアプローチ
? なんだか複雑な軌道なので、長時間で平均を取ってみる
? ３次元以上だとつらいので、２次元断面で可視化
? 臨界現象/繰り込み群のアプローチ
? 臨界点でフラクタル性が観測される
? 繰り込み群で臨界点を求めることもある

エルゴード理論?アンサンブル平均
? エルゴード仮説
? ある物理量の長時間平均は空間平均に等しい
? 計算をしやすくするため
? 統計分布はボルツマン分布を要請
? exp(-βH)
? 相空間(位置と運動量の空間)平均からアンサンブル平均へ変換
? 位置 r と運動量 p で解析力学の状態を測度にして積分
? 置換してマクロな U, V, N に変換する

古典的なアンサンブル平均
? ミクロカノニカル?アンサンブル (NVEが変数)
? 全エネルギーが一定である系のアンサンブル
? 熱的に孤立しており、熱力学的には孤立系に該当
? カノニカル?アンサンブル (NVTが変数)
? 巨大な熱浴との間でエネルギーをやりとりできる系
? 粒子の出入りはない
? 熱浴の熱容量は十分大きく、系の温度は一定であると仮定
? グランドカノニカル?アンサンブル (μVTが変数)
? 熱浴と接触
? 粒子のやり取りができる
? 温度は一定

温度を変化させて相転移
? ありがちな問題設定
? 温度を変化させて問題の状態を観察
? Order status ? Critical point ? Disorder Status に遷移
? Order status: 相関長 >> モデルの大きさ
? Critical point: 相関長 ? モデルの大きさ
? Disorder status: 相関長 << モデルの大きさ

例: ２次元 Ising Model (磁石のモデル)
? http://physics.weber.edu/schroeder/software/demos/IsingM
odel.html
? 相関 C(r)=Σsisj (jは距離rの格子の総和) ?exp(-r/ξ)
? T=0, しばらくすると全部一色になる
? 相関は系より大きい: 相関長 >> モデルの大きさ
? T=10, 二色入り乱れたノイズ
? 相関はミクロな大きさ: 相関長 << モデルの大きさ
? T=2.27, 二色で構造らしきものがある
? 相関は系よりも少し小さい:相関長 ? モデルの大きさ

臨界点におけるフラクタル?べき乗則
? モンテカルロで乱数の確率分布によらない
? いろいろなモデルの臨界点で似たような性質
? フラクタル性が見られる
? 相関長をはじめ、さまざまな統計量でべき乗則
? べき乗則の指数はいくつかの恒等式が成立する
? Universality とよんでた

临界现象と繰り込み群

繰り込み群の方法
? 粗視化してみる
? 2次元Ising 模型で 2x2 の格子を平均
? 平均が >0 なら 1, ≦0 なら -1
? 粗視化してもボルツマン分布が変わらないことを要請
? 分配関数が exp(-βH)
? ハミルトニアンが普遍なことと等価
? HRG = R[H]という繰り込みの漸化式が成立
? 粗視化の抽象的な写像であることに注意
? 無限回数くりかえすと固定点がいくつか存在
? そのうちの一つが臨界点(相転移)
? https://charlesmartin14.wordpress.com/2015/04/01/why-deep-learning-works-ii-the-renormalization-group/

CNN、RNN、多層化を解釈してみる
? RNN:
? 時系列分析、复雑系っぽい
? 長時間平均、エルゴード仮説の左辺っぽい
? CNN:
? 統計力学っぽい
? 空間平均、エルゴード仮説の右辺っぽい
? 多層化
? 数学的には写像の重ね合わせ
? 数学的には少ない写像で答えを出せることが望ましいはず
? レイヤーを重ねること自体が繰り込み群に対応
? チューニング自体が繰り込み群の固定点を探していることに対応しているの
では？

個人的によくわからないこと
? 温度と化学エネルギーの扱い
? 脳は閉鎖系？
? 体温の上下の影響は？
? ホルモン物質の出入りは？
? 繰り込み群とNNの関係、とくに具体的なチューニングとの対
応関係

狠狠撸

人工知能界隈のためのさ?っくり物理マッフ?

More Related Content

人工知能界隈のためのさ?っくり物理マッフ?