Related papers: Taming the Landscape of Effective Theories
Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…
The Distance Conjecture states that an infinite tower of modes becomes exponentially light when approaching an infinite distance point in field space. We argue that the inherent path-dependence of this statement can be addressed when…
In this paper, we explore the string theory landscape obtained from type IIB and F-theory flux compactifications. We first give a comprehensive introduction to a number of mathematical finiteness theorems, indicate how they have been…
Inspired by the notion that physical systems can contain only a finite amount of information or complexity, we introduce a framework that allows for quantifying the amount of logical information needed to specify a function or set. We then…
Motivated by the idea that consistent quantum field theories should admit a finite description, we investigate the complexity of effective field theories using the framework of effective o-minimality. Our focus is on quantifying the…
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the…
The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…
We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…
In this thesis we provide new tools to determine and explore the Landscape of four-dimensional effective field theories originating from string and M-theory. The main aim is to introduce, within four-dimensional effective descriptions,…
We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…
Many observables in quantum field theories are involved non-analytic functions of the parameters of the theory. However, it is expected that they are not arbitrarily wild, but rather have only a finite amount of geometric complexity. This…
Identifying flux vacua in string theory with stabilized complex structure moduli presents a significant challenge, necessitating the minimization of a scalar potential complicated by infinitely many exponential corrections. In order to…
We first derive a class of six-dimensional (1,0) gauged supergravities arising from threefold compactifications of F-theory with background fluxes. The derivation proceeds via the M-theory dual reduction on an SU(3)-structure manifold with…
In the current debate referring to the construction of a tenable background independent theory of Quantum Gravity we introduce the notion of topos-theoretic relativization of physical representability and demonstrate its relevance…
We review recent work in which compactifications of string and M theory are constructed in which all scalar fields (moduli) are massive, and supersymmetry is broken with a small positive cosmological constant, features needed to reproduce…
We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…
F-theory is perhaps the most general currently available approach to study non-perturbative string compactifications in their geometric, large radius regime. It opens up a wide and ever-growing range of applications and connections to…
We review quantum causal histories starting with their interpretations as a quantum field theory on a causal set and a quantum geometry. We discuss the difficulties that background independent theories based on quantum geometry encounter in…