On the role of the slowest observable in one-dimensional Markov processes to construct quasi-exactly-solvable generators with $N=2$ explicit levels

Cecile Monthus

View Original ↗
AI 導讀 technology general 重要性 4/5

將 N=2 準精確可解量子模型轉換至一維馬可夫過程,利用 E_1>0 的最慢可觀測量重構系統,大幅簡化了數學推導與物理詮釋。

  • 基態能量 E_0=0 對應馬可夫穩態的機率守恆,E_1>0 代表指數弛豫速率。
  • 最慢可觀測量 L_1(x) 是構建 N=2 模型的最簡潔參數,能避開複雜的波函數計算。
  • Doob 轉換能修正伴隨哈密頓量大於零的基態能量,重構出正規的機率生成元。

傳統上在建構具有 $N=2$ 個明確能階的準精確可解(Quasi-Exactly-Solvable,簡稱 QES)量子哈密頓量時,物理學家多半需要處理複雜的薛丁格方程式微積分與波函數推導。然而,來自法國巴黎薩克雷大學的最新研究指出,若將視角切換至滿足細緻平衡(detailed-balance)的一維馬可夫(Markov)隨機過程,並將核心聚焦於對應第一激發態能量 $E_1>0$ 的「最慢可觀測量」,整個數學建構過程不僅在技術上大幅簡化,更能賦予量子算符極具直覺的物理意義。

量子力學與一維馬可夫過程的視角對映

探討一維量子力學時,完全精確可解(所有特徵態皆已知)與準精確可解(僅有限數量 $N$ 個特徵態已知)的模型在數學結構上有著本質的差異。當 $N=1$ 時,建構過程相當基礎,只需選擇一個無節點且可歸一化的基態波函數 $\Phi_0(x)$,便能透過特徵值方程式反推純量位勢。然而,當推進到 $N=2$ 的情況,也就是要求基態 $\Phi_0(x)$ 與第一激發態 $\Phi_1(x)$ 都能被明確寫出時,代數運算會急遽複雜化。這篇研究提出,與其在純量子框架內打轉,不如將該問題映射到機率論中的馬可夫過程。

具備細緻平衡條件的馬可夫生成元(Markov generators),能夠透過相似性轉換(similarity transformations)與厄米量子哈密頓量建立直接關聯。在這樣的視角下,量子系統中等於零的基態能量 $E_0=0$,完美對應到馬可夫過程中的「機率守恆」以及系統最終達到的穩態 $P_(x)$。同時,大於零的第一激發態能量 $E_1>0$*,則代表了系統朝向穩態進行指數弛豫(exponential relaxation)的速率。

建立這層關聯後,研究人員便能藉由機率流動的連續性方程式,重新審視那些在量子力學中看似純粹數學的操作。這種轉換不僅適用於連續空間中包含擴散係數與作用力的佛克-普朗克(Fokker-Planck)生成元,也能套用到離散空間的馬可夫跳躍過程中。

將最慢可觀測量 $L_1(x)$ 確立為推導核心

相較於直接計算帶有指數衰減項的波函數,馬可夫視角帶來了技術上的重大簡化,其中最關鍵的物件便是最慢可觀測量 $L_1(x)$。這個物理量在數學上定義為量子激發態與基態的比值,即 $\Phi_1(x)/\Phi_0(x)$。從馬可夫生成元 $\mathbb{G}$ 的頻譜特性來看,分析系統動態時,若專注於左特徵向量(left eigenvectors)會比處理完整的機率密度演化更容易。

基於機率守恆,對應到 $n=0$ 的左特徵向量是一個平凡常數 $L_0(x)=1$。而對於 $n>0$ 的其他特徵向量,它們代表著會以單一指數項 $e^{-tE_n}$ 衰減至零的簡單可觀測量。這些特徵向量相對於穩態 $P_*(x)$ 形成了一個正交家族。

以最經典的諧振子模型為例,波函數 $\Phi_n(x)$ 必然包含高斯基態的指數成分,但比值 $L_n(x)$ 卻能化簡為純粹的多項式。這證明了即便在量子語境下,處理比值函數也比直接處理波動函數更為簡潔。將 $L_1(x)$ 作為構建 $N=2$ 模型的核心磚塊,能大幅減少多餘的常數與冗長的微積分演算。

超對稱量子哈密頓量 $\mathbb{H}$ 與生成元 $\mathbb{G}$ 的分解

超對稱量子力學(Supersymmetric quantum mechanics)經常利用算符分解技術,將哈密頓量表示為 $\mathbb{H} = \mathbb{Q}^\dagger \mathbb{Q}$。研究指出,這個數學拆解在馬可夫過程中擁有極其自然的物理對應,也就是將馬可夫生成元分解為 $\mathbb{G} = -\nabla \mathbb{J}$。這裡的 $\nabla$ 代表散度算符,而 $\mathbb{J}$ 則是機率流算符。

