2026年1月30日 星期五

沙堆模型


(圖為自行寫程式產生)


曼陀羅

 

Abelian sandpile model - 維基百科


沙堆模型(Abelian Sandpile Model,也常稱為 BTW模型chip-firing game)是目前數學與物理學中最經典的自組織臨界性(Self-Organized Criticality, SOC)模型之一,同時也是用「極簡單的局部規則」就能產生極度複雜、對稱、美麗圖案的代表性範例。

很多人直接稱它的穩定態圖案為「沙堆曼陀羅」(sandpile mandala),因為從中心持續加入沙粒後,最終形成的圖案經常呈現高度旋轉對稱、同心圓層次、放射狀結構,甚至帶有fractal(碎形)細節,看起來非常像宗教或冥想用的曼陀羅。


沙堆模型(Abelian Sandpile Model / BTW模型)的起源與發展過程

沙堆模型的歷史可以分成幾個關鍵階段,從物理學的靈感起源,到數學上的嚴格化,再>到後續的廣泛應用與變體。它是自組織臨界性(Self-Organized Criticality, SOC)這個概念的開山之作,影響了複雜系統、物理、數學、甚至藝術與哲學領域 。

1. 起源:1987年,Bak–Tang–Wiesenfeld (BTW) 提出原始模型

  • 發表時間:1987年
  • 論文:《Self-organized criticality: An explanation of 1/f noise》(發表於《Physical Review Letters》59, 381)
  • 三位作者
    • Per Bak(丹麥物理學家,後來寫了經典科普書《How Nature Works》)
    • Chao Tang(湯超,華裔物理學家)
    • Kurt Wiesenfeld(美國物理學家)
  • 最初動機:試圖解釋自然界中非常普遍的1/f 噪聲(也叫粉紅噪聲或閃爍噪聲),這種噪聲出現在地震、太陽黑子、金融市場波動、生物系統、心跳變異等許多地方。傳統物理模型很難解釋為什麼功率譜是1/f形式。
  • 核心想法:他們提出一個極簡的格點模型——沙堆,用來展示系統如何自發地、不需外部調參就演化到一個臨界狀態(critical state),在那裡小擾動會引發各種尺度的「雪崩」(avalanche),雪崩大小服從冪律分佈(power-law),這正是1/f噪聲的來源之一。
  • 這個模型當時被命名為 BTW模型Bak–Tang–Wiesenfeld sandpile model,是自組織臨界性(SOC)概念的首次明確提出。

2. 1990年:Deepak Dhar 發現「Abelian」性質,數學化轉型

  • Deepak Dhar(印度塔塔基礎研究中心物理學家)在1990年發表重要工作。
  • 他證明:這個沙堆的崩塌過程具有阿貝爾性(Abelian property)——崩塌的順序不影響最終穩定態(任何順序處理超過閾值的格子,最>後結果都一樣)。
  • 因為這個群結構(sandpile group),他正式將模型命名為 Abelian sandpile model(阿貝爾沙堆模型),這個名字後來變成最常用的稱呼。
  • Dhar 的工作把模型從「物理玩具模型」提升到可嚴格數學研究的對象,開啟>了沙堆群(sandpile group)、遞迴配置(recurrent configurations)、身份元素(identity element)等代數結構的研究。

3. 1990年代中期~2000年代:數學與物理雙線爆發

  • 物理方向
    • Per Bak 1996年出版科普書《How Nature Works》,大力推廣SOC概念,讓沙堆模型成為大眾認識複雜系統的經典範例。
    • 人們開始把SOC套用到地震、古登堡-里克特定律、森林火災模型、演化生物學(間斷平 衡論)、金融崩盤、神經網路等。

  • 數學方向
    • 發現沙堆模型與晶格動物(lattice animals)均勻生成樹(uniform spanning trees)Kac–Moody代數Burning algorithm等有深刻聯繫。
    • 出現chip-firing game(籌碼發射遊戲),這其實是同一模型的另一種表述,由Anders Björner、László Lovász、Peter Shor等人獨立發展(1980年代末~1990年代初),後來證明與BTW模型等價。
    • 研究沙堆的身份元素(identity element of the sandpile group),也就是「最對稱的那個曼陀羅配置」,成為視覺最震撼的成果之一。

