Abstract
Recent ultra-intense lasers of subcritical fields and proposed X-ray polarimetry for highly magnetized neutron stars of supercritical fields have attracted attention to vacuum birefringence, a unique feature of the nonlinear vacuum under strong electromagnetic fields. We propose a formulation of the vacuum birefringence in a strong magnetic field (\({\textbf{B}}\)) and a weak electric field (\({\textbf{E}}\)), including the effect of electromagnetic wrench (\(G \equiv -{\textbf{E}}\cdot {\textbf{B}}\ne 0\)). To do so, we derive a closed expression of the one-loop effective Lagrangian for the combined magnetic and electric fields by using the formula of the one-loop effective Lagrangian for an arbitrarily strong magnetic field. We then employ the expression to derive the polarization and magnetization of the vacuum, from which we obtain the permittivity and permeability for a weak probe field. Specifically, we find the refractive indices and the associated polarization vectors of the probe field for the case of parallel magnetic and electric fields. The proposed formulation reproduces the known results for pure magnetic fields in the proper limit. Finally, we apply the formulation to the Goldreich–Julian pulsar model. Our formulation reveals the importance of the electromagnetic wrench in vacuum birefringence: it can reduce the difference between refractive indices and rotate polarization vectors to a significant degree. Such a quantitative understanding is crucial to the X-ray polarimetry for magnetized neutron stars or magnetars, which will demonstrate the fundamental feature of the strongly-modified quantum vacuum and estimate the extreme fields surrounding those astrophysical bodies.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Strong electromagnetic fields polarize the quantum vacuum and produce charged particle-antiparticle pairs. The corresponding electromagnetic theory is described by the effective Lagrangian consisting of the usual Maxwell Lagrangian and the loop corrections due to the strong fields. Heisenberg and Euler found the one-loop effective Lagrangian in a uniform electromagnetic field by solving the Dirac equation [1]. Schwinger implemented quantum field theory to derive the effective Lagrangian in the form of the proper-time integral, in which the fermion or scalar boson coupled to the electromagnetic field is integrated out [2]. The simple poles in the proper-time integral endow the effective Lagrangian with an imaginary part, which is interpreted as the loss of the vacuum persistence due to pair production. In fact, a pure electric field or an electric field parallel to a magnetic field in a proper Lorentz frame can produce electron-positron pairs from the Dirac sea via quantum tunneling through the tilted mass gap. Even when pair production does not occur, strong electromagnetic fields polarize the vacuum so that photons propagating through the vacuum experience the prominent phenomena of vacuum polarization such as vacuum birefringence, photon splitting, and photon-photon scattering (for review, see [3, 4]).
The pair production, called the Schwinger effect, is an epitome of non-perturbative quantum field effects. Electron-positron pairs can be efficiently produced when the electric field is comparable to the critical field \(E_{c}=m^{2}c^{3}/e\hbar =1.3\times 10^{16}\,\mathrm {V/cm}\) as the pair production per unit four Compton volume is given by a Boltzmann factor of which exponent is given as the negative of the ratio of the critical field to the electric field. An magnetic field comparable to the critical field \(B_{c}=m^{2}c^{3}/e\hbar =4.4\times 10^{13}\,\textrm{G}\) makes the lowest Landau level energy equal to the electron rest mass energy. The extreme field strengths \(E_{c}\) and \(B_{c}\) are called the Schwinger limit. The physics under such strong electromagnetic fields, described by the effective Lagrangian, should drastically differ from that under weak fields.
In experiments, the Schwinger pair production is still impossible to realize because no terrestrial mean provides an electric field comparable to the Schwinger limit. In spite of the recent progress in high-intensity lasers based on chirped pulsed amplification (CPA) technique, the current highest laser intensity is \(1.1\times 10^{23}\,\mathrm {W/cm^{2}}\), achieved by CoReLS [5], of which field strength is still lower than \(E_{c}\) by three orders. Several laser facilities are being constructed for higher intensities, but the target field strengths are still lower by order one or two [6].
In contrast, the effects of vacuum polarization such as photon-photon scattering have been experimentally investigated. The Delbrück scattering, in which a photon is scattered by a Coulomb field, was observed with MeV photons [7, 8]. Photon splitting, in which a photon is split into two by a Coulomb field, was also observed by exploiting the strong nuclear Coulomb field [9]. The photon-photon scattering without a Coulomb field is more difficult to realize but was recently evidenced from heavy ion collision experiments: the ATLAS experiment [10, 11], the CMS experiment [12], and the STAR experiment [13, 14].
Photon-photon scattering can also occur under a magnetic field. The Delbrück scattering by a magnetic field leads to vacuum birefringence: the vacuum under a strong magnetic field can act as a birefringent medium to low-energy photons. Compared to the Schwinger pair production and the photon-photon scattering by the nuclear Coulomb field, vacuum birefringence has the advantage of accumulating the effect over a macroscopic length scale. To realize vacuum birefringence, the PVLAS project used the magnetic field of a strong permanent magnet as the background field and optical laser photons as the probe photons [15]. Also, it was proposed to use the field from an ultra-intense laser as the background field and the strong X-rays from an X-ray free electron laser as the probe photons [16, 17]. These proposals rely on the state-of-arts scientific technologies such as ultra-intense lasers [6], X-ray free electron lasers [18], and ultra-high-precision X-ray polarimetry [19]. Albeit challenging, the goal of the PVLAS project and the laser-based proposals is limited to the vacuum birefringence in subcritical fields.
On the other hand, neutron stars can have magnetic fields comparable to the critical field, and particularly magnetars (highly magnetized neutron stars) have magnetic fields stronger than the critical field by a factor of up to 50 [20,21,22,23]. Thus, the study of QED vacuum polarization effect in such supercritical magnetic fields can provide a diagnostics for the strong magnetic fields of those stars [24]. Recently, a polarimetry of the X-rays from a magnetar has been reported [25], and similar projects has been proposed [26, 27]. The macroscopic length scale of field variation, comparable to the radius of neutron stars, would facilitate the formulation because the Heisenberg–Euler–Schwinger (HES) one-loop effective Lagrangian for uniform electromagnetic fields [1, 2] can be used locally for such a large-scale variation.
To analyze the vacuum birefringence in supercritical magnetic fields, a closed analytic expression of one-loop effective action is necessary instead of the proper-time integral expression obtained by Heisenberg–Euler and Schwinger. Dittrich employed the dimensional regularization method to perform the proper-time integral in terms of the Hurwitz zeta-function and logarithmic functions in either a pure magnetic field or an electric field perpendicular to the magnetic field [28, 29]. In Ref. [30], the in-out formalism leading to the proper-time integral also directly gives another closed analytic expression for the one-loop effective Lagrangian in the same field configuration, which is identical to the Dittrich’s formula. Furthermore, the imaginary part of the one-loop Lagrangian in the closed form yields the same result obtained by summing the residues of all simple poles of the proper-time integral [30].
In this paper, we further develop the method in [31] to find a closed analytic expression for the one-loop effective Lagrangian in a supercritical magnetic field combined with a subcritical electric field. Provided that the fields vary little over the Compton length and time, one may use the HES one-loop effective Lagrangian in the gauge-and Lorentz-invariant form as a good approximation and can express the Lagrangian as a power series of a small quantity representing the electric field component along the magnetic field.Footnote 1 Using the closed expression, we study the propagation modes of weak low-energy probe photons in a vacuum under such electromagnetic fields. For this purpose, we find the permittivity and permeability tensors, work out the vacuum birefringence for parallel electric and magnetic fields, and apply the results to the Goldreich–Julian model.
To provide a more accurate formulation of the X-ray polarimetry for neutron stars, especially magnetars, we include electric field in our formulation. According to the Goldreich and Julian’s rotating dipole model, the dipole’s rotation induces a weak electric field so that an electromagnetic wrench is produced (\(G=-{\textbf{E}}\cdot {\textbf{B}}\ne 0\)) [39]. The electromagnetic wrench can significantly change vacuum birefringence. Previous studies on vacuum birefringence have focused on the wrenchless case (\(G=0\)) [4, 40,41,42,43], due to the lack of a sufficiently concise closed expression of the one-loop effective Lagrangian with the electromagnetic wrench. Although the results without wrench may give a lowest-order description, an accurate quantitative analysis requires a formulation incorporating wrench. In this paper, we provide such a concise closed expression of the one-loop Lagrangian, the optical response functions of field-modified vacua, and the photon propagation modes for parallel electric and magnetic fields to reveal that electromagnetic wrench can significantly alter the vacuum birefringence around astrophysical bodies. Our work will have an immediate application to the space missions that include X-ray polarimetry for neutron stars, especially magnetars, such as the Imaging X-ray Polarimetry Explorer (IXPE) [25], the enhanced X-ray Timing and Polarimetry (eXTP) [26], and the Compton Telescope project [27].
This paper is organized as follows. In Sect. 2, an explicit expression of the one-loop effective Lagrangian is derived for the vacuum under an arbitrarily strong magnetic field superposed with a weaker electric field. The expression is given as a Taylor series in a parameter that quantifying the electric field component along the magnetic field with respect to the magnetic field. Then, in Sect. 3, the series is used to obtain the permittivity and permeability tensors for a weak low-frequency probe field. These tensors are used in Sect. 4 to find the modes of the probe field (the refractive indices and associated polarization vectors) for the configuration in which the electric field is parallel to the magnetic field. As a concrete application of the formulation, we analyze the vacuum birefringence in a hypothetical neutron star’s magnetosphere described by the Goldreich–Julian model. Finally, a conclusion is given with a discussion on further development. We use the Lorentz–Heaviside (LH) units with \(\hbar =c=1\), in which the fine structure constant is \(\alpha =e^{2}/(4\pi )\) (e is the elementary charge).
2 One-loop QED effective Lagrangian in a uniform electromagnetic field: \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\)
2.1 Invariant parameters and classification of uniform electromagnetic fields
When dealing with the QED effective Lagrangian in a uniform electromagnetic field, the following Lorentz- and gauge-invariant parameters are convenient for analysis [44]:
where \(F=F^{\mu \nu }F_{\mu \nu }/4\) and \(G=F^{\mu \nu }F_{\mu \nu }^{*}/4\), i.e., the Maxwell scalar and pseudoscalar; \(F^{\mu \nu }\) and \(F^{*\mu \nu }=\varepsilon ^{\mu \nu \alpha \beta } F_{\alpha \beta }/2\) (\(\varepsilon ^{0123}=1\)) are the field-strength tensor and its dual, respectively [45]. Then F and G are given as
where \(\sigma \) denotes the sign of G. As will be shown later, the formulation in terms of a and b, instead of F and G or \({\textbf{E}}\) and \({\textbf{B}}\), has the advantage to facilitate the expansion of the effective Lagrangian as a series. These symbols and their values in the special conditions considered in this paper are summarized in Table 1.
The parameters a and b can be used to classify the cases of uniform electromagnetic fields, as shown in Fig. 1. The sign of the Maxwell scalar F determines which field is stronger between the electric and magnetic fields, dividing the ab-plane into two regions: the upper left where the electric field is stronger and the lower right where the magnetic field is. The condition \(G=0\) shrinks each region to its attached coordinate axis. The cases with \(G=0\) are called wrenchless, while the fields with \(G\ne 0\) are said to have an electromagnetic wrench [3]. In the wrenchless case, an appropriate Lorentz transformation can eliminate the weaker field between the magnetic field and the electric field [45]. Thus, the a-axis (b-axis) in Fig. 1 represents the condition of essentially being under a magnetic (electric) field; of course, it includes the case of a pure magnetic (electric) field. In studying the vacuum birefringence of astrophysical relevance, the magnetic field is much stronger than the electric field, and thus the region of \(a\gg b\) in Fig. 1 is of our interests.
2.2 Integral expression of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) and closed expression of \(\bar{\mathcal {L}}^{(1)}(\bar{a},0)\)
The physics of the vacuum in intense electromagnetic fields has been studied with the effective Lagrangian, which is obtained by integrating out the matter field degrees of freedom in the complete Lagrangian [46]. In the effective Lagrangian, the term other than the free-field part, the Maxwell theory (\({\mathcal {L}}^{(0)}(a,b)=(b^{2}-a^{2})/2\)), is responsible for the phenomena such as pair production, vacuum birefringence, photon splitting, etc. As the term is dominantly contributed from the one-loop [47,48,49] at least for the magnetic field strengths of astrophysical relevance, we consider the effective Lagrangian up to the one-loop:
The one-loop contribution \({\mathcal {L}}^{(1)}(a,b)\) for the spinor QED is given as a proper-time integral [1, 2, 50]:
where m is the electron mass, and \(1+(es)^{2}\left( a^{2}-b^{2}\right) /3\) is subtracted to remove the zero-point energy and renormalize the charge and fields for yielding a finite physical quantity [2]. This expression can be rewritten in a form convenient for the case of \(a\gg b\), i.e., \(\tilde{b}=b/a\ll 1\):
where the dimensionless quantities are
For a pure magnetic field, \(\bar{a}=B_{c}/(2B_0)\) and \(\bar{b}=\infty \), where \(B_{c}=m^{2}/e=4.4\times 10^{13}\,\textrm{G}=1.2\times 10^{13}\,\mathrm {LH~units}\)Footnote 2 is the critical magnetic field strength (see Table 1).
This integral can be numerically evaluated as described in Appendix A, but an explicit closed expression is favored for theoretical analysis. For the case of \(b=0\), an explicit expression was obtained either by the dimensional regularization of (4) [28] or by the Schwinger–DeWitt in-out formalism combined with \(\Gamma \)-function regularization [30]:
where \(\zeta (s,\bar{a})\) is the Hurwitz zeta function, and \(\zeta '(-1,\bar{a})=d\zeta (s,\bar{a})/ds\vert _{s=-1}\) [51] (see Appendix B for more details). This expression perfectly matches the numerical evaluation of (5) with \(\tilde{b}=0\), as shown in Fig. 2.
2.3 Imaginary part of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\)
The effective Lagrangian \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) in (5), despite an integral of real functions along a real axis, acquires an imaginary part due to the simple poles at \(z=n\pi /\tilde{b}\) (\(n=1,2,\ldots \)) arising from \(\cot (z\tilde{b})\). The imaginary part represents the loss of vacuum persistence due to the Schwinger pair production and can be obtained analytically by using the Sokhotski–Plemelj theorem [2, 52]:
where \(\mathrm {P.V.}\) refers to the principal value of the integral, which is real. The factor \(e^{-2\bar{b}n\pi }\) implies that the imaginary part \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\) is small unless \(2\bar{b}\pi \lesssim 1\), which reduces to \(E_0 \gtrsim \pi E_c\) for the parallel field configuration in Table 1; the Schwinger pair production is appreciable only when the electric field is comparable to or larger than \(E_c\). In such a case, the refractive indices for probe photons becomes complex, as is shown by Heyl and Hernquist for a pure electric field [42]. More generally, the generation and subsequent dynamics of pair plasmas becomes significant to eventually induce the vacuum’s back-reaction to the applied fields [3, 53]. The formulation including such effects is beyond the scope of the present paper and will be studied in a future work.
In developing a formulation without \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\), we need to identify the parameter region where it can be neglected to a good approximation. Noting that the polarization and the magnetization are obtained by differentiating \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) by \({\textbf{E}}\) and \({\textbf{B}}\), respectively (see Sect. 3), we may use the ratios, the imaginary polarization to the real polarization and the imaginary magnetization to the real magnetization, as the parameters representing the significance of \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\) compared to \(\bar{\mathcal {L}}^{(1)}_\textrm{Re}\). The ratios are given in the parallel field configuration as
where \(I_{\textrm{Re}}(\bar{a},\tilde{b})\) and \(I_{\textrm{Im}}(\bar{a},\tilde{b})\) are the real and imaginary parts of the integral in (5), respectively (except the factor \(m^4 / (32 \pi ^2 \bar{a}^2 )\)). Not understanding the exact physical meaning of \(P_\textrm{Im}\) and \(M_\textrm{Im}\) for now, we treat them as mathematical variations induced by \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\).
Figure 3 shows the ratios \(P_\textrm{Im} / P_\textrm{Re}\) and \(M_\textrm{Im} / M_\textrm{Re}\) for \(\tilde{b}=0.2,~0.1,~0.05,~0.025\). In Fig. 3a, the array of filled squares marks the points of \(E_0=E_c\) for different \(B_0\), indicating that \(E_0\) dominantly determines \(P_\textrm{Im} / P_\textrm{Re}\). The array of empty squares marks the points of \(E_0=0.5E_c\), and the dependence is similar. When the electric field is sufficiently strong, e.g., \(\bar{a}=0.04\) and \(\tilde{b}=0.2\) corresponding to \(E_0=2.5E_c\), \(P_\textrm{Im} / P_\textrm{Re}\) reaches 1 and become even larger at higher \(E_0\) values. As the criterion for neglecting \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\), we choose \(P_\textrm{Im} / P_\textrm{Re} \lesssim 10^{-2}\), which implies \(E_0 \lesssim 0.33E_c\) (consider the points at which the horizontal line at \(P_\textrm{Im} / P_\textrm{Re} = 10^{-2}\) crosses the other curves). Unlike the polarization ratio, the magnetization ratio \(M_\textrm{Im} / M_\textrm{Re}\) has a strong dependence on the magnetic field, as is indicated by the arrays of filled and empty squares in Fig. 3b. It also never overcome 0.2 in the investigated parameter regime, indicating that \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\) is the minor in determining the magnetization. The condition \(M_\textrm{Im} / M_\textrm{Re}=10^{-2}\) gives a threshold value higher than \(0.33E_c\). One may consider to plot the ratio of the Langrangian itself \(\bar{\mathcal {L}}^{(1)}_\textrm{Im} / \bar{\mathcal {L}}^{(1)}_\textrm{Re}\). Although not shown here, the curve shows a behavior lying between the behavior of \(P_\textrm{Im} / P_\textrm{Re}\) and that of \(M_\textrm{Im} / M_\textrm{Re}\).
We adopt the validity condition \(E_0 \lesssim E_c/3\) obtained from \(P_\textrm{Im} / P_\textrm{Re}\) as it is the most restrictive. The condition can be rewritten as \(\bar{b} \gtrsim 3/2\) or \(\bar{a} \gtrsim \bar{a}_\textrm{thres} \equiv 3\tilde{b}/2 \) for general field configurations, resulting in the exponential factor \(e^{-2\bar{b}\pi } \lesssim 8\times 10^{-5}\). Below we neglect \(\bar{\mathcal {L}}^{(1)}_\textrm{Im}\) in our formulation, and \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) refers only to its real part.
2.4 Expansion of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) in \(\tilde{b}\)
In the magnetosphere of neutron stars, the magnetic field is much stronger than the electric field, and thus \(a\gg b\), or equivalently \(\bar{a}\ll \bar{b}\), from (1) and (2). For example, the Goldreich–Julian model [39] gives \(\tilde{b}\) (\(=b/a=\bar{a}/\bar{b}\)) as a function decreasing with the distance from the star center: \(\tilde{b}(r=R)\le 0.2\) and \(\tilde{b}(r=10R)\le 0.02\), where R is the star’s radius. For such a condition, the expansion of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) in \(\tilde{b}\) is useful for analysis.
In the integral expression of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\), (5), \(\cot (\tilde{b}z)\) has poles at \(z=n\pi /\tilde{b}\) (\(n=1,2,\dots \)), which may make the integral diverge. However, the principal value of the integral is finite because the symmetric behavior of the cotangent function around the poles. Furthermore, if \(\exp (-2\bar{a}z)\) suppresses the integrand sufficiently much before the first pole, i.e., \(1/(2\bar{a})\ll \pi /\tilde{b}\), or equivalently \(\bar{b}\gg 1/(2\pi )\), an asymptotic expression valid for \(\bar{b}\gg 1/(2\pi )\) can be obtained. The condition \(\bar{b}\gg 1/(2\pi )\) is reasonably satisfied by the validity condition \(\bar{b} \gtrsim 3/2\) given in Sect. 2.3.
To proceed, we substitute the series form of \((\tilde{b}z)\cdot \cot (\tilde{b}z)\) in (5) (4.19.6 of [51]):
where \(B_{2n}\) are the Bernoulli numbers. The series is convergent only for \(\vert \tilde{b}z \vert <\pi \) due to the nearest poles at \(\tilde{b}z=\pm \pi \). Upon substitution, the contribution outside the region of convergence asymptotically vanishes as \(\bar{b}\rightarrow \infty \). Then, the integral in (5) is written as
To evaluate the integral, we use the integral representation of \(H(\bar{a})\) in (7), which is derived by comparing (7) with (B3):
Differentiating (12) 2n times by \(\bar{a}\) yields a useful formula:
of which closed form is given as (see App. C for the derivation).
where \(\psi ^{(m)}(\bar{a})\) is the polygamma function. By using (13) and (14) and the integral representation of the \(\Gamma \) function, one can integrate (11) term-by-term to obtain an asymptotic series of \({\bar{{\mathcal {L}}}}^{(1)}(\bar{a},\tilde{b})\):
in which all the terms are given in terms of special functions. Thus, (15) provides a systematic explicit expression of \(\bar{\mathcal {L}}^{(1)}(\bar{a},\tilde{b})\) in powers of \(\tilde{b}\) for an arbitrary value of \(\bar{a}\). For example, the first three leading orders are given as
A concise expression of the one-loop effective Lagrangian for general field configuration such as (15) and (16) is crucial for the analysis of the vacuum birefringence, especially for the case with an electromagnetic wrench. The lack of such a systematic expression has limited the vacuum birefringence analysis to the wrenchless case. Previously, Heyl and Hernquist obtained the lowest-order correction due to electromagnetic wrench in the strong magnetic field limit [54].
When both electric and magnetic fields are highly subcritical, i.e., \(\bar{a}\gg 1\) and \(\bar{b}\gg 1\) hold, the lowest order can be obtained from the expansion up to \(O(\tilde{b}^{4})\), and the second lowest from the expansion up to \(O(\tilde{b}^{6})\):
The term with the first bracket is written in terms of \({\textbf{E}}\) and \({\textbf{B}}\) as
which was obtained by Heisenberg and Euler [1], and Schwinger [2].
It is worthy to mention that the one-loop effective Lagrangian \({\mathcal {L}}^{(1)}(a,b)\) (4) can be expressed as a convergent series of which terms are some special functions of a and b [55,56,57]. The expansion may be exact but is not very convenient for the condition of an arbitrarily strong magnetic field combined with a weak electric field because the expansion needs an infinite sum. The convergence of the sum is slow, and thus its evaluation needs acceleration techniques [56]. In this regard, the expansion (16) is more convenient for theoretical analysis and practical applications.
2.5 Behavior of \({\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b})\) and the validity of its expansion form
The exact dependence of \({\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b})\) with \(\tilde{b}\) can be investigated by numerically evaluating the integral expression (5), as described in Appendix A. As \({\bar{\mathcal {L}}}^{(1)}(\bar{a},0)\) is completely known, the ratio \({\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b})/{\bar{\mathcal {L}}}^{(1)}(\bar{a},0)\) represents the dependence on \(\tilde{b}\) alone. In Fig. 4, the offset difference of \({\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b})\) from \({\bar{\mathcal {L}}}^{(1)}(\bar{a},0)\) (the difference as \(\bar{a} \rightarrow \infty \)) increases with \(\tilde{b}\). Furthermore, additional significant differences appear as \(\bar{a}\) decreases below certain onset values. For example, when \(\tilde{b}=0.2\), the ratio is close 1.2 until \(\bar{a}\) decreases to 1, but, as \(\bar{a}\) decreases below 1, it significantly increases and then decreases. When \(\tilde{b}\) is smaller, the behavior is similar except that the offset difference is smaller, and the onset value of \(\bar{a}\) for the additional difference decreases. This additional difference is attributed to the pair production because it becomes significant as the validity condition \(\bar{a} \gtrsim \bar{a}_\textrm{thres} \equiv 3\tilde{b}/2 \) begins to be violated.
By using the numerical evaluation of \(\mathcal {\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b})\), we can find the parameter range in which the expansion (15) is accurate. The ratio \({\bar{\mathcal {L}}}_{\textrm{exp}}^{(1)}(\bar{a},\tilde{b},n)/{\bar{\mathcal {L}}}_{\textrm{int}}^{(1)}(\bar{a},\tilde{b})\) is plotted for \(n=0,\,1,\,2,\,3\) and \(\tilde{b}=0.2,\,0.05\), where \({\bar{\mathcal {L}}}_{\textrm{exp}}^{(1)}(\bar{a},\tilde{b},n)\) is the expansion (15) up to \(O(\tilde{b}^{2n})\), and \({\bar{\mathcal {L}}}_{\textrm{int}}^{(1)}(\bar{a},\tilde{b})\) is the numerical evaluation of (5). In Fig. 5a, \({\bar{\mathcal {L}}}_{\textrm{exp}}^{(1)}(\bar{a},\tilde{b}=0.2,n\ge 1)\) is accurate within 1% for \(\bar{a}\ge 0.3\). The 1%-accuracy threshold of \(\bar{a}\), denoted by \(\bar{a}_{1\%}\), decreases slightly as n increases, but a higher-n expansion blows up faster below \(\bar{a}_{1\%}\): a typical behavior of Taylor expansions. When \(\tilde{b}\) is not taken into account, the error becomes larger than 17%, as can be seen in the \(n=0\) plot in Fig. 5a. Therefore, the correction due to \(\tilde{b}\ne 0\) should be taken into account for accuracy. At a lower value of \(\tilde{b}=0.05\) (Fig. 5b), the overall behavior is similar to the case of \(\tilde{b}=0.2\), but \(\bar{a}_{1\%}\) is lowered to 0.025, and the minimum error of the \(n=0\) expansion decreases to 2%.
Actually \(\bar{a}_{1\%}\) is closely connected to the validity condition \(\bar{a} \gtrsim \bar{a}_\textrm{thres} \equiv 3\tilde{b}/2 \). Note that \(\bar{a}_\textrm{thres}=\bar{a}_{1\%}\) for \(\tilde{b}=0.2\) and \(\bar{a}_\textrm{thres}=3\bar{a}_{1\%}\) for \(\tilde{b}=0.05\): \(\bar{a}_\textrm{thres}\) is more restrictive than \(\bar{a}_{1\%}\). Figure 5 suggests the \(n=2\) expansion as the optimal expansion, albeit the \(n=1\) expansion is reasonable within the valid parameter space.
3 Response of the vacuum in strong electromagnetic fields
In contrast to the classical vacuum, the quantum vacuum in electromagnetic fields behaves as a medium, of which response is quantified by the polarization (\({\textbf{P}}\)) and the magnetization (\({\textbf{M}}\)), or equivalently by the electric induction (\({\textbf{D}}\)) and magnetic field strength (\({\textbf{H}}\)). These quantities can be obtained by considering the variation of the effective Lagrangian with respect to that of the electromagnetic field [1, 58]:
In this section, we derive expressions of \({\textbf{P}}\) and \({\textbf{M}}\) for an arbitrary \({\mathcal {L}}^{(1)}(a,b)\) and use the result to obtain the permittivity and permeability tensors for weak low-frequency (\(\omega \ll m\)) probe fields. These tensors are necessary to analyze the vacuum birefringence in the next section. These results can be obtained also in an explicitly Lorentz covariant manner by using photon polarization tensors [3, 43, 44, 59,60,61].
3.1 Polarization and magnetization of the vacuum in uniform electric and magnetic fields
The effective Lagrangian is a function of a and b (1) and (2), and thus we consider the variation of a general differentiable function f(a, b):
As a and b are functions of F and G, the variations \(\delta a\) and \(\delta b\) can be written in terms of the variations \(\delta F\) and \(\delta G\):
In turn, the variations of \(\delta F\) and \(\delta G\) can also be written in terms of \(\delta {\textbf{E}}\) and \(\delta {\textbf{B}}\):
Thus, using the chain rules, the coefficients in these variations can be calculated by using (1) and (2) to express \(\delta f\) in terms of \(\delta {\textbf{E}}\) and \(\delta {\textbf{B}}\):
where
The operators \(\hat{S}\) and \(\hat{A}\) are symmetric and anti-symmetric under the parity inversion, respectively. Note that \((a^{2}+b^{2})\hat{S}\) measures the difference of homogeneity of polynomials such that \((a^{2}+b^{2})\hat{S}(a^{m}b^{n})=(m-n)(a^{m}b^{n})\), while \((a^{2}+b^{2})\hat{A}\) measures the mixed homogeneity of polynomials such that \((a^{2}+b^{2})\hat{A}(a^{m}b^{n})=(mb^{2}+na^{2})(a^{m-1}b^{n-1})\). In addition, \((a^{2}+b^{2})\hat{S}\) preserves the polynomial order (m, n), while \((a^{2}+b^{2})\hat{A}\) changes it to \((m-1,n+1)\) and \((m+1,n-1)\) while maintaining the sum of the orders of a and b. Replacing f with \({\mathcal {L}}^{(1)}\) and using (19), one can obtain \({\textbf{P}}\) and \({\textbf{M}}\) from \({\mathcal {L}}^{(1)}(a,b)\):
Despite the appearance, this relation is not linear in \({\textbf{E}}\) and \({\textbf{B}}\), as \(\hat{S}{\mathcal {L}}^{(1)}\) and \(\hat{A}{\mathcal {L}}^{(1)}\) are nonlinear functions of \({\textbf{E}}\) and \({\textbf{B}}\).
3.2 Permittivity and permeability tensors for weak low-frequency probe fields
The material-like vacuum with the nonlinear response relation (25) affects the propagation of photons. When the photon energy is much smaller than the electron’s rest mass energy (\(\omega \ll m=0.5\,\textrm{MeV}\)), the photon can be treated as a weak perturbation field (probe field) added to the strong background field [62, 63]. Then, \({\textbf{E}}\), \({\textbf{B}}\), \({\textbf{D}}\), \({\textbf{H}}\), \({\textbf{P}}\), and \({\textbf{M}}\) can be decomposed as
where \({\textbf{A}}_{0}\) (\(\delta {\textbf{A}}\)) refers to the quantities of the background (probe) field. Furthermore, as \({\textbf{A}}_{0}\) is uniform, while \(\delta {\textbf{A}}\) is varying, the relation (19) should be satisfied separately between the uniform and varying quantities:
Then, \(\delta {\textbf{D}}\) and \(\delta {\textbf{H}}\) can be obtained by varying the relation (25) around \(({\textbf{E}}_{0},{\textbf{B}}_{0})\), for which the formula (23) is convenient. A straightforward but lengthy calculation yields the linear relations among the varying quantities relevant to the probe field:
where \(\varvec{\epsilon }_{E}\), \(\varvec{\epsilon }_{B}\), \(\bar{\varvec{\mu }}_{B}\), and \(\bar{\varvec{\mu }}_{E}\) are 3-by-3 tensors. Their components are as follows:
where
Here, the subscript 0 means that \(\hat{S}\) and \(\hat{A}\) are evaluated at \(({\textbf{E}}_{0},{\textbf{B}}_{0})\). Note that these formulae are valid for any effective Lagrangian. From now on, we shall focus on the HES Lagrangian (4).
The tensors \(\varvec{\epsilon }_{B}\) and \(\bar{\varvec{\mu }}_{E}\) represent the magneto-electric response to the probe field, in which a magnetic (electric) field induces polarization (magnetization) [64], unlike usual dielectric and magnetic materials (see [65, 66] for the recent studies of the magneto-electric response in condensed matter). Such response disappears as the background electric field vanishes: when \({\textbf{E}}_{0}=0\), \({\mathcal {L}}_{A}^{(1)}\) and \({\mathcal {L}}_{SA}^{(1)}\) in (30) vanishes for the Lagrangian (4) to yield \(\varvec{\epsilon }_{B}=\bar{\varvec{\mu }}_{E}=0\).
The quantities in (31) have the complete information for the analysis of vacuum birefringence because they immediately lead to the permittivity and permeability for an arbitrary background field configuration through (30). By using the expansion (16), we can obtain the formulae of (31) contributed from each order of \(\tilde{b}\). For example, the contributions from the lowest three orders are shown in Tables 2, 3, and 4. In Table 2, the dependence on \(\bar{b}\) appears due to the \(b\cdot \partial _{a}\) term in \(\hat{A}\) although \({\bar{\mathcal {L}}}^{(1)}(\bar{a},0)\) does not depend on \(\bar{b}\). As the combined field of the background field and the probe field is not wrenchless in general, the expression of \({\bar{\mathcal {L}}}^{(1)}(\bar{a},\tilde{b}\ne 0)\) is necessary for wrenchless background fields.
For the case of \(b=0\) with an arbitrary value of a, i.e., the wrenchless case, the exact expressions of (31) can be obtained first by combining the results in Tables 2 and 3 and then by taking the limit of \(\bar{b}=\infty \). Higher order contributions are absent in this case. The results are shown in Table 5. The same results were obtained by Karbstein and Shaisultanov [43], who expanded the one-loop effective action up to the second order of the probe field and specified the calculation to the wrenchless case.
In the special limit of weak fields, the quantities in (31) can be obtained by combining the results in Tables 2, 3, and 4, and finding the asymptotic form for the limit of \(\bar{a},\bar{b}\rightarrow \infty \). Alternatively, the weak-field limit of the effective Lagrangian (17) can be used to evaluate (31):
which are obtained with the quantities of the first bracket in (17) only. When \(\bar{b}=\infty \), these expressions yields the permittivity and permeability tensors obtained by Adler for the case of a weak magnetic field [63]:
where \(\kappa =e^{4}/\left( 45\pi m^{4}\right) \). If the quantities in the second bracket of (17) is used, higher-order contributions are obtained.
4 Vacuum birefringence for \({\textbf{B}}_{0}\parallel {\textbf{E}}_{0}\) and \(\vert {\textbf{B}}_{0}\vert \gg \vert {\textbf{E}}_{0}\vert \)
In this section, we work out the refractive indices and the polarization vectors for the case of an arbitrarily strong magnetic field superposed with a weak electric field in the direction of the magnetic field, as shown in Fig. 6. In such a configuration, \(a=B_{0}\), \(b=E_{0}\), \(\bar{a}=B_\textrm{c}/(2B_{0})\), \(\bar{b}=E_\textrm{c}/(2E_{0})\), and \(\tilde{b}=E_0/B_0\) (see Table 1). This configuration, looking too restrictive at a first glance, is actually general enough to include the non-parallel cases, too. By choosing an appropriate Lorentz transformation, one can transform non-perpendicular configurations into parallel ones and the perpendicular configuration into that of a pure magnetic one as far as the electric field is weaker than the magnetic field [3, 45]. However, the Lorentz transformation of the permittivity and permeability of anisotropic media is a highly non-trivial issue [67], and thus eventually we need a formulation for an arbitrary field configuration [68]. In this paper, we focus on the parallel configuration to reveal the effect of the electromagnetic wrench in the simplest setting.
The refractive indices and the associated polarization vectors are found by solving the Maxwell equations for the probe field. When the probe field is a plane wave with the propagation vector \({\textbf{k}}\) and the angular frequency \(\omega \) (\({\textbf{k}}=\omega {\textbf{n}}=\omega n\hat{k}\)), the Maxwell equations for the probe field reduce to
By substituting (29) into these equations, we obtain a matrix–vector equation for the polarization vector:
where \(\varvec{\Lambda }\) is a \(3\times 3\) matrix incorporating \(\varvec{\epsilon }_{E}\), \(\varvec{\epsilon }_{B}\), \(\bar{\varvec{\mu }}_{B}\), \(\bar{\varvec{\mu }}_{E}\), and \({\textbf{n}}\). For this equation to have non-trivial solutions, \(\textrm{det}\varvec{\Lambda }=0\) should hold, from which refractive indices (\(n_{\pm }\)) are obtained. Substituting each of the refractive indices into the matrix–vector equation, one can obtain the associated polarization vectors (\(\delta {\textbf{E}}_{\pm }\)).
In the configuration in Fig. 6, the parallel field condition \({\textbf{B}}_{0}=B_{0}\hat{z}\) and \({\textbf{E}}_{0}=E_{0}\hat{z}\) (\(E_{0}\ge 0\) and \(B_{0}>0\)) forces the permittivity and permeability tensors \(\varvec{\epsilon }_{E}\), \(\varvec{\epsilon }_{B}\), \(\bar{\varvec{\mu }}_{B}\), and \(\bar{\varvec{\mu }}_{E}\) in (29) to have the following structure:
where r and \(\tilde{r}\) are given in Table 6 for each tensor. Furthermore, without loss of generality, the propagation vector can be assumed to be in the xz-plane: \({\textbf{k}}=\omega n(\sin \theta ,0,\cos \theta )\). Then the matrix \(\varvec{\Lambda }\) becomes
where
By solving \(\textrm{det}(\varvec{\Lambda })=0\), which is a quadratic equation in \(n^{2}\), two values of \(n^{2}\) are obtained, i.e., birefringence:
where
When \(\lambda \ne 0\) (non-zero wrench), \(f_{+}(\eta ,\lambda )\) and \(f_{-}(\eta ,\lambda )\) undergo an avoided crossing, as shown in Fig. 7. In contrast, when \(\lambda =0\) (wrenchless), \(f_{+}(\eta ,\lambda )\) and \(f_{-}(\eta ,\lambda )\) are swapped to each other in the crossing. Consequently, \(n_{+}^{2}\) and \(n_{-}^{2}\) exhibit the same behaviors for \(\epsilon _{2}\ne 0\) and \(\epsilon _{2}=0\) as \(\epsilon _{1}+\mu +\epsilon _{1}\mu \) crosses the origin (\(\eta =\epsilon _{1}+\mu +\epsilon _{1}\mu \), \(\lambda =\epsilon _{2}^{2}\)). The avoided crossing is the consequence of the electromagnetic wrench because \(\epsilon _{2}\) vanishes as \(E_{0}\) does (In Table 6, \({\mathcal {L}}_{SA}^{(1)}=0\) when \(E_{0}=0\)) for the configuration in Fig. 6. By the same token, the swapping is a signature of the wrenchless case.
With the two indices (39), the matrix equation \(\varvec{\Lambda }\cdot \delta {\textbf{E}}=0\) can be solved straightforwardly, but the general results are too lengthy to be presented. Instead, noting that \(\epsilon _{2}\) vanishes in the wrenchless case, we present only the expansions of the refractive indices and the polarization vectors up to \(O(\epsilon _{2}^{2})\). The swapping behavior for \(\epsilon _{2}=0\) makes the expansion depend on the sign of \(\epsilon _{1}+\mu +\epsilon _{1}\mu \). From now on, it is assumed that \(\epsilon _{1}+\mu +\epsilon _{1}\mu <0\) (the region of \(\eta <0\) in Fig. 7) below as it holds in the most wrenchless cases. Then the two refractive indices are expanded from (39) as
Then, the polarization vectors corresponding to \(n_{\pm }^{2}\) are obtained by solving \(\varvec{\Lambda }_{\pm }\cdot \delta {\textbf{E}}_{\pm }=0\), where \(\varvec{\Lambda }_{\pm }\) is \(\varvec{\Lambda }\) (37) with \(n^{2}=n_{\pm }^{2}\). The components of \(\varvec{\Lambda }_{\pm }\) are denoted by \(\Lambda _{\pm ,ij}\). However, a blind application of the Gauss elimination fails to find the correct solution that becomes the wrenchless solution as \(\epsilon _{2}\) vanishes. By considering the limiting behavior of \(\Lambda _{\pm ,ij}\) for \(\epsilon _{2}\rightarrow 0\) and requiring the solution’s limiting behavior be consistent with that of \(\Lambda _{\pm ,ij}\), one can make \(\varvec{\Lambda }_{\pm }\), \(\delta {\textbf{E}}_{\pm }\), and \(\varvec{\Lambda }_{\pm } \cdot \delta {\textbf{E}}_{\pm }=0\) safely reduce those of the wrenchless case as \(\epsilon _{2}\rightarrow 0\).
For example, as \(\epsilon _{2}\rightarrow 0\), \(\Lambda _{+,22}\rightarrow \epsilon _{2}^{2}\), and \(\Lambda _{+,23}\rightarrow \epsilon _{2}\), while other non-zero components do not vanish. Then, the solution of the type \(\left( O(\epsilon _{2}),1,O(\epsilon _{2})\right) ^{T}\) yields the correct solution in terms of \(\Lambda _{+,ij}\):
where the denominator \(\Lambda _{+,11}\Lambda _{+,33}-\Lambda _{+,13}^{2}\) does not vanish as \(\epsilon _{2}\rightarrow 0\). In solving \(\varvec{\Lambda }_{+}\cdot \delta {\textbf{E}}_{+}=0\), one obtains two sets of solutions, but they are the same for \(\epsilon _{2}\ne 0\) because of the constraint on the matrix elements, i.e., \(\det (\varvec{\Lambda }_{+})=0\). Between the two sets, we choose the set of which denominators do not vanish for \(\epsilon _{2}=0\) because the set correctly reduces to the wrenchless solution in the limit of \(\epsilon _{2}\rightarrow 0\). Note that \(\delta {\textbf{E}}_{+}\) can be normalized arbitrarily for convenience because solving the homogeneous equation \(\varvec{\Lambda }_{+}\cdot \delta {\textbf{E}}_{+}=0\) determines \(\delta {\textbf{E}}_{+}\) up to an overall factor.
Similarly, as \(\epsilon _{2}\rightarrow 0\), \(\Lambda _{-,23}\rightarrow \epsilon _{2}\), \(\Lambda _{-,33}-\Lambda _{-,13}^{2}/ \Lambda _{-,11}\rightarrow \epsilon _{2}^{2}\), while other non-zero components do not vanish. Then the solution of the type \(\left( x,O(\epsilon _{2}),1\right) ^{T}\), where x is non-vanishing, yields the following solution:
where \(\Lambda _{-,11}\) and \(\Lambda _{-,22}\) do not vanish as \(\epsilon _{2}\rightarrow 0\).
In the wrenchless case, \(E_{0}=0\) and, thus, \(\epsilon _{2}=0\) hold. The corresponding refractive indices and polarization vectors are the zeroth-order terms in (41) and (43), which are consistent with those obtained by Melrose [3]. Unlike in the background-field-free vacuum, \({\textbf{k}}\), \(\delta {\textbf{E}}_{+}\), and \(\delta {\textbf{E}}_{-}\) do not form an orthogonal triad in general, albeit \({\textbf{k}}\perp \delta {\textbf{E}}_{+}\) and \(\delta {\textbf{E}}_{+}\perp \delta {\textbf{E}}_{-}\). The polarization vector \(\delta {\textbf{E}}_{+}\) is along the y-axis, while \(\delta {\textbf{E}}_{-}\) lies in the xz-plane but not necessarily \({\textbf{k}}\perp \delta {\textbf{E}}_{-}\) [69]. An orthogonal triad is formed only when \(\theta =\pi /2\): \(\delta {\textbf{E}}_{-}\) is aligned along the z-axis.
When \(\theta =0\), i.e., \({\textbf{k}}\) is along the z-axis, \(n_{\pm }^{2}=1\) and \(\delta {\textbf{E}}_{\pm ,z}=0\) regardless of the wrench: the background field does not affect the propagation of the probe field because of the equal and opposite contributions from the virtual electrons and positrons.
The electromagnetic wrench (\(\tilde{b}\ne 0\)) can significantly affect the vacuum birefringence, as shown in Fig. 8. In Fig. 8a, the difference of the two refractive indices, \(n_{+}-n_{-}\), decreases noticeably in the supercritical region (\(\bar{a} \le 0.5\)) as \(\tilde{b}\) increases: at \(\bar{a}=0.3\) (\(\bar{a}_\textrm{thres}\) for \(\tilde{b}=0.2\)), the decrease is 5.0% when \(\tilde{b}=0.1\) but increases to 17% when \(\tilde{b}=0.2\). The absolute decrease for \((\bar{a},\tilde{b})=(0.15,0.1)\) is \(1.6 \times 10^{-5}\), which is quite close to the same as that for (0.3, 0.2), \(1.7 \times 10^{-5}\); the electric field is \(E_c/3\) at both cases.
In addition, the polarization vectors rotates due to the wrench. When \({\textbf{k}}\) is along the x-axis (\(\theta =\pi /2\)), \(\delta {\textbf{E}}_{+}\) and \(\delta {\textbf{E}}_{-}\) on the yz-plane, being perpendicular to each other in the wrenchless case. However, \(\delta {\textbf{E}}_{+}\) rotates further from the y-axis toward the z-axis in the wrenched case, and the amount of rotation increases with either \(\bar{a}\) or \(\tilde{b}\), as shown in Fig. 8b. In contrast to \(n_{+}-n_{-}\), the rotation angle is already as high as \(1^\circ \) even with the small value of \(\tilde{b}=0.025\). The rotation angle is \(5.5^\circ \) for \((\bar{a},\tilde{b})=(0.15,0.1)\) but increases to \(12.5^\circ \) for (0.3, 0.2), albeit the electric field remains the same. These results show that the rotation angle of the polarization vector is a more sensitive indicator of the wrench.
Both the reduction of the differences of the refractive indices and the rotation of polarization vectors are new features of vacuum birefringence introduced by the non-zero electromagnetic wrench. These results suggest that the electromagnetic wrench should be taken into account in analyzing the vacuum birefringence when the electric field is a fraction of a supercritical magnetic field. Such a situation is anticipated in the magnetosphere of neutron stars, especially magnetars.
5 Vacuum birefringence in pulsar magnetosphere
For a more concrete connection of the results in the previous sections to astrophysical phenomena, we consider the aligned rotator model suggested by Goldreich and Julian [39, 70]. The model provides the electric and magnetic fields around a neutron star by considering it as a magnetic dipole rotating along its dipole axis. Albeit the model cannot describe the pulsar radiation, it has been used as the basic model of pulsar magnetospheres because it predicts some phenomena observed in real pulsars and provides simple analytic expressions. In our context, it plays the role of a theoretical model for studying strong-field QED, classical and quantum. This model contains the essential element of the vacuum birefringence considered in our study, i.e., the wrench effect due to an electric field along the background magnetic field.
Using the model, we find that the region near the pole of a pulsar realizes the parallel field configuration considered in Sect. 4. According to the model, the electric and magnetic fields around a pulsar and their inner product are given as follows [70]:
where \({\mathcal {B}}\), \(\Omega \), and R are the magnetic field strength at the north pole, the angular frequency of rotation, and the pulsar’s radius, respectively. The position is specified by \((r,\theta _n,\varphi )\) in the spherical coordinate system of the pulsar; \(\varphi \) is absent in these expressions due to the azimuthal symmetry. As illustrated in Fig. 9a, the electric and magnetic fields are anti-parallel near the poles. The degree of parallelization, defined as \(\left( {\textbf{E}}_0\cdot {\textbf{B}}_0\right) ^{2}/\left( {\textbf{E}}_0^{2}{\textbf{B}}_0^{2}\right) \), is over 0.99 when \(\theta _n<11.2^{\circ }\) and over 0.95 when \(\theta _n<22.9^{\circ }\), regardless of the other parameters. Moving from the pole to the equator, the magnetic field becomes tangential, while the electric field reverses its sign in the radial direction at \(\theta _n<54.7^{\circ }\). Therefore, we can use the results in Sect. 4 to analyze the vacuum birefrigence in the region with \(\theta _n\lesssim 10^{\circ }\). Figure 9b shows the configuration of the background fields and the photon propagation vector \({\textbf{k}}\) at a position \({\textbf{r}}\) with a polar angle of \(\theta _n\): the magnetic field \({\textbf{B}}_0\) is inclined by an angle \(\alpha \simeq \theta _n/2\) with respect to \({\textbf{r}}\). The electric field \({\textbf{E}}_0\) is almost anti-parallel to the magnetic field. For the photon propagating along the z-axis, the angle between \({\textbf{k}}\) and \({\textbf{B}}_0\) is \(\theta \simeq 3\theta _n/2\). Furthermore, the parameter \(\tilde{b}=b/a\), an indicator for the wrench effect, is significant in this region for millisecond pulsars with a radius comparable to 10 km, as shown in Fig. 9c.
The wrench effect on the vacuum birefringence near the pole is seen in Fig. 9d, which shows the difference in the refractive indices for the photons propagating in the \(+z\) direction. As the wrench parameter \(\tilde{b}\) increases to 0.2, the difference decreases by about \(2\times 10^{-6}\) at a polar angle of \(10^\circ \). The difference increases with the polar angle mainly because the angle between \({\textbf{k}}\) and \({\textbf{B}}_0\), i.e., \(\theta \) in Fig. 9b, increases with the polar angle. Though small, the difference can lead to a substantial change because the birefringence effect accumulates over a distance comparable to the pulsar radius, which is much larger than the photon wavelength.
6 Conclusion
We have derived a concise expression of the one-loop effective Lagrangian for the vacuum under an arbitrarily strong magnetic field superposed with a weak electric field (15); \(G=-{\textbf{E}}\cdot {\textbf{B}}\) can be non-zero to allow the electromagnetic wrench. The expression is valid as far as the pair production is not significant because, in the case of significant pair production, a plasma of produced electron-positron pairs affects the vacuum polarization. As a criterion for neglecting pair production, we suggested the condition \(E_0 \lesssim E_c/3\), based on the exact numerical evaluation of the one-loop effective Lagragian. The lack of such a concise expression for general field configuration has restricted the vacuum birefringence analysis to the wrenchless case in the literature.
By using the derived one-loop effective Lagrangian, we have calculated the linear optical response of such vacuum to weak low-frequency fields. The permittivity and permeability tensors are given as (30) for an arbitrary one-loop effective Lagrangian. When the expansion form (16) of the HES effective Lagrangian is used, these tensors have values specified in Tables 2, 3, and 4. The known results for the wrenchless and the weak-field cases in the literature are obtained by taking the limit of \(b\rightarrow 0\) for arbitrary a (the wrenchless case) and \(a,b\rightarrow 0\) (the weak-field case) in our general expression, respectively.
With the permittivity and permeability tensors, we have worked out the modes of the probe field for the case where the background electric and magnetic fields are parallel to each other. The refractive indices (41) clearly exhibit birefringence, with the associated polarization vectors (42) and (43). In the case with an electromagnetic wrench, we have found that the electromagnetic wrench can reduce the difference of the refractive indices and rotate the polarization tensor significantly; these effects have not been reported so far to our knowledge.
Our result is crucial for the X-ray polarimetry of highly magnetized neutron stars and magnetars because the magnetospheres of such astrophysical objects have both a magnetic field comparable to or higher than the Schwinger limit and a weak induced electric fields. The electric field along the magnetic field can noticeably change the polarimetric results, as shown in Fig. 8. For instance, when \(B=1.7{\textrm{c}}\) and \(E=0.33E_{\textrm{c}}\), the difference of the refractive indices changes by 17%, and the polarization vectors rotate by \(12.5^{\circ }\) due to the non-negligible electric field along the magnetic field. At smaller values of E, the change is reduced but can accumulate to a significant level because the probe’s propagation length is comparable to the size of the stars. Thus, our formulae incorporating the electromagnetic wrench enable us to more accurately analyze the vacuum birefringence at such astrophysical conditions and, therefore, have a direct impact on the space missions such as Imaging X-ray Polarimetry Explorer (IXPE), the enhanced X-ray Timing and Polarimetry (eXTP), and the Compton Telescope project.
Our results have indicated the significance of the electromagnetic wrench in the vacuum birefringence around neutron stars. However, for a more accurate analysis, we need to extend the formulation in several aspects. First, the formulation should be generalized to include the imaginary part of the Lagrangian for the case pair production is significant. Second, the mode analysis in Sect. 4 should be extended to arbitrary angles among the photon propagation vector, the electric field, and the magnetic field. Recently, we made such an analysis for an arbitrary nonlinear Lagrangian and derived the formulae of refractive indices and polarization vectors [68]. We leave the application of the analysis with the current Lagrangian for a future work. Third, the spatial variation of electric and magnetic fields should be addressed. The formulation discussed so far assumes homogeneous fields but effectively gives the local values of the vacuum response because the length scale of field variation is about the size of neutron stars. Under such a spatial variation, the photon propagation vector and the photon polarization vectors can change their directions during the propagation. Then, the wave equation or its approximated version needs to be solved. Fourth, the contribution from the plasma surrounding neutron stars should be included in addition to the contribution from nonlinear vacuum discussed so far. Once the plasma distribution is estimated, its contribution to photon propagation can be included by using the standard formulae in plasma physics. Finally, the gravity may need to be incorporated because neutron stars have non-negligibly strong gravitational fields. Each of these points are highly non-trivial and requires substantial amount of theoretical and numerical investigations.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All the data in the paper can be directly reproduced by using the presented formulas.]
Notes
The accuracy of uniform field approximation was analyzed for the Schwinger pair production in the Sauter-type electric field [32]. The derivative expansion method was used to find the correction to the effective Lagrangian due to non-uniformity [33,34,35,36,37,38], according to which the correction is negligible for the macroscopic scale variation considered here.
One unit of magnetic field strength in the Lorentz–Heaviside system corresponds to \(\sqrt{4\pi }~\textrm{G}\).
References
W. Heisenberg, H. Euler, Folgerungen aus der diracschen theorie des positrons. Z. Phys. 98(11–12), 714 (1936). https://doi.org/10.1007/BF01343663
J. Schwinger, On gauge invariance and vacuum polarization. Phys. Rev. 82(5), 664–679 (1951). https://doi.org/10.1103/PhysRev.82.664. Accessed 24 Aug 2021
D.B. Melrose, Quantum Plasmadynamics: Magnetized Plasmas. Lecture Notes in Physics, vol. 854. Springer, New York (2013)
R. Battesti, C. Rizzo, Magnetic and electric properties of a quantum vacuum. Rep. Prog. Phys. 76(1), 016401 (2013). https://doi.org/10.1088/0034-4885/76/1/016401
J.W. Yoon, Y.G. Kim, I.W. Choi, J.H. Sung, H.W. Lee, S.K. Lee, C.H. Nam, Realization of laser intensity over \(10^{23}\,{\rm W/cm}^{2} \). Optica 8(5), 630 (2021). https://doi.org/10.1364/OPTICA.420520
C.N. Danson, C. Haefner, J. Bromage, T. Butcher, J.-C.F. Chanteloup, E.A. Chowdhury, A. Galvanauskas, L.A. Gizzi, J. Hein, D.I. Hillier et al., Petawatt and exawatt class lasers worldwide. High Power Laser Sci. Eng. 7, 54 (2019). https://doi.org/10.1017/hpl.2019.36
R. Moreh, S. Kahana, Delbruck scattering of 7.9 MeV photons. Phys. Lett. B 47(4), 351–354 (1973). https://doi.org/10.1016/0370-2693(73)90621-7
P. Rullhusen, U. Zurmühl, F. Smend, M. Schumacher, H.G. Börner, S.A. Kerr, Giant dipole resonance and coulomb correction effect in delbrück scattering studied by elastic and Raman scattering of 8.5 to 11.4 MeV photons. Phys. Rev. C 27, 559–568 (1983). https://doi.org/10.1103/PhysRevC.27.559
G. Jarlskog, L. Jönsson, S. Prünster, H.D. Schulz, H.J. Willutzki, G.G. Winter, Measurement of Delbrück scattering and observation of photon splitting at high energies. Phys. Rev. D 8, 3813–3823 (1973). https://doi.org/10.1103/PhysRevD.8.3813
d’Enterria, D., da Silveira, G.G.: Observing light-by-light scattering at the Large Hadron Collider. Phys. Rev. Lett. 111, 080405 (2013) [Erratum: Phys.Rev.Lett. 116, 129901 (2016)]. https://doi.org/10.1103/PhysRevLett.111.080405. arXiv:1305.7142 [hep-ph]
ATLAS Collaboration, Evidence for light-by-light scattering in heavy-ion collisions with the ATLAS detector at the LHC. Nat. Phys. 13(9), 852–858 (2017). https://doi.org/10.1038/nphys4208. Accessed 16 Nov 2021
Sirunyan, A.M. et al., Evidence for light-by-light scattering and searches for axion-like particles in ultraperipheral PbPb collisions at \(\sqrt{s_{\rm NN}} =\) 5.02 TeV. Phys. Lett. B 797, 134826 (2019). https://doi.org/10.1016/j.physletb.2019.134826. arXiv:1810.04602 [hep-ex]
J. Adam et al., Measurement of \({e}^{+}{e}^{-}\) momentum and angular distributions from linearly polarized photon collisions. Phys. Rev. Lett. 127, 052302 (2021). https://doi.org/10.1103/PhysRevLett.127.052302
J.D. Brandenburg, W. Zha, Z. Xu, Mapping the electromagnetic fields of heavy-ion collisions with the breit-wheeler process. Eur. Phys. J. A 57(10) (2021). https://doi.org/10.1140/epja/s10050-021-00595-5
F. Della Valle, A. Ejlli, U. Gastaldi, G. Messineo, E. Milotti, R. Pengo, G. Ruoso, G. Zavattini, The PVLAS experiment: measuring vacuum magnetic birefringence and dichroism with a birefringent Fabry-Perot cavity. Eur. Phys. J. C 76(1), 24 (2016). https://doi.org/10.1140/epjc/s10052-015-3869-8. arXiv:1510.08052 [physics.optics]
F. Karbstein, C. Sundqvist, K.S. Schulze, I. Uschmann, H. Gies, G.G. Paulus, Vacuum birefringence at X-ray free-electron lasers. New J. Phys. 23(9), 095001 (2021). https://doi.org/10.1088/1367-2630/ac1df4
B. Shen, Z. Bu, J. Xu, T. Xu, L. Ji, R. Li, Z. Xu, Exploring vacuum birefringence based on a 100 PW laser and an X-ray free electron laser beam. Plasma Phys. Control. Fusion 60(4), 044002 (2018). https://doi.org/10.1088/1361-6587/aaa7fb
C. Pellegrini, X-ray free-electron lasers: from dreams to reality. Phys. Scr. T169, 014004 (2016). https://doi.org/10.1088/1402-4896/aa5281
A.T. Schmitt, Y. Joly, K.S. Schulze, B. Marx-Glowna, I. Uschmann, B. Grabiger, H. Bernhardt, R. Loetzsch, A. Juhin, J. Debray, H.-C. Wille, H. Yavaş, G.G. Paulus, R. Röhlsberger, Disentangling X-ray dichroism and birefringence via high-purity polarimetry. Optica 8(1), 56 (2021). https://doi.org/10.1364/optica.410357
G. Vasisht, E. Gotthelf, The discovery of an anomalous X-ray pulsar in the supernova remnant Kes 73. Astrophys. J. Lett. 486(2), 129 (1997)
S.A. Olausen, V.M. Kaspi, THE McGILL MAGNETAR CATALOG. Astrophys. J. Suppl. Ser. 212(1), 6 (2014). https://doi.org/10.1088/0067-0049/212/1/6. Accessed 04 Oct 2021
R. Turolla, S. Zane, A.L. Watts, Magnetars: the physics behind observations. A review. Rep. Prog. Phys. 78(11), 116901 (2015). https://doi.org/10.1088/0034-4885/78/11/116901
V.M. Kaspi, A.M. Beloborodov, Magnetars. Annu. Rev. Astron. Astrophys. 55, 261–301 (2017)
T. Enoto, S. Kisaka, S. Shibata, Observational diversity of magnetized neutron stars. Rep. Prog. Phys. 82(10), 106901 (2019). https://doi.org/10.1088/1361-6633/ab3def.Accessed 2021-10-22
R. Taverna et al., Polarized X-rays from a magnetar. Science 378(6620), 646–650 (2022). https://doi.org/10.1126/science.add0080
A. Santangelo, S. Zane, H. Feng, R. Xu, V. Doroshenko, E. Bozzo, I. Caiazzo, F.C. Zelati, P. Esposito, D. Gonzalez-Caniulef et al., Physics and astrophysics of strong magnetic field systems with eXTP. Sci. China Phys. Mech. Astron. 62(2), 1–23 (2019)
Z. Wadiasingh, G. Younes, M.G. Baring, A.K. Harding, P.L. Gonthier, K. Hu, A.v.d. Horst, S. Zane, C. Kouveliotou, A.M. Beloborodov, C. Prescod-Weinstein, T. Chattopadhyay, S. Chandra, C. Kalapotharakos, K. Parfrey, D. Kazanas, Magnetars as astrophysical laboratories of extreme quantum electrodynamics: the case for a compton telescope. Bull. AAS 51(3) (2019)
W. Dittrich, One-loop effective potentials in quantum electrodynamics. J. Phys. A Math. Gen. 9(7), 1171–1179 (1976). https://doi.org/10.1088/0305-4470/9/7/019
W. Dittrich, W.-Y. Tsai, K.-H. Zimmermann, Evaluation of the effective potential in quantum electrodynamics. Phys. Rev. D 19(10), 2929–2934 (1979). https://doi.org/10.1103/PhysRevD.19.2929. Accessed 24 Sep 2021
S.P. Kim, H.K. Lee, Quantum electrodynamics actions in supercritical fields. J. Korean Phys. Soc. 74(10), 930–934 (2019). https://doi.org/10.3938/jkps.74.930. Accessed 24 Aug 2021
C.M. Kim, S.P. Kim, Magnetars as laboratories for strong field qed (2021). arXiv:2112.02460 [astro-ph.HE]
S.P. Kim, D.N. Page, Schwinger pair production in electric and magnetic fields. Phys. Rev. D 73(6), 065020 (2006)
V.P. Gusynin, I.A. Shovkovy, Derivative expansion for the one-loop effective lagrangian in QED. Can. J. Phys. 74(5–6), 282–289 (1996). https://doi.org/10.1139/p96-044
V. Gusynin, I. Shovkovy, Derivative expansion of the effective action for quantum electrodynamics in 2+ 1 and 3+ 1 dimensions. J. Math. Phys. 40(11), 5406–5439 (1999)
G. Dunne, T. Hall, QED effective action in time dependent electric backgrounds. Phys. Rev. D 58, 105022 (1998). https://doi.org/10.1103/PhysRevD.58.105022
S.P. Kim, H.K. Lee, Y. Yoon, Effective action of QED in electric field backgrounds. Phys. Rev. D 78(10), 105013 (2008). https://doi.org/10.1103/PhysRevD.78.105013. Accessed 13 Nov 2021
S.P. Kim, H.K. Lee, Y. Yoon, Effective action of QED in electric field backgrounds. II. Spatially localized fields. Phys. Rev. D 82(2), 025015 (2010). https://doi.org/10.1103/PhysRevD.82.025015. Accessed 13 Nov 2021
S.P. Kim, QED effective action in magnetic field backgrounds and electromagnetic duality. Phys. Rev. D 84(6), 065004 (2011)
P. Goldreich, W.H. Julian, Pulsar electrodynamics. Astrophys. J. 157, 869 (1969). https://doi.org/10.1086/150119
I.A. Batalin, A.E. Shabad, Photon green function in a stationary homogeneous field of the most general form. Sov. Phys. JETP 60, 483–486 (1971) [Zh. Eksp. Teor. Fiz. 60, 894 (1971)]
A.E. Shabad, Photon dispersion in a strong magnetic field. Ann. Phys. (NY) 90(1), 166–195 (1975). https://doi.org/10.1016/0003-4916(75)90144-X
J.S. Heyl, L. Hernquist, Birefringence and dichroism of the qed vacuum. J. Phys. A Math Gen. 30(18), 6485–6492 (1997). https://doi.org/10.1088/0305-4470/30/18/022. Accessed 12 Sep 2021
F. Karbstein, R. Shaisultanov, Photon propagation in slowly varying inhomogeneous electromagnetic fields. Phys. Rev. D 91(8), 085027 (2015). https://doi.org/10.1103/PhysRevD.91.085027. arXiv:1503.00532 [hep-ph]
W. Dittrich, H. Gies, Probing the Quantum Vacuum: Pertubative Effective Action Approach in Quantum Electrodynamics and Its Application. Springer Tracts in Modern Physics, vol. 166. Springer, Berlin (2000)
J.D. Jackson, Classical Electrodynamics, 3rd edn. (Wiley, New York, 1999)
M.D. Schwartz, Quantum Field Theory and the Standard Model (Cambridge University Press, New York, 2014)
V.I. Ritus, Lagrangian of an intense electromagnetic field and quantum electrodynamics at short distances. Sov. Phys. JETP 42, 774 (1976)
H. Gies, F. Karbstein, An addendum to the Heisenberg-Euler effective action beyond one loop. J. High Energy Phys. 2017, 108 (2017). https://doi.org/10.1007/JHEP03(2017)108
F. Karbstein, All-loop result for the strong magnetic field limit of the Heisenberg–Euler effective Lagrangian. Phys. Rev. Lett. 122(21), 211602 (2019). https://doi.org/10.1103/PhysRevLett.122.211602. arXiv:1903.06998 [hep-th]
V.F. Weisskopf, Ueber die elektrodynamik des vakuums auf grund des quanten-theorie des elektrons. Dan. Mat. Fys. Medd. 14, 1–39 (1936)
F.W.J. Olver, NIST Handbook of Mathematical Functions, 1st, edition. (Cambridge University Press, Cambridge, 2010)
F. Karbstein, Probing vacuum polarization effects with high-intensity lasers. Particles 3(1), 39–61 (2020). https://doi.org/10.3390/particles3010005
R. Ruffini, G. Vereshchagin, S.-S. Xue, Electron–positron pairs in physics and astrophysics: from heavy nuclei to black holes. Phys. Rep. 487(1–4), 1–140 (2010)
J.S. Heyl, L. Hernquist, Analytic form for the effective lagrangian of qed and its application to pair production and photon splitting. Phys. Rev. D 55(4), 2449–2454 (1997). https://doi.org/10.1103/PhysRevD.55.2449. Accessed 12 Sep 2021
Y.M. Cho, D.G. Pak, A convergent series for the QED effective action. Phys. Rev. Lett. 86(10), 1947–1950 (2001). https://doi.org/10.1103/physrevlett.86.1947
U.D. Jentschura, H. Gies, S.R. Valluri, D.R. Lamm, E.J. Weniger, QED effective action revisited. Can. J. Phys. 80(3), 267–284 (2002). https://doi.org/10.1139/p01-139
Y.M. Cho, D.G. Pak, M.L. Walker, Light propagation effects in QED: effective action approach. Phys. Rev. D 73(6), 065014 (2006). https://doi.org/10.1103/physrevd.73.065014
V.B. Berestetskii, L.P. Pitaevskii, E.M. Lifshitz, Quantum Electrodynamics, vol. 4, 2nd edn. (Butterworth-Heinemann, Oxford, 1982)
Z. Bialynicka-Birula, I. Bialynicki-Birula, Nonlinear effects in quantum electrodynamics. Photon propagation and photon splitting in an external field. Phys. Rev. D 2(10), 2341–2345 (1970). https://doi.org/10.1103/PhysRevD.2.2341. Accessed 25 Aug 2021
V.A.D. Lorenci, R. Klippert, M. Novello, J.M. Salim, Light propagation in non-linear electrodynamics. Phys. Lett. B 482(1–3), 134–140 (2000). https://doi.org/10.1016/S0370-2693(00)00522-0
V.A. De Lorenci, R. Klippert, S.-Y. Li, J.P. Pereira, Multirefringence phenomena in nonlinear electrodynamics. Phys. Rev. D 88, 065015 (2013). https://doi.org/10.1103/PhysRevD.88.065015
J. Mckenna, P.M. Platzman, Nonlinear interaction of light in a vacuum. Phys. Rev. 129, 2354–2360 (1963). https://doi.org/10.1103/PhysRev.129.2354
S.L. Adler, Photon splitting and photon dispersion in a strong magnetic field. Ann. Phys. 67(2), 599–647 (1971). https://doi.org/10.1016/0003-4916(71)90154-0. Accessed 25 Aug 2021
D.B. Melrose, R.C. McPhedran, Electromagnetic Processes in Dispersive Media (Cambridge University Press, Cambridge, 1991). https://doi.org/10.1017/CBO9780511600036. https://www.cambridge.org/core/product/identifier/9780511600036/type/book
M. Fiebig, Revival of the magnetoelectric effect. J. Phys. D Appl. Phys. 38(8), 123–152 (2005). https://doi.org/10.1088/0022-3727/38/8/R01
W. Eerenstein, N.D. Mathur, J.F. Scott, Multiferroic and magnetoelectric materials. Nature 442(7104), 759–765 (2006). https://doi.org/10.1038/nature05023
T.H. O’Dell, The electrodynamics of magneto-electric media. Philos. Mag. 7(82), 1653–1669 (1962). https://doi.org/10.1080/14786436208213701
C.M. Kim, S.P. Kim, 3+1 formulation of light modes in nonlinear electrodynamics: Minkowski spacetime (in preparation)
S.-W. Hu, B.-B. Liu, Birefringence and non-transversality of light propagation in an ultra-strongly magnetized vacuum. J. Phys. A Math. Theor. 40(46), 13859–13867 (2007). https://doi.org/10.1088/1751-8113/40/46/003
J. Katz, High Energy Astrophysics (Addison-Wesley, Menlo Park, 1987)
W. Research Inc., Mathematica, Version 13.0.0, Champaign (2021). https://www.wolfram.com/mathematica
P.J. Davis, P. Rabinowitz, W. Rheinbolt, Methods of Numerical Integration. Computer Science and Applied Mathematics (Elsevier Science, San Diego, 2014). https://books.google.co.kr/books?id=mbLiBQAAQBAJ
Acknowledgements
We thank the anonymous reviewer for the valuable comments that improved the paper. This work was supported by Institute for Basic Science (IBS) under IBS-R012-D1. The work of CMK was also supported by Ultrashort Quantum Beam Facility operation program (140011) through APRI, GIST and GIST Research Institute (GRI) grant funded by GIST in 2022. The work of SPK was also supported by National Research Foundation of Korea (NRF) funded by the Ministry of Education (2019R1I1A3A01063183).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Numerical evaluation of the integral expression of \({\mathcal {L}}^{(1)}(a,b)\)
We consider the numerical evaluation of the integral in (4). The integrand has a proper singularity at \(z=0\) with a well-defined limit (0) and thus poses no problem in principle. In numerical evaluation, however, the functional form in (5) leads to a serious loss of significant digits near \(z=0\). This problem can be avoided by using the Taylor expansion of the integrand around \(z=0\). More problematic are the poles of the \(\cot (\tilde{b}z)\) at \(z=n\pi /\tilde{b}\) \((n=1,2,\dots )\). As we are interested only in the real part of \({\mathcal {L}}^{(1)}(a,b)\) to study vacuum birefringence, we take the principal value of the integral.
Taking into account of these problems, we split the integral into two parts, \(I=I_{1}+I_{2}\): one from 0 to \(z_{b}\) (\(z_{b}\sim 0\) and \(z_{b}\ll \pi /\tilde{b}\), the first pole) and the other from \(z_{b}\) to \((n+1/2)\pi /\tilde{b}\), the midpoint between the n-th pole and \((n+1)\)-th pole. As the number of poles increases, the numerical integration would converge to the exact value of the integral in (5). In the first part, we use the second-order Taylor expansion:
The second part is given as
where \(\mathrm {P.V.}\) means the Cauchy principal value. To numerically evaluate the Cauchy principal value, we used Mathematica [71], which implements the algorithm presented in 2.12.8 of [72]. In the parameter range considered in our study, \(z_{b}=0.01\) and \(n\le 20\) gave a good convergence. A small number of poles are sufficient for convergence as a small value of \(\tilde{b}\) pushes the poles away from the origin, and the contribution from the region far from the origin is significantly suppressed by the factor \(e^{-2\bar{a}z}/z^{3}\).
Appendix B: Analytic expressions of \({\mathcal {L}}^{(1)}(a,0)\) and \({\mathcal {L}}^{(1)}(0,b)\)
The integral expression of the one-loop effective action with \(b=0\) is obtained by taking the limit of \(\tilde{b}=0\) and using \(\lim _{x\rightarrow 0}x\cot (x)=1\) in (5):
where \(\bar{a}=m^{2}/(2ea)\). The integration can be performed by expanding \(z\coth z\) is expanded around \(z=0\):
where \(B_{2n}\) are the Bernoulli numbers. This expansion is convergent for \(|z|<\pi \), as can be seen by the root test. However, it can be substituted into (B3) to yield an asymptotic expression for \(\bar{a}\rightarrow \infty \) because \(\exp \left( -2\bar{a}z\right) \) suppresses the contribution from the region of \(z\gg 1/(2\bar{a})\) if the remaining part of the integrand has a polynomial divergence at most. By using the formula \(\int _{0}^{\infty }e^{-\alpha z}z^{p}\,dz=\Gamma (p+1)/\alpha ^{p+1}\), we can obtain an asymptotic expression of \({\mathcal {L}}^{(1)}(a,0)\):
This series (B5) is divergent for any finite value of \(\bar{a}\), which can be found by the root test, and, as \(\bar{a}\rightarrow \infty \), it is asymptotic to a function involving the Hurwitz zeta function \(\zeta (s,\bar{a})\) (25.11.44 in [51]):
where \(\zeta '(-1,\bar{a})=d\zeta (s,\bar{a})/ds\vert _{s=-1}\). Consequently,
Remarkably, this asymptotic relation turns out to be equality. The formula (B7) is exactly the expression of \({\mathcal {L}}^{(1)}(a,0)\) obtained either by the dimensional regularization of (B3) [28, 29] or by the Schwinger–DeWitt in-out formalism with \(\Gamma \)-function regularization [30].
In a purely electric field, \(a=0\) and \(b>0\) from (1) and (2). Instead of conducting a similar calculation, we employ the symmetry of the HES Lagrangian (4) to find the formula of \({\mathcal {L}}^{(1)}(0,b)\). In (4),
holds by construction. As the formula of \({\mathcal {L}}^{(1)}(a,0)\) is already known, \({\mathcal {L}}^{(1)}(0,b)\) can be found as follows:
Note that the imaginary part of (B9) is equivalent to the sum of the residues from the simple poles of (4), which is shown in [30].
Appendix C: Expression of \(H^{(2n)}(z)\)
The even-order derivatives of H(z) can be explicitly obtained. The function H(z) consists of two parts:
where \(\zeta '(-1,z)=d\zeta (s,z)/ds\vert _{s=-1}\). The function \(\zeta (s,z)\) is the Hurwitz zeta function, defined as (25.11.1 in [51]):
As far as \(s\ne 1\), the expression can be analytically continued. To calculate \(\partial _{z}^{2n}\zeta '(-1,z)\), we begin with the following identity (25.11.17 in [51]):
Differentiating with respect to s and setting \(s=-1\), we obtain
where \(\zeta (0,z)=-z+1/2\) and \(\zeta '(0,z)=\ln \Gamma (z)-\ln (2\pi )/2\) are used for the second equality (25.11.13 and 25.11.18 in [51]). Differentiating with respect to z successively and using the definition of the polygamma function (5.2.2 and 5.15 in [51])
we obtain the formula of \(\partial _{z}^{2n}\zeta '(-1,z)\):
The successive differentiation of h(z) in (C10) is straightforward, and, consequently, the formula of \(H^{(2n)}(z)\) is given as
where \(\theta (n)\) is the unit step function with \(\theta (n\ge 0)=1\).
Rights and permissions
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://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Kim, C.M., Kim, S.P. Vacuum birefringence at one-loop in a supercritical magnetic field superposed with a weak electric field and application to pulsar magnetosphere. Eur. Phys. J. C 83, 104 (2023). https://doi.org/10.1140/epjc/s10052-023-11243-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11243-1