Orientador: Nathan Jacob Berkovits / Resumo: Primeiramente apresenta-se uma breve descrição das teorias de primeira quantização covariante da corda bosônica, supercorda RNS e GS. Também apresentamos a descrição topológica da supercorda. Em seguida , fazemos uma introdução à teoria clássica de campos da corda bosônica aberta formulado por Witten. Depois, consideramos a toeria clássica de campo de supercorda aberta que usa as variáveis RNS. Discutimos o problema da divergência que surge em termos de contato relacionados com "picture". O formalismo topológico permite construir uma ação para teoria de campos de supercorda que é do tipo WZW. Esta ação resolve o problema da divergência. Este fato é verificado com cálculo explícito da amplitude de espalhamento para quatro estados externos na camada da massa. Seguidamente, discutimos as branas não BPS, condensação do táquion e construimos os vértices com projeção GSO negativo para o táquion e o férmion não massivo usando variáveis híbridas. Finalmente incluimos o setor GSO (-) da supercorda numa ação generalizada do tipo WZW. / Abstract: Firstly we present a brief description of the covariant first quantized theories of string, RNS and GS superstring. Also we present a topological description of the superstring. Then we give an introduction to the classical open string field theory formulated by Witten. After that we cosnider the classical open superstring field theory using the RNS variables, we discuss the problem of the divergence that appears in contact terms that is related with picture. The topological formalism allow us to construct an action for the open superstring field theory which is WZW-like. This action solves the divergence problem, and we verify this fact by explicit computation of the scttering amplitude for four external on-shell states. Next, we discuss nonBPS D-branes, tachyon condensation and construct the GSO negative projected vertices for the tachyona and the massless fermion using hybrid variables. Finally we include the GSO (-) sector of the superstring in a generalized WZW-like action. / Doutor

In this work we will try to quantize midisuperspace model of spherically sym- metric spacetime with massless scalar field. On this type of spacetimes we apply Dirac method of canonical quantization, leading to Wheeler-DeWitt equations. We will attempt to solve those equation generally for aforementioned type of spa- cetimes. Our initial midisuperspace model is Roberts dynamical spacetime. As we will see later, Roberts metric behaves badly in the asymptotic region. Due to this problematic behaviour of Roberts spacetime at the boundary, we will choose to quantize its static version, the special Janis-Newman-Winicour spacetime. This midisuperspace model is static, asymptotically flat spacetime with scalar field and it contains a naked time-like singularity. For special Janis-Newman-Winicour spacetime we will then solve Wheeler-DeWitt equations.

Neste trabalho empregamos a técnica de BFV para quantizar uma teoria com simetria de gauge SP(2;R). Para isso em primeiro lugar, analisamos o critério de admissibilidade de Govaerts para as condições de gauge para a teoria da partícula relativística, cujo propagador é calculado nos gauges covariante, canônico e do cone de luz por meio da discretização da integral de trajetória e esta mostra que a ação discretizada perde a invariância por transforma ções de BRST; e para restaurar sua invariância é necessário modificar as transformaçoes de BRST. Em segundo lugar, aplicamos a técnica de BFV para uma teoria com dois tempos e simetria de gauge SP(2;R), em seguida, analisamos o efeito da discretização e mostramos que a ação discretizada perde a invariância por transformações de BRST. Neste caso, as modificações necessárias incluem termos de ordem N nas transformações de BRST e estas passam a ser nilpotentes apenas on-shell. Ao fixarmos um tempo físico de duas formas diferentes obtivemos o propagador de uma partícula relativística em d dimensões e de um oscilador harmônico invertido em d - 2 dimensões espaciais. / In this work we employ the BFV technique to quantize a theory with gauge symmetry Sp(2;R). First, we analyze the admissibility criterion of Govaerts for gauge conditions on the theory of a relativistic particle. The propagator for the relativistic particle is calculated in the covariant, canonical and light cone gauges. The discretization of the path integral shows that the discretized action looses invariance by the BRST transformations. To restore the invariance it is necessary to include modified transformations. Secondly, we apply the BFV technique to a theory with two times and gauge symmetry Sp(2;R). We analyze the effect of discretization and show that the discretized action looses the BRST invariance. In this case, it is necessary to change the transformations including terms of order N , which become nilpotent only on-shell. Fixing the physical time in two different ways we get the propagator for a relativistic particle in d dimensions and for an inverted harmonic oscillator in d - 2 spatial dimensions.

