This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Under Einstein’s Microscope: Measuring Properties of Individual Rotating Massive Stars from Extragalactic Microcaustic Crossings

Xu Han Department of Physics, Xi’an Jiaotong University, Xi’an, 710049, China Department of Physics, University of California, 366 Physics North MC 7300, Berkeley, CA 94720, USA Liang Dai Department of Physics, University of California, 366 Physics North MC 7300, Berkeley, CA 94720, USA
Abstract

Highly magnified stars residing in caustic crossing lensed galaxies at z0.7z\simeq 0.71.51.5 in galaxy cluster lensing fields inevitably exhibit recurrent brightening events as they traverse a microcaustic network cast down by foreground intracluster stars. The detectable ones belong to nature’s most massive and luminous class of stars, with evolved blue supergiants being the brightest ones at optical wavelengths. Considering single stars in this work, we study to what extent intrinsic stellar parameters are measurable from multifilter light curves, which can be obtained with optical/near-IR space telescopes during one or multiple caustic crossing events. We adopt a realistic model for the axisymmetric surface brightness profiles of rotating O/B stars and develop a numerical lensing code that treats finite source size effects. With a single microcaustic crossing, the ratio of the surface rotation velocity to the breakup value is measurable to a precision of 0.1\sim 0.10.20.2 for feasible observation parameters with current space telescopes, with all unknown intrinsic and extrinsic parameters marginalized over and without a degeneracy with inclination. Equatorial radius and bolometric luminosity can be measured to 1/31/3 and 2/32/3 of the fractional uncertainty in the microcaustic strength, for which the value is not known at each crossing but an informative prior can be obtained from theory. Parameter inference precision may be further improved if multiple caustic crossing events for the same lensed star are jointly analyzed. Our results imply new opportunities to survey individual massive stars in star-formation sites at z0.7z\simeq 0.71.51.5 or beyond.

gravitational lensing: strong — gravitational lensing: micro — stars: rotation — stars: fundamental parameters

1 Introduction

When a background galaxy overlaps the lensing caustic cast by a foreground galaxy cluster lens, a portion of that galaxy in the caustic vicinity appears immensely stretched. Stars residing in that region can be magnified by a few hundred to a thousand fold, and the most luminous ones are individually detectable (Miralda-Escudé, 1991). A significant advance in our understanding of highly magnified stars is the realization that intracluster stars in the foreground cluster inevitably disrupt the smooth cluster caustic into a network of microcaustics on a fine scale 103\sim 10^{3}\,au (Venumadhav et al., 2017; Diego et al., 2018; Oguri et al., 2018). Highly magnified stars therefore appear variable as they traverse the nonuniform magnification pattern on the source plane as a result of the microcaustic network.

Highly magnified stars can be detected based on the variability induced by microlensing. Without microlensing, they are expected to be common at z=1z=122 in deep imaging that reaches 28282929 mag in the optical and near-IR (Diego, 2019). Microlensing can further boost the flux by 1133 mag temporarily, which greatly enhances detectability. Several blue supergiant stars have already been discovered by the Hubble Space Telescope (HST) in caustic-crossing giant arcs at z=0.7z=0.71.51.5 (Kelly et al., 2018; Chen et al., 2019; Kaurov et al., 2019). Searching for variability using the imaging difference technique, the Flashlight program recently detected a dozen highly magnified stars from this redshift range when the imaging limiting magnitude with HST in the optical improves from 2828 to 3030 (Kelly et al., 2022). James Webb Space Telescope (JWST) NIRCam imaging with the PEARLS program uncovered that redder magnified stars are commonly detected at infrared wavelengths at a magnitude limit 28.528.53030 (Yan et al., 2023). Several intriguing magnified star candidates have been reported in more distant lensed galaxies at z2z\simeq 266 (Welch et al., 2022; Diego et al., 2023a, b; Meena et al., 2023; Welch et al., 2022), including quite bright objects (Vanzella et al., 2020; Diego et al., 2022). The nature of these sources is under active investigation.

Microlensing-induced brightening culminates every time when the source star transits a microcaustic. When the photosphere overlaps the microcaustic, a peak magnification μpk103\mu_{\rm pk}\sim 10^{3}10410^{4} is reached over the stellar-diameter crossing time (hours to a few days). Flux evolution around such dramatic times has yet to be measured at high cadence but is observationally feasible owing to the expected immense magnification factor around the peak time.

In this work, we study the potential of caustic crossing as an exquisite gravitational microscope to measure stellar properties. During the caustic crossing, different parts of the stellar surface have significantly different magnification factors, and thus the time-dependent fluxes and colors encode information about the size of the photosphere, as well as its shape and surface temperature profile.

This can be compared to the study of finite source size effects in Galactic binary microlensing events with caustic crossings (Mao & Paczynski, 1991), with some observed examples (Lennon et al., 1996; Yoo et al., 2004; Udalski et al., 2005). In extragalatic caustic crossings it is the most massive stars with the highest luminosities that are observationally selected. Therefore, caustic crossings with highly magnified stars provide a unique opportunity to study the properties of individual massive stars in distant star-formation environments that might differ fundamentally from local universe samples (in terms of, e.g., metallicity and interstellar medium density).

In this work, we will study single source stars that have axisymmetric surface properties owing to stellar rotation. We will introduce a parameterized model that accounts for the axisymmetric surface spectral energy distribution (SED) profile due to gravity darkening. By resorting to analytic arguments and by developing a numerical program to fit mock multifilter light curves for caustic-crossing events, we will show that, with all unknown extrinsic geometric and kinematic parameters marginalized over, the ratio of the surface rotation velocity to the breakup velocity (see Eq. (3)), denoted as ω\omega, can be measured without a degeneracy with the stellar inclination as in spectroscopic rotation measurements. For massive stars, the evolution of stellar rotation connects to wind mass loss (Maeder & Meynet, 2000a), surface element abundance enhancement (e.g. N and He; Maeder & Meynet (2000b)), and the explosive fate of the star (Woosley & Heger, 2006; Yoon et al., 2006). Knowing ω\omega for a sample of massive stars at z=0.7z=0.71.51.5, combined with the knowledge of the property of each star’s host environment, can potentially improve our understanding of massive star evolution in the younger Universe.

Additionally, the equatorial radius ReR_{e} and the bolometric luminosity LL can be constrained to precision levels limited primarily by the unknown microcaustic strength (see Eq. (18)) the logarithmic uncertainties (in units of dex) for ReR_{e} and LL are 1/31/3 and 2/32/3 of that for the microcaustic strength, respectively. Fortunately, an informative prior for the latter can be derived from microlensing simulations knowing their number density and mass distribution (Venumadhav et al., 2017).

This paper will be organized as follows. In Sec. 2, we discuss an analytical model that quantifies the axisymmetric surface brightness profile of a rotating massive star and introduce intrinsic and extrinsic parameters of the model. In Sec. 3, we summarize how individual microcaustic crossing events can be modeled by a local fold lens model and define the relevant parameters. In Sec. 4, we discuss parameter degeneracy expected in fitting mock multifilter light curves during the caustic-crossing process to our theoretical model. In Sec. 5, we present examples of mock parameter inference under realistic observational conditions, which we carry out using a numerical code we have developed that performs inverse ray shooting and rapidly calculates the light-curve fitting χ2\chi^{2} as a function of model parameters. Sec. 6 is for further discussions, and we will close with concluding remarks in Sec. 7.

2 Source Star Model

In this section, we discuss how we model the surface brightness profile of axisymmetric rotating stars.

2.1 Surface Property of Rotating Stars

We consider general stars with surface rotation. The surface rotation angular velocity may not equal that of the stellar interior. The surface of a rotating star has an axisymmetric shape and has a latitudinal effective temperature profile Teff(θ)T_{\rm eff}(\theta) (where θ\theta is the polar angle and is equal to π/2\pi/2 minus the latitude). The von Zeipel theorem (von Zeipel, 1924) states that the bolometric radiation flux FF emerging from the surface of the rotating star is proportional to the local effective surface gravity geffg_{\rm eff}, which is centrifugally reduced on the equator. As a result, the polar caps are hotter than the equatorial region and have a higher surface brightness.

