Partially Massless Higher-Spin Theory II: One-Loop Effective Actions

We continue our study of a generalization of the D-dimensional linearized Vasiliev higher-spin equations to include a tower of partially massless (PM) fields. We compute one-loop effective actions by evaluating zeta functions for both the"minimal"and"non-minimal"parity-even versions of the theory. Specifically, we compute the log-divergent part of the effective action in odd-dimensional Euclidean AdS spaces for D=7 through 19 (dual to the a-type conformal anomaly of the dual boundary theory), and the finite part of the effective action in even-dimensional Euclidean AdS spaces for D=4 through 8 (dual to the free energy on a sphere of the dual boundary theory). We pay special attention to the case D=4, where module mixings occur in the dual field theory and subtlety arises in the one-loop computation. The results provide evidence that the theory is UV complete and one-loop exact, and we conjecture and provide evidence for a map between the inverse Newton's constant of the partially massless higher-spin theory and the number of colors in the dual CFT.

On the CFT side, a quantity of interest is the partition function on a sphere of radius r. For even CFT dimension d, the unambiguous and regulator-independent part of the sphere partition function is the coefficient of the log divergence, corresponding to the a-type conformal anomaly a CFT , − ln Z[r] CFT = power divergent + a CFT log(r) + finite, d even, (1.1) where the scale of the log and the divergent contributions are set by some UV cutoff. For odd CFT dimensions, the unambiguous and regulator independent part is the finite part, known as F CFT , − ln Z[r] CFT = power divergent + F CFT , d odd. (1.2) For notational convenience, we follow [22] and define a generalized free energỹ In [16], we computed a CFT in even d and the free energy F CFT on spheres in odd d for both the usual scalar as well as a 2 scalar in various dimensions (see also the earlier work [23][24][25][26][27]).
On the AdS side, a quantity of interest is the partition function on global Euclidean AdS of radius R. In AdS of odd dimension D, the log divergent part a AdS is unambiguous and regulator-independent, and in AdS of even dimension the finite part F AdS is regulator-independent and unambiguous.
− ln Z[R] AdS = power divergent + a AdS log(R) + finite, D odd − ln Z[R] AdS = power divergent + F AdS , D even (1.5) where the scale of the log and divergent contributions are set by some IR cutoff. As in the CFT, we define a generalized free energyF AdS valid in any D, (1.6) The AdS theory has a perturbative expansion in powers of the D-dimensional Newton's constant G N , the dimensionful coupling appearing in front of the action, S ∝ 1 (We are taking G N to be dimensionless by implicitly combining it with appropriate powers of the AdS radius R, and leaving an overall dimensionless constant multiple appearing in front of it ambiguous.) ThusF AdS has a perturbative expansioñ The lowest part of the expansion, G −1 NF 0 , is the classical action evaluated on AdS, the next partF 1 is the one-loop determinant of the quadratic part of the action expanded on AdS, and the higher partsF 2 ,F 3 , · · · are higher order bubble diagrams containing the bulk interaction vertices.
AdS/CFT tells us that the well-defined parts of the field theory and AdS partition functions should be equal,F CF T =F AdS .
(1. 8) In the unitary Vasiliev theories, there is an argument that the inverse Newton's constant G −1 N should be quantized [28]. Furthermore, we expect on general grounds that G −1 N ∼ N , where N is the number of "colors" of the dual CFT. In the examples of interest where the dual CFT is free, the generalized free energy in the CFT for the U (N ) and O(N ) models can be related to the generalized free energyF of a single free real scalar, due to the fact that the CFTs are free and the generalized free energies are additive. Thereforẽ (1.9) In AdS, a computation ofF 0 would require the knowledge of the Vasiliev action, which at present is not universally agreed upon (see [29][30][31][32][33][34][35][36] for efforts in this direction). Nevertheless, the answer is expected to be, (1. 10) In order to be consistent with the quantization of the inverse Newton's constant, we would expect all the higher correctionsF 2 ,F 3 , · · · to vanish. This however leaves open the possibility thatF 1 is nontrivial, representing a one-loop renormalization of the inverse Newton's constant. In order to respect the quantization of the inverse Newton's constant, it must be the case thatF 1 is an integer multiple ofF , so that we may (schematically) moveF 1 to the left-hand side of the equationF CF T = In the papers by Giombi, Klebanov and Safdi [37,38] (see also [39][40][41][42][43][44][45][46][47][48][49][50][51][52]), they did precisely this for the original Vasiliev theory for various d, with several different regulators which they demonstrated to be equivalent. They found that in the U (N ) theory,F 1 vanishes (consistent with G −1 N ∝ N ), and in the O(N ) theoryF 1 =F (consistent with G −1 N ∝ N − 1). In this paper, we reproduce their computations and perform the analogous computation for the partially massless (PM) theory described in [1]. We have already computed the conformal anomaly and free energy in the dual 2 theory in [16]. Both the CFT and AdS theories are not unitary, and so we do not expect the arguments given in [28] for the quantization of the inverse Newton's constant to directly apply 3 . Nevertheless, what we find is the same shift of the inverse Newton's constant as was found for the original Vasiliev theory: This is essentially a one-loop computation in the full PM higher-spin theory, and is evidence that the full theory is UV-finite and is a complete theory on its own. The way we do the computation is to compute a zeta function for the PM theory 4 , ζ hs 2 (z) on AdS D , where D = d + 1. We evaluate ζ hs 2 (0), which gives us the one-loop correctionF 1 . We also evaluate ζ hs 2 (0) for even-D spaces, which ought to be 0 so that the log contributions vanish and the finite quantities of interest are unambiguous. The sum over spins must be regularized in a manner consistent with the higher spin symmetries of the theory, and the authors of [38] found that in order to ensure that ζ hs (0) = 0 for even-D spaces, one regulator that they could use was to insert s + d−3 2 −α in the spin sum, then take the α → 0 limit afterwards.
One of our findings, identical to the findings of [49], is that in order to ensure that ζ hs 2 (0) = 0 for the PM theory we need to use that same regulator for the massless particles, and for the partially massless particles we instead need to insert s + d−5 2 −α , then take the α → 0 limit afterwards.
The organization of this paper is as follows: in section 2, we define the zeta functions of interest, as well as the spectra of interest, and explain how to extract the one-loopF 1 from the zeta function. (Now that we have established that we're only interested in the one-loop effective action, we drop the subscript 1 to ease the notation, using insteadF 1−loop to represent this quantity as needed.) In section 3, we compute the one-loop renormalization of the inverse Newton's constant in odd 7 ≤ D ≤ 17, demonstrating that it is consistent with quantization, finding the same results as were obtained for the Vasiliev theory (G −1 N ∝ N for the U (N ) theory, G −1 N ∝ N − 1 for the O(N ) theory). Next, in section 4, we do the same but in even D = 6, 8, again obtaining matching results. Finally, we study the case of AdS 4 , where the Verma modules of a scalar and a tensor join into one extended Verma module in the dual CFT 3 , and we are successfully able to compute the zeta function in this case after regularizing the zeta functions of the same two particles, obtaining the same results.
Conventions: We always use d to refer to the CFT dimension, and D to refer to the AdS dimension, so that D = d + 1. Despite the fact that we use d below, the computation have.
performed in this paper is exclusively in AdS. ∆ refers to the operator dimension of the CFT dual of an AdS field, and is used to encode the boundary conditions of the AdS field.

Generalities of the One-Loop Renormalization
The one-loop partition function is formally given by where D is the differential operator coming from the quadratic action around AdS of a given particle (with gauge modes appropriately fixed and appropriate Faddeev-Popov ghosts added). To compute the operator determinants, the zeta function technique is used.

Zeta Function Definitions
For a given theory in d + 1 dimensions, we would like to compute a regularized total zeta function ζ d (z), which is related to the one-loop effective action as where Λ is a UV cutoff in units of the AdS scale, and its coefficient ζ d (0) must be zero in order for the physical quantity ζ d (0), which encodesF 1−loop , to be unambiguous. ζ d (0) being 0 follows straightforwardly from the definition in odd D/even d spaces, but its vanishing is more intricate in even D/odd d and must be checked with care.
The total zeta function ζ d (z) is given schematically by summing the ζ-function of each particle in the theory, We say schematically because this sum is divergent and requires regularization, which we describe below. The zeta function of a single particle can be defined as (see [54][55][56][57][58][59][60] for more on the origin of these expressions): Zeta functions for ∆ ≤ d 2 are defined from the above by analytic continuation. Note again here that we use dual CFT notation d, ∆, s for convenience of specifying boundary conditions, but the computation is a purely AdS one. The various functions used in this definition are: The volumes are self-explanatory 5 , g s,d is the number of propagating degrees of freedom in a massive spin s particle in d + 1 dimensions, and µ are spectral densities. We will need Faddeev-Popov-type anticommuting ghosts to eliminate gauge degrees of freedom, and for these the zeta function gets an overall minus sign (i.e. they carry negative degrees of freedom).
The physical quantity of interest,F 1−loop , is encoded in the effective action as the linearization of the total ζ-function about z = 0 [54], Given the vanishing of ζ d (0), the contributions toF 1 from each particle are then given in 5 Note, though, that in odd D, we have an IR divergence which arises from the infinite volume of AdS. This divergence is the AdS dual of the logarithmic divergence due to the conformal anomaly in the CFT. In even D, we have a finite effective action, matching the finite free energy of the CFT.
terms of the zeta function as (2.12) (We will drop the AdS subscripts from now on, as all the remaining computations are performed in the bulk).
Finally, we obtain the full one-loop effective action by summing over all particles in the theory. We must regulate the sum over spins for both the massless and partially massless towers. As stated in the introduction, we will find that for the partially massless tower, the following regularization scheme ensures that ζ d (0) = 0: first we regulate by inserting s + d−5 2 −α , then perform the sum over s, then take the limit α → 0.

The Four Spectra of Interest
We study four theories in this paper: the nonminimal and minimal Vasiliev theories, and the nonminimal and minimal PM theories. The Vasiliev theories have been studied before in this context [37,38], we nevertheless reproduce their work as it is a necessary and natural stepping stone to studying the zeta functions for the PM theories. The PM theories on AdS have fields with wrong sign kinetic terms in the spectrum. However, since we are computing a functional determinant, the overall normalization and sign of the quadratic action does not matter and these fields still enter the zeta function with a positive sign. All the gauge fields, including the partially massless fields, have associated Faddeev-Popov anticommuting ghosts. These contribute a zeta function of opposite sign. Therefore, using the results of [1] and our claimed regularization scheme, the spectrum of each of these four theories and their associated regularized zeta functions are as follows: 1) Nonminimal Vasiliev: 2) Minimal Vasiliev: 3) Nonminimal PM: • ∆ = d + s − 2 physical spins with spin s, even s ≥ 2 • ∆ = d + s − 1 ghost spins with spin s − 1, even s ≥ 2 • ∆ = d + s − 4 PM spins with spin s, even s ≥ 4 As we will see below in section 4, there is a subtlety in D = 4 for the two PM theories, having to do with module mixing in the dual CFT, requiring modification of the definition of the zeta function. We will give precise definitions there.