為了讓符號在連續與離散空間中皆能通用,作者引入了兩個位勢函數 $U(x)$ 與 $U_I(x)$。系統的穩態由 $e^{-U(x)}$ 定義,而機率流算符則可參數化為 $\mathbb{J} = -e^{-U_I(x)}\nabla e^{U(x)}$。這樣的參數化方式,使得生成元 $\mathbb{G}$ 的展開式可以透過簡單的代數操作,結合 $e^{-U(x)/2}$ 的轉換係數,無縫重構成一個對稱的厄米算符 $\mathbb{H}$。

這種基於連續性方程式 $\partial_t P_t(x) = -\nabla J_t(x)$ 的分解策略,賦予了超對稱量子操作真實的流體動力學意義。不論算符作用於何種空間,散度算符 $\nabla$ 具有反厄米特性且能消滅常數的基本法則,始終是確保推導結構穩定的基石。

控制機率流動的伴隨生成元 $\breve{\mathbb{G}}$ 動態學

推演超對稱系統時,必定會探討伴隨哈密頓量(supersymmetric partner)$\breve{\mathbb{H}} = \mathbb{Q} \mathbb{Q}^\dagger$。把算符的順序反過來,在馬可夫框架下對應到的就是伴隨生成元 $\breve{\mathbb{G}} = -\mathbb{J}\nabla$。這個新算符在機率論中扮演什麼角色呢?答案是:它主導了系統中「機率流」$J_t(x)$ 的演化動態。

在傳統量子力學中,$\breve{\mathbb{H}}$ 的譜分解涉及與原系統相同的非零特徵值 $E_{n \neq 0}$,而其特徵態可透過 $\mathbb{Q}$ 算符從原激發態轉換而來。在馬可夫視角下,伴隨算符 $\breve{\mathbb{G}}$ 的左特徵向量 $\breve{L}_n(x)$ 與原始左特徵向量 $L_n(x)$ 之間,存在著極為簡單的微分關係:$\breve{L}_n(x) = \nabla L_n(x)$。這項轉換成立的前提,是引入了正規化係數 $c_n = \sqrt{ZE_n}$ 來簡化代數方程。

透過追蹤機率流的動態,原本在希爾伯特空間中純屬代數變換的奇異值分解(SVD),現在具備了觀察系統如何透過機率流動來達到平衡的實體視角。這證明了機率流的生成元與機率密度的生成元,在頻譜層面是完全鏡像的雙子系統。

Doob 轉換與零基態能量的全新馬可夫算符 $\mathbb{G}^{[1]}$

伴隨哈密頓量 $\breve{\mathbb{H}}$ 存在一個數學挑戰:它的基態能量等於 $E_1$,且數值大於零。這意味著如果直接把它當作隨機過程的生成元,系統的總機率將無法守恆。為了解決這個問題,作者引入了 Doob 轉換(Doob transformation:一種利用特徵向量重新縮放隨機過程的數學技巧)。

藉由結合伴隨生成元 $\breve{\mathbb{G}}$ 與其左特徵向量 $\breve{L}_1(x)$,同時減去常數項 $E_1$,可以重構出一個正規的全新馬可夫生成元 $\mathbb{G}^{[1]}$。這個新生成元的基態能量精準落回 $E_0^{[1]} = 0$,並且其對應的左特徵向量回歸平凡常數 $1$,完全符合機率守恆的嚴格定義。

在這個過程中,原本的 $U_I(x)$ 位勢經過轉換,產生了全新的系統位勢 $U^{[1]}(x) = U_I(x) - 2\ln(\nabla L_1(x))$。透過這個自我一致的運算迴圈,研究人員證明了只要掌握了「最慢可觀測量」$L_1(x)$,就能像是解開基因序列般,一步步反推並建構出具備 $N=2$ 明確能階的準精確可解模型。

透過馬可夫過程重構量子系統的超對稱性,證明了將動態系統的「最慢弛豫特徵」視為核心參數,能大幅降低高階解析模型的數學複雜度。

Abstract

The construction of Quasi-Exactly-Solvable quantum Hamiltonians where only the two first eigenstates $Φ_0(x)$ and $Φ_1(x)$ of energies $E_0$ and $E_1$ are explicit is revisited from the point of view of one-dimensional Markov processes satisfying detailed-balance, whose generators are related to quantum Hamiltonians via similarity transformations. Here the lowest energy vanishes $E_0=0$ and is associated the conservation of probability and to the steady state $P_*(x)$, while $E_1>0$ is the rate that governs the exponential relaxation towards the steady-state, and is associated to the slowest observable $L_1(x)$ that corresponds to the ratio $ \frac{Φ_1(x) }{Φ_0(x)}$ of the two quantum eigenstates. Our main conclusion is that the Markov perspective leads to interesting re-interpretations and that the construction of quasi-exactly-solvable models with $N=2$ explicit levels is more intuitive and technically simpler if one takes the slowest observable $L_1(x)$ as the central object from which all the other properties can be reconstructed. This general approach is then applied to Fokker-Planck generators in continuous space and to Markov jump generators on the lattice.