We adopt the analytic model of Espinosa Lara & Rieutord (2011) for the axisymmetric distribution of surface radiation flux F(r~,θ,ω)F(\tilde{r},\,\theta,\,\omega) and surface gravity geff(r~,θ,ω)g_{\mathrm{eff}}(\tilde{r},\,\theta,\,\omega):

F\displaystyle F =σTeff4=geff(tanϑtanθ)2L4πGM,\displaystyle=\sigma\,T_{\mathrm{eff}}^{4}={g_{\mathrm{eff}}}\,\left(\frac{\tan{\vartheta}}{\tan\theta}\right)^{2}\frac{L}{4\pi\,GM}, (1)
geff\displaystyle g_{\mathrm{eff}} =GMRe2(1r~4+ω4r~2sin2θ2ω2sin2θr~)12.\displaystyle=\frac{GM}{R_{e}^{2}}\left(\frac{1}{\tilde{r}^{4}}+\omega^{4}\,\tilde{r}^{2}\,\sin^{2}\theta-\frac{2\,\omega^{2}\sin^{2}\theta}{\tilde{r}}\right)^{\frac{1}{2}}. (2)

More sophisticated than the simple power-law model TeffgeffβT_{\rm eff}\propto g^{\beta}_{\rm eff} with β1/4\beta\approx 1/4 for massive stars with a radiative envelope, this model agrees well with 2D numerical rotating star models. In this model, the reduced radius r~\tilde{r} is defined as the dimensionless ratio of the radial position of the stellar surface to the equatorial radius ReR_{e}, i.e. r~r/Re\tilde{r}\equiv r/R_{e}. This quantifies the axisymmetric deformation of the surface due to the centrifugal force. The quantities LL and MM are the bolometric luminosity and the stellar mass, respectively, and σ\sigma is the Stefan-Boltzmann constant. Following Espinosa Lara & Rieutord (2011), we have introduced an auxiliary variable ϑ\vartheta, which is related to the polar angle θ\theta via Eq. (4).

The dimensionless rotation parameter ω\omega is a measure of how dynamically important the surface rotation is. It is defined as

ωΩ(Re3GM)12=ΩΩk.\omega\equiv\Omega\left(\frac{R_{e}^{3}}{GM}\right)^{\frac{1}{2}}=\frac{\Omega}{\Omega_{k}}. (3)

Here Ω\Omega is the angular velocity of the surface, and Ωk\Omega_{k} is the Keplerian angular velocity on the equatorial surface, which is the critical rotating rate for material on the equatorial surface to be bound in a circular orbit. The model requires 0ω<10\leqslant\omega<1. If the value is close to breakup ω0.7\omega\gtrsim 0.70.80.8, a decretion disk is likely to form on the equator to form a Be star (Ekström et al., 2011).

The following implicit equation gives an analytic relation between the polar angle θ\theta and ϑ\vartheta:

cosϑ+ln(tanϑ2)=13ω2r~3cos3θ+cosθ+ln(tanθ2).\cos\vartheta+\ln\left(\tan\frac{\vartheta}{2}\right)=\frac{1}{3}\,\omega^{2}\,\tilde{r}^{3}\,\cos^{3}\theta+\cos\theta+\ln\left(\tan\frac{\theta}{2}\right). (4)

The variable ϑ\vartheta reduces to θ\theta in the absence of rotation.

The shape of the star r(θ)r(\theta) can be found from a constant effective potential on the surface, whose value can be determined by considering the equator:

GMr+12Ω2r2sin2θ=GMRe+12Ω2Re2.\frac{GM}{r}+\frac{1}{2}\,\Omega^{2}\,r^{2}\,\sin^{2}\theta=\frac{GM}{R_{e}}+\frac{1}{2}\,\Omega^{2}\,R^{2}_{e}. (5)

It is assumed here that the gravitational potential at the stellar surface is well approximated by GM/rGM/r (i.e. the Roche potential), as the mass distribution of a massive star is rather centralized (Espinosa Lara & Rieutord, 2011). Recasting the equation into the dimensionless form, we derive the shape equation

1ω2r~+12r~2sin2θ=1ω2+12.\frac{1}{\omega^{2}\,\tilde{r}}+\frac{1}{2}\,\tilde{r}^{2}\,\sin^{2}\theta=\frac{1}{\omega^{2}}+\frac{1}{2}. (6)

The sequential procedure to compute the rotating star model is the following. We find r~(θ,ω)\tilde{r}(\theta,\omega) by solving Eq. (6) and then find ϑ(θ,ω)=ϑ(r~(θ,ω),θ,ω)\vartheta(\theta,\omega)=\vartheta(\tilde{r}(\theta,\omega),\theta,\omega), and then we determine the effective surface gravity geff(θ,ω)=geff(r~(θ,ω),θ,ω)g_{\mathrm{eff}}(\theta,\omega)=g_{\mathrm{eff}}(\tilde{r}(\theta,\omega),\theta,\omega) according to Eq. (2) as well as the surface radiation flux F(θ,ω)=F(geff(θ,ω),ϑ(θ,ω),θ)F(\theta,\omega)=F(g_{\rm eff}(\theta,\omega),\vartheta(\theta,\omega),\theta) according to Eq. (2). Knowing F(θ,ω)F(\theta,\omega), the surface temperature Teff(θ,ω)T_{\rm eff}(\theta,\omega) is found from F(θ,ω)=σTeff4(θ,ω)F(\theta,\omega)=\sigma\,T^{4}_{\rm eff}(\theta,\omega).

Defining characteristic quantities Teff,0(L/4πσRe2)1/4T_{\mathrm{eff,0}}\equiv\left({L}/{4\pi\sigma R_{e}^{2}}\right)^{1/4} and geff,0GM/Re2g_{\mathrm{eff},0}\equiv{GM}/{R_{e}^{2}}, we can express the surface temperature and the effective surface gravity in dimensionless forms

T~eff(θ,ω)\displaystyle\tilde{T}_{\mathrm{eff}}(\theta,\omega) Teff(θ,ω)Teff,0=[g~eff(θ,ω)]14(tanϑ(θ,ω)tanθ)12,\displaystyle\equiv\frac{T_{\mathrm{eff}}(\theta,\omega)}{T_{\mathrm{eff,0}}}=\left[\tilde{g}_{\mathrm{eff}}(\theta,\omega)\right]^{\frac{1}{4}}\left(\frac{\tan{\vartheta}(\theta,\omega)}{\tan\theta}\right)^{\frac{1}{2}}, (7)
g~eff(θ,ω)\displaystyle\tilde{g}_{\mathrm{eff}}(\theta,\omega) geff(θ,ω)geff,0\displaystyle\equiv\frac{g_{\mathrm{eff}}(\theta,\omega)}{g_{\mathrm{eff},0}}
=(1r~4(θ,ω)+ω4r~2(θ,ω)sin2θ2ω2sin2θr~(θ,ω))12.\displaystyle=\left(\frac{1}{\tilde{r}^{4}(\theta,\omega)}+\omega^{4}\,\tilde{r}^{2}(\theta,\omega)\,\sin^{2}\theta-\frac{2\,\omega^{2}\,\sin^{2}\theta}{\tilde{r}(\theta,\omega)}\right)^{\frac{1}{2}}. (8)

In Figure 1, we show these reduced quantities as a function of the polar angle θ\theta for a few different values of ω\omega.

Refer to caption
Refer to caption
Figure 1: Reduced surface temperature T~eff(θ,ω)\tilde{T}_{\mathrm{eff}}(\theta,\omega) and reduced effective surface gravity g~eff(θ,ω)\tilde{g}_{\mathrm{eff}}(\theta,\omega) as a function of the polar angle θ\theta for three different values of ω\omega.

