A Computational Companion to Transient de Sitter and Quasi de Sitter States in SO(32) and E_8 X E_8 Heterotic String Theories I: Formalisms
We construct four-dimensional de Sitter space as an excited state, rather than as a vacuum configuration, in type IIB, heterotic SO(32), and heterotic E_8 \times E_8 string theories. This framework provides a mechanism to evade vacuum-based no-go theorems for de Sitter solutions in string theory. Starting from a generic M-theory...