Perspectives for proof unwinding by programming languages techniques

In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author who hopes that it may inspire future and fellow researchers

Towards multi-scale dynamics on the baryonic branch of Klebanov-Strassler

We construct explicitly a new class of backgrounds in type-IIB supergravity which generalize the baryonic branch of Klebanov-Strassler. We apply a solution-generating technique that, starting from a large class of solutions of the wrapped-D5 system, yields the new solutions, and then proceed to study in detail their properties, both in the IR and in the UV. We propose a simple intuitive field theory interpretation of the rotation procedure and of the meaning of our new solutions within the Papadopoulos-Tseytlin ansatz, in particular in relation to the duality cascade in the Klebanov-Strassler solution. The presence in the field theory of different VEVs for operators of dimensions 2, 3 and 6 suggests that this is an important step towards the construction of the string dual of a genuinely multi-scale (strongly coupled) dynamical model.Comment: 37 pages, 7 figures. References added, version to appear in JHE

Inflation from Broken Scale Invariance

We construct a model of inflation based on a low-energy effective theory of spontaneously broken global scale invariance. This provides a shift symmetry that protects the inflaton potential from quantum corrections. Since the underlying scale invariance is non-compact, arbitrarily large inflaton field displacements are readily allowed in the low-energy effective theory. A weak breaking of scale invariance by almost marginal operators provides a non-trivial inflaton minimum, which sets and stabilizes the final low-energy value of the Planck scale. The underlying scale invariance ensures that the slow-roll approximation remains valid over large inflaton displacements, and yields a scale invariant spectrum of perturbations as required by the CMB observations.Comment: 18 pages, 3 figure

Dualities in Supersymmetric Field Theories

Lectures presented at the 33rd Karpacz Winter School ``Duality: Strings and Fields'' briefly introducing dualities in four-dimensional quantum field theory, and summarizing results found in supersymmetric field theories. The first lecture describes physical aspects of electric-magnetic (EM), strong-weak coupling (S), and infrared (IR) dualities. The second lecture focuses on results and conjectures concerning S-duality in N=2 supersymmetric gauge theories. The third lecture discusses IR-dualities and their relation to S-duality in N=1 supersymmetric field theories.Comment: 9 pages, latex with espcrc2.st

Isospin Dependence of Power Corrections in Deep Inelastic Scattering

We present results of a perturbative QCD analysis of deep inelastic measurements of both the deuteron and proton structure functions. We evaluate the theoretical uncertainty associated to nuclear effects in the deuteron, and we extract simultaneously the isospin depedendence of: i)the higher twists terms; ii) the ratio of the longitudinal to transverse cross sections; iii) the ratio of the neutron to proton structure functions. The extraction of the latter, in particular, has been at the center of an intense debate. Its accurate determination is crucial both theoretically and for the interpretation of the more precise neutrino experiments including the newly planned high intensity 50 GeV proton synchrotron.Comment: 33 pages, 16 figure