One-Loop Renormalization in Odd D
We first turn to the simpler case of computing the zeta function in odd D (even d), returning to even D in section 4. We will find that the one-loop contribution to the dual of the conformal anomaly equals 0 in the nonminimal theories, and equals the conformal anomaly a CF T of a single real and 2 scalar in the minimal Vasiliev and PM theories, respectively.
We begin with the case of AdS 9 as an example of the general procedure, because as argued in [1,16], the cases of D = 3, 5, 7 are special for various reasons. We then state results through AdS 17 for completeness' sake. We also study the case of AdS 7 , following the näive procedure of simply computing the zeta function, and we encounter no obstacles and obtain the expected result. We do not consider the cases of AdS 3 and AdS 5 ; we might expect to be able to obtain similar results which match the log theories in CFT 2 and CFT 4 . We have not yet performed this check, as the PM theory described in the companion paper [1] instead produces the duals of the finite CFT 2 and CFT 4 rather than the log theories (see [16] for our terminology regarding log vs. finite theories in these special cases).

AdS 9
There are four non-gauge particles in the PM theory which are fully massive, and these must be treated separately. Their representations, given in terms of (∆, s), are (4, 0), (5, 1), (6,2) and (6,0). In the case of (4, 0), as ∆ = d 2 , in order to make the integrals converge we must 6 consider ∆ = 4 + and at the end continue to 0. Upon doing this the zeta function is Differentiating at z = 0 produces the contribution to the anomaly, which however starts at O( 3 ), For the other three non-gauge particles, there are no issues directly computing their zeta functions and evaluating their derivatives: For the gauge fields, we must sum over each tower of spins and each tower of corresponding ghosts. We give one example here then state answers for the other cases of interest. For the spin sums, we follow the procedure of [38] and perform the sum over spins before performing the u-integral in the definition of the zeta function. We define the u-integrand of the zeta function simply by ζ(z, u), The result of performing the sum is The result of integrating this with respect to u is Finally, we may differentiate at 0 to obtain .
These same steps may be performed for the other sums of interest. The corresponding zeta functions and contributions to the anomaly are    .
This is precisely the anomaly of one real scalar in 8d. Therefore we may interpret G −1 N ∝ N − 1, as in [38]. .
This is precisely the conformal anomaly of one real 2 scalar in 8d, which supports the interpretation G −1 N ∝ N − 1.

