Der Renormierungsgruppen-Fluß der konform-reduzierten Quantengravitation

Wir analysieren die Rolle von "Hintergrundunabhängigkeit" im Zugang der effektiven Mittelwertwirkung zur Quantengravitation. Wenn der nicht-störungstheoretische Renormierungsgruppen-(RG)-Fluß "hintergrundunabhängig" ist, muß die Vergröberung durch eine nicht spezifizierte, variable Metrik definiert werden. Die Forderung nach "Hintergrundunabhängigkeit" in der Quantengravitation führt dazu, daß die funktionale RG-Gleichung von zusätzlichen Feldern abhängt; dadurch unterscheidet sich der RG-Fluß in der Quantengravitation deutlich von dem RG-Fluß einer gewöhnlichen Quantentheorie, deren Moden-Cutoff von einer starren Metrik abhängt. Beispielsweise kann in der "hintergrundunabhängigen" Theorie ein Nicht-Gauß'scher Fixpunkt existieren, obwohl die entsprechende gewöhnliche Quantentheorie keinen solchen entwickelt. Wir untersuchen die Bedeutung dieses universellen, rein kinematischen Effektes, indem wir den RG-Fluß der Quanten-Einstein-Gravitation (QEG) in einem "konform-reduzierten" Zusammenhang untersuchen, in dem wir nur den konformen Faktor der Metrik quantisieren. Alle anderen Freiheitsgrade der Metrik werden vernachlässigt. Die konforme Reduktion der Einstein-Hilbert-Trunkierung zeigt exakt dieselben qualitativen Eigenschaften wie in der vollen Einstein-Hilbert-Trunkierung. Insbesondere besitzt sie einen Nicht-Gauß'schen Fixpunkt, der notwendig ist, damit die Gravitation asymptotisch sicher ist. Ohne diese zusätzlichen Feldabhängigkeiten ist der RG-Fluß dieser Trunkierung der einer gewöhnlichen $phi^4$-Theorie. Die lokale Potentialnäherung für den konformen Faktor verallgemeinert den RG-Fluß in der Quantengravitation auf einen unendlich-dimensionalen Theorienraum. Auch hier finden wir sowohl einen Gauß'schen als auch einen Nicht-Gauß'schen Fixpunkt, was weitere Hinweise dafür liefert, daß die Quantengravitation asymptotisch sicher ist. Das Analogon der Metrik-Invarianten, die proportional zur dritten Potenz der Krümmung ist und die die störungstheoretische Renormierbarkeit zerstört, ist unproblematisch für die asymptotische Sicherheit der konform-reduzierten Theorie. Wir berechnen die Skalenfelder und -imensionen der beiden Fixpunkte explizit und diskutieren mögliche Einflüsse auf die Vorhersagekraft der Theorie. Da der RG-Fluß von der Topologie der zugrundeliegenden Raumzeit abhängt, diskutieren wir sowohl den flachen Raum als auch die Sphäre. Wir lösen die Flußgleichung für das Potential numerisch und erhalten Beispiele für RG-Trajektorien, die innerhalb der Ultraviolett-kritischen Mannigfaltigkeit des Nicht-Gauß'schen Fixpunktes liegen. Die Quantentheorien, die durch einige solcher Trajektorien definiert sind, zeigen einen Phasenübergang von der bekannten (Niederenergie-) Phase der Gravitation mit spontan gebrochener Diffeomorphismus-Invarianz zu einer neuen Phase von ungebrochener Diffeomorphismus-Invarianz. Diese Hochenergie-Phase ist durch einen verschwindenden Metrik-Erwartungswert charakterisiert.

Konstruktion und Analyse einer funktionalen Renormierungsgruppengleichung für Gravitation im Einstein-Cartan-Zugang

