In an AdS compactification the no-scale-separation conjecture states that the AdS scale cannot be parametrically separated from the KK scale of the internal manifold. This calls into question the validity of the effective lower-dimensional theory whilst also making holographic duals more complicated: obtaining a dense spectrum of low-dimension operators which are strongly mixed. This also poses problems for constructing de-Sitter vacua. 
I will discuss the papers Holography vs Scale Separation, Holographic Constraints on the String Landscape and A Holographic Constraint on Scale Separation which use holography to find constraints on scale separation, with the latter two papers focussing DGKT. 

Existential decidability of a ring is the question as to whether an algorithm exists which determines whether a given system of polynomial equations and inequations has a solution. It is a classical result (``Hilbert's 10th problem'') that the ring of integers is not existentially decidable. Over the years there has been many results related to Hilbert 10th problem over different fields. For instance, the existential decidability of a Henselian valued field of mixed characteristic and finite ramification can be reduced to the positive existential decidability of its residue field, plus some additional structure.

An example of a mixed characteristic Henselian field is the fraction field of Witt Vectors. It is a construction analogous to the construction of the p-adic numbers from $\mathbb{F}_p$, and it takes a perfect field $F$ of characteristic $p$ and constructs a field with value group $\mathbb{Z}$ and residue field $F$. We will look at the existential decidability of the Henselian valued fields arising from finite extensions of the Witt vectors over a positive characteristic Henselian valued field. I will report on our progress so far, the problems that we have encountered, and the goals we are working toward.