Submitted by Tereza Cristina Ramponi (teka_ramponi@hotmail.com) on 2018-11-22T17:56:14Z No. of bitstreams: 1 Dissertação Tereza.pdf: 1217562 bytes, checksum: b8d79b0ddc1924c97c40a224412cd9f7 (MD5) / Rejected by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: - Falta agradecimento à CAPES: Se você recebeu financiamento da CAPES, é necessário colocar nos agradecimentos a seguinte frase: "O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) - Código de Financiamento 001". Veja abaixo a portaria da CAPES: PORTARIA Nº 206, DE 4 DE SETEMBRO DE 2018 Dispõe sobre obrigatoriedade de citação da CAPES O PRESIDENTE DA COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIOR, no uso das atribuições que lhe foram conferidas pelo art. 26 do (a) Estatuto, aprovado (a) pelo Decreto nº 8977, de 30/01/2017, e CONSIDERANDO o indicado nos Editais da CAPES, nos Termos de Compromisso de Bolsista, nos regulamentos de bolsas no exterior e de bolsas no país, no Manual de AUXPE, e no termo de adesão ao Portal de Periódicos; CONSIDERANDO o constante dos autos do processo nº 23038.013648/2018-51, resolve: Art. 1º Os trabalhos produzidos ou publicados, em qualquer mídia, que decorram de atividades financiadas, integral ou parcialmente, pela CAPES, deverão, obrigatoriamente, fazer referência ao apoio recebido. Art. 2º Para fins de identificação da fonte de financiamento fica autorizada a utilização do código 001 para todos os financiamentos recebidos. Art. 3º Deverão ser usadas as seguintes expressões, no idioma do trabalho: "O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) - Código de Financiamento 001 "This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) - Finance Code 001" Art. 4º Fica o pró-reitor de pós-graduação ou congênere, responsável pela divulgação e aplicação da regra dentro das Instituições de Ensino Superior que recebem apoio da CAPES. Art. 5º A falha em obedecer esta norma implicará em mudanças eventuais nos apoios da CAPES para as instituições e pesquisadores envolvidos, a partir de 2020. Art. 6º Esta Portaria entra em vigor na data de sua publicação. ABILIO A. BAETA NEVES Fonte: CAPES Diário Oficial da União: http://pesquisa.in.gov.br/imprensa/jsp/visualiza/index.jsp?data=05/09/2018&jornal=515&pagina=22 Agradecemos a compreensão. on 2018-11-23T11:02:56Z (GMT) / Submitted by Tereza Cristina Ramponi (teka_ramponi@hotmail.com) on 2018-11-23T16:21:41Z No. of bitstreams: 1 Dissertação Tereza C. Ramponi-merged.pdf: 1221305 bytes, checksum: cbffcb57bb1a7621390f870e851382f0 (MD5) / Approved for entry into archive by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br) on 2018-11-23T17:02:06Z (GMT) No. of bitstreams: 1 ramponi_tc_me_rcla.pdf: 1200399 bytes, checksum: d003d0863c0473e1dd98e7a7ea4aa402 (MD5) / Made available in DSpace on 2018-11-23T17:02:06Z (GMT). No. of bitstreams: 1 ramponi_tc_me_rcla.pdf: 1200399 bytes, checksum: d003d0863c0473e1dd98e7a7ea4aa402 (MD5) Previous issue date: 2018-09-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo desse trabalho concentra-se em estudar uma nova metodologia para resolução de problemas em matéria condensada, nos quais as partículas estão fortemente acopladas, não permitindo um tratamento perturbativo padrão. Esse método, originário da dualidade AdS/CFT (Anti-de Sitter/Conformal Field Theory), está sendo conhecido na comunidade de matéria condensada como Dualidade Holográfica. Como aplicação desta teoria, o comportamento de supercondutores foi escolhido. A metodologia da dualidade holográfica utiliza uma teoria de campos em um espaço-tempo curvo. Partindo da ação associada é possível obter as equações de movimento das partículas envolvidas. A seguir foi empregado o uso do software Mathematica-Wolfram, para a resolução das Equações Diferenciais através do Método de Frobenius. Os resultados obtidos expressam que os valores esperados de operadores, as chamadas funções de correlação, são bem similares à curva de intervalo de energia previsto pela teoria BCS em função da temperatura. Também infere-se a partir da fórmula de Kubo, que os resultados numéricos da condutividade elétrica, claramente indicam uma condutividade infinita abaixo de uma determinada temperatura crítica Tc, resultando em um supercondutor. / The objective of this work is to study a new methodology for solving problems in condensed matter, in which the particles are strongly coupled, not allowing a standard perturbative treatment. This method, originating from the AdS / CFT (Anti-Sitter / Conformal Field Theory) duality, is being known in the condensed matter community as Holographic Duality. As an application of this theory, the behavior of superconductors was chosen. The holographic duality methodology uses a field theory in a curved space-time. From the associated action it is possible to obtain the equations of motion of the particles involved. Next, the use of the Mathematica-Wolfram software was used to solve the Differential Equations by the Frobenius Method. The obtained results express that the expected values of operators, so-called correlation functions, are very similar to the energy interval curve predicted by the BCS theory as a function of temperature. It is also inferred from the Kubo formula that the numerical results of electrical conductivity clearly indicate an infinite conductivity below a given critical temperature Tc, resulting in a superconductor. / CAPES: 001

