臨界帶與臨界線

一旦你知道ζ函數在整個複平面上的樣子，就能問它在哪裡為零。答案乾淨地分裂。在半平面 Re s > 1 中，歐拉乘積顯示 zeta 完全沒有零點。函數方程接著迫使 Re s < 0 中的零點恰好落在負偶整數 s = -2, -4, -6, ... 上——這些是「平凡零點」，已被透徹理解且無趣。所有神秘的東西都被擠進垂直帶狀區域 0 <= Re s <= 1，稱為臨界帶。

臨界帶內住著所有「非平凡」零點，即真正掌控質數的那些。函數方程的 s <-> 1 - s 對稱意味著這些零點關於中央垂直線 Re s = 1/2 成對鏡像出現，而共軛對稱也使它們關於實軸成對。那條中央線 Re s = 1/2 就是臨界線。它之所以特殊，是因為它是 s 到 (1-s) 反射的不動軸：線上的零點是它自己的鏡像。由質數定理（等價地，zeta 在 Re s = 1 上不為零），帶狀區域可收窄到開帶 0 < Re s < 1，但用初等手段無法再進一步。

臨界帶是戲碼所在，因為非平凡零點的實部度量質數定理中的誤差項：零點越貼近 Re s = 1/2，質數的分布就越規律。我們知道有無窮多個零點恰好落在臨界線上（Hardy 定理），且有正比例如此，且已計算的頭幾十億個零點全都如此。猜測「全部」都如此就是黎曼猜想。一個提醒：「臨界帶」（寬度為 1 的帶）與「臨界線」（其中央的一條線）是不同的對象——把它們混為一談會弄亂什麼已證明、什麼仍是猜想。