2.2 SED of Rotating Stars

To calculate the observed SED of a lensed star, we must integrate the spectral surface brightness over the lensed image. For OB stars, the blackbody SED that depends on a single parameter TeffT_{\rm eff} would be too crude an approximation. We adopt the more realistic TLUSTY stellar spectrum templates computed for nonrotating OB stars (Lanz & Hubeny, 2003, 2007). Each model outputs the emergent SED, which is characterized by three parameters: effective temperature, surface gravity, and metallicity.

The TLUSTY grid we use covers a range of effective temperature from Teff=15,000T_{\rm eff}=15,000 to 30,000K30,000\,\mathrm{K} and a range of surface gravity from logg=1.75\log g=1.75 to 4.754.75. To model rotating stars, we use the approximation (Collins & Harrington, 1966; Maeder & Peytremann, 1970) that the SED of the local emergent radiation at any point on the surface of the rotating star is that of a nonrotating star that has an effective temperature TeffT_{\rm eff}, a surface gravity geffg_{\rm eff} and a metallicity ZZ. By assuming that radiation transfer through the stellar atmosphere is a local process, we can model the varying SED across the rotating star surface by interpolating a grid of nonrotating TLUSTY models. Limb darkening is not modeled in this work, but we will comment on that in Section 6.2.

Our approximation is imperfect, as certain spectral features depend on the radiation-hydrodynamic solution describing the line-driving wind of a massive star. The wind solution can differ between nonrotating and rotating stars. Since the relevant observable for our purpose is wide-filter photometry, wind features are not expected to be important.

For examples shown in the later part of the paper, we will choose a TLUSTY grid with a metallicity Z=0.2ZZ=0.2\,Z_{\odot} and a microturbulence vturb=2kms1v_{\mathrm{turb}}=2\,\mathrm{km\,s^{-1}}. We will suppress explicit dependence on these two parameters in equations.

Note that highly magnified stars may be cool stars for which the TLUSTY models are not applicable. They may be red supergiants with Teff=3500T_{\rm eff}=350045004500\,(Diego et al., 2023a). Even the first detected star has a lower effective temperature Teff=11,000T_{\rm eff}=11,00014,00014,000\,(Kelly et al., 2018). Nevertheless, our framework is sufficiently general that any other stellar atmosphere models appropriate for different stellar types can be incorporated if needed. For a proof of concept, we will consider in this work relatively hot stars for which the TLUSTY templates are valid.

Let S~λ(λ,Teff,g)\tilde{S}_{\lambda}(\lambda,T_{\rm eff},\,g) be the surface brightness of the TLUSTY model at wavelength λ\lambda. The surface brightness for a source star at a redshift zsz_{s} observed at wavelength λ\lambda is

Sλ(λ,Teff,geff)=S~λ(λ/(1+zs),Teff,geff)(1+zs)5.\displaystyle S_{\lambda}\left(\lambda,T_{\rm eff},\,g_{\rm eff}\right)=\frac{\tilde{S}_{\lambda}\left(\lambda/(1+z_{s}),T_{\rm eff},\,g_{\rm eff}\right)}{(1+z_{s})^{5}}. (9)

The observed flux, with the lensing magnification accounted for, is then given by an angular integration over the lensed image:

Fλ(λ,Teff,geff)=ISλ(λ,Teff,geff)d2Ω.F_{\lambda}(\lambda,T_{\mathrm{eff}},g_{\mathrm{eff}})=\int_{I}\,S_{\lambda}\left(\lambda,T_{\rm eff},\,g_{\rm eff}\right)\,\mathrm{d}^{2}\Omega. (10)

The observed flux convolved with a given photometric filter is

F¯λ=λFλf(λ)λdλλf(λ)λdλ.\overline{F}_{\lambda}=\frac{\int_{\lambda}\,F_{\lambda}\,f(\lambda)\,\lambda\,\mathrm{d}\lambda}{\int_{\lambda}\,f(\lambda)\,\lambda\,\mathrm{d}\lambda}. (11)

where f(λ)f(\lambda) is the filter throughput. The AB magnitude (Oke & Gunn, 1983) is then computed as

mAB=2.5log10(F¯λλp2/c)48.60,\displaystyle m_{\rm AB}=-2.5\,\log_{10}(\overline{F}_{\lambda}\,\lambda_{p}^{2}/c)-48.60, (12)

where λp\lambda_{p} is the pivot wavelength of the filter.

2.3 Viewing Angles

For a rotating star, the observed surface brightness profile depends on the orientation of the star with respect to the line of sight, which is random. We parameterize this using two of the three Euler angles: Θ\Theta is the angle between the line of sight and the star’s rotation axis, and Φ\Phi is the azimuthal position of the rotation axis when projected onto the plane of the sky. On the source plane, the surface brightness profile is simply related by rotations in the plane of the sky for situations with the same Θ\Theta but different Φ\Phi values. Figure 2 shows an example of how the surface brightness of a rotating star varies with the observer’s perspective. The angle Φ\Phi is relevant when the star is lensed because the multifilter photometric outcome of the time-varying differential magnification effect during a caustic-crossing event depends on the orientation of the star in the sky plane relative to the direction of the lensing caustic.

In Figure 3, we consider the same example star as in Figure 2. We vary the dimensionless surface rotation ω\omega while keeping other intrinsic parameters fixed. Broadband colors, corresponding to three promising HST filters (F435W, F555W, and F814W) with which the star may be observed, are shown as a function of ω\omega and along different viewing angles. In this example, there are only up to 0.1\sim 0.1\,mag subtle color differences between a nonrotating star and a rapidly rotating star, in the absence of differential magnification. As we will see later, the detailed shape of the flux light curve during the caustic crossing (as a result of time-dependent differential magnification of the photosphere), rather than the color variation, provides the key information to distinguish between different ω\omega values.

2.4 Summary of Stellar Parameters

In summary, we characterize a rotating source star with four intrinsic parameters: equatorial radius ReR_{e}, bolometric luminosity LL, mass MM, and the dimensionless rotation rate 0ω<10\leqslant\omega<1; two external parameters describe the viewing angle: the inclination 0Θπ0\leqslant\Theta\leqslant\pi and the azimuthal angle 0Φ<2π0\leqslant\Phi<2\pi.

Refer to caption
Refer to caption
Refer to caption
Figure 2: Variation of the effective temperature TeffT_{\rm eff} across the surface of a rapidly rotating star with ω=0.8\omega=0.8 on the source plane. From top to bottom we show three perspectives: along the rotation axis (Θ=0,Φ=0\Theta=0,\,\Phi=0), in the equatorial plane (Θ=π/2,Φ=0\Theta=\pi/2,\,\Phi=0), and at an inclined angle (Θ=π/4,Φ=π/4\Theta=\pi/4,\,\Phi=\pi/4). The star has an equatorial radius Re=83.25RR_{e}=83.25\,R_{\odot}, a bolometric luminosity L=106LL=10^{6}\,L_{\odot}, and a stellar mass M=60MM=60\,M_{\odot}, corresponding to an evolved blue supergiant at Z=0.2ZZ=0.2\,Z_{\odot}. We use an angular diameter distance Ds=1.65D_{s}=1.65\,Gpc corresponding to a source redshift zs=1z_{s}=1.
Refer to caption
Refer to caption
Refer to caption
Figure 3: Variation in broadband colors as a function of the reduced angular velocity ω\omega for an unlensed star, which is the same one as in Figure 2 (except for the varying ω\omega). From top to bottom, curves are shown for three perspectives: along the rotation axis (Θ=0,Φ=0\Theta=0,\,\Phi=0), in the equatorial plane (Θ=π/2,Φ=0\Theta=\pi/2,\,\Phi=0), and at an inclined angle (Θ=π/4,Φ=π/4\Theta=\pi/4,\,\Phi=\pi/4).

3 Microcaustic Crossing

