Strong deflection gravitational lensing by a Lee-Wick ultracompact object

We study strong deflection gravitational lensing by a Lee-Wick ultracompact object. Its unique feature is a series of relativistic images inside its photon sphere, which are absent in the case of a black hole. We obtain its observables and estimate them for the supermassive black holes Sgr A* and M87* respectively in the Galactic center and in the center of M87. We find that the innermost relativistic image is a very promising signature according to its angular separation from the photon sphere and its considerable brightness. A preliminary bound on the UV scale of such an object is estimated based on the shadow of M87*.


Introduction
Direct detections of gravitational waves [1][2][3][4][5][6] and directly imaging the shadow of M87*, the supermassive black hole in the center of galaxy M87 [7][8][9][10][11][12], have not only shown that black holes are very common in the Universe, but also opened a new window to strong-field gravitational physics. A black hole is the simplest macroscopic object which one can obtain from the field equations of Einstein's general relativity (GR). However, such a fundamental object is plagued with the existence of its event horizon and central singularity. The event horizon protects the singularity from exposure and disconnects the interior of the black hole from the exterior. This causes Hawking radiation, giving birth of the information-loss problem. The singularity is the place where GR becomes invalid. A quantum theory of gravity might be a cure, but no exact prescription is available yet. There are numerous ways to effectively remove the singularity, such as replacing it with a regular core [13][14][15][16], bouncing by the quantum pressure [17][18][19], and creating a quasi-black hole [20][21][22][23] (see Ref. [24] for a review). Alternatively, it might be possible to erase the event horizon by considering an exotic a e-mail: yixie@nju.edu.cn (corresponding author) compact object which is more massive than a neutron star but without the event horizon [25] or a compact quantum object which exists due to the quantum dynamics [26]. Among the exotic compact objects, those with photon spheres are called ultracompact object s [25]. A number of proposals have been raised to realize these objects, such as whormholes [27,28], fluid stars [29], boson stars [30], gravastars [31,32], 2-2 holes [33], fuzzballs [34,35], Planck stars [36] and nonlocal stars [37] (see Ref. [38] for a review).
In this work, we focus on a Lee-Wick ultracompact object. It is based on a new local higher derivative theory of gravity without real poles [39][40][41][42][43], which is consistent with the Lee-Wick model [44][45][46]. A black hole solution to the theory was currently found and proved to be non-singular [47]. Such a theory also permits a spacetime solution without the event horizon and central singularity but with the photon sphere, which might be treated as the Lee-Wick ultracompact object. While thermodynamics [47] and strong deflection gravitational lensing [48] of the Lee-Wick black hole were investigated, it is still unknown about physical properties and observational signature of the Lee-Wick ultracompact object, which are critical for searching and distinguishing such a horizonless object.
Through gravitational and electromagnetic waves, it is in principle possible to tell a ultracompact object from a black hole [38]. A telltale of the ultracompact object in gravitational waves observation is the late-time echoes in the ringdown phase [49][50][51][52][53]. However, the event rates for current ground-based gravitational wave detectors are low and the methods to filter the echoes out of noise are fledgling for now; next-generation ground-based and space-borne gravitational waves detectors might be more promising [25]. Therefore, in light of successful direct imaging M87* by the Event Horizon Telescope (EHT) [7], we will concentrate on investigating the behavior of the Lee-Wick ultracompact object on electromagnetic waves, especially strong deflection gravitational lensing and its unique signature.
An unparalleled property of the ultracompact object is the existence of an antiphoton sphere (stable light ring) inside the photon sphere [75,76], which is not present at a black hole. Therefore, its strong deflection gravitational lensing is dramatically different from a black hole's by having unique relativistic images inside the photon sphere. Although gravitational lensing by various horizonless objects, such as wormholes [77][78][79][80][81][82][83][84][85][86][87][88][89][90][91][92][93], naked singularities [94,95], gravastars [96] and boson stars [97], have been widely studied, most of them paid less attention on the role of and resulting observables of the antiphoton sphere with a few exceptions: the gravitational lensing in the case where the antiphoton and photon spheres coincide was studied in the Majumdar-Papapetrou dihole spacetime [98] and an analytical approach to handle the strong deflection lensing by the antiphoton sphere of the ultracompact object was proposed [99].
In Sect. 2, the spacetime of a Lee-Wick ultracompact object will be briefly reviewed. We study its strong deflection gravitational lensing and resulting outer and inner relativistic images by using the methods of strong deflection limit respectively for the photon sphere [60,63] and for the antiphoton sphere [99] in Sect. 3. In Sect. 4, taking Sgr A* and M87* as two ultracompact object s, we estimate their observables of the lensing, evaluate their observability and obtain a tentative bound on the UV scale for the ultracompact object based on the observation of M87* by EHT. In Sect. 5, we conclude and discuss our results.

