String theory dualities and supergravity divergences

We demonstrate how duality invariance of the low energy expansion of the four-supergraviton amplitude in type II string theory determines the precise coefficients of multiloop logarithmic ultraviolet divergences of maximal supergravity in various dimensions. This is illustrated by the explicit moduli-dependence of terms of the form ¿2k R4, with k ¿ 3, in the effective action. Furthermore, we show that in the supergravity limit the perturbative contributions are swamped by an accumulation of non-perturbative effects of zero-action instantons.

Quantum state density and critical temperature in M-theory

We discuss the asymptotic properties of quantum states density for fundamental p-branes which can yield a microscopic interpretation of the thermodynamic quantities in M-theory. The matching of the BPS part of spectrum for superstring and supermembrane gives the possibility of getting membrane's results via string calculations. In the weak coupling limit of M-theory, the critical behavior coincides with the first-order phase transition in the standard string theory at temperature less than the Hagedorn's temperature T-H. The critical temperature at large coupling constant is computed by considering M-theory on manifold with topology R-9 circle times T-2. Alternatively we argue that any finite temperature can be introduced in the framework of membrane thermodynamics.

Quantum states, thermodynamic limits, and entropy in M theory

We discuss the matching of the BPS part of the spectrum for a (super) membrane, which gives the possibility of getting the membrane's results via string calculations. In the small coupling limit of M theory the entropy of the system coincides with the standard entropy of type IIB string theory (including the logarithmic correction term). The thermodynamic behavior at a large coupling constant is computed by considering M theory on a manifold with a topology T-2 x R-9. We argue that the finite temperature partition functions (brane Laurent series for p not equal 1) associated with the BPS p-brane spectrum can be analytically continued to well-defined functionals. It means that a finite temperature can be introduced in brane theory, which behaves like finite temperature field theory. In the limit p --> 0 (point particle limit) it gives rise to the standard behavior of thermodynamic quantities.

Entropy and thermodynamic limits in M-theory

The matching of the BPS part of the (super) membrane's spectrum enables one to obtain membrane's results via string calculations. We compute the thermodynamic behavior at large coupling constant by considering M-theory on a manifold with topology T-2 X R-9. In the small coupling limit of M-theory the entropy coincides with the standard entropy of type IIB strings. We claim that the finite temperature partition functions associated with BPS p-brane spectrum can be analytically continued to well-defined functionals. This means that finite temperature can be introduced in brane theory. For the point particle limit (p --> 0) the entropy has the standard behavior of thermodynamic quantities.

New phenomenon of nonlinear Regge trajectory and quantum dual string theory

The relation between the spin and the mass of an infinite number of particles in a q-deformed dual string theory is studied. For the deformation parameter q a root of unity, in addition to the relation of such values of q with the rational conformal field theory, the Fock space of each oscillator mode in the Fubini-Veneziano operator formulation becomes truncated. Thus, based on general physical grounds, the resulting spin-(mass)2 relation is expected to be below the usual linear trajectory. For such specific values of q, we find that the linear Regge trajectory turns into a square-root trajectory as the mass increases.

A second look at gauged supergravities from fluxes in M-theory

We investigate reductions of M-theory beyond twisted tori by allowing the presence of KK6 monopoles (KKO6-planes) compatible with N = 4 supersymmetry in four dimensions. The presence of KKO6-planes proves crucial to achieve full moduli stabilisation as they generate new universal moduli powers in the scalar potential. The resulting gauged supergravities turn out to be compatible with a weak G2 holonomy at N = 1 as well as at some non-supersymmetric AdS4 vacua. The M-theory flux vacua we present here cannot be obtained from ordinary type IIA orientifold reductions including background fluxes, D6-branes (O6-planes) and/or KK5 (KKO5) sources. However, from a four-dimensional point of view, they still admit a description in terms of so-called non-geometric fluxes. In this sense we provide the M-theory interpretation for such non-geometric type IIA flux vacua.

Embedding Starobinsky inflation in string compactifications

A period of accelerated expansion of the primordial universe, known as inflation, represents the standard paradigm for the early universe cosmology. While inflation agrees with observational constraints, a complete understanding of its physical origin is not available yet. This suggests the necessity of an embedding into a more fundamental theory. String theory is arguably the best-developed candidate for an ultra-violet (UV) complete theory of gravity and string compactifications could provide a natural framework for addressing this issue. The aim of this thesis work is to investigate the potential embedding of Starobinsky inflation in effective field theories arising in string compactifications. In particular, we focus on two main objectives. The first one is the evaluation of Yukawa-like couplings in f (R)-theories of gravity with fermions, more specifically in the context of Starobinsky inflation. The second goal is understanding if any of the moduli which naturally arise in string compactifications has the right form of this coupling and displays the correct scalar potential, as needed for a possible identification with the scalar field driving Starobinsky inflation.

On recent developments in the theory of abstract differential equations with fractional derivatives

This note is motivated from some recent papers treating the problem of the existence of a solution for abstract differential equations with fractional derivatives. We show that the existence results in [Agarwal et al. (2009) [1], Belmekki and Benchohra (2010) [2], Darwish et al. (2009) [3], Hu et al. (2009) [4], Mophou and N`Guerekata (2009) [6,7], Mophou (2010) [8,9], Muslim (2009) [10], Pandey et al. (2009) [11], Rashid and El-Qaderi (2009) [12] and Tai and Wang (2009) [13]] are incorrect since the considered variation of constant formulas is not appropriate. In this note, we also consider a different approach to treat a general class of abstract fractional differential equations. (C) 2010 Elsevier Ltd. All rights reserved.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

The orthogonal subcategory problem in homotopy theory

It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. One proves similarly, on one hand, that homotopy localization exists with respect to sets of maps in every cofibrantly generated, left proper, simplicial model category M whose underlying category is locally presentable. On the other hand, as we show in this article, the existence of localization with respect to possibly proper classes of maps in a model category M satisfying the above assumptions is implied by a large-cardinal axiom called Vopënka's principle, although we do not know if the reverse implication holds. We also show that, under the same assumptions on M, every endofunctor of M that is idempotent up to homotopy is equivalent to localization with respect to some class S of maps, and if Vopënka's principle holds then S can be chosen to be a set. There are examples showing that the latter need not be true if M is not cofibrantly generated. The above assumptions on M are satisfied by simplicial sets and symmetric spectra over simplicial sets, among many other model categories.

Corruption and the Military in Politics: Theory and Evidence from around the World

Recent theoretical developments and case study evidence suggests a relationship between the military in politics and corruption. This study contributes to this literature by analyzing theoretically and empirically the role of the military in politics and corruption for the first time. By drawing on a cross sectional and panel data set covering a large number of countries, over the period 1984-2007, and using a variety of econometric methods substantial empirical support is found for a positive relationship between the military in politics and corruption. In sum, our results reveal that a one standard deviation increase in the military in politics leads to a 0.22 unit increase in corruption index. This relationship is shown to be robust to a variety of specification changes, different econometric techniques, different sample sizes, alternative corruption indices and the exclusion of outliers. This study suggests that the explanatory power of the military in politics is at least as important as the conventionally accepted causes of corruption, such as economic development.