94f. / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-05-08T15:49:37Z No. of bitstreams: 1 Dissertacao Leandro-Cerqueira.pdf: 1078120 bytes, checksum: 5957a3c4eabaf662c579b6c328a3293a (MD5) / Rejected by Alda Lima da Silva(sivalda@ufba.br), reason: Documento de Física on 2013-05-08T18:27:35Z (GMT) / Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-05-09T16:49:07Z No. of bitstreams: 1 Dissertacao Leandro-Cerqueira.pdf: 1078120 bytes, checksum: 5957a3c4eabaf662c579b6c328a3293a (MD5) / Approved for entry into archive by Rodrigo Meirelles(rodrigomei@ufba.br) on 2013-05-09T17:06:14Z (GMT) No. of bitstreams: 1 Dissertacao Leandro-Cerqueira.pdf: 1078120 bytes, checksum: 5957a3c4eabaf662c579b6c328a3293a (MD5) / Made available in DSpace on 2013-05-09T17:06:14Z (GMT). No. of bitstreams: 1 Dissertacao Leandro-Cerqueira.pdf: 1078120 bytes, checksum: 5957a3c4eabaf662c579b6c328a3293a (MD5) Previous issue date: 2009 / Neste trabalho apresentamos um método analítico para estudar o átomo de Hélio e íons de dois elétrons confinados. O potencial de Yukawa é utilizado como um potencial confinante. Usamos pela primeira vez, como função base, um produto de soluções analíticas aproximadas do estado fundamental e do estado excitado do Hidrogênio de Yukawa. O princípio variacional é usado e a energia do estado fundamental de sistemas confinados de dois elétrons, com Z variando de 2 a 18, é determinada. Este estudo permite analisar o comportamento dos níveis de energia e outras propriedades de sistemas atômicos imersos em um meio material neutro, que pode ser tratado como um plasma. Uma discussão sobre a carga dual e outras propriedades do sistema estudado é realizada para diferentes parâmetros de blindagem correspondendoa diferentes confinamentos do tipo plasma. / Salvador