AdS 7
In AdS 7 , the only expected subtlety comes from the two scalars, whose dual CFT modules mix [16]. Indeed, the free action for the scalars is nondiagonalizable [1]. However, following the näive procedure of simply computing the zeta function seems to give us the expected results. In the future, it would be interesting to inquire as to why this happens.
The only subtlety in AdS 7 is the fact that the ∆ = 2 scalar and the ∆ = 3 vector have ∆ ≤ d 2 , and so their contributions require analytic continuation from ∆ > d 2 . Computing the zeta function for a scalar of dimension ∆ and continuing, we obtain As ∆ → 2, we obtain a 6,2,0 = − 1 1512 . Similarly for the ∆ = 3 vector, we obtain a 6,3,1 = 0.
( 3.16) These results all support the conclusion that G −1 N ∝ N in the nonminimal Vasiliev and PM theories, and G −1 N ∝ N − 1 in the minimal Vasiliev and PM theories.

AdS 11 Through AdS 17
Carrying out the above procedure in AdS 11 through AdS 17 , we fill out the following tables of contributions to a. The contributions of the four massive particles are given in      Table 5. The one-loop contribution of the even partially massless spins, their ghosts, and the difference of the two to the dual of the conformal anomaly in AdS 7 through AdS 17 .
Putting these results all together, we obtain the results for the one-loop correction to the inverse Newton's constant in all four of these theories in table 6.  Table 6. Complete result for the AdS computation of anomalies at one loop.

