Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical structure. In particular we try to indicate some dynamical and combinatorial aspects of cut elimination, as well as its connections to complexity theory. We discuss two concrete examples where one can see the structure of short proofs with cuts, one concerning feasible numbers and the other concerning "bounded mean oscillation" from real analysis

Novel Electroweak Symmetry Breaking Conditions From Quantum Effects In The MSSM

We present, in the context of the Minimal Supersymmetric Standard Model, a detailed one-loop analytic study of the minimization conditions of the effective potential in the Higgs sector. Special emphasis is put on the role played by $Str M^4$ in the determination of the electroweak symmetry breaking conditions, where first and second order derivatives of the effective potential are systematically taken into account. Novel, necessary (and sufficient in the Higgs sector) model-independent constraints, are thus obtained analytically, leading to new theoretical lower and upper bounds on $\tan \beta$. Although fully model-independent, these bounds are found to be much more restrictive than the existing model-dependent ones! A first illustration is given in the context of a SUGRA-GUT motivated scenario.Comment: Latex, 45 pages, 5 figure

Proof of the Weak Gravity Conjecture from Black Hole Entropy

We prove that higher-dimension operators contribute positively to the entropy of a thermodynamically stable black hole at fixed mass and charge. Our results apply whenever the dominant corrections originate at tree level from quantum field theoretic dynamics. More generally, positivity of the entropy shift is equivalent to a certain inequality relating the free energies of black holes. These entropy inequalities mandate new positivity bounds on the coefficients of higher-dimension operators. One of these conditions implies that the charge-to-mass ratio of an extremal black hole asymptotes to unity from above for increasing mass. Consequently, large extremal black holes are unstable to decay to smaller extremal black holes and the weak gravity conjecture is automatically satisfied. Our findings generalize to arbitrary spacetime dimension and to the case of multiple gauge fields. The assumptions of this proof are valid across a range of scenarios, including string theory constructions with a dilaton stabilized below the string scale.Comment: 35 pages, 2 figure