{'fraction_non_alphanumeric': 0.030899787844752277, 'fraction_numerical': 0.01647323099962561, 'mean_word_length': 4.3521239647341705, 'pattern_counts': {'":': 0, '<': 8, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Classical dS solutions in 3d without tachyons?

We continue the study of compactifications of massive IIA supergravity on G2 orientifolds and demonstrate that breaking supersymmetry with anti-D2 and anti-D6 sources leads to 3d theories for which the typical tachyons haunting classical dS solutions can be absent. However for a concrete torus example the meta-stable dS window disappears after a quantization of fluxes and charges. We discuss the prospects of more general G2 compactifications and argue that they could potentially alleviate the tachyon problem by introducing larger tadpole numbers and warped throats. However, exactly those ingredients then seem to push the vacuum towards the brink of perturbative brane-flux decay in the open string sector. This is either a remarkable illustration of the no-dS swampland conjecture or such vacua live in very difficult to control regions of parameter space.


Introduction
One of the most basic requirements for undertaking string phenomenological research is moduli stabilization and controlled SUSY breaking in such a way that the extra dimensions are invisible because their fluctuations require too much energy to be detectable with current technology. Hence the search for string vacua with small extra dimensions, stabilized moduli and absence of supersymmetry remains a worthy endeavor. A conservative viewpoint would furthermore require the vacuum to be a meta-stable dS space. Such view on string phenomenology is however not the only one, and one can contemplate instead brane world models or situations in which fields roll down an effective potential. Thanks to the work on the Swampland program [1,2] it became clear that there is no consensus in the community on whether string theory actually achieves a landscape of flux vacua with said properties and thus no convergence on which viewpoint will turn out to be the right path for the future of string phenomenology.
Here we continue the scrutiny of the conservative setting; can we achieve small extra dimensions, with all moduli stabilized and SUSY broken in a dS vacuum? This question has been studied, for obvious reasons, mostly for flux vacua in 4d, see [3][4][5][6][7] for general reviews and [8][9][10] for reviews with an emphasis on de Sitter vacua. It is however useful to think of other dimensions as well. From a landscape viewpoint this is anyways required if one wishes to understand what the total space of vacua is. Generic vacua can have any number of compact dimensions up to 9. It should also be obvious that there are more vacua in lower dimensions since the amount of compact manifolds, ways to wrap branes and fluxes increases dramatically with every extra compact dimensions. Very intriguingly there is not a single suggestion known to achieve moduli stabilization with small compact dimensions in d > 4. That makes d = 4 rather special in a flux context similarly to the string gas picture [11].
In this work in particular we will consider 3d vacua. In [12] we have argued that compactifications of massive IIA supergravity on G2 orientifolds with fluxes can lead to full moduli stabilization in 3d (SUSY) AdS vacua that allow a tuning to arbitrary weak string coupling, large radii and a parametric separation of scales between the AdS length and the KK scale. This is very analogous to flux compactifications of massive IIA on Calabi-Yau orientifolds to four dimensions [13,14].
Such striking parametric separation of scales at weak coupling is in contradiction with some Swampland conjectures [15] (see also [16]). These conjectures are loosely derived from the distance conjecture [17] and inspired from no-go theorems with given assumptions [18]. Recently however a suggestion was made how the massive IIA vacua can nonetheless be consistent with the web of swampland conjectures in a very interesting way [19]. So purely based on the conceptual ideas surrounding the Swampland it could be that such scale separation is consistent with our understanding of string theory and the question is much open right now.
On the technical side however, there have always been reasons to doubt the consistency of the massive IIA vacua [20,21]. These worries are related to the backreaction of the O6-planes which have only been taken into account in a smeared fashion [22]. Relatedly there is also no 11-dimensional uplift of the strongly coupled region near an O6 singularity. However, partial results about the backreaction of the localized sources are known and encouraging [23][24][25] and simple flux vacua exist for which it can be shown that smearing is harmless on the condition there is a large volume/weak coupling limit [26].
It is our hope that having an infinite family of 3d AdS vacua with scale separation at weak coupling allows an easier holographic CFT study than with 4d vacua which hopefully shines a complementary light on these issues.
In this paper we continue our study of compactifications of massive IIA supergravity on G2 orientifolds with fluxes but turn to the question of the existence of meta-stable dS vacua which have been conjectured to be impossible completely [9,27,28] or impossible at sufficiently weak coupling [29][30][31][32]. Our setup is entirely classical in the sense that we stick to 10d supergravity at the two-derivative level with orientifold and D-brane sources.
The quest for classical dS vacua has already a history and started with the suggestive works [33,34] and later the more concrete proposals of [35][36][37]. A thorough but outdated scan and overview can be found in [38] whereas an update of the recent situation is described in [39][40][41][42][43] and [44][45][46]. Most of these works focussed on 4d vacua, but some preliminary results about higher dimensions are known [27] and a complicated suggestion for a metastable solution in 3d was proposed in [47].
In here we follow a route towards classical dS solutions akin to [47] (but considerably simpler) and consider general mixtures of orientifold and anti-brane sources such that the lower-dimensional would-be EFT has no (linearly linearized) supersymmetry. Of course the dangers are around every corner in that case since one should worry about the anti-brane stability as well as their backreaction. In contrast, most of the works on classical dS solutions start with calibrated orientifold and D-brane sources and break SUSY spontaneously instead of explicitly which provides slightly more control at first sight. Nonetheless we will argue for a certain amount of control directly from 10 dimensions, by verifying whether the approximations made are justified. This means that all curvature and inverse length scales should be small in string units and that the string coupling is small. In our concrete example this will be the case but not parametrically in contrast with the AdS vacua constructed in an earlier paper [12]. The most surprising outcome of our analysis is that by adding two different species of anti-branes together, namely anti-D2 and anti-D6, we can achieve dS critical points with the following properties: 1) with some tuning of coefficients we can get rid of the typical tachyons present in classical dS vacua, 2) the internal manifold does not need to be negatively curved, 3) the resulting model is very simple. Unfortunately the tuning required is impossible for the simple torus examples in this paper, but there is no reason to expect that a general G2 construction with warped throats would not allow it. Interestingly we will find evidence that exactly those ingredients could trigger perturbative brane-flux decay. This can be taken as non-trivial circumstantial evidence for the no-dS conjecture although more concrete models should be constructed to verify our general findings.
We have argued in a previous paper that G2 compacfications of massive IIA supergravity with O2/O6 sources allow the stabilization of all moduli if enough fluxes are turned on [12]. The vacua are then (SUSY) AdS 3 at tunably weak coupling, large length scales and separation between KK and AdS scale. It is then tempting to somehow uplift these vacua to meta-stable dS by adding SUSY-breaking ingredients with positive energy. It is known that this is not a good strategy in 4d [48] 1 and the same applies in 3d. Heuristically this works as follows: AdS vacua that are well suited for uplifting have the feature that the mass m of the lightest (non-axionic) scalar is large in AdS units, that is where L is the AdS length. Such vacua are at the bottom of a scalar potential that approaches zero from below while being very narrow as depicted in figure 1 below. Due to the large L a small SUSY-breaking source necessarily brings one to positive energy and due to the high m 2 it will not destabilize the system. So models that achieve (2.1) very well were therefore conjectured to be in the Swampland [50]. This Swampland conjecture is of course inspired by the no-dS conjectures but applies to AdS vacua and should therefore be easier to prove or disprove. Despite the difficulty in finding vacua obeying (2.1) this conjecture is furthermore inspired by the bizarre properties the dual CFT would have since m 2 L 2 determines the dual conformal operator weight. The KKLT and LVS AdS vacua [51,52] are our most concrete suggestions for vacua that get close to obey (2.1), but they cannot do so tunably. Racetrack models are build to achieve (2.1) if they would allow the "Kallosh-Linde" fine-tuning [53], but there is not a single string theory example showing such behavior and it might also be in tension with Swampland bounds on axion decay constants [54], see however [55,56]. Finally it has been demonstrated that non-geometric flux backgrounds can achieve (2.1) arbitrary well because they allow modulistabilized Minkowski solutions [57,58], where effectively m 2 L 2 = ∞. But such backgrounds are far from being shown to be trustworthy because the EFTs derived from non-geometry are difficult to control, see [59] for a review.
Although KKLT and LVS do not obey (2.1) tunably it is suggested they achieve it sufficiently well to allow anti-D3 uplifts to dS vacua. However that procedure would require warped throats in order to make the uplift energy tunably small, but recently it has been appreciated that demanding the throat volume to fit inside the total Calabi-Yau volume is so constraining that the tuning freedom might be lost [60]. We will come back to issues related to gluing throat regions into compact spaces later.
This paper is about following a somewhat related strategy but in 3d and with only classical 2 ingredients (fluxes, branes and orientifolds). So we turn to massive IIA supergravity with O2/O6-planes, (anti) D2/D6-branes. We will not attempt to uplift the AdS vacua of [12], but we will instead search directly for meta-stable de Sitter critical points arising from uplifting moduli-stabilized non-SUSY Minkowski critical points. Obviously any non-SUSY Minkowski minimum that is not of the no-scale type will arise from a finetuning that is almost certainly impossible after quantization of fluxes and charges, but we will use it nonetheless as a guiding principle and afterwards compute what the effects of the quantization are. For the sake of meta-stable dS 3 solutions quantization will turn out problematic for simple set-ups but we argue that we do not expect this to be a real issue for more involved set-ups.
We start our analysis by restricting to the universal bulk moduli, that is the dilaton and the volume. Generically these scalars are the typical place where the classical tachyonic instability would show up when we study Minkowski/de Sitter vacua with broken and full moduli stabilization. 3 As we will see this situation is seemingly not the case here because these tachyons don't show up in a generic setup. A reasons for why we can avoid tachyons is related to our discussion around figure 1 as the "Minkowski limit" of our models is not of the no-scale type, see also [62].
The two universal bulk moduli we have here are the real scalars x and y and they are a linear combination of the dilaton and the volume modulus defined in [12] and equation (3.23) further below. The scalar potential then reads where we have used the symbols A, F, H, C, T to indicate the various contributions from the fluxes and the sources. These are functions of all other scalar fields specific to a compactification. We will give the exact origin of these terms and their form for a toroidal orbifold in the next section. The coefficient A relates to the O2-plane tension and T to the O6-plane tension and both are negative. The coefficients F , H and C are related to |F 4 | 2 , |H 3 | 2 and |F 0 | 2 respectively, and they are positive definite. For technical simplicity we also absorb the vacuum values of x and y in these coefficients such that Similar to [33,34] we then analyze the three conditions where we use > 0 to parametrize the small vacuum energy. The "Minkowski limit" is therefore = 0 and we will consider it essentially as a crude estimation to test stability, and building on that, only a small uplifting will then give meta-stable de Sitter. Once we apply these equations to the scalar potential we get after few manipulations (2.5) Note that the consistency of these vacua simply requires H > C, H > F , A < 0 and T < 0 because we are assuming small . The mass matrix of the x and y scalars has eigenvalues given by where we have used the vacuum conditions. Since we can make arbitrarily small, to check the positivity of the masses we only need to look at the -independent parts (i.e. the Minkowski limit). The reader can verify that which is in complete agreement with the consistency of the de Sitter solutions. We thus conclude that we have at hand a classical framework for "mass production" of 3d de Sitter. The reason it works (at the level of the 2 universal scalars) is exactly because of our arguments surrounding figure 1: we have assumed small (effectively put it to zero) and found a positive mass matrix in the universal directions. So the presence of such regions in the scalar potential implies there are good reasons to expect meta-stable vacua.
We will see however for our specific example that careful consideration of quantization and tadpole conditions changes this naive estimate and makes us wonder if these vacua are in the swampland instead. Indeed notice first that if we did not take small then we could have instabilities because the leading order contribution of to the masses is (2.8) From the second term we can see why an instability can arise if the de Sitter vacuum is not shallow enough, i.e. if is not small enough. In fact due to flux quantization the vacuum conditions (2.5) put strong constraints on the possible values of , especially once we take the tadpole cancelation conditions into account which bound the fluxes. Therefore having arbitrarily small should not be taken for granted. Note that our analysis has not used any curvature of the internal 7D manifold, which would contribute another piece to the 3d potential. The fact that the equations ∂ x V = ∂ y V = 0 are consistent with the absence of such a term is different from the usual classical dS vacua constructions. The reason this is possible now is because of a mixture of different brane types, i.e., O2/D2 and O6/D6, which is usually not considered. One could worry that a Ricci-flat Ansatz is not consistent with the 10d equations of motion due to backreaction of fluxes. However the self-consistency of the approach is guaranteed if a critical point is found and from a 10d viewpoint one finds that the negative tension of the smeared orientifolds exactly cancels the positive tension of the branes and fluxes inside the compact dimensions. Whether or not the smearing of the orientifolds is a problem depends probably on how small the coupling can be and how large the internal volume is [26].