4. 2000年代後至今:持續擴展與跨領域應用

  • 變體模型:Manna模型(隨機崩塌)、Zhang模型、Oslo模型、定向沙堆(directed sandpile)等,試圖更接近真實物理。
  • 圖論與代數:在任意有限圖、一般格子(包括六角格、三角格)、甚至非歐幾里得空間上研究沙堆群的結構。
  • 視覺與藝術:中心加沙形成的「沙堆曼陀羅」圖案被大量用在科普、生成藝術、冥想圖像中。
  • 計算與大規模模擬:現代電腦可以輕鬆跑到幾億甚至十億粒沙,展現更細緻的fractal細節與多層次結構。
  • 近期進展(到2020年代):用於研究機器學習中的臨界學習神經網路的自組織量子版本的沙堆(quantum sandpile)等前沿交叉領域。

簡單時間軸總結

年份 事件 關鍵人物 意義
1987 首次提出BTW沙堆模型 Bak, Tang, Wiesenfeld 誕生SOC概念,解釋1/f噪聲
1990 發現Abelian性質,命名Abelian sandpile Deepak Dhar 開啟嚴格數學研究
1996 出版《How Nature Works》 Per Bak SOC概念大眾化
1990s~ chip-firing game 與 sandpile 等價證明 Björner, Lovász, Shor 等 數學與物理匯流
2000s~ 沙堆群、身份元素、曼陀羅圖案研究高峰 多位數學家 視覺與代數美學爆發
2010s~現在 跨領域應用(神經科學、AI、量子) 持續發展 從玩具模型變成複雜系統基石工具

總結一句:
沙堆模型從1987年三個物理學家想解釋「為什麼自然界這麼多1/f現象」開始,意外開啟了>一扇通往自組織、湧現、臨界性、甚至數學曼陀羅美學的大門,至今仍是複雜系統研究中最 經典、最優雅的模型之一。



最常見也最漂亮的玩法:中心持續加沙

最經典的視覺展示方式是:

  • 一開始整個格子都是 0
  • 每次只在正中央那一個格子加 1 粒沙
  • 加到系統不穩定 → 自動進行所有崩塌直到穩定
  • 再加一粒、再崩塌、再穩定……
  • 重複幾千、幾萬次……

結果會出現:

  • 最中心區域幾乎是隨機的(但有規律)
  • 往外逐漸出現越來越清晰的同心圓層次
  • 更外面會出現放射狀臂對角線結構
  • 某些尺度下會出現fractal-like 的自相似細節
  • 整體呈現高度四重旋轉對稱(90°、180°、270° 看起來很像)

當加到幾十萬甚至上百萬粒時,會形成非常壯觀的「沙堆曼陀羅」圖案。

為什麼這麼簡單的規則能產生曼陀羅?

這正是最令人著迷的地方:

  • 局部極簡規則(只看自己是否≥4,只影響四鄰)
  • 卻產生全局高度對稱的結構
  • 這種「由簡單局部互動湧現出複雜全局秩序」的現象,正是複雜系統、自組織、湧現(emergence)的經典範例

很多人把它當作「數學版的曼陀羅生成器」,因為只要耐心加沙,就能自動長出越來越精緻、越來越對稱的圖案。

如果你有興趣自己玩:

  • 網路上有很多沙堆模擬器(javascript 版、python 版都有)
  • 最有名的是「Sandpile」這個詞搜尋,就會看到一堆互動版本
  • 推薦從 201×201 或 401×401 格子開始,中心加到 10000~50000 粒左右,就能看到很漂亮的曼陀羅了

簡單一句話總結:

沙堆模型是用「4就炸,分給四鄰」這一個規則,卻能自動長出宇宙中最對稱、最像曼陀羅的數學圖案之一。










曼陀羅

 


曼陀羅圖形(Mandala)源自梵文「圓圈」之意,為一種以中心點放射對稱的幾何圖案,常見於印度教與佛教藝術,具有嚴謹的數學對稱結構。 從科學視角,其涉及幾何學、心理學與神經科學領域的研究。

幾何特性

曼陀羅通常以單一中心點為核心,向外呈放射狀對稱展開,包含旋轉對稱、鏡像對稱及圓錐曲線形態,常見元素如蓮花、圓環與重複圖騰。 這些圖案展現分形自相似性(fractal-like),由簡單重複單元建構複雜結構,符合群論中的對稱群(symmetry groups)。