One-Loop Renormalization in Even D
In even-D cases, we must not only concern ourselves with the finite part of the effective action (which will be dual to the free energy F ), but also with the log-divergent part of the action, the would-be a-type conformal anomaly. Odd-dimensional CFTs have no atype conformal anomaly due to the absence of diff-invariant counterterms to renormalize the log divergence, and so our regularization scheme for the AdS dual of the free energy must guarantee that there is no dual log divergence as well, in the process ensuring that the free energy is unambiguous and physical. In terms of zeta functions, the free energy will be manifested in terms of ζ d (0), whereas the log divergence will be ζ d (0). We calculate these two independently but with the same regulator.
What we will find is that the idea behind the regulator of [38], inserting s + d−3

2
−α before carrying out the spin sum, may continue to be used for the partially massless tower, but needs to be modified to s + d−5 2 −α (as found also in [49]). The massless regulator is left unchanged. Note that in this section, we subtract ghosts from spins before regulating and performing the spin sums. Therefore, in all results below, when we say "spins", what we really mean is "spins minus ghosts".
The one-loop computation in even D is much more technically involved than the odd D computation. To that end, we need to define some helpful intermediate functions, following [38]. First, the spectral density contains a term 1 − 2 1+e 2πu . We define two partial spectral densities by splitting up this term: We use these to define partial zeta functions: which sum to the (complete) zeta function We continue to use the notation ζ d,∆,s (z, u) for the pre-integrated zeta function, We also need the following helpful identities and definitions: (4.6) where H n is the n th harmonic number. This identity covers all of the single particle ζ (1) (0) that we need to evaluate.
We now turn to ζ (2) (0). Define the following, where where ψ is the digamma function, and A p is defined recursively.
We will split the computation of ζ d,∆,s (0) into two parts, which we will call the "J" and "K" parts, following [38]. The definitions of these revolve around the x-integral that will be done over the polygamma function ψ x + 1 2 . J is the part of the answer that follows by ignoring this integral: Then, in terms of this, K is the remaining part of the zeta function, which now only involves the integral of the polygamma function: (4.11) As mentioned earlier, there are subtleties in D = 4, which we will explore below.

AdS 6
As we will demonstrate, in all four theories we study, ζ 5 (0) = 0. In the nonminimal theories, we find ζ 5 (0) = 0, consistent with G −1 N ∝ N , and for the minimal theories, we find ζ 5 (0) = −2F , where F is the free energy of a real scalar with an appropriate number of powers of the Laplacian evaluated on S 5 .