Während das Standardmodell der Elementarteilchenphysik eine konsistente, renormierbare Quantenfeldtheorie dreier der vier bekannten Wechselwirkungen darstellt, bleibt die Quantisierung der Gravitation ein bislang ungelöstes Problem. In den letzten Jahren haben sich jedoch Hinweise ergeben, nach denen metrische Gravitation asymptotisch sicher ist. Das bedeutet, daß sich auch für diese Wechselwirkung eine Quantenfeldtheorie konstruieren läßt. Diese ist dann in einem verallgemeinerten Sinne renormierbar, der nicht mehr explizit Bezug auf die Störungstheorie nimmt. Zudem sagt dieser Zugang, der auf der Wilsonschen Renormierungsgruppe beruht, die korrekte mikroskopische Wirkung der Theorie voraus. Klassisch ist metrische Gravitation auf dem Niveau der Vakuumfeldgleichungen äquivalent zur Einstein-Cartan-Theorie, die das Vielbein und den Spinzusammenhang als fundamentale Variablen verwendet. Diese Theorie besitzt allerdings mehr Freiheitsgrade, eine größere Eichgruppe, und die zugrundeliegende Wirkung ist von erster Ordnung. Alle diese Eigenschaften erschweren eine zur metrischen Gravitation analoge Behandlung.rnrnIm Rahmen dieser Arbeit wird eine dreidimensionale Trunkierung von der Art einer verallgemeinerten Hilbert-Palatini-Wirkung untersucht, die neben dem Laufen der Newton-Konstante und der kosmologischen Konstante auch die Renormierung des Immirzi-Parameters erfaßt. Trotz der angedeuteten Schwierigkeiten war es möglich, das Spektrum des freien Hilbert-Palatini-Propagators analytisch zu berechnen. Auf dessen Grundlage wird eine Flußgleichung vom Propertime-Typ konstruiert. Zudem werden geeignete Eichbedingungen gewählt und detailliert analysiert. Dabei macht die Struktur der Eichgruppe eine Kovariantisierung der Eichtransformationen erforderlich. Der resultierende Fluß wird für verschiedene Regularisierungsschemata und Eichparameter untersucht. Dies liefert auch im Einstein-Cartan-Zugang berzeugende Hinweise auf asymptotische Sicherheit und damit auf die mögliche Existenz einer mathematisch konsistenten und prädiktiven fundamentalen Quantentheorie der Gravitation. Insbesondere findet man ein Paar nicht-Gaußscher Fixpunkte, das Anti-Screening aufweist. An diesen sind die Newton-Konstante und die kosmologische Konstante jeweils relevante Kopplungen, wohingegen der Immirzi-Parameter an einem Fixpunkt irrelevant und an dem anderen relevant ist. Zudem ist die Beta-Funktion des Immirzi-Parameters von bemerkenswert einfacher Form. Die Resultate sind robust gegenüber Variationen des Regularisierungsschemas. Allerdings sollten zukünftige Untersuchungen die bestehenden Eichabhängigkeiten reduzieren.

A novel functional renormalization group framework for gauge theories and gravity

