Estados de equilíbrio na teoria quântica em topoi

Detalhes bibliográficos
Autor(a) principal: Alisson Cordeiro Alves Tezzin
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://doi.org/10.11606/D.43.2020.tde-28052020-142426
Resumo: Nessa dissertação buscamos caracterizar estados de equilíbrio termodinâmico na formulação contravariante da teoria quântica em topoi. Como esse tipo de abordagem à teoria quântica é relativamente novo, procuramos também fazer uma exposição autocontida - ao menos do ponto de vista matemático - dos elementos principais desta. Em relação ao equilíbrio termodinâmico estudamos duas propriedades fundamentais: invariância com respeito à evolução temporal e a condição KMS. Caracterizamos a invariância temporal através das medidas definidas no pré-feixe espectral; mais precisamente, determinamos uma condição que é satisfeita por uma medida se, e somente se, o estado ao qual ela está associada é invariante. Essa caracterização se justifica pois tais medidas constituem uma das tentativas de se introduzir uma noção satisfatória de estado na teoria quântica em topoi. Não conseguimos, porém, caracterizar a condição KMS através dessas medidas e apresentamos argumentos que indicam que fazer isso, ao menos da maneira que tentamos, não é possível. Estudamo-la, então, através da noção de pseudoestado, que constitui outra tentativa de se definir estado na teoria. Para caracterizar a condição KMS introduzimos o conceito de topos associado a um estado e mostramos que no topos de qualquer estado existem ao menos duas proposições (subobjetos clopen do pré-feixe espectral) que são verdadeiras (no sentido do pseudoestado) se, e só se, o estado é KMS. Uma dessas proposições não é determinada pela daseinização de um projetor, e portanto isso pode ser entendido como uma maneira de se atribuir significado físico a uma proposição que não está na interpretação da linguagem PL(S)
id USP_e73047999f14dad0d95c6b1a49361ae4
oai_identifier_str oai:teses.usp.br:tde-28052020-142426
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis Estados de equilíbrio na teoria quântica em topoi Equilibrium states on the topos approach to quantum mechanics 2020-05-06Walter Alberto de Siqueira PedraMarcelo de Oliveira Terra CunhaEdelcio Gonçalves de SouzaAlisson Cordeiro Alves TezzinUniversidade de São PauloFísicaUSPBR equilibrium states estados de equilíbrio intuitionistic logic lógica intuicionista Mecânica estatística quântica Quantum statistical mechanics teoria de topoi teoria quântica em topoi topos quantum theory topos theory Nessa dissertação buscamos caracterizar estados de equilíbrio termodinâmico na formulação contravariante da teoria quântica em topoi. Como esse tipo de abordagem à teoria quântica é relativamente novo, procuramos também fazer uma exposição autocontida - ao menos do ponto de vista matemático - dos elementos principais desta. Em relação ao equilíbrio termodinâmico estudamos duas propriedades fundamentais: invariância com respeito à evolução temporal e a condição KMS. Caracterizamos a invariância temporal através das medidas definidas no pré-feixe espectral; mais precisamente, determinamos uma condição que é satisfeita por uma medida se, e somente se, o estado ao qual ela está associada é invariante. Essa caracterização se justifica pois tais medidas constituem uma das tentativas de se introduzir uma noção satisfatória de estado na teoria quântica em topoi. Não conseguimos, porém, caracterizar a condição KMS através dessas medidas e apresentamos argumentos que indicam que fazer isso, ao menos da maneira que tentamos, não é possível. Estudamo-la, então, através da noção de pseudoestado, que constitui outra tentativa de se definir estado na teoria. Para caracterizar a condição KMS introduzimos o conceito de topos associado a um estado e mostramos que no topos de qualquer estado existem ao menos duas proposições (subobjetos clopen do pré-feixe espectral) que são verdadeiras (no sentido do pseudoestado) se, e só se, o estado é KMS. Uma dessas proposições não é determinada pela daseinização de um projetor, e portanto isso pode ser entendido como uma maneira de se atribuir significado físico a uma proposição que não está na interpretação da linguagem PL(S) The main purpose of this work was to study equilibrium states in the topos approach to quantum theory. This is a relatively new approach to quantum theory then we also tried to present it in a self-contained way - at least from a mathematical point of view. Concerning equilibrium, we focused on two features: time translation invariance (stationary states) and the KMS condition. We characterize invariant states (in particular stationary states) by means of the so called measures on the spectral presheaf. We couldnt do the same for the KMS condition and, as argued in this work, we think that there are good reasons to believe that it is not possible. Then, we studied the KMS condition using pseudo-states. For this purpose we introduced the idea of a topos associated to a state and proved that in the topos of any state there are at least two propositions (clopen subobjects of the spectral presheaf) which are true (in the sense of the pseudo-state) if, and only if, the state is KMS. One of these propositions is not of the kind daseinization of a projector and it can be seen as a way of giving physical meaning to a proposition which is not in the interpretation of the PL(S) language. https://doi.org/10.11606/D.43.2020.tde-28052020-142426info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T20:20:37Zoai:teses.usp.br:tde-28052020-142426Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-12-22T13:26:25.168536Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.pt.fl_str_mv Estados de equilíbrio na teoria quântica em topoi
dc.title.alternative.en.fl_str_mv Equilibrium states on the topos approach to quantum mechanics
title Estados de equilíbrio na teoria quântica em topoi
spellingShingle Estados de equilíbrio na teoria quântica em topoi
Alisson Cordeiro Alves Tezzin
title_short Estados de equilíbrio na teoria quântica em topoi
title_full Estados de equilíbrio na teoria quântica em topoi
title_fullStr Estados de equilíbrio na teoria quântica em topoi
title_full_unstemmed Estados de equilíbrio na teoria quântica em topoi
title_sort Estados de equilíbrio na teoria quântica em topoi
author Alisson Cordeiro Alves Tezzin
author_facet Alisson Cordeiro Alves Tezzin
author_role author
dc.contributor.advisor1.fl_str_mv Walter Alberto de Siqueira Pedra
dc.contributor.referee1.fl_str_mv Marcelo de Oliveira Terra Cunha
dc.contributor.referee2.fl_str_mv Edelcio Gonçalves de Souza
dc.contributor.author.fl_str_mv Alisson Cordeiro Alves Tezzin
contributor_str_mv Walter Alberto de Siqueira Pedra
Marcelo de Oliveira Terra Cunha
Edelcio Gonçalves de Souza
description Nessa dissertação buscamos caracterizar estados de equilíbrio termodinâmico na formulação contravariante da teoria quântica em topoi. Como esse tipo de abordagem à teoria quântica é relativamente novo, procuramos também fazer uma exposição autocontida - ao menos do ponto de vista matemático - dos elementos principais desta. Em relação ao equilíbrio termodinâmico estudamos duas propriedades fundamentais: invariância com respeito à evolução temporal e a condição KMS. Caracterizamos a invariância temporal através das medidas definidas no pré-feixe espectral; mais precisamente, determinamos uma condição que é satisfeita por uma medida se, e somente se, o estado ao qual ela está associada é invariante. Essa caracterização se justifica pois tais medidas constituem uma das tentativas de se introduzir uma noção satisfatória de estado na teoria quântica em topoi. Não conseguimos, porém, caracterizar a condição KMS através dessas medidas e apresentamos argumentos que indicam que fazer isso, ao menos da maneira que tentamos, não é possível. Estudamo-la, então, através da noção de pseudoestado, que constitui outra tentativa de se definir estado na teoria. Para caracterizar a condição KMS introduzimos o conceito de topos associado a um estado e mostramos que no topos de qualquer estado existem ao menos duas proposições (subobjetos clopen do pré-feixe espectral) que são verdadeiras (no sentido do pseudoestado) se, e só se, o estado é KMS. Uma dessas proposições não é determinada pela daseinização de um projetor, e portanto isso pode ser entendido como uma maneira de se atribuir significado físico a uma proposição que não está na interpretação da linguagem PL(S)
publishDate 2020
dc.date.issued.fl_str_mv 2020-05-06
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://doi.org/10.11606/D.43.2020.tde-28052020-142426
url https://doi.org/10.11606/D.43.2020.tde-28052020-142426
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Física
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1794503113226321920