Aspects of Integrability in Gauge/String Correspondence

In this thesis, we present our work about some generalisations of ideas, techniques and physical interpretations typical for integrable models to one of the most outstanding advances in theoretical physics of nowadays: the AdS/CFT correspondences. We have undertaken the problem of testing this conjectured duality under various points of view, but with a clear starting point - the integrability - and with a clear ambitious task in mind: to study the finite-size effects in the energy spectrum of certain string solutions on a side and in the anomalous dimensions of the gauge theory on the other. Of course, the final desire woul be the exact comparison between these two faces of the gauge/string duality. In few words, the original part of this work consists in application of well known integrability technologies, in large parte borrowed by the study of relativistic (1+1)-dimensional integrable quantum field theories, to the highly non-relativisic and much complicated case of the thoeries involved in the recent conjectures of AdS5/CFT4 and AdS4/CFT3 corrspondences. In details, exploiting the spin chain nature of the dilatation operator of N = 4 Super-Yang-Mills theory, we concentrated our attention on one of the most important sector, namely the SL(2) sector - which is also very intersting for the QCD understanding - by formulating a new type of nonlinear integral equation (NLIE) based on a previously guessed asymptotic Bethe Ansatz. The solutions of this Bethe Ansatz are characterised by the length L of the correspondent spin chain and by the number s of its excitations. A NLIE allows one, at least in principle, to make analytical and numerical calculations for arbitrary values of these parameters. The results have been rather exciting. In the important regime of high Lorentz spin, the NLIE clarifies how it reduces to a linear integral equations which governs the subleading order in s, o(s0). This also holds in the regime with L ! 1, L/ ln s finite (long operators case). This region of parameters has been particularly investigated in literature especially because of an intriguing limit into the O(6) sigma model defined on the string side. One of the most powerful methods to keep under control the finite-size spectrum of an integrable relativistic theory is the so called thermodynamic Bethe Ansatz (TBA). We proposed a highly non-trivial generalisation of this technique to the non-relativistic case of AdS5/CFT4 and made the first steps in order to determine its full spectrum - of energies for the AdS side, of anomalous dimensions for the CFT one - at any values of the coupling constant and of the size. At the leading order in the size parameter, the calculation of the finite-size corrections is much simpler and does not necessitate the TBA. It consists in deriving for a nonrelativistc case a method, invented for the first time by L¨uscher to compute the finite-size effects on the mass spectrum of relativisic theories. So, we have formulated a new version of this approach to adapt it to the case of recently found classical string solutions on AdS4 × CP3, inside the new conjecture of an AdS4/CFT3 correspondence. Our results in part confirm the string and algebraic curve calculations, in part are completely new and then could be better understood by the rapidly evolving developments of this extremely exciting research field.

Bistable elliptic equations with fractional diffusion

This work concerns the study of bounded solutions to elliptic nonlinear equations with fractional diffusion. More precisely, the aim of this thesis is to investigate some open questions related to a conjecture of De Giorgi about the one-dimensional symmetry of bounded monotone solutions in all space, at least up to dimension 8. This property on 1-D symmetry of monotone solutions for fractional equations was known in dimension n=2. The question remained open for n>2. In this work we establish new sharp energy estimates and one-dimensional symmetry property in dimension 3 for certain solutions of fractional equations. Moreover we study a particular type of solutions, called saddle-shaped solutions, which are the candidates to be global minimizers not one-dimensional in dimensions bigger or equal than 8. This is an open problem and it is expected to be true from the classical theory of minimal surfaces.

Essays on geography and diseases

