Abstract:We consider the stochastic six-vertex (S6V) model and asymmetric simple exclusion process (ASEP) under general initial conditions which are bounded below lines of arbitrary slope at $\pm\infty$. We show under Kardar-Parisi-Zhang (KPZ) scaling of time, space, and fluctuations that the height functions of these models converge to the KPZ fixed point. Previously, our results were known in the case of ASEP (for a particular direction in the rarefaction fan) via a comparison approach <a class="link-https" data-arxiv-id="2008.06584" href="https://arxiv.org/abs/2008.06584">arXiv:2008.06584</a>.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that under the KPZ (Kardar - Parisi - Zhang) scaling, the height functions of the Asymmetric Simple Exclusion Process (ASEP) and the Stochastic Six - Vertex Model (S6V) converge to the KPZ fixed point. Specifically, the author considered the behaviors of these two models under the initial conditions restricted by lines with arbitrary slopes, and showed that under the KPZ scaling transformations of time, space, and fluctuation, their height functions converge to the KPZ fixed point.
### Problem Background
1. **KPZ Universality Class**:
- The KPZ universality class includes many dynamical systems driven by spatiotemporal white noise, such as the last - passage percolation, polymer models, and the KPZ equation itself.
- The common feature of these systems is that under specific scaling transformations, their behaviors tend towards a universal limit, namely the KPZ fixed point.
2. **Research Objects**:
- **ASEP (Asymmetric Simple Exclusion Process)**: The Asymmetric Simple Exclusion Process is a particle - system model in which particles can only move to the right or left and cannot occupy the same position.
- **S6V (Stochastic Six - Vertex Model)**: The Stochastic Six - Vertex Model is a probability model based on arrow configurations and has six possible vertex states.
### Main Contributions
1. **KPZ Fixed Point Convergence**:
- The author proved that under the KPZ scaling, the height functions of the ASEP and S6V models converge to the KPZ fixed point.
- This result applies to general initial conditions which are restricted below lines with arbitrary slopes at $\pm\infty$.
2. **Methods and Techniques**:
- Use height monotonicity and known single - point convergence to handle stationary initial conditions.
- Introduce the concept of coupled - step initial conditions. Through this method, special solutions (such as solutions under coupled - step initial conditions) can be generalized to arbitrary initial conditions.
- Utilize the convergence of Airy sheets and directed landscapes, combined with monotonicity properties, to prove the convergence to the KPZ fixed point.
3. **Previous Work**:
- For ASEP, the results of KPZ fixed - point convergence have been obtained in some specific directions by comparison methods.
- For the S6V model, this is the first time to prove its fixed - point convergence under the KPZ scaling.
### Mathematical Formulas
- **Definition of KPZ Fixed Point**:
\[
(h_0, s, x, t)\mapsto\sup_{y\in\mathbb{R}}\left(h_0(y)+L(y, s; x, t)\right)
\]
where $L(x, s; y, t)$ is the limit distribution of path weights from time $s$ and position $x$ to time $t$ and position $y$.
- **Scaling Transformation of the Height Function of ASEP**:
\[
h^{\varepsilon}_{\text{ASEP}}(h^{\varepsilon}_0; x, t)=\sigma(\alpha)^{-1}\varepsilon^{1/3}\left(2\mu(\alpha)t\varepsilon^{-1}+\mu'(\alpha)\beta(\alpha)x\varepsilon^{-2/3}-h_{\text{ASEP}}(h^{\varepsilon}_0; 2\alpha t\varepsilon^{-1}+\beta(\alpha)x\varepsilon^{-2/3}, 2\gamma^{-1}\varepsilon^{-1}t)\right)
\]
- **Scaling Transformation of the Height Function of S6V**:
\[
h^{\varepsilon}_{\text{S6V}}