
We apply the recently developed positivity bounds for particles with spin,
applied away from the forward limit, to the low energy effective theories of
massive spin1 and spin2 theories. For spin1 theories, we consider the
generic Proca EFT which arises at low energies from a heavy Higgs mechanism,
and the special case of a charged Galileon for which the EFT is reorganized by
the Galileon symmetry. For spin2, we consider generic $\Lambda_5$ massive
gravity theories and the special `ghostfree' $\Lambda_3$ theories. Remarkably
we find that at the level of 22 scattering, the positivity bounds applied to
$\Lambda_5$ massive gravity theories impose the special tunings which generate
the $\Lambda_3$ structure. For $\Lambda_3$ massive gravity theories, the island
of positivity derived in the forward limit appears relatively stable against
further bounds.

Theories such as massive Galileons and massive gravity can satisfy the
presently known improved positivity bounds provided they are weakly coupled. We
discuss the form of the EFT Lagrangian for a weakly coupled UV completion of
massive gravity which closely parallels the massive Galileon, and perform the
power counting of corrections to the scattering amplitude and the positivity
bounds. The Vainshtein mechanism which is central to the phenomenological
viability of massive gravity is entirely consistent with weak coupling since it
is classical in nature. We highlight that the only implication of the improved
positivity constraints is that EFT cutoff is lower than previous assumed, and
discuss the observable implications, emphasizing that these bounds are not
capable of ruling out the model contrary to previous statements in the
literature.

For a low energy effective theory to admit a standard local, unitary,
analytic and Lorentzinvariant UV completion, its scattering amplitudes must
satisfy certain inequalities. While these bounds are known in the forward limit
for real polarizations, any extension beyond this for particles with nonzero
spin is subtle due to their nontrivial crossing relations. Using the
transversity formalism (i.e. spin projections orthogonal to the scattering
plane), in which the crossing relations become diagonal, these inequalities can
be derived for 2to2 scattering between any pair of massive particles, for a
complete set of polarizations at and away from the forward scattering limit.
This provides a set of powerful criteria which can be used to restrict the
parameter space of any effective field theory, often considerably more so than
its forward limit subset alone.

A nonsingular cosmological bounce in the Einstein frame can only take place
if the Null Energy Condition (NEC) is violated. We explore situations where a
single scalar field drives the NEC violation and derive the constraints imposed
by demanding tree level unitarity on a cosmological background. We then focus
on the explicit constraints that arise in P(X) theories and show that
constraints from perturbative unitarity make it impossible for the NEC
violation to occur within the region of validity of the effective field theory
without also involving irrelevant operators that arise at a higher scale that
would enter from integrating out more massive degrees of freedom. Within the
context of P(X) theories we show that including such operators allows for a
bounce that does not manifestly violate tree level unitarity, but at the price
of either imposing a shift symmetry or involving technically unnatural small
operator coefficients within the lowenergy effective field theory.

Recently, aLIGO has announced the first direct detections of gravitational
waves, a direct manifestation of the propagating degrees of freedom of gravity.
The detected signals GW150914 and GW151226 have been used to examine the basic
properties of these gravitational degrees of freedom, particularly setting an
upper bound on their mass. It is timely to review what the mass of these
gravitational degrees of freedom means from the theoretical point of view,
particularly taking into account the recent developments in constructing
consistent massive gravity theories. Apart from the GW150914 mass bound, a few
other observational bounds have been established from the effects of the Yukawa
potential, modified dispersion relation and fifth force that are all induced
when the fundamental gravitational degrees of freedom are massive. We review
these different mass bounds and examine how they stand in the wake of recent
theoretical developments and how they compare to the bound from GW150914.

We study the development of caustics in shiftsymmetric scalar field theories
by focusing on simple waves with an $SO(p)$symmetry in an arbitrary number of
space dimensions. We show that the pure Galileon, the DBIGalileon, and the
extremerelativistic Galileon naturally emerge as the unique set of
causticfree theories, highlighting a link between the causticfree condition
for simple $SO(p)$waves and the existence of either a global Galilean symmetry
or a global (extreme)relativistic Galilean symmetry.

The EFT coefficients in any gapped, scalar, Lorentz invariant field theory
must satisfy positivity requirements if there is to exist a local, analytic
Wilsonian UV completion. We apply these bounds to the tree level scattering
amplitudes for a massive Galileon. The addition of a mass term, which does not
spoil the nonrenormalization theorem of the Galileon and preserves the
Galileon symmetry at loop level, is necessary to satisfy the lowest order
positivity bound. We further show that a careful choice of successively higher
derivative corrections are necessary to satisfy the higher order positivity
bounds. There is then no obstruction to a local UV completion from
considerations of tree level 2to2 scattering alone. To demonstrate this we
give an explicit example of such a UV completion.

Assuming the existence of a local, analytic, unitary UV completion in a
Poincar\'{e} invariant scalar field theory with a mass gap, we derive an
infinite number of positivity requirements using the known properties of the
amplitude at and away from the forward scattering limit. These take the form of
bounds on combinations of the pole subtracted scattering amplitude and its
derivatives. In turn, these positivity requirements act as constraints on the
operator coefficients in the low energy effective theory. For certain theories
these constraints can be used to place an upper bound on the mass of the next
lightest state that must lie beyond the low energy effective theory if such a
UV completion is to ever exist.

Euclid is a European Space Agency medium class mission selected for launch in
2020 within the Cosmic Vision 2015 2025 program. The main goal of Euclid is to
understand the origin of the accelerated expansion of the universe. Euclid will
explore the expansion history of the universe and the evolution of cosmic
structures by measuring shapes and redshifts of galaxies as well as the
distribution of clusters of galaxies over a large fraction of the sky. Although
the main driver for Euclid is the nature of dark energy, Euclid science covers
a vast range of topics, from cosmology to galaxy evolution to planetary
research. In this review we focus on cosmology and fundamental physics, with a
strong emphasis on science beyond the current standard models. We discuss five
broad topics: dark energy and modified gravity, dark matter, initial
conditions, basic assumptions and questions of methodology in the data
analysis. This review has been planned and carried out within Euclid's Theory
Working Group and is meant to provide a guide to the scientific themes that
will underlie the activity of the group during the preparation of the Euclid
mission.

We review how the (absence of) Ostrogradsky instability manifests itself in
theories with multiple fields. It has recently been appreciated that when
multiple fields are present, the existence of higher derivatives may not
automatically imply the existence of ghosts. We discuss the connection with
gravitational theories like massive gravity and beyond Horndeski which manifest
higher derivatives in some formulations and yet are free of Ostrogradsky ghost.
We also examine an interesting new class of Extended ScalarTensor Theories of
gravity which has been recently proposed. We show that for a subclass of these
theories, the tensor modes are either not dynamical or are infinitely strongly
coupled. Among the remaining theories for which the tensor modes are
welldefined one counts one new model that is not fieldredefinable to
Horndeski via a conformal and disformal transformation but that does require
the vacuum to break Lorentz invariance. We discuss the implications for the
effective field theory of dark energy and the stability of the theory.

Lorentzinvariant massive gravity is usually associated with a strong
coupling scale $\Lambda_3$. By including nontrivial effects from the
Stueckelberg modes, we show that about these vacua, one can push the strong
coupling scale to higher values and evade the linear vDVZdiscontinuity. For
generic parameters of the theory and generic vacua for the Stueckelberg fields,
the $\Lambda_2$decoupling limit of the theory is wellbehaved and free of any
ghost or gradientlike instabilities. We also discuss the implications for
nonlinear sigma models with Lorentzian target spaces.

The target space of a nonlinear sigma model is usually required to be
positive definite to avoid ghosts. We introduce a unique class of nonlinear
sigma models where the target space metric has a Lorentzian signature, thus the
associated group being noncompact. We show that the wouldbe ghost associated
with the negative direction is fully projected out by 2 secondclass
constraints, and there exist stable solutions in this class of models. This
result also has important implications for Lorentzinvariant massive gravity:
There exist stable nontrivial vacua in massive gravity that are free from any
linear vDVZdiscontinuity and a $\Lambda_2$ decoupling limit can be defined on
these vacua.

Nonminimal matter couplings have recently been considered in the context of
massive gravity and multigravity. These couplings are free of the
BoulwareDeser ghost in the decoupling limit and can thus be considered within
an Effective Field Theory setup. Beyond the decoupling limit the ghost was
shown to reemerge in the metric formulation of the theory. Recently it was
argued that this pathology is absent when formulated in terms of unconstrained
vielbeins. We investigate this possibility and show that the BoulwareDeser
ghost is always present beyond the decoupling limit in any dimension larger
than two. We also show that the metric and vielbein formulations have an
identical ghostfree decoupling limit. Finally we extend these arguments to
more generic multigravity theories and argue that for any dimension larger
than two a ghost is also present in the vielbein formulation whenever the
symmetric vielbein condition is spoiled and the equivalence with the metric
formulation is lost.

We reconsider the possibility of a class of new kinetic terms in the first
order (vielbein) formulation of massive gravity and multigravity. We find that
new degrees of freedom emerge which are not associated with the BoulwareDeser
ghost and are intrinsic to the vielbein formulation. These new degrees of
freedom are associated with the Lorentz transformations which encode the
additional variables contained in the vielbein over the metric. Although they
are not guaranteed to be ghostly, they are nevertheless infinitely strongly
coupled on Minkowski spacetime and are not part of the spin2 multiplet. Hence
their existence implies the uniqueness of the EinsteinHilbert term as the
kinetic term for a massive graviton.

We investigate the stability of a class of derivative theories known as
$P(X)$ and Galileons against corrections generated by quantum effects. We use
an exact renormalisation group approach to argue that these theories are stable
under quantum corrections at all loops in regions where the kinetic term is
large compared to the strong coupling scale. This is the regime of interest for
screening or Vainshtein mechanisms, and in inflationary models that rely on
large kinetic terms. Next, we clarify the role played by the symmetries. While
symmetries protect the form of the quantum corrections, theories equipped with
more symmetries do not necessarily have a broader range of scales for which
they are valid. We show this by deriving explicitly the regime of validity of
the classical solutions for $P(X)$ theories including DiracBornInfeld (DBI)
models, both in generic and for specific background field configurations.
Indeed, we find that despite the existence of an additional symmetry, the DBI
effective field theory has a regime of validity similar to an arbitrary $P(X)$
theory. We explore the implications of our results for both early and late
universe contexts. Conversely, when applied to static and spherical screening
mechanisms, we deduce that the regime of validity of typical powerlaw $P(X)$
theories is much larger than that of DBI.

We investigate the coupling to matter in ghostfree massive (bi)gravity.
When species in the matter sector couple covariantly to only one metric, we
show that at oneloop these couplings do not spoil the special structure of
the graviton potential. When the same species couples directly to both metrics
we show that a ghost is present at the classical level and that loops destroy
the special structure of the potential at an unacceptably low scale. We then
propose a new `composite' effective metric built out of both metrics. When
matter fields couple covariantly to this effective metric, the would be
BoulwareDeser ghost is absent in different representative limits. At
oneloop such couplings do not detune the special structure of the potential.
We conjecture that matter can couple covariantly to that effective metric in
all generality without introducing any BoulwareDeser ghost below a cutoff
scale parametrically larger than the strong coupling scale. We also discuss
alternative couplings to matter where the kinetic and potential terms of the
matter field couple to different metrics. In both cases we discuss preliminary
implications for cosmology.

In light of recent progress in ghostfree theories of massive gravity and
multigravity, we reconsider the problem of constructing a ghostfree theory of
an interacting spin2 field charged under a U(1) gauge symmetry. Our starting
point is the theory originally proposed by Federbush, which is essentially
FierzPauli generalized to include a minimal coupling to a U(1) gauge field. We
show the Federbush theory with a dynamical U(1) field is in fact ghostfree and
can be treated as a healthy effective field theory to describe a massive
charged spin2 particle. It can even potentially have healthy dynamics above
its strongcoupling scale. We then construct candidate gravitational extensions
to the Federbush theory both by using Dimensional Deconstruction, and by
constructing a general nonlinear completion. However, we find that the U(1)
symmetry forces us to modify the form of the EinsteinHilbert kinetic term. By
performing a constraint analysis directly in the firstorder form, we show that
these modified kinetic terms inevitably reintroduce the BoulwareDeser ghost.
As a byproduct of our analysis, we present a new proof for ghostfreedom of
bigravity in 2+1 dimensions (also known as ZweiDreibein gravity). We also
give a complementary algebraic argument that the EinsteinHilbert kinetic term
is incompatible with a U(1) symmetry, for a finite number of gravitons.

We present exact FLRW solutions in generalized massive gravity where the mass
parameters are naturally promoted to Lorentzinvariant functions of the
Stuckelberg fields. This new dependence relaxes the constraint that would
otherwise prevent massive gravity from possessing exact FLRW solutions. It does
so without the need to introduce additional degrees of freedom. We find
selfaccelerating cosmological solutions and show that, with a mild restriction
on the region of phase space, these cosmological solutions exhibit full
stability, i.e. absence of ghosts and gradient instabilities for all the
tensor, vector and scalar modes, for all cosmic time. We perform the full
decoupling limit analysis, including vector degrees of freedom, which can be
used to confirm the existence of an active Vainshtein mechanism about these
solutions.

Recently, several works have investigated the coupling to matter in
ghostfree massive (bi&multi)gravity and a new effective coupling to matter
has been proposed. In this note we clarify some confusion on the existence and
the implications of a ghost above the strong coupling scale. We confirm that
the standard constraint which is otherwise typically present in this type of
theories disappears on generic backgrounds as soon as this new coupling is
considered. This implies the reemergence of the BoulwareDeser ghost.
Nevertheless the absence of ghost in the decoupling limit implies that the
cutoff scale (if identified with the scale at which the ghost enters) is
higher than the strong coupling scale. Therefore there is a valid interesting
region of applicability for these couplings at scales below the cutoff.

We show that there can be no new Lorentz invariant kinetic interactions free
from the BoulwareDeser ghost in four dimensions in the metric formulation of
gravity, beyond the standard EinsteinHilbert, up to total derivatives. We use
dimensional deconstruction as a way to motivate a nonlinear ansatz for
potential new ghost free kinetic interactions for massive gravity, bigravity
and multigravity in four and higher dimensions. These interactions descend
from Lovelock terms, and so naively one might expect the interactions to be
ghost free. However we show that these new interactions inevitably lead to more
than five propagating degrees of freedom. We then perform a general
perturbative analysis in four dimensions, and show that the only term with two
derivatives that does not introduce a ghost is the EinsteinHilbert term. This
result extends to all orders in perturbations.

We show that every Galileon theory admits a dual formulation as a Galileon
theory with new operator coefficients. In n dimensions a free scalar field in
Minkowski spacetime is dual to a (n+1)th order Galileon theory which exhibits
the Vainshtein mechanism when coupled to sources and superluminal propagation
even onshell. This demonstrates that superluminal propagation is compatible
with an analytic Smatrix and causality. For point sources, the duality
interchanges the strongly coupled Vainshtein regime with the weakly coupled
asymptotic regime. The duality is made manifest in the context of the
decoupling limit of bigravity, but is independent of this.

We generalize the Galileon duality to any single scalar field Lagrangian
coupled locally to any matter field. Under the duality, a generalized Galileon
maps into another generalized Galileon via a one parameter group of
transformations, with only a simple modification of the Lagrangian functions.
We find a special class of generalized Galileons for which the duality is a
symmetry of the action. We further extend the duality to the case of vector
fields and give the dual formulations of the Maxwell and Proca theories. We
include arbitrary local couplings to matter fields and show that the duality
always maps a local interacting theory into a local interacting theory. We also
discuss the coupling to gravity and uncover a new class of Lorentz invariant
massive theories which map into themselves under the duality. Finally, we show
that the duality can be used to map solutions of a theory with superluminal
(luminal) group velocity into one with luminal (subluminal) group velocity. We
find that the duality nevertheless preserves the classical causal structure and
emphasize the need to include the quantum corrections to ascertain relativistic
causality.

We review recent progress in massive gravity. We start by showing how
different theories of massive gravity emerge from a higherdimensional theory
of general relativity, leading to the DvaliGabadadzePorrati model, cascading
gravity and ghostfree massive gravity. We then explore their theoretical and
phenomenological consistency, proving the absence of BoulwareDeser ghosts and
reviewing the Vainshtein mechanism and the cosmological solutions in these
models. Finally we present alternative and related models of massive gravity
such as new massive gravity, Lorentzviolating massive gravity and nonlocal
massive gravity.

The discovery of cosmic acceleration has stimulated theorists to consider
dark energy or modifications to Einstein's General Relativity as possible
explanations. The last decade has seen advances in theories that go beyond
smooth dark energy  modified gravity and interactions of dark energy. While
the theoretical terrain is being actively explored, the generic presence of
fifth forces and dark sector couplings suggests a set of distinct observational
signatures. This report focuses on observations that differ from the
conventional probes that map the expansion history or largescale structure.
Examples of such novel probes are: detection of scalar fields via lab
experiments, tests of modified gravity using stars and galaxies in the nearby
universe, comparison of lensing and dynamical masses of galaxies and clusters,
and the measurements of fundamental constants at high redshift. The
observational expertise involved is very broad as it spans laboratory
experiments, high resolution astronomical imaging and spectroscopy and radio
observations. In the coming decade, searches for these effects have the
potential for discovering fundamental new physics. We discuss how the searches
can be carried out using experiments that are already under way or with modest
adaptations of existing telescopes or planned experiments. The accompanying
paper on the Growth of Cosmic Structure describes complementary tests of
gravity with observations of largescale structure.

We show that the ghostfree models of massive gravity and their
multigraviton extensions follow from considering higher dimensional General
Relativity in EinsteinCartan form on a discrete extra dimension, according to
the Dimensional Deconstruction paradigm. We show that Dimensional
Deconstruction is equivalent to a truncation of the KaluzaKlein tower at the
nonlinear level. Higher dimensional gravity is not recovered from a lower
dimensional multigraviton theory in the limit of a continuous extra dimension
(infinite KaluzaKlein tower) due to the appearance of a low strong coupling
scale that depends on IR physics. This strong coupling scale, which is
associated with the mass of the lowest KaluzaKlein mode, controls the onset of
the Vainshtein mechanism and is crucial to the theoretical and observational
viability of the truncated theory.