This dissertation explores how diseases contributed to shape historical institutions and how health and diseases are still affecting modern comparative development. The overarching goal of this investigation is to identify the channels linking geographic suitability to diseases and the emergence of historical and modern insitutions, while tackling the endogenenity problems that traditionally undermine this literature. I attempt to do so by taking advantage of the vast amount of newly available historical data and of the richness of data accessible through the geographic information system (GIS). The first chapter of my thesis, 'Side Effects of Immunities: The African Slave Trade', proposes and test a novel explanation for the origins of slavery in the tropical regions of the Americas. I argue that Africans were especially attractive for employment in tropical areas because they were immune to many of the diseases that were ravaging those regions. In particular, Africans' resistance to malaria increased the profitability of slaves coming from the most malarial parts of Africa. In the second chapter of my thesis, 'Caste Systems and Technology in Pre-Modern Societies', I advance and test the hypothesis that caste systems, generally viewed as a hindrance to social mobility and development, had been comparatively advantageous at an early stage of economic development. In the third chapter, 'Malaria as Determinant of Modern Ethnolinguistic Diversity', I conjecture that in highly malarious areas the necessity to adapt and develop immunities specific to the local disease environment historically reduced mobility and increased isolation, thus leading to the formation of a higher number of different ethnolinguistic groups. In the final chapter, 'Malaria Risk and Civil Violence: A Disaggregated Analysis for Africa', I explore the relationship between malaria and violent conflicts. Using georeferenced data for Africa, the article shows that violent events are more frequent in areas where malaria risk is higher.

Essays in Gender Economics

This thesis consists of three papers on gender economics. Chapter 1 studies whether people dislike collaborating with someone who corrects them and whether the dislike is stronger when that person is a woman. Having a good relationship with colleagues is integral in group work, potentially leading to successful collaborations. However, there are occasions when people have to correct their colleagues. Using a quasi-laboratory experiment, I find that people, including those with high productivity, are less willing to collaborate with a person who has corrected them even if the correction improves group performance. In addition, I find suggestive evidence that men respond more negatively to women’s corrections, which is not driven by their beliefs about the difference in women’s and men’s abilities. These findings suggest that there is a behavioral bias in group work that distorts the optimal selection of talents and penalizes those who correct others’ mistakes, and the distortion may be stronger when women correct men. Chapter 2 studies the role of gender and cognitive skills on other peoples’ generosity. Using a novel experimental design where I exogenously vary gender and cognitive skills and sufficiently powered analysis, I find neither the two attributes nor their interactions affect other people’s generosity; if anything, people are more generous to women with high potential. Chapter 3 studies how increased legal tolerance toward domestic violence affects married women’s welfare using the domestic violence decriminalization bill introduced to the Russian national congress in 2016. Using difference-in-differences and flexibly controlling for macroeconomic shocks, I find that the bill decreased married women’s life satisfaction and increased depression, especially among those with a college degree and a highly qualified white-collar occupation supposed to be more sensitive to gender regressive atmosphere. Consistent with this conjecture, people became more tolerant toward general and domestic violence after the bill.

On Reasonable Space and Time Cost Models for the λ-Calculus

Slot and van Emde Boas Invariance Thesis states that a time (respectively, space) cost model is reasonable for a computational model C if there are mutual simulations between Turing machines and C such that the overhead is polynomial in time (respectively, linear in space). The rationale is that under the Invariance Thesis, complexity classes such as LOGSPACE, P, PSPACE, become robust, i.e. machine independent. In this dissertation, we want to find out if it possible to define a reasonable space cost model for the lambda-calculus, the paradigmatic model for functional programming languages. We start by considering an unusual evaluation mechanism for the lambda-calculus, based on Girard's Geometry of Interaction, that was conjectured to be the key ingredient to obtain a space reasonable cost model. By a fine complexity analysis of this schema, based on new variants of non-idempotent intersection types, we disprove this conjecture. Then, we change the target of our analysis. We consider a variant over Krivine's abstract machine, a standard evaluation mechanism for the call-by-name lambda-calculus, optimized for space complexity, and implemented without any pointer. A fine analysis of the execution of (a refined version of) the encoding of Turing machines into the lambda-calculus allows us to conclude that the space consumed by this machine is indeed a reasonable space cost model. In particular, for the first time we are able to measure also sub-linear space complexities. Moreover, we transfer this result to the call-by-value case. Finally, we provide also an intersection type system that characterizes compositionally this new reasonable space measure. This is done through a minimal, yet non trivial, modification of the original de Carvalho type system.