算術隨機波的相關結構和共振對

Correlation structure and resonant pairs for arithmetic random waves

算術隨機波的相關結構和共振對

https://www.sciencedirect.com/science/article/pii/S0304414924002333

摘　要
算術隨機波的幾何性質在過去十五年中得到了廣泛研究，始于開創性論文（Rudnick 和 Wigman，2008；Oravecz 等，2008）。本文研究了不同泛函之間的相關結構，例如零點長度、示性集的邊界長度，以及零點集與各類確定性曲線交點的數量；相關程度以一種微妙的方式依賴于所考慮的閾值和確定性曲線的對稱性。特別地，我們證明了存在所謂的“共振閾值對”，在這些閾值處漸近相關性達到完全——即在高能極限下，一個泛函可由另一個泛函完美預測。我們主要關注二維情形，但也討論了向三維空間的一些具體推廣。

關鍵詞：隨機特征函數 算術隨機波 零點長度 零點交點 邊界長度 共振對

1. 引言

過去15年來，高斯隨機特征函數的零點集幾何結構受到了大量關注。大多數研究集中于二維情形，包括歐幾里得空間中的情形（Berry 隨機波，參見例如 [1–4]），以及緊致流形上的情形，尤其是球面（參見例如 [5–7]）和環面 （參見例如 [8–12]）等。

得益于 Adler 與 Taylor 提出的高斯運動學公式（Gaussian Kinematic Formula，見 [13]），零點長度的期望值推導如今已成為標準方法；而方差分析則更具挑戰性，其研究可追溯至球面情形（即隨機球諧函數）的文獻 [5] 和環面情形（即算術隨機波）的文獻 [10]；在物理學文獻中，平面特征函數（Berry 隨機波）零點長度的方差早在 [1] 中就已給出。

隨機特征函數零點長度的漸近分布分析基本始于文獻 [11]。在該文中，算術隨機波的零點長度被展開為對應于所謂 Wiener 混沌分量的正交項；隨后證明，在特征值趨于無窮時（以 意義下），零點長度的行為由四階混沌主導，而在環面情形下，其極限分布是非高斯的。類似現象也出現在平面和球面情形中（分別見 [3,6]），盡管在這兩種情形下極限行為是高斯的。

這種 Wiener 混沌展開還為所謂的“Berry 抵消現象”（Berry cancellation phenomenon）提供了詮釋：即零點長度的漸近方差比任意非零閾值下示性集邊界長度的方差低一個數量級。如其他文獻（見 [3,6,11,14]）廣泛論述的那樣，這種抵消源于二階混沌項的消失——該項對應于特征函數的隨機 范數，并不參與零點線漲落。由于該隨機范數的方差大于正交分解中所有其他項，它在零點情形下的消失完全解釋了 Berry 抵消現象。

這一二階混沌項的主導地位還導致另一個顯著結果，該結果已在 [15] 中通過不同方法得到：具體而言，當特征值趨于無窮時，不同閾值下示性集邊界長度之間的漸近相關系數（絕對值）趨近于 1。這很容易理解：對應于不同閾值的邊界長度的隨機序列，在漸近意義下均與同一隨機變量序列（即特征函數的隨機 范數）成比例（僅相差不同的縮放常數）。這種漸近相關性已在隨機球諧函數情形中被注意到（[15,16]），但顯然，憑借完全相同的論證，它也適用于平面隨機波和環面特征函數。同樣基于此論證，可以立即看出：零點長度與非零閾值下示性集邊界長度之間的漸近相關系數為零；因為零點長度由四階混沌項主導，而這些項根據構造與屬于二階混沌的隨機范數正交。

基于上述原因，顯然這些相關/不相關現象在某種意義上是由范數的隨機漲落所導致的人工產物；在許多應用場景中，這可能顯得無意義（例如，在量子力學框架中，隨機范數應被歸一化為 1）。在 [16] 中，針對隨機球諧函數研究了另一個問題：即在去除隨機范數效應后（在數理統計中通常稱為“偏相關”）是否存在相關性。令人驚訝的是，研究發現不同閾值下邊界長度之間的偏相關依然存在，而且與零點長度的漸近相關性從零轉變為 1：即一旦去除隨機范數的混雜效應，就可以在漸近意義下根據零點長度預測任意閾值 u u 下的示性集邊界長度。

