Este trabalho apresenta uma proposta de simulação para explorar limites, comportamentos emergentes e possíveis extensões de teorias quânticas. O foco está em testar modelos efetivos, analisar dinâmicas não lineares e investigar como estruturas discretas podem influenciar fenômenos quânticos em diferentes escalas. A abordagem busca clareza, simplicidade e utilidade para pesquisadores interessados em alternativas ao formalismo convencional. This work presents a simulation-based proposal to explore limits, emergent behaviors, and possible extensions of quantum theories. It focuses on testing effective models, analyzing nonlinear dynamics, and examining how discrete structures may influence quantum phenomena across different scales. The approach aims for clarity, simplicity, and practical value for researchers interested in alternatives to conventional formalisms.
Este trabalho apresenta uma proposta de simulação para explorar limites, comportamentos emergentes e possíveis extensões de teorias quânticas. O foco está em testar modelos efetivos, analisar dinâmicas não lineares e investigar como estruturas discretas podem influenciar fenômenos quânticos em diferentes escalas. A abordagem busca clareza, simplicidade e utilidade para pesquisadores interessados em alternativas ao formalismo convencional. This work presents a simulation-based proposal to explore limits, emergent behaviors, and possible extensions of quantum theories. It focuses on testing effective models, analyzing nonlinear dynamics, and examining how discrete structures may influence quantum phenomena across different scales. The approach aims for clarity, simplicity, and practical value for researchers interested in alternatives to conventional formalisms.
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.
A interpretação da função de onda permanece como um dos problemas conceituais centrais da mecânica quântica. Embora seu formalismo matemático descreva com elevada precisão os fenômenos observados em escala microscópica, a origem física da superposição quântica continua sendo objeto de diferentes interpretações. Este trabalho apresenta a Teoria LFO (Largura da Função de Onda), uma proposta teórica segundo a qual a largura observada da função de onda não constitui uma propriedade intrínseca do elétron, mas um fenômeno emergente decorrente da instabilidade contínua de sua trajetória. Nessa abordagem, considera-se que o elétron está permanentemente imerso em um conjunto de forças perturbadoras aleatórias provenientes do ambiente. Em cada instante de tempo, essas forças produzem uma força resultante instantânea que modifica continuamente a trajetória da partícula, originando a largura observada da função de onda. Como fundamentação conceitual, a teoria introduz um limite ideal no qual a aplicação de uma força exatamente oposta à força resultante perturbadora conduziria à estabilização instantânea da trajetória do elétron, caracterizando um estado de largura mínima da função de onda. Reconhecendo a inviabilidade prática desse limite, propõe-se um protocolo experimental baseado no experimento da dupla fenda sob gravidade efetiva aumentada, utilizando a gravidade como força dominante controlada para investigar se o aumento sistemático da aceleração gravitacional produz uma redução mensurável da largura da função de onda. A teoria estabelece previsões quantitativas por meio da comparação entre a largura de referência e as larguras obtidas sob diferentes níveis de gravidade efetiva, utilizando métricas de diferença absoluta e razão relativa. Caso a tendência prevista seja confirmada experimentalmente, os resultados serão consistentes com a hipótese de que a superposição observada representa uma propriedade emergente da instabilidade da trajetória do elétron. Caso contrário, a hipótese proposta deverá ser revisada ou rejeitada. Dessa forma, a Teoria LFO apresenta uma interpretação física alternativa para a origem da largura da função de onda, acompanhada de uma proposta experimental explicitamente falsificável, estabelecendo um procedimento objetivo para confrontar suas previsões com observações experimentais.
Este artigo apresenta uma proposta conceitual denominada Paradigma das Seis Estruturas, investigando seu possível emprego como estrutura matemática complementar para a representação de estados em mecânica quântica. A proposta introduz uma decomposição composta por uma componente observável e uma componente estrutural interna associada a operadores idempotentes. O objetivo não é substituir o formalismo convencional da mecânica quântica, mas investigar se estados estruturais adicionais podem constituir uma linguagem matemática complementar para modelagem de propriedades internas de sistemas quânticos. O trabalho possui natureza exploratória e estabelece um programa de pesquisa para futura formalização matemática e comparação com a teoria quântica estabelecida. Palavras-chave: mecânica quântica; operadores idempotentes; espaços de estados; álgebra; modelagem matemática.
O problema de como descrever a dinâmica efetiva de partículas ou campos confinados a um espaço-tempo de baixa dimensão é de interesse em muitas áreas da física. Vários métodos foram propostos na literatura para atacar este problema. Recentemente, foram relatadas algumas evidências experimentais que são consistentes com a chamada abordagem de potencial confinante. À luz destes resultados, o objetivo desta tese é o de construir uma teoria quântica para partículas confinadas em uma subvariedade, imersa em um espaço-tempo plano, empregando o cenário conceitual da abordagem de potencial confinante. A tese está dividida em duas partes. A primeira parte é dedicada exclusivamente ao estudo da mecânica quântica em uma subvariedade. Para esta finalidade, deduzimos as equações efetivas de Schrödinger, Dirac e Klein-Gordon, em uma subvariedade curva, na presença de um campo electromagnético externo. Examinamos as características singulares estas equações e apresentamos algumas aplicações em física da matéria condensada. Na segunda parte, partimos da mecânica quântica na subvariedade e então formulamos a teoria quântica de campos (TQC) na subvariedade. Mostramos que a TQC \\"livre\\" em uma subvariedade pode ser representada esquematicamente como uma teoria de campos livres, em um fundo curvo, mais um potencial escalar e um campo externo SO(n - m) de Yang-Mills. Calculamos para essa teoria a ação efetiva em ordem de um laço para bósons e férmions a temperatura e potencial químico não nulos, em todas as ordens, usando a expansão de Seely-DeWitt. Para teorias com interações, demonstramos que a teoria conhecida como eletrodinâmica quântica reduzida (RQEDd?,de) pode ser recuperada a partir da abordagem de potencial confinante. Para uma teoria bidimensional, propomos uma grande classe de extensões do modelo de Schwinger, em que a interação entre férmions vai além do potencial linear. Demonstramos que, notavelmente, essas extensões são exatamente solúveis para férmions sem massa e que não há geração de massa dinâmica para os férmions. Além disso, construímos uma nova família de teorias que podem ser exatamente bosonizadas. Também mostramos que RQED4,2 tem as características necessárias para ser identificada como uma teoria de campo efetivo para fios de grafeno. Finalmente, estudamos o efeito da interação de campos magnéticos e pseudomagnéticos no grafeno. Para este sistema, calculamos o condensado fermiônico, a densidade de carga induzida de vácuo, a ação efetiva em ordem de um laço e a magnetização. Demonstramos que a presença de um campo pseudo-magnético diferente de zero torna possível observar experimentalmente uma densidade de carga induzida de vácuo. Além disso, vamos mostrar que é possível ter controle sobre a magnetização, bem como a massa dinâmica para cada vale no grafeno, quer seja por deformações ou variando o campo magnético aplicado.
Este trabalho propoe um estudo da incerteza integrando conceitos da teoria dos conjuntos fuzzy e da computac ao quantica. Enquanto a logica fuzzy busca obter uma forma de representar a incerteza e a imprecisao dos sistemas reais dentro da teoria dos conjuntos fuzzy, a computac ao quantica busca a modelagem de algoritmos quanticos considerando o principio da incerteza de Heisenberg, afirmando que o pares de variaveis conjugadas nao podem ambos ser conhecidos com precisao arbitraria, e incluindo a descric ao da informac ao em operac oes de medidas, na ocorrencia do fenomeno da interferencia, no emaranhamento e na superposic ao de estados quanticos. Na sua fundamentac ao, consideram-se os correspondentes conceitos e diferentes aspectos, mas sobretudo as muitas similaridades relacionadas ao tratamento da incerteza entre estas areas. Assim, a computac ao quantica estuda o mundo real atraves da modelagem computacional dos aspectos fisicos, e a logica fuzzy descreve a incerteza desse mundo pelo raciocinio dos sistemas especialistas. Alem disso, enquanto a computac ao quantica esta baseada na logica quantica e se fundamenta na teoria da Mecanica Quantica, a logica fuzzy trata da incerteza com base na teoria dos conjuntos fuzzy. Este trabalho contribui para a compreensao e integrac ao destas areas, considerando que o processamento quantico da informac ao a partir da especificac ao de sistemas especialistas, pode contribuir para melhoria de sistemas computacionais e o desenvolvimento de novas tecnologias de informac ao. Um sistema computacional baseado na logica fuzzy em um computador quantico deve ser capaz de gerar uma saida, a partir da manipulac ao de uma entrada de dados imprecisos, pela aplicac ao de um sistema baseada em regras. Os estados sao registradores quanticos, e as regras para os processos de fuzzificac ao aplicam os operadores de transformac oes unitarias. A principal contribuic ao deste trabalho e mostrar que a computac ao quantica pode ser usada para estender a classe dos conjuntos fuzzy. A ideia central e ver os estados de um registrador quantico definidos a partir de func oes de pertinencias de subconjuntos fuzzy. Como o intervalo unitario de numeros reais esta inserido na esfera de Bloch, cada ponto esta associado a um conjunto fuzzy quantico. No entanto, um conjunto generico quantico pode ser visto como uma superposic ao de muitos conjuntos fuzzy, gerando novos conjuntos fuzzy com diferentes formas, simultaneamente. Neste contexto, estes conjuntos sao apresentados como extensao das suas correspondentes propriedades quanticas oferecendo novas oportunidades para a modelagem de incertezas. Alem disso, apresenta-se uma analise dos principais operadores sobre conjuntos fuzzy quanticos incluindo descric ao, exemplificac ao e uso de propriedades algebricas%%%%This paper proposes a study of the uncertainty integrating concepts of fuzzy set theory and quantum computing. While fuzzy logic searches for a way to represent uncertainty and imprecision of real systems into the fuzzy set theory,…
A Computacao Quântica surgiu como uma promissora tecnologia alternativa capaz de contornar os problemas previstos para acontecerem em breve com a saturacao da tecnologia atual (Computacao Classica). Estes problemas acontecem quando se trabalha com componentes muito pequenos, da ordem de poucos nanometros, quando os efeitos da Mecânica Quântica comecam a tornar-se mais fortes, gerando resultados aleatorios. A Computacao Quântica toma proveito desses efeitos, resultando numa Computacao nao somente mais rapida, como um novo tipo de Computacao, capaz de realizar tipos novos de computacao impossiveis, em principio, de serem realizadas classicamente. Embora a teoria da Computacao Quântica venha se desenvolvendo com rapidez, a parte experimental ainda enfrenta grandes dificuldades. Embora implementacoes de algoritmos simples e com poucos qubits ja tenham sido realizadas, ainda ha problemas serios de escalabilidade, descoerencia e controlabilidade a serem resolvidos. Devido a esses problemas, torna-se imperativo o uso de simuladores tanto para o desenvolvimento de novos algoritmos quanto para o estudo dos algoritmos existentes. A simulacao, porem, apresenta um problema, no que um sistema quântico so pode ser simulado eficientemente por outro sistema quântico. Um sistema quântico de n qubits levara um tempo O(2n ) para ser simulado por um computador classico. A simulacao, entretanto, mostra-se a alternativa mais viavel em vista da falta de um hardware quântico. Este trabalho apresenta o processo de concepcao e implementacao de um simulador universal de circuitos quânticos, denominado Zeno. O modelo de circuitos quânticos foi escolhido por ser amplamente difundido e de facil assimilacao. O trabalho apresenta uma introducao aos conceitos de Computacao Quântica usados na implementacao do simulador, os requisitos gerais desejaveis para um novo simulador de circuitos quânticos, tanto do ponto de vista funcional quanto do nao-funcional, o processo de desenvolvimento utilizado e uma analise dos resultados obtidos com a implementacao do simulador.