In this thesis we develop further the functional renormalization group (RG) approach to quantum field theory (QFT) based on the effective average action (EAA) and on the exact flow equation that it satisfies. The EAA is a generalization of the standard effective action that interpolates smoothly between the bare action for krightarrowinfty and the standard effective action rnfor krightarrow0. In this way, the problem of performing the functional integral is converted into the problem of integrating the exact flow of the EAA from the UV to the IR. The EAA formalism deals naturally with several different aspects of a QFT. One aspect is related to the discovery of non-Gaussian fixed points of the RG flow that can be used to construct continuum limits. In particular, the EAA framework is a useful setting to search for Asymptotically Safe theories, i.e. theories valid up to arbitrarily high energies. A second aspect in which the EAA reveals its usefulness are non-perturbative calculations. In fact, the exact flow that it satisfies is a valuable starting point for devising new approximation schemes. In the first part of this thesis we review and extend the formalism, in particular we derive the exact RG flow equation for the EAA and the related hierarchy of coupled flow equations for the proper-vertices. We show how standard perturbation theory emerges as a particular way to iteratively solve the flow equation, if the starting point is the bare action. Next, we explore both technical and conceptual issues by means of three different applications of the formalism, to QED, to general non-linear sigma models (NLsigmaM) and to matter fields on curved spacetimes. In the main part of this thesis we construct the EAA for non-abelian gauge theories and for quantum Einstein gravity (QEG), using the background field method to implement the coarse-graining procedure in a gauge invariant way. We propose a new truncation scheme where the EAA is expanded in powers of the curvature or field strength. Crucial to the practical use of this expansion is the development of new techniques to manage functional traces such as the algorithm proposed in this thesis. This allows to project the flow of all terms in the EAA which are analytic in the fields. As an application we show how the low energy effective action for quantum gravity emerges as the result of integrating the RG flow. In any treatment of theories with local symmetries that introduces a reference scale, the question of preserving gauge invariance along the flow emerges as predominant. In the EAA framework this problem is dealt with the use of the background field formalism. This comes at the cost of enlarging the theory space where the EAA lives to the space of functionals of both fluctuation and background fields. In this thesis, we study how the identities dictated by the symmetries are modified by the introduction of the cutoff and we study so called bimetric truncations of the EAA that contain both fluctuation and background couplings. In particular, we confirm the existence of a non-Gaussian fixed point for QEG, that is at the heart of the Asymptotic Safety scenario in quantum gravity; in the enlarged bimetric theory space where the running of the cosmological constant and of Newton's constant is influenced by fluctuation couplings.

Quantum Einstein gravity - advancements of heat kernel-based renormalization group studies

The asymptotic safety scenario allows to define a consistent theory of quantized gravity within the framework of quantum field theory. The central conjecture of this scenario is the existence of a non-Gaussian fixed point of the theory's renormalization group flow, that allows to formulate renormalization conditions that render the theory fully predictive. Investigations of this possibility use an exact functional renormalization group equation as a primary non-perturbative tool. This equation implements Wilsonian renormalization group transformations, and is demonstrated to represent a reformulation of the functional integral approach to quantum field theory.rnAs its main result, this thesis develops an algebraic algorithm which allows to systematically construct the renormalization group flow of gauge theories as well as gravity in arbitrary expansion schemes. In particular, it uses off-diagonal heat kernel techniques to efficiently handle the non-minimal differential operators which appear due to gauge symmetries. The central virtue of the algorithm is that no additional simplifications need to be employed, opening the possibility for more systematic investigations of the emergence of non-perturbative phenomena. As a by-product several novel results on the heat kernel expansion of the Laplace operator acting on general gauge bundles are obtained.rnThe constructed algorithm is used to re-derive the renormalization group flow of gravity in the Einstein-Hilbert truncation, showing the manifest background independence of the results. The well-studied Einstein-Hilbert case is further advanced by taking the effect of a running ghost field renormalization on the gravitational coupling constants into account. A detailed numerical analysis reveals a further stabilization of the found non-Gaussian fixed point.rnFinally, the proposed algorithm is applied to the case of higher derivative gravity including all curvature squared interactions. This establishes an improvement of existing computations, taking the independent running of the Euler topological term into account. Known perturbative results are reproduced in this case from the renormalization group equation, identifying however a unique non-Gaussian fixed point.rn

Investigations on asymptotic safety of metric, tetrad and Einstein-Cartan gravity

