We elaborate on the construction of de Sitter solutions from IIA orientifolds of SU(3)-structure manifolds that solve the 10-dimensional equations of motion at tree-level in the approximation of smeared sources. First we classify geometries that are orbifolds of a group manifold covering space which, upon the proper inclusion of O6 planes, can be described within the framework of N=1 supergravity in 4D. Then we scan systematically for de Sitter solutions, obtained as critical points of an effective 4D potential. Apart from finding many new solutions we emphasize the challenges in constructing explicit classical de Sitter vacua, which have sofar not been met. These challenges are interesting avenues for further research and include finding solutions that are perturbatively stable, satisfy charge and flux quantization, and have genuine localized (versus smeared) orientifold sources. This paper intends to be self-contained and pedagogical, and thus can serve as a guide to the necessary technical tools required for this line of research. In an appendix we explain how to study flux and charge quantization in the presence of a non-trivial H-field using twisted homology.Comment: 50 pages, 3 figure

We investigate the type II string effective potential at tree-level and derive necessary ingredients for having de Sitter solutions in orientifold models with fluxes. Furthermore, we examine some explicit O6 compactifications in IIA supergravity on manifolds with SU(3)-structure in the limit where the orientifold sources are smeared. In particular, we use a simple ten-dimensional Ansatz for four-dimensional de Sitter solutions and find the explicit criteria in terms of the torsion classes such that these de Sitter solutions solve the equations of motion. We have verified these torsion conditions for the cosets and the Iwasawa manifold and it turns out that the conditions cannot be fulfilled for these spaces. However this investigation allows us to find new non-supersymmetric AdS solutions for some cosets. It remains an open question whether there exist SU(3)-structure manifolds that satisfy the conditions on the torsion classes for the simple de Sitter solutions to exist. 5 Discussion 20 A Form conventions and useful formulae 22 B 10D Einstein and dilaton equation 23 C IIA SUGRA 25 D SU(3)-structure equations 25

We show that the minimal set of necessary ingredients to construct explicit, four-dimensional de Sitter solutions from IIA string theory at tree-level are O6-planes, non-zero Romans mass parameter, form fluxes, and negative internal curvature. To illustrate our general results, we construct such minimal simple de Sitter solutions from an orientifold compactification of compact hyperbolic spaces. In this case there are only two moduli and we demonstrate that they are stabilized to a sufficiently weakly coupled and large volume regime. We also discuss generalizations of the scenario to more general metric flux constructions.

In this work, we propose a testing procedure to distinguish between the different approaches for computing complexity. Our test does not require a direct comparison between the approaches and thus avoids the issue of choice of gates, basis, etc. The proposed testing procedure employs the informationtheoretic measures Loschmidt echo and Fidelity; the idea is to investigate the sensitivity of the complexity (derived from the different approaches) to the evolution of states. We discover that only circuit complexity obtained directly from the wave function is sensitive to time evolution, leaving us to claim that it surpasses the other approaches. We also demonstrate that circuit complexity displays a universal behaviour-the complexity is proportional to the number of distinct Hamiltonian evolutions that act on a reference state. Due to this fact, for a given number of Hamiltonians, we can always find the combination of states that provides the maximum complexity; consequently, other combinations involving a smaller number of evolutions will have less than maximum complexity and, hence, will have resources. Finally, we explore the evolution of complexity in non-local theories; we demonstrate the growth of complexity is sustained over a longer period of time as compared to a local theory.

We propose a new diagnostic for quantum chaos. We show that time evolution of complexity for a particular type of target state can provide equivalent information about the classical Lyapunov exponent and scrambling time as out-of-time-order correlators. Moreover, for systems that can be switched from a regular to unstable (chaotic) regime by a tuning of the coupling constant of the interaction Hamiltonian, we find that the complexity defines a new time scale. We interpret this time scale as recording when the system makes the transition from regular to chaotic behaviour.