Use of computer algebra in the calculation of Feynman diagrams

The increasing precision of current and future experiments in high-energy physics requires a likewise increase in the accuracy of the calculation of theoretical predictions, in order to find evidence for possible deviations of the generally accepted Standard Model of elementary particles and interactions. Calculating the experimentally measurable cross sections of scattering and decay processes to a higher accuracy directly translates into including higher order radiative corrections in the calculation. The large number of particles and interactions in the full Standard Model results in an exponentially growing number of Feynman diagrams contributing to any given process in higher orders. Additionally, the appearance of multiple independent mass scales makes even the calculation of single diagrams non-trivial. For over two decades now, the only way to cope with these issues has been to rely on the assistance of computers. The aim of the xloops project is to provide the necessary tools to automate the calculation procedures as far as possible, including the generation of the contributing diagrams and the evaluation of the resulting Feynman integrals. The latter is based on the techniques developed in Mainz for solving one- and two-loop diagrams in a general and systematic way using parallel/orthogonal space methods. These techniques involve a considerable amount of symbolic computations. During the development of xloops it was found that conventional computer algebra systems were not a suitable implementation environment. For this reason, a new system called GiNaC has been created, which allows the development of large-scale symbolic applications in an object-oriented fashion within the C++ programming language. This system, which is now also in use for other projects besides xloops, is the main focus of this thesis. The implementation of GiNaC as a C++ library sets it apart from other algebraic systems. Our results prove that a highly efficient symbolic manipulator can be designed in an object-oriented way, and that having a very fine granularity of objects is also feasible. The xloops-related parts of this work consist of a new implementation, based on GiNaC, of functions for calculating one-loop Feynman integrals that already existed in the original xloops program, as well as the addition of supplementary modules belonging to the interface between the library of integral functions and the diagram generator.

Le matrici e la loro algebra

In questa tesi ci si propone lo studio dell'anello delle matrici quadrate di ordine n, su un campo, per arrivare a dimostrare che ha solo ideali banali pur non essendo un campo. Allo scopo si introducono le operazioni elementari e il procedimento di traduzione di tali operazioni con opportune moltiplicazioni per matrici dette elementari. Si considera inoltre il gruppo generale lineare arrivando a dimostrare che un particolare sottoinsieme delle matrici elementari è un generatore di tale gruppo.

Cosmological predictions for a scalar tensor dark energy model by a dedicated Einstein-Boltzmann code

We have extended the Boltzmann code CLASS and studied a specific scalar tensor dark energy model: Induced Gravity

Black hole evaporation and stress tensor correlations

General Relativity is one of the greatest scientific achievementes of the 20th century along with quantum theory. These two theories are extremely beautiful and they are well verified by experiments, but they are apparently incompatible. Hints towards understanding these problems can be derived studying Black Holes, some the most puzzling solutions of General Relativity. The main topic of this Master Thesis is the study of Black Holes, in particular the Physics of Hawking Radiation. After a short review of General Relativity, I study in detail the Schwarzschild solution with particular emphasis on the coordinates systems used and the mathematical proof of the classical laws of Black Hole "Thermodynamics". Then I introduce the theory of Quantum Fields in Curved Spacetime, from Bogolubov transformations to the Schwinger-De Witt expansion, useful for the renormalization of the stress energy tensor. After that I introduce a 2D model of gravitational collapse to study the Hawking radiation phenomenon. Particular emphasis is given to the analysis of the quantum states, from correlations to the physical implication of this quantum effect (e.g. Information Paradox, Black Hole Thermodynamics). Then I introduce the renormalized stress energy tensor. Using the Schwinger-De Witt expansion I renormalize this object and I compute it analytically in the various quantum states of interest. Moreover, I study the correlations between these objects. They are interesting because they are linked to the Hawking radiation experimental search in acoustic Black Hole models. In particular I find that there is a characteristic peak in correlations between points inside and outside the Black Hole region, which correpsonds to entangled excitations inside and outside the Black Hole. These peaks hopefully will be measurable soon in supersonic BEC.

Hypergraph Mining for Social Networks

Nowadays, more and more data is collected in large amounts, such that the need of studying it both efficiently and profitably is arising; we want to acheive new and significant informations that weren't known before the analysis. At this time many graph mining algorithms have been developed, but an algebra that could systematically define how to generalize such operations is missing. In order to propel the development of a such automatic analysis of an algebra, We propose for the first time (to the best of my knowledge) some primitive operators that may be the prelude to the systematical definition of a hypergraph algebra in this regard.

Machine Learning applicato al Web Semantico: Statistical Relational Learning vs Tensor Factorization

Obiettivo della tesi è analizzare e testare i principali approcci di Machine Learning applicabili in contesti semantici, partendo da algoritmi di Statistical Relational Learning, quali Relational Probability Trees, Relational Bayesian Classifiers e Relational Dependency Networks, per poi passare ad approcci basati su fattorizzazione tensori, in particolare CANDECOMP/PARAFAC, Tucker e RESCAL.