Na presente dissertação fazemos um resumo das idéias fundamentais do método de Quantização Estocástica de Parisi e Wu, com aplicações a teorias de campo Escalares, de Gauge e Fermiônicas. Em particular, nós utilizamos o esquema de Regularização Analítica Estocástica no cálculo do tensor de polarização para a Eletrodinâmica Quântica com Bósons ou Fêrmions de Dirac. A influência da regularização na invariância de Gauge e estudada para ambas as teorias, e é sugerida uma extensão do método para alguns modelos supersimétricos. / In the present dissertation, we made a survey of the fundamental ideas about Parisi-Wu\'s Stochastic Quantization Method, with applications to Scalar, Gauge and Fermionic theories. In particular, we use the Analytic Stochastic Regularization Scheme to calculate the polarization tensor for Quantum Electrodynamics with bosons or Dirac Fermions. The regularization influence is studied for both theories and an extension of this method for some supersymmetrical models is suggested.

Les applications les plus courantes des méthodes non paramétriques concernent l’estimation d’une fonction de régression (i.e. de l’espérance conditionnelle). Cependant, il est souvent intéressant de modéliser les quantiles conditionnels, en particulier lorsque la moyenne conditionnelle ne permet pas de représenter convenablement l’impact des covariables sur la variable dépendante. De plus, ils permettent d’obtenir des graphiques plus compréhensibles de la distribution conditionnelle de la variable dépendante que ceux obtenus avec la moyenne conditionnelle. À l’origine, la « quantification » était utilisée en ingénierie du signal et de l’information. Elle permet de discrétiser un signal continu en un nombre fini de quantifieurs. En mathématique, le problème de la quantification optimale consiste à trouver la meilleure approximation d’une distribution continue d’une variable aléatoire par une loi discrète avec un nombre fixé de quantifieurs. Initialement utilisée pour des signaux univariés, la méthode a été étendue au cadre multivarié et est devenue un outil pour résoudre certains problèmes en probabilités numériques. Le but de cette thèse est d’appliquer la quantification optimale en norme Lp à l’estimation des quantiles conditionnels. Différents cas sont abordés : covariable uni- ou multidimensionnelle, variable dépendante uni- ou multivariée. La convergence des estimateurs proposés est étudiée d’un point de vue théorique. Ces estimateurs ont été implémentés et un package R, nommé QuantifQuantile, a été développé. Leur comportement numérique est évalué sur des simulations et des données réelles. / One of the most common applications of nonparametric techniques has been the estimation of a regression function (i.e. a conditional mean). However it is often of interest to model conditional quantiles, particularly when it is felt that the conditional mean is not representative of the impact of the covariates on the dependent variable. Moreover, the quantile regression function provides a much more comprehensive picture of the conditional distribution of a dependent variable than the conditional mean function. Originally, the “quantization” was used in signal and information theories since the fifties. Quantization was devoted to the discretization of a continuous signal by a finite number of “quantizers”. In mathematics, the problem of optimal quantization is to find the best approximation of the continuous distribution of a random variable by a discrete law with a fixed number of charged points. Firstly used for a one-dimensional signal, the method has then been developed in the multi-dimensional case and extensively used as a tool to solve problems arising in numerical probability. The goal of this thesis is to study how to apply optimal quantization in Lp-norm to conditional quantile estimation. Various cases are studied: one-dimensional or multidimensional covariate, univariate or multivariate dependent variable. The convergence of the proposed estimators is studied from a theoretical point of view. The proposed estimators were implemented and a R package, called QuantifQuantile, was developed. Numerical behavior of the estimators is evaluated through simulation studies and real data applications.

