Analisa-se o fenômeno da ausência de quebra espontânea de simetrias contínuas para modelos clássicos e quânticos numa rede, assim como em sistemas no contínuo, em uma e duas dimensões. São formuladas condições ótimas quanto ao alcance das interações para a ausência de quebra espontânea de simetrias contínuas. Essas condições são necessárias e suficientes para uma classe de modelos que satisfazem estimativas infra vermelhas (infrared bounds). São também obtidas estimativas a priori para o decaimento de funções de correlação de modelos com simetria contínua, dependentes apenas do alcance da interação. Para modelos específicos (x -y quântico, rotor quântico, teorias de gauge na rede) são obtidas estimativas melhoradas, para o decaimento de funções de correlação, em relação às mencionadas acima. Finalmente é analisada a propriedade de positividade por reflexão para um gás de Bose livre numa rede.
Analisa-se o fenômeno da ausência de quebra espontânea de simetrias contínuas para modelos clássicos e quânticos numa rede, assim como em sistemas no contínuo, em uma e duas dimensões. São formuladas condições ótimas quanto ao alcance das interações para a ausência de quebra espontânea de simetrias contínuas. Essas condições são necessárias e suficientes para uma classe de modelos que satisfazem estimativas infra vermelhas (infrared bounds). São também obtidas estimativas a priori para o decaimento de funções de correlação de modelos com simetria contínua, dependentes apenas do alcance da interação. Para modelos específicos (x -y quântico, rotor quântico, teorias de gauge na rede) são obtidas estimativas melhoradas, para o decaimento de funções de correlação, em relação às mencionadas acima. Finalmente é analisada a propriedade de positividade por reflexão para um gás de Bose livre numa rede.
Analisa-se o fenômeno da ausência de quebra espontânea de simetrias contínuas para modelos clássicos e quânticos numa rede, assim como em sistemas no contínuo, em uma e duas dimensões. São formuladas condições ótimas quanto ao alcance das interações para a ausência de quebra espontânea de simetrias contínuas. Essas condições são necessárias e suficientes para uma classe de modelos que satisfazem estimativas infra vermelhas (infrared bounds). São também obtidas estimativas a priori para o decaimento de funções de correlação de modelos com simetria contínua, dependentes apenas do alcance da interação. Para modelos específicos (x -y quântico, rotor quântico, teorias de gauge na rede) são obtidas estimativas melhoradas, para o decaimento de funções de correlação, em relação às mencionadas acima. Finalmente é analisada a propriedade de positividade por reflexão para um gás de Bose livre numa rede.
Resumo: O modelo esférico pertence a uma pequena classe de modelos em mecânica estatística que são solúveis exatamente em dimensões arbitrárias, o que o torna atraente para o estudo de transições de fase Assim, apresentamos o modelo esférico clássico e suas proprieda des, incluindo o comportamento patológico da entropia para baixas temperaturas Em seguida, introduzimos a versão quântica do modelo, em que analisamos o seu compor tamento crítico para interações de primeiros vizinhos, tanto para o caso de temperatura finita quanto para temperatura nula Como o foco principal deste trabalho é investigar o comportamento crítico de uma extensão supersimétrica do modelo esférico quântico, jul gamos apropriado discutir inicialmente as principais propriedades de supersimetria, que são fundamentais para a construção da versão supersimétrica a partir de uma formulação no superespaço Esta construção no superespaço é conveniente para garantir que a estru tura de vínculo da teoria seja compatível com a supersimetria A extensão supersimétrica do modelo é parametrizada por uma energia de interação Ur,r , que governa a interação entre os supercampos nos diferentes sítios Em particular, o cálculo da função de partição é apresentado considerando uma energia de interação que depende apenas do módulo da distância entre dois sítios, U = U(?r - r ?) Porém, a análise do comportamento crítico é apresentada para interações de campo médio No geral, é possível mostrar que a versão de campo médio apresenta uma transição de fase quântica, sem quebra de supersimetria para temperatura nula, assim como uma transição de fase a temperatura finita com uma quebra de supersimetria Apresentamos os expoentes críticos da magnetização e da sus ceptibilidade em ambos os casos de temperatura finita e temperatura nula Com relação a susceptibilidade, encontramos dois regimes no caso de temperatura finita caracterizados por expoentes críticos distintos A entropia para a extensão supersimétrica do modelo é bem comportada no limite de baixas temperaturas, s ?
Neste trabalho nós estudamos alguns sistemas de spins e vértices exatamente solúveis em duas dimensões. A solubilidade exata está ligada ao fato de existirem soluções não triviais das equações de fatorização, o que nos permite obter a energia livre no limite termodinâmico. Introduzimos e resolvemos pelo método de espalhamento inverso, um modelo de dez vértices assimétrico com dois e três estados nas ligações. Obtemos o diagrama de fases e mostramos que o sistema exibe uma transição de fase de primeira ordem. Analisamos um modelo de oito vértices de férmions livres e propomos uma nova relação funcional que nos permite calcular a energia livre por vértice. Mostramos que este sistema de vértices corresponde ao modelo de Ising na rede Union Jack. Apresentamos um método de solução de modelos de spin em redes triangulares a partir da solução do mesmo modelo na rede quadrada. O método se aplica sempre que o modelo de spins envolver interação de primeiros vizinhos e satisfizer a relação triângulo-estrela. Estendemos para a rede triangular, as soluções autoduais de Fateev e Zamolodchikov para a rede quadrada, de modelos de spin com simetria Z(N). Analisamos as conjecturas existentes sobre a criticalidade do modelo de Potts definido na rede de Kagomé. Baseados na simetria e nas degenerescências dessa rede conjecturamos uma expressão para a sua linha crítica.
Neste trabalho analisamos a dinâmica das correlacoes quânticas em um sistema composto por dois osciladores harmonicos em contato com um mesmo reservatorio termico e acoplados entre si com um acoplamento dependente do tempo. O reservatorio termico modelado de acordo com o modelo de Caldeira-Leggett e tanto a abordagem via integrais de caminho quanto a abordagem via equacoes mestras sao usadas para estudar o sistema nos regimes Markoviano e nao-Markoviano. O Hamiltoniano que descreve o sistema e bilinear nos operadores de campo, isto significa que se repararmos o sistema em um estado Gaussiano, o estado do sistema sera sempre Gaussiano. Para um estado Gaussiano toda a informa ¸ao sobre as correlacoes quânticas esta contida na matriz de covariância s. Conhecida a matriz s podemos medir o emaranhamento usando a negatividade Logaritmica e calcular uma aproximacao para a discordia quântica em estados Gaussianos, que e a discordia Gaussiana. Nos mostramos que mesmo a temperaturas muito altas as correlacoes quânticas, inclusive o emaranhamento, persistem. Esta persistencia tem uma relacao estreita com a estabilidade do sistema. Como as correlacoes quânticas sao a principal assinatura da mecânica quântica, isto sugere que este tipo particular de acoplamento entre os osciladores pode reduzir a descoerencia, introduzida pela interacao com o reservatorio termico
Abstract
Propomos um estudo sistemático das categorias relacionais como modelos da computação quântica através da abordagem categórica de Coecke-Abramsky. As categorias relacionais são aquelas que os objetos ou os morfismos são relações. Esses modelos são importantes para o desenvolvimento da ciência da computação quântica porque nos fornecem uma linguagem abstrata para descrever processos quânticos. Isso nos dá um alto nível de compreensão de como a teoria quântica funciona e o que podemos fazer com ela. Além disso, é interessante explorar modelos que generalizem a teoria quântica e a relacionem com outras teorias. As categorias compacta dagger foram aplicadas com sucesso nos fundamentos da mecânica quântica em geral. Investigamos as propriedades categóricas dos espaços de Chu como um modelo para a mecânica quântica categórica e, especificamente, como modelos para a computação quântica. Definimos duas categorias com base nos espaços de Chu, ChuRel e RelChu, e provamos que elas são modelos categóricos robustos para computação quântica. Mais precisamente, mostramos que a categoria ChuRel é uma categoria compacta dagger e possui duas estruturas de base complementares, semelhantes à conhecida categoria de conjuntos e relações finitos, FRel, utilizada na literatura. Mostra-se também que a categoria dos espaços de Chu é uma categoria regular, portanto é possível obter a categoria RelChu, por meio da construção geral de Heunen e Tull, e explorar suas propriedades quânticas. Além disso, essa tese revisa quatro categorias de relações L-fuzzy, cada uma modelando áreas onde a teoria dos conjuntos fuzzy pode ser aplicada. Uma relação L-fuzzy é uma relação valorada em um reticulado completo L com uma estrutura monoidal. Revisamos as noções dessas relações binárias multi-valoradas e apresentamos algumas propriedades básicas das categorias correspondentes visando aplicações em áreas como ciência da computação, lógica linear e mecânica quântica. A ênfase está nos aspectos monoidais das categorias. As categorias monoidais são um dos tipos de categorias mais aplicadas, uma vez que todas as categorias com uso em física, topologia, computação e lógica, são monoidais. Uma visão monoidal das relações fuzzy pode ampliar o espectro de aplicações da teoria dos conjuntos fuzzy.
A teoria quântica de campos pode ser vista como um conjunto de métodos e idéias que além de sua importância no estudo das partículas elementares, tem sido amplamente usada em outras áreas. Em especial, ela constitui uma ferramenta indispensável no estudo moderno de transições de fases e fenômenos críticos. A origem dessa constante relação entre a teoria de campos e a matéria condensada deve-se ao fato que, apesar de suas diferenças superficiais, ambas tratam de problemas envolvendo um grande número de graus de liberdade. Assim, não é surpreendente que as mesmas técnicas possam ser úteis nos dois campos. Este trabalho trata de problemas nessas duas áreas e está essencialmente divido em duas partes. A primeira parte é dedicada ao estudo de teorias de campos com uma anisotropia entre o espaço e o tempo, o que implica uma quebra da simetria de Lorentz. Uma das motivações para considerar esse tipo de teoria vem justamente do estudo de transições de fase em sistemas da matéria condensada. Análises do grupo de renormalização com ênfase na possibilidade de restauração da simetria de Lorentz e também uma discussão sobre identidades de Ward são realizadas. Na segunda parte, a atenção é voltada para a mecânica estatística mas com uma abordagem típica da teoria de campos, em especial, voltada para o estudo de transições de fase clássicas e quânticas a partir da versão quantizada do modelo esférico e de sua extensão supersimétrica.