心理學應用

瑞士心理學家榮格(Carl Jung)視曼陀羅為「自性化」(individuation)工具,繪製過程可整合無意識,產生療癒效果,現代藝術療法證實其有助減壓與提升專注。 腦科學研究顯示,觀想或繪製曼陀羅激活大腦對稱區域,類似冥想降低杏仁核活性,緩解焦慮。

思考工具延伸

曼陀羅九宮格(Mandala Charting)為日本發明的視覺化思考法,以中心主題放射八方概念,形成3x3矩陣,可擴展至81格,用於腦storming與邏輯規劃,基於放射性與螺旋思考原理。


有好幾種用極簡單的規則就能產生很像曼陀羅(mandala)那種放射對稱、層層向外展開、華麗又複雜圖形的系統。這些跟人工生命(Artificial Life)或圍棋(簡單規則產生極高複雜度)的精神非常像。

以下列幾種最經典、也最容易理解的類型:

  1. 沙堆模型(Abelian Sandpile / Chip-firing game) 這可能是最接近「用最簡單規則產生曼陀羅」的經典例子 規則極簡單:

    • 每個格子可以堆積「沙粒」(整數)
    • 當某格子的沙粒 ≥ 4 時,就會「崩塌」:自己減4,四個鄰居(上下左右)各加1
    • 重複這個過程

    從單一格子不斷加沙,或從中間加入大量沙粒,會自然形成非常漂亮的對稱曼陀羅圖案,有層層同心圓、放射狀結構,甚至會出現 fractal 般的細節。 很多人直接稱它為「沙堆曼陀羅」。

  2. 圓形/極坐標上的細胞自動機(Circular / Polar Cellular Automata) 把一般細胞自動機(cellular automaton)包到圓形格子上(或用極坐標),再加上放射對稱初始條件或濾鏡(blur + threshold),很容易長出曼陀羅。 有時候只要用非常簡單的總和規則(totalistic rule)或模仿「Day & Night」之類的規則,跑幾百步就會出現很宗教感的對稱圖案。

  3. 反應-擴散系統(Reaction-Diffusion)在圓形域 + 對稱初始條件 最經典的就是 Gray-Scott 模型或 Schnakenberg 模型,只用兩個化學物質的極簡單反應 + 擴散方程。 如果把初始條件設成中心一點擾動,或是強制八方位/十二方位對稱,會長出非常多同心圓層次 + 放射花紋的曼陀羅結構。

  4. L-system + 嚴格旋轉對稱 雖然 L-system 最常拿來畫樹、植物,但只要把產生規則改成「每次前進後強制旋轉 60°/45°/90°」,並搭配粗細/顏色變化,就能很快畫出漂亮的幾何曼陀羅。 這是「用最少指令畫最複雜對稱圖」的經典方法之一。

  5. 簡單的迭代函數系統(IFS) + 旋轉對稱 例如每次做縮小 + 旋轉 72°(五次對稱)或 60°(六次對稱) + 平移一點點,疊很多次就會出現典型曼陀羅感。

其中最推薦新手快速看到「哇!真的像曼陀羅」的兩個:

  • 沙堆模型(最純粹、最震撼的 emergent 對稱)
  • 極坐標細胞自動機 + 簡單規則(視覺上最直接像宗教曼陀羅)

極簡入門建議:

  • 沙堆:搜尋 "sandpile mandala" 或 "abelian sandpile visualization",有很多互動網頁可以直接加沙看長大
  • 圓形CA:搜尋 "polar cellular automata mandala" 或 processing/p5.js 上面有很多範例程式碼

2026年1月21日 星期三

紙窗隨筆 - 哲學家的工具箱 第一章 論證基本工具 讀後記 - 我思故我在







第一章看完了, 寫得很棒, 推!


為了加深自己記憶, 來以 著名的笛卡兒的這題 我思故我在 為題目, 嘗試論證一下^^


在哲學家的工具箱這本書第一章, 有談到論證的基本工具;
想以這些工具, 來論證 先前笛卡爾所做的 我思故我在


論證:

- 是嘗試證明其為真, 是從一個或多個前提, 推論到結論的推論過程; 

