[논문 리뷰] Sharp Convergence to Equilibrium for the SSEP with Reservoirs

Patrícia Gonçalves, Milton Jara외 2명|arXiv (Cornell University)|2021. 10. 12.

Stochastic processes and statistical mechanics참고 문헌 15인용 수 9

한 줄 요약

이 논문은 경계에 저장소를 가진 일차원 격자에서 대칭 단순 배제 과정(SSEP)의 평형 상태로의 날카운 수렴을 상대 엔트로피 방법을 사용하여 증명한다. 초기 밀도 프로파일이 매크로스코픽 밀도 $ u_0 $를 가지는 경우, 총 변동 거리의 평형 상태 수렴은 시간 $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ 에서 $ \mathcal{G}(\gamma e^{-b}) $ 형태의 가우시안 컷오프 프로파일을 보인다. 여기서 $ \gamma $ 는 $ u_0 $ 에 따라 결정되며, $ \lambda $ 는 라플라스 연산자의 스펙트럼 갭이다.

ABSTRACT

We consider the symmetric simple exclusion process evolving on the interval of length $n-1$ in contact with reservoirs of density $ρ\in (0,1)$ at the boundary. We use Yau's relative entropy method to show that if the initial measure is associated with a profile $u_0:[0,1] o (0,1)$, then at explicit times $t^n(b)$ that depend on $u_0$, the distance to equilibrium, in total variation distance, converges, as $n o \infty$, to a profile $\mathcal G(γe^{-b})$. The parameter $γ$ also depends on the initial profile $u_0$ and $\mathcal G(m)$ stands for the total variation distance $\|\mathcal N (m,1) - \mathcal N(0,1)\|_{\mathrm{TV}}$.

연구 동기 및 목표

• 경계에 저장소가 있는 유한 구간에서 대칭 단순 배제 과정(SSEP)의 평형 상태 수렴을 분석하는 것.
• 혼합 시간과 수렴 프로파일이 초기 매크로스코픽 밀도 프로파일 $ u_0 $ 에 따라 어떻게 달라지는지 연구하는 것.
• 상대 엔트로피 방법을 사용하여 총 변동 거리의 평형 상태 수렴에 대해 날카운 컷오프 프로파일을 확립하는 것.
• 수렴 속도가 초기 프로파일에 따라 어떻게 영향을 받는지를 매개변수 $ \gamma $ 를 통해 기술하는 것.

제안 방법

• 진행 중인 측도와 정적 상태 사이의 거리를 제어하기 위해 Yau의 상대 엔트로피 방법을 적용한다.
• 시간 척도 $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ 를 도입하며, 여기서 $ \lambda $ 는 딜리클레 및 뉴먼 경계 조건을 갖는 구간에서 라플라스 연산자의 스펙트럼 갭이다.
• 밀도 프로파일의 푸리에 분해를 통해 동역학을 분석하며, $ c_\ell^n(u_0) $ 는 초기 프로파일의 이산 푸리에 계수를 나타낸다.
• 스펙트럼 갭 추정과 푸리에 모드의 지수 감쇠를 이용하여 밀도 프로파일에 대한 리프시츠 경계를 도출한다.
• 한계 $ n \to \infty $ 에서, 스케일링된 밀도 $ \sqrt{n}(u_t^n(x) - \rho) $ 가 $ c_{\ell_0}(u_0)e^{-b}\phi_{\ell_0}^n(x) $ 로 수렴함을 증명한다.
• 총 변동 거리가 $ \mathcal{G}(\gamma e^{-b}) $ 로 수렴함을 보이며, 여기서 $ \mathcal{G}(m) = \| \mathcal{N}(m,1) - \mathcal{N}(0,1) \|_{\text{TV}} $ 이다.

실험 결과

연구 질문

• RQ1 경계에 저장소가 있는 SSEP의 평형 상태 수렴은 초기 매크로스코픽 밀도 프로파일 $ u_0 $ 에 따라 어떻게 달라지는가?
• RQ2 상대 엔트로피 방법을 사용하여 경계에 저장소가 있는 SSEP에서 총 변동 거리에 대해 날카운 컷오프 프로파일을 유도할 수 있는가?
• RQ3 계통이 평형 상태에서 멀리 떨어져 있을 때부터 정상 상태에 대해 임의로 가까워지는 데 필요한 정확한 시간 척도는 무엇인가?
• RQ4 컷오프 프로파일을 조절하는 매개변수 $ \gamma $ 는 초기 프로파일 $ u_0 $ 와 어떻게 관련되어 있는가?
• RQ5 비판적 시간 $ t^n(b) $ 에서의 밀도 프로파일의 점근적 행동은 무엇이며, 첫 번째 비영인 푸리에 모드와 어떻게 관련되는가?

주요 결과

• 총 변동 거리의 평형 상태 수렴은 $ n \to \infty $ 일 때 $ \mathcal{G}(\gamma e^{-b}) $ 로 수렴하며, 여기서 $ \mathcal{G}(m) $ 는 평균이 $ m $ 과 $ 0 $ 이고 분산이 1인 두 가우시안 분포 간의 총 변동 거리이다.
• 수렴은 시간 $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ 에서 발생하며, 여기서 $ \lambda $ 는 혼합 경계 조건을 갖는 구간에서 라플라스 연산자의 스펙트럼 갭이다.
• 매개변수 $ \gamma $ 는 초기 프로파일 $ u_0 $ 의 첫 번째 비영인 푸리에 계수 $ c_{\ell_0}(u_0) $ 에 의해 결정되며, 경계 조건과 프로파일의 정칙성에 따라 영향을 받는다.
• 스케일링된 밀도 $ \sqrt{n}(u_t^n(x) - \rho) $ 는 $ n \to \infty $ 일 때 균일하게 $ x $ 와 컴acts 세트에서 $ b $ 에 대해 $ c_{\ell_0}(u_0)e^{-b}\phi_{\ell_0}^n(x) $ 로 수렴한다.
• 푸리에 근사의 오차는 $ C/n $ 이하로 유계이며, 고차원 모드들은 $ O(n^{-1/(2\ell_0)}) $ 의 속도로 감쇠하여, 이 시스템의 비판적 시간 척도에서 기여가 무시할 수 있다.
• 결과적으로, 가우시안 컷오프 프로파일을 갖는 프로파일 컷오프를 확립하였으며, 일반적인 초기 프로파일에 대해 이전의 추외 과정 결과를 경계가 제어하는 경우로 확장하였다.