Lee-Wick ultracompact object
The Modesto-Shapiro theory of gravity reads [39][40][41][42][43] where G N denotes the gravitational constant and Λ is the UV scale. It is not necessary for Λ to be comparable with the Planck mass. The static and spherically symmetric spacetime solution of a source with mass m • was found as (with G N = c = 1) [47] ds 2 = −A(r )dt 2 + B(r )dr 2 + C(r ) dθ 2 + sin 2 θ dφ 2 , where and with For later convenience, we define that which are scaled by the mass of the source and are dimensionless. The (redefined) UV scale κ determines the existence of the event horizon(s) of the spacetime (2). When κ > κ h ≈ 2.165, it has two distinct event horizons; as κ = κ h , they merge into one at r h = 2m • x h with x h ≈ 0.953; when κ < κ h , it ends up no horizons. The spacetime with κ ≥ κ h are called the Lee-Wick black hole [47].
The existence of the light ring(s) is also controlled by κ. From the null geodesics of a photon in the equator (θ = π/2) of the spacetime (2), we can have the equation of motion of its radial coordinate r as [63,99] where a dot means the derivative against the affine parameter, E = A(r )ṫ and L = C(r )φ are the energy and angular momentum of the photon, and the effective potential per square of the angular momentum is A circular photon ring requires V eff (r ) = 0 and r > 0 where denotes the differentiation with respect to r . The unstable photon ring with V eff (r ) < 0 is usually called the photon sphere with the radius r m = 2m • x m that is outside the event horizon (if exists); and the stable photon ring with V eff (r ) > 0 is called the antiphoton sphere with the radius r a = 2m • x a [99].
We find that κ a ≈ 1.763 is the lower bound to ensure the existence of the antiphoton and photon spheres and when κ → κ a these two spheres get close to each other and eventually vanish at κ = κ a and x a ≈ 1.670 due to V eff = 0 at this point. For any κ < κ a , no circular photon ring is allowable. We also find that κ h is the upper bound for the existence of the antiphoton sphere. In the case of κ ≥ κ h , the event horizon encloses the anti-photon sphere, making it ineffective, and only the photon sphere survives outside the event horizon. Therefore, for the horizonless case of the Lee-Wick spactime (2), its antiphoton and photon spheres exist as long as the UV scale satisfies We call it a Lee-Wick ultracompact object. It has no event horizon and central singularity. Figure 1 shows A(x) and V eff for the Lee-Wick ultracompact object respectively in the top and bottom panels. It can be seen that, for a given κ belonging to the domain D a , there exists no root of A(x) and V eff has two local extrema corresponding to the antiphoton and photon spheres. However, when κ = κ a , neither of the local extrema exist for V eff . The (dimensionless) radii of the antiphoton and photon spheres, x a and x m , are shown in the top panel of Fig. 2, demonstrating that x m is bigger than x a .

