The scale-separation conjecture for classical de Sitter solutions

Consider classical de Sitter solutions with an internal compactification volume, string coupling, orientifold sources, and quantized fluxes. The relevant regime is one with large internal volume, small string coupling, a bounded number of orientifolds, and quantized fluxes.

Scale-separation conjecture. Classical de Sitter solutions cannot have at the same time a large internal volume, a small string coupling, a bounded number of orientifolds and quantized fluxes.

This conjecture concerns whether controlled classical de Sitter solutions can simultaneously satisfy the usual parametric requirements for a reliable compactification. The supplied context does not state a proof or a resolution, so the conjecture remains open.