Family of commuting operators for the totally asymmetric exclusion process

The algebraic structure underlying the totally asymmetric exclusion process is studied by using the Bethe Ansatz technique. From the properties of the algebra generated by the local jump operators, we explicitly construct the hierarchy of operators (called generalized Hamiltonians) that commute with the Markov operator. The transfer matrix, which is the generating function of these operators, is shown to represent a discrete Markov process with long-range jumps. We give a general combinatorial formula for the connected Hamiltonians obtained by taking the logarithm of the transfer matrix. This formula is proved using a symbolic calculation program for the first ten connected operators.