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)
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)
Este trabalho investiga aspectos fundamentais da teoria quântica. Começamos estabelecendo um formalismo independente de teoria para o estudo de teorias físicas, inspirado pelas chamadas teorias probabilísticas generalizadas (GPTs). Nossa abordagem diverge das GPTs tanto em termos de conceitos primitivos quanto na forma como as teorias físicas são compreendidas. Consideramos observável como conceito primitivo e entendemos teorias como formalismos nos quais leis físicas ou empíricas - expressões matemáticas relacionando quantidades físicas que podem ser mensuradas em conjunto - podem ser formuladas. Além dos observáveis, nosso formalismo inclui estados e um mecanismo de atualização de estados como conceitos primitivos. Estados atribuem probabilidades a proposições sobre medições subsequentes de quantidades físicas, enquanto a atualização de estado reconstrói estados para garantir a veracidade de tais proposições. Assim como nas GPTs, nossa análise é restrita a quantidades com um número finito de valores possíveis. Sistemas quânticos de dimensão finita estão dentro do escopo do nosso formalismo. Demonstramos que a estrutura algébrica da mecânica quântica emerge localmente a partir das condições de consistência que fundamentam nossa definição independente de teoria de sistema físico, onde \"localmente\" se refere a aspectos da álgebra (parcial) de observáveis que não envolvem operações entre operadores incompatíveis. Especificamente, mostramos que observáveis possuem norma e espectro; que existe uma relação de compatibilidade para observáveis, juntamente com operações algébricas entre aqueles que são compatíveis; projeções existem e formam um conjunto parcialmente ordenado com álgebras Booleanas locais; observáveis compatíveis dois a dois estão contidos em álgebras de Banach comutativas geradas por um único observável; estados definem funcionais parcialmente lineares no conjunto de observáveis; observáveis admitem decomposição espectral, entre outros. Esses resultados contribuem para a importante linha de pesquisa centrada em derivar o formalismo quântico a partir de suposições simples. Além disso, eles destacam uma diferença fundamental entre nosso formalismo e as GPTs, já que estas últimas são conhecidas por comumente não incluírem operações algébricas e projetores. A emergência local da estrutura algébrica da mecânica quântica tem implicações significativas para o problema das correlações quânticas, ou seja, o problema de se identificar princípios que expliquem as correlações produzidas por sistemas quânticos. Essa estrutura local nos permite provar que princípios importantes que governam as correlações quânticas, como a não-perturbatividade, a não-sinalização, o princípio de Specker, o princípio da exclusividade e o princípio da ortogonalidade local, são inerentemente satisfeitos em nosso formalismo. Consequentemente, nenhuma teoria dentro do escopo da nossa descrição pode violá-los, e as correlações por elas produzidas não podem estar consideravelmente distantes do chamado conjunto quântico. Exemplos notáveis de correlações pós-quânticas, como caixas PR e correlações quase-quânticas, são automaticamente excluídos. Concluímos nosso trabalho abordando o problema das variáveis ocultas. Provamos um teorema de impossibilidade para modelos de variáveis ocultas com base em uma única condição de consistência: o modelo deve atualizar estados via probabilidade condicional, o que, conforme argumentamos, segue de nossa descrição do mecanismo de atualização de estados. Este teorema estabelece uma ligação direta entre a incompatibilidade e a ausência de variáveis ocultas, mostrando que modelos de variáveis ocultas que atualizam estados existem se, e somente se, os observáveis em questão forem dois a dois compatíveis. Com base nisso, analisamos afirmações de cunho ontológico e metafísico tipicamente associadas a contextualidade, não-localidade e psi-ontologia.
INTRODUÇÃOConstatei pelo meu longo périplo por várias universidades, congressos, encontros, simpósios, tanto de Filosofia como de Física, que os filósofos desconhecem a Física na mesma proporção que os físicos desconhecem a Filosofia.Os filósofos alegam que a Física enveredou por técnicas e matemáticas muito especializadas tornando-se de difícil compreensão para quem não tiver um longo adestramento nos métodos matemáticos e experimentais utilizados.Já os físicos, ainda mais pragmáticos, alegam que a Filosofia pouca ou nenhuma utilidade para eles terá.Alguns mais radicais chegam a dizer de alto e bom tom que "a Filosofia é pura perda de tempo".Tenho por objetivo maior mostrar que ambos estão equivocados.O mal-entendido e a falta de comunicação entre as duas comunidades dão-se principalmente pela forma pontual, a-histórica e antifilosófica como são ensinadas e divulgadas as ciências, e dentre estas a Física, em nossas escolas e universidades.Pretendo assim apresentá-la (notadamente a Teoria da Relatividade e a Teoria Quântica) de ângulos bastante distintos de como é normalmente apresentada nas nossas instituições de ensino e pesquisa.Acredito que a forma em que serão expostas as duas mais importantes teorias da Física moderna, desvelando as suas múltiplas articulações com a Filosofia, poderá ser útil não só a filósofos e físicos, mas também a um público culto interessado nas principais indagações da contemporaneidade.Sempre que possível, estarei buscando um justo equilíbrio de forças do pensamento científico e filosófico, visando o centro de gravidade dessas atividades do espírito humano.Para sossego dos físicos mais ortodoxos, é, no entanto, importante sublinhar que a abordagem com a qual aqui será tratada a Física não pretende substituir os métodos tradicionais de operar os conceitos matemáticos, pois seria temerário supor que seu aprendizado possa ser feito sem um amplo e seguro domínio do ferramental matemático.Sabe-se perfeitamente o poder da matemática não só como a linguagem da Física, mas também como a grande metáfora da natureza, que através de um simples signo, ou uma relação entre eles, pode representar uma extensa narrativa dos fenômenos naturais.A conquista do quantitativo e da precisão adquiridos a partir da revolução científica do séc.XVII é irreversível, e só foi possível com a matematização | 30 | dos fenômenos ocorrida a partir de Kepler e Galileo.O que pretendo é servir de harmonia e contraponto filosófico às construções matemáticas operacionais da Física que tanto assustam os não-iniciados, vislumbrando nesta ciência uma aproximação essencial com a Filosofia, a Educação e a cultura.No linguajar médico significaria propor, para a cura da pedagogia da Física, um tratamento alternativo sem remoção da medicação principal.O que me move a propor esse novo ângulo de visada sobre a Ciência, e sobre a Física, em particular, é, repito, a forma estanque e pontual com que ela é geralmente ensinada nas salas de aula de nossos estabelecimentos de ensino médio e superior.A Física apresentada nas academias parece bastar-se a si própria tal qual um castelo feudal isolado por profundos fossos que ocultam os vínculos com a história do pensamento filosófico ou da práxis cotidiana, repelindo filósofos e outros pensadores da cultura.De fato, os textos, ementas, planos de cursos das disciplinas de Física, adotados e praticados nas salas de aulas das universidades brasileiras, desde o pós-guerra, são, em sua grande maioria, traduções e adaptações de textos de autores norte-americanos, apresentando a Física em complexas construções matemáticas fundadas em exaustivos programas experimentais.Segundo esses textos, foi inventada por Newton, reinventada por Einstein, tendo em Galileo uma espécie de coadjuvante esforçado, porém pouco eficiente.Kepler e Copérnico são agraciados com uns poucos parágrafos.Descartes, Kant ou Hume quase nunca são mencionados; e nosso filósofo homenageado, Spinoza, um ilustre desconhecido.Esses textos e programas, tecnicamente corretos, porém, sob os pontos de vista histórico e filosófico, extremamente pobres, já formaram várias gerações de físicos, químicos, engenheiros, matemáticos e professores com inegável eficiência e pragmatismo.No entanto, pelo menos três reflexões muito preciosas se perderam neste processo de aprendizagem: a possibilidade da Física abrir-se às questões metafísicas, aparentemente tão distantes, mas que no passado lhe deram origem; buscar na Física, particularmente em algumas de suas teorias, elementos relevantes para alguns dos problemas mais básicos da teoria do conhecimento, como sua origem, a essência ou possibilidade; e finalmente restituir o sentido originário de tempo na história da criação científica, buscando sua imbricação com outras atividades do espírito.
Nesta tese discutimos alguns aspectos fundamentais da teoria quântica de um ponto de vista mais contemporâneo, onde tambem pudemos desenvolver tres trabalhos. No primeiro analisamos teoricamente um interferometro de fenda dupla para atomos. Mostramos que se os autoestados de energia do atomo estao correlacionados com os comportamentos de particula e de onda do mesmo, fenomenos complementares podem ser medidos simultaneamente, indicando uma reinterpretacao do principio da complementaridade. O mesmo aparato tambem apresentou propriedades de apagador quântico. No segundo apresentamos um interferometro de duas particulas e a maneira como a decoerencia afeta o grau de interferencia. Mostramos como os constituintes do ambiente, aqui considerados como fotons, podem destruir a oscilacao na taxa de coincidencia de deteccao das particulas. Devido a sua caracteristica temporal, chamamos este processo de decoerencia temporal quântica. No ultimo trabalho estudamos a existencia de uma nova familia de solucoes ortogonais da equacao paraxial da luz. A amplitude complexa desses feixes sao proporcionais as funcoes hipergeometricas confluentes, que denominamos modos hipergeometricos do segundo tipo (HyG-II). Demonstramos formalmente que um meio com um perfil hiperbolico de indice de refracao pode gerar e suportar essa classe de feixes. Uma vez que esses modos sao autofuncoes do momento angular orbital do foton, concluimos que uma fibra otica com este perfil de indice, em certas situacoes, poderia levar vantagem em relacao a outras fibras com indice variavel na capacidade de transmissao de dados.
Neste artigo discutimos alguns dos desafios relacionados com a formulação e adoção de uma posição realista acerca da mecânica quântica não-relativística. Numa abordagem padrão à ontologia, os compromissos ontológicos das teorias científicas podem ser extraídos das mesmas. O realismo científico é a postura segundo a qual nossas melhores teorias científicas são aproximadamente verdadeiras e, por isso, seus comprometimentos ontológicos possuem uma correspondência com a realidade. A mecânica quântica problematiza essa imagem ao introduzir uma exigência de interpretação que atrela à teoria uma concepção de como a realidade deve ser. Isso gera dificuldades abrangentes: na medida em que separamos teoria e interpretação temos uma concepção clara de teoria, mas não de interpretação e de como extrair a respectiva ontologia. Por outro lado, se de alguma forma identificamos teoria e interpretação, temos uma concepção razoavelmente clara da ontologia que se quer, mas perdemos nossas melhores caracterizações de teoria e nossos métodos de extração de ontologia passam a ser inócuos. Esperamos com isso mapear os desafios para futuras rigorosas abordagens realistas à mecânica quântica. DOI: https://doi.org/10.29327/2194248.5.3-6
Inicialmente, os conceitos fundamentais e a problemática básica subjacentes ao Controle de Sistemas Quânticos são apresentados, destacando-se, por exemplo, as questões físicas e dinâmicas envolvidas, os principais tipos e metodologias de controle no contexto quântico, bem como aplicações existentes e potenciais de Controle Quântico, muitas das quais situando-se na vanguarda da Ciência e da Tecnologia. Segue-se uma exposição do arcabouço teórico básico e do formalismo padrão da Mecânica Quântica, tendo em vista prover os elementos necessários à compreensão de sistemas quânticos, sua dinâmica e seu controle. O conceito de Controlabilidade é, então, apresentado no contexto de Sistemas Quânticos. Em seqüência, os fundamentos do Controle Quântico Ótimo são desenvolvidos como uma extensão da Teoria Clássica de Controle Ótimo, apresentando-se exemplos de aplicações. Ao problema da transferência de estados quânticos para um estado-alvo em tempo mínimo é devotada especial atenção, dada sua grande relevância em aplicações tecnológicas de ponta, como em Computação Quântica e Processamento de Informação Quântica. A partir de limitações físicas que são inerentes a qualquer sistema quântico, no tocante ao tempo mínimo necessário para que ocorra uma transição de estados, propõem-se Fatores de Mérito para quantificar a eficiência dos controles quânticos ótimos que minimizam o tempo de transferência de estados. Exemplos de aplicação, estudos teóricos e estudos de casos são levados a cabo para a definição dos Fatores de Mérito associados. Este trabalho termina com estudos relativos a uma possível formulação da Teoria de Controle Quântico Ótimo em termos de Integrais de Trajetória para o tratamento de sistemas quânticos contínuos, em especial, o controle espaço-temporal de partículas quânticas. Um possível emprego do Efeito Aharonov-Bohm é também discutido como estratégia de Controle Quântico.
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.