A toroidal example
In the previous section from the generic form of the scalar potential we have argued that massive IIA compactified on a 7D Ricci flat space with O-plane and anti-D-brane sources could potentially lead to meta-stable de Sitter vacua. Now we attempt at finding a specific example: we specify the ingredients, we derive the potential (2.2), and we also discuss the tadpoles and flux quantization conditions. We set α = 1, we utilize the orientifold and orbifold of [12], and we focus directly on solutions with an isotropic seven-torus for simplicity but also as we will show, it can guarantee stability of the non-universal scalars.

Toroidal orientifold recap
Before venturing into the fluxes and the moduli let us review the toroidal orientifold (i.e. the singular G2) used in [12]. We shall refer to this internal 7d space as X. To construct it we consider a seven-torus T 7 with coordinates y m y m + 1 and we orbifold over the group of and one should also include all their combinations, e.g. Θ αβ = Θ α Θ β , etc., in the group Γ. We do not resolve the singularities and as a result we are working with a singular G2 space for which b 3 = 7. The calibrated 3-form is given by where the s i (x) describe the internal metric deformations. The basis of harmonic 3-forms is given by where dy 127 = dy 1 ∧ dy 2 ∧ dy 7 , etc. We also make use of a basis of harmonic four-forms Ψ i which are defined by Finally the volume is given by where we use T 7 dy 1 ∧ · · · ∧ dy 7 = 1 in the covering space. Now we turn to the space-filling O2-planes. We consider the target space part of the O2 action, denoted σ, as the following Z 2 involution The σ has 2 7 fixed points in the torus covering space. The G2 calibration is odd under the O2 involution and also note that the Γ and the σ commute. Moreover, we ask that the orbifold image of an O2 is again some physical object and as a result we find in total 7 different directions for O6-planes that are defined by the respective combination of σ and Γ. For example one can see that the target space part of the involution induced by O6 α is σΘ α . The target space part of each O6 involution has 2 3 fixed points. From here we see that the total O6 source 3-form J 3 appearing in the F 2 Bianchi identity will be given by These involutions reduce greatly the amount of remaining supersymmetry in 3 dimensions. Firstly the orbifold Γ reduces the "N=16" (in 3d spinors) of the massive IIA to N=2 in three dimension, and then the O2 further reduces the surviving supersymmetry to N=1. As a result the formulation of this theory becomes purely real. Indeed, the only closed string scalars are the s i that come from the metric, and the dilaton φ. The second Betti number b 2 vanishes so there are also no axions coming from C 3 . Once we add anti-branes and do not include the degrees of freedom that allow anti-branes to decay against fluxes the 3d theory has no linear supersymmetry. Of course in the open string sector there will be scalars corresponding to anti-D2 and anti-D6 positions -such scalars will have compact field ranges and tend to be stabilized in regions of high warping, if any.