The situation of the highest observational promise is when a source star approaches a portion of a microcaustic cast by intracluster microlenses. Around this time, the star appears the brightest owing to a pair of highly magnified microimages. This lensing situation can be well described by a universal fold model applied to the microcaustic vicinity (Blandford & Narayan, 1986; Schneider et al., 1992). In this section, we discuss this fold model in the context of this work.

In geometrical optics and under the thin-lens approximation, the angular coordinates x\vec{x} on the image plane are mapped to the angular coordinates y\vec{y} on the source plane through the ray equation

y=xα(x),\vec{y}=\vec{x}-\vec{\alpha}(\vec{x}), (13)

where α(x)=ψ(x)\vec{\alpha}(\vec{x})=\vec{\nabla}\psi(\vec{x}) is the deflecting angle and ψ(x)\psi(\vec{x}) is the lensing potential.

The lensing Jacobian matrix takes the following form:

A(x)y(x)/x=(1κ(x)λ(x)η(x)η(x)1κ(x)+λ(x)).\begin{split}\vec{A}(\vec{x})&\equiv{\partial\,\vec{y}(\vec{x})}/{\partial\,\vec{x}}\\ &=\left(\begin{array}[]{cc}1-\kappa(\vec{x})-\lambda(\vec{x})&-\eta(\vec{x})\\ -\eta(\vec{x})&1-\kappa(\vec{x})+\lambda(\vec{x})\end{array}\right).\end{split} (14)

Following the notation in Venumadhav et al. (2017), we can Taylor-expand the quantities,

κ(x)\displaystyle\kappa(\vec{x}) =κ0+(κ)0x+𝒪(x2),\displaystyle=\kappa_{0}+(\vec{\nabla}\kappa)_{0}\cdot\vec{x}+\mathcal{O}(\vec{x}^{2}), (15)
λ(x)\displaystyle\lambda(\vec{x}) =1κ0+(λ)0x+𝒪(x2),\displaystyle=1-\kappa_{0}+(\vec{\nabla}\lambda)_{0}\cdot\vec{x}+\mathcal{O}(\vec{x}^{2}), (16)
η(x)\displaystyle\eta(\vec{x}) =(η)0x+𝒪(x2),\displaystyle=(\vec{\nabla}\eta)_{0}\cdot\vec{x}+\mathcal{O}(\vec{x}^{2}), (17)

In addition to the convergence parameter κ0\kappa_{0}, the fold is uniquely characterized by the gradient vector

d=(κ)0(λ)0.\vec{d}_{\star}=-(\vec{\nabla}\kappa)_{0}-(\vec{\nabla}\lambda)_{0}. (18)

The lensing Jacobian matrix in the caustic vicinity is

A(x)=(((κ)0(λ)0)x(η)0x(η)0x2(1κ0))(dx002(1κ0)).\begin{split}\vec{A}(\vec{x})&=\left(\begin{array}[]{cc}(-(\vec{\nabla}\kappa)_{0}-(\vec{\nabla}\lambda)_{0})\cdot\vec{x}&-(\vec{\nabla}\eta)_{0}\cdot\vec{x}\\ -(\vec{\nabla}\eta)_{0}\cdot\vec{x}&2\,(1-\kappa_{0})\end{array}\right)\\ &\simeq\left(\begin{array}[]{cc}\vec{d}_{\star}\cdot\vec{x}&0\\ 0&2\,(1-\kappa_{0})\end{array}\right).\end{split} (19)

The ray deflection α(x)=(α1,α2)\vec{\alpha}(\vec{x})=(\alpha_{1},\alpha_{2}) is given by

α1\displaystyle\alpha_{1} =(112d 1x1d 2x2)x1,\displaystyle=(1-\frac{1}{2}\,d_{\star\,1}\,x_{1}-d_{\star\,2}\,x_{2})\,x_{1}, (20)
α2\displaystyle\alpha_{2} =(2κ01)x2.\displaystyle=(2\,\kappa_{0}-1)\,x_{2}. (21)

The parameter κ0\kappa_{0} is set by the macroscopic lens surface mass density over roughly arcsecond scale around the magnified star and can be determined to a decent precision with galaxy cluster mass modeling (Venumadhav et al., 2017; Kelly et al., 2018; Dai et al., 2020). By contrast, the relevant vector d\vec{d}_{\star} at each microcaustic crossing is set by the microlenses and has a random value. In the region where the macro critical curve is fully disrupted by microlenses, d\vec{d}_{\star} has a characteristic magnitude (Venumadhav et al., 2017)

|d|κ3/2/θ,|\vec{d}_{\star}|\simeq\kappa_{\star}^{3/2}/\theta_{\star}, (22)

where κ\kappa_{\star} is the contribution of intracluster microlenses to the coarse-grained convergence and θ\theta_{\star} is the typical angular Einstein radius of microlenses (Venumadhav et al., 2017; Diego et al., 2018; Oguri et al., 2018). In practice, an informative prior can be supplied for d\vec{d}_{\star} based on the knowledge of κ\kappa_{\star} and θ\theta_{\star}, i.e. the abundance and typical masses of microlenses.

The above fold model enables us to calculate the lensed flux using the inverse ray-shooting method given a source star and its source-plane location.

Figure 4 shows snapshots of a lensed rotating star on the source plane and on the image plane at four different epochs during the microcaustic crossing. As the star approaches the caustic, a pair of images become increasingly bright and stretched. The image pair merge when the source star touches the caustic. The merged image shrinks and eventually disappears as the source star hides on the other side of the caustic.

The motion of the star sets the timescale of the caustic-crossing light curve. To the extent that the curvature radius of the caustic is large compared to the stellar radius, the relevant velocity component is the one perpendicular to the caustic, corrected for time dilation in the expanding Universe (Miralda-Escudé, 1991; Venumadhav et al., 2017),

vt=|(vs1+zsDsDlvl1+zl)s^|\displaystyle v_{t}=\left|\left(\frac{\vec{v}_{s}}{1+z_{s}}-\frac{D_{s}}{D_{l}}\,\frac{\vec{v}_{l}}{1+z_{l}}\right)\cdot\hat{\vec{s}}\right| (23)

Here vs\vec{v}_{s} and vl\vec{v}_{l} are the proper velocities of the source and the lens (relative to the Earth), s^\hat{\vec{s}} is a unit vector in the sky perpendicular to the local caustic, zsz_{s} and zlz_{l} are the source redshift and lens redshift, and DsD_{s} and DlD_{l} are the angular diameter distances to the source and to the lens, respectively. For a given highly magnified star, zlz_{l} and zsz_{s} are often both known, and so are DsD_{s} and DlD_{l}. For each microcaustic crossing event, the value of vtv_{t} is not known. We therefore include it as a free parameter in light-curve fitting. Finally, the exact time of caustic crossing tcrt_{\rm cr} is unknown and has to be another free parameter.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 4: A series of snapshots of a caustic crossing event for the same fast rotating star as in Figure 2, as seen on the image plane (left panels) or on the source plane (right panels), with the red line being the critical curve or the caustic. From top to bottom are four epochs during the process. As the star transits the caustic, the lensed image pair get closer, merge on the critical curve and finally disappear. For the caustic, we set κ0=0.83\kappa_{0}=0.83, d=(5.59,5.59)×103arcsec1\vec{d}_{\star}=(5.59,5.59)\times 10^{3}\,\mathrm{arcsec}^{-1}. Note that the panels on the left (showing the image plane) cover a vastly different angular scale along the x1x_{1}-direction compared to along the x2x_{2}-direction, reflecting that the lensed images are highly elongated along the x1x_{1}-direction.

4 Parameter Degeneracy

