The Big Picture


生也有涯，知也無涯
—莊子
作者Sean Caroll教授是理論物理界的翹楚，在這本書The Big Picture: On the Origins of Life, Meaning and the Universe Itself，嘗試以物理學者的眼睛，去看待這類具有高度爭議性的議題 (從時空的結構、粒子物理、量子力學等前沿科學一直到如意識、情感、生命、演化和突現現象……等等不勝枚舉，之間的關連如此強烈又模糊)，並提出探討的方向，即便沒有承諾答案，想法如此的天馬行空，又有點兒癡人說夢，但如此引人入勝，縱然注定功虧一簣，尤有甚者身敗名裂，嘗試理解「起源」如同唐璜一樣誘惑著每一代的學者為其傾注心力，亂其所為，卻不能保證增益其所不能。

一、層次問題與有效理論

科學中普遍存在著層次問題 (hierarchy problem)，例如粒子物理學研究極度微小的尺度，探究粒子在時空中的漲落與運動，我們認為粒子 (與其作用力) 是構成宇宙的基本，描述它們的理論稱為“規範場論”。但是如果我們要把場論運用到解釋水分子間的運動，我們遭遇到了計算困難，因為分子數目太過於龐大，假設描述一個分子需要一條方程式，那我們有數莫爾的水分子則有不計其數的方程式，計算整個方程組會耗費非常龐大的時間與能源，而且不切實際。但如果我們改用化學的方法，我們也許損失掌握每個分子的解析度，但是掌握大量分子的整體運動 (統計平均)，電磁作用力則化繁為簡成凡得瓦力，那麼我們便能快速的處理大量的水分子運動甚至在極快速的時間內去模擬水的行為，並且得出非常精準的結果。在場論 (次原子層級) 以及化學 (分子層級) 中間存在著一道相變，化學是場論的有效理論 (effective theory)，但卻可以比基本原理 (first principle) 更好地處理巨觀的集合現象 (collective phenomena)。
　作者也用了強湧現 (strong emergence) 與弱湧現 (weak emergence) 來描述層次問題。例如透過模擬，我們可以了解水分子的運動 (弱湧現)，但我們卻無法重構美麗的雪花 (強湧現)；生物學家或許了解白蟻的行為，並且可以寫出一條條的規則 (弱湧現)，但我們卻不能從這些規則得出白蟻築出壯觀的蟻塔 (強湧現)。正如同我們也許深諳次原子理論，確實是描述宇宙的四種基本作用力與各色粒子，但我們卻無法從這個被認為是根基的理論構造出多彩又複雜的宇宙 (非線性效應)。或許人類所擁有在各個尺度上的理論都僅是有效理論，故彼此間便存在著延伸困難。

二、菩提無樹，明鏡非臺

奧地利哲學家David Chalmers的Easy Problem和Hard Problem來分類我們所謂的 (日常) 知識饒富趣味，並也反映了當代哲學在這方面蓬勃的探討。Easy Problem是將現象歸納解構後的規則，物理性的條約。例如我們知道光影是如何在視網膜上成像，並轉為電訊號通至大腦的視覺區。而Hard Problem則是內秉感受 (inner experience)。即使看到相同的景色時，它帶給不同人的感受，在內心裡激起的浪花，各個相異，我們無法條列地寫下什麼是這個景色帶來的感受，甚至勾起不同的回憶。另外作者也對某些人認為Hard Problem只是所謂的認知混淆不表贊同，並舉思想實驗黑白瑪麗 (Mary’s room) 為例子，用以反對物理主義 (Physicalism) 的觀點。如果缺少了感質 (qualia) 和對周遭環境主觀的意識，只剩下唯物思想，那麼我們啻為是哲學殭屍 (p-zombie)。人不應僅僅是規則的機器，我們還應當能體會當下，並能夠創造屬於自己的經驗與感受。
　除此之外，關於人的意識 (consciousness)，哲學教授John Searle在1980年所提出來的中文房間 (Chinese room) 和黑白瑪麗有著異曲同工之妙，當我們造一個機器可以按圖索驥的回應我們拋出的問題，到底這樣的機器算不算是有智慧或可以算的上是「人」呢？這類的問題不僅僅帶有學派主觀、支持者的偏見，也尚未存在共識，但一窺大觀使我們感其深妙並為之驚嘆！