Tadpoles, flux quantization and potential
Let us first look at the Bianchi identities which we require to satisfy without using D2-or D6-branes. For the O2 Bianchi identity we have Therefore for the O6 Bianchi we have for each 3-cycle where J 3 is the unit-normalized 3-form source: J 3 = i Φ i . Fluxes, consistent with a isotropic seven-torus are the following: where K, M, G ∈ Z. The F 2 tadpole condition gives the same result for each 3-cycle: Whereas the F 6 tadpole implies We now spell out the various contributions to the 3d scalar potential. The contribution from the fluxes to the 10d action in Einstein frame is where we kept the ten-dimensional Ricci scalar to keep track of normalizations, the contributions from the sources are (ignoring open string moduli) 4 where the M i denote the 7D worldvolumes of the anti-D6 branes and where When one considers spaces with warped regions then the anti-D2-brane tension can redshift and we postpone the discussion of this until later. Starting now from 10d Einstein frame we finally perform a direct dimensional reduction: where α 2 = 7/16, α = −7β and ds 2 7 is the metric on a unit-volume G2 space. Following [12], we perform a rescaling of the 3d metric g µν → 1 4 g µν to match to more conventional units for 3D supergravity theories. We extract the volume from the metric deformation moduli by setting where the unit-volume deformations satisfy We combine the volume and the dilaton in the following useful combinations These are the x and y universal moduli we discussed in the previous section. Once we include all these ingredients, the 3d scalar potential becomes with the coefficients given by where y 0 and x 0 have been inserted in the same places where x and y appear such that in this way the vacuum is always at x = 0 = y, by appropriately defining x 0 and y 0 . For completeness let us note that the kinetic terms read where˜ Φ i = (s i ) −2 Ψ i (no summation over i implied). The conditions (2.4) and (2.5) that we studied in the previous section should now be enforced.