Outer and inner relativistic images
In the strong deflection gravitational lensing, its deflection angle is much bigger than 1, resulting in a series of relativistic images by photons surrounding a compact object with n loops. A black hole with the event horizon and photon sphere forms the relativistic images outside the photon sphere but none inside. In contrast, a horizonless ultracompact object, such as the Lee-Wick one, can generate a series of relativistic images inside as well as those outside the photon sphere since it is possessed of both antiphoton and photon spheres. For a light ray lensed by the Lee-Wick ultracompact object, its impact parameter u is where r 0 is the closet approach distance of the photon. Its deflection angle can be obtained as [58,99,100] with The radius of its photon sphere r m is given by the root of V eff (r m ) = 0 with condition V eff (r m ) < 0 while the radius of its antiphoton sphere r a is determined by the root of V eff (r a ) = 0 with condition V eff (r a ) > 0.
In the strong deflection limit generating the outer relativistic images, its deflection angle of a photon with r 0 r m is [60,63] α where u m is the impact parameter evaluated at the photon sphere r m and Here, a quantity with subscript "m" means its value at r m , and we have where and any function F with subscript z denotes In the strong deflection limit, the Lee-Wick ultracompact object can also have the inner relativistic images inside the photon sphere if r 0 < r m . The resulting deflection angle is [99] wherē Here r c is defined as the root of V eff (r c ) = V eff (r m ) and satisfies r c < r m ; and a function with subscript "c" means its value at r c .
In the middle and bottom panels of Fig. 2, the coefficients of the strong deflection limit for the outer relativistic images a + andb + and those for the inner imagesā − andb − on the domain D a are shown. It is clear thatā + is a half ofā − , see Eq. (21). When κ ≈ κ a ,b − is less thanb + by about a factor of 2; and for κ > 1.790, we haveb − > 0 >b + . We can see that when κ → κ a , bothā ± andb ± diverge. It happens because the antiphoton and photon spheres vanish at κ = κ a , causing the strong deflection limit invalid, and there exists a point with V eff (r m ) = V eff (r m ) = 0 (see the red curve in the bottom panel in Fig. 1), makingā ± andb ± explode.
In order to obtain the observables of the outer and inner relativistic images, we adopt the lens equation as [58,59,101] where B is the angular position of the source, ϑ is the angular position of the image, and D LS and D OS are respectively the distances from the lens to the source and from the observer to the source. It is assumed that the source, the lens and the observer are nearly aligned and both the source and observer are far from the lens. Therefore,α(ϑ) =α + (u) for the outer relativistic image andα(ϑ) =α − (u) for the inner image where u = ϑ D OL and D OL is the distance from the observer to the lens. For a lensed image, its magnification μ can be found as [102] The position of the outer relativistic Einstein ring ϑ 0 with which leads to the apparent angular radius of the photon sphere as n → ∞ The position of the outer relativistic image ϑ +n is [60] ϑ +n = ϑ 0 +n + and its magnification is [60] It can be found that if i > j > 0, then ϑ +i < ϑ + j and |μ +i | < |μ + j |. The position of the inner relativistic Einstein ring ϑ 0 −n with α − = 2nπ is [99] with which gives the same angular radius of the photon sphere as the one for the outer relativistic images that Hereafter, we will omit ± in the notation of the apparent size of the photon sphere for θ ∞ = θ ±∞ . The position of the inner relativistic image ϑ −n is [99] and its magnification is [99] It can also be found that if − j < −i < 0, then ϑ −i < ϑ − j and |μ − j | < |μ −i |.
If it is assumed that only the innermost and outermost relativistic images could be resolved and all of the remaining ones are packed together at the photon sphere θ ∞ , we can have separations among the relativistic images as and there brightness difference in the unit of magnitude as where i, j = −1, ∞, 1 respectively for the innermost relativistic image, the photon sphere and the outermost one. For the magnification of the photon sphere, it has contributions from both inner and outer relativistic images that Therefore, we can have Δm −1,∞ = 2.5 log 10 e −1 4(1 + e −1 ) 2 − 2.5 log 10 Here, s +1,∞ , s ∞,−1 and s +1,−1 are respectively the angular separations between the outermost relativistic image and the photon sphere, between the photon sphere and the innermost relativistic image and between the outermost and innermost images, while Δm +1,∞ , Δm −1,∞ and Δm +1,−1 are respectively their brightness differences. The angular separations are dependent on θ ∞ which relates to the mass and distance of the lens, while the brightness differences are dimensionless and irrelevant to these two quantities of the lens.