三、Subtle is the Lord

文中還探討了思想、演化、宗教，甚至是人的定義，到底機器若擁有了思考 (Cogito, ergo sum)，算不算是存在著生命。各路議題，已經超出了物理學本身的研究範疇，但是我們賴以為生的整個宇宙又何嘗不是如此？作者在書中提及了各個領域，如生物、化學、電腦科學、神經科學、社會學……等等都在試圖透過多方的合作來理解我們所居住的世界，或者更饒富哲學趣味的說，我們迄欲通盤的理解我們自己，這正是The Big Picture的核心。
每個人都用自己的感官去體會這個世界，然後構造出屬於自己的真實。自然並非不可領會，即便它甚深微妙。
Subtle is the Lord, but malicious He is not.
—A. Einstein

留言

張貼留言

這個網誌中的熱門文章

物理雜記3 - Ising模型與模擬退火

圖片
Ising模型主要是用來描述物質的鐵磁性 (ferromagnetism)，是由德國物理學家Ernst Ising在1920左右提出了處理一維的解析解。該模型包含了每個晶格上原子的自旋 (spin) 參數，兩兩相鄰的原子彼此間可以是偏好處在共同的態上 (都是自旋向上)  或是處在相反的態上 (一上一下)，而外部的磁場會對該晶格上的自旋狀態施加能量，導致其偏向某一個方向。在這篇文章裡，我們不重複Ising當年複雜的數學解析解，而且該解也只能適用在1D的狀態，對於2D以上的系統目前並沒有解析解，所以我們將要另闢蹊徑，採用MCMC模擬的方式來決定一個系統終態每個晶格上自旋的排列情形。 一、Ising模型簡介 考慮一個由圖1所構成的晶格系統，晶格上的點都代表一顆原子，而黑白則表原子的自旋狀態，我們用黑表示向下而白表示向上，所以這個binary系統可以用更簡潔的\(\pm 1\)來表示每個原子可能的自旋 (即這個系統的樣本空間\(\Omega=\{+1,-1\}\))，另外為了方便，我們採用物理學的習慣將自旋表示為希臘字母\(\sigma_{n}\)，下標\(n\)可以想像成在 n 處原子的自旋態。原則上討論的都是一個由費米子 (fermions) 構成的系統，所以自旋應該用\(\pm \frac{1}{2}\)來表述，但在計算機上我們用\(\pm 1\)比較乾脆且簡潔。另外補充一下冷知識自然界已知的物質幾乎由費米子構成，僅有媒介作用力的粒子是玻色子 (bosons)，它們的差別在於費米子有半整數 (即不能約化成整數的分數) 自旋而玻色子則是整數自旋。 圖1. 晶格系統，黑白點分別代表該處原子的自旋狀態，黑表向下，白表向上。紅色的箭頭指出中心原子的4位鄰居\(m\) 　Ising模型假定了每個晶格上的原子的自旋都會受其鄰居 (neighbors \(\mathcal{N}\)) 的狀態影響，例如圖1中間白色的原子雖然他在這一刻是處在\(+1\)的狀態，但根據其週邊四個鄰居 (分別是3白1黑) 的況，它仍有一定的機會會在下一刻翻轉自旋的狀態。 　對一個給定位置 n 的原子，它和它的周圍鄰居構成的局部區域 (local area) 形成的一個系統的能量由Ising模型給出 \[ E_n = -\sum_{m\in \mathcal{N}} J
閱讀完整內容

PS7 - 小專題: 為何高斯分佈擁有最大熵?

圖片
高爾頓板，或稱做quincunx，是由Galton爵士 (1822-1911) 所發明用來驗證中央極限定理 (CLT) 的裝置。它也是第一位討論均值回歸 (regression to the mean) 現象的科學家，但同時亦是優生學 (eugenics) 這樣錯誤觀念的推廣者 在 上篇雜記 的結尾我們提到了對於一個趨於穩態的系統擁有最大的熵，而這也是統計力學的直接應用，用物理的角度來講便是當系統平衡時 Gibbs 自由能不再變化 (\(\Delta G =0\))，而在此時會對應到系統的熵有全域極大值 (global maximum)。故大自然很多現象都已經處於穩態的狀況下，我們對這個現象的母體做抽樣，所得到的觀測樣本應也有最大熵，則描述這些觀測樣本最好的分佈便是符合該條件下擁有最大熵的機率分佈。而指數族的分佈符合最大熵的特點，我們在這個小專題內便嘗試證明高斯與二項式分佈在連續和離散的隨機變量下的條件擁有最大熵的性質。 一、機率熵 在 上篇雜記 裡裡我們探討了夏儂熵，或者稱作資訊量\(I\)的意含，所以一個系統內 (我們這裡就不再用系綜這種彆扭的歷史名詞了) 每個成員出現的機率是\(p_i\)，則對該系統的熵可以用夏儂熵公式來表示 \[ I(p) = -\sum_i p_i \ln p_i. \tag{7.1} \] 所以對某一組 連續 機率分佈函數\(p(x)\)，其中\(x\)是隨機變量，則將(7.1)的求和符號改成積分後有 \[ I(p) = -\int p(x)\ln p(x) dx, \tag{7.2} \] 稱為機率分佈\(p(x)\)的 機率熵 ，而積分的上下限則看隨機變量的範圍，例如高斯分佈就是\(\pm \infty\)。如果今天我們有兩組機率分佈\(p(x)\)和\(q(x)\)，我們便可以定義它們之間的 相對熵 ，或稱作 KL散度 (Kullback-Leibler divergence)，定義為 \[ D_{KL}(q,p)\equiv\int q(x)\ln \left(\frac{q(x)}{p(x)}\right) dx = I(q,p)-I(q)\geq 0, \tag{7.3} \] 是 正定的 (positively defined)，其中 \[ I(q,p)=-\int q(x)\ln p(x) d
閱讀完整內容

IA9a - K-means分群與EM算法: 理論

圖片
市場內分門別類的產品 原則上 K-means分群 是 EM算法 (expectation-maximization algorithm) 的一個特例，相較於EM從似然函數 (likelihood) 的方式出發並導出不同資料點對不同群 (或稱聚類、簇，cluster) 的貢獻度，K-means單純用歐氏距離來分類，雖然這加快了K-means算法的計算效率，但顯然的這麼naïve的方法會產生明顯的缺陷。但仍讓我們會先從簡單的K-means開始，並探討K-means算法的結果在某些情況下和人類肉眼辨識的結論會產生明顯的歧義，接著再推進到通用的EM算法，除了 python 的demo外，我也會證明在數學上如何從EM得到K-means的極限 (僅限高斯混合的情況)，而在這個part內，讓我們先從數學理論的角度來面。 一、K-means分群 今天如果我有一大坨資料共120個點如圖1所示，從資料的散佈趨勢來看，很明顯的分成兩群，那我們是不是可以有一個演算法來自動化將資料點如同我們臆測的一樣分成兩袋？一個最簡單的發法便是使用K-means分群，而這個大寫K表示群的數量，以圖1而言，我們猜測K=2，所以是個2-means分群問題。 圖1. 資料散佈圖 (普魯士藍) 與初始化的紅綠兩點 　所以為了達成分群，我們需要先初始化兩個點，這兩個點代表兩群的中心。事實上，初始化的位置不必要一定剛好在兩群的中心，可以是任意挑選的地方，但為了計算方便，我們會將起始化的兩點開始在靠近資料點的平均值附近，如同圖1中紅綠兩點。我們將這兩個初始化的點叫作\(p_k\)其中\(k=1,2\)表示第\(k\)群。另外將資料點的集合用\(\mathbf{D}=\{d_1,d_2\cdots d_n \cdots d_{120}\}\)表示，所以我們計算每個點\(d_n=(x_{d_n},y_{d_n})\)和\(p_k=(x_{p_k},y_{p_k})\)的歐氏距離 \[ \ell_{n,k}=\sqrt{(x_{d_n}-x_{p_k})^2+(y_{d_n}-y_{p_k})^2}. \tag{1} \] 若該點和\(p_1\)的距離小於和\(p_2\)的距離 (\(\ell_{n,1}<\ell_{n,2}\))，則我們說\(d_n\)比較靠近\(p_1\)且應該
閱讀完整內容