Abstract
In order to detect high frequency gravitational waves, we need a new detection method. In this paper, we develop a formalism for a gravitational wave detector using magnons in a cavity. Using Fermi normal coordinates and taking the non-relativistic limit, we obtain a Hamiltonian for magnons in gravitational wave backgrounds. Given the Hamiltonian, we show how to use the magnons for detecting high frequency gravitational waves. Furthermore, as a demonstration of the magnon gravitational wave detector, we give upper limits on GHz gravitational waves by utilizing known results of magnon experiments for an axion dark matter search.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The discovery of gravitational waves by the interferometer detector LIGO in 2015 [1] opened up multi-messenger astronomy, where electromagnetic waves, gravitational waves, neutrinos, and cosmic rays are utilized to explore the universe. In the future, as the history of electromagnetic wave astronomy tells us, multi-frequency gravitational wave observations will be required to boost the multi-messenger astronomy.
It is useful to review the current status of gravitational wave observations [1]. Note that the lowest frequency we can measure is around \(10^{-18}\) Hz, below which the wavelength of gravitational waves exceeds the current Hubble horizon. Measuring the temperature anisotropy and the B-mode polarization of the cosmic microwave background [2, 3], we can probe gravitational waves with frequencies between \(10^{-18}\) and \(10^{-16}\) Hz. Astrometry of extragalactic radio sources is sensitive to gravitational waves with frequencies between \(10^{-16}\) and \(10^{-9}\) Hz [4, 5]. The pulsar timing arrays, like EPTA [6, 7], IPTA [8] and NANOGrav [9], observe gravitational waves in the frequency band from \(10^{-9}\) to \(10^{-7}\) Hz. Doppler tracking of a space craft, which uses a measurement method similar to the pulsar timing arrays, can search for gravitational waves in the frequency band from \(10^{-7}\) to \(10^{-3}\) Hz [10]. The space interferometers LISA [11] and DECIGO [12] can cover the range between \(10^{-3}\) and 10 Hz. The interferometer detectors LIGO [13], Virgo [14], and KAGRA [15] with km size arm lengths can search for gravitational waves with frequencies from 10 to 1 kHz. In this frequency band, resonant bar experiments [16] are complementary to the interferometers [17]. Furthermore, interferometers can be used to measure gravitational waves with the frequencies between 1 kHz and 100 MHz. Recently, a limit on gravitational waves at MHz was reported [18] and a 0.75 m arm length interferometer gave an upper limit on 100 MHz gravitational waves [19]. At 100 MHz, there is a waveguide experiment using an interaction between gravitational waves and electromagnetic fields [20]. The interaction of gravitational waves with electromagnetic fields is useful to explore high frequency gravitational waves and has been studied extensively [21, 22]. Indeed, the interaction is utilized to constrain very high frequency gravitational waves higher than \(10^{14}\) Hz [23]. Although gravitational waves in the GHz range are theoretically interesting [24], no detector for GHz gravitational waves has been constructed.
In order to explore the GHz range, it would be useful to consider condensed matter systems. In our previous work, we pointed out that magnons in a cavity can be utilized to detect GHz gravitational waves [24]. There, we gave observational constraints on GHz gravitational waves for the first time. In this paper, we present the method in detail. To treat the general coordinate invariance appropriately, we need to use Fermi normal coordinates, or more precisely detector coordinates. Furthermore, we study non-relativistic fermions to reveal the interaction between magnons and gravitational waves. As a result, we obtain a formalism for non-relativistic fermions in curved spacetime, including a gravitational wave background as a special case. Finally, as a demonstration, we will give upper limits on the spectral density of continuous gravitational waves (95% CL): \(7.5 \times 10^{-19} \ [\mathrm{Hz}^{-1/2}]\) at 14 GHz and \(8.7 \times 10^{-18} \ [\mathrm{Hz}^{-1/2}]\) at 8.2 GHz, respectively, by utilizing results of magnon experiments conducted recently [25, 26].
The organization of the paper is as follows. In Sect. 2, we study the Dirac equation in Fermi normal coordinates. In Sect. 3, we take the non-relativistic limit to obtain a Hamiltonian of the fermions. In Sect. 4, we explain how to use magnons for detecting high frequency gravitational waves. Furthermore, we give upper limits on continuous gravitational waves in the GHz range. The final section is devoted to the conclusion. In Appendices A and B, we review how to derive Fermi normal coordinates and proper detector coordinates, respectively. In particular in Appendix B, the reason why one can neglect gravity of the earth and use the Fermi normal coordinates as the proper detector frames approximately will be clarified. We also give a simple mathematical formula for calculations in Appendix C.
2 Dirac field in Fermi normal coordinates
In order to study the effects of gravity on a fermion, we consider the Dirac equation in curved spacetime described by a metric \(g_{\mu \nu }\). It is given by
where \(\gamma ^{\hat{\alpha }}\), e, m, \(A_{\mu }\) are the gamma matrices, the elementary charge, the mass of the fermion, and the vector potential of U(1) gauge theory, respectively. The tetrad \(e^{\mu }_{\hat{\alpha }}\) satisfies
Note that \(\eta _{\hat{\alpha }\hat{\beta }}\) is the Minkowski metric of a local inertial frame and a hat is used for the frame. The spin connection is defined by
where \(\sigma _{\hat{\alpha }\hat{\beta }} = \frac{i}{4} [ \gamma _{\hat{\alpha }}, \gamma _{\hat{\beta }} ] \) is a generator of the Lorentz group and \(\Gamma ^{\mu }_{\nu \lambda }\) is the Christoffel symbol.
Since there is the equivalence principle for gravity, the choice of coordinates is quite important. We should consider a proper reference frame, which coincides with the coordinates used in an experiment. Actually, the proper reference frame can be approximated by Fermi normal coordinates (see Appendix A) because the effects of the earth are negligible for our purposes, as discussed in Appendix B.
In Appendix A, we have derived an explicit expression of the metric in Fermi normal coordinates:
where the Riemann tensor is evaluated at \(\varvec{x} = 0\) and thus it only depends on time \(x^{0}\). Moreover, the inverse of the metric is approximately given by
where we neglected higher order terms with respect to the curvature. From the metric (4)–(9), one can obtain the Christoffel symbols:
The tetrad is constructed using Eq. (2):
Substituting Eqs. (10)–(14) into Eq. (3), we can evaluate the spin connection as
Here we have rewritten \(\delta _{\hat{\alpha }}^{\mu } \gamma ^{\hat{\alpha }}\) as \(\gamma ^{\hat{\mu }}\) and we will do so throughout.
On the other hand, the Dirac equation (1) can be rewritten as
where we defined a Hamiltonian H and the gamma matrices in curved spacetime \(\gamma ^{\mu } = e^{\mu }_{\hat{\alpha }} \gamma ^{\hat{\alpha }}\) satisfying the relation
Let us express the Hamiltonian in terms of the gamma matrices of the local inertial frame instead of those of curved spacetime. Because of \(\gamma ^{0}\gamma ^{0} = -g^{00}\), we obtain
Using Eqs. (13) and (14), we calculate
Together with Eq. (7), we have
Similarly, one can obtain
Therefore, from Eqs. (19), (21) and (22), the Hamiltonian expressed in the local inertial coordinates becomes
Furthermore, substituting Eqs. (15) and (16) into the above Hamiltonian and rearranging terms, we have
where we defined
The result is consistent with the earlier work [27] where the Hamiltonian (24) was obtained to examine the effects of gravity on an atom.
The Hamiltonian we have obtained is the \(4 \times 4\) matrix including both the particle and the anti-particle. What we will consider is the non-relativistic fermion. To take the non-relativistic limit of the Hamiltonian of the fermion, we have to separate the particle and the anti-particle while expanding the Hamiltonian in powers of 1/m. We will explicitly see how to perform this in the next section.
3 Non-relativistic limit of Dirac equation
In the previous section, we derived the Hamiltonian of a Dirac field in general curved spacetime with Fermi normal coordinates. Assuming that a fermion has a velocity well below the speed of light, which is the situation we will consider in the Sect. 4, we take the non-relativistic limit of the Hamiltonian. The procedure in flat spacetime is known as the Foldy–Wouthuysen transformation [28, 29]. We generalize it to the case of curved spacetime.
We first separate the Hamiltonian (24) into the even part, the odd part and the terms multiplied by m as
where we have defined \(\beta = \gamma ^{{\hat{0}}}\), \(\alpha ^{i} = \gamma ^{{\hat{0}}} \gamma ^{{\hat{i}}}\) and \(\Pi _{j} = -i \partial _{j} - eA_{j}\) for brevity. The even part, \({\mathcal {E}}\), means that the matrix has only block diagonal elements and the odd part, \({\mathcal {O}}\), means that the matrix has only block off-diagonal elements. Any product of two even (odd) matrices is even and a product of even (odd) and odd (even) matrices becomes odd. To take the non-relativistic limit of the Hamiltonian, we have to diagonalize the Hamiltonian (26) and expand the upper block diagonal part in powers of 1/m. More precisely, 1/m expansion is recognized as an expansion with respect to two parameters, \((m x)^{-1}\) and v/c. Here, x represents a typical length scale of the system which can be specified by Fermi normal coordinates, i.e., \(x \sim \sqrt{x^{i} x_{i}}\), v is the velocity of the fermion and c denotes the speed of light. Assuming \(1/m x \ll 1 \) and \(v/c \ll 1\), which hold in the situation of the Sect. 4, we will perform the 1/m expansion. It is known that this can be done in flat spacetime by repeating unitary transformations order by order in powers of 1/m [28, 29]. Let us generalize the method to the case of curved spacetime in Fermi normal coordinates.
We consider a unitary transformation,
where S is a time-dependent Hermitian 4 \(\times \) 4 matrix. Observing that
we find that the Hamiltonian after the unitary transformation is given by
We now assume that S is proportional to powers of 1/m and expand the transformed Hamiltonian (29) in powers of S up to the order of 1/m. Using Eqs. (C4) and (C7) in Eq. (29), we obtain
First, let us eliminate the off-diagonal part of the Hamiltonian (26) at the order of m by a unitary transformation. Then we will drop the higher order terms with respect to the Riemann tensor, which only depends on time, and derivatives of the Riemann tensor with respect to the time by assuming that they are small enough.Footnote 1
To cancel the last term in the square bracket of (26), we take
We then obtain
Therefore, from Eqs. (30) and (32), we have the transformed Hamiltonian as
where we have used the relation \(\big \{ \alpha ^{i} ,\alpha ^{j} \big \} = 2 \delta ^{ij}\). One can see that only even terms remain at the order of m, as expected.
Next, we focus on the order of \(m^{0}\) and eliminate the odd terms by a unitary transformation. In order to do so, we choose the Hermitian operator to be
It is straightfoward to obtain
Furthermore, up to the order of 1/m, we can deduce
and
Therefore, the Hamiltonian after the unitary transformation is given by
where \(E_{j} \equiv \partial _{j} A_{0} - {\dot{A}}_{j}\) is an electric field. We see that \({\mathcal {O}}'\) has only terms of order of 1/m, so that odd terms at the order of \(m^{0}\) have been eliminated.
Finally, we will eliminate the odd term \({\mathcal {O}}'\) and then the Hamiltonian will consist of only even terms up to the order of 1/m, which we want to get. To this end, we now choose the Hermitian operator of a unitary transformation as
Then, up to the order of 1/m, we have
Therefore, we have the transformed Hamiltonian as
where \({\mathcal {E}}''\) is given by
Moreover, the fourth term in the first line of Eq. (42) can be evaluated as
where \(B^{i} \equiv \frac{1}{2} \epsilon ^{ijk} (\partial _{j}A_{k} - \partial _{k}A_{j})\) is a magnetic field. Using Eqs. (42), (43) and the relation \(\big [ \alpha ^{i} ,\alpha ^{j} \big ] = 2 i \epsilon _{ijk} \sigma ^{k}\) in the transformed Hamiltonian (41), we finally arrive at the Hamiltonian for a non-relativistic fermion up to the order of 1/m as
The first term is the rest mass and its correction from the gravity at a point \(x^{i}\). The third term represents gravitational redshift, namely energy shift due to gravity. The first term in the last line gives the same effect at the order of 1/m. We find that the fourth and the fifth terms describe gravitational effects on the motion of a particle. However, we notice that the former contains the time derivative of the curvature, which has been assumed to be small. The second term in the last line is also small. The third line represents interactions between gravity and a spin in the presence of an external magnetic field. This is what causes the spin resonance and/or the excitation of magnons as we will see in the next section. The fourth line is a spin–orbit coupling mediated by gravity.
In vacuum, the Riemann tensor coincides with the Weyl tensor. Then it may be useful to rewrite the Riemann tensor of the Hamiltonian (44) in terms of the electric \(E_{ij}\) and magnetic \(H_{ij}\) components of the Weyl tensor \(C_{\mu \nu }^{\ \ \rho \sigma }\), defined by
where \(\gamma _{\mu \nu }\) is the induced three dimensional metric, i.e., \(\gamma _{00} = \gamma _{0i} = 0, \gamma _{ij} \simeq \delta _{ij}\). Substituting the above relation into the Hamiltonian (44), we obtain
Although Eq. (44) is applicable to a general curved spacetime, let us focus on gravitational waves as gravitational effects from now on. The Riemann tensor for a perturbed metric \(g_{\mu \nu } = \eta _{\mu \nu } + h_{\mu \nu }\) at the linear order is given by
where \(\eta _{\mu \nu }\) stands for a flat spacetime metric and \(h_{\mu \nu }\) represents a deviation from the flat spacetime. Because the Riemann tensor (47) is invariant under gauge transformations, we can use any coordinate to evaluate the Riemann tensor included in Eq. (44). We then take the transverse traceless gauge, i.e., \(h_{0\mu } = h_{ii} = h_{ij,j} = 0\). As a result, one can obtain
Note that they are evaluated at the origin, \(x^{i} = 0\), so that they do not depend on spatial coordinates. Substituting (48) into (44), we finally obtain
where we have used the equation of motion for gravitational waves, i.e., \(\Box h_{ij} = 0\).
In the next section, we will see that gravitational waves excite magnons, which are collective excitation of spins through the interaction in the third line in Eq. (49).
4 Magnon gravitational wave detectors
In Sect. 3, we revealed gravitational effects on a non-relativistic Dirac fermion in Fermi normal coordinates. As you can see in Eq. (49), if one consider a freely falling point particle and set Fermi normal coordinates, the particle does not feel perturbative gravity \(h_{ij}\) at the origin because of the equivalence principle. However, gravitational effects are canceled, of course, only at one point and thus an object with finite dimension feels gravitation. In the case of magnons, we prepare, for example, a ferromagnetic sample in an external magnetic field and then the sample feels gravity since it has finite size. Thus, magnons can be excited by gravitational waves. To examine the effect of gravitational waves on magnons, it is appropriate to set a Fermi normal coordinate with the origin placed at the center of the ferromagnetic sample. Then we can use the discussion of Sect. 3.
We consider a ferromagnetic sample in an external magnetic field. Such a system is described by the Heisenberg model [31]:
where the Bohr magneton \(\mu _{B} = e/2m_{e}\) is defined by the elementary charge e and the mass of electrons \(m_{e}\). We applied an external magnetic field along the z-direction, \(B_{z}\), without loss of generality because of isotropy. Here, i specifies each site of spins. The first term is the conventional Pauli term, which turns the spin direction to be along the external magnetic field. The second term represents the exchange interactions between spins with the strength \(J_{ij}\).
Next, we take into account the effect of gravitational waves on the system. From Eq. (49), the interaction Hamiltonian between gravitational waves and a spin in the ferromagnetic sample is
where we have defined
It represents the effect of gravitational waves on a spin located at \(x^{i}\) in Fermi normal coordinates. Indeed, at the origin, \(x^{i}=0\), we see that \(Q_{ij}=0\). From Eqs. (50) and (51), the total Hamiltonian of the system is
The spin system (53) can be rewritten by using the Holstein–Primakoff transformation [32]:
where bosonic operators \({\hat{C}}_{i}\) and \({\hat{C}}^{\dagger }_{i}\) satisfy commutation relations \([{\hat{C}}_{i}, {\hat{C}}^{\dagger }_{j}]=\delta _{ij}\) and \({\hat{S}}_{(j)}^{\pm } = {\hat{S}}_{(j)}^{x} \pm i {\hat{S}}_{(j)}^{y}\) are the ladder operators. It is easy to check that the SU(2) algebra, \([{\hat{S}}^{i} , {\hat{S}}^{j}] = i \epsilon _{ijk} {\hat{S}}^{k}\) (\(i,j,k = x, y, z\)), is satisfied even after the transformation (54). We note that \({\hat{C}}_{i}^{\dagger } {\hat{C}}_{i}\) represents the particle numbers of the boson created by the creation operator \({\hat{C}}_{i}^{\dagger }\). The bosonic operators describe spin waves with dispersion relations determined by \(B_{z}\) and \(J_{ij}\). Furthermore, provided that contributions from the surface of the sample are negligible, one can expand the bosonic operators by plane waves as
where \(\varvec{r}_{i}\) is the position vector of the i spin. The excitation of the spin waves created by \({\hat{c}}_{k}^{\dagger }\) is called a magnon.
We now rewrite the spin system (53) by magnons with the Holstein–Primakoff transformation (54) and then we only focus on the homogeneous mode of magnons, i.e., \(k = 0\) mode. Then the second term in the total Hamiltonian (53) is irrelevant because it does not contribute to the homogeneous mode. Furthermore, because \(Q_{zz}\) does not contribute to the resonance of the spins, namely excitation of magnons, we will drop it. Thus we have
Now let us consider a planar gravitational wave propagating in the z–x plane, namely, the wave number vector of the gravitational wave \(\varvec{k}\) has a direction \({\hat{k}} = ( \sin \theta , 0 , \cos \theta )\). Moreover, we postulate that the wavelength of the gravitational wave is much longer than the dimension of the sample and it is necessary for the validity of the Fermi normal coordinates. This situation is actually satisfied in the case of usual cavity experiments for magnons. We can expand the gravitational wave \(h_{ij}\) in terms of linear polarization tensors satisfying \(e^{(\sigma )}_{ij} e^{(\sigma ')}_{ij} = \delta _{\sigma \sigma '}\) as
More explicitly, we took the representation
where \(\omega _{h}\) is an angular frequency of the gravitational wave and \(\alpha \) represents a difference of the phases of polarizations. Note that the polarization tensors can be explicitly constructed as
In Eqs. (60) and (61), we defined the \(+\) mode as a deformation in the y-direction.
Then substituting Eqs. (57)–(61) into the total Hamiltonian (56), moving on to the Fourier space and using the rotating wave approximation, one can deduce
where \({\hat{c}} = {\hat{c}}_{k=0}\) and
is an effective coupling constant between the gravitational waves and the magnons. The parameters l and \(\lambda = 2\pi / \omega _{h}\) are the radius of the (spherical) ferromagnetic sample and the wavelength of the gravitational wave. We note that the sum over the spin sites i was evaluated as
where L is a lattice constant, which is related to the number of spins as \(N = \left( \frac{4\pi }{3}l^{3} \right) / L^{3}\).
From Eq. (63), we see that the effective coupling constant has gotten a huge factor \(\sqrt{N}\). Moreover, in order to obtain a coordinate-independent expression of \(g_{eff}\), it is useful to use the Stokes parameters:
where the Stokes parameters are defined by
They satisfy \(I^{2} = U^{2} + Q^{2} +V^{2}\). We see that the effective coupling constant depends on the polarizations. Note that the stokes parameters Q and U transform as
where \(\psi \) is the rotation angle around \(\varvec{k}\).
The second term in Eq. (62) shows that planar gravitational waves induce the resonant spin precessions and/or the excitation of magnons if the angular frequency of the gravitational waves is near the Lamor frequency, \(2\mu _{B} B_{z}\). It is worth noting that the situation is similar to the resonant bar experiments [16] where planar gravitational waves excite phonons in a bar detector.
Let us show the ability of magnon gravitational detectors by giving constraints on high frequency gravitational waves. Recently, measurements of resonance fluorescence of magnons induced by the axion dark matter was conducted and upper bounds on an axion–electron coupling constant have been obtained [25, 26]. Such an axion–magnon resonance [33] has a similar mechanism to our graviton–magnon resonance. Therefore, we can utilize these experimental results to give the upper bounds on the amplitude of GHz gravitational waves [24].
The interaction hamiltonian which describe the axion–magnon resonance is given by
where \({\tilde{g}}_\mathrm{{eff}}\) is an effective coupling constant between an axion and a magnon. Notice that the axion oscillates with a frequency determined by the axion mass \(m_{a}\). One can see that this form is the same as the interaction term in Eq. (62). Through the hamiltonian (68), \({\tilde{g}}_\mathrm{{eff}}\) is related to an axion–electron coupling constant in [25, 26]. Then the axion–electron coupling constant can be converted to \({\tilde{g}}_\mathrm{{eff}}\) by using parameters, such as the energy density of the axion dark matter, which are explicitly given in [25, 26]. Therefore constraints on \({\tilde{g}}_{eff}\) (95% CL) can be read from the constraints on the axion–electron coupling constant given in [25, 26], respectively, as follows:
It is easy to convert the above constraints to those on the amplitude of gravitational waves appearing in the effective coupling constant (65). Indeed, we can read off the external magnetic field \(B_{z}\) and the number of electrons N as \((B_{z},N) = (0.5 \,\mathrm{T}, \ 5.6\times 10^{19} )\) from [25] and \((B_{z},N) = (0.3 \,\mathrm{T}, \ 9.2\times 10^{19} )\) from [26], respectively. The external magnetic field \(B_{z}\) determines the frequency of gravitational waves we can detect. Therefore, using Eqs. (65), (69) and the above parameters, one can put upper limits on gravitational waves at frequencies determined by \(B_{z}\). Since [25] and [26] focused on the direction of Cygnus and set the external magnetic fields to be perpendicular to it, we probe continuous gravitational waves coming from Cygnus with \(\theta = \frac{\pi }{2}\) (more precisely, \(\sin \theta =0.9\) in [26]). We also assume no linear and circular polarizations, i.e., \(Q'=U'=V=0\). Consequently, experimental data [25] and [26] enable us to constrain the characteristic amplitude of gravitational waves defined by \(h_{c} = h^{(+)} = h^{(\times )}\) as
at 95% CL, respectively. In terms of the spectral density defined by \(S_{h} = h_{c}^{2}/2f\) and the energy density parameter defined by \(\Omega _{GW} = 2\pi ^{2} f^{2} h_{c}^{2} / 3 H_{0}^{2}\) (\(H_{0}\) is the Hubble parameter), the upper limits at 95% CL are
and
We depict the limits on the spectral density with several other gravitational wave experiments in Fig. 1.
5 Conclusion
In order to detect high frequency gravitational waves, we developed a new detection method. Using Fermi normal coordinates and taking the non-relativistic limit, we obtained the Hamiltonian for non-relativistic fermions in Fermi normal coordinates for general curved spacetime. This Hamiltonian is applicable for any curved spacetime background as long as one can treat a curvature perturbatively. Therefore, our formalism is useful to consider gravitational effects on non-relativistic fermions, which is usual in condensed matter systems.
In Sect. 4, we focused on the interaction between a spin of a fermion and gravitational waves, expressed by the third line in Eq. (49). It turned out that gravitational waves can excite magnons. Moreover, we explicitly demonstrated how to use magnons for detecting high frequency gravitational waves and gave upper limits on the spectral density of continuous gravitational waves (95 % CL): \(7.5 \times 10^{-19} \ [\mathrm{Hz}^{-1/2}]\) at 14 GHz and \(8.7 \times 10^{-18} \ [\mathrm{Hz}^{-1/2}]\) at 8.2 GHz, respectively, by utilizing results of magnon experiments. Interestingly, there are several theoretical models predicting high frequency gravitational waves which are within the scope of our method [1].
The graviton–magnon resonance is also useful for probing stochastic gravitational waves with almost the same sensitivity illustrated in Fig. 1. Although the current sensitivity is still not sufficient for putting a meaningful constraint on stochastic gravitational waves, it is important to pursue the high frequency stochastic gravitational wave search for future gravitational wave physics. Moreover, we can probe a burst of gravitational waves of any wave form if the duration time is smaller than the relaxation time of a system. The situation is the same as for resonant bar detectors [34, 35]. For instance, in the measurements [25, 26], the relaxation time is about 0.1 \(\upmu \)s which is determined by the line width of the ferromagnetic sample and the cavity. If the duration of the burst of gravitational waves is smaller than 0.1 \(\upmu \)s, we can detect it. Furthermore, improving the line width of the sample and the cavity not only leads to detecting a burst of gravitational waves but also to increasing the sensitivity. As another way to improve the sensitivity of the magnon gravitational wave detector, quantum nondemolition measurement may be promising [36,37,38].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There are no experimental data associated with the article.]
Notes
Then the Hermiticity of the non-relativistic Hamiltonian is guaranteed [30].
One can use an affine parameter instead of s, which does not change the following discussion.
Note that orthonormality holds at any point on the geodesic \(\gamma _{\tau }\) if it is satisfied at one point on \(\gamma _{\tau }\), because the parallel transport keeps orthonormality.
Here, the coordinate bases are not restricted to those given by Eq. (A1).
In the rest frame for the observer, the Newton equation \(\frac{{\text {d}}^{2} x^{i}}{({\text {d}} x^{0})^{2}} - g = 0\) holds. Here, we used the fact that the 0-component of \(a^{\mu }\) is zero because \(a^{\mu }\) is orthogonal to \(u^{\mu }\) and \(u^{\mu } = \delta ^{\mu }_{0}\) in the rest frame. Therefore, the relation of the relativistically invariant quantity, \(a^{\mu } a_{\mu } = g\), is satisfied as in Newtonian gravity.
References
K. Kuroda, W.-T. Ni, W.-P. Pan, Int. J. Mod. Phys. D 24, 1530031 (2015). arXiv:1511.00231 [gr-qc]
Y. Akrami et al. (Planck), (2018). arXiv:1807.06211 [astro-ph.CO]
P.A.R. Ade et al., (BICEP2, Planck). Phys. Rev. Lett. 114, 101301 (2015). arXiv:1502.00612 [astro-ph.CO]
C.R. Gwinn, T.M. Eubanks, T. Pyne, M. Birkinshaw, D.N. Matsakis, Astrophys. J. 485, 87 (1997). arXiv:astro-ph/9610086 [astro-ph]
J. Darling, A.E. Truebenbach, J. Paine, Astrophys. J. 861, 113 (2018). arXiv:1804.06986 [astro-ph.IM]
L. Lentati et al., Mon. Not. R. Astron. Soc. 453, 2576 (2015). arXiv:1504.03692 [astro-ph.CO]
S. Babak et al., Mon. Not. R. Astron. Soc. 455, 1665 (2016). arXiv:1509.02165 [astro-ph.CO]
B.B.P. Perera et al., Mon. Not. R. Astron. Soc. 490, 4666 (2019). https://doi.org/10.1093/mnras/stz2857. arXiv:1909.04534 [astro-ph.HE]
Z. Arzoumanian et al., (NANOGRAV). Astrophys. J. 859, 47 (2018). arXiv:1801.02617 [astro-ph.HE]
J.W. Armstrong, L. Iess, P. Tortora, B. Bertotti, Astrophys. J. 599, 806 (2003). https://doi.org/10.1086/379505
P. Amaro-Seoane et al., GW Notes 6, 4 (2013). arXiv:1201.3621 [astro-ph.CO]
N. Seto, S. Kawamura, T. Nakamura, Phys. Rev. Lett. 87, 221103 (2001). https://doi.org/10.1103/PhysRevLett.87.221103. arXiv:astro-ph/0108011 [astro-ph]
Virgo, http://www.virgo-gw.eu/
K. Somiya, (KAGRA), Class. Quantum Gravity 29, 124007 (2012). https://doi.org/10.1088/0264-9381/29/12/124007. arXiv:1111.7185 [gr-qc]
M. Maggiore, Phys. Rep. 331, 283 (2000). arXiv:gr-qc/9909001 [gr-qc]
F. Acernese et al., (VIRGO AURIGA-EXPLORER-NAUTILUS). Class. Quantum Gravity 25, 205007 (2008). arXiv:0710.3752 [gr-qc]
A.S. Chou et al., (Holometer). Phys. Rev. D 95, 063002 (2017). arXiv:1611.05560 [astro-ph.IM]
T. Akutsu et al., Phys. Rev. Lett. 101, 101101 (2008). arXiv:0803.4094 [gr-qc]
A.M. Cruise, R.M.J. Ingley, Class. Quantum Gravity 23, 6185 (2006)
F. Li, R.M.L. Baker Jr., Z. Fang, G.V. Stephenson, Z. Chen, Eur. Phys. J. C 56, 407 (2008). https://doi.org/10.1140/epjc/s10052-008-0656-9. arXiv:0806.1989 [gr-qc]
F. Li, N. Yang, Z. Fang, R.M.L. Baker Jr., G.V. Stephenson, H. Wen, Phys. Rev. D 80, 064013 (2009). https://doi.org/10.1103/PhysRevD.80.064013. arXiv:0909.4118 [gr-qc]
A. Ejlli, D. Ejlli, A.M. Cruise, G. Pisano, H. Grote, Eur. Phys. J. C 79, 1032 (2019). https://doi.org/10.1140/epjc/s10052-019-7542-5. arXiv:1908.00232 [gr-qc]
A. Ito, T. Ikeda, K. Miuchi, J. Soda, Eur. Phys. J. C 80, 179 (2020). https://doi.org/10.1140/epjc/s10052-020-7735-y. arXiv:1903.04843 [gr-qc]
N. Crescini et al., Eur. Phys. J. C 78, 703 (2018). arXiv:1806.00310 [hep-ex] (Erratum: Eur. Phys. J. C 78, no.9, 813 (2018))
G. Flower, J. Bourhill, M. Goryachev, M.E. Tobar, (2018), arXiv:1811.09348 [physics.ins-det]
L. Parker, Phys. Rev. D 22, 1922 (1980). https://doi.org/10.1103/PhysRevD.22.1922
L.L. Foldy, S.A. Wouthuysen, Phys. Rev. 78, 29 (1950). https://doi.org/10.1103/PhysRev.78.29
J. D. Bjorken, S. D. Drell (1965)
X. Huang, L. Parker, Phys. Rev. D 79, 024020 (2009). https://doi.org/10.1103/PhysRevD.79.024020. arXiv:0811.2296 [hep-th]
W. Heisenberg, Zeitschrift für Physik 38, 411 (1926)
T. Holstein, H. Primakoff, Phys. Rev. 58, 1098 (1940)
R. Barbieri, M. Cerdonio, G. Fiorentini, S. Vitale, Phys. Lett. B 226, 357 (1989)
M. Maggiore, Gravitational Waves, vol 1: Theory and Experiments. Oxford Master Series in Physics (Oxford University Press, Oxford, 2007)
P. Astone et al., Phys. Rev. D 82, 022003 (2010). https://doi.org/10.1103/PhysRevD.82.022003. arXiv:1002.3515 [gr-qc]
Y. Tabuchi et al., Science 349, 405 (2015)
Y. Tabuchi et al., Comptes Rendus Physique 17, 729 (2016). (quantum microwaves/Micro-ondes quantiques)
D. Lachance-Quirion et al., Sci. Adv. 3, (2017)
F.K. Manasse, C.W. Misner, J. Math. Phys. 4, 735 (1963). https://doi.org/10.1063/1.1724316
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (W. H. Freeman, San Francisco, 1973)
W.-T. Ni, M. Zimmermann, Phys. Rev. D 17, 1473 (1978). https://doi.org/10.1103/PhysRevD.17.1473
Acknowledgements
A. I. was supported by Grant-in-Aid for JSPS Research Fellow and JSPS KAKENHI Grant No.JP17J00216. J. S. was in part supported by JSPS KAKENHI Grant Numbers JP17H02894, JP17K18778. This research was supported by the Munich Institute for Astro – and Particle Physics (MIAPP) which is funded by the Deutsche Forschungsgemeinschaft (DFG,German Research Foundation) under Germany’s Excellence Strategy-EXC-2094-390783311.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Fermi normal coordinates
One can construct local inertial coordinates along a geodesic of a particle, the so-called Fermi normal coordinates [39]. An observer on the earth is freely falling when gravity of the earth, which will be taken into account in Appendix B, is negligible. Thus, the Fermi normal coordinates describe the frame used in an experiment. In this appendix, we briefly review how to construct the Fermi normal coordinates [39].
We consider a timelike geodesic \(\gamma _{\tau }\) parametrized by a proper time \(\tau \) and specify a point on the geodesic by \(P(\tau )\). We also consider a spacelike geodesic \(\gamma _{s}\) orthogonal to \(\gamma _{\tau }\) at \(P(\tau )\), which is parametrized by a proper distance s.Footnote 2 We set the crossing point as \(s=0\). The situation is illustrated in Fig. 2.
Then the Fermi normal coordinates which are locally inertial frames along \(\gamma _{\tau }\) are defined as follows:
The bases of the Fermi normal coordinates, \(\frac{\partial }{\partial x^{\mu }}\), are parallelly transported along the geodesic \(\gamma _{\tau }\) and the \(\alpha ^{i}\) are the components of the tangent vector \(\frac{\partial }{\partial s}\), namely,
Also, the bases, \(\frac{\partial }{\partial x^{\mu }}\), are taken to be orthonormal by utilizing the degree of rescaling \(\alpha ^{i}\). Thus, the metric in Fermi normal coordinates is given by \(\eta _{\mu \nu }\) on the geodesic \(\gamma _{\tau }\).Footnote 3
Let us show that the Fermi normal coordinates (A1) are indeed local inertial frames, namely, the Christoffel symbols are zero along the geodesic \(\gamma _{\tau }\). First, because the bases of the Fermi normal coordinates are parallelly transformed along \(\gamma _{\tau }\), we have
where we used the fact that the vector components of the bases in Fermi normal coordinates are \(\left( \frac{\partial }{\partial x^{\nu }} \right) ^{\mu } = \delta ^{\mu }_{\nu }\). On the other hand, on the spacelike geodesic \(\gamma _{s}\), the geodesic equation
is satisfied. Using (A1) in Eq. (A4), we obtain
In particular on \(\gamma _{\tau }\), namely at \(s=0\), we conclude that
Therefore, from Eqs. (A3) and (A6), we see that the Christoffel symbols vanish along the timelike geodesic \(\gamma _{\tau }\).
Now one can calculate the metric components in the vicinity of the geodesic \(\gamma _{\tau }\) in Fermi normal coordinates. In a situation that a curvature scale is much larger than that of a system we treat, we can expand the metric in terms of the coordinates \(x^{\mu }\). The first order term vanishes by definition. For our purpose, it is enough to calculate the metric up to the second order.
Note that the Christoffel symbols vanish along the geodesic \(\gamma _{\tau }\)
Then, from the definition of the Riemann tensor, we find
To go further, we use the geodesic deviation equation:
where \(\lambda \) can be either \(\tau \) or s. We notice that a point on \(\gamma _{s}\) is specified by the parameters \((\tau , s, \alpha ^{i})\). Then, as to the spacelike geodesic \(\gamma _{s}\), one can consider two deviation vectors; one is \(\left( \frac{\partial }{\partial \tau } \right) _{s,\alpha ^{i}}\) and the other is \(\left( \frac{\partial }{\partial \alpha ^{i}} \right) _{\tau ,s}\). The vector \(\left( \frac{\partial }{\partial \tau } \right) _{s,\alpha ^{i}}\) represents a deviation between two spacelike geodesics which stem from different points on \(\gamma _{\tau }\) and \(\left( \frac{\partial }{\partial \alpha ^{i}} \right) _{\tau ,s}\) represents a deviation between two spacelike geodesics which stem from the same point \(P(\tau )\) on \(\gamma _{\tau }\). Substituting \(\xi ^{\mu } = \left( \frac{\partial }{\partial \tau } \right) ^{\mu }_{s,\alpha ^{i}} = \delta ^{\mu }_{0}\) into Eq. (A9) yields
which is automatically satisfied because of Eq. (A8). On the other hand, substituting \(\xi ^{\mu } = \left( \frac{\partial }{\partial \alpha ^{i}} \right) _{\tau ,s} = s \delta ^{\mu }_{i}\) into Eq. (A9), we obtain
The first term in Eq. (A11) can be expanded in powers of s as
From Eqs. (A11) and (A12), we find the relation
It implies that the symmetric part of the indices j and k in the parenthesis should be zero, i.e.,
After a little algebra, this can be solved as
From the definition of the Christoffel symbol, we have
Differentiating it with respect to \(x^{\sigma }\) leads to
Using Eqs. (A7), (A8) and (A15) in Eq. (A17), one can deduce \(g_{\mu \nu ,0\lambda } = 0\) and the following:
Thus, up to the quadratic order of the coordinates, the metric components in Fermi normal coordinates are given by
We note that the Riemann tensor is evaluated on the timelike geodesic \(\gamma _{\tau }\), hence it only depends on \(x^{0}\). It should be mentioned that the Riemann tensor in Eqs. (A19)–(A21) is calculated in Fermi normal coordinates. However, the Riemann tensor for the linear perturbations around the flat spacetime background is invariant under gauge transformations. In this case, the Riemann tensor constructed in Fermi normal coordinates is the same as that in the transverse traceless gauge. Therefore, one can use (47) in Eqs. (A19)–(A21) when we consider gravitational waves on the flat spacetime background.
Appendix B: Proper detector frame
In Appendix A, we constructed local inertial coordinates along a geodesic for a freely falling observer, namely Fermi normal coordinates. However, an observer bound on the earth is not freely falling. This is because the observer accelerates against the center of the earth with \(g = 9.8 \ \mathrm{m}/\mathrm{s}^{2}\) and has the rotational motion since the earth is rotating. In this appendix, we take into account these effects of the earth [40, 41]. We will see that these effects are negligible in the discussion in the text.
The procedure is almost the same as the case of the Fermi normal coordinates. We first consider a timelike curve \(\gamma _{\tau }\) parametrized by \(\tau \) and construct a spacelike geodesic \(\gamma _{s}\) parametrized by a proper distance s, which is orthogonal to the geodesic \(\gamma _{\tau }\) at \(s=0\). The situation is illustrated in Fig. 2. The difference from the Fermi normal coordinates appears in the transportation of the orthonormal bases \(\varvec{e}_{\mu }\) which cover small region around a point on the curve \(\gamma _{\tau }\). The bases \(\varvec{e}_{\mu }\) are parallelly transported along \(\gamma _{\tau }\), i.e. \(\frac{{\text {d}}}{{\text {d}}\tau } \varvec{e}_{\mu } = 0\), in the construction of the Fermi normal coordinates,Footnote 4 while the \(e_{\mu }\) in the present case are transported as follows [40]:
where \(\Omega ^{\mu \nu }\) is an infinitesimal Lorentz transformation defined by
Here, we defined the four velocity
the four acceleration
and \(\omega _{\mu }\) represents an angular velocity of rotation of spatial bases \(\varvec{e}_{i}\). Note that the orthonormality of the bases holds under the evolution (B1) as a consequence of the anti-symmetricity of \(\Omega ^{\mu \nu }\).
One can see that \(_{(\mathrm{R})}\Omega ^{\mu \nu }\) represents just a three dimensional rotation in a four dimensional covariant form. In fact, in the rest frame, i.e. \(u^{\mu } = (1, 0,0,0)\), we obtain
where we identified the label of the bases \(\varvec{e}_{\mu }\) as the component of them due to orthonormality to obtain the last equality and \(\mu =k\) represents the fact that \(\mu \) takes a spatial index. For the observer on the earth, \(\varvec{\omega }\) is the angular velocity of the earth.
The transformation \(_{\mathrm{(F)}}\Omega ^{\mu \nu }\) is called Fermi–Walker transport. Consider an accelerating observer with magnitude of the gravity of the earth, \(a^{\mu }a_{\mu } = g^{2}\), along \(x^{1}\)-coordinate in an inertial frame.Footnote 5 Then, because an acceleration vector defined by (B4) is orthogonal to the four velocity, we have
Using the above and the explicit relation
we can obtain the following equations:
A solution of Eq. (B8) is given by
which is a hyperbolic world curve, indeed, \(x^{2} -t^{2} = g^{-2}\). The hyperbolic curve is invariant under a Lorentz boost from the inertial coordinate \((t, x^{1})\) to another one. Since \(\tau \) dependence appears in Eq. (B9), one can construct the rest frame for the accelerating observer at instant \(\tau \) by doing a Lorentz boost transformation depending on \(\tau \). Such a Lorentz boost, which is a four dimensional rotation of a plane spanned by \(u^{\mu }\) and \(a^{\mu }\), would be expressed by \(_{\mathrm{(F)}}\Omega ^{\mu \nu }\). Indeed, for an observer accelerating along the \(x^{1}\)-direction, we have
and the other components of \(_{\mathrm{(F)}}\Omega ^{\mu \nu }\) vanish. Thus, the four vector \(x^{\mu } = (\tau , 0, 0, 0)\), after the infinitesimal Lorentz transformation conducted by \(_{\mathrm{(F)}}\Omega ^{\mu \nu }\), is given by
Hence, we get
This is consistent with the first equation in (B9) when \(g\tau \ll 1\). Similarly, we obtain
which leads to
This is consistent with the second equation in (B9) when \(g\tau \ll 1\). Therefore, we find that \(_{\mathrm{(F)}}\Omega ^{\mu \nu }\) correctly represents an infinitesimal Lorentz transformation which connects a rest frame to an accelerating frame relative to the rest frame. Now, we can understand the meaning of the Fermi–Walker transport in Eq. (B1). At one point on \(\gamma _{\tau }\), one can construct a rest frame for an accelerating observer, but after a certain duration the frame is not a rest frame for the observer anymore. In order to keep a frame as a rest frame at any time \(\tau \), the bases of the frame should be developed by the Fermi–Walker transport. Thus, we obtain a coordinate system moving with an accelerating observer.
From now on, we use coordinate bases specified by Eq. (A1):
and get an explicit expression for the metric in the proper detector coordinate which is moving with an accelerating observer due to the earth. The procedure is similar to the case of the Fermi normal coordinates in Appendix A.
From Eq. (B1), we obtain the relation
Using \(u^{\mu } = (1,0,0,0)\) and \(a^{\mu } = (0, a^{i})\) in the definition (B2), we have
Thus, together with Eqs. (B16) and (B17), we obtain
We see that the proper reference frame is not a local inertial frame anymore. Furthermore, considering a spacelike geodesic equation along \(\gamma _{s}\),
we can deduce
Especially, at \(s=0\), we obtain
From Eqs. (B18), (B21) and the relation between the metric and the Christoffel symbol
the first order derivative of the metric reads
along the timelike curve \(\gamma _{\tau }\).
Next, we evaluate the second order derivatives of the metric. Differentiating Eqs. (B18) and (B21) with respect to \(\tau \), we get
where a dot represents a derivative with respect to \(\tau \). On the geodesic \(\gamma _{\tau }\), from the definition of the Riemann tensor, we find
Substituting Eqs. (B24) into Eq. (B25), we can deduce
In order to obtain an expression for \(\Gamma ^{\mu }_{ij,k}|_{\gamma _{\tau }}\), one can utilize a geodesic deviation equation for \(\gamma _{s}\) and the procedure is completely the same as that in the construction of the Fermi normal coordinates. Thus, the result is given by Eq. (A15):
Finally, we express the second order derivative of the metric by the Christoffel symbols and their first derivatives, and then relations between the second derivatives of the metric and the Riemann tensor are obtained. Differentiating Eq. (B22) with respect to \(x^{\sigma }\), we obtain the relation
Using Eqs. (B26) and (B27) in Eq. (B28), we can deduce the following equations:
Therefore, in a proper reference coordinate system, up to the quadratic order of the coordinates, the metric is given by
We see that the effects of the Earth enter even at the linear order of \(a^{i}\) and \(\omega ^{i}\). However, we can neglect these effects. For example, assuming the scale of the experimental apparatus to be \(x^{i} \sim 1\, \mathrm{m}\) and using the values \(a^{i} \sim 9.8 \, \mathrm{m/s^{2}}\), \(\omega ^{i} \sim 2.0 \times 10^{-7} \, \mathrm{rad/s}\), we can estimate \(a^{i}x^{i} \sim 1.1 \times 10^{-16}\) and \(\omega ^{i}x^{i} \sim 6.7 \times 10^{-16}\). These corrections are negligible in experiments because they are small and their effects are static. Indeed, the effects of the earth are negligible in magnon experiments because we utilize the phenomenon of resonance between gravitational waves and magnons to detect gravitational waves. Therefore, we use the Fermi normal coordinates approximately for an observer on the earth.
Appendix C: Expansion formula for \(e^{iS} H e^{-iS}\) and \(\left( \frac{\partial }{\partial t} e^{iS} \right) e^{-iS}\)
Let us introduce a parameter \(\lambda \) by
We set \(\lambda = 1\) after the calculations. Expanding it with respect to \(\lambda \), we obtain
We find that
Therefore, one can deduce
Equation (C4) is called the Campbell–Baker–Hausdorff formula.
Next, let us consider the expansion of \(\left( \frac{\partial }{\partial t} e^{iS} \right) e^{-iS}\) in powers of S. Again we introduce a parameter \(\lambda \) and expand g with respect to \(\lambda \) as
We see that
Note that the right-hand side of the last equation has n pieces of S. Hence, we finally arrive at
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
About this article
Cite this article
Ito, A., Soda, J. A formalism for magnon gravitational wave detectors. Eur. Phys. J. C 80, 545 (2020). https://doi.org/10.1140/epjc/s10052-020-8092-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8092-6