Observables for Sgr A* and M87*
For current capability of gravitational wave detection and astronomical observation, it is still hardly to distinguish a horizonless ultracompact object from a black hole [38]. Therefore, We hypothesize that Sgr A* and M87* were two Lee-Wick ultracompact object s with the mass M SgrA * = 4.28 × 10 6 M and the distance D OL,SgrA * = 8.32 kpc [103] and with M M87 * = 6.5×10 9 M and D OL,M87 * = 16.9 Mpc [12]. Their angular observables, including the apparent radius of the photon sphere θ ∞ as well as the separations between the relativistic images s +1,∞ , s ∞,−1 and s +1,−1 , are shown in Fig. 3. On the domain D a , θ ∞ decreases with the increment of κ. θ ∞ for Sgr A* ranges from 29.7 to 31.1 µas for the Lee-Wick ultracompact object, bigger than its value of 26.4 μas in the case of a Schwarzschild black hole; and θ ∞ becomes 22.3-23.2 µas for M87* whereas its value for the Schwarzschild black hole is 19.7 µas. The angular separation between the outermost relativistic image and the photon sphere s +1,∞ quickly reaches its peak values of 75 nanoarcsecond (nas) for Sgr A* and of 56 nas for M87* at κ ≈ 1.780 and then slowly decays to about 9 nas. By comparison, their corresponding values for the Schwarzschild black hole are 33.0 nas for Sgr A* and 24.7 nas for M87*. However, even at its peaks, s +1,∞ is still far beyond the foreseen angular resolution of observation in the near future. In contrast, the angular separation between the innermost relativistic image and the photon sphere s ∞,−1 is much bigger than s +1,∞ and it can monotonically increase to 5.6 μas for Sgr A* and to 4.2 μas for M87* as κ approaches κ h . These values are marginally with the current ability of EHT [7]. Since s +1,−1 = s +1,∞ + s ∞,−1 and s ∞,−1 s +1,∞ , we can have s +1,−1 ≈ s ∞,−1 and s +1,−1 have almost the same curves as those of s ∞,−1 for Sgr A* and M87*. Figure 4 shows the magnification-related observables which are the brightness differences between relativistic images Δm +1,∞ , Δm −1,∞ and Δm +1,−1 . Since the brightness differences do not depend on the mass and the distance of the lens, the two Lee-Wick ultracompact object s of Sgr A* and M87* share the same curves. The brightness difference between the outermost relativistic image and the others packaged at the photon sphere Δm +1,∞ can reach about −0.8 mag at κ ≈ κ a and decrease to about −2.7 mag at κ ≈ κ h , showing that the outermost one is fainter than the packaged one by at least 2 mag for 1.879 < κ < κ h . By comparison, Δm +1,∞ for the Schwarzschild black hole is 6.8 mag. The brightness difference between the innermost relativistic image and the packaged one at the photon sphere Δm −1,∞ monotonically increases from about −1.3 to 2.9 mag, demonstrating that the innermost one is brighter than the packaged one by at least 2 mag for 1.839 < κ < κ h . The brightness difference between the outermost and innermost relativistic images Δm +1,−1 is simply Δm +1,∞ − Δm −1,∞ and it indicates the innermost relativistic image is brighter than the outermost one by at least 2 mag for κ > 1.771 and by almost 5.7 mag at κ ≈ κ h . The curve of Δm +1,∞ suggests that if it would have enough angular resolution to separate the outermost relativistic images from the photon sphere, the outermost image is fainter than the others packaged altogether by 2 mag and more, making them harder to detect, while Δm −1,∞ and Δm +1,−1 show the innermost image is significantly brighter than both the packaged one at the photon sphere and the outermost one, rendering it a more promising signature of the ultracompact object to search.
For now, the only available measurement of these observables is the measured diameter of M87*'s shadow of 42 ± 3 μas [7]. If it is assumed that M87* is the Lee-Wick ultracompact object and its measured apparent size of shadow is determined by its innermost relativistic image, we can estimate a rough and tentative bound on κ as 1.775 ≤ κ ≤ 1.920. If we further demand that the separation between the innermost image and the photon sphere is smaller than the uncertainty of the diameter of the shadow since no individual inner image is observed, it can narrow the bound down to 1.775 ≤ κ ≤ 1.855 which leads to 1.31 × 10 −13 m −1 ≤ Λ ≤ 1.37 × 10 −13 m −1 . Note that, instead of κ, Λ parametrizes the Modesto-Shapiro theory of gravity so that even the same constraint on κ can give very different constraints on Λ since Sgr A* and M87* have completely different masses. It is also worth mentioning that applying such a measurement to constrain the ultracompact object has to be proceeded with caution, because estimating properties of M87*'s shadow indispensably relies on the rotation of the central compact object and the general relativistic magnetohydrodynamics of plasma around it [12]. Both of them are absent in this work since the spacetime of a rotating Lee-Wick ultracompact object is still unknown and the general relativistic magnetohydrodynamics of plasma is computationally high-cost and beyond the scope of this work. Therefore, the bound on κ we have obtained is merely a hint for the