Among the different approaches for a construction of a fundamental quantum theory of gravity the Asymptotic Safety scenario conjectures that quantum gravity can be defined within the framework of conventional quantum field theory, but only non-perturbatively. In this case its high energy behavior is controlled by a non-Gaussian fixed point of the renormalization group flow, such that its infinite cutoff limit can be taken in a well defined way. A theory of this kind is referred to as non-perturbatively renormalizable. In the last decade a considerable amount of evidence has been collected that in four dimensional metric gravity such a fixed point, suitable for the Asymptotic Safety construction, indeed exists. This thesis extends the Asymptotic Safety program of quantum gravity by three independent studies that differ in the fundamental field variables the investigated quantum theory is based on, but all exhibit a gauge group of equivalent semi-direct product structure. It allows for the first time for a direct comparison of three asymptotically safe theories of gravity constructed from different field variables. The first study investigates metric gravity coupled to SU(N) Yang-Mills theory. In particular the gravitational effects to the running of the gauge coupling are analyzed and its implications for QED and the Standard Model are discussed. The second analysis amounts to the first investigation on an asymptotically safe theory of gravity in a pure tetrad formulation. Its renormalization group flow is compared to the corresponding approximation of the metric theory and the influence of its enlarged gauge group on the UV behavior of the theory is analyzed. The third study explores Asymptotic Safety of gravity in the Einstein-Cartan setting. Here, besides the tetrad, the spin connection is considered a second fundamental field. The larger number of independent field components and the enlarged gauge group render any RG analysis of this system much more difficult than the analog metric analysis. In order to reduce the complexity of this task a novel functional renormalization group equation is proposed, that allows for an evaluation of the flow in a purely algebraic manner. As a first example of its suitability it is applied to a three dimensional truncation of the form of the Holst action, with the Newton constant, the cosmological constant and the Immirzi parameter as its running couplings. A detailed comparison of the resulting renormalization group flow to a previous study of the same system demonstrates the reliability of the new equation and suggests its use for future studies of extended truncations in this framework.

Insertion of Dissipative Devices in Precast RC Structures

Viscous dampers are characterized as very effective devices applied for seismic design and retrofitting. The objective of this thesis is to apply the Five-Step Procedure ,developed by a research group in University of Bologna, for sizing the viscous dampers to be installed in an existing precast RC structure. The idea is to apply the viscous damping devices in different positions in the structure then to identify and compare the performance of all types placement position.

Two ways to common knowledge

It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towards such a system. We argue that the standard induction rule is not well suited to axiomatize evidence-based common knowledge. As an alternative, we study two different deductive systems for the logic of common knowledge. The first system makes use of an induction axiom whereas the second one is based on co-inductive proof theory. We show the soundness and completeness for both systems.

The bulk transition of many-flavour QCD and the search for a UVFP at strong coupling

We explore the nature of the bulk transition observed at strong coupling in the SU(3) gauge theory with Nf=12 fermions in the fundamental representation. The transition separates a weak coupling chirally symmetric phase from a strong coupling chirally broken phase and is compatible with the scenario where conformality is restored by increasing the flavour content of a non abelian gauge theory. We explore the intriguing possibility that the observed bulk transition is associated with the occurrence of an ultraviolet fixed point (UVFP) at strong coupling, where a new theory emerges in the continuum.

On a Microcomputer Implementation of an Intrusion-detection Algorithm

The main objective of this paper is to discuss various aspects of implementing a specific intrusion-detection scheme on a micro-computer system using fixed-point arithmetic. The proposed scheme is suitable for detecting intruder stimuli which are in the form of transient signals. It consists of two stages: an adaptive digital predictor and an adaptive threshold detection algorithm. Experimental results involving data acquired via field experiments are also included.

Squared Extrapolation Methods (SQUAREM): A New Class of Simple and Efficient Numerical Schemes for Accelerating the Convergence of the EM Algorithm