The surface temperature TeffT_{\rm eff} is mainly constrained by the multiband colors. The maximal observed fluxes constrain the luminosity LL multiplied by the peak magnification μpk\mu_{\rm pk}, i.e. μpkLμpk 4πRe2Teff4\mu_{\rm pk}\,L\simeq\mu_{\rm pk}\,4\pi\,R^{2}_{e}\,T^{4}_{\rm eff}. The value of μpk\mu_{\rm pk} is unknown; it is approximately given by μpk(dRe/Ds)1/2\mu_{\rm pk}\sim(d_{\star}\,R_{e}/D_{s})^{-1/2}. Therefore, the combination Re3/2/d1/2R^{3/2}_{e}/d^{1/2}_{\star} is well measured. It follows that the logarithmic uncertainty in ReR_{e} is 1/31/3 of the uncertainty in dd_{\star} and the logarithmic uncertainty in LL is 2/32/3 of the uncertainty in dd_{\star}. The combination Re/vtR_{e}/v_{t} can be inferred from the timescale of peak magnification, and hence the logarithmic uncertainty in vtv_{t} is 1/31/3 that in dd_{\star}. These conclusions are confirmed by our mock parameter inferences (see Figure 6 and Figure 7).

Combining Eq. (1) and Eq. (2) and taking into account the dimensionless equations Eq. (4) and Eq. (6), we see that if two stars have identical LL, ReR_{e}, ω\omega and ZZ but different MM values, they have the same surface shape but only exhibit subtle differences in their SEDs that reflect the effect of geffg_{\rm eff}. This provides the unique information to infer MM. Since this information cannot be efficiently extracted through wide-filter photometry, we expect the inference precision for MM to be poor (see Figure 7 and Figure 6) and perhaps prone to uncertainty in the modeling of spectral line features in the SED.

In this study, we treat the macro convergence κ0\kappa_{0} as a known parameter. In reality, its inference from galaxy cluster lens modeling is subject to uncertainty. Since κ0\kappa_{0} directly impacts only the magnification perpendicular to the direction of image elongation, we expect that if uncertainty in κ0\kappa_{0} is included it will add to the degeneracy involving LL, ReR_{e}, d\vec{d}_{\star} and vtv_{t}, for which uncertainty is in any case dominated by the significant uncertainty in d\vec{d}_{\star}. We therefore expect that the uncertainty in κ0\kappa_{0} does not impact the inference of ω\omega.

We note that for the most massive stars, especially the evolved supergiants, the bolometric luminosity LL approaches the Eddington limit LEdd=4πGMc/κTL_{\rm Edd}=4\pi\,G\,M\,c/\kappa_{T}, where κT\kappa_{T} is the opacity of Thomson scattering. The Eddington ratio L/LEddL/L_{\rm Edd} is not precisely unity, and the precise value depends on stellar structure and wind models. Combining constraints from direct observation of caustic crossing and massive star models may enable a significantly improved mass measurement.

While the inference precisions for multiple intrinsic parameters are fundamentally limited by dd_{\star}, which is not directly measurable, it is possible to derive a reliable and informative prior on dd_{\star}. For a given highly magnified star on a given caustic-crossing giant arc, the parameters of the local macro caustic can be obtained through lens modeling, while both the abundance and mass distribution of the microlenses can be obtained from photometric analysis of the intracluster light (e.g., Kelly et al. (2018); Kaurov et al. (2019); Dai et al. (2020)). With such knowledge, an accurate prior for dd_{\star} can be derived, for instance, by numerically simulating random microlensing realizations. We crudely estimate that the fractional RMS in dd_{\star} will be 0.35\simeq 0.35\,dex, a number we use to set our priors for dd_{\star} in the next section. For this value, we expect 0.1\sim 0.1\,dex uncertainty in ReR_{e} and vtv_{t} and 0.2\sim 0.2\,dex uncertainty in LL, provided that errors of photometry do not dominate the error budget.

5 Mock Parameter Inference

In this section, we present mock parameter inference examples. We consider two scenarios: one star with a dynamically significant rotation speed ω=0.4\omega=0.4, and another star with a slow rotation ω=0.1\omega=0.1. In both cases, we set the same values for the other intrinsic and extrinsic parameters (true values and assumed prior distributions summarized in Table 1), corresponding to an M=60MM=60\,M_{\odot} blue supergiant with a surface temperature Teff20,000T_{\rm eff}\approx 20,000\,K and a bolometric luminosity L=106LL=10^{6}\,L_{\odot} at a metallicity Z=0.2ZZ=0.2\,Z_{\odot} and from zs=1z_{s}=1.

The mock light curves are the sum of injected light curves and random photometric noise. To collect crucial color information, we consider monitoring in three HST wide filters, F435W, F555W, and F814W, with the added random photometric noise corresponding to the 1σ\sigma AB magnitude limit 29.029.0, 29.029.0, and 29.329.3 per epoch, respectively. The photometric sensitivities assumed here are realistic for the HST, as they are comparable to the magnitude limits of the Hubble Frontier Fields (HFF) program (Lotz et al., 2017) when the exposure time per observation is rescaled to be about 1 hr per filter (compatible with the cadence 4\lesssim 4\,hr for three filters). JWST will be more sensitive but can only observe λ>0.7μm\lambda>0.7\,\mu\mathrm{m}. The logarithmic likelihood function is taken to be minus one-half of the overall fitting χ2\chi^{2}, under the assumption that individual photometric measurements at different epochs or in different filters have uncorrelated measurement errors.

In Figure 5 we show the example mock light curves, color variability, and the best model fit. The peak magnitudes in the optical are 25.225.225.525.5. These are comparable to the brightest magnitudes observed in the light curve of the first discovered highly magnified star in Kelly et al. (2018). Given that that star is from zs=1.5z_{s}=1.5, the observability represented by our mock event is not exaggerated.

In Figure 5, we also show model light curves (dashed lines) corresponding to a different parameter set that yields a fitting χ2\chi^{2} that is approximately 55 units worse than the best-fit value. From both panels of Figure 5, we conclude that it is the detailed shapes of the light curves during caustic crossing, more than the color changes, that carry the dominant information for constraining the surface rotation rate.

In the Appendix A, we show posterior distributions that result from the mock parameter inferences we perform. Figure 6 shows the case of the fast-rotating star with ω=0.4\omega=0.4. The true value of ω\omega is recovered with a fractional error of about 35%35\%. The fractional uncertainties of ReR_{e}, LL and vtv_{t} scale with the uncertainty in d1d_{\star 1}, the component of d\vec{d}_{\star} along the degenerate direction, which is the limiting factor and is set by the prior we adopt for d\vec{d}_{\star}. This is reflected in the degeneracy between d1d_{\star 1} and any of ReR_{e}, LL and vtv_{t} as explained in Section 4. No significant degeneracy is seen between d2d_{\star 2}, the other component of d\vec{d}_{\star}, and intrinsic stellar parameters. We are able to distinguish between the nearly pole-on or moderately inclined perspective and a perspective in the equatorial plane, and we derive a decent constraint on the position angle Φ\Phi.

For a comparison, Figure 7 shows the posterior distributions derived from observing the identical source star but with a dynamically unimportant rotation ω=0.1\omega=0.1. A similar absolute uncertainty is inferred for ω\omega. The constraints on the viewing perspective are significantly weaker, as expected for a star with much weaker variation of temperature across its surface. The fractional uncertainties in ReR_{e}, LL and vtv_{t} are similar to the ω=0.4\omega=0.4 case as is set by the prior used for d\vec{d}_{\star}.

It is worth mentioning the possible issue of nonaxisymmetric features on the surfaces of rotating massive stars. For instance, early-type B stars have been shown to display rotational variations with amplitudes of up to 0.010.01\,mag (Balona, 2022). Given our assumed photometric precision 0.03 mag under realistic observing conditions, this effect is not likely to have a significant impact on the parameter inference results.

