Rapporten behandlar en fiktiv internetleverantör som vill undersöka om protokollet Netconf kan användas för konfiguration av VPN-tjänster. Netconf används tillsammans med datamodelleringsspråket Yang som beskriver vad som kan konfigureras på en viss nätverksenhet.  Netconf/Yang utvärderas genom att en lösning för konfiguration av MPLS Layer 3 VPN tas fram. Traditionella metoder för konfiguration av nätverksenheter är CLI och expect-baserade skript. Syftet är att undersöka om Netconf kan ersätta dessa metoder. För att öka trovärdigheten i lösningen har en nätverksarkitekt med erfarenhet av denna typ av lösningar involverats som kravställare. Internetleverantörens nätverk består av routrar från både Cisco och Juniper och projektets lösning tar hänsyn till detta. Utvecklingsarbetet har skett mot en labbmiljö bestående av de virtuella routrarna Juniper vMX 17.1R1.8  och Cisco IOS XRv 6.1.2. Projektets lösning består av indata som beskriver vilka parametrar som ska gälla för en L3VPN. Denna indata är oberoende av routertyp. Indatan valideras mot en egenutvecklad yangmodell, vilket är nödvändigt för att försäkra sig om att den är korrekt formaterad. Därefter skickas indatan till tre olika pythonskript som kan testa, lägga till eller ta bort en L3VPN. Projektets huvudsakliga slutsats är att Netconf/Yang kan ersätta CLI, givet att den önskade funktionaliteten är implementerad i nätverksenheternas yangmodeller. / This report discusses a fictitious Internet Service Provider (ISP) that wants to evaluate whether the Netconf protocol can be used to configure VPN services. Netconf is used in conjunction with Yang, a data modeling language that is used to describe the features that can be configured on a particular network device. Netconf/Yang is evaluated by developing a solution focused on the configuration of MPLS Layer 3 VPNs. Traditional methods for network device configuration are using the CLI and expect based scripts. One purpose of the evaluation is to determine if Netconf/Yang can be used instead. To increase the credibility of the results, a network architect with industry experience has been involved by setting requirements for the Netconf/Yang solution. The ISP in question uses routers from both Juniper and Cisco, something that the proposed solution takes into account. Development has been done against the virtual routers Juniper vMX 17.1R1.8 and Cisco IOS XRv 6.1.2. The proposed solution involves creating script input data that describes a L3VPN in a vendor neutral way. The input data is validated against a custom yang model to ensure that it follows the expected format. The data is then used as an argument to three different scripts that either tests, adds or deletes a L3VPN based on the input data. The main conclusion is that Netconf/Yang can replace configuration using the CLI, given that the desired features have been implemented in the yang models of the network devices.

Ph.D., Faculty of Science, University of Witwatersrand, 2011 / Operators in N = 4 super Yang-Mills theory with an R-charge of O(N2) are dual to backgrounds which are asymtotically AdS5 S5. In this thesis we develop e cient techniques that allow the computation of correlation functions in these backgrounds. We nd that (i) contractions between elds in the string words and elds in the operator creating the background are the eld theory accounting of the new geometry, (ii) correlation functions of probes in these backgrounds are given by the free eld theory contractions but with rescaled propagators and (iii) in these backgrounds there are no open string excitations with their special end point interactions; we have only closed string excitations. Furthermore, these correlation functions are not well approximated by the planar limit. The non-planar diagrams, which in the bulk spacetime correspond to string loop corrections, are enhanced by huge combinatorial factors. We show how these loop corrections can be resummed. As a typical example of our results, in the half-BPS background of M maximal giant gravitons we nd the usual 1=N expansion is replaced by a 1=(M +N) expansion. Further, we nd that there is a simple exact relationship between amplitudes computed in the trivial background and amplitudes computed in the background of M maximal giant gravitons. We also nd strong evidence for the BMN-type sectors suggested in arXiv:0801.4457. The problem of computing the anomalous dimensions of (nearly) half-BPS operators with a large R-charge is reduced to the problem of diagonalizing a Cuntz oscillator chain. Due to the large dimension of the operators we consider, non-planar corrections must be summed to correctly construct the Cuntz oscillator dynamics. These non-planar corrections do not represent quantum corrections in the dual gravitational theory, but rather, they account for the backreaction from the heavy operator whose dimension we study. Non-planar corrections accounting for quantum corrections seem to spoil integrability, in general. It is interesting to ask if non-planar corrections that account for the backreaction also spoil integrability. We nd a limit in which our Cuntz chain continues to admit extra conserved charges suggesting that integrability might survive.

