Measurements of time delays between multiple quasar images produced by strong lensing are reaching a sensitivity that makes them a promising cosmological probe. Future surveys will provide significantly more measurements, reaching unprecedented depth in redshift, making strong lensing time delay (SLTD) observations competitive with other background probes. We forecast constraints on the nature of dark energy from upcoming SLTD surveys, simulating future catalogues with different numbers of lenses distributed up to redshift $z\sim 1$ and focusing on cosmological parameters such as the Hubble constant $H_0$ and parametrisations of the dark energy equation of state. We also explore the impact of our ability to precisely model the lens mass profile and its environment, on the forecasted constraints. We find that in the most optimistic cases, SLTD will constrain $H_0$ at the level of $\sim 0.1\%$, while the CPL equation of state parameters, $w_0$ and $w_a$, can be determined with errors $\sigma_{w_0}\sim 0.05$ and $\sigma_{w_a}\sim 0.3$, respectively. Furthermore, we investigate the bias introduced when a wrong cosmological model is assumed for the analysis. We find that the value of $H_0$ could be biased up to $10 \sigma$, assuming a perfect knowledge of the lens profile, when a $\Lambda$CDM model is used to analyse data that really belong to a $w$CDM cosmology with $w=-0.9$. Based on these findings, we identify a consistency check of the assumed cosmological model in future SLTD surveys, by splitting the dataset in several redshift bins. Depending on the characteristics of the survey, this could provide a smoking gun for dark energy.

The tachyonic instability is associated with the unboundedness of the Hamiltonian from below and results in an unstable low-$k$ regime. In the cosmological exploration of modified gravity, it is seldom taken into account, with more focus given to the popular no-ghost and no-gradient conditions. The latter though are intrinsically high-$k$ statements. Here we combine all three conditions into a full set of requirements that we show to guarantee stability on the whole range of cosmological scales. We then explore the impact of the different conditions on the parameter space of scalar-tensor gravity, with particular emphasis on the no-tachyon one. We focus on Horndeski gravity and also consider separately the two subclasses of $f(R)$ and Generalized Brans Dicke theories. We identify several interesting features, for instance in the parameter space of designer $f(R)$ on a $w$CDM background, shedding light on previous findings. When looking at the phenomenological functions $\Sigma$ and $\mu$, associated to the weak lensing and clustering potential respectively, we find that in the case of Generalized Brans Dicke the no-tachyon condition clearly cuts models with $\mu\,,\,\Sigma>1$. This effect is less prevalent in the Horndeski case due to the larger amount of free functions in the theory.

We present the extension of the effective field theory framework to the mildly non-linear scales. The effective field theory approach has been successfully applied to the late time cosmic acceleration phenomenon and it has been shown to be a powerful method to obtain predictions about cosmological observables on linear scales. However, mildly non-linear scales need to be consistently considered when testing gravity theories because a large part of the data comes from those scales. Thus, non-linear corrections to predictions on observables coming from the linear analysis can help in discriminating among different gravity theories. We proceed firstly by identifying the necessary operators which need to be included in the effective field theory Lagrangian in order to go beyond the linear order in perturbations and then we construct the corresponding non-linear action. Moreover, we present the complete recipe to map any single field dark energy and modified gravity models into the non-linear effective field theory framework by considering a general action in the Arnowitt-Deser-Misner formalism. In order to illustrate this recipe we proceed to map the beyond-Horndeski theory and low-energy Horava gravity into the effective field theory formalism. As a final step we derived the 4th order action in term of the curvature perturbation. This allowed us to identify the non-linear contributions coming from the linear order perturbations which at the next order act like source terms. Moreover, we confirm that the stability requirements, ensuring the positivity of the kinetic term and the speed of propagation for scalar mode, are automatically satisfied once the viability of the theory is demanded at linear level. The approach we present here will allow to construct, in a model independent way, all the relevant predictions on observables at mildly non-linear scales.

The effective field theory of dark energy and modified gravity is supposed to well describe, at low energies, the behaviour of the gravity modifications due to one extra scalar degree of freedom. The usual curvature perturbation is very useful when studying the conditions for the avoidance of ghost instabilities as well as the positivity of the squared speeds of propagation for both the scalar and tensor modes, or the St\"uckelberg field performs perfectly when investigating the evolution of linear perturbations. We show that the viable parameters space identified by requiring no-ghost instabilities and positive squared speeds of propagation does not change by performing a field redefinition, while the requirement of the avoidance of tachyonic instability might instead be different. Therefore, we find interesting to associate to the general modified gravity theory described in the effective field theory framework, a perturbation field which will inherit the whole properties of the theory. In the present paper we address the following questions: 1) how can we define such a field? and 2) what is the mass of such a field as the background approaches a final de Sitter state? We define a gauge invariant quantity which identifies the density of the dark energy perturbation field valid for any background. We derive the mass associated to the gauge invariant dark energy field on a de Sitter background, which we retain to be still a good approximation also at very low redshift ($z\simeq 0$). On this background we also investigate the value of the speed of propagation and we find that there exist classes of theories which admit a non-vanishing speed of propagation, even among the Horndeski model, for which in literature it has previously been found a zero speed. We finally apply our results to specific well known models.

We present a thorough stability analysis of modified gravity theories in the presence of matter fields. We use the Effective Field Theory framework for Dark Energy and Modified Gravity to retain a general approach for the gravity sector and a Sorkin-Schutz action for the matter one. Then, we work out the proper viability conditions to guarantee in the scalar sector the absence of ghosts, gradient and tachyonic instabilities. The absence of ghosts can be achieved by demanding a positive kinetic matrix, while the lack of a gradient instability is ensured by imposing a positive speed of propagation for all the scalar modes. In case of tachyonic instability, the mass eigenvalues have been studied and we work out the appropriate expressions. For the latter, an instability occurs only when the negative mass eigenvalue is much larger, in absolute value, than the Hubble parameter. We discuss the results for the minimally coupled quintessence model showing for a particular set of parameters two typical behaviours which in turn lead to a stable and an unstable configuration. Moreover, we find that the speeds of propagation of the scalar modes strongly depend on matter densities, for the beyond Horndeski theories. Our findings can be directly employed when testing modified gravity theories as they allow to identify the correct viability space.

We present a generalization of the effective field theory (EFT) formalism for dark energy and modified gravity models to include operators with higher order spatial derivatives. This allows the extension of the EFT framework to a wider class of gravity theories such as Horava gravity. We present the corresponding extended action, both in the EFT and the Arnowitt-Deser-Misner (ADM) formalism, and proceed to work out a convenient mapping between the two, providing a self contained and general procedure to translate a given model of gravity into the EFT language at the basis of the Einstein-Boltzmann solver EFTCAMB. Putting this mapping at work, we illustrate, for several interesting models of dark energy and modified gravity, how to express them in the ADM notation and then map them into the EFT formalism. We also provide for the first time, the full mapping of GLPV models into the EFT framework. We next perform a thorough analysis of the physical stability of the generalized EFT action, in absence of matter components. We work out viability conditions that correspond to the absence of ghosts and modes that propagate with a negative speed of sound in the scalar and tensor sector, as well as the absence of tachyonic modes in the scalar sector. Finally, we extend and generalize the phenomenological basis in terms of $\alpha$-functions introduced to parametrize Horndeski models, to cover all theories with higher order spatial derivatives included in our extended action. We elaborate on the impact of the additional functions on physical quantities, such as the kinetic term and the speeds of propagation for scalar and tensor modes.