A six-vertex model as a diffusion problem: derivation of correlation functions

Abstract
A cellular automaton which describes diffusion of particles with exclusion in one dimension is shown to be equivalent to a six-vertex model on a critical line. The arrow-arrow correlation function of the six-vertex model is calculated exactly on this line using a transfer matrix method.