Two-species asymmetric simple exclusion process with open boundaries

We study the steady state of the two-species asymmetric simple exclusion process (ASEP) with open boundary conditions. The matrix product method works for the determination of the stationary probability distribution. Several physical quantities are calculated through an explicit representation for the matrix products. By making full use of the relation with the continuous big q-Hermite polynomials, we arrive at integral formulae for the partition function and the n-point functions. We examine the thermodynamic limit and find three phases: the low-density phase, the high-density phase and the maximal current phase.