Nesta tese obtemos, de um ponto de vista matemáticamente rigoroso, a parte inferior do espectro de energia-momento de dois modelos de teorias quânticas de campo com tempo imaginário em redes de dimensão $d+1$ (resultados explícitos para o caso $d = 3$ e matrizes de Dirac) que contém férmions: um modelo puramente fermiônico com interação quártica nos campos fermiônicos de $N$ componentes (modelo de Quatro-Férmions) e um modelo de cromodinâmica quântica. Para o modelo de Quatro-Férmions, $\\kappa$ é o parâmetro de hopping, $M_0$ é a massa bare dos férmions e $\\lambda$ é o parâmetro de interação. Uma expansão de polímeros garante a existência das funções de correlação no limite termodinâmico, na região onde $|\\frac{\\kappa}|$ é pequeno. A an...