Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T09:52:31Z (GMT). No. of bitstreams: 1 DeMartino_MarceloGoncalves_M.pdf: 1604556 bytes, checksum: be41ad6ca9fd66921624adce95bf0939 (MD5) Previous issue date: 2012 / Resumo: Este trabalho procurou apresentar os conhecimentos básicos necessários para trabalhar com a teoria de calibre em baixas dimensões e também mostrar algumas aplicações da mesma. Na parte básica da teoria, além de comentar aspectos da teoria de Hodge para variedades compactas, também se discute, com certo nível de detalhes, os conceitos de fibrados vetoriais e conexões, com ênfase dada para os cálculos locais com conexões e curvaturas. Duas aplicações mais concretas da teoria de calibre são apresentadas nesta dissertação. Primeiro, em dimensão quatro, discute-se a equação de Yang-Mills sobre 4-variedades e é apresentada uma solução para a equação anti-auto-dual, solução esta que é conhecida na literatura como ansatz de 't Hooft. Por fim, é apresentada a prova, baseado no artigo [DONALDSON, 1983], de um importante teorema devido a M. S. Narasimhan e C. S. Seshadri que relaciona os conceitos de estabilidade com o de existência de conexão unitária satisfazendo certa propriedade, em fibrados vetoriais complexos sobre superfícies de Riemann / Abstract: In this work it is developed the basic knowledge required to deal with gauge theory in low dimension and it is shown some applications of this theory. Regarding the basic knowledge, apart from discussing some aspects of Hodge theory over compact manifolds, it is also covered, with a certain deal of details, the concepts of vector bundles and connections, paying close attention to the local computations regarding connections and curvature. As for the applications of the theory, we start, in dimension four, by treating the Yang-Mills equation over 4-manifolds and it is showed a solution to the anti-self-dual Yang-Mills equation, solution that is known in the literature as the 't Hooft ansatz. At last, it is given a proof, following the paper [DONALDSON, 1983], of an important theorem due to M. S. Narasimhan and C. S. Seshadri that relates the algebro-geometric notion of stability to the differential-geometric notion of existence of unitary connection whose curvature satisfies a certain condition, on vector bundles over Riemann surfaces / Mestrado / Matematica / Mestre em Matemática

Connus des mécaniciens de la géométrie de Poisson, les algébroïdes de Lie transitifs sont ici étudiés du point de vue de leurs sections afin de développer un formalisme algébrique plus proche de celui développé par les théories de jauge. Ici, les algébroïdes de Lie transitifs s'apparentent à une généralisation des champs de vecteurs sur la variété de base. Ce mémoire de thèse a pour objet l'étude des connexions généralisées sur les algébroïdes de Lie transitifs et la construction de théories de jauge. Les connexions ordinaires sur les algébroïdes de Lie transitifs sont définies par des 1-formes de connexion de l'algébroïde de Lie à valeurs dans son noyau et vérifiant une contrainte de normalisation sur ce noyau. En relâchant cette contrainte, on construit l'espace des 1-formes de connexions généralisées qui se décomposent, à l'aide d'une connexion ordinaire de fond, comme la somme d'une connexion ordinaire et d'un paramètre purement algébrique définit sur le noyau. Dans l'esprit des théories Yang-Mills, une action invariante de jauge est définie comme la “norme” de la courbure associée à une connexion généralisée. De cette action, il découle un lagrangien composé des termes des théories de jauge de type Yang-Mills-Higgs : le terme cinétique associé aux champs de jauge et le terme de couplage minimal pour un champ tensoriel scalaire plongé dans un potentiel quartique. La réduction du groupe de symétrie de la théorie s'effectue par une redistribution des degrés de liberté dans l'espace fonctionnel des champs de la théorie. Il résulte de ces manipulations la définition d'une théorie de type Yang-Mills dont les bosons vecteurs sont des champs massifs. / Transitive Lie algebroids are usually studied from the point of view of the geometry of Poisson. Here, they are preferentially defined in terms of sections of fiber bundle in order to get close to the formalism of the gauge field theory. Then, transitive Lie algebroids can be seen as a generalization of vector fields on the base manifold. This PhD thesis is concerned with the study of generalized connections on transitive Lie algebroids and the construction of gauge theories. Ordinary connections on transitive Lie algebroids are defined as the subset of 1-forms on Lie algebroids with values in its kernel which fulfill a normalization constraint on this kernel. By relaxing this constraint, we build the space of generalized connection 1- forms. Using a background connection, we show that any generalized connections can be decomposed as the sum of an ordinary connection and a purely algebraic parameter defined on the kernel. As in Yang-Mills theories, we define a gauge invariant functional action as the “norm” of the curvature associated to a generalized connection. Then, the Lagrangian associated to this action forms a Yang-Mills-Higgs type model composed with the field strength associated to gauge fields and a minimal coupling with a tensorial scalar field embedded into a quartic potential. In the case of Atiyah Lie algebroids, the symmetry group of the theory can be reduced by using an appropriate rearrangement of the degrees of freedom in the functional space of fields. We thus obtain a Yang-Mills type theory describing massive vector bosons.

