第133章 找星星
肖宿想到了群論和對稱性。
對於每個素數p，考慮集合{p, p+2}。
如果這對都是素數，這個集合就是特殊的。
能否定義一個「孿生素數對稱群」？
比如，考慮所有整數的置換σ，使得如果{p, p+2}是孿生素數對，那麼{σ(p), σ(p+2)}也是孿生素數對，並且保持間隔為2。
這樣的對稱性可能太強了，也許只有平凡置換。
那就放鬆條件，只要求保持「孿生關係」的漸近密度，而不是精確保持。
一個定義出現在紙上：
設T是所有孿生素數對的集合。
定義「漸近自同構群」Aut_ε(T)為所有滿足以下條件的整數置換σ：
當N→∞時，|{p≤N: {p,p+2}∈T 且 {σ(p),σ(p+2)}∈T}| / |{p≤N: {p,p+2}∈T}| → 1
這樣的σ構成一個群。
研究這個群的結構，也許能揭示孿生素數分布的對稱性。
但這個定義依賴於T本身，而T正是我們要研究的東西，有點循環論證了。
肖宿搖搖頭，把這個思路暫時擱置。
他再次起身。
冬夜的星空很清澈。
普林斯頓的光污染不嚴重，能看到不少星星。
肖宿望著星空，那些星星在夜空中形成各種圖案。
古人看到了星座，現代天文學家看到了星系、星團、宇宙的大尺度結構。
素數就像是數學宇宙中的星星。
它們看起來隨機散布，但一定有著隱藏的結構。
也許……也許答案不在單個素數中，也不在素數對中，而在素數分布的「大尺度結構」中。
就像宇宙微波背景輻射中的溫度漲落，看似隨機，卻編碼了宇宙早期的重要信息。
素數分布的「漲落」中，是否也編碼了整數乘法的深層信息？
他低頭沉思了一會兒，腦海中，數學的世界正朝他完全敞開，無數定理和數學工具走馬燈似的掠過，向他袒露著最深處的光，指引他找到方向。
他重新坐下來，嘗試通過其他方式進行證明。
「還是不對。」
過了許久，肖宿放下筆，揉了揉太陽穴。
2013年，張益唐證明了存在無窮多對素數，它們之間的間隔小於7000萬。
這個數字後來被不斷縮小，最終卡在246上，再難寸進。
從246到2，看起來只是244的差距，244除以2等於122。
可就是這「短短」的122步，每一步都攔住了無數數學家。
肖宿在腦海中勾勒著傳統篩法的圖像。
篩法就像用一張網去打撈素數，網眼越小，撈上來的東西越多，但網也越容易破。
陳景潤當年的「1+2」證明，就是把網織到了人類技藝的極限。
之後五十年，再無人能更進一步。
也許問題不在網本身。
也許該繼續變換打法。
他翻開筆記本，找到顧—辛框架的那幾頁。
三條公理安靜地躺在那裡：旋轉守恆、層次分明、一切皆可計算。
任何一個辛流形最本質的特徵，都可以被一個「旋轉不變量」牢牢抓住，這東西像物理世界的角動量，任憑你如何變換視角，它都穩穩地呆在那裡。
素數分布，有沒有這樣的「旋轉不變量」？
肖宿閉上眼睛，讓思維自由飄蕩。
他看見一條數軸，上面散落著素數點——2,3,5,7,11,13,17,19,23……
這些點看起來隨機分布，但仔細看，又似乎有某種說不清的秩序。
3和5之間差2，5和7之間差2，11和13之間差2，17和19之間差2...
這些相差2的點對，像某種共振頻率。
如果...
肖宿突然睜開眼睛。
如果我把數軸想像成一維流形，素數就是上面的一些特殊點。
那麼孿生素數就是距離為2的兩個特殊點。
這就像在問：在這個流形上，是否存在無窮多對點，它們的「測地距離」為2，而且每個點都是某種「算術奇點」？
他重新拿起筆。
這次，他換了一種語言。
在顧—辛框架中，任何一個數學對象都可以被賦予一組「宇宙坐標」，那是一組捕捉其最本質特徵的編碼。
對於素數分布來說，這個「宇宙坐標」應該是什麼？
肖宿開始構造。
首先，他需要把整數嵌入到一個連續空間中。
不是實數軸，那太平凡了。
他需要的是一個能夠同時編碼乘法和加法結構的高維空間。
阿德爾環閃過他的腦海。
那是代數數論中的標準工具，把所有素數p的p進數域和實數域放在一起，形成一個巨大的拓撲環。
整數在這個環中的嵌入是n ↦ (n, n, n, ...)，每個分量是n在對應完備化中的像。
但肖宿想要的不是標準阿德爾環，而是一個經過「辛整形」的版本。
他寫下第一行：
定義1 (顧—辛特徵空間)：設X為所有素數p對應的p進數域的受限乘積，賦予由顧—辛度量定義的拓撲結構。對於每個整數n，定義嵌入φ: ℤ → X，使得φ(n)的第p分量為n mod p^k的極限。
這個定義不算新鮮。但接下來，肖宿做了關鍵的一步。
他引入了一個「加權函數」ω(p) = (p—1)/p · log p。
這個函數來自他在《數學發明》上發表的那篇關於有理點估計的論文,在那篇論文中，他用這種加權函數修正了點分布的誤差項。
定義2 (加權度量)：對於X中的兩點x=(x_p)和y=(y_p)，定義它們之間的距離為d(x,y) = Σ ω(p) · |x_p y_p|_p
其中|·|_p是p進絕對值。
這個度量很奇怪。
它是一維p進度量的加權和，權重與素數的大小有關。
大素數貢獻更大，小素數貢獻更小。
就好像在說，素數的「重要性」與其大小成正比。
肖宿寫下這個定義後，停頓了一下。
這個度量能收斂嗎？
他快速估算了一下。
|x_p y_p|_p的最大值是1，所以級數受控於Σ ω(p)。
而Σ ω(p) ~ Σ (log p)/p，這是一個發散級數，就像調和級數一樣，緩慢地、但堅定地趨向無窮。
所以d(x,y)可以是無窮大。
那就有意思了。
只有當x和y「足夠接近」時，距離才有限。
肖宿的眼睛亮了。
對於每個素數p，考慮集合{p, p+2}。
如果這對都是素數，這個集合就是特殊的。
能否定義一個「孿生素數對稱群」？
比如，考慮所有整數的置換σ，使得如果{p, p+2}是孿生素數對，那麼{σ(p), σ(p+2)}也是孿生素數對，並且保持間隔為2。
這樣的對稱性可能太強了，也許只有平凡置換。
那就放鬆條件，只要求保持「孿生關係」的漸近密度，而不是精確保持。
一個定義出現在紙上：
設T是所有孿生素數對的集合。
定義「漸近自同構群」Aut_ε(T)為所有滿足以下條件的整數置換σ：
當N→∞時，|{p≤N: {p,p+2}∈T 且 {σ(p),σ(p+2)}∈T}| / |{p≤N: {p,p+2}∈T}| → 1
這樣的σ構成一個群。
研究這個群的結構，也許能揭示孿生素數分布的對稱性。
但這個定義依賴於T本身，而T正是我們要研究的東西，有點循環論證了。
肖宿搖搖頭，把這個思路暫時擱置。
他再次起身。
冬夜的星空很清澈。
普林斯頓的光污染不嚴重，能看到不少星星。
肖宿望著星空，那些星星在夜空中形成各種圖案。
古人看到了星座，現代天文學家看到了星系、星團、宇宙的大尺度結構。
素數就像是數學宇宙中的星星。
它們看起來隨機散布，但一定有著隱藏的結構。
也許……也許答案不在單個素數中，也不在素數對中，而在素數分布的「大尺度結構」中。
就像宇宙微波背景輻射中的溫度漲落，看似隨機，卻編碼了宇宙早期的重要信息。
素數分布的「漲落」中，是否也編碼了整數乘法的深層信息？
他低頭沉思了一會兒，腦海中，數學的世界正朝他完全敞開，無數定理和數學工具走馬燈似的掠過，向他袒露著最深處的光，指引他找到方向。
他重新坐下來，嘗試通過其他方式進行證明。
「還是不對。」
過了許久，肖宿放下筆，揉了揉太陽穴。
2013年，張益唐證明了存在無窮多對素數，它們之間的間隔小於7000萬。
這個數字後來被不斷縮小，最終卡在246上，再難寸進。
從246到2，看起來只是244的差距，244除以2等於122。
可就是這「短短」的122步，每一步都攔住了無數數學家。
肖宿在腦海中勾勒著傳統篩法的圖像。
篩法就像用一張網去打撈素數，網眼越小，撈上來的東西越多，但網也越容易破。
陳景潤當年的「1+2」證明，就是把網織到了人類技藝的極限。
之後五十年，再無人能更進一步。
也許問題不在網本身。
也許該繼續變換打法。
他翻開筆記本，找到顧—辛框架的那幾頁。
三條公理安靜地躺在那裡：旋轉守恆、層次分明、一切皆可計算。
任何一個辛流形最本質的特徵，都可以被一個「旋轉不變量」牢牢抓住，這東西像物理世界的角動量，任憑你如何變換視角，它都穩穩地呆在那裡。
素數分布，有沒有這樣的「旋轉不變量」？
肖宿閉上眼睛，讓思維自由飄蕩。
他看見一條數軸，上面散落著素數點——2,3,5,7,11,13,17,19,23……
這些點看起來隨機分布，但仔細看，又似乎有某種說不清的秩序。
3和5之間差2，5和7之間差2，11和13之間差2，17和19之間差2...
這些相差2的點對，像某種共振頻率。
如果...
肖宿突然睜開眼睛。
如果我把數軸想像成一維流形，素數就是上面的一些特殊點。
那麼孿生素數就是距離為2的兩個特殊點。
這就像在問：在這個流形上，是否存在無窮多對點，它們的「測地距離」為2，而且每個點都是某種「算術奇點」？
他重新拿起筆。
這次，他換了一種語言。
在顧—辛框架中，任何一個數學對象都可以被賦予一組「宇宙坐標」，那是一組捕捉其最本質特徵的編碼。
對於素數分布來說，這個「宇宙坐標」應該是什麼？
肖宿開始構造。
首先，他需要把整數嵌入到一個連續空間中。
不是實數軸，那太平凡了。
他需要的是一個能夠同時編碼乘法和加法結構的高維空間。
阿德爾環閃過他的腦海。
那是代數數論中的標準工具，把所有素數p的p進數域和實數域放在一起，形成一個巨大的拓撲環。
整數在這個環中的嵌入是n ↦ (n, n, n, ...)，每個分量是n在對應完備化中的像。
但肖宿想要的不是標準阿德爾環，而是一個經過「辛整形」的版本。
他寫下第一行：
定義1 (顧—辛特徵空間)：設X為所有素數p對應的p進數域的受限乘積，賦予由顧—辛度量定義的拓撲結構。對於每個整數n，定義嵌入φ: ℤ → X，使得φ(n)的第p分量為n mod p^k的極限。
這個定義不算新鮮。但接下來，肖宿做了關鍵的一步。
他引入了一個「加權函數」ω(p) = (p—1)/p · log p。
這個函數來自他在《數學發明》上發表的那篇關於有理點估計的論文,在那篇論文中，他用這種加權函數修正了點分布的誤差項。
定義2 (加權度量)：對於X中的兩點x=(x_p)和y=(y_p)，定義它們之間的距離為d(x,y) = Σ ω(p) · |x_p y_p|_p
其中|·|_p是p進絕對值。
這個度量很奇怪。
它是一維p進度量的加權和，權重與素數的大小有關。
大素數貢獻更大，小素數貢獻更小。
就好像在說，素數的「重要性」與其大小成正比。
肖宿寫下這個定義後，停頓了一下。
這個度量能收斂嗎？
他快速估算了一下。
|x_p y_p|_p的最大值是1，所以級數受控於Σ ω(p)。
而Σ ω(p) ~ Σ (log p)/p，這是一個發散級數，就像調和級數一樣，緩慢地、但堅定地趨向無窮。
所以d(x,y)可以是無窮大。
那就有意思了。
只有當x和y「足夠接近」時，距離才有限。
肖宿的眼睛亮了。