Submitted by Nathália Faria da Silva (nathaliafsilva.ufv@gmail.com) on 2017-08-24T12:05:55Z No. of bitstreams: 1 texto completo.pdf: 542631 bytes, checksum: d215fddb6098bb6063db678423ff8fc2 (MD5) / Made available in DSpace on 2017-08-24T12:05:55Z (GMT). No. of bitstreams: 1 texto completo.pdf: 542631 bytes, checksum: d215fddb6098bb6063db678423ff8fc2 (MD5) Previous issue date: 2011-07-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Além disso, o emaranhamento tem se mostrado um ingrediente indispensável no ramo da computação quântica (no processamento e transmissão de informação) e também na física da matéria condensada (na compreensão de transições de fase quântica). No presente trabalho temos por objetivo apresentar algumas formas de caracterizar tanto quantitativo, quanto qualitativamente, o emaranhamento. Em especial, pretendemos apresentar e aplicar o método desenvolvido por Dahl et al. [1]. Tal método consiste em determinar a distância do estado separável mais próximo do estado de interesse, uma vez que tal distância pode ser utilizada para medir o grau de emaranhamento do sistema. Entendemos por estado separável um estado que apresenta somente cor- relações clássicas, ou seja, um estado não-emaranhado, estados que não são separáveis são ditos emaranhados. / The study of entanglement would be justified simply by its theoretical inter- est, given that this phenomenon since its inception, casts important questions on the basis of a fundamental character of the building that is quantum mechanics. More- over, the entanglement has been an indispensable ingredient in the field of quantum computing (processing and transmission of information) and also in condensed mat- ter physics (in the understanding of quantum phase transitions). In this paper we present and discuss some ways to characterize both quantitatively and qualitatively entanglement. In particular, we aim to introduce and apply the method developed by Dahl et al. [1]. This method determines the distance from the nearest separable state of the state of interest, since this distance may be used to measure the degree of entanglement of the system of interest. We consider a separable state by state with only classical correlations, ie a non-entangled, non-separable states which are said entangled.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2014. / Made available in DSpace on 2014-08-06T17:54:53Z (GMT). No. of bitstreams: 1 326974.pdf: 927581 bytes, checksum: 695c7085052a846706d29b302ab35ab6 (MD5) Previous issue date: 2014 / Nesta tese são discutidas questões relacionadas às noções de identidade e individualidade presentes nas teorias formais, mais precisamente atreladas ao conceito de estrutura rígida. Inicia-se o texto discorrendo sobre teorias de identidade do ponto de vista filosófico em geral, para depois explorarmos como este assunto é tratado na lógica, teoria de conjuntos e matemática clássica. Argumentamos que estas últimas teorias, ao assumir uma identidade para seus 'objetos', parecem se comprometerem também com a individualidade dos mesmos. Obviamente, poder-se-ia dizer que por serem formais, tais sistemas não deveriam se comprometer com uma metafísica, mas a ideia é exatamente que construímos tais sistemas para dar conta de alguma parcela da realidade e, assim, acabamos também nos comprometendo com algum tipo de metafísica (no caso, aqui, como defendemos, individualizadora). Em seguida mostramos que tudo leva a crer que na ciência moderna - em particular na mecânica quântica (MQ) - podemos encontrar objetos (as partículas quânticas) que podem ser entendidos como não possuindo identidade, tornando-se então não indivíduos de acordo com uma interpretação bastante plausível. Como argumentamos que as teorias formais usuais dão a impressão de se comprometerem com a identidade e individualidade de seus entes, novos formalismos parecem ser necessários (aqui, em especial relacionado ao uso de uma teoria de conjuntos alternativa) na qual se possa 'manipular' tal não individualidade quântica. Mostramos em seguida uma teoria conjuntista que foi formulada tendo em vista estes requisitos: a chamada teoria de quase-conjuntos (Q), na qual aparecem objetos (os chamados m-átomos) para os quais a lei reflexiva da identidade (x = x) não vale. Tal restrição (pensa-se) capta formalmente a 'perda da identidade' das partículas quânticas. Como argumentamos acima que objetos que têm identidade são indivíduos, a ausência da identidade para os m-átomos os fazem então não-indivíduos em certo sentido. Não obstante, algumas características das teorias clássicas poderiam impugnar mesmo tal teoria conjuntista alternativa: no nosso caso, estaremos preocupados com a noção de estrutura rígida, conceito este erigido em um arcabouço conjuntista. Uma estrutura é rígida quando seu único automorfismo for a função identidade. Em teorias de conjuntos clássicas, tais como a de Zermelo-Fraenkel com o axioma da escolha, um teorema mostra que toda estrutura não-rígida pode ser estendida a uma rígida, de modo que a partir do único automorfismo existente é sempre possível dotar os elementos da estrutura de uma 'identidade'. Deste modo, em um primeiro momento, nos preocupa mostrar (através de uma análise bastante detalhada do teorema da rigidificação clássico) que algumas estruturas alicerçadas na teoria de quase-conjuntos - no caso, aquelas nas quais seus domínios contêm apenas m-átomos - não podem ser rigidificadas e, assim, acreditamos que realmente não podemos dotar os m-átomos de uma possível 'identidade'. Isto é importante, pois se mesmo estruturas fundamentas em Q pudessem ser rigidificadas, o intuito formal da teoria de quase-conjuntos (qual seja, manipular objetos para os quais a identidade não faz sentido) cairia por terra. A partir de tal impossibilidade, como mostraremos, esta teoria aparenta realmente ser um alicerce seguro para se manusear as partículas quânticas. Em seguida, daremos alternativas quase-conjuntistas a estes conceitos. Definiremos uma noção de quase-identidade e de quase-automorfismo, e provamos um teorema que mostra que toda quase-estrutura não quase-rígida pode ser estendida a uma quase-estrutura quase-rígida (resultado, assim, paralelo ao teorema clássico). Não obstante, agora destoante das estruturas clássicas, enfatizamos que mesmo em uma quase-rigidificação não estaremos introduzindo uma noção de identidade 'disfarçada' para os m-átomos, desta feita não se tornando o teorema provado um resultado opositivo aos preceitos básicos da teoria de quase-conjuntos. Em sequência, é discutido o uso das estruturas matemáticas para alicerçarem e fundamentarem as teorias científicas em geral e as vantagens que se pode obter disso. Construímos exemplos de estruturas que parecem servir para alicerçar tanto a MQ bem como a química em particular, e ressaltamos o ganho conceitual que obtemos em se erigir tais estruturas na teoria Q (exatamente pela não rigidificação das mesmas). Por fim, a partir da constatação de que algumas áreas da ciência parecem justificar efetivamente o uso de estruturas quase-conjuntistas, discutimos a possibilidade de irmos na direção de um 'pluralismo estrutural' - além de fortalecermos uma metafísica sem identidade - e defendemos a ideia de que a noção de identidade aparenta não ser tão essencial assim em alguns quadros teóricos bem justificados, tal como o nosso.<br> / Abstract : In this, thesis we discuss some questions about the notions of identity and individuality, in special connecting these subjects to the concept of the "rigid strucuture". In the beginning, we talk about the theories of identity in an general philosophical view, to speak later how the identity is handle in logic, set theory and classical mathemathics. We argue that these theories, to assume an identity for its 'objects', seem also to commit to an individuality to these objects. In sequence, we show that we have reasons to believe that in modern science - particularly, in quantum mechanics (QM) - we can found objects (the quantum particles) that can be understood as having no identity, thus becoming not-individuals (according to a very plausible interpretation). As we argue that the classical formal theories give the impression that they commit with identity and individuality for your objects, new formalisms seem to be necessary (here, especially related to the use of an alternative set theory) in which that we can 'manipulate' such quantum non-individuality. We show one set theory that was formulated in view of these requirements: the so-called quasi-set theory, where we have objects (the m-atoms) that do not respect the reflexive law of the identity (x = x). This restriction (it is thought) formally captures the 'loss of identity' of quantum particles. As argued above that objects having identity are individuals, the lack of identity for the m-atoms do make then not-individuals in a sense. Nevertheless, some features of the classical theories could even challenge this ensemblistic alternative theory: in our case, we are concerned with the notion of rigid structure; concept always erected on a set-theoretic framework. A structure is rigid when its only automorphism is the identity function. In classical theories of sets, such as Zermelo-Fraenkel with the axiom of choice, a theorem shows that every non-rigid structure can be extended to a rigid, so that with this only existing automorphism, is always possible to provide an 'identity' to the elements of the structure. Thus, at first, we will concern to show that some structures grounded in the theory of quasi-sets - in this case, those in which your domains have only m-atoms - cannot be rigidificate and, thus, we believe that we really cannot provide a possible identity to these m-atoms. This is important because if we make a possible rigidification to Q structures, the formal ideia of the theory of quasi-sets (manipulate objects for which identity does not make sense) would collapse. From such impossibility, as we will show, this theory appears to be a really good foundation to handle quantum particles. In sequence, we provide alternative quasi-ensemblistic notions to some classical concepts. We define a notion of quasi-identity and quasi- automorphism, and we prove a theorem that shows that all non quasi-rigid structure can be extended to a quasi-rigid structure (thus, a result similar to the classical theorem). Nevertheless, now unlike classical structures, we emphasize that even in a quasi-rigidification we will not can be introducing a notion of identity 'disguise' for m-atoms. In sequence, we discusses the use of mathematics to ground scientific theories with quasi-set structures, and the advantages that one can get it. We construct examples of structures that seem to serve to underpin both the QM and chemistry in particular, and we emphasize the conceptual gain that we get in erecting such structures in the theory Q. Finally, from the fact that some areas of science seem to effectively justify the use of quasi-set structures, we discussed the possibility of going towards to an 'structural pluralism ' -together with an reinforcement to an metaphysical without identity - and defend the idea that the notion of identity does not seem to be essential in some well-justified theoretical frameworks, such as our.