Refer to caption
Refer to caption
Figure 5: Mock multiband light curves (top panel) and the associated subtle color variability (bottom panel) for a lensed rotating star with ω=0.4\omega=0.4 crossing a microcaustic. The center of the star passes the caustic at t=tcrt=t_{\mathrm{cr}} (vertical yellow dashed lines), and the temporal unit t0t_{0} is the time it takes for the star to move a distance of its diameter 2Re2R_{e} at vt=8.2×102kms1v_{t}=8.2\times 10^{2}\,\mathrm{km\,s^{-1}}, which is t0=39.25t_{0}=39.25\,hr in this case. The observation cadence in each filter is about 0.1t040.1\,t_{0}\approx 4\,hr. Injected model parameters can be found in Table 1. The deviated light curves and the associated color variability are also shown (dashed lines), in which the parameter ω=0.7\omega=0.7. In this example, the surface rotation rate ω\omega is constrained mainly by the detailed shapes of the flux light curves (top panel) than by the subtle color variations (bottom panel).

6 Discussion

6.1 Surface Rotation

An important finding from our study is the ability to infer dimensionless surface rotation. The most massive stars, relevant for extragalactic caustic crossings, are expected to have significant rotation when they start on the main sequence (Maeder & Meynet, 2012). For an M=50MM=50\,M_{\odot} zero-age main-sequence (ZAMS) star, the breakup velocity can be veq=800v_{\rm eq}=800900kms1900\,{\rm km}\,{\rm s^{-1}} at Z=0.1Z=0.11Z1\,Z_{\odot} and higher at lower ZZ (Ekström et al., 2008). Based on observed examples, vi=200v_{i}=200500kms1500\,{\rm km}\,{\rm s^{-1}} are considered plausible values for the ZAMS surface rotation velocity. Dynamically significant initial values ω=𝒪(1)\omega=\mathcal{O}(1) are hence expected for massive stars.

However, the most massive stars on the main sequence (O stars) are currently not the most promising target highly magnified stars observationally (from zs=0.7z_{s}=0.71.51.5). Because of their high Teff25,000T_{\rm eff}\gtrsim 25,000\,K, they do not appear the brightest in HST or JWST bands (Kaurov et al., 2019). Indeed, the first detected highly magnified star is a cool supergiant with Teff=11,000T_{\rm eff}=11,00014,00014,000\,(Kelly et al., 2018). The magnified star reported by Chen et al. (2019) appears to be photometrically fit by a cool supergiant with Teff=13600T_{\rm eff}=13600\,K, while a dust-reddened, hot O supergiant with Teff40,000T_{\rm eff}\simeq 40,000\,K also fits photometry decently but is deemed much less probable.

Except under metal-poor conditions, angular momentum loss from stellar wind is expected to significantly reduce surface rotation through the main-sequence lifetime. It raises the question whether warm or cool supergiants (B supergiants) as evolved massive stars may have dynamically significant surface rotation. In the Galaxy, some examples of rotating blue supergiants are known. Sher 25 in the H II region NGC 3603 has M40MM\simeq 40\,M_{\odot}, Teff=22,000T_{\rm eff}=22,000\,K and ω0.2\omega\simeq 0.2 (Hendry et al., 2008). Blue supergiant SBW1 has Teff=21,000T_{\rm eff}=21,000\,K and ω0.2\omega\simeq 0.2 (Smith et al., 2017). Another blue supergiant HD 168625 has R=105RR=105\,R_{\odot} and Teff=14000T_{\rm eff}=14000\,K (perhaps most similar to the highly magnified star reported in Kelly et al. (2018)) and has a surface rotation ω0.27\omega\simeq 0.27 (Mahy et al., 2016). The significant surface rotations of these example blue supergiants are also evidenced from their associated ring-shaped nebulae. For this reason, SBW1 is considered an analog of the SN 1987A progenitor (Smith et al., 2017). Recently, it has been found in the IACOB spectroscopic survey that Galactic blue supergiants mostly have vsinΘ<70km/sv\,\sin\Theta<70\,{\rm km}/{\rm s} for Teff<21,000T_{\rm eff}<21,000\,K, except for only a handful of stars with vsinΘ=100v\,\sin\Theta=100150kms1150\,{\rm km}\,{\rm s^{-1}} (de Burgos et al., 2023).

It might be that there are rotating blue supergiants with higher ω\omega in lower-metallicity galaxies given that wind-driven spin-down from initial rotation is less efficient (Meynet & Maeder, 2002). Additionally, critical surface rotation can be reached for a blue supergiant that has recently contracted from a red supergiant phase (Heger & Langer, 1998; Meynet & Maeder, 2000). It is also plausible that tides in tight massive star binaries can make fast-rotating supergiant stars. In any case, the example rotating stars we consider here with ω=0.1\omega=0.1 and 0.40.4 bracket the likely range of ω\omega for rotating blue supergiants with Teff<21,000T_{\rm eff}<21,000\,K.

6.2 Extensions of Model

Our model can be extended to account for other real-world effects. In practice, dust reddening has to be accounted for to correctly interpret the observed colors (Kelly et al., 2018). The dust reddening effect is not included in the model we have presented here, but it would be straightforward to introduce one more free parameter to the model provided that the reddening curve is known. Such a new parameter would not be degenerate with ω\omega because flux variations due to differential magnification are time-dependent signals, while dust reddening is time independent.

There can be other microimages than the two that are highly magnified around the time of caustic crossing (Venumadhav et al., 2017). Those additional images are significantly fainter and have nearly constant fluxes over the short diameter crossing time t0=2Re/vtt_{0}=2\,R_{e}/v_{t}. Therefore, one additive flux constant per filter can be introduced as additional free parameters, and we do not expect them to be degenerate with the intrinsic parameters.

We have not accounted for limb darkening. This effect has been studied for nonrotating OB stars (Wade & Rucinski, 1985; Claret, 2004; Howarth, 2011; Reeve & Howarth, 2016) and is expected for rotating stars too. While it is not the intention of this work to incorporate the limb-darkening effect in addition to gravity darkening, our modeling framework can be generalized to account for it. In that case, the emergent SED at any given point on the stellar surface not only is a function of ZZ and the local (Teff,geff)(T_{\rm eff},g_{\rm eff}) but also depends on μ\mu, the cosine of the oblique angle (the angle between the line of sight and the local surface normal). The dependence on μ\mu can be derived from radiation transfer calculations for stellar atmosphere models. Reeve & Howarth (2016) pointed out that for OB stars limb darkening is moderately sensitive to surface gravity, which may provide new information for improving mass inference. In terms of observable effects, limb darkening is partially degenerate with gravity darkening for |cosΘ|1|\cos\Theta|\approx 1 but not so for |cosΘ|0|\cos\Theta|\approx 0. However, if limb darkening can be predicted by radiation transfer calculations as a function of (ω,L,M,Z)(\omega,\,L,\,M,\,Z), then it merely complicates the SED profile model but is not a free parameter.

Another obvious direction to extend this work would be to construct a model for binary systems. Massive stars are commonly found to be in binary systems, and the fraction of interacting binaries can be higher than 70%70\% (Sana et al., 2012). If the binary separation is large enough (say, larger than several au), the surface brightness profiles of the two stars may each be well described by single-star models with appropriate parameters. In this case, the orbital period is expected to be much longer than the diameter crossing time, and the light curves would be trivial superpositions of two caustic crossings, with a time lag and a doubling of parameters. The more complicated situations could involve tidally induced surface deformations or ongoing mass transfer. The caustic-crossing phenomenon in principle would enable us to “see” the details.

If multiple microcaustic crossings of the same source star are observed, it would be possible to tighten up parameter inference by jointly analyzing light curves of all crossings. All crossings share the same model parameters except for vtv_{t} and d\vec{d}_{\star}, and a reasonable prior distribution for d\vec{d}_{\star} specific to each highly magnified star can be theoretically derived. An in-depth study of this interesting method may be pursued in future work.