La compression vidéo est une étape cruciale pour une grande partie des applications de télécommunication. Depuis l'avènement de la norme H.261/MPEG-2, un nouveau standard de compression vidéo est produit tous les 10 ans environ, avec un gain en compression de 50% par rapport à la précédente. L'objectif de la thèse est d'obtenir des gains en compression par rapport à la dernière norme de codage vidéo HEVC. Dans cette thèse, nous proposons trois approches pour améliorer la compression vidéo en exploitant les corrélations du résidu de prédiction intra. Une première approche basée sur l'utilisation de résidus précédemment décodés montre que, si des gains sont théoriquement possibles, le surcoût de la signalisation les réduit pratiquement à néant. Une deuxième approche basée sur la quantification vectorielle mode-dépendent (MDVQ) du résidu préalablement à l'étape classique transformée-quantification scalaire, permet d'obtenir des gains substantiels. Nous montrons que cette approche est réaliste, car les dictionnaires sont indépendants du QP et de petite taille. Enfin, une troisième approche propose de rendre adaptatif les dictionnaires utilisés en MDVQ. Un gain substantiel est apporté par l'adaptivité, surtout lorsque le contenu vidéo est atypique, tandis que la complexité de décodage reste bien contenue. Au final on obtient un compromis gain-complexité compatible avec une soumission en normalisation. / Video compression has become a mandatory step in a wide range of digital video applications. Since the development of the block-based hybrid coding approach in the H.261/MPEG-2 standard, new coding standard was ratified every ten years and each new standard achieved approximately 50% bit rate reduction compared to its predecessor without sacrificing the picture quality. However, due to the ever-increasing bit rate required for the transmission of HD and Beyond-HD formats within a limited bandwidth, there is always a requirement to develop new video compression technologies which provide higher coding efficiency than the current HEVC video coding standard. In this thesis, we proposed three approaches to improve the intra coding efficiency of the HEVC standard by exploiting the correlation of intra prediction residue. A first approach based on the use of previously decoded residue shows that even though gains are theoretically possible, the extra cost of signaling could negate the benefit of residual prediction. A second approach based on Mode Dependent Vector Quantization (MDVQ) prior to the conventional transformed scalar quantization step provides significant coding gains. We show that this approach is realistic because the dictionaries are independent of QP and of a reasonable size. Finally, a third approach is developed to modify dictionaries gradually to adapt to the intra prediction residue. A substantial gain is provided by the adaptivity, especially when the video content is atypical, without increasing the decoding complexity. In the end we get a compromise of complexity and gain for a submission in standardization.

Abstract Oversampling data converters based on Delta-Sigma modulation are a popular solution for modern high-resolution applications. In the design of digital-to-analog or analog-to-digital Delta-sigma converters there are common obstacles due to the difficulties on predicting and verifying their performance. Being a highly nonlinear system, a Delta-Sigma modulator’s (DSM) quantization noise and therefore the spurious tones are difficult to analyze and predict. Multi-bit DACs can be used to improve the performance and linearize the behavior of DSMs. However, this will give rise to the need for linearizing the multi-bit DAC. A popular DAC linearization method, data weighted averaging (DWA) shapes the DAC mismatch noise spectrum. There are many variants of DWA, for low-pass and band-pass DSMs. This thesis proposes a generalization which integrates a few published variants into one, broader DWA scheme. The generalization enables expanding the tone-suppression studies into a larger concept. The performance of one- or multibit DSMs is usually verified by simulations. This thesis proposes a simulation-based qualification (characterization) method that can be used to repeatedly verify and compare the performance of multibit DSM with a DAC mismatch shaping or scrambling scheme. The last contribution of this thesis is a very simple model for tonal behavior. The model enables accurate prediction of spurious tones from both DSMs and DWA-DACs. The model emulates the tone behavior by its true birth-mechanism: frequency modulation. The proposed prediction model for tone-behavior can be used for developing new tone-cancelation methods. Based on the model, a DWA linearization method is also proposed. / Tiivistelmä Delta-Sigma modulaatio on suosituin tekniikka ylinäytteistävissä datan muuntimissa. Riippumatta toteutustarkoituksesta (analogia-digitaali- tai digitaali-analogia-muunnos), Delta-Sigma (DS) modulaatiossa on yleisesti tunnettuja käyttäytymisen ennustamiseen liittyviä ongelmia. Nämä ongelmat ovat peräisin modulaattorin luontaisesta epälineaarisuudesta: DS-muunnin on nimittäin vahvasti epälineaarinen takaisinkytketty systeemi, jonka harhatoistojen ennustaminen ja analysointi on erittäin hankalaa. Yksibittisestä monibittiseen DS-muuntimeen siirryttäessä muuntimen suorituskyky paranee, ja muuntimen kohinakäyttäytyminen on lineaarisempaa. Tämä kuitenkin kostautuu tarpeena linearisoida DS-muuntimen digitaali-analogia (D/A) muunnin. Tällä hetkellä tunnetuin linearisointimenetelmä on nimeltään DWA (data weighted averaging) algoritmi. Tässä työssä DWA:lle ja sen lukuisille varianteille esitellään eräänlainen yleistys, jonka avulla algoritmia voidaan soveltaa sekä alipäästö- että kaistanpäästö-DS-muuntimelle. Kuten tunnettua, DS-modulaattorin analyyttinen tarkastelu on raskasta. Yksi- ja monibittisten DS-muuntimien suunnitellun käyttäytymisen varmistaminen tapahtuukin yleensä simulointien avulla. Työssä esitetään simulointiperiaate, jolla voidaan kvalifioida (karakterisoida) monibittinen DS-muunnin. Tarkemmin, kvalifioinnin kohteena on DWA:n kaltaiset D/A -muuntimien linearisointimentelmät. Kyseessä on pyrkimys ennen kaikkea toistettavaan menetelmään, jolla eri menetelmiä voidaan verrata nopeasti ja luotettavasti. Tämän väitöstyön viimeinen kontribuutio on matemaattinen malli harhatoistojen syntymekanismille. Mallilla sekä DS-muunnoksen että DWA-D/A -muunnokseen liittyvät harhatoistot voidaan ennustaa tarkasti. Harhatoistot mallinnetaan yksinkertaisella havaintoihin perustuvalla FM-modulaatiokaavalla. Syntymekanismin mallinnus mahdollistaa DS-muuntimien ennustettavuuden ja täten auttaa harhatoiston kumoamismenetelmien kehittämistä. Työssä esitetään yksi matemaattisen mallin avulla kehitetty DWA-D/A -muunnoksen linearisointimenetelmä.

