Exact results for the asymmetric simple exclusion process with a blockage

We present new results for the current as a function of transmission rate in the one-dimensional totally asymmetric simple exclusion process (TASEP) with a blockage that lowers the jump rate at one site from one tor<1. Exact finitevolume results serve to bound the allowed values for the current in the infinite system. This proves the existence of a nonequilibrium phase transition, corresponding to an immiscibility gap in the allowed values of the asymptotic densities which the infinite system can have in a stationary state. A series expansion inr, derived from the finite systems, is proven to be asymptotic for all sufficiently large systems. Padé approximants based on this series, which make specific assumptions about the nature of the singularity atr=1, match numerical data for the infinite system to 1 part in 10⁴.