Os Espaços de Hilbert Equipados (EHE) são uma construção desenvolvida por Israel Gelfand e colaboradores que envolve a teoria das distribuições de Laurent Schwartz e os espaços de Hilbert. A construção é realizada a partir de um espaço de Hilbert H e de um subespaço denso ф C H, no qual a estrutura de espaço vetorial topológico é definida de modo que a inclusão seja contínua. A inclusão contínua é responsável pela inclusão contínua do dual H'C ф' e, a partir da identidade H = H', pela cadeia de inclusões ф С H C ф denominada tripla de Gelfand. Quando ф é também um espaço nuclear, a construção de Gelfand nos permite uma generalização do teorema espectral para operadores auto-adjuntos os quais tratam o espectro contínuo e discreto nas mesmas condições. Nessa dissertação, a construção explícita do EHE para a Mecânica Quântica do poço potencial quadrado será revista, bem como a natureza de seus objetos no formalismo de Dirac (bras e kets). Este potencial foi escolhido como o caso mais simples no qual um tratamento igual dos espectros contínuo e discreto é obtido através da teoria. / The Rigged Hilbert Spaces (RHS) are a mathematical construction developed by Israel Gelfand and collaborators which involves Laurent Schwartz's Theory of Distributions and Hilbert spaces. This construction is accomplished by the choice of a dense subset ф of a Hilbert Space H ф С Н, on which the structure of a topological vector space is de ned, such this embedding is continuous. This embedding is responsible for the continuous embedding of the dual space H'C ф' and, by the identity H' = H, for the chain of continuous embeddings ф С H C ф', known as Gelfand's triple. When ф is also a nuclear space, Gelfand's construction allows a generalization of the spectral theorem for self-adjoint operators which treats the continuous and discrete spectra on the same footing. On this dissertation, the explicit construction of RHS for quantum mechanics' nite square well potential will be reviewed as well as the nature of its Dirac's formalism objects (bras and kets). This potential was chosen as the most simple case where an equal treatment of continuous and discrete spectra is achieved by the theory.