No description available.

Speech sounds generated by a simple waveform synthesizer were used to create a vector quantization codebook for use in speech recognition. Recognition was tested over the TI-20 isolated word data base using a conventional DTW matching algorithm. Input speech was band limited to 300 - 3300 Hz, then passed through the Scott Instruments Corp. Coretechs process, implemented on a VET3 speech terminal, to create the speech representation for matching. Synthesized sounds were processed in software by a VET3 signal processing emulation program. Emulation and recognition were performed on a DEC VAX 11/750. The experiments were organized in 2 series. A preliminary experiment, using no vector quantization, provided a baseline for comparison. The original codebook contained 109 vectors, all derived from 2 formant synthesized sounds. This codebook was decimated through the course of the first series of experiments, based on the number of times each vector was used in quantizing the training data for the previous experiment, in order to determine the smallest subset of vectors suitable for coding the speech data base. The second series of experiments altered several test conditions in order to evaluate the applicability of the minimal synthesized codebook to conventional codebook training. The baseline recognition rate was 97%. The recognition rate for synthesized codebooks was approximately 92% for sizes ranging from 109 to 16 vectors. Accuracy for smaller codebooks was slightly less than 90%. Error analysis showed that the primary loss in dropping below 16 vectors was in coding of voiced sounds with high frequency second formants. The 16 vector synthesized codebook was chosen as the seed for the second series of experiments. After one training iteration, and using a normalized distortion score, trained codebooks performed with an accuracy of 95.1%. When codebooks were trained and tested on different sets of speakers, accuracy was 94.9%, indicating that very little speaker dependence was introduced by the training.

Nonlinear sigma-models in physics have been a source of interesting and important ideas in geometry, topology, and algebra. One such model is the curved beta gamma system. This purely bosonic model studies maps from a Riemann surface to a target complex manifold X. The solutions to the classical equations of motion are holomorphic maps. An extension of this model - the so-called heterotic model, incorporates fermionic fields valued in a holomorphic vector bundle E on the complex manifold. In this thesis, I study this extended model within the framework of effective field theory and BV quantization developed by Kevin Costello. Building on earlier work of Gorbounov-Gwilliam-Williams in the purely bosonic case, my approach uses tools of Gelfand-Kazhdan formal geometry and derived deformation theory to extract obstructions to quantization (anomalies) and identify these with characteristic classes of the target manifold. Specifically, I show that the obstruction to solving the Quantum Master Equation can be identified with the class ch_2 (TX)-ch_2(E), and the obstruction to the quantizing equivariantly with respect to holomorphic vector fields on the source Riemann surface can be identified with c_1 (TX) - c_1(E). By analyzing the theory where the source is an elliptic curve, an explicit geometric construction of the partition function is given.