本文旨在研究算術隨機波情形下類似的問題。我們主要關注二維情形，但也討論了向三維空間的一些具體推廣。

特別地，對于平面和球面隨機特征函數，[16,17] 已證明：零點情形與非零閾值情形原本完全不相關，但在去除二階混沌效應后，二者變得完全相關。然而，當我們對算術隨機波（[18–21]）研究相同問題時，卻發現了一幅截然不同的圖景。事實上，在去除二階混沌效應后，不同閾值下示性集邊界長度或其他幾何泛函之間不再普遍存在完全相關性；相反，我們觀察到某些特定點對的存在——我們稱之為“共振對”（resonant pairs）——在這些點對處，相關性在高能極限下確實達到完全（即相關系數為 ±1），而對于一般點對，相關系數可在 ?1 到 1 之間取任意值。這些共振對包括零點情形（即其中一個閾值為 u = 0）。這些共振對位于一條代數曲線上（我們明確寫出了其方程），不僅刻畫了示性集邊界長度的相關結構，也刻畫了隨機交點的相關性——這是此前未知的現象。

1.1. 去除二階混沌的物理意義

從應用角度看，隨機特征函數可被視為量子粒子的波函數（正如任何量子理論教科書所討論的那樣）。眾所周知，這些波函數模的平方表示在測量后于某位置找到粒子的概率密度——因此，這類波函數應被嚴格歸一化，使其平方積分等于 1。一個適當歸一化的高斯隨機函數，其 范數在高能極限下（即特征值趨于無窮時）會收斂到 1；但對于任意有限特征值，仍存在微小的偏離漲落。在量子力學框架中，這些漲落并無物理意義。然而，非常重要的一點是：正如早前在環面情形 [11,20] 和球面情形 [3,6] 中所指出的，這些對單位范數的偏離實際上與本文所考慮的幾何泛函的二階混沌項成正比。因此，在我們看來，至少從量子理論應用的角度出發，更有意義的做法是在去除二階混沌效應之后（如本文計算偏相關時所做的那樣），研究算術隨機波的漸近行為及相關性。

理解“靜態曲線”（static curves）的物理含義也頗有意義。我們的直覺如下：當一條曲線是靜態的時，它與隨機特征函數的交點具有各向同性，因而與能量在不同方向上的分布無關。在此情形下，二階混沌僅依賴于特征函數的 L 2 范數，而根據前一段所述理由，該范數可被忽略。對于非靜態曲線，能量在不同方向上的分布變得重要，此時二階混沌不再能簡單地等同于特征函數的能量；因此，在零點情形下該項不會消失，相關結構也因此發生根本性改變。

1.2. 論文結構安排

第 2 節介紹算術隨機波及其水平集幾何性質的一些已知結果，并引入水平集幾何泛函的 Wiener 混沌展開。第 3 節陳述本文的主要結果。關于二維算術隨機波相關結構的結果證明包含在第 4 節，而偏相關的證明則在第 5 節給出。第 6 節專門討論與零點曲面相關的論證。附錄收集了用于刻畫靜態曲線與雙重靜態曲線的技術性引理的證明。

1. 背景與記號

2.1 算術隨機波

2.2 水平集的幾何性質

2.3 混沌展開

著名的維納混沌展開（Wiener chaos expansion）關注的是如何用無窮正交和的形式表示平方可積的隨機變量。在本節中，我們簡要回顧關于高斯場非線性泛函的維納混沌展開的一些基本事實。

1. 主要結果3.1. 二維情形下的相關結構

我們首先研究邊界長度之間的相關性；回顧一下， S S 在 (2.2) 中被定義為所有可表示為兩個平方數之和的整數組成的集合。

定理 3.1 可直接由 [27, 推論 2.7] 和 [11, 第 1.4 節] 得出。下文給出了邊界長度與一條固定光滑參考曲線（其曲率處處非零）的交點數之間的相關結構。

備注 3.13。在不同的非零閾值 處，水平曲線在漸近意義下具有完全相關性；這一現象最早由 [15] 在研究隨機球諧函數時指出，其依據是兩點相關函數的展開式，隨后被 [3,6,11,14,16,27] 等文獻聯系到二階混沌項的主導作用。另一方面，類似于 [16] 在球面上特征函數情形中早先所指出的現象，定理 3.1 表明：在高能極限下，零點長度（nodal length）與非零能級激發集（excursion sets）的邊界長度在漸近意義下完全不相關。這可被解釋為一種虛假效應（spurious effect）：非零能級的邊界長度由二階混沌項主導，而該二階混沌項與特征函數的隨機范數成正比；而后者顯然對零點長度沒有影響（因為零點長度在歸一化下是不變的）。