Conclusions and discussion
We study the strong deflection gravitational lensing by the Lee-Wick ultracompact object and obtain its observables, including the apparent radius of the photon sphere as well as the angular separations and the brightness differences between the relativistic images. Its unique feature is a series of relativistic images inside the photon sphere, which are absent for a black hole. By assuming that Sgr A* and M87* are two ultracompact object s, we show how these observables change with respect to the UV scale κ belonging to the domain D a . We find that the apparent radius of the photon sphere for the Lee-Wick ultracompact object is bigger than the one for the Schwarzschild black hole with the same mass and distance. Although the angular separation between The magnification-related observables, the brightness differences between relativistic images Δm +1,∞ , Δm −1,∞ and Δm +1,−1 , are shown from top to bottom panels the outermost relativistic image and the others packaged at the photon sphere for the Lee-Wick ultracompact object can reach more than 50 nas at κ ≈ 1.780, which is two times bigger than the one for the Schwarzschild black hole, it is far beyond the foreseen technology, not to mention its considerable faintness. In contrast, the angular separation between the innermost relativistic image and the photon sphere for the Lee-Wick ultracompact object can increase to several μas marginally within the current ability and it is much brighter than both the packaged one at the photon sphere and the outermost one, making it as a very promising signature for the ultracompact object. Based on the measured diameter for M87*'s shadow by EHT [7], a rough and tentative bound on the UV scale is estimated as 1.775 ≤ κ ≤ 1.855 and 1.31 × 10 −13 m −1 ≤ Λ ≤ 1.37 × 10 −13 m −1 for the ultracompact object by assuming that the apparent size of the shadow is determined by its innermost relativistic image and no individual inner image can be resolved by the current observation. It seems that Λ might be too small to pass other tests of General Relativity and it might be expected to be much bigger than the TeV scale.
Such a Lee-Wick horizonless ultracompact object is a nonrotating one. Although the observation by EHT disfavors a irrotational black hole [7], it did not say anything about ultracompact object s. Even so, we expect that the rotation of the Lee-Wick ultracompact object will have an influence on the shadow; however, a detailed investigation on it has to wait until the metric of this rotating ultracompact object is available. Another critical ingredient is the general relativistic magnetohydrodynamics of plasma around the Lee-Wick ultracompact object, which is important to account for the asymmetric ring around M87* [11] and is also computationally high-cost. These two absent factors remind that the Lee-Wick horizonless ultracompact object can not be constrained in a self-consistent way by making direct use of the observed M87*'s shadow. This work provides some prediction of its strong deflection gravitational lensing signals and a hint of its horizonlessness and ultracompactness. In order to have a complete picture, more detailed studies about the effects of its rotation on the weak [104][105][106][107][108][109][110][111][112][113][114][115][116][117][118][119][120] and strong [121][122][123][124][125] deflection lensing as well as numerical simulations of general relativistic magnetohydrodynamics of plasma are required.

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: This paper is a theoretical work and all of the data are adopted by the related references.] Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/. Funded by SCOAP 3 .