Model Parameter Symbol True Value(s) Prior Distribution Type Range or Prior Parameters
Dimensionless rotation ω\omega 0.1, 0.4 Uniform [0,0.8][0,0.8]
Equatorial radius Re(R)R_{e}\,(R_{\odot}) 83.2583.25 Log-uniform [10,1000][10,1000]
Bolometric luminosity L(L)L\,(L_{\odot}) 10610^{6} Log-uniform [105,107][10^{5},10^{7}]
Stellar mass M(M)M\,(M_{\odot}) 6060 Log-uniform [10,1000][10,1000]
Inclination Θ\Theta π/4\pi/4 Cosine-uniform [0,π/2][0,\pi/2]
Position Angle Φ\Phi π/4\pi/4 Uniform [0,π/2][0,\pi/2]
Microcaustic strength d\vec{d_{\star}} (arcsec-1) (5.59, 5.59)×103\times 10^{3} Log-normal μ=lg(5.59×103),σ=0.35\mu=\mathrm{lg}\,(5.59\times 10^{3}),\,\sigma=0.35
Effective transverse velocity vt(kms1)v_{t}\,({\rm km}\,{\rm s}^{-1}) 8.2×1028.2\times 10^{2} Uniform [300,3000][300,3000]
Epoch of caustic crossing tcr(hr)t_{\mathrm{cr}}\,({\rm hr}) 19.6319.63 Uniform [0,39.25][0,39.25]
Table 1: Model parameters and the prior distributions we use in mock parameter inference. The physically allowed range for the dimensionless rotation parameter ω\omega is 0ω<10\leqslant\omega<1. We consider a prior range between 0 and 0.8 because numerical difficulty arises for ω\omega values near breakup (ω1\omega\approx 1) and the mock stars we choose are not rotating that fast in any case. Due to reflection symmetries it is sufficient to sample one quadrant of the position angle range, 0Φπ/20\leqslant\Phi\leqslant\pi/2. For d\vec{d}_{\star}, the same lognormal prior applies to both Cartesian components d1d_{\star 1} and d2d_{\star 2}. The true values of the model parameters we choose are not fine-tuned.

7 Conclusion

We have studied a method to measure stellar parameters of individual highly magnified stars in caustic-overlapping lensed galaxies at cosmological redshifts. The method exploits light variability as a result of the differential magnification effect when the source stars transit microlensing caustics cast by intracluster stars.

We have constructed an analytic SED model that quantifies the axisymmetric surface brightness profile induced by the gravity-darkening effect for rotating O/B stars (Section 2). The SED model specifically builds on the TLUSTY SED templates for nonrotating O/B stars, although our framework is applicable to general stellar SED templates. Gravitational lensing in the vicinity of the microcaustic is modeled, at least near the epoch of caustic crossing, by a simple fold (Section 3). Combining the model SED profile and the lensing effect, we have introduced a light-curve model parameterized by intrinsic stellar parameters and extrinsic geometric and kinematic parameters. Based on the parameterized light-curve model, we have developed a general code for performing parameter inference with multifilter light curves.

We have demonstrated the method by performing mock parameter inference under observational conditions that are realistic for the HST (three wide filters, 1σ\sigma magnitude limit per epoch 29\sim 29, and at a cadence of a few hours over a few days), for a blue supergiant source star at zs=1z_{s}=1 (Section 5). Our results suggest that the surface rotation velocity relative to the breakup value can be measured to an error σω=0.1\sigma_{\omega}=0.10.20.2, without a geometric degeneracy, while other intrinsic parameters such as equatorial radius ReR_{e} and bolometric luminosity LL are limited by uncertainty about the microcaustic strength and are likely to be determined to 0.10.1 and 0.20.2\,dex (1σ\sigma), respectively. Mass inference is less constraining but could be improved with a careful treatment of limb darkening.

While there is much room for further improvement in the modeling of the surface brightness profile, this first study suggests a new opportunity to survey the individual properties of the most massive and luminous stars in distant high-zz galaxies, which may advance our understanding of massive star formation and evolution. While we have not examined particularly lensed stars in higher-zz lensed galaxies (say, z>2z>2), that case could be even more interesting, since there would be increased chance of seeing stars in metal-poor systems (Welch et al., 2022) and cosmological redshifting should make hotter (and more common) massive stars observationally more accessible. Observational prospects for this might arise in the future.

In the situation of recurring microlensing brightening events in the same lensed galaxy, the feasibility to significantly constrain intrinsic and extrinsic parameters can help us determine which caustic-crossing events are associated with the same source star. This knowledge would be useful in realizing highly magnified stars as a novel dark matter probe, such as uncovering star-free subgalactic cold dark matter halos through astrometry (Dai et al., 2018; Abe et al., 2023; Williams et al., 2023) or dense minihalos composed of QCD axion particles as the dark matter (Dai & Miralda-Escudé, 2020; Xiao et al., 2021).

acknowledgments

The authors would like to express thanks to the Berkeley Physics International Education (BPIE) program through which X.H. visited UC Berkeley as an undergraduate student and during which this research project was initiated. The authors thank Maude Gull for useful discussions. L.D. acknowledges research grant support from the Alfred P. Sloan Foundation (award No. FG-2021-16495) and the support of the Frank and Karen Dabby STEM Fund in the Society of Hellman Fellows.

Appendix A Posterior distributions of mock parameter inferences

In this appendix, we show the posterior distributions obtained from mock parameter inference runs for the full list of model parameters. Figure 6 shows the case of the fast-rotating star with ω=0.4\omega=0.4. Figure 7 shows the posterior distributions derived from observing the identical source star but with a dynamically unimportant rotation ω=0.1\omega=0.1.

Refer to caption
Figure 6: 1D and 2D marginalized posterior distributions for the case of rapid surface rotation ω=0.4\omega=0.4. The blue and yellow lines mark the true parameters and the maximal likelihood parameters, respectively. In the panels showing 1D distributions, the prior distribution is shown by the shaded gray histogram. Among the three vertical dashed lines, the middle one marks the median of the posterior distribution, and the left and right ones mark the 16th and 84th percentiles of the distribution, respectively. In the panels showing 2D distributions, the three contours, from the innermost to the outermost, enclose the 68.27th, 95.45th, and 99.73th percentiles of the distribution, respectively. We refer readers to Table 1 for the units of the dimensionful parameters.
Refer to caption
Figure 7: Same as Figure 6, but for the case of slower surface rotation ω=0.1\omega=0.1.

