Infinite order phase transition in the slow bond TASEP

TL;DR

This paper demonstrates that in the slow bond TASEP, the current undergoes an infinite order phase transition at zero perturbation, with effects diminishing faster than any polynomial, explaining previous numerical prediction challenges.

Contribution

It rigorously proves the infinite order phase transition at zero perturbation in the slow bond TASEP using multiscale analysis and geodesic tail estimates.

Findings

The current tends to zero faster than any polynomial as perturbation approaches zero.

The phase transition at zero perturbation is of infinite order.

Numerical simulations are insufficient to detect the transition due to its subtlety.

Abstract

In the slow bond problem the rate of a single edge in the Totally Asymmetric Simple Exclusion Process (TASEP) is reduced from 1 to $1-\varepsilon$ for some small $\varepsilon>0$. Janowsky and Lebowitz posed the well-known question of whether such very small perturbations could affect the macroscopic current. Different groups of physicists, using a range of heuristics and numerical simulations reached opposing conclusions on whether the critical value of $\varepsilon$ is 0. This was ultimately resolved rigorously in Basu-Sidoravicius-Sly which established that $\varepsilon_c=0$. Here we study the effect of the current as $\varepsilon$ tends to 0 and in doing so explain why it was so challenging to predict on the basis of numerical simulations. In particular we show that the current has an infinite order phase transition at 0, with the effect of the perturbation tending to 0 faster than any polynomial. Our proof focuses on the Last Passage Percolation formulation of TASEP where a slow bond corresponds to reinforcing the diagonal. We give a multiscale analysis to show that when $\varepsilon$ is small the effect of reinforcement remains small compared to the difference between optimal and near optimal geodesics. Since geodesics can be perturbed on many different scales, we inductively bound the tails of the effect of reinforcement by controlling the number of near optimal geodesics and giving new tail estimates for the local time of (near) geodesics along the diagonal.