ζ 5 (0)
ζ 5 (0) receives contributions from every field and ghost in the theory. First we begin with the four massive particles. We may define ζ 5,∆,s (0) per particle by integrating then setting z → 0 for ζ (1) , and the opposite for ζ (2) : (4.12) Carrying this out for the four massive particles we obtain The zeta functions for massless and PM spins and their associated ghosts may be done in an identical fashion. After that, we must sum over spins, but again this sum is divergent and must be regulated by inserting a s + d−3 2 −α for massless spins or a s + d−5 2 −α for PM spins, doing the sum, and then setting α → 0 7 : In the case of even spins only: (4.18) By adding together the appropriate ζ 5 (0)s, we see that this regularization scheme is sufficient to ensure that ζ nonmin hs,5 (0), ζ min hs,5 (0), ζ nonmin hs 2 ,5 (0), and ζ min hs 2 ,5 (0) are all 0, thus there is no dual conformal anomaly term for the CFT 5 .

ζ 5 (0)
As in [38], the computation of ζ 5 (0) is considerably more involved. We generally refer to the procedure outlined there, with modifications as needed to accommodate the PM theory. We split all of the computations into "J" and "K" pieces, as explained above. We begin with J. It receives contributions from both ζ (1) (0) and ζ (2) (0). We begin with the computation 7 We could ask what would happen if we had instead chosen to regulate the PM sum in d = 5 by (s+x) −α , for some other x. If we had done so, we would have found instead: x 105x 8 − 1050x 6 + 3423x 4 − 4510x 2 + 1480 151200 (4.14) Thus we see that we ought to choose x = 0 to ensure that the above vanishes. We can also carry out this same exercise for the minimal theory, and in other dimensions. We have done so and all support the conclusion that the appropriate regulator is s + d−5 of ζ (1) (0). This may be evaluated as in [38] by using the identities defined above. Now, we turn to ζ (2) (0). We may expand this in powers of u, then use (4.7) term-by-term to replace each u integral with a constant plus an x integral. After recursing in p, we're ultimately left with an x integral of the form All such integrals (along with their multiplicative coefficients out front) define what we mean by K. Everything else in ζ (2) (0), along with all of ζ (1) (0), together define J. More details can be found in [38].
All of the J pieces are straightforward to deal with with the identities above. The K pieces require some more work; we defer the reader to the methodology in [37,38]. The general idea is to rewrite the polygamma function in an integral form (4.20) then perform the x integral, then perform the regulated spin sum, subtract off the powerlaw divergences in the t-integral, then finally perform the t integral. We perform the t integral by taking appropriate derivatives so that we can use the integral representation of the Hurwitz-Lerch Φ function, which we can relate in turn to derivatives of the Hurwitz zeta function.
Once all of the dust settles, we find the following results. First, the individual particles:   (7) 128π 6 + 2171077 722534400 + 15157 log (2)  As we demonstrated in [16], this is the free energy of a real 2 scalar on S 7 .