Algebra esterna e grassmanniane

Nella tesi viene fornita una costruzione dell'algebra esterna di un K-spazio vettoriale, alcune conseguenze principali come la derivazione in maniera traspente del determinante di e alcune sue proprietà e l'introduzione del concetto di Grassmanniana.

String inflationary models with non-monotonic slow-roll and detectable tensor modes

The first chapter of this work has the aim to provide a brief overview of the history of our Universe, in the context of string theory and considering inflation as its possible application to cosmological problems. We then discuss type IIB string compactifications, introducing the study of the inflaton, a scalar field candidated to describe the inflation theory. The Large Volume Scenario (LVS) is studied in the second chapter paying particular attention to the stabilisation of the Kähler moduli which are four-dimensional gravitationally coupled scalar fields which parameterise the size of the extra dimensions. Moduli stabilisation is the process through which these particles acquire a mass and can become promising inflaton candidates. The third chapter is devoted to the study of Fibre Inflation which is an interesting inflationary model derived within the context of LVS compactifications. The fourth chapter tries to extend the zone of slow-roll of the scalar potential by taking larger values of the field φ. Everything is done with the purpose of studying in detail deviations of the cosmological observables, which can better reproduce current experimental data. Finally, we present a slight modification of Fibre Inflation based on a different compactification manifold. This new model produces larger tensor modes with a spectral index in good agreement with the date released in February 2015 by the Planck satellite.

Lie algebras and triple systems

This thesis is dedicated to the Tits-Kantor-Koecher (TKK) construction which establishes a bijective correspondence between unital Jordan algebras and shortly graded Lie algebras with Z-grading induced by an sl_2-triple. It is based on the observation that if g is a Lie algebra with a short Z-grading and f lies in g_1, then the formula ab=[[a,f],b] defines a structure of a Jordan algebra on g_{-1}. The TKK construction has been extended to Jordan triple systems and, more recently, to the so-called Kantor triple systems. These generalizations are studied in the thesis.

Il teorema dei quattro vertici e il teorema di Jordan-Schönflies

Una curva di Jordan è una curva continua nel piano, semplice e chiusa. Lo scopo della tesi è presentare tre teoremi riguardanti le curve di Jordan. Il teorema dei quattro vertici afferma che ogni curva di Jordan regolare di classe C^2 ha almeno quattro punti in cui la curvatura orientata ha un massimo o un minimo locali. Il teorema della curva di Jordan asserisce che una curva di Jordan divide il piano esattamente in due parti, l'interno e l'esterno della curva. Secondo il teorema di Schönflies, la chiusura dell'interno di una curva di Jordan è omeomorfa a un disco chiuso.

Il polinomio strutturale di un'algebra monounaria

Questa tesi descrive alcune proprietà delle algebre monounarie finite e si propone di trovare un metodo per classificarle. Poiché infatti il numero di algebre di ordine n aumenta notevolmente con la crescita di quest’ultimo, si cerca un modo per suddividerle in classi d’isomorfismo. In particolare, dal momento che anche il numero di queste classi cresce esponenzialmente all’aumentare di n, utilizziamo una classificazione meno fine dell’isomorfismo basata sul polinomio strutturale. Grazie a questo strumento infatti è possibile risalire a famiglie di grafi orientati associati ad algebre monounarie, a due a due non isomorfi, ricavando perciò alcune specifiche caratteristiche di quest’ultime. Infine, calcolando l’ordine di gruppi particolari, detti automorfi, si può ottenere l’effettivo numero di algebre aventi un dato polinomio strutturale.

Eye movement and diffusion tensor imaging analysis of treatment effects in a Niemann-Pick Type C patient

New treatment options for Niemann-Pick Type C (NPC) have recently become available. To assess the efficiency and efficacy of these new treatment markers for disease status and progression are needed. Both the diagnosis and the monitoring of disease progression are challenging and mostly rely on clinical impression and functional testing of horizontal eye movements. Diffusion tensor imaging (DTI) provides information about the microintegrity especially of white matter. We show here in a case report how DTI and measures derived from this imaging method can serve as adjunct quantitative markers for disease management in Niemann-Pick Type C. Two approaches are taken--first, we compare the fractional anisotropy (FA) in the white matter globally between a 29-year-old NPC patient and 18 healthy age-matched controls and show the remarkable difference in FA relatively early in the course of the disease. Second, a voxelwise comparison of FA values reveals where white matter integrity is compromised locally and demonstrate an individualized analysis of FA changes before and after 1year of treatment with Miglustat. This method might be useful in future treatment trials for NPC to assess treatment effects.

Forensic application of postmortem diffusion-weighted and diffusion tensor MR imaging of the human brain in situ

DWI and DTI of the brain have proved to be useful in many neurologic disorders and in traumatic brain injury. This prospective study aimed at the evaluation of the influence of the PMI and the cause of death on the ADC and FA for the application of DWI and DTI in forensic radiology.