We study the totally asymmetric exclusion process on the positive integers with a single particle source at the origin. Liggett (1975) has shown that the long term behaviour of this process has a phase transition: If the particle production rate at the source and the initial density are below certain critical values, the stationary measure is a product measure, otherwise the stationary measure is spatially correlated. Following the approach of Derrida et al. (1993) it was shown by Grosskinsky (2004) that these correlations can be described by means of a matrix product representation. In this thesis we derive a large deviation principle with explicit rate function for the particle density in a macroscopic box based on this representation. The novel and rigorous technique we develop for this problem combines spectral theoretical and combinatorial ideas and has the potential to be applicable to other models described by matrix products.

Neste trabalho mostramos que uma grande variedade de modelos exatamente solúveis através do ansatz de Bethe coordenadas podem também ser resolvidos através de um ansatz do produto matricial. Estes modelos são descritos no caso unidimensional por cadeias quânticas, e por matrizes de transferência no caso de sistemas clássicos bi-dimensionais. Diferentemente do ansatz de Bethe, em que as auto-funções do modelo são escritas como uma combinação de ondas planas, no nosso ansatz do produto matricial elas são dadas por produtos de matrizes, onde as matrizes obedecem a uma álgebra associativa apropriada. Estas relações algébricas são obtidas impondo-se que as auto-funções escritas em termos do ansatz satisfaçam à equação de auto-valor do operador Hamiltoniano ou da matriz de transferência. A consistência das relações de comutatividade entre os elementos da álgebra implicam na exata integrabilidade do modelo. Além disso, o ansatz que propomos permite uma formulação simples e unificada para vários Hamiltonianos quânticos exatamente solúveis. Apresentamos nesta tese a formulação do nosso ansatz do produto matricial para uma grande família de redes quânticas, como os modelos anisotrópico de Heisenberg, Fateev-Zamolodchikov, Izergin-Korepin, Sutherland, t-J, Hubbard etc. Mais ainda, formulamos nosso ansatz para processos estocásticos de partículas com tamanhos e classes diferentes difundindo assimetricamente na rede. Por fim, com o objetivo de dar suporte a nossa conjectura de que todos os modelos exatamente solúveis através do ansatz de Bethe coordenadas, associados a Hamiltonianos quânticos unidimensionais ou matrizes de transferência bidimensionais, também podem ser resolvidos através de um ansatz do produto matricial, apresentamos a formulação do nosso ansatz para a matriz de transferência do modelo de seis-vértices com condição de contorno toroidal / In this work we show that a large family of exactly solved models through the coordinate Bethe ansatz can also be solved through a matrix product ansatz. The models are described in the one dimensional case by quantum Hamiltonians, and by transfer matrices in the case of two dimensional classical models. Differently from the Bethe ansatz, where the model\'s eigenfunctions are described by a plane wave combination, in our matrix product ansatz they are given by a matrix product, where the matrices obey a suitable associative algebra. Theses algebraic relations are obtained by imposing that the eigenfunctions described in terms of the ansatz satisfy the eigenvalue equation for the associated Hamiltonian or transfer matrix. The consistency of the commutativity relations among the elements of the algebra implies the exact integrability of the model. Furthermore, the matrix product ansatz we propose allows an unified and simple formulation for the solution of several exact integrable quantum Hamiltonians. We present on this thesis the formulation of our matrix product ansatz for a huge family of quantum chains such as the anisotropic Heisenberg model, Fateev-Zarnolodchikov model, Izergin-Korepin model, Sutherland model, t- J model, Hubbard model, etc. Moreover, we formulated our ansatz for stochastic process of particles with different sizes and classes diffusing asymmetrically on the lattice. Finally, in order to support our conjecture that all exactly solved models through the coordinate Bethe ansatz, associated to unidimensional quantum Hamiltonians or two-dimensional transfer matrices, can also be solved through a matrix product ansatz, we present the formulation of our ansatz, for the transfer matrix of the six-vertex model with toroidal boundary condition

Neste trabalho mostramos que uma grande variedade de modelos exatamente solúveis através do ansatz de Bethe coordenadas podem também ser resolvidos através de um ansatz do produto matricial. Estes modelos são descritos no caso unidimensional por cadeias quânticas, e por matrizes de transferência no caso de sistemas clássicos bi-dimensionais. Diferentemente do ansatz de Bethe, em que as auto-funções do modelo são escritas como uma combinação de ondas planas, no nosso ansatz do produto matricial elas são dadas por produtos de matrizes, onde as matrizes obedecem a uma álgebra associativa apropriada. Estas relações algébricas são obtidas impondo-se que as auto-funções escritas em termos do ansatz satisfaçam à equação de auto-valor do operador Hamiltoniano ou da matriz de transferência. A consistência das relações de comutatividade entre os elementos da álgebra implicam na exata integrabilidade do modelo. Além disso, o ansatz que propomos permite uma formulação simples e unificada para vários Hamiltonianos quânticos exatamente solúveis. Apresentamos nesta tese a formulação do nosso ansatz do produto matricial para uma grande família de redes quânticas, como os modelos anisotrópico de Heisenberg, Fateev-Zamolodchikov, Izergin-Korepin, Sutherland, t-J, Hubbard etc. Mais ainda, formulamos nosso ansatz para processos estocásticos de partículas com tamanhos e classes diferentes difundindo assimetricamente na rede. Por fim, com o objetivo de dar suporte a nossa conjectura de que todos os modelos exatamente solúveis através do ansatz de Bethe coordenadas, associados a Hamiltonianos quânticos unidimensionais ou matrizes de transferência bidimensionais, também podem ser resolvidos através de um ansatz do produto matricial, apresentamos a formulação do nosso ansatz para a matriz de transferência do modelo de seis-vértices com condição de contorno toroidal / In this work we show that a large family of exactly solved models through the coordinate Bethe ansatz can also be solved through a matrix product ansatz. The models are described in the one dimensional case by quantum Hamiltonians, and by transfer matrices in the case of two dimensional classical models. Differently from the Bethe ansatz, where the model\'s eigenfunctions are described by a plane wave combination, in our matrix product ansatz they are given by a matrix product, where the matrices obey a suitable associative algebra. Theses algebraic relations are obtained by imposing that the eigenfunctions described in terms of the ansatz satisfy the eigenvalue equation for the associated Hamiltonian or transfer matrix. The consistency of the commutativity relations among the elements of the algebra implies the exact integrability of the model. Furthermore, the matrix product ansatz we propose allows an unified and simple formulation for the solution of several exact integrable quantum Hamiltonians. We present on this thesis the formulation of our matrix product ansatz for a huge family of quantum chains such as the anisotropic Heisenberg model, Fateev-Zarnolodchikov model, Izergin-Korepin model, Sutherland model, t- J model, Hubbard model, etc. Moreover, we formulated our ansatz for stochastic process of particles with different sizes and classes diffusing asymmetrically on the lattice. Finally, in order to support our conjecture that all exactly solved models through the coordinate Bethe ansatz, associated to unidimensional quantum Hamiltonians or two-dimensional transfer matrices, can also be solved through a matrix product ansatz, we present the formulation of our ansatz, for the transfer matrix of the six-vertex model with toroidal boundary condition