備注 3.14。需要特別注意的是，在漸近極限下，邊界長度與靜態或非靜態曲線的零點交點數之間的相關性恒為零，但零能級情形（即 u = 0 ）除外。然而，此處的機制與前一備注中所觀察到的不同：事實上，在零點長度與非靜態曲線相交的情形中，二階混沌分量并不消失，但它仍與主導邊界長度行為的特征函數隨機范數不相關（詳見定理 3.2 的證明）。另一方面，對于與靜態曲線的交點，其二階混沌項屬于低階項（參見 [25] 第 2.1 節），因此與邊界長度的漸近相關性顯然為零。從某種意義上說，對于算術隨機波（Arithmetic Random Waves），與靜態曲線的交點在某種程度上對歸一化因子具有不變性，這使其行為在某種程度上類似于零點線（nodal lines），參見我們接下來關于部分自相關結果的討論。

備注 3.15。在特殊情形 η = 0
下，極限譜測度為勒貝格測度，即格點在極限意義下均勻分布。在此情形下，我們有：

備注 3.19。 上文我們考慮了在特征值序列充分分離的假設下，η = ±1 的情形。我們強調，在充分分離的假設下，η = ±1 可能無法實現。

3.2 二維情形下的偏相關結構

為了更深入地理解算術隨機波水平集幾何的相關結構，更有意義的是消除特征函數隨機 L2 范數的影響。更確切地說，值得研究所謂的偏相關結構，即去除特征函數范數波動影響后的相關性結構。

設 X、Y、Z 為平方可積隨機變量；我們定義在給定 Z 條件下 X 與 Y 的偏相關系數為：

Corr_Z(X, Y) := Corr(X*, Y*),

其中 X* 和 Y* 是將 X、Y 投影到解釋變量 Z 后所得的殘差。

在類似的情形下，[16] 中已證明：對于隨機球諧函數，在高能極限下具有完全自相關性（參見 [28] 關于臨界點的類似結果）。而對于算術隨機波，其相關結構則要微妙得多，如下文詳述。

3.2.1. 討論
對于二維算術隨機波，以下漸近偏相關結構成立：
偏相關結構，維度 d = 2
。

備注 3.22。上表所展示的相關性結構背后的原理可解釋如下：在考慮偏相關時，非零閾值處邊界長度測度中的二階混沌項被消除。因此，它們與非靜態曲線交點數之間的相關性變為零，因為后者由二階混沌項主導。另一方面，對于靜態曲線或雙重靜態曲線，二階混沌項屬于低階項，因此偏相關本質上變成了交點數與邊界長度各自四階混沌分量之間的相關性。

上述結果的一個重要推論是“共振對”（resonant pairs）的存在，即存在某些閾值水平的集合，其邊界長度和/或零點交點數在漸近意義下具有完全相關性；這一點在下面的推論中予以說明。

我們稱式 (3.21) 為算術隨機波邊界長度的“完全相關曲線”。我們相信，類似的代數曲線也刻畫了其他幾何泛函（如 Lipschitz-Killing 曲率和臨界值）的完全相關對。我們將對此的進一步研究留待未來工作。

3.3 三維情形下的一些結果

備注 3.27。任何具有有限面積、且高斯–克羅內克曲率處處非零的曲面 Σ ，若其在坐標分量的任意置換和符號變換下保持不變，則該曲面是靜態的（static）。要理解這一點，注意到在此條件下， Σ 滿足下文引理 6.2 所給出的靜態性判據。例如， Σ 可以由對稱的三元多項式分段定義，其中所有變量均以偶次冪出現（只要處處滿足曲率非零的假設即可）。

我們的主要結果如下。

1. 二維相關結構

讓我們開始研究水平 u u 處邊界長度與非靜態曲線的零點交點數之間的相關性。

1. 二維情形下的偏相關結構

1. 零點面積與零點交點之間的三維相關性

https://www.sciencedirect.com/science/article/pii/S0304414924002333