In this text we explore the case of pure Yang-Mills amplitudes in 5 spacetime dimensions for vector particles. Extending current toolsets such as the Spinor-Helicity formalism in 5D would be beneficial to the study of the various cases of super Yang-Mills and supergravity. In this text we provide an expression for the 5D BCFW shifts and test them in the 4-point setting. A method for obtaining the 5-point gluon amplitude is presented as well as a way to classify possible building blocks of the ansatz. We also provide a non-trivial expression for the 5-point case. The text begins with a short review of Spinor-Helicity formalism in 4D is given at the beginning followed by a discussion of its extension to 5D. Next, we review the pure Yang-Mills theory and modern methods of amplitude calculations. Finally we discuss our methods and results. / Vi utforskar fallet med rena Yang-Mills-amplituder i 5 rymdtidsdimensioner för vektorpartiklar. Utvidgningen av Spinor-Helicity-formalismen i 5D skulle vara fördelaktig för studiet av de olika fallen av super Yang-Mills och supergravitation. I denna avhandling ger vi ett uttryck för 5D BCFW-skiften och tillämpar dem i 4-punktsinställningen. Vi presenterar en metod för att erhålla 5-punkts gluonamplituden och ett sätt att klassificera möjliga byggstenar i ansatsen. Med hjälp av dessa utvecklar vi ett icke-trivialt uttryck för 5-punktsfallet i 5D SH-variabler. Texten börjar med en kortöversikt över Spinor-Helicity-formalismen i 4D som ges i början följt av en diskussion om dess utvidgning till 5D. Därefter granskar vi den rena Yang-Mills-teorin och moderna metoder för amplitudberäkningar och slutligen diskuterar vi våra metoder och resultat

No description available.

No description available.

The repulsive delta-function interaction model in one dimension is reviewed for spinless particles and for spin-1/2 fermions. The problem of solving the differential equation related to the Schrödinger equation is reduced by the Bethe ansatz to a system of algebraic equations. The delta-function interaction is shown to have no effect on spinless fermions which therefore behave like free fermions, in agreement with Pauli's exclusion principle. The ground-state problem of spinless bosons is reduced to an inhomogeneous Fredholm equation of the second kind. In the limit of impenetrable interactions, the spinless bosons are shown to have the energy spectrum of free fermions. The model for spin-1/2 fermions is reduced by the Bethe ansatz to an eigenvalue problem of matrices of the same sizes as the irreducible representations R of the permutation group of N elements. For some R's this eigenvalue problem itself is solved by a generalized Bethe ansatz. The ground-state problem of spin-1/2 fermions is reduced to a generalized Fredholm equation.

