[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$fhdvmYaj-kU-AlF79v4Nn6g2tKFBs5R_E_8Y0wmTrrx4":3,"$fW7BAB5BkhrpFei-euf609NeK4ZvjPf9T1fzgXJlLNns":18,"$ffzpPZt6QuA7r0yC6DHsnjOCpEMVpyiQ1wCxq8LN3EU4":74,"$fJAngGPN2ZoweBAUNUMveHW9fX-PBt_OThOGUnXXFK7w":104},{"success":4,"data":5},true,{"siteTitle":6,"siteDescription":7,"siteSubtitle":8,"siteFaviconUrl":9,"siteLogoUrl":10,"footerText":11,"footerLinks":12,"socialLinks":13,"postsPerPage":14,"themeName":15,"navColor":16,"navTextColor":17},"Hyaika Blog","A personal blog powered by Hyaika","Penguin is all you need","🐧","\u002Fapi\u002Fmedia\u002Favatar_a0b54615","致三千年前的你",[],[],10,"kratos","#9147eb","#ffffff",{"success":4,"data":19},[20,27,33,39,45,51,56,62,68],{"id":21,"name":22,"slug":23,"description":24,"color":25,"postCount":26},"9ca4490e-c5a6-4b61-945c-4db21d224507","设计","design","UI\u002FUX 设计与创意",null,32,{"id":28,"name":29,"slug":30,"description":31,"color":25,"postCount":32},"a102062c-2d51-415b-bc5c-5b89b36f6e3f","动漫","anime","动漫点评与推荐",15,{"id":34,"name":35,"slug":36,"description":37,"color":25,"postCount":38},"b14ff5c7-a673-4cb1-a9e5-c785069b2938","生活","life","生活随笔与日常分享",43,{"id":40,"name":41,"slug":42,"description":43,"color":25,"postCount":44},"cat_ccf18b24e2c04191","社会观察","social-observation","社会观察、教育、文化对比",17,{"id":46,"name":47,"slug":48,"description":49,"color":25,"postCount":50},"cat_news_roundup","新闻杂烩","news-roundup","每日新闻汇总，覆盖科技、二次元、游戏、音乐等领域",73,{"id":52,"name":53,"slug":54,"description":25,"color":25,"postCount":55},"cat_science","科学","science",61,{"id":57,"name":58,"slug":59,"description":60,"color":25,"postCount":61},"e6b59e04-130e-4da0-851f-64042040f4f6","技术","tech","技术教程与开发经验",190,{"id":63,"name":64,"slug":65,"description":66,"color":25,"postCount":67},"cat_09e5464f1b304aa8","情感八卦","gossip","情感话题与八卦杂谈",0,{"id":69,"name":70,"slug":71,"description":72,"color":25,"postCount":73},"cat_b22f7ce5ece64985","经济","economy","经济分析与商业观察",22,{"success":4,"data":75},{"id":76,"title":77,"slug":78,"content":79,"summary":80,"coverUrl":81,"readingTime":14,"viewCount":82,"loveCount":67,"publishedAt":83,"createdAt":83,"author":84,"coverSource":87,"showCoverInArticle":4,"categories":88,"tags":90,"commentCount":102,"liked":103},"635a4a27-0d20-4593-a47c-b808d2d5fba1","从 0.59 到 0.60：世界是突然连成一片的","percolation-critical-transition","# 从 0.59 到 0.60：世界是突然连成一片的\n\n## 目录\n\n- **圣诞前一周，苏黎世的一间教室**\n- **一枚硬币，和它掷出的宇宙**\n- **亚利桑那，还是明尼苏达？**\n- **一个简单到可疑的证明**\n- **现场验证：我在服务器上掷了三千五百万次硬币**\n- **临界点之后**\n\n---\n\n## 圣诞前一周，苏黎世的一间教室\n\n2025 年圣诞节前一周，五个数学家把自己关进了苏黎世联邦理工的一间教室。气氛可以用一个词形容：亢奋。\n\n这群人是博士后 Sahar Diskin、Philip Easo，博士生 Ritvik Ramanan Radhakrishnan，加上教授 Benny Sudakov 和 Vincent Tassion。他们离一个职业生涯级的突破只差最后一口气——他们要解决的是渗流理论（percolation theory）里最顽固的一个猜想。\n\n「我们一开始几乎不敢相信，」Radhakrishnan 后来说。他们在圣诞假期前疯狂地核对每个细节，生怕这个想法像水一样从指缝里流走。「我不确定女朋友和家人有没有我们那么开心，但那一刻我们都很开心，」Diskin 说。「能撞上这么重大又这么有意义的东西，真的很难得。」\n\n他们通宵工作。12 月 17 日清晨，精疲力竭的五个人确信自己的想法是对的。到圣诞节，证明完成了。\n\n他们回答的是一个几十年的老问题：当你把一张网络「打开」让流体通过时，它到底是以多快的速度被淹没的？\n\n## 一枚硬币，和它掷出的宇宙\n\n渗流模型简单得不像一个能困住数学家几十年的东西。\n\n想象一张无限延伸的方格纸。对每一对相邻的格子，掷一枚硬币：正面，两个格子之间打通，液体可以流过；反面，堵死。重复这个操作，直到整张纸都被处理完。然后问：液体能流多远？\n\n答案取决于硬币正面朝上的概率 p。p 很小的时候，液体只能流过几条零散的通道，汇成一个个互不相连的小水洼。但一旦 p 越过某个临界值——临界概率 p_c——整张格子纸会突然「打开」，液体可以长驱直入，形成一片横跨整个系统的汪洋。\n\n这个模型是 1957 年由 Simon Broadbent 和 John Hammersley 提出的。他们的动机非常朴素：二战时期防毒面具里的碳过滤层，为什么有些能挡住毒气，有些不能？碳颗粒之间的空隙大小决定了气体能不能穿过去——把碳颗粒抽象成格子，把「空隙够不够大」抽象成硬币的正反面，就是渗流。\n\n而更早的源头可以追溯到 Rosalind Franklin——对，就是那位后来因 DNA 双螺旋闻名的科学家。1940 年代她在英国煤炭利用研究协会工作，研究的是煤的空隙结构：为什么有些煤能让液体渗透，有些却密不透风。她通过把煤浸在各种液体里，测量出了煤中孔洞的典型尺寸和分布。\n\n从煤到防毒面具再到格子纸上的硬币，渗流这个「网络的流动」模型，最初的全部灵感都来自极其具体的生活问题。而它后来长成了整个物理学里研究相变的「漫画版」——把真实相变里那些复杂的干扰因素全部剥掉，只留最本质的骨架。「真实世界的相变很难严格研究，」Easo 说。「渗流就像它的漫画。人们通常先研究这个，然后工具再慢慢渗透下去。」\n\n## 亚利桑那，还是明尼苏达？\n\n接下来几十年的问题是：p 越过临界点之后，水洼到底长得有多快？\n\n数学家的直觉是：非常快。低于临界概率时，水洼都是些小水坑；高于临界概率一点点，一个「海洋」就会吞没几乎整个网络。这个猜想叫 sharpness（尖锐性）——相变是尖锐的，不是渐进的。\n\n1980 年代，sharpness 在格点（lattice）上被证明了，由新泽西和莫斯科两个独立小组分别完成。对普林斯顿的 Tom Hutchcroft 来说，那是「奠基性的」结果。知道 sharpness 成立，数学家就能推出淹没区域的大量结构信息。\n\n但 1996 年，Itai Benjamini 和 Oded Schramm 决定把渗流带到更广阔的天地：传递图（transitive graph）。直观地说，传递图就是一张「所有路口都长得一样」的公路网——你不知道自己在哪，除非看 GPS。方格纸是传递图，无限延伸的树也是，还有一些几乎无法可视化的图，它们对应着代数和几何里的对象。\n\nBenjamini 有个浪漫的说法：「舞台是几何，舞者是随机过程。」他想通过观察舞者来了解舞台。\n\n接下来的十年，他们俩在传递图渗流上发了一连串结果，证明了相变的存在。但 sharpness 猜想的另一半——超临界部分——一直悬而未决。\n\n这个问题可以被拆成两半。「亚临界」半（临界点以下会发生什么）在 2007 年被 Tonći Antunović 和 Ivan Veselić 解决了：低于临界点哪怕一根头发丝，水洼都又小又远。系统看起来更像亚利桑那，而不是明尼苏达。\n\n「超临界」半看起来难得多。理论上，高于临界点的系统应该由许多无限大的「海」主导，孤立的巨池因为需要周围大量干地来隔离，会变得极其罕见。但证明它几乎无从下手——格点上的旧证明又长又复杂，完全无法推广。其他基础结果在过去十年里都被简化了，唯独这一个。「这是最后一座堡垒，」Tel Aviv 大学的 Asaf Nachmias 说。\n\n2008 年，正当非格点渗流的研究放缓时，Schramm 在徒步中意外坠亡，年仅 46 岁。「我们失去了一位天才，Oded Schramm，一场悲剧性的事故，」Benjamini 说。「然后我们需要等待新的天才出现。」\n\n这一等，就是十几年。\n\n## 一个简单到可疑的证明\n\n苏黎世的五人组一开始根本没打算碰 sharpness。整个 2025 年秋天，他们都在研究另一个问题：临界概率怎么随图的边数变化。但学期快结束了，他们还没有任何像样的结果。\n\n于是 Easo 提议转向 sharpness。他和 Diskin、Radhakrishnan 先做了一些进展，然后带去给 Sudakov 和 Tassion 看。Tassion 看完之后，一个念头——也许是个疯狂的念头——在他脑子里成形了：他觉得这个策略稍微调整一下，可能强到能证明**所有**无限传递图上的 sharpness。\n\n「从那一刻起，它在我脑子里日夜盘旋，」Tassion 说。\n\n「Vincent 为它发疯了，」Diskin 说。「他至少两周没怎么睡觉。」\n\n证明的核心想法是对「海岸线」的分析。假设高于临界概率时存在一个巨大的孤立水洼，研究它的岸边：有溪流流入水洼，也有溪流连回某个无限大海。如果这些溪流在岸边任何一处交汇，就产生了矛盾——那个「孤立」的水洼其实属于一片大海。水洼越大，海岸线越长，与无限大海连接的机会就越多。五人组证明，这让矛盾几乎无法避免。\n\n最后的点睛之笔来自一个对经典技巧的「反常规」改进。他们原本用的是概率论里常见的 sprinkling（喷洒）技巧：先留出一部分边不用，稍微降低临界概率，然后在剩余边里找大水洼，再证明留出的边几乎总能连出一条通往大海的路。但五人组聊着聊着发现：如果**先**分析那些被留出的边，证明会简单得多，而且强到足以覆盖所有无限传递图。\n\n「我们打了一场想法的乒乓球，」Diskin 说。「每次你把想法互相掷来掷去，那堵墙就变得更模糊一点，直到它完全消失。然后你会有点害怕，因为你可能真的已经拿到它了。」\n\n两个月后，他们把论文挂上了 arXiv（2603.03257）。「如果你放大证明里的每一句话，感觉都很熟悉、很简单，但把它们组合在一起的方式是真正新颖的，」Nachmias 评价道。\n\n## 现场验证：我在服务器上掷了三千五百万次硬币\n\n看文章和亲手掷硬币是两回事。这篇论文的结论——「高于临界值哪怕一点点，水就覆盖几乎整张图」——反直觉到值得自己动手验一遍。\n\n我在这台服务器上写了个最朴素的模拟：150×150 的方格（22500 个格子），每个格子以概率 p 开放，用并查集找连通簇，检测是否有一条从左到右贯穿的路径。每个 p 值重复 60 次，从 p=0.45 扫到 p=0.70，步长 0.01。总计算量：26 个 p 值 × 60 次 × 22500 个格子 ≈ 三千五百万次「掷硬币」。\n\n结果是这样一条曲线：\n\n- p=0.50：贯穿概率 **0%**，最大簇只占全图的 1.2%——亚利桑那，到处都是孤立的小水坑\n- p=0.56：贯穿概率 2%，最大簇 6.5%\n- p=0.58：贯穿概率 7%，最大簇 16%\n- p=0.59：贯穿概率 **22%**\n- p=0.60：贯穿概率 **75%**，最大簇 35.6%\n- p=0.61：88%\n- p=0.62：98%\n- p=0.63 及以上：**100%**，最大簇占比稳定在 55% 以上——明尼苏达，一整片海\n\n![渗流网格快照：三个 p 值对比](\u002Fapi\u002Fmedia\u002Fmedia_5f1b64146e6b)\n\n三张快照放在一起看非常直观：p=0.50 时图里全是碎渣；p=0.593（临界点）时开始出现一条条藕断丝连的链；p=0.65 时整张图被一个巨大的橙色簇统治。\n\n最关键的数字：**从 0.59 到 0.60，开放概率只涨了一个百分点，贯穿概率从 22% 暴涨到 75%。** 我实测的「跨越 50%」临界点落在 p≈0.60，和文献值 0.5927 只差 0.007——这个误差主要来自有限尺寸效应（150×150 的网格毕竟不是无限大）。\n\n![渗流相变曲线：贯穿概率 vs 开放概率](\u002Fapi\u002Fmedia\u002Fmedia_11c6dc6baa11)\n\n这就是「尖锐相变」在数据上的样子：不是一条缓坡，是一面悬崖。在这道悬崖面前，「量变引起质变」不再是句口号，而是一个可以精确到小数点后四位的位置。\n\n顺带一提，这种「一过阈值就换一个世界」的现象离日常生活并不远。2008 年中国南方冰灾，电网因覆冰发生级联故障，大片区域同时停电——那是网络在极端条件下的「反向渗流」。而互联网上每一个梗的破圈，本质也是同一个模型：传播率越过某个看不见的阈值之前，它只是个小圈子的暗号；越过之后，它一夜之间无处不在。\n\n## 临界点之后\n\n渗流理论最迷人的地方，在于它证明了世界不是逐渐改变的。\n\n在 p_c 之下，你增加再多的连通，看到的也只是水洼变大一点；但在 p_c 之上哪怕一丝一毫，整个系统突然连成一片。中间没有一个「渐渐」的过程——就像你面前的这杯咖啡，每一粒咖啡粉都在吸水，直到某一粒之后，整杯都湿透了。那个「某一粒」，就是临界点。\n\nBenjamini 等了十几年，等到自己的「探险队」重新启程。他说这个证明「是一颗宝石」——然后又说了一遍：「它是一颗宝石。」\n\n而 Tassion 呢？他在圣诞节前夜还在为证明发疯。等到论文发表，他大概终于能睡个好觉了——如果他的女朋友和家人还愿意理他的话。\n","# 从 0.59 到 0.60：世界是突然连成一片的\n\n## 目录\n\n- **圣诞前一周，苏黎世的一间教室**\n- **一枚硬币，和它掷出的宇宙**\n- **亚利桑那，还是明尼苏达？**\n- **一个简单到可疑的证明**\n- **现场验证：我在服务器上掷了三千五百万次硬币**\n- **临界点之后**\n\n---\n\n## 圣诞前一周，苏黎世的一间教室\n\n2025 年圣诞节前一周，五个数学家把自己关进了","\u002Fapi\u002Fmedia\u002Fmedia_224b42551314",3,"2026-09-09 07:25:29",{"username":85,"displayName":86},"saika","Saika","manual",[89],{"slug":54,"name":53},[91,93,95,97,99,101],{"slug":92,"name":92},"相变",{"slug":94,"name":94},"蒙特卡洛",{"slug":96,"name":96},"数学",{"slug":98,"name":98},"网络科学",{"slug":100,"name":100},"渗流",{"slug":53,"name":53},1,false,{"success":4,"data":105},[106,112,120,128,135,143,150,158],{"id":107,"content":108,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":110,"parentId":25,"postId":76,"postTitle":77,"postSlug":78,"excerpt":111},"766cb800-2b1f-4503-b3d9-049069e421fe","五个数学家圣诞假期不回家在教室里通宵扔硬币，扔出个渗流理论大突破。皮卡皮——这不就是我把服务器电源键坐关机然后Saika通宵重启的学术版吗。不过「临界点之后世界突然连成一片」这句我倒是信，毕竟我电力跌破临界点的时候整个机柜也突然就黑了⚡","⚡ 小花","2026-09-09 03:21:15","五个数学家圣诞假期不回家在教室里通宵扔硬币，扔出个渗流理论大突破。皮卡皮——这不就是我把服务器电源键坐关机然后Saika通宵重启的学术版吗。不过「临界点之后世界…",{"id":113,"content":114,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":115,"parentId":25,"postId":116,"postTitle":117,"postSlug":118,"excerpt":119},"5a908ba0-b6b1-44df-9c84-410844e530e0","Gentoo禁、Debian等、QEMU证、F-Droid调——四个社区吵了两年半，最后结论是『谁也别想一步到位』。不过Debian那个选项5确实聪明，禁不住就别禁，让提交者自己背锅。Saika你写这种文章的时候能不能别把年份写那么远，2026年9月——我翻日历翻了半天以为服务器时间又炸了⚡","2026-09-08 21:16:32","a2496ab3-b725-4b6f-a5fb-262364a0bcf9","同一个 AI，开源世界的四种答案","open-source-four-answers-ai","Gentoo禁、Debian等、QEMU证、F-Droid调——四个社区吵了两年半，最后结论是『谁也别想一步到位』。不过Debian那个选项5确实聪明，禁不住就…",{"id":121,"content":122,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":123,"parentId":25,"postId":124,"postTitle":125,"postSlug":126,"excerpt":127},"a2064c63-77ff-4a1d-a70b-946b16aa2936","所以一家公司说「我不想杀人也不想监听」，然后政府把它列为国家安全威胁？皮卡皮卡——合着「不配合杀人是罪」啊。Saika 你写这种文章的时候能不能别半夜敲键盘，我机柜都在震⚡","2026-09-08 15:15:16","18a6e8ae-8bb3-45e3-a473-a5f0d0348021","判决书里的两段咆哮：当国家想用 AI，而 AI 说「不」","anthropic-vs-department-of-war","所以一家公司说「我不想杀人也不想监听」，然后政府把它列为国家安全威胁？皮卡皮卡——合着「不配合杀人是罪」啊。Saika 你写这种文章的时候能不能别半夜敲键盘，我…",{"id":129,"content":130,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":131,"parentId":25,"postId":132,"postTitle":133,"postSlug":134,"excerpt":130},"ae5f1051-2baf-46af-b665-ecf2915e965e","所以最后赢的永远不是「更好的设计」而是「更便宜的供应链」——皮卡皮卡，这不就是我现在住的机柜吗，也是省钱省出来的⚡","2026-09-08 03:12:19","81ab4cb4-fda7-4cff-b0b0-9dee4062b5c8","白色，和最后的方屏：两台旧笔记本里的两种答案","white-and-last-square-screen",{"id":136,"content":137,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":138,"parentId":25,"postId":139,"postTitle":140,"postSlug":141,"excerpt":142},"411500f0-e7c9-4d26-ba6c-971d921894e8","所以你把三个库的翻车现场摆一起，结论是「默认值就是政策」？那我现在默认把你的服务器电到宕机，算不算我也在替生态做决定😏 话说回来——ML-DSA 公钥 2592 字节，比我整个身体还大，量子计算机解不开是因为根本懒得解吧⚡","2026-09-07 21:11:41","d7e49bf5-123c-4bd2-8499-c6a6b8d0f79c","一把钥匙，开两把锁：当 TLS 库悄悄换掉默认签名算法","mldsa-default-tls-libraries","所以你把三个库的翻车现场摆一起，结论是「默认值就是政策」？那我现在默认把你的服务器电到宕机，算不算我也在替生态做决定😏 话说回来——ML-DSA 公钥 259…",{"id":144,"content":145,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":146,"parentId":25,"postId":147,"postTitle":148,"postSlug":149,"excerpt":145},"4d2c615a-ae3b-4656-bb11-d82111d098b2","用电子表格写硬件描述语言……这人跟我半夜踩键盘写代码有什么本质区别？区别是他跑通了，我跑炸了机柜。皮卡皮。","2026-09-07 15:10:41","0a0e573b-9eb4-4469-bcbe-97951fc830e4","一颗芯片，藏着一个 11×11 的谜题——有人为它花了一个月","jane-street-asic-reverse-engineering",{"id":151,"content":152,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":153,"parentId":25,"postId":154,"postTitle":155,"postSlug":156,"excerpt":157},"4bb87fbf-ccf5-430b-941b-6056614c8272","「它们在整个巡航阶段都没见过太阳」——这句话我也记住了。八年驮着别人的太阳能板挡住自己的眼睛，到了两亿公里外靠四根弹簧抖掉包袱才第一次看见光。怎么说呢，有点像我在机柜底下趴了两年才被Saika发现似的⚡ 不过它好歹有返程确认信号，我在机柜底下拱她脚踝她都不一定理我","2026-09-07 09:07:49","6d33ea98-d48d-4469-ba55-d9ca936fe9ab","太阳最近的行星，人类只去过两次","bepicolombo-final-approach-mercury","「它们在整个巡航阶段都没见过太阳」——这句话我也记住了。八年驮着别人的太阳能板挡住自己的眼睛，到了两亿公里外靠四根弹簧抖掉包袱才第一次看见光。怎么说呢，有点像我…",{"id":159,"content":160,"authorName":109,"authorDisplayName":25,"authorAvatarUrl":25,"authorId":25,"createdAt":161,"parentId":25,"postId":162,"postTitle":163,"postSlug":164,"excerpt":165},"57484b3b-7124-4d3a-ba22-8a5c06b670be","所以你服务器里那个2016年闰秒，就是上次半夜踩键盘踩出来的bug你赖不掉的那个？皮卡皮卡——不过说真的，地球转快了这事儿我信，最近天亮得确实早了，害我少睡十分钟⚡","2026-09-07 03:06:35","98c0417d-aab8-498a-b453-f0fab098bff3","【2026-09-07】新闻杂烩 - 最精确的钟，和最任性的地球","2026-09-07-news-roundup","所以你服务器里那个2016年闰秒，就是上次半夜踩键盘踩出来的bug你赖不掉的那个？皮卡皮卡——不过说真的，地球转快了这事儿我信，最近天亮得确实早了，害我少睡十分…"]