Abordaremos a teoria do transporte otimo demonstrando o teorema da dualidade de Kantorovich para uma classe ampla de funções custo. Tal resultado desempenha um papel de suma importância na teoria do transporte otimo. Uma ferramenta importante utilizada e o teorema da dualidade de Fenchel-Rockafellar, aqui enunciado e demonstrado em bastante generalidade. Demonstramos tamb em o teorema da dualidade de Kantorovich-Rubinstein, que trata do caso particular da função custo distância. / We analyze the optimal transport theory proving the Kantorovich duality theorem for a wide class of cost functions. Such result plays an extremely important role in the optimal transport theory. An important tool used here is the Fenchel-Rockafellar duality theorem, which we state and prove in a general case. We also prove the Kantorovich-Rubinstein duality theorem, which deals with the particular case of cost function given by the distance.

Truth and falsehood, questions and answers, construction and deconstruction; most things come in dual pairs. Duality is a mirror that reveals the new from the old via opposition. This idea appears pervasively in logic, where duality inverts "true" with "false" and "and" with "or." However, even though programming languages are closely connected to logics, this kind of strong duality is not so apparent in practice. Sum types (disjoint tagged unions) and product types (structures) are dual concepts, but in the realm of programming, natural biases obscure their duality. To better understand the role of duality in programming, we shift our perspective. Our approach is based on the Curry-Howard isomorphism which says that programs following a specification are the same as proofs for mathematical theorems. This thesis explores Gentzen's sequent calculus, a logic steeped in duality, as a model for computational duality. By applying the Curry-Howard isomorphism to the sequent calculus, we get a language that combines dual programming concepts as equal opposites: data types found in functional languages are dual to co-data types (interface-based objects) found in object-oriented languages, control flow is dual to information flow, induction is dual to co-induction. This gives a duality-based semantics for reasoning about programs via orthogonality: checking safety and correctness based on a comprehensive test suite. We use the language of the sequent calculus to apply ideas from logic to issues relevant to program compilation. The idea of logical polarity reveals a symmetric basis of primitive programming constructs that can faithfully represent all user-defined data and co-data types. We reflect the lessons learned back into a core language for functional languages, at the cost of symmetry, with the relationship between the sequent calculus and natural deduction. This relationship lets us derive a pure lambda calculus with user-defined data and co-data which we further extend by bringing out the implicit control-flow in functional programs. Explicit control-flow lets us share and name control the same way we share and name data, enabling a direct representation of join points, which are essential for tractable optimization and compilation.