Moduli stabilization
In this part we turn to the stabilization of the 8 universal real scalar moduli (x, y,s a ) of toroidal orbifold compactifications. The very first observation we can make right away from the form of the scalar potential (3.24) is that all the unit-volume toroidal modulis a are always stabilized at s a = 1 = s 7 , giving a totally isotropic torus as we anticipated. In this way we always have ∂V ∂s a s a =1 = 0 . (3.28) We assume these vevs for thes a in what follows. On this background we can then notice that which means there is no mass mixing between the x, y moduli and thes a . As a result we can directly evaluate the eigenvalues for the mass matrix of the modulis a independently. Using the vacuum conditions (2.4) one can express the second derivatives of the moduli on the scalar potential in terms of the functions H and C. First we find that the derivatives of the functions F (s a ), H(s a ) and T (s a ) at the vacuum are proportional to themselves, i.e.
where δ ab is the Kronecker delta. As a result we can evaluate V ab (for a, b = 1, . . . , 6) on the vacuum, and find Since we already require H > C, the stability of thes a is granted on any background of the type we study here. In other words the tachyon that generically plagues de Sitter string vacua is making its appearance here in the dilaton-volume sector (i.e. x and y) and not in the internal space deformations. A possible underlying reason for the positive masses of thes a scalars is that P a = 0 (where P is the superpotential) so they are in some sense stabilized in their supersymmetric positions 5 . Now let us focus on the explicit x and y stabilization because we will see it gives few more consistency conditions than our generic discussion, especially due to flux quantization. For a de Sitter vacuum we ask as before that The condition (3.32) once combined with the scalar potential readily gives where we have introduced w,˜ defined through Then for the consistency of the solution (3.33) we find that The condition ∂V /∂x = 0 can be simplified to give where again we have to check the self-consistency of this solution. Since˜ is small, we only need to satisfy 3 + 14(w − 1)w < 0 → 0.311... < w < 0.688... , with w a rational number. Here we can see the crucial contribution from the anti-D6branes: if they are set to vanish then the solution becomes inconsistent. Since we already have an upper bound on w we find it more convenient to readily set which gives (3.39) From (3.39) we see that the solution is consistent indeed as long as˜ 1. Note that by setting w = 1/3 we are assuming that M K is an integer multiple of 3. If we chose different values of w it would still have to be a rational number, and thus we would have to assume M K to be an integer times a bigger number than 3 which would most probably be in tension with the tadpole conditions if we stay on the toroidal setup.
Finally, inserting the above conditions into the equation for ∂V /∂y = 0 gives an equation that we should solve for N D2 because we have already fixed y 0 , which gives Equation (3.40) has a strong impact. Since N D2 is integer and the values of K and G are bounded to be rather small due to the tadpole conditions it is essentially impossible to satisfy (3.40) and have˜ 1. To see this difficulty let us set˜ = 0 which is the Minkowski limit, and we get which can never be satisfied for any choice of integers due to the √ 2. Note that one could choose a different value for w instead of 1/3, but still within the bounds (3.37), such that no √ 2 appears in (3.40). In such case one is faced with the problem that the flux quanta would acquire very large values which is in tension with our toroidal tadpole conditions. To summarize, here we see that if we had ignored tadpole cancelation or flux quantization we could not see the inconsistency of this solution.
Before turning to extensions let us see if the x and y masses and thes a masses are positive. From (2.7) and (3.31) we know that all these positivity condition boil down to H > C . (3.42) For the positivity of the x-y masses we also need˜ 1 as we have explained. One can directly verify that H > C by using (3.33) as long as 1 > 2w > 0 (which is satisfied for w = 1/3). Thus we see that our solution guarantees the positivity of the masses.