We derive a new class of iterative schemes for accelerating the convergence of the EM algorithm, by exploiting the connection between fixed point iterations and extrapolation methods. First, we present a general formulation of one-step iterative schemes, which are obtained by cycling with the extrapolation methods. We, then square the one-step schemes to obtain the new class of methods, which we call SQUAREM. Squaring a one-step iterative scheme is simply applying it twice within each cycle of the extrapolation method. Here we focus on the first order or rank-one extrapolation methods for two reasons, (1) simplicity, and (2) computational efficiency. In particular, we study two first order extrapolation methods, the reduced rank extrapolation (RRE1) and minimal polynomial extrapolation (MPE1). The convergence of the new schemes, both one-step and squared, is non-monotonic with respect to the residual norm. The first order one-step and SQUAREM schemes are linearly convergent, like the EM algorithm but they have a faster rate of convergence. We demonstrate, through five different examples, the effectiveness of the first order SQUAREM schemes, SqRRE1 and SqMPE1, in accelerating the EM algorithm. The SQUAREM schemes are also shown to be vastly superior to their one-step counterparts, RRE1 and MPE1, in terms of computational efficiency. The proposed extrapolation schemes can fail due to the numerical problems of stagnation and near breakdown. We have developed a new hybrid iterative scheme that combines the RRE1 and MPE1 schemes in such a manner that it overcomes both stagnation and near breakdown. The squared first order hybrid scheme, SqHyb1, emerges as the iterative scheme of choice based on our numerical experiments. It combines the fast convergence of the SqMPE1, while avoiding near breakdowns, with the stability of SqRRE1, while avoiding stagnations. The SQUAREM methods can be incorporated very easily into an existing EM algorithm. They only require the basic EM step for their implementation and do not require any other auxiliary quantities such as the complete data log likelihood, and its gradient or hessian. They are an attractive option in problems with a very large number of parameters, and in problems where the statistical model is complex, the EM algorithm is slow and each EM step is computationally demanding.

Smooth Estimation of a Monotone Density

We investigate the interplay of smoothness and monotonicity assumptions when estimating a density from a sample of observations. The nonparametric maximum likelihood estimator of a decreasing density on the positive half line attains a rate of convergence at a fixed point if the density has a negative derivative. The same rate is obtained by a kernel estimator, but the limit distributions are different. If the density is both differentiable and known to be monotone, then a third estimator is obtained by isotonization of a kernel estimator. We show that this again attains the rate of convergence and compare the limit distributors of the three types of estimators. It is shown that both isotonization and smoothing lead to a more concentrated limit distribution and we study the dependence on the proportionality constant in the bandwidth. We also show that isotonization does not change the limit behavior of a kernel estimator with a larger bandwidth, in the case that the density is known to have more than one derivative.

HIGH PERFORMANCE, LOW COST SUBSPACE DECOMPOSITION AND POLYNOMIAL ROOTING FOR REAL TIME DIRECTION OF ARRIVAL ESTIMATION: ANALYSIS AND IMPLEMENTATION

This thesis develops high performance real-time signal processing modules for direction of arrival (DOA) estimation for localization systems. It proposes highly parallel algorithms for performing subspace decomposition and polynomial rooting, which are otherwise traditionally implemented using sequential algorithms. The proposed algorithms address the emerging need for real-time localization for a wide range of applications. As the antenna array size increases, the complexity of signal processing algorithms increases, making it increasingly difficult to satisfy the real-time constraints. This thesis addresses real-time implementation by proposing parallel algorithms, that maintain considerable improvement over traditional algorithms, especially for systems with larger number of antenna array elements. Singular value decomposition (SVD) and polynomial rooting are two computationally complex steps and act as the bottleneck to achieving real-time performance. The proposed algorithms are suitable for implementation on field programmable gated arrays (FPGAs), single instruction multiple data (SIMD) hardware or application specific integrated chips (ASICs), which offer large number of processing elements that can be exploited for parallel processing. The designs proposed in this thesis are modular, easily expandable and easy to implement. Firstly, this thesis proposes a fast converging SVD algorithm. The proposed method reduces the number of iterations it takes to converge to correct singular values, thus achieving closer to real-time performance. A general algorithm and a modular system design are provided making it easy for designers to replicate and extend the design to larger matrix sizes. Moreover, the method is highly parallel, which can be exploited in various hardware platforms mentioned earlier. A fixed point implementation of proposed SVD algorithm is presented. The FPGA design is pipelined to the maximum extent to increase the maximum achievable frequency of operation. The system was developed with the objective of achieving high throughput. Various modern cores available in FPGAs were used to maximize the performance and details of these modules are presented in detail. Finally, a parallel polynomial rooting technique based on Newton’s method applicable exclusively to root-MUSIC polynomials is proposed. Unique characteristics of root-MUSIC polynomial’s complex dynamics were exploited to derive this polynomial rooting method. The technique exhibits parallelism and converges to the desired root within fixed number of iterations, making this suitable for polynomial rooting of large degree polynomials. We believe this is the first time that complex dynamics of root-MUSIC polynomial were analyzed to propose an algorithm. In all, the thesis addresses two major bottlenecks in a direction of arrival estimation system, by providing simple, high throughput, parallel algorithms.

