[论文解读] Mixing times for the TASEP on the circle

Dominik Schmid, Allan Sly|arXiv (Cornell University)|Mar 22, 2022

Stochastic processes and statistical mechanics被引用 5

一句话总结

本文確立了環上總體非對稱排除過程（TASEP）的混合時間的精確階數，其為 $ N^2 \min(k, N-k)^{-1/2} $ 階，並證明了截斷現象的不存在。分析依賴於與週期性最晚 passage 時空模型、平坦地圖線以及一種新穎的時間平移論證的聯繫，從而確認了在可積模型的KPZ普遍性類中所預期的行為。

ABSTRACT

We study mixing times for the totally asymmetric simple exclusion process (TASEP) on a circle of length $N$ with $k$ particles. We show that the mixing time is of order $N^2 \min(k,N-k)^{-1/2}$, and that the cutoff phenomenon does not occur. This confirms behavior which was separately predicted by Jara, Lacoin and Peres, and it is more broadly believed to hold for integrable models in the KPZ-universalty class. Our arguments rely on a connection to periodic last passage percolation with a detailed analysis of flat geodesics, as well as a novel random extension and time shift argument for last passage percolation.

研究动机与目标

• 確定在具有 $ k $ 個粒子的離散圓環上TASEP的混合時間的精確漸近階數。
• 解決長期以來關於KPZ普遍性類中非對稱排除過程混合時間尺度的猜想。
• 證明在完全非對稱情況下截斷現象的不存在，與對稱模型形成對比。
• 建立TASEP動力學與具有平坦地圖線的週期性最晚 passage 時空模型之間的嚴謹聯繫。
• 發展一種新的時間平移與隨機延拓技術，用於最晚 passage 時空模型，以分析混合行為。

提出的方法

• 將環上的TASEP映射至具有兩個競爭界面的週期性最晚 passage 時空（LPP）模型。
• 在LPP設定下分析平坦地圖線，以理解粒子的併合與混合動態。
• 使用兩個TASEP過程的標準耦合來定義包含第二類粒子的不一致過程。
• 在LPP中應用一種新穎的時間平移與隨機延拓論證，以控制收斂速率。
• 透過耦合與時空估計，特別是第二類粒子併合時間，建立混合時間的下界與上界。
• 利用大偏差估計與耦合論證，以界定總變異距離至穩態的界限。

实验结果

研究问题

• RQ1 對於大小為 $ N $ 的環上具有 $ k $ 個粒子的TASEP，其混合時間的精確漸近階數為何？
• RQ2 截斷現象是否會在圓環上的完全非對稱排除過程中出現，如同在對稱模型中那樣？
• RQ3 混合時間如何依賴於粒子密度 $ k/N $，其收斂至平衡的尺度為何？
• RQ4 TASEP的動力學能否嚴謹地與具有週期結構與平坦地圖線的最晚 passage 時空模型聯繫起來？
• RQ5 可發展出哪些新穎的機率技術，以分析可積排除過程中的混合時間？

主要发现

• 環上長度為 $ N $、具有 $ k $ 個粒子的TASEP的混合時間為 $ N^2 \min(k, N-k)^{-1/2} $ 階，確認了Lacoin等人所提出的猜想。
• 在圓環上的TASEP中，截斷現象並不存在，即使在相同拓撲結構的對稱排除過程中存在此現象。
• 下界透過涉及第二類粒子及其併合時間的耦合論證建立，顯示其至少為 $ c_{\text{low}} N^2 k^{-1/2} $ 階，其中 $ c_{\text{low}} > 0 $。
• 上界透過週期性最晚 passage 時空中的時間平移與隨機延拓技術推導而出，確保在 $ C_2 N^2 \min(k, N-k)^{-1/2} $ 步驟內收斂。
• 分析確認當 $ k \leq N/2 $ 時，混合時間的尺度為 $ N^2 k^{-1/2} $，且對稱性 $ t_{N,k}^{\text{mix}}(\varepsilon) = t_{N,N-k}^{\text{mix}}(\varepsilon) $ 成立。
• 透過證明當 $ N \to \infty $ 時，$ (1-\varepsilon) $-混合時間與 $ \varepsilon $-混合時間之比不收斂至 1，嚴謹地證實了截斷現象的不存在。