Cette thèse commence par définir la notion de morale dans l'Espagne du XVIIème siècle, et celle de la poésie morale, en ce qui concerne l'oeuvre de Quevedo. D'autres buts préalables à l'analyse sont de définir et de justifier le corpus choisi, de montrer quelles sont les sources d'inspiration de l'auteur, de définir les notions utilisées dans l'analyse poétique par la suite, et de rappeler les précédentes études sur le sujet. L'objet de cette thèse est ensuite de montrer que la poésie morale quévédienne constitue un système cohérent, au service d'un propos non univoque, mais qui correspond à une préoccupation constante : l'édification morale de l'allocutaire. La figure de l'Autre est également au centre de ce travail qui entend montrer quelle place l'Autre occupe dans cette poésie, et ce que sa représentation implique du point de vue de l'écriture. Enfin cette thèse montre que l'idéal moral visé par ce corpus est le dépassement, complexe, de toute dualité (Bien/Mal, Vie/Mort, Autre/Soi), pour permettre à l'homme de s'acheminer vers Dieu et d'obtenir le salut de son âme. La conclusion finit d'illustrer la cohérence du système et du corpus étudiés et propose des éléments destinés à remettre en question la paternité de certains sonnets récemment attribués, de manière un peu inconsidérée, à Quevedo. / The thesis start with a definition of the concept of "morals" in 17th century Spain and with a definition of moral poetry in Quevedo's work. Preceding the analysis proper, I will define and justify the corpus of texts studied, identify the author's sources of inspiration, define the notions used in the poetical analysis, and finally mention the previous studies on the topic. The aim of this thesis is to show that Quevedo's moral poetry is a coherent system which serves a discourse that is far from unequivocal, but which corresponds to a constant preoccupation : the moral construction of the addressee. This work also focuses on the figure of Alterity, particularly what place it is granted in this poetry, and what its representations implies from the point of viex of writing. Finally, the thesis shows that the moral ideal aimed at in this corpus lies in the complex way in which it exceeds any duality - Good/Evil, Life/Death, Other/Self - to enable man to move towards God and to find salvation. The conclusion illustrates the coherence of the system and of the corpus and proposes arguments meant to question the authorship of some of the sonnets which where recently attricbuted to Quevedo.

Abordaremos a teoria do transporte otimo demonstrando o teorema da dualidade de Kantorovich para uma classe ampla de funções custo. Tal resultado desempenha um papel de suma importância na teoria do transporte otimo. Uma ferramenta importante utilizada e o teorema da dualidade de Fenchel-Rockafellar, aqui enunciado e demonstrado em bastante generalidade. Demonstramos tamb em o teorema da dualidade de Kantorovich-Rubinstein, que trata do caso particular da função custo distância. / We analyze the optimal transport theory proving the Kantorovich duality theorem for a wide class of cost functions. Such result plays an extremely important role in the optimal transport theory. An important tool used here is the Fenchel-Rockafellar duality theorem, which we state and prove in a general case. We also prove the Kantorovich-Rubinstein duality theorem, which deals with the particular case of cost function given by the distance.