Holomorphic families of nonequivalent embeddings and of holomorphic group actions on affine space

We construct holomorphic families of proper holomorphic embeddings of \mathbb {C}^{k} into \mathbb {C}^{n} (0\textless k\textless n-1), so that for any two different parameters in the family, no holomorphic automorphism of \mathbb {C}^{n} can map the image of the corresponding two embeddings onto each other. As an application to the study of the group of holomorphic automorphisms of \mathbb {C}^{n}, we derive the existence of families of holomorphic \mathbb {C}^{*}-actions on \mathbb {C}^{n} (n\ge5) so that different actions in the family are not conjugate. This result is surprising in view of the long-standing holomorphic linearization problem, which, in particular, asked whether there would be more than one conjugacy class of \mathbb {C}^{*}-actions on \mathbb {C}^{n} (with prescribed linear part at a fixed point).

A study of the impact of cigarette advertising on adolescent susceptibility to smoking among 5th-, 8th-, and 12th-grade students in Hempstead and Hitchcock Independent School Districts

This study assessed the impact of cigarette advertising on adolescent susceptibility to smoking in the Hempstead and Hitchcock Independent School Districts. A convenience sample of 217 youths, 10-19 years of age was recruited in the study. Students completed both a paper-and-pencil and a computer-aided questionnaire in April 1996. Adolescents were defined as susceptible to smoking if they could not definitely rule out the possibility of future smoking. For the analysis, an index was devised: a 5-point index of an individual's receptivity to cigarette advertising. The index is determined by the number of positive responses to five survey items (recognizing cigarette brand logos, recognizing cigarette advertisement's pictures, recognizing cigarette brand slogans, evaluating adolescent attitudes toward cigarette advertising, and the degree to which adolescents were exposed to cigarette advertisements). Using logistic regression, we assessed the independent importance of the index in predicting susceptibility to smoking and ever smoking after adjusting for sociodemographic variables, perceived school performance and family composition. Of students surveyed, 54.4% of students appeared to have started the smoking uptake process as measured by susceptibility to smoking. Camel was recognized by the majority of students (88%), followed by Marlboro (41.5%) and Newport (40.1%). The pattern for recognition of the cigarette advertisements was the same as the pattern of market for cigarette. Advertisement featuring the cartoon character Joe Camel was significantly more appealing to adolescents than were advertisements with human models, with animal models, and with text only (p $<$ 0.001). Text only advertisement was significantly less appealing than other types of advertisements. The cigarette advertisement with White models (Marlboro) had significantly higher appeal to White students than to African-American students (p $<$ 0.001). The cigarette advertisement featuring African-American models (Virginia Slims) was significantly more appealing to African-American students than other ethnic groups (p $<$ 0.001). Receptivity to cigarette advertising was to be an important concurrent predictor of past smoking experience and intention to smoke in the future. Adolescents who scored in the fourth quartile of the Index of Receptivity to Cigarette Advertising were 7.54 (95% confidence interval (CI) = 1.92-29.56) times as likely to be susceptible to smoking, and were 4.56 (95% CI = 1.55-13.38) times as likely to have tried smoking, as those who scored in the first quartile of the Index. The findings confirmed the hypothesis that cigarette advertising may be a strong current influence in encouraging adolescents to initiate the smoking uptake process than sociodemographic variables, perceived school performance and family composition. ^

Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.