Em mamíferos, a espermatogênese é mantida pela autorrenovação e diferenciação das células-tronco espermatogoniais (SSC). Apesar da grande importância do SSC para a fertilidade masculina, em Bos taurus pouco se sabe sobre a sua identificação e biologia celular. Para roedores, mais de 30 marcadores para células germinativas indiferenciadas já foram descritos. No entanto, ainda não é conhecido um marcador específico apenas para SSC. Quase todos são também expressos por gonócitos, espermatogônias mais diferenciadas ou mesmo células somáticas. Yin Yang 2 (YY2) é um factor de transcrição expresso nas células com a morfologia de gonócitos e SSC, sendo um candidato a marcador de SSC. Assim, a identificação de novos marcadores para SSC e factores que afectam a sua expressão, tais como a idade, são fundamentais para o desenvolvimento da biotecnologia como transgenia e tratamento de infertilidade, nos quais as SSC poderiam ser ferramentas biológicos importantes. Assim, nesta tese temos duas hipóteses principais: 1) a idade do dador afeta a expressão de marcadores moleculares específicos de SSC bovinas assim como potencial de células-tronco dessas células e que as sequências de DNA em que se associa YY2 regulam a expressão génica de SSC em camundongos. Os objetivos específicos, organizados em 4 artigos científicos, foram: identificar a melhor plaqueamento diferencial para enriquecer SSC bovina (artigo 1), verificar se a expressão de marcadores moleculares de SSC bovina difere entre adultos pré-púberes (artigo 2 e 3), identificar novos marcadores específicos para SSC em Bos taurus (artigo 3), verificar que a idade afeta o potencial de célula-tronco de SSC bovinas (artigo 3), descrever YY2 como um marcador específico para SSC em camundongos e verificar se as sequências DNA associadas YY2 são loci de importância para SSC. Assim, definimos o melhor plaqueamento diferencial para o enriquecimento de SSC bovinas, que idade afeta a expressão marcadores já estabelecidos assim como genes específicos do transcriptoma de SSC bovinas e que idade também afeta o seu potencial de células-tronco (ensaio de repopulação). Concluímos também que YY2 é um marcador para SSC de camundongo em cultivo, em animais adultos e que as sequências do genoma que se associam YY2 possivelmente tem capacidade de regulação génica em SSC murina. / Mammalian spermatogenesis is sustained by self-renewal and differentiation of spermatogonial stem cells (SSC). Despite the importance of the SSC for male fertility, in Bos taurus líttle is known about their identification identity and cell biology. For rodents, more than thirty markers for undifferentiated germ cells have already been described. However, none of these represents a marker specific for SSC, as most are also expressed in gonocytes, differentiated spermatogonia or even somatic cells. Yin Yang 2 (YY2) is a transcription factor specifically expressed in cells with the morphology of gonocytes and SSC in the mouse, being a candidate marker for SSC. For the use of SSC as an important biological tool in the development of biotechnology such as transgenesis and the treatment of infertility, it is important to identify new markers for SSC and factors that affect their expression, such as the age of donors. Therefore, the experimental work described in this thesis was based on two main hypothesis: (1) the donor age affects the expression of specific molecular markers in SSC as well their potential as stem cells and 2) YY2 exerts important functions in SSC and genomic targets correspond to loci relevant for gene regulation or genome management in SSC. The specific goals have been organized in 4 manuscripts as follows: optimization of differential plating to enrich for bovine SSC (Article 1), check if the expression of molecular markers of bovine SSCs differs between prepubertal and adult donors (Article 2 and 3), identify new markers specific for SSC in Bos taurus (Article 3), continuation of the initial description of YY2 as a specific marker for SSC in mice and check if sequences bound by YY2 in vivo harbor the capacity to influence gene expression in SSC. As conclusions, we present an optimized differential plating protocol for the enrichment of bovine SSC, we conclude that age effects the expression of SSC markers, the expression of specific genes of bovine SSC and that age also affects their potential as stem cells (measured in repopulation assays). We also contribute to the description of the restricted expression of YY2 in prepuberal and adult SSC in mice and we show that YY2 binding sites represent genomic sequences relevant for control of gene expression.