AdS 4
As we demonstrated in [1,16], the AdS 4 /CFT 3 PM theory is special because of the new scalar-new tensor module mixing that takes place in both AdS and in the CFT. Therefore, we might expect there to be subtlety in the zeta function for this theory. However, a similar module mixing took place in the AdS 7 /CFT 6 PM theory between the two scalars, but nothing prevented us from directly computing the zeta function in that case. We might therefore expect that the AdS 4 case would also be straightforward. However, it is not; the ζ 3 (0) for both the new scalar and new tensor are ill-defined due to a new divergence that arises. We can, however, regulate both of these divergences by increasing their masses via increasing the scaling dimension of the dual operator by for both. As we will see, using the same for both is crucial for obtaining the right dual free energy. Upon doing so, we will see that the divergence cancels in the total zeta function, and we obtain the expected results. We do not have a good physics reason for the origin of this divergence or why it must be regularized in this fashion, other than that it works. It would be very interesting to further explore this in the future.
We proceed as if the kinetic terms were diagonal and see what awaits us. The ζ 3 (0) computations are uncomplicated: These add to ensure that ζ 3 (0) = 0 for all four theories in question. Now turn to ζ 3 (0). There are two obstructions; both K 3,new scalar and K 3,new tensor are divergent/ill-defined, arising from precisely the two particles we expected subtlety from. First, we state results for everything else, then turn our attention to the obstructions. (4)  The integral does not converge as is, so we shift the upper region of integration to − 5 2 + . Then, we may perform the integral, and expand the resulting answer in powers of . The terms which survive as → 0 are We see that this diverges logarithmically as → 0. The same is true of the spin two; its K is associated with the integral K div 3,new tensor = 125 12 Again, we may deform the limit of the integral to − 1 2 + (with the same ) and expand, keeping terms which survive as → 0: We see that upon adding these two together, the divergences in cancel and we may take a smooth → 0 limit, obtaining a finite result, Note that if, instead, we had regularized the scalar by and the tensor by 2 , then the divergences would still have cancelled, but the answer would have differed by 5 ln 2, which would not give the expected result, as we will show below. Again, we do not yet have a good motivation for using the same for both, other than that it gives the expected answers. Now, we're ready to put the pieces together. First the nonminimal Vasiliev theory: As we demonstrated in [16], this is the free energy of a real 2 scalar on S 3 , albeit in a different and simpler form than we presented there.
It would be interesting to understand more deeply the -regulation that we do to obtain a finite result, beginning from the mixed AdS 4 scalar-tensor theory we describe in [1]. As we mentioned above, we were motivated by cancellation of the divergence, rather than any deep physics reason for why we should regulate in precisely this fashion. It would be much more appealing if we had a natural motivation for regularizing in the manner that we did. Such divergences have appeared before [61], although there, they signalled the presence of ln N corrections to G −1 N . Nevertheless, perhaps a connection could be made to the induced gauge symmetries of their work.
It would also be interesting to obtain a deeper understanding of the imaginary piece that appears in the free energy, both from an AdS perspective as well as a CFT one. In the CFT, we can see that in three dimensions, the spectrum of D (and therefore the AdS spectrum of H) is unbounded from below, due to the presence of the operator j (0) 0 with ∆ < 0. This is unlike the other dimensions we study in this paper, and may be related to the presence of a complex free energy.

Conclusions
We have computed the one-loop partition functions in a generalization of Vasiliev's theory which includes a tower of partially massless modes. By AdS/CFT, this theory is dual to a U (N ) or O(N ) free scalar CFT with a 2 kinetic term, and the bulk partition function we compute should match the sphere partition function of the 2 CFT.
We computed the one-loop partition functions by evaluating zeta functions for each particle within the theory, then summing up over each tower of spins. The sum over spins requires additional regularization which must be compatible with the symmetries of the theory.
We computed the one-loop effective action for both the "minimal" version of the theory containing only even spins, and for the "non-minimal" version of the theory containing all spins. We did this in odd AdS dimensions D = 7 through 19, for which the log-divergent part of the effective action is dual to the a-type conformal anomaly of the dual boundary theory, and also for even-dimensional AdS spaces for D = 4 through 8, for which the finite part of the one-loop effective action is dual to the free energy on a sphere of the dual boundary theory. There were subtleties in the case D = 4, but not D = 7, the cases where module mixing occurs in the dual field theory. In D = 4, there were divergences associated with ζ 3 (0) for the new scalar and new tensor, which we were able to regulate by jointly shifting their masses. After regulating, the answer became finite and we could take the regulator to 0. However, we were forced to regulate in a particular way, using the same regulator for both particles, in order to obtain the expected results. We want to attempt to understand the motivation for this regularization in the future.
We found that in even D, in order to ensure that the finite part of the effective action is unambiguous (i.e. ζ d (0) = 0), we needed to regulate the sum over partially massless spins by inserting s + d−5 2 −α before summing, sum, and then take the α → 0 limit, just as in [49].
Our results are that in the nonminimal theory, the one loop contribution vanishes and so there are no quantum corrections to the Newton's constant, and in the minimal theory the inverse Newton's constant gets a one-loop correction of exactly the same magnitude as in the original Vasiliev theory, These results provide evidence that the theory is UV complete and that this computation is one-loop exact.
In the future, it would be interesting to understand better the nature of the divergences in the AdS 4 case, and see if these sorts of subtlety occur in other theories besides the PM theories. It would also be interesting to attempt to explore the one-loop effective actions of PM theories dual to more general k theories. Also, we could explore the de Sitter analogue of this computation, or the adjoint scalar variant. Perhaps the fermionic / ∂ k theories' PM duals, or the supersymmetric extension of this theory, could shine some light on the puzzle related to the one-loop effective action in the type B Vasiliev theory, explored recently in [47] and references therein. It would be also very interesting to attempt to explore the one-loop matching in non-integer d, computing directlyF at one-loop in the bulk and in the CFT. Finally, it would be interesting to explore the connection to the character-based approach taken in [46].