Matrix product solution of a left-permeable two-species asymmetric exclusion process

We study a two-species partially asymmetric exclusion process where the the left boundary is permeable for the `slower' species but the right boundary is not. We find a matrix product solution for the stationary state, and the exact stationary phase diagram for the densities and currents. By calculating the density of each species at the boundaries, we find further structure in the stationary phases. In particular, we find that the slower species can reach and accumulate at the far boundary, even in phases where the bulk density of these particles approaches zero.