Made available in DSpace on 2016-08-29T15:36:07Z (GMT). No. of bitstreams: 1 tese_9655_Dissertação_Gleiton29032016-final (1).pdf: 3056855 bytes, checksum: 9a5e7a4d3ec3cda24a5784ed67e8efe2 (MD5) Previous issue date: 2016-02-29 / O ensino de Física é uma área que enfrenta muitas dificuldades em relação ao processo de ensino-aprendizagem no Brasil por motivos variados, desde o contínuo ensino tradicionalista até o pouco investimento científico e tecnológico. Só recentemente tem sido estimulada a inclusão de conteúdos mais atuais nos currículos escolares por meio de orientações da LDB (2000) e dos PCNs (2002), que ressaltam a importância de vinculá-los ao cotidiano do aluno. Tendo em vista a necessidade de novas propostas, esta pesquisa teve por objetivo elaborar uma Sequência Didática sobre tópicos de Física Quântica aplicado ao Ensino Médio por meio de atividades de diferentes estratégias desenvolvidas com alunos de uma escola pública de Vitória – ES. Os dados foram coletados em cinco etapas. Na 1ª foi aplicado um questionário individual para verificar a concepção dos alunos a respeito da Física Quântica. Na 2ª Etapa foi realizada uma aula expositiva sobre o assunto. Na 3ª foi utilizado simulações para apresentação de fenômenos quânticos. Na 4ª Etapa realizou-se um Experimento demonstrando a Constante de Planck. Na 5ª Etapa os participantes responderam individualmente a outro questionário sobre o conteúdo estudado durante as etapas anteriores. Os resultados indicaram que houve um avanço significativo (mais de 50% de acertos) em relação aos conceitos adquiridos sobre Física Quântica. Pôde-se inferir que a sequência didática realizada influenciou positivamente no processo de ensino-aprendizagem. Concluímos que o ensino desse conteúdo pode ser aperfeiçoado mediante as propostas de reforma curricular e da inserção de diversas estratégias de ensino-aprendizagem na prática cotidiana de professores. / The teaching of Physics is an area that faces many difficulties in relation to the teaching-learning process in Brazil for various reasons, from the continuous traditionalist education to the low scientific and technological investment. Only recently it has been stimulated the inclusion of more current contents in school curricula through LDB guidelines (2000) and PCN (2002), which emphasize the importance of involving them on student's daily life. Given the need for new proposals, this study aimed to develop a Didactic Sequence on topics of Quantum Physics applied to high school through activities of different strategies developed with students from a public school in Vitória – ES. Data were collected in five stages. In the 1st, an individual questionnaire was applied for verifying the conception of the students about Quantum Physics. In the 2nd stage was held a lecture on the subject. In 3rd were used simulations to display quantum phenomena. In Stage 4, was conducted an experiment demonstrating the Planck’s constant. In Stage 5, participants answered another individual questionnaire on the content studied during the previous stages. The results indicated that there was a significant improvement (over 50% accuracy) in relation to the concepts acquired on Quantum Physics. It might be inferred that the teaching sequence carried out influenced positively the teaching-learning process. We conclude that the teaching of such content may be enhanced by the curricular reform proposals and inclusion of various teachinglearning strategies in the daily practice of teachers.