Beyond the toroidal orbifold
The toroidal orbifold example could only get us this far. However we have learned a few things from this simple example. For example we have seen that the tachyon lies in the dilaton-volume sector and not in thes a sector, we have seen that we need two sources of supersymmetry breaking in order to even have a chance of achieving moduli stabilization in de Sitter, and of course we have seen that a careful consideration of the tadpole conditions reveals possible inconsistencies.
Let us then discuss how we could go beyond a toroidal orbifold. To address the difficulty of consistently solving an equation like (3.40) one would have to study more general spaces. Either spaces that allow a much larger range for the flux quanta or spaces that induce warping to the anti-D2-brane. Indeed, if we had included anti-D2 warping, the scalar potential would only change in the A term which would become where α is the effect of the warping. Then our calculations would follow through exactly in the same way, but instead of (3.40) we would have which means we could easily solve (3.44) by assuming an appropriate value for α as long as N D2 > 7KG/4 (always for small˜ ). This small sample calculation we did here of course does not guarantee that such procedure will work but rather it points to the possible extensions that may lead to a classically stable 3d de Sitter. Let us now elaborate on a specific setup for the fluxes. If we assume that somehow we introduce warping then one can have for example which potentially makes the supergravity approximation reliable. In fact taking into account the very strict constraints we have here it makes it hard to find other combination of fluxes in the hope to reduce g s even more to weak coupling. This is of course the Dine-Seiberg problem that says we cannot expect to be far from a strong coupling, which seems specific to dS, not AdS [30,39,40]. In any case, one should keep in mind that we are doing a sample computation and one should look into more suitable internal spaces to find realistic and trustable solutions. Finally, we face a possible problem that we elaborate on in the next section: generically it seems that we have N anti−brane flux quanta > 1 , (3.49) except for the comparison of the anti-D6 with the Romans quanta which gives In the next section we explain that this may be another source of instabilities implying the need to for internal spaces that allow larger numbers for the flux quanta.