References

  • Abe et al. (2023) Abe, K. T., Kawai, H., & Oguri, M. 2023, arXiv e-prints, arXiv:2311.18211, doi: 10.48550/arXiv.2311.18211
  • Balona (2022) Balona, L. 2022, Monthly Notices of the Royal Astronomical Society, 516, 3641
  • Blandford & Narayan (1986) Blandford, R., & Narayan, R. 1986, ApJ, 310, 568, doi: 10.1086/164709
  • Chen et al. (2019) Chen, W., Kelly, P. L., Diego, J. M., et al. 2019, ApJ, 881, 8, doi: 10.3847/1538-4357/ab297d
  • Claret (2004) Claret, A. 2004, A&A, 428, 1001, doi: 10.1051/0004-6361:20041673
  • Collins & Harrington (1966) Collins, G. W., & Harrington, J. P. 1966, ApJ, vol. 146, p. 152, 146, 152
  • Dai & Miralda-Escudé (2020) Dai, L., & Miralda-Escudé, J. 2020, AJ, 159, 49, doi: 10.3847/1538-3881/ab5e83
  • Dai et al. (2018) Dai, L., Venumadhav, T., Kaurov, A. A., & Miralda-Escud, J. 2018, ApJ, 867, 24, doi: 10.3847/1538-4357/aae478
  • Dai et al. (2020) Dai, L., Kaurov, A. A., Sharon, K., et al. 2020, MNRAS, 495, 3192, doi: 10.1093/mnras/staa1355
  • de Burgos et al. (2023) de Burgos, A., Simón-Díaz, S., Urbaneja, M. A., & Puls, J. 2023, arXiv e-prints, arXiv:2312.00241. https://arxiv.org/abs/2312.00241
  • Diego (2019) Diego, J. M. 2019, A&A, 625, A84, doi: 10.1051/0004-6361/201833670
  • Diego et al. (2022) Diego, J. M., Pascale, M., Kavanagh, B. J., et al. 2022, Astronomy & Astrophysics, 665, A134
  • Diego et al. (2018) Diego, J. M., Kaiser, N., Broadhurst, T., et al. 2018, ApJ, 857, 25, doi: 10.3847/1538-4357/aab617
  • Diego et al. (2023a) Diego, J. M., Meena, A. K., Adams, N. J., et al. 2023a, A&A, 672, A3, doi: 10.1051/0004-6361/202245238
  • Diego et al. (2023b) Diego, J. M., Sun, B., Yan, H., et al. 2023b, arXiv e-prints, arXiv:2307.10363, doi: 10.48550/arXiv.2307.10363
  • Ekström et al. (2011) Ekström, S., Georgy, C., Meynet, G., Maeder, A., & Granada, A. 2011, in Active OB Stars: Structure, Evolution, Mass Loss, and Critical Limits, ed. C. Neiner, G. Wade, G. Meynet, & G. Peters, Vol. 272, 62–72, doi: 10.1017/S1743921311009987
  • Ekström et al. (2008) Ekström, S., Meynet, G., Maeder, A., & Barblan, F. 2008, A&A, 478, 467, doi: 10.1051/0004-6361:20078095
  • Espinosa Lara & Rieutord (2011) Espinosa Lara, F., & Rieutord, M. 2011, A&A, 533, A43, doi: 10.1051/0004-6361/201117252
  • Heger & Langer (1998) Heger, A., & Langer, N. 1998, A&A, 334, 210, doi: 10.48550/arXiv.astro-ph/9803005
  • Hendry et al. (2008) Hendry, M. A., Smartt, S. J., Skillman, E. D., et al. 2008, MNRAS, 388, 1127, doi: 10.1111/j.1365-2966.2008.13347.x
  • Howarth (2011) Howarth, I. D. 2011, MNRAS, 413, 1515, doi: 10.1111/j.1365-2966.2011.18122.x
  • Kaurov et al. (2019) Kaurov, A. A., Dai, L., Venumadhav, T., Miralda-Escudé, J., & Frye, B. 2019, ApJ, 880, 58, doi: 10.3847/1538-4357/ab2888
  • Kelly et al. (2018) Kelly, P. L., Diego, J. M., Rodney, S., et al. 2018, NatAs, 2, 334, doi: 10.1038/s41550-018-0430-3
  • Kelly et al. (2022) Kelly, P. L., Chen, W., Alfred, A., et al. 2022, arXiv e-prints, arXiv:2211.02670, doi: 10.48550/arXiv.2211.02670
  • Lanz & Hubeny (2003) Lanz, T., & Hubeny, I. 2003, ApJS, 146, 417, doi: 10.1086/374373
  • Lanz & Hubeny (2007) —. 2007, ApJS, 169, 83, doi: 10.1086/511270
  • Lennon et al. (1996) Lennon, D. J., Mao, S., Fuhrmann, K., & Gehren, T. 1996, ApJ, 471, L23, doi: 10.1086/310327
  • Lotz et al. (2017) Lotz, J. M., Koekemoer, A., Coe, D., et al. 2017, ApJ, 837, 97, doi: 10.3847/1538-4357/837/1/97
  • Maeder & Meynet (2000a) Maeder, A., & Meynet, G. 2000a, A&A, 361, 159, doi: 10.48550/arXiv.astro-ph/0006405
  • Maeder & Meynet (2000b) —. 2000b, ARA&A, 38, 143, doi: 10.1146/annurev.astro.38.1.143
  • Maeder & Meynet (2012) Maeder, A., & Meynet, G. 2012, RvMP, 84, 25, doi: 10.1103/RevModPhys.84.25
  • Maeder & Peytremann (1970) Maeder, A., & Peytremann, E. 1970, A&A, 7, 120
  • Mahy et al. (2016) Mahy, L., Hutsemékers, D., Royer, P., & Waelkens, C. 2016, A&A, 594, A94, doi: 10.1051/0004-6361/201628584
  • Mao & Paczynski (1991) Mao, S., & Paczynski, B. 1991, ApJ, 374, L37, doi: 10.1086/186066
  • Meena et al. (2023) Meena, A. K., Zitrin, A., Jiménez-Teja, Y., et al. 2023, ApJL, 944, L6
  • Meynet & Maeder (2000) Meynet, G., & Maeder, A. 2000, A&A, 361, 101, doi: 10.48550/arXiv.astro-ph/0006404
  • Meynet & Maeder (2002) —. 2002, A&A, 390, 561, doi: 10.1051/0004-6361:20020755
  • Miralda-Escudé (1991) Miralda-Escudé, J. 1991, ApJ, 379, 94, doi: 10.1086/170486
  • Oguri et al. (2018) Oguri, M., Diego, J. M., Kaiser, N., Kelly, P. L., & Broadhurst, T. 2018, Phys. Rev. D, 97, 023518, doi: 10.1103/PhysRevD.97.023518
  • Oke & Gunn (1983) Oke, J. B., & Gunn, J. E. 1983, ApJ, 266, 713, doi: 10.1086/160817
  • Reeve & Howarth (2016) Reeve, D. C., & Howarth, I. D. 2016, MNRAS, 456, 1294, doi: 10.1093/mnras/stv2631
  • Sana et al. (2012) Sana, H., de Mink, S. E., de Koter, A., et al. 2012, Science, 337, 444, doi: 10.1126/science.1223344
  • Schneider et al. (1992) Schneider, P., Ehlers, J., & Falco, E. E. 1992, Gravitational Lenses, doi: 10.1007/978-3-662-03758-4
  • Smith et al. (2017) Smith, N., Groh, J. H., France, K., & McCray, R. 2017, MNRAS, 468, 2333, doi: 10.1093/mnras/stx648
  • Udalski et al. (2005) Udalski, A., et al. 2005, ApJL, 628, L109, doi: 10.1086/432795
  • Vanzella et al. (2020) Vanzella, E., Meneghetti, M., Pastorello, A., et al. 2020, MNRAS, 499, L67
  • Venumadhav et al. (2017) Venumadhav, T., Dai, L., & Miralda-Escudé, J. 2017, ApJ, 850, 49, doi: 10.3847/1538-4357/aa9575
  • von Zeipel (1924) von Zeipel, H. 1924, MNRAS, 84, 665, doi: 10.1093/mnras/84.9.665
  • Wade & Rucinski (1985) Wade, R. A., & Rucinski, S. M. 1985, A&AS, 60, 471
  • Welch et al. (2022) Welch, B., Coe, D., Diego, J. M., et al. 2022, Nature, 603, 815, doi: 10.1038/s41586-022-04449-y
  • Welch et al. (2022) Welch, B., Coe, D., Zackrisson, E., et al. 2022, ApJL, 940, L1
  • Williams et al. (2023) Williams, L. L. R., Kelly, P. L., Treu, T., et al. 2023, arXiv e-prints, arXiv:2304.06064, doi: 10.48550/arXiv.2304.06064
  • Woosley & Heger (2006) Woosley, S. E., & Heger, A. 2006, ApJ, 637, 914, doi: 10.1086/498500
  • Xiao et al. (2021) Xiao, H., Williams, I., & McQuinn, M. 2021, Phys. Rev. D, 104, 023515, doi: 10.1103/PhysRevD.104.023515
  • Yan et al. (2023) Yan, H., Ma, Z., Sun, B., et al. 2023, ApJS, 269, 43, doi: 10.3847/1538-4365/ad0298
  • Yoo et al. (2004) Yoo, J., et al. 2004, ApJ, 603, 139, doi: 10.1086/381241
  • Yoon et al. (2006) Yoon, S. C., Langer, N., & Norman, C. 2006, A&A, 460, 199, doi: 10.1051/0004-6361:20065912