Made available in DSpace on 2014-06-11T19:32:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-07-02Bitstream added on 2014-06-13T20:23:08Z : No. of bitstreams: 1 oliveira_ja_dr_guara.pdf: 11550496 bytes, checksum: c15108557604781ca8b3f8a3107a2e3e (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A busca por soluções exatas para sistemas quânticos vem despertando o interesse de muitos autores ao longo das décadas. Em particular para soluções que apresentam limite clássico. Nesta tese buscamos fazer um estudo sistemático da geração de soluções analíticas para uma classe de sistemas quânticos exatamente solúveis com massa dependente da posição. Analisamos o efeito da presença de campos magnéticos sobre alguns sistemas, discutimos o problema da ambiguidade de ordenamento quântico e apresentamos possíveis limite clássico para os sistemas em estudo. / The search for exact solutions of quantum systems has been raising the interest of many authors along the decades. Particularly for nding solutions that present classical limit. In this thesis we make a systematic study of the generation of analytic solutions for a class of quantum exactly solvable systems with position-dependent masses. We analyze the e ect of the presence of magnetic elds on some of those systems. We discuss the problem of the ordering quantum ambiguity and present possible classical limit for the systems considered.

Made available in DSpace on 2014-06-11T19:35:37Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-09-09Bitstream added on 2014-06-13T20:46:20Z : No. of bitstreams: 1 mulinari_dr_dr_guara.pdf: 2359381 bytes, checksum: e8406eba1afa59be605563be05adf095 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O desenvolvimento de materiais compósitos poliméricos utilizando fibras naturais como reforço é crescente e vêm ocupando novos segmentos de mercado, devido ao baixo custo das fibras, biodegradabilidade, menor densidade e boas propriedades mecânicas. Nesta pesquisa foram desenvolvidos compósitos, a partir de fibras de celulose do bagaço de cana de açúcar como reforço em polietileno de alta densidade. Foram avaliados os tratamentos superficiais das fibras, o percentual das fibras, o tipo de processamento, o uso de agente compatibilizante, o tipo de fibra natural e tratamento e as propriedades dos compósitos. Para a caracterização das fibras e dos compósitos foram utilizadas técnicas de microscopia eletrônica de varredura, difratometria de Raios X, espectroscopia na região do infravermelho, termogravimetria e calorimetria exploratória diferencial. As propriedades mecânicas destes materiais foram estudadas através de ensaios normalizados de resistência à tração, resistência à flexão e resistência ao impacto. Também foram avaliadas absorções de água e massa específica dos compósitos. Os resultados obtidos demonstram a influência do tratamento superficial das fibras sobre as propriedades mecânicas. O tipo de processamento, o uso do agente compatibilizante, o tipo de fibra e tratamento influenciaram nas propriedades mecânicas dos compósitos. A adição de fibras de bagaço em matriz de PEAD melhorou as propriedades mecânicas comparado à matriz pura, e uma possível redução no custo sugere uma aplicação industrial do produto final. / The development of polymeric material composites using natural fibers as reinforcement is increasing and it is occupying new market segments, due to the fibers low cost, biodegradability, low density and good mechanical properties. In this research composites were developed from sugarcane bagasse cellulose fibers as reinforcement in high density polyethylene. The influence of the superficial treatment on fibers, percentage of fibers, processing type, use of coupling agent, natural fibers type and treatments and properties of the composite were also evaluated. For the characterization of fibers and composites, scanning electron microscopy, X-ray diffractometry, infrared spectroscopy, thermogravimetry and differential scanning calorimetry techniques were used. The mechanical properties of these materials were evaluated through the tensile strength, flexural strength and impact strength standard tests. Water absorption and specific mass of the composites were also studied. The obtained results demonstrated the great influence of the fibers superficial treatment on the mechanical properties. The processing type, use of coupling agent, natural fibers type and treatments influenced the mechanical properties of the analyzed compositions. The addition of sugarcane bagasse cellulose fibers modified and nonmodified as reinforcement in the HDPE matrix improved the mechanical properties compared to the matrix, and a possible cost reduction suggests an industrial applicability of the final product.

A dinâmica quântica de sistemas de partícula única não-relativística envolvendo coordenadas não-comutativas, usualmente chamada mecânica quântica não-comutativa, tem sido objeto de numerosas investigações. Neste trabalho estendemos esses estudos para o caso de sistema de muitas partículas. Usamos como protótipo o modelo do gás de elé- trons degenerado cuja dinâmica é bem conhecida no limite comutativo. Nosso objetivo principal aqui é entender qualitativamente, em vez de quantitativamente, as principais modi cações induzidas pela presença de coordenadas não-comutativas. Primeiro veremos que a não-comutatividade modi ca a energia de correlação de troca enquanto preserva a neutralidade elétrica do modelo. Logo, através da teoria de perturbações independente do tempo juntamente com o mapa de Seiberg-Witten mostramos que o potencial de ioniza ção é modi cado pela não-comutatividade e, também, que o parâmetro não-comutativo atua como uma temperatura de referência. Sendo assim, a não-comutatividade levanta a degenerescência do gás de elétrons a temperatura zero.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-03T18:53:40Z No. of bitstreams: 1 2015_FelipeGomesLacerda.pdf: 601123 bytes, checksum: 14f5ac6d48a9354291bd06577410685e (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-02-26T22:02:05Z (GMT) No. of bitstreams: 1 2015_FelipeGomesLacerda.pdf: 601123 bytes, checksum: 14f5ac6d48a9354291bd06577410685e (MD5) / Made available in DSpace on 2016-02-26T22:02:05Z (GMT). No. of bitstreams: 1 2015_FelipeGomesLacerda.pdf: 601123 bytes, checksum: 14f5ac6d48a9354291bd06577410685e (MD5) / Implementações físicas de algoritmos criptográficos vazam informação, o que os torna vulneráveis aos chamados ataques de canal lateral. Atualmente, criptografia é utilizada em uma variedade crescente de cenários, e frequentemente a suposição de que a execução de criptossistemas é fisicamente isolada não é realista. A área de resistência a vazamentos propõe mitigar ataques de canal lateral projetando protocolos que são seguros mesmo se a informação vaza durante a execução. Neste trabalho, estudamos computação resistente a vazamento, que estuda o problema de executar computação universal segura na presença de vazamento. Computação quântica tolerante a falhas se preocupa com o problema de ruído em computadores quânticos. Uma vez que é extremamente difícil isolar sistemas quânticos de ruído, a área de tolerância a falhas propões esquemas para executar computações corretamente mesmo se há algum ruído. Existe uma conexão entre resistência a vazamento e tolerância a falhas. Neste trabalho, mostramos que vazamento em um circuito clássico é uma forma de ruído, quando o circuito é interpretado como um circuito quântico. Posteriormente, provamos que para um modelo de vazamento arbitrário, existe um modelo de ruído correspondente para o qual um circuito que é tolerante a falhas de acordo com um modelo de ruído também é resistente a vazamento de acordo com o modelo de vazamento dado. Também mostramos como utilizar construções para tolerância a falhas para implementar circuitos clássicos que são seguros em modelos de vazamento específicos. Isto é feito estabelecendo critérios para os quais circuitos quânticos podem ser convertidos em circuitos clássicos de certa forma que a propriedade de resistência a vazamentos é preservada. Usando estes critérios, convertemos uma implementação de computação quântica tolerante a falhas em um compilador resistente a vazamentos clássicos, isto é, um esquema que compila um circuito arbitrário em um circuito de mesma funcionalidade que é resistente a vazamentos. ______________________________________________________________________________________________ ABSTRACT / Physical implementations of cryptographic algorithms leak information, which makes them vulnerable to so-called side-channel attacks. Cryptography is now used in an ever-increasing variety of scenarios, and the assumption that the execution of cryptosystems is physically insulated is often not realistic. The field of leakage resilience proposes to mitigate side-channel attacks by designing protocols that are secure even if information leaks during execution. In this work, we study leakage-resilient computation, which concerns the problem of performing secure universal computation in the presence of leakage. Fault-tolerant quantum computation is concerned with the problem of noise in quantum computers. Since it is very hard to insulate quantum systems from noise, fault tolerance proposes schemes for performing computations correctly even if some noise is present. It turns out that there exists a connection between leakage resilience and fault tolerance. In this work, we show that leakage in a classical circuit is a form of noise, when the circuit is interpreted as quantum. We then prove that for an arbitrary leakage model, there exists a corresponding noise model in which a circuit that is fault-tolerant against the noise model is also resilient against the given leakage model. We also show how to use constructions for fault tolerance to implement classical circuits that are secure in specific leakage models. This is done by establishing criteria in which quantum circuits can be converted into classical circuits in such a way that the leakage resilience property is preserved. Using these criteria, we convert an implementation of universal fault-tolerant quantum computation into a classical leakageresilient compiler, i.e., a scheme that compiles an arbitrary circuit into a circuit of the same functionality that is leakage-resilient.

O propósito deste trabalho é o de apresentar em um único texto os métodos diagramáticos aplicáveis à teoria microscópica de fluido, tanto no formalismo clássico como no quântico. Procura-se explicar as propriedades macroscópicas pelos métodos da Mecânica Estatística, tratando as interações inter-moleculares pertubativamente, por expansões diagramáticas. O trabalho está dividido em partes A e B que tratam de fluidos clássicos e quânticos, respectivamente. A parte A inicia por um capítulo de revisão de Teoria Cinética. Seguindo de um sobre Funções de Distribuição, que objetivam introduzir os conceitos fundamentais assim como a linguagem e a notação. No capítulo III apresenta-se o método diagramático propriamente dito e no capítulo IV fazem-se algumas aplicações tratando explicitamente o cálculo de coeficientes da expansão virial para alguns exemplos de potencial intermolecular e a densidade de probabilidade reduzida. A parte B inicia por uma revisão do formalismo “número de ocupação”, propriedades do operados de evolução e representações em Mecânica Quântica, como ferramentas fundamentais para o restante do trabalho. O método diagramático é apresentado no capítulo III, aplicado ao cálculo dos cumulantes definidos na expansão da função de partição. O propagador (função de Green) é tratado no capítulo IV pela expansão diagramática de Hugenholtz e de Feynman, Equação de Dyson e aproximação de Hartree-Fock. Como aplicação do método apresenta-se um cálculo de calor específico. / The porpouse of this Works is to give in a single text the diagrammatic methods for both, the classical and quantum formalismo f the macroscopic properties by the methods of statistical mechanics, dealing with the inter-molecular interactions, by perturbation theory, with diagrammatic expansions. The work is devides in parts A and B, which diagrammatic expansions. Part A begins with a review chapter on Kinetic Theory, followed by one on Distribution Fuctions, with the porpoise of introducing the fundamental concepts as well as the language and notation. In chapter III the diagrammatic method is intreoduced and in chapter IV some applications are made, specifically the calculation of the coefficients of the virial expansion for some example of intermolecular interactions and the reduced probabiblity density. Part B begins with a review of the “occupation number” formalism, properties of the evolution operador and the interaction picture in Quantum Mechanics, as basic tools for the rest of the work. The diagrammatic method is presents in chapter III, applied to the calculation of the cumulants which are defined in the expansion of the partition function. The propagatos (green’s function) is treated in chapter IV by Hugenholtz diagrammatic expansion as well as Feynman’s by Dyson’s equation and Hartree-Fock approximation. As an application one shows a calculation of the specific heat.