Open string instabilities?
Anti-branes break supersymmetry because they are "anti" with respect to the background fluxes or orientifolds. With respect to the orientifolds they carry the same charge but opposite tension and preserve different supercharges. They are repelled from the orientifolds both gravitationally and electromagnetically and need to find a position in between the orientifolds where forces cancel out. We have not checked the details of that, but assume such positions exist due to the compactness of the internal manifold. Even if the anti-branes find such stable positions, there could still be perturbative instabilities lurking around the corner. For instance anti-branes can annihilate against surrounding fluxes [64]. This is possible when fluxes induce opposite brane charges via the transgression terms in type II supergravity theories where the δ denotes a (q + 1)-form distribution describing the localized magnetic charge of (anti-) D(8 − q) branes. When that form does not have the same orientation as H 3 ∧ F q−2 parts of that background flux can lower their flux quanta together with Q as to preserve the charge. Heuristically one assumes that some D(8 − q) branes materialized out of the flux cloud and annihilated with the actual anti-D(8 − q) branes. One could think that this process is always non-perturbative because it requires the nucleation of branes out of fluxes. But this picture is too heuristic and a more detailed approach, first pioneered by Kachru, Pearson and Verlinde (KPV) in [64], shows that this process can even be perturbative. The specific mechanism relies on brane polarization aka the Myers effect aka the dielectric effect [65]. We will not go in any details about this for the case at hand but instead draw some basic lessons from known backgrounds with brane-flux instabilities and then comment on the case at hand. Let us start with the most well studied example of anti-D3 branes at the bottom of the Klebanov-Strassler (KS) throat. This was the situation described by KPV [64]. The bottom of this throat is an S 3 with radius squared given by R 2 = b 2 0 g s M , where b 0 is a numerical factor close to 1 and M is the RR 3-form flux quantum piercing the S 3 . KPV found that N D3 M < 0.08 . . . , where now M is the Romans mass quantum. Note that our torus model has N D6 /M = 1/3 and so satisfies the inequality but not parametrically. Note that all these inequalities were derived using brane probe actions in regimes where it is unclear they should be trusted. Not only due to possible strong coupling effects but also the classical backreaction of the anti-branes (see [68] for some pioneering work) could be a worry and potentially enhance the instabilities [69]. However non-trivial evidence in favor of the probe action results came from the complementary blackfold treatments carried out in [70][71][72] as well as from arguments pointing to the absence of dangerous singularities due to backreaction [67,[73][74][75]. It is however quite likely that the actual bounds are a bit more strict than the probe results.
From the inequalities (4.2), (4.3) and (4.4) one could be tempted to think that in general perturbative brane flux annihilation for anti-Dk branes is prevented if 5) where N flux is some NSNS or RR flux integer 6 , N Dk is the number of anti-Dk branes and some specific number. We believe that (4.5) is morally correct but there is no general formula for . It will be highly dependent on the specific example, the details of the manifold, the fluxes, etc. For instance anti-branes as defined earlier can be completely stable against brane-flux decay in AdS backgrounds [76][77][78]. In general we expect to depend non-trivially on the values of the stabilized moduli and this is why a case by case analysis is necessary. So it is impossible for us to discuss the general constraints from brane-flux decay until we have a specific model in which the closed string tachyons are absent after quantization of fluxes is taken into account. As we argue in this paper our torus example at least has shown there is no fundamental reason to expect tachyons to be present in more involved models, unlike the situation with classical dS vacua without anti-branes [61,79]. In what follows we will stick to explaining why we expect a dependence of on stabilized moduli. The only exception being the case of anti-D6 branes where (4.4) seems independent of details. Our strategy will be to use the most well-studied example of anti-D3 branes and demonstrate how moduli dependences creep into .
We start with demonstrating g s dependences. For instance in [80] anti-D3 decay in the "S-dual" KS throat 7 was studied. This decay is against RR fluxes instead of NSNS fluxes and find g s N D3 K < 0.08 . . . , (4.6) with K the NSNS flux quantum. Furthermore there will be a dependence on the size of the cycle that harbors the anti-brane.
In the examples of warped throats this is not obvious since the cycles at the tip are localized cycles and do not change their volume when the overall volume of the compactification manifold adjusts. So in models without anti-branes living near deformed conifolds there is a dependence. Using the KPV computation we can compute this by keeping the cycle size L arbitrary. From the brane-polarization potential in [64] one then finds that (4.7) So when L 2 = b 2 0 g s M we will find (4.2), but if the cycle size is set by different effects one can easily infer that large volume and small coupling enhances the decay. This simple observation shows that using anti-branes that do not live at the bottom of warped throats generated by deformed conifolds, is risky. In fact the above formula even suggests the problems worsen at weak coupling and large volume. Hence, similar to our discussion about closed string stability we are led to inserting anti-branes in warped throats from desingularized conifolds since then these complicated dependences might be washed away. Most studies on brane-flux decay assume there are no "compactification effects" on the brane-flux decay when the throats are inserted in compact spaces. Although this is still somewhat unclear and preliminary results can be found in [81,82]. Interestingly other compactification effects exist on stability when throats are inserted in compact spaces, see for instance [60,[83][84][85][86].
We have used anti-D2 branes and anti-D6 branes. Given the existence of smooth supersymmetric G2 holonomy throats with D2 charges that cap off in a finite S 4 [87], we expect (in analogy with the KS throat) that also compact G2 manifolds can have such throats. The probe computation for brane-flux decay of anti-D2 branes has not yet been carried out 8 and is somewhat obscured by having to use the self-dual 3 forms on the IIA NS5 brane. We expect the computation to go along the lines of [89] and give a maximal value of N D2 N flux of a few percent, just like for anti-D3 branes (4.2) and anti-M2 branes (4.3). This will then lead to a new problem for our 3d de Sitter vacua. Since equation (3.44) implies we will have to increase˜ such that the value of N D2 /G drops and the system is safe from such decays (in our discussion until now we always assumed˜ 1). However, we know that increasing˜ may lead to tachyons. Indeed, from (3.34) we have˜ = 2 /C and combined with (2.8) we find that an absence of tachyons requires (up to order˜ 2 ) From now on we work only up to linear order in˜ . This will turn out consistent since we will verify we need˜ < 0.012. Indeed, using the properties of our solution and in particular (3.33) we have Then the no-tachyon condition (4.9) reads One can see that the condition (4.11) gives small values for˜ which essentially lead to large values of N D2 /G from (4.8). This tension is depicted in figure (2). To conclude, let us translate our findings in terms of F 4 flux quanta G. We have here a rather striking interplay between the parameters and the instabilities they relate to: trying to avoid brane-flux decay we have to increase G which in turn works against a tachyon-free vacuum. Instead a small G leads to tachyon-free vacua but then such vacua are jeopardized by brane-flux decay. So it seems that in our tachyon-free setup the fraction N D2 /G is order one, and far well above in case there is warping. This however could be due to our isotropic way of stabilizing fluxes. We have not considered an alternative stabilization, but one would have to study different internal spaces that would naturally point towards a non-isotropic setup. It would be interesting to push this further and try to check whether this tension can somehow be relaxed.
Note that anti-D6 branes, wrapping 4d cycles will probably extend in the whole bulk. But it seems that the arguments of [67] leading to (4.4) are model independent, although the actual bound might be tighter than (4.4) due to backreaction. We have shown that in our model we could obey the bound (4.4), but not parametrically. The smaller the ratio the more certain one can be there is no decay. The region to the right of the vertical red line suffers from closed string tachyons.

Outlook
We have shown that 3d flux compactifications of massive IIA supergravity with fluxes, O2/O6 and anti-D2/anti-D6 sources are an interesting environment for classical dS model building for multiple reasons: • The standard tachyons (or better: reasons for tachyon) in classical dS vacua [61,62,79] seem absent for generic models. However flux quantization in the simplest toroidal model does lead to tachyons. As we argued throat models in which the anti-D2 branes have warped down tensions should be safe from this in case the throat can be long enough. The existence of such throats is inferred from the actual construction for non-compact G2 spaces [87].
• The internal manifold can be Ricci flat and our understanding of the moduli problem is better for such manifolds.
• If warping can be present one can achieve "border-line" numbers for the string coupling (order 0.1) and for the volume (order 10 7 in string units) 9 .
Note that anti-D6 uplifts have been found to be useful in 4d compactifications as well. For instance [90,91] claims they lead to a dS landscape but the construction involves a mixture of racetrack potentials and classical fluxes and it is unclear whether it is truly top down. On the other hand, reference [49] added anti-D6 branes to the classical vacua of [38] and found the tachyons were absent. But the problem of large coupling and small volume persists. What we suggest in this paper is that 3d compactifications allow classical solutions with better numbers and with flat internal spaces. Even more, if we use models with local throats the flux quantization problems we encountered seem alleviated.
If the no-dS conjecture is correct the problem with this scenario for constructing dS solutions can come from multiple directions, which could actually work against each other. Maybe the issues we noticed with flux quantization bringing one away from the metastable minimum persist. Although as we argued, at the same level of precision of the uplift procedure in KKLT one could argue that sufficiently large throats can do the job. We gave an explicit example around equation (3.44) with very mild warping where already a metastable minimum was reached. A different problem with these vacua that could enforce the no-dS Swampland conjecture is the open string stability. We argued that the conditions for open string stability would be of the form (3.49). We have explicitly verified that the stability of the anti-D6 was satisfied in case we can trust existing probe results [67] but that the stability of the anti-D2 is a worry due to equation (4.8), although no concrete brane-flux decay computation is carried out in lack of a concrete model without closed string tachyons after flux quantization. At this point it makes sense to assume that the no-dS conjecture would actually be enforced from the open-string sector once the closedstring sector seems stable. So dS model building continues to share many analogies with the "whack-a-mole" game.