Bartsch (BARTSCH, 1993) introduziu uma teoria de índice cohomológico, conhecida como o length, para G-espaços, no qual G é um grupo de Lie compacto. Apresentamos o cálculo do length de G-espaços os quais são esferas de cohomologia e G = (Z2)k, (Zp)k ou (S1)k, k &ge; 1. Como consequências, obtemos um teorema de Borsuk-Ulam neste contexto e damos condições suficientes para a existência de aplicações G-equivariantes entre uma esfera de cohomologia e uma esfera de representação quando G = (Zp)<sup<k. Também, uma versão Bourgin-Yang do teorema de Borsuk-Ulam é apresentada. Como segunda parte desta tese, uma nova definição do grafo de Reeb R( f) de uma função suave f : MR com pontos críticos isolados, como um subcomplexo de M é dada. Para isto, um complexo 1-dimensional &Gamma; (f ) mergulhado em M e equivalente por homotopia a R( f ) é construído. Como consequência, mostramos que para toda função f sobre uma variedade com grupo fundamental finito, o grafo de Reeb de f é uma árvore. Se &pi;1(M) é um grupo abeliano, ou mais geralmente, um grupo amenable1, então R( f ) conterá no máximo um laço. Finalmente, é provado que o número de laços do grafo de Reeb de toda função sobre uma superfície Mg é estimado superiormente por g, o genus de Mg. Os resultados desta segunda parte estão publicados em (KALUBA; MARZANTOWICZ; SILVA, 2015). / Bartsch (BARTSCH, 1993) introduced a numerical cohomological index theory, known as the length, for G-spaces, where G is a compact Lie group. We present the length of G-spaces which are cohomology spheres and G = (Z2)k, (Zp)k or (S1)k, k &ge; 1. As consequences, we obtain a Borsuk-Ulam theorem in this context and we give a sucient condition for the existence of G-maps between a cohomological sphere and a representation sphere when G = (Zp)k. Also, a Bourgin-Yang version of the Borsuk-Ulam theorem is presented. As a second part of this thesis, a new definition of the Reeb graph R( f ) of a smooth function f : M &rarr; R with isolated critical points as a subcomplex of M is given. For that, a 1-dimensional complex &Gamma; ( f ) embedded into M and homotopy equivalent to R( f ) is constructed. As consequence it is shown that for every function f on a manifold with finite fundamental group, the Reeb graph of f is a tree. If &pi; 1 (M) is an abelian group, or more generally, an amenable group2, then R( f ) contais at most one loop. Finally, it is proved that the number of loops of the Reeb graph of every function on a surface Mg is estimated from above by g, the genus of Mg. The results of this second part is published in (KALUBA; MARZANTOWICZ; SILVA, 2015).

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Alguns aspectos não perturbativos das teorias de Yang-Mills puras em quatro dimensões Euclideanas, quantizadas no calibre de Landau, são estudados analiticamente. Por pura entendemos a teoria na ausência de matéria (férmions). Em particular, ivestigamos a geração dinâmica de massa para os gluons devido a presença de condensados de dimensão dois. Este estudo é feito utilizando a técnica de operadores locais compostos no caso da ação de Yang-Mills, bem como, no caso da ação de Gribov-Zwanziger. Além deste estudo, uma investigação sobre as ambigüidades de Gribov nos calibres lineares covariantes é apresentada. No caso da ação de Yang-Mills, fizemos uma análise detalhada da técnica de opera-dores locais compostos quando introduzidos, simultaneamente, os operadores A&#956;aA&#956;a e fabcc*bcc. Através da teoria da renormalização algébrica, provamos a renormalizabilidade do modelo a todas as ordens em teoria de perturbações. Com o auxílio das equações do grupo de renormalização uma ação quântica efetiva é construída para os condensados <A&#956;aA&#956;a> e <fabcc*bcc>. Esta construção é feita utilizando a regularização dimensional em conjunto com o esquema de renormalização MS. Mostramos que um valor não trivial para estes condensados é favorecido dinamicamente, independentemente da escala escolhida. Cálculos explícitos, a um laço, são apresentados fornecendo estimativas numéricas para estes condensados e para a energia do vácuo. Através de um estudo via identidades de Ward, somos capazes de mostrar formalmente que a presença do condensado Overhauser, <fabcc*bcc>, é responsável pela quebra de transversalidade da polarização do vácuo. Contudo, o propagador do glúon permanece transverso, a todas as ordens em teorias de perturbações. Finalmente, esta análise é terminada com o cálculo explícito da correção, a um laço, à massa do glúon, devido a presença destes condensados. O resultado é que existe uma quebra na degenerescência da massa entre gluons Abelianos e não Abelianos. Esta quebra, devido a massa não Abeliana ser maior que a Abeliana, pode ser interpretada como uma evidência da dominância Abeliana no calibre de Landau. Com relação à ação de Gribov-Zwanziger sem a inclusão de condensados, começamos por efetuar cálculos explícitos. Mostramos formalmente que, a um laço, a energia do vácuo será sempre positiva, independentemente do esquema de renormalização escolhido e da escala. Apresentamos uma discussão sobre a procura de soluções da condição de horizonte no esquema MS, a um e dois laços, e as respectivas dificuldades encontradas. Em seguida, mostramos, através da teoria de renormalização algébrica, que a inclusão do operador A&#956;aA&#956;a na ação de Gribov-Zwanziger via o formalismo LCO é renormalizável a todas as ordens em teoria de perturbações. Tentativas de resolver as equações de gap são apresentadas no esquema de renormalização MS a um laço. Mostramos formalmente que, para a condição de horizonte, não existem soluções para <A&#956;aA&#956;a> < 0 e somente uma solução para <A&#956;aA&#956;a> > 0 pode existir. Contudo, no esquema MS, não fomos capazes de encontrar esta solução explicitamente. Desta forma, uma aprimoração do esquema de renormalização é feita de forma a minimizar a dependência no esquema escolhido. Nesta otimização encontramos a solução no limite MS bem como para o caso em que a dependência no esquema de renormalização é mínima. Em ambos os casos, a energia do vácuo se mostra positiva e o condensado <A&#956;aA&#956;a> > 0. Após os cálculos explícitos, uma discussão sobre as conseqüências físicas de um parâmetro de Gribov não nulo é apresentada. Finalmente, apresentamos um estudo das ambiguidades de Gribov nos calibres lineares covariantes para o caso em que &#945;<<1, onde &#945; é o parâmetro de calibre. Após identificar uma região no espaço funcional das configurações na qual não existem cópias de Gribov próximas, efetuamos a respectiva restrição da integral de caminho. Como efeito no nível árvore, o propagador do glúon transverso se torna suprimido no limite infravermelho devido a presença do horizonte de Gribov. A componente longitudinal se mostra suprimida devido a geração dinâmica de massa, associada ao condensado <A&#956;aA&#956;a>. Ainda, diferentemente do calibre de Landau, o propagador dos campos fantasmas não apresenta conexão com forças de longo alcance. Em contrapartida, uma função de Green singular no infravermelho, relacionada ao horizonte, é identificada e pode ser associada a forças de longo alcance. Por fim, todos os resultados do calibre de Landau são recuperados no limite &#945;&#8594;0.. / Some nonperturbative aspects of Euclidean Yang-Mills theories in four dimensions,quantized in the Landau gauge, are analytically studied. In particular, we investigate the dynamical mass generation for the gluons due to the presence of dimension two condensates. This study is performed in the framework of the local composite operator technique in the case of the Yang-Mills action as well as in the case of the Gribov-Zwanziger action. Further, an investigation of the Gribov ambiguities in the linear covariant gauges is presented. In the case of the Yang-Mills action, we perform a detailed analysis of the local composite operator formalism when the operators AaAa and fabccbcc are simultaneously introduced. Using the algebraic renormalization theory, we prove the renormalizability of the model trough all orders in perturbation theory. With the help of the renormalization group equations, a quantum efective action for the condensates <AaAa> and <fabccbcc> is constructed. This construction is performed by means of the dimensional regularization in the MS renormalization scheme. We show that non vanishing condensates values are dynamically favored, independently of the chosen scale. Explicit one loop computations are then presented, providing estimates for the condensates as well as for the vacuum energy. With the help of suitable Ward identities, we are able to normally show that the presence of the condensate <fabccbcc> is responsible for the breaking of the transversality of the vacuum polarization. However, the gluon propagator remains transverse, trough all orders in perturbation theory. Finally, we end this analysis with the explicit computation of the one loop correction to the efective gluon mass. The result is that, due to the condensate <fabccbcc>, the Abelian and the non Abelian sectors acquire diferent masses. Since the non Abelian mass is larger than the Abelian one, this feature can be interpreted as an evidence for the Abelian dominance principle in the Landau gauge. With respect to the Gribov-Zwanziger action, we start our analysis without taking into account the condensate. We show that, at one loop order, the vacuum energy is always positive, independently of the renormalization scheme and scale. We also present attempts to solve the one and two loops horizon condition in the MS scheme, and also the respective obstacles of it. Later, using the algebraic renormalization theory, we show, to all orders in perturbation theory, the renormalizability of the Gribov-Zwanziger action when the composite operator AaAa is included in the framework of the local composite operator technique. Attempts to solve the one loop gap equations in the MS scheme are then presented. We show that there are no solutions for <AaAa> < 0 while for <AaAai> 0 there is only one possible solution for the horizon condition. However, in the MS scheme, we were not able to find explicitly that solution. As an improvement, an optimization of the renormalization scheme is performed in the sense of minimizing the renormalization scheme dependence. In that approach the MS limit solution was found as well as the solution with minimal dependence on the renormalization scheme. In both cases, the vacuum energy shows itself to be positive while the condensate <AaAa> > 0. A discussion of the consequences of a nonvanishing Gribov parameter is then provided. Finally, we present a study of the Gribov ambiguities in the linear covariant gauges for the case &#945;<<1, where &#945; is the gauge parameter. After the identification of a region in field space where there are no close Gribov copies, we perform the respective restriction in the path integral. As a tree level efect, the transverse gluon propagator turns out to be infrared suppressed, due to the presence of the Gribov horizon. The longitudinal component shows itself to be infrared suppressed due to the dynamical mass, associated with the condensate <AaAa>. Further, diferently of the Landau gauge, the ghost propagator is not related to the appearance of long range forces. Instead, an infrared singular Green function related to the Gribov horizon is identifed. This Green function can be associated with long range forces. At the end, all Landau gauge results can be recovered taking the limit &#945;&#8594;0.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese estudamos uma extensão supersimétrica do mecanismo de Gribov no caso N = 1 em supercampos. Abordamos as teorias de super Yang-Mills em D = 4 e super Yang-Mills-Chern-Simons em D = 3. E verificamos como nestes casos o princípio de calibre leva ao cenário de confinamento de Gribov. / In this thesis we study a supersymmetric extension of the Gribov mechanism in the case of N = 1 with superfields. We approached the theories of super Yang-Mills in D = 4 and super Yang-Mills-Chern-Simons in D = 3. And we verify how in these cases the gauge principle leads to Gribov confinement scenario.