Abstract:We consider the stationary measure of the asymmetric simple exclusion process (ASEP) on a finite interval in $\mathbb{Z}$ with open boundaries. Fixing all the jump rates and letting the system size approach infinity, the height profile of such a sequence of stationary measures satisfies a large deviation principle (LDP), whose rate function was predicted in the physics work <a class="link-https" data-arxiv-id="cond-mat/0205353" href="https://arxiv.org/abs/cond-mat/0205353">arXiv:cond-mat/0205353</a>. In this paper, we provide the first rigorous proof of the large deviation principle in the "fan region" part of the phase diagram. Our proof relies on two key ingredients: a two-layer expression of the stationary measure of open ASEP, arising from the Enaud-Derrida representation <a class="link-https" data-arxiv-id="cond-mat/0307023" href="https://arxiv.org/abs/cond-mat/0307023">arXiv:cond-mat/0307023</a> of the matrix product ansatz, and the large deviation principle of the open totally asymmetric simple exclusion process (TASEP) recently established in <a class="link-https" data-arxiv-id="2403.03275" href="https://arxiv.org/abs/2403.03275">arXiv:2403.03275</a>.

Limits of open ASEP stationary measures near a boundary

Large deviation principle for the stationary measures of open asymmetric simple exclusion processes

On Central Limit Theorems for Vector Random Measures and Measure-Valued Processes

Approximating the stationary distribution of the ASEP with open boundaries

Limit fluctuations of stationary measures of totally asymmetric simple exclusion processes with open boundaries on the coexistence line

The open ASEP with light particles

Limit profile for the ASEP with one open boundary

From asymmetric simple exclusion processes with open boundaries to stationary measures of open KPZ fixed point: the shock region

Stationary Distribution of open Asymmetric Simple Exclusion Processes on an Interval as a marginal of a two-layer ensemble

A two-line representation of stationary measure for open TASEP

Hydrodynamic limit for asymmetric simple exclusion with accelerated boundaries

Stationary measure for six-vertex model on a strip

Askey-Wilson signed measures and open ASEP in the shock region

Asymptotics of the Invariant Measure in Mean Field Models with Jumps

Stationary Measure of the Open KPZ Equation through the Enaud-Derrida Representation

Convergence of the open WASEP stationary measure without Liggett's condition

Spectrum of the Open Asymmetric Simple Exclusion Process with Arbitrary Boundary Parameters

Stationary measures and random walks on $\tilde{A}_2$-buildings

The invariant measures and the limiting behaviors of the facilitated TASEP

On Long Range Ising Models with Random Boundary Conditions

Exact steady states in the asymmetric simple exclusion process beyond one dimension