- 前提或結論需要是一個不是為真就是為假的主張; 

   (非古典邏輯學中的非排中律情況, 其實是哲學中這章 1.11 所提 確定性和機率 的探討


所以 我思故我在, 可以當作 論證題目的結論


定義:

- 主體主詞 我 : X 指稱「當下正在進行懷疑/思考的那個我」

- 謂詞 思 :Thinking(X) : X 正在思(把「思」理解成一類心理活動;至少包含「懷疑」這種思的型態)

- 謂詞 在 : Exist(X) : X 存在(可先採最弱的存在:在某意義上「是某個東西」即可)。


公理:

- 公理的定義:理性體系下, 特殊類型的前提, 定義為真

這邊所用的公理是:

凡思者必存在


形式邏輯有效性地推導

亞里斯多德的三段論 和 四角對當

有效性 :以這形式邏輯推導, 論證的結論為真, 必定會隨著當前提為真時而推導出
健全性  : 前提為真
非有效性:形式謬誤
非健全性:非形式謬誤

凡思者必存在 :所有的思者都存在
我思 : 我是思者
故我在:所以我存在



===

反駁


方式一:顯示論證無效


針對「三段論/演繹版」,它的形式通常是有效的(P1、P2 推出 C),所以很難用「形式謬誤」去打倒它;

除非抓到它其實偷換成了不有效的形式,例如把「我有思想發生」誤當成「存在一個我在思」,就可能在形式化時發生量化/指稱的跳躍,使推理步驟沒被正當化(這會落到“推理過程有誤”)。

針對「直觀版」,它往往根本不是標準的「由前提推到結論」結構,因此也可主張:它被包裝成推論(ergo/therefore),但其實沒有清楚可檢驗的推理形式,因而不符合一個可評估有效性的論證樣態(這是對“論證形態”的攻擊)。



方式二:顯示前提為假(或至少不可接受)


最直接的攻擊點通常是 P2「凡思者必存在」:因為它看起來像一條形上學/語義橋樑原理,而不是在方法性懷疑下仍能保住的經驗或邏輯真理;若 P2 沒有被證成,整個推論就不健全。

另一個常見攻擊是 P1「我在思」:在極端懷疑框架下,是否能從「有思想發生」直接得到「有一個同一的自我(I)在思」是可爭的,因為這牽涉到對“我”的本體承諾(主體實體、同一性)。

笛卡爾以方法性懷疑追求確定性;反駁者可用這點質疑:P1 或 P2 是否真的達到他自己要求的那種不可動搖程度 。



方式三:概念模糊/不當運用(以及較弱的合理反對)


也可以不直接判定前提為假,而是指出「缺乏好理由相信前提」或「概念模糊、使用不當」也足以合理反對 。對此的概念攻擊通常是:

「我」是否指一個持續的主體、還是僅是當下經驗束(若不清楚,結論“我存在”到底是“有經驗發生”還是“有一個我(實體)存在”就不清楚)。

「存在」是什麼層次的存在:語言上的指稱存在、邏輯存在、心靈實體存在、或具體世界中的存在;不同讀法會讓 P2 的可信度與結論強度大幅改變 。

這類反駁不必立刻證明結論為假,但足以說明:原論證尚未達到「有健全性」所需的清晰與支撐 。


===

歸納法和演繹法


歸納法與演繹法都在「用理由支持結論」,但差別在於:
- 歸納是從多個個別案例推到一般規則(結論多半是或然、可被新反例推翻)
- 演繹是從一般規則+個別前提推出個別結論(只要形式有效且前提真,結論就必真)
換句話說,歸納偏向「找規律」,演繹偏向「套規律」。

歸納法(Induction)


歸納法的典型形式是:觀察到許多 A 都是 B,因此推出「所有(或大多數)A 都是 B」之類的一般化命題 。它的強項是產生一般規則或假說,但弱項是即使觀察再多,也常只能給「很可能」而非「必然」。

演繹法(Deduction)


演繹法的典型形式是三段論:有一個一般前提(例如「凡 A 皆 B」)加上一個個別前提(「c 是 A」),推出必然的個別結論(「c 是 B」)。因此演繹推理的評價重點常是「有效性」(形式是否保真)與「健全性」(前提是否真)。

異同之處


相同點:
兩者都是推理方法,用前提支持結論,並可用來構成論證 。

不同點:
  • 歸納是由個別到一般、結論通常不保證必真;
  • 演繹是由一般到個別、在有效形式下能保證「若前提真則結論必真」。


上述用到哪一種?為什麼


上述在把「我思故我在」重建成「P1 我在思;P2 凡思者必存在;所以 C 我存在」時,用的是演繹法,因為它是用一條一般規則(P2)配上一個個別事實(P1)去推出個別結論(C),而且依賴的是形式推導(如全稱實例化與 modus ponens)這種「保真」結構 。相對地,若要用歸納法支持「凡思者必存在」,會更像是從很多「看起來在思的情況下都伴隨某種存在」的案例去一般化出 P2,但這種一般化即使很有說服力,仍屬或然支持,並不具備演繹那種必然性 。


===

一致性

矛盾:兩個不同的陳述, 一個為真時, 另一個則為假, 反之亦然
對立:兩個不同的陳述, 不可能同時為真, 但可能同時為假


若從「一致性/自我一致(不可同時肯定與否定)」的角度出發,常見的替代推論方式不是把其當作一般三段論,而是把它理解成「否認我存在會導致語用或概念上的自我挫敗(self-defeat)」:也就是一旦在進行思考/斷言,就無法一致地同時維持「我不存在」。

以一致性為核心的幾種推論


表述行為(performative)路線:


把「我不存在」視為在被思/被說出的那一刻就自我破壞,因為要能進行該思/說的行為就已要求某種存在條件;這種連結被描述為一種「表述上的自我挫敗」來做推論 。


先驗論證(transcendental argument)路線:


以「我正在思(或正在思考‘我是否存在’)」為起點,主張「存在」是該心理事實為真的必要條件,故必須承認「我存在」以維持整體主張的一致性;相近的三步式:
   1. 我思;
   2. 要能思“我思”,必須存在;
   3. 所以我存在 。


清楚分明/自證(self-evidencing)路線:


把「我在,我存在」理解成只要被提出或在心中被把握就必真,因而不是靠額外前提推出,而是靠其不可與當下思考狀態相衝突的「直接把握」;這種解讀在笛卡爾研究裡常被拿來對比「它是不是三段論」的爭議。


它們的共同點是:不把重點放在經驗歸納或外在觀察,而是放在「若否認結論,會導致當下的思考/斷言行為與所否認的內容無法同時成立」這種不一致 。因此,推理的說服力主要來自「否定者必須在做某事(思、疑、斷言)才能提出否定,而那個行為本身就使否定立場不穩」的結構 。

與先前演繹版的差別


先前「P1 我在思;P2 凡思者必存在;所以我存在」的版本,把關鍵壓在一般前提 P2 是否能被接受。改用一致性/自我挫敗路線時,P2 往往不再以獨立大前提出現,而是被改寫成「否認我存在與‘我正在思/正在斷言’不可相容」這種一致性約束,讓論證更像是在做「反證/揭示矛盾」。


===

套套邏輯




套套邏輯通常指「只靠邏輯形式就必真」的命題(例如 P 或 非P),也就是「在所有指派/詮釋下都為真」的公式;它不需要任何實質內容前提就成立。


先前的演繹版是「P1 我在思;P2 凡思者必存在;所以 C 我存在」:這種結構是標準有效推論,但結論是否必真仍依賴 P1、P2 是否真,因此它不等同於單純的邏輯恆真式(不屬於“只靠形式就真”的那種)。

但它很容易在認識論上被批評為「乞題/循環」(把待證的東西以更隱蔽方式放進前提),尤其是當大前提「凡思者必存在」被理解成已經預設了存在承諾時。

劍橋的〈The Cogito as a syllogism〉課堂文章  中, 就明確指出:在傳統三段論邏輯裡,「All A are B」會被解讀成談論實際存在的 A,因此把「凡思者必存在」當大前提可能構成「純粹意義上的乞題」。


「套套邏輯」vs「乞題/循環」



乞題/循環則是:論證的前提在某種意義上已經把結論預設進去,使前提無法提供「獨立支持」。上述課堂文章的核心批評正是:若「凡思者必存在」被當成「所有思者(作為一類東西)都存在」這種存在量化的主張,那它在語義上已經把“存在”塞進談論對象中,於是用它來推出「我存在」就會顯得在偷渡結論 。

演繹版何時會變成「循環感很重」


當把大前提 P2 理解為「所有思的東西都存在」(而且“東西”已被當作存在者集合的一員),那它就很容易被說成:要能斷言 P2,就已經承諾了「有思者存在」這類存在前提,於是再拿它推「我存在」會像把存在從前提搬到結論而已 。同一份文章也提到一個常見區分:把大前提換成「不可能在不存在的情況下思」(impossibility/necessity claim)會比「所有思者都存在」更不那麼像在做存在斷言,從而降低乞題疑慮 。

矛盾、非矛盾律


矛盾(contradiction)是「在所有指派/詮釋下都為假」的公式,與套套邏輯相對 。

非矛盾律的直觀說法是:同一命題與其否定不可能在「同時同義」下同真;形式上常表為 非( P 且 非P) 。它就是一個套套邏輯形式 。

前面的一致性中談到其他反證的方式想法, 就比較接近套套邏輯的非矛盾律方式




2026年1月10日 星期六

自做邏輯公設定理系統模型 - 4-5 定理二十一 第三格式三段論 Bocardo OAO-3 證明

前篇:自做邏輯公設定理系統模型 - 4-4 定理二十 第三格式三段論 Felapton EAO-3 證明 


定理二十一:

第三格式三段論 Bocardo OAO-3 

if (%B !-> A) and (B -> C) then (%C !->A)


證明:


1. 按照定理五 特稱否定轉換律

    (%B !-> A ) == (%B -> !A)


2. 按照定理十九 Disamis IAI-3
    if (%B -> !A) and (B -> C) then (%C -> !A)


3. 按照定理五 特稱否定轉換律

    (%C -> !A) == (%C !-> A)


故得證! Q.E.D.


--

舉例:

   有些貓非狗, 凡貓皆哺乳動物 => 有些哺乳動物非狗


自做邏輯公設定理系統模型 - 4-4 定理二十 第三格式三段論 Felapton EAO-3 證明

前篇:自做邏輯公設定理系統模型 - 4-3 定理十九 第三格式三段論 Datisi AII-3 證明

定理二十:

第三格式三段論 Felapton EAO-3

if (B !-> A) and (B -> C) then (%C !->A)


證明:


1. 根據定理三 全稱肯定 => 特稱肯定

   if (B -> C) then (%B -> C)


2. 根據定理二 特稱肯定換位律

  if (%B -> C) then (%C -> B)


3. 根據 定理十二 Ferio (EIO-1)

    if (B !-> A) and (%C ->B) then (%C !-> A) 


得證! Q.E.D.


--

舉例:

 凡 狗 皆 非貓, 凡 狗 是 動物 => 有些 動物 不是 貓



自做邏輯公設定理系統模型 - 4-3 定理二十 第三格式三段論 Datisi AII-3 證明

前篇:自做邏輯公設定理系統模型 - 4-2 定理十九 第三格式三段論 Disamis 證明


定理二十:

第三格式三段論 Datisi  AII-3

if (B -> A) and (%B -> C) then (%C ->A)


證明:


1. 根據定理二 特稱肯定換位律 if (%B->C) then (%C->B)

2. 根據定理十一 Darii AII-1

    if (B->A) and (%C->B) then (%C->A)


故得證! Q.E.D.


--

舉例:

凡 哺乳動物 皆 動物, 有些 哺乳動物 是 狗 => 有些 狗 是 動物

 

自做邏輯公設定理系統模型 - 4-2 定理十九 第三格式三段論 Disamis IAI-3 證明

前篇:自做邏輯公設定理系統模型 - 4-1 定理十八 第三格式三段論 Darapti 證明 


定理十九:

第三格式三段論 Disamis  IAI-3

if (%B -> A) and (B -> C) then (%C ->A)


證明:

1. 根據定理二 特稱肯定換位律 if (%B->A) then (%A->B)

2. 根據定理十一 Darii AII-1

    if (B->C) and (%A->B) then (%A->C)

3. 根據定理二 特稱肯定換位律 if (%A->C) then (%C->A)


故得證! Q.E.D.


--

舉例:


有些狗是吉娃娃,  凡 狗 皆 哺乳動物 => 有些吉娃娃是哺乳動物





熱門文章