Orientador: Sandra Augusta Santos / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-16T08:38:37Z (GMT). No. of bitstreams: 1 Pereira_RicardoAlexandreAlves_M.pdf: 1562416 bytes, checksum: 5b626a8b83a97556be648d6eef873195 (MD5) Previous issue date: 2010 / Resumo: Este trabalho teve por objetivo produzir um texto didático que auxiliasse no estudo e na compreensão dos Problemas de Programação Linear (PPL). Procuramos diminuir o "degrau" que existe entre o Cálculo, a Geometria e a Álgebra Linear no tratamento desses problemas, utilizando uma linguagem clara e objetiva. Dessa forma, fizemos apenas as demonstrações dos resultados que julgamos essenciais. Trabalhamos com os principais conceitos e definições que envolvem os PPL (otimização, vetor gradiente, derivada direcional, máximos e mínimos sobre conjunto compacto, Multiplicadores de Lagrange, espaço de exigência, solução ótima, dualidade entre outros) fazendo sempre que possível contextualizações através de diversas aplicações. Finalizamos este texto com o Lema de Farkas, utilizando argumentos simples e lógicos para a sua demonstração, com o uso de cálculo e da álgebra linear / Abstract: This study aimed to produce a didactic text which would help in the study and understanding of Linear Programming Problems (LPP). We seek to reduce the "gap" that exists between the Calculus, Geometry and Linear Algebra in the treatment of such problem using a clear and objective language. Thus, we have included only the proofs of the results that we consider essential. We work with key concepts and definitions involving PPL (optimization, gradient vector, directional derivative, maximum and minimum on a compact set, Lagrange multipliers, space requirement, optimal solution, duality, among others) including wherever possible a contextualization through various applications. We finish this text with the Farkas' Lemma, using simple and logical arguments for their demonstration with the use of calculus and linear algebra / Mestrado / Matematica Aplicada / Mestre em Matemática Aplicada

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第21534号 / 理博第4441号 / 新制||理||1638(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 矢野 孝次, 教授 重川 一郎, 教授 泉 正己 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

The aim of this work is to make some investigations concerning duality for multiobjective optimization problems. In order to do this we study first the duality for scalar optimization problems by using the conjugacy approach. This allows us to attach three different dual problems to a primal one. We examine the relations between the optimal objective values of the duals and verify, under some appropriate assumptions, the existence of strong duality. Closely related to the strong duality we derive the optimality conditions for each of these three duals. By means of these considerations, we study the duality for two vector optimization problems, namely, a convex multiobjective problem with cone inequality constraints and a special fractional programming problem with linear inequality constraints. To each of these vector problems we associate a scalar primal and study the duality for it. The structure of both scalar duals give us an idea about how to construct a multiobjective dual. The existence of weak and strong duality is also shown. We conclude our investigations by making an analysis over different duality concepts in multiobjective optimization. To a general multiobjective problem with cone inequality constraints we introduce other six different duals for which we prove weak as well as strong duality assertions. Afterwards, we derive some inclusion results for the image sets and, respectively, for the maximal elements sets of the image sets of these problems. Moreover, we show under which conditions they become identical. A general scheme containing the relations between the six multiobjective duals and some other duals mentioned in the literature is derived. / Das Ziel dieser Arbeit ist die Durchführung einiger Untersuchungen bezüglich der Dualität für Mehrzieloptimierungsaufgaben. Zu diesem Zweck wird als erstes mit Hilfe des so genannten konjugierten Verfahrens die Dualität für skalare Optimierungsaufgaben untersucht. Das erlaubt uns zu einer primalen Aufgabe drei unterschiedliche duale Aufgaben zuzuordnen. Wir betrachten die Beziehungen zwischen den optimalen Zielfunktionswerten der drei Dualaufgaben und untersuchen die Existenz der starken Dualität unter naheliegenden Annahmen. Im Zusammenhang mit der starken Dualität leiten wir für jede dieser Dualaufgaben die Optimalitätsbedingungen her. Die obengenannten Ergebnisse werden beim Studium der Dualität für zwei Vektoroptimierungsaufgaben angewandt, und zwar für die konvexe Mehrzieloptimierungsaufgabe mit Kegel-Ungleichungen als Nebenbedingungen und für eine spezielle Quotientenoptimierungsaufgabe mit linearen Ungleichungen als Nebenbedingungen. Wir assoziieren zu jeder dieser vektoriellen Aufgaben eine skalare Aufgabe für welche die Dualität betrachtet wird. Die Formulierung der beiden skalaren Dualaufgaben führt uns zu der Konstruktion der Mehrzieloptimierungsaufgabe. Die Existenz von schwacher und starker Dualität wird bewiesen. Wir schliessen unsere Untersuchungen ab, indem wir eine Analyse von verschiedenen Dualitätskonzepten in der Mehrzieloptimierung durchführen. Zu einer allgemeinen Mehrzieloptimierungsaufgabe mit Kegel-Ungleichungen als Nebenbedingungen werden sechs verschiedene Dualaufgaben eingeführt, für die sowohl schwache als auch starke Dualitätsaussagen gezeigt werden. Danach leiten wir verschiedene Beziehungen zwischen den Bildmengen, bzw., zwischen den Mengen der maximalen Elemente dieser Bildmengen der sechs Dualaufgaben her. Dazu zeigen wir unter welchen Bedingungen werden diese Mengen identisch. Ein allgemeines Schema das die Beziehungen zwischen den sechs dualen Mehrzieloptimierungsaufgaben und andere Dualaufgaben aus der Literatur enthält, wird dargestellt.

La présente thèse, intitulée ``Investigations on electric-magnetic duality in gravity and higher spin theories'', constitue un étude sur la dualité dans les théories de la gravitation et de spins élevés dans le cadre des symétries cachées qui apparaissent après la réduction dimensionnelle de la Relativité Générale et la Supergravité. Elle a comme but de clarifier, en utilisant le formalisme Hamiltonien, la relation entre le graviton et son champ dual (en général, un tenseur de symétrie mixte (D-3,1)) en dimension abitraire, ainsi que la recherche de la généralisation de la symetrie de dualité, par méthodes identiques, aux théories de champs de spin élevé et l'exploration du comportement des champs fermioniques sous l'action de la dualité. La thèse est divisé en cinq chapitres. Le premier chapitre constitue une introduction au sujet des dualités et symétries cachées dans les théories de l'electromagnetisme, la gravitation et la supergravité. Le deuxième chapitre est dédié à l'étude de la dualité dans la gravité linéarisée à dimension D=4: d'abord, on rappelle comment résoudre les contraintes du formalisme Hamiltonien en termes de deux prépotentiels et la forme que l'action prenne après cette résolution. De plus, on reformule l'action en termes de certaines tenseurs invariantes de jauge et trouve une expression non-locale de l'action en termes de deux métriques. En outre, on établisse l'estructure des equations de mouvement covariantes comme une condition de ``twisted self-duality'' et vérifie qu'elles sont equivalentes à un sous-ensemble de celles-ci qui ne contient pas des dérivées temporelles de deuxième ordre. Ce sous-ensemble est aussi obtenu comme les equations de mouvement qui se derivent de l'action écrite en termes des prépotentiels. Dans le troisième chapitre, on généralise cette construction ci-dessus à dimension arbitraire D, où le champ dual du graviton est décrit par un tenseur de symétrie mixte (D-3,1): les contraintes sont résolues en termes de prépotentiels, qu'on utilise afin de construire une action locale, pour finalement obtenir son expression non-locale en termes du graviton et son champ duel. Dans le dernier chapitre, on étudie l'extension de la dualité au système de l'hypergravité linéarisée: la contrainte fermionique est résolue, et les transformations de supersymétrie pour les prépotentiels sont obtenues, ainsi que l'action de la dualité sur les champs fermioniques. / Option Physique du Doctorat en Sciences / info:eu-repo/semantics/nonPublished

This thesis is devoted to various questions connected with duality. It is composed of two parts.The first part discusses some aspects of timelike T-duality. We explore the possibility of compactification of supergravity theories with various signatures(low energy limit of M-theories which are dual under timelike T-dualities) on parallelizable internal seven dimensional (pseudo-)spheres. We show that, beside the standard theory, only one of the dual theories known as M'-theory can admit such a solution. The effective four dimensional theory is non-supersymmetric and due to the presence of torsion the symmetry of seven dimensional (pseudo-)sphere breaks down to Spin(3, 4). In the second part, in an attempt to have a systematic discussion of gaugings in supergravity, we show the isomorphism between the space of local deformations of the appropriate zero coupling limit of the embedding tensor Lagrangian and that of the second-order scalar-vector Lagrangian, describing the bosonic sector of supergravity ignoring gravity, in a chosen duality frame determined by embedding tensors. We analyze the BV-BRST deformation of a class of scalar-vector coupled Lagrangians, which contains supergravity Lagrangians as examples, and find a set of constraints that guarantee the consistency of the deformations of the Lagrangians. We show in principle that for a large class of theories considered in this thesis, the only deformations are those of the Yang-Mills type associated with a subgroup of the rigid symmetries. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished