Invertible disformal transformations serve as a useful tool to explore ghost-free scalar-tensor theories. In this paper, we construct a generalization of invertible disformal transformations that involves arbitrary higher-order covariant derivatives of the scalar field. As a result, we obtain a more general class of ghost-free scalar-tensor theories than ever. Notably, our generalization is such that matter fields can be consistently coupled to these theories without introducing an unwanted extra degree of freedom in the unitary gauge.
I. INTRODUCTIONGeneral relativity (GR) has passed various gravitational experiments as well as cosmological observations and is now commonly accepted as the standard model of gravitation and cosmology. Nevertheless, there are several motivations to study modifications/extensions of GR. For instance, GR is expected to be a low-energy effective theory and should be modified at high energies. Also, extended gravitational theories serve as good candidates that can be tested against GR [1][2][3]. In general, modified gravity models involve additional degrees of freedom (DOFs) on top of the metric, of which scalar-tensor theories (i.e., those involving a single scalar field besides the metric) have been studied extensively. The most general class of scalar-tensor theories with second-order Euler-Lagrange equations is now known as the Horndeski class [4][5][6]. Note that the second-order nature of the Euler-Lagrange equations guarantees the absence of Ostrogradsky ghosts, i.e., unstable extra DOFs associated with higher-order equations of motion [7].A more general class of ghost-free scalar-tensor theories was constructed in Refs. [8][9][10] by imposing the degeneracy condition [8,[11][12][13][14][15] on the higher-derivative terms, and this class is called the degenerate higher-order scalar-tensor (DHOST) class. (See Refs. [16,17] for reviews.) The DHOST class consists of many subclasses, and one of them can be obtained by the (conformal or) disformal transformation [18][19][20] of the Horndeski class, which we call the disformal Horndeski (DH) class. Note in passing that a ghost-free theory is mapped to another ghost-free theory by the disformal transformation since it is invertible in general [21,22]. Interestingly, DHOST theories that lie outside the DH class are known to exhibit ghost/gradient instabilities (or otherwise the metric becomes nondynamical) on a cosmological background [23][24][25]. Therefore, when one applies the DHOST theories to phenomenology, one usually focuses on the DH class. It was then realized that the framework of ghost-free scalar-tensor theories can be further extended by requiring the degeneracy only in the unitary gauge where the time coordinate is chosen so that the scalar field is spatially uniform. Such an extension was dubbed the U-DHOST class [26], which is equivalent to spatially covariant gravity [27][28][29][30] in the unitary gauge. Note that the scalar field profile has to be timelike in order to be consistent with the unitary gauge. Away from th...