Abstract:We compute the mixing time of the Facilitated Exclusion Process (FEP) and obtain cutoff and pre-cutoff in different regimes. The main tool to obtain this result is a new bijective, deterministic mapping between the joint law of an ergodic FEP and its current through the origin, and the joint law of a SSEP and its current through the origin. This mapping is interesting in itself, as it remains valid in the non-ergodic regime where it gives a coupling between the position of a tagged particle in the FEP and the current through the origin in a SSEP with traps.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the mixing time of the Facilitated Exclusion Process (FEP) and obtain the cutoff and pre - cutoff phenomena under different conditions. Specifically, the author studied the mixing time of FEP on the discrete torus \(T_N\) and achieved this goal by introducing a new bijective, deterministic mapping. This mapping links the joint distribution of an ergodic FEP and its current through the origin with the joint distribution of a simple symmetric exclusion process (SSEP) and its current through the origin.
### Main problem summary:
1. **Calculation of mixing time**: The author aims to calculate the mixing time of FEP under different conditions, especially in the supercritical case (i.e., the number of particles \(K > N/2\)).
2. **Cutoff and pre - cutoff phenomena**: The author hopes to prove that under certain conditions, the mixing time of FEP exhibits the cutoff or pre - cutoff phenomenon. The cutoff phenomenon refers to the phenomenon that the mixing time suddenly changes from close to 1 to close to 0; the pre - cutoff phenomenon refers to the phenomenon that the mixing time changes gradually within a certain range.
### Key methods:
- **New bijective mapping**: The author introduced a new bijective mapping to associate FEP with its corresponding SSEP. This mapping is applicable not only to ergodic states but also to non - ergodic states.
- **Height function representation**: By introducing the height function representation, the author can more conveniently track the joint evolution of FEP and SSEP.
- **Coupling technique**: The author uses the coupling technique to prove that the height functions of FEP and SSEP will be coupled together within a certain time, thereby deriving the upper and lower bounds of the mixing time.
### Specific results:
- **Cutoff phenomenon in the supercritical case**: When the number of particles \(K\) is close to \(N/2+\log N\), the author proved that the mixing time of FEP exhibits the cutoff phenomenon.
- **Estimation of mixing time under different particle number conditions**: The author gave specific estimations of the mixing time under different particle number conditions, including near - critical, sub - critical and super - critical cases.
### Formula display:
- Definition of mixing time:
\[
\tau_{\text{fep}}^{N,K}(\varepsilon)=\inf\left\{t\geq0:\forall\eta\in\Gamma_{N,K},d_{\text{tv}}(P_\eta(\eta(t)\in\cdot),\pi_{\text{fep}}^{N,K})\leq\varepsilon\right\}
\]
- Definition of cutoff phenomenon:
\[
\lim_{N\rightarrow\infty}\frac{\tau_N(\varepsilon)}{\tau_N(1/4)} = 1
\]
Through these methods and results, the author successfully solved the problem of the mixing time of FEP under different conditions and revealed its complex dynamic behavior.