On étudie les théories de Yang-Mills. Pour ce faire, nous appliquons une nouvelle procédure de fixation de jauge qui vise à prendre en compte la présence des copies de Gribov. Ces copies correspondent à des solutions supplémentaires de la condition de jauge et ne sont pas prises en compte dans la procédure standard de Faddeev-Popov. Cette nouvelle procédure de fixation de jauge a d'abord été implémenté dans la jauge de Landau, où le régime de basse énergie a pu être étudié simplement par la théorie de perturbation et les propagateurs des gluons et des ghosts ont été trouvé en bon accord avec les résultats du réseau. Dans une première partie, nous appliquons cette procédure à une classe de jauges covariantes et non-linéaires (les jauges de Curci-Ferrari-Delbourgo-Jarvis). Nous montrons que ces jauges sont renormalisables en dimension quatre et donnons explicitement les expressions des constantes de renormalisation à une boucle. Nous calculons en théorie de perturbation les propagateurs de la théorie à l'ordre d'une boucle et implémentons le groupe de renormalisation. La seconde partie concerne l'étude du cas à température finie et de la transition de phase confinement-déconfinement. Nous travaillons dans une extention massive de la jauge de Landau-DeWitt. Nous calculons les propagateurs à une boucle et montrons qu'ils présentent de clairs signaux de la transition de phase à la différence de la jauge de Landau. / We investigate Yang-Mills theories. In particular, we follow a recently proposed new gauge-fixing procedure that aims at dealing with the presence of the so-called Gribov copies. These copies correspond to additional solutions to the gauge equation that are disregarded in the standard Faddeev-Popov procedure. This novel gauge-fixing approach was first implemented in the Landau gauge, where the low momentum regime was investigable by means of simple perturbation theory and the one-loop gluon and ghost propagators were found in good agreement with lattice results. In a first part, we extend this proposal to a class of nonlinear covariant (the Curci-Ferrari-Delbourgo-Jarvis) gauges . We prove that these gauges are renormalizable in four dimensions. We provide explicit expression of the renormalization constants at one-loop order. Then we compute the various propagators of the theory at one-loop order with and without renormalization group improvement. The second part of the thesis concerns the finite temperature case and in particular the study of the confinement-deconfinement phase transition. We work in the Landau-DeWitt gauge (a background extention of the Landau gauge) which allows for an explicit presence of an order parameter of the phase transition. This gauge is implemented following the previous gauge-fixing procedure. In particular it has been shown that the phase transition can be studied in perturbation theory. Here, we compute at one-loop order the gluon and ghost propagators (for SU(2) gauge group) and show that they display strong signals of the phase transition. This is to be put in regards with the results obtained for the Landau gauge propagators.

Cette thèse porte sur plusieurs questions liées aux mesures de Yang-Mills planaires et aux champs markoviens d'holonomies planaires. Les problèmes sont de deux sortes : étude des champs markoviens d'holonomies planaires pour un groupe de structure donné et l'étude asymptotique des mesures de Yang-Mills lorsque la dimension du groupe tend vers l'infini. On définit la notion de champs markoviens d'holonomies planaires qui axiomatise la notion de mesures de Yang-Mills planaires. En utilisant une nouvelle symétrie en théorie des probabilités, l'invariance par tresse, on construit, caractérise et classifie les champs markoviens d'holonomies planaires. Nous montrons que tout champ markovien d'holonomies planaire est associé à un processus de Lévy qui satisfait une condition de symétrie et vice-versa. Ceci nous permet de caractériser, pour les surfaces sphériques, les champs markoviens d'holonomies tels que définis précédemment par Thierry Lévy. Lorsque le groupe de structure est le groupe symétrique, on peut construire le champ markovien d'holonomies planaire associé grâce à un modèle de revêtements aléatoires. On prouve la convergence des monodromies de ce revêtement aléatoire en s'appuyant sur l'étude, développée dans cette thèse, de l'asymptotique des matrices aléatoires invariantes par conjugaison par le groupe symétrique. / This thesis focuses on planar Yang-Mills measures and planar Markovian holonomy fields. We consider two different questions : the study of planar Markovian holonomy fields with fixed structure group and the asymptotic study of the planar Yang-Mills measures when the dimension of the structure group grows. We define the notion of planar Markovian holonomy fields which generalizes the concept of planar Yang-Mills measures. We construct, characterize and classify the planar Markovian holonomy fields by introducing a new symmetry : the invariance under the action of braids. We show that there is a bijection between planar Markovian holonomy fields and some equivalent classes of Lévy processes. We use these results in order to characterize Markovian holonomy fields on spherical surfaces. The Markovian holonomy fields with the symmetric group as structure group can be constructed using random ramified coverings. We prove that the monodromies of these models of random ramified coverings converge as the number of sheets of the covering goes to infinity. To prove this, we develop general tools in order to study the limits of families of random matrices invariant by the symmetric group. This allows us to generalize ideas, developped by Thierry Lévy in order to study the planar Yang-Mills measure with the unitary structure group, to the setting where the structure group is the symmetric group.

Denna rapport syftar till att hitta en metod för effektivare felsökning av Cisco Nexus 3000 switchar. Företag utvecklas ständigt och behovet av flera nätverksenheter ökar, dock har metoder för felsökningen av nätverksenheter inte standardiserats. Den gamla metoden genom kommandorad där enskilda nätverksenheter granskas en i taget är inte längre lämplig i dagens IT-företag när antalet nätverksenheter uppgår till flera tiotusen. Rapporten görs i samarbete med IT-företaget Conscia.  Metoden baseras på en simulering och en testuppkoppling med hjälp av nätverkshanteringsprotokollet NETCONF genom Python-biblioteket Ncclient. Resultatet bestod av flera parametrar och faktorer som kan indikera en förändring i nätverksenheten. Detta har resulterat i en metod som ger information om olika parametervärden och faktorer, vilket ger nätverksadministratören en klarare bild kring switchens tillstånd. Metoden har lett till effektivare felsökning av Cisco Nexus 3000 vid inträffandet av nätverksincidenter. / This report aims to find a method for more efficient troubleshooting of Cisco Nexus 3000 switches. Companies are constantly developing and the need for multiple network devices is increasing, however, methods for troubleshooting network devices have not been standardized. The old method through the command line interface where individual network devices are reviewed one at a time is no longer suitable in today's IT companies when the number of network devices amounts to several tens of thousands. The report is made in collaboration with the IT company Conscia. The method is based on a simulation and a test connection using the network management protocol NETCONF through the Python library Ncclient. The result consisted of several parameters and factors that may indicate a change in the network device. This has resulted in a method that provides information on various parameter values and factors, which gives the network administrator a clearer picture of the state of the switch. The method has led to more efficient troubleshooting of the Cisco Nexus 3000 when network incidents occur.

Effective management and operation of modern networks heavily rely on efficient network configuration management and infrastructure. Manual configuration management has been proven inefficient, and there is a need to automatize it. Such automatization can be done using YANG, which provides a standardized data modeling language that works across various network devices, offering a vital tool for network management. However, ensuring the performance and dependability of YANG modules requires effective testing. Manually creating configuration files for YANG modules is time-consuming, prompting the need for automated solutions. In this thesis, a prototype was developed to address this challenge by utilizing directed graphs and topological sorting techniques to generate configuration files for YANG modules. The development and evaluation of the prototype demonstrate its efficient time utilization, while acknowledging its limitations in handling complex YANG modules. The findings suggest that incorporating directed graphs and topological sorting in future YANG module testing tools holds promise as an effective approach. / Effektiv hantering och drift av moderna nätverk är starkt beroende av effektiv nätverkskonfigurationshantering och infrastruktur. Manuell konfigurations hantering har visat sig vara ineffektiv, och det finns ett behov av att automatisera den. Sådan automatisering kan göras med hjälp av YANG, som tillhandahåller ett standardiserat datamodelleringsspråk som fungerar på olika nätverksenheter och erbjuder ett viktigt verktyg för nätverkshantering. Dock krävs effektiv testning för att säkerställa prestanda och tillförlitlighet hos YANG-moduler. Manuell skapande av konfigurationsfiler för YANG-moduler är tidskrävande, vilket motiverar behovet av automatiserade lösningar. I denna avhandling utvecklades en prototyp för att möta denna utmaning genom att använda riktade grafer och topologisk sortering för att generera konfigurationsfiler för YANG-moduler. Utvecklingen och utvärderingen av prototypen visar på dess effektiva tidsanvändning samtidigt som dess begränsningar vid hantering av komplexa YANG-moduler erkänns. Resultaten antyder att inkludering av riktade grafer och topologisk sortering i framtida verktyg för testning av YANG-moduler kan vara en effektiv metod.

No description available.

This thesis carries out a detailed investigation of the action for pure Yang-Mills theory which L. Mason formulated in twistor space. The rich structure of twistor space results in greater gauge freedom compared to the theory in ordinary space-time. One particular gauge choice, the CSW gauge, allows simplifications to be made at both the classical and quantum level. The equations of motion have an interesting form in the CSW gauge, which suggests a possible solution procedure. This is explored in three special cases. Explicit solutions are found in each case and connections with earlier work are examined. The equations are then reformulated in Minkowski space, in order to deal with an initial-value, rather than boundary-value, problem. An interesting form of the Yang-Mills equation is obtained, for which we propose an iteration procedure. The quantum theory is also simplified by adopting the CSW gauge. The Feynman rules are derived and are shown to reproduce the MHV diagram formalism straightforwardly, once LSZ reduction is taken into account. The three-point amplitude missing in the MHV formalism can be recovered in our theory. Finally, relations to Mansfield’s canonical transformation approach are elucidated.

Understanding physical configurations and how these can emerge from the underlying gauge theory is a fundamental problem in modern particle physics. This thesis investigates the study of these configurations primarily focussing on the need for gauge invariance in constructing the gauge invariant fields for any physical theory. We consider Wu’s approach to gauge invariance by identifying the gauge symmetry preserving conditions in quantum electrodynamics and demonstrate how Wu’s conditions for one-loop order calculations (under various regularisation schemes) leads to the maintenance of gauge invariance. The need for gauge invariance is stressed and the consequences discussed in terms of the Ward identities for which various examples and proofs are presented in this thesis. We next consider Zwanziger’s description of a mass term in Yang-Mills theory, where an expansion is introduced in terms of the quadratic and cubic powers of the field strength. Although Zwanziger introduced this expansion there is, however, no derivation or discussion about how it arises and how it may be extended to higher orders. We show how Zwanziger’s expansion in terms of the inverse covariant Laplacian can be derived and extended to higher orders. An explicit derivation is presented, for the first time, for the next to next to leading order term. The role of dressings and their factorisation lies at the heart of this analysis.

This thesis is concerned with the Schrödinger representation of quantum field theory. We describe techniques for solving the Schrödinger equation which supplement the standard techniques of field theory. Our aim is to develop these to the point where they can readily be used to address problems of current interest. To this end, we study realistic models such as gauge theories coupled to dynamical fermions. For maximal generality we consider particles of all physical spins, in various dimensions, and eventually, curved spacetimes. We begin by considering Gaussian fields, and proceed to a detailed study of the Schwinger model, which is, amongst other things, a useful model for (3+1) dimensional gauge theory. One of the most important developments of recent years is a conjecture by Mal-dacena which relates supergravity and string/M-theory on anti-de-Sitter spacetimes to conformal field theories on their boundaries. This correspondence has a natural interpretation in the Schrödinger representation, so we solve the Schrödinger equation for fields of arbitrary spin in anti-de-Sitter spacetimes, and use this to investigate the conjectured correspondence. Our main result is to calculate the Weyl anomalies arising from supergravity fields, which, summed over the supermultiplets of type JIB supergravity compactified on AdS(_s) x S(^5) correctly matches the anomaly calculated in the conjecturally dual N = 4 SU{N) super-Yang-Mills theory. This is one of the few existing pieces of evidence for Maldacena's conjecture beyond leading order in TV.