Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: epic

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: CC BY 4.0
arXiv:2401.07347v2 [hep-ph] 06 Mar 2024

Neutrino-antineutrino Asymmetry of Cν𝜈\bm{\nu}bold_italic_νB on the Surface of the Round Earth

Guo-yuan Huang1,212{}^{1,2}start_FLOATSUPERSCRIPT 1 , 2 end_FLOATSUPERSCRIPT*** E-mail: huanggy1992@gmail.com

11{}^{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPTSchool of Mathematics and Physics, China University of Geosciences, 430074 Wuhan, China

22{}^{2}start_FLOATSUPERSCRIPT 2 end_FLOATSUPERSCRIPTMax-Planck-Institut für Kernphysik, Saupfercheckweg 1, 69117 Heidelberg, Germany

Abstract

It has been claimed that the coherent scattering of relic neutrinos with the Earth will result in a neutrino-antineutrino asymmetry of 𝒪(104)𝒪superscript104\mathcal{O}(10^{-4})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT ) on the Earth surface, which is five orders of magnitude larger than the naive model expectation. In this work we show that this overdensity was overestimated for the perfectly round Earth by solving the exact solution with partial waves. The maximal asymmetry after summing over all the angular modes is only around 108superscript10810^{-8}10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT above the ground. To achieve the proposed asymmetry of 𝒪(104)𝒪superscript104\mathcal{O}(10^{-4})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT ), a special geography may be needed as the experimental site.

1 Introduction

The detection of relic neutrinos remains one of the most fundamental challenges of experimental particle physics. The most promising way so far is by observing the inverse beta decays, proposed by S. Weinberg in 1962 [1], even though there are still several technical obstacles towards a feasible observation [2, 3, 4, 5, 6]. Besides this method, an alternative is to observe the collective effects induced by the wind of relic neutrinos [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27]. Compared to the radioactive process, the major advantage of coherent scatterings is that the event rate can be enhanced by a factor as large as the Avogadro constant NA6.02×1023subscript𝑁A6.02superscript1023N_{\rm A}\approx 6.02\times 10^{23}italic_N start_POSTSUBSCRIPT roman_A end_POSTSUBSCRIPT ≈ 6.02 × 10 start_POSTSUPERSCRIPT 23 end_POSTSUPERSCRIPT, which may help to compensate the suppression of Fermi coupling constant GFsubscript𝐺FG_{\rm F}italic_G start_POSTSUBSCRIPT roman_F end_POSTSUBSCRIPT. There are mainly two effects that have been investigated in this direction: one is the mechanical recoil induced by the net collision; the other is the Stodolsky effect [8], i.e., a net torque due to the spin energy splitting in the presence of a neutrino-antineutrino asymmetry. The challenge of the first effect is that the mechanical recoil will be distributed among all the atoms in the ensemble, and hence the ultimate induced acceleration is highly suppressed. Whereas, the Stodolsky effect is proportional to the neutrino-antineutrino asymmetry ηνν¯subscript𝜂𝜈¯𝜈\eta_{\nu\overline{\nu}}italic_η start_POSTSUBSCRIPT italic_ν over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT, which is expected to be of the same order of magnitude as the Baryon asymmetry 𝒪(109)𝒪superscript109\mathcal{O}(10^{-9})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT ) from many models. This number is too small to have any observable effects.

Surprisingly, it has been recently noticed that this asymmetry can be enhanced to ηνν¯=𝒪(104)subscript𝜂𝜈¯𝜈𝒪superscript104\eta_{\nu\overline{\nu}}=\mathcal{O}(10^{-4})italic_η start_POSTSUBSCRIPT italic_ν over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT = caligraphic_O ( 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT ) due to the reflection effect on the Earth surface [25]. This is not difficult to understand as neutrinos and antineutrinos feel opposite matter potentials of the Earth. In particular, the total external reflection occurs for neutrinos as in optics when the incidence angle of relic neutrino flux approaches the critical angle. With an isotropic neutrino flux, the reflected waves were claimed to result in a large neutrino-antineutrino asymmetry near the Earth surface, which is five orders of magnitude larger than 𝒪(109)𝒪superscript109\mathcal{O}(10^{-9})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT ). If confirmed, this effect would be very encouraging for the observation of relic neutrinos.

The above conclusion was primarily drawn by approximating the Earth to the toy model of a slab with an infinite thickness, and neutrinos were assumed to be injected from vacuum above the slab surface. For the round Earth with a finite size, this approximation appears to be oversimplified, because trajectories of any incident neutrinos will eventually emerge from the Earth surface. A better approximation of the round Earth might be a slab with a finite thickness. The thickness of the slab can be roughly represented by the depth that neutrinos can reach inside the Earth with a certain incidence angle. The neutrino overdensity on the Earth surface is in principle given by the neutrino wavefunction integrated over all incoming angles. In this case, there will be neutrinos injected from both above and below one slab surface. Unfortunately, we find that accounting for those neutrinos coming from the other side of the slab will reduce the overdensity significantly. To reinforce our result, we have calculated this overdensity without the slab approximation, by directly considering the potential of the round Earth and solving the scattering problem with partial waves.

The structure of the rest of this work is as follows. In Sec. 2, we investigate the ideal reflection of relic neutrinos by a finite-thickness slab, and discuss how the overdensity will be altered for an isotropic neutrino injection. In Sec. 3, the neutrino wavefunction by collectively scattering with the round Earth will be solved by summing up contributions of different partial waves. We finally make our conclusion and remark on a possible solution in Sec. 4.

2 Reflection of Neutrinos by a Finite-thickness Slab

To solve the neutrino wavefunction, one has to investigate the scattering of incident neutrino waves with a spherical potential. However, if the effect of curvature of the Earth surface is small enough, one may approximate the scenario of concern to the coherent scattering of plane waves with a finite-thickness slab. The depth of the slab will be around d=R(1cosθ)Rθ2/2𝑑𝑅1𝜃similar-to𝑅superscript𝜃22d=R(1-\cos{\theta})\sim R\,\theta^{2}/2italic_d = italic_R ( 1 - roman_cos italic_θ ) ∼ italic_R italic_θ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 with θ𝜃\thetaitalic_θ being the incidence angle with respect to the horizon and R=6371km𝑅6371kmR=6371~{}{\rm km}italic_R = 6371 roman_km being the Earth radius. The corresponding zenith angle is just α=π/2θ𝛼𝜋2𝜃\alpha=\pi/2-\thetaitalic_α = italic_π / 2 - italic_θ. A schematic diagram of the scenario of concern is shown in Fig. 1.

Refer to caption
Figure 1: A schematic plot for the coherent scattering of neutrinos with a slab with the thickness d𝑑ditalic_d. The detector is placed at height hhitalic_h to the slab surface. The overdensity receives three contributions: (i) the reflected wave solely |ΨR|2superscriptsubscriptΨR2|\Psi_{\rm R}|^{2}| roman_Ψ start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT; (ii) the interference between the original and reflected waves 2Re(Ψ0ΨR*)2ResubscriptΨ0subscriptsuperscriptΨR2\mathrm{Re}(\Psi_{\rm 0}\Psi^{*}_{\rm R})2 roman_R roman_e ( roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT ); (iii) the transmitted wave from the other side of the slab |ΨT|2superscriptsubscriptΨT2|\Psi_{\rm T}|^{2}| roman_Ψ start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Considering the above approximation, we first investigate the case that a collimated monoenergetic neutrino beam is incident on an infinitely wide slab with the thickness d𝑑ditalic_d. By collectively interacting with the matter in the slab, neutrino waves will undergo both reflection and transmission near the slab surface. In particular, a positive potential in matter can result in the total external reflection of neutrinos when the incidence angle is smaller than the critical angle θcsubscript𝜃c\theta_{\rm c}italic_θ start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT. The detailed outcome of the scattering depends on the neutrino mass, the neutrino momentum and the matter potential. For the convenience of later discussions, we set the neutrino mass to be mν=0.1eVsubscript𝑚𝜈0.1eVm_{\nu}=0.1~{}{\rm eV}italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 0.1 roman_eV with a momentum kν2.7×104eVsubscript𝑘𝜈2.7superscript104eVk_{\nu}\approx 2.7\times 10^{-4}~{}{\rm eV}italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≈ 2.7 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT roman_eV following Ref. [25]. The matter potential describing the coherent forward scattering of electron neutrinos is also chosen to be Vνe=Vν¯e1.8×1014eV,subscript𝑉subscript𝜈𝑒subscript𝑉subscript¯𝜈𝑒1.8superscript1014eVV_{\nu_{e}}=-V_{\overline{\nu}_{e}}\approx 1.8\times 10^{-14}~{}{\rm eV},italic_V start_POSTSUBSCRIPT italic_ν start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT = - italic_V start_POSTSUBSCRIPT over¯ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≈ 1.8 × 10 start_POSTSUPERSCRIPT - 14 end_POSTSUPERSCRIPT roman_eV , contributed by both the charged-current and neutral-current interactions. A convenient dimensionless parameter that quantifies the strength of the matter potential is defined by δmνV/kν2±2.5×108𝛿subscript𝑚𝜈𝑉subscriptsuperscript𝑘2𝜈plus-or-minus2.5superscript108\delta\equiv m_{\nu}V/k^{2}_{\nu}\approx\pm 2.5\times 10^{-8}italic_δ ≡ italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V / italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≈ ± 2.5 × 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT. Note that we can safely ignore the recoil of the slab induced by coherent scatterings considering the heaviness of the Earth.

Let us denote the normal vector of the slab surface to be the z𝑧zitalic_z-axis. Since this system features a translational symmetry in the x𝑥xitalic_x-y𝑦yitalic_y plane along the slab surface, one can simplify the problem to a one-dimensional scattering with a potential barrier of the thickness d𝑑ditalic_d. The scattering behavior will hence rely on the relation between the z𝑧zitalic_z component of the neutrino momentum kνsubscript𝑘perpendicular-to𝜈absentk_{\nu\perp}italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT and the potential V𝑉Vitalic_V. If kν<Vsubscript𝑘perpendicular-to𝜈absent𝑉k_{\nu\perp}<Vitalic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT < italic_V, the transmission will be exponentially suppressed but not entirely vanishing because of the quantum tunneling effect through the barrier. The reflected and transmitted waves in vacuum can be parameterized by ΨR=CRexpi(kν  xkνz)subscriptΨRsubscript𝐶Risubscript𝑘𝜈  𝑥subscript𝑘perpendicular-to𝜈absent𝑧\Psi_{\rm R}=C_{\rm R}\exp{\mathrm{i}(k_{\nu{\mkern 3.0mu\vphantom{\perp}% \vrule depth=0.0pt\mkern 3.0mu\vrule depth=0.0pt\mkern 3.0mu}}x-k_{\nu\perp}z)}roman_Ψ start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT roman_exp roman_i ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_x - italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_z ) and ΨT=CTexpi(kν  x+kνz)subscriptΨTsubscript𝐶Tisubscript𝑘𝜈  𝑥subscript𝑘perpendicular-to𝜈absent𝑧\Psi_{\rm T}=C_{\rm T}\exp{\mathrm{i}(k_{\nu{\mkern 3.0mu\vphantom{\perp}% \vrule depth=0.0pt\mkern 3.0mu\vrule depth=0.0pt\mkern 3.0mu}}x+k_{\nu\perp}z)}roman_Ψ start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT roman_exp roman_i ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_x + italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_z ), respectively. Inside the matter, the wavefunction is Ψ=C1expi(kν  xkνz)+C2expi(kν  x+kνz)superscriptΨsubscriptsuperscript𝐶1isubscript𝑘𝜈  𝑥subscriptsuperscript𝑘perpendicular-to𝜈absent𝑧subscriptsuperscript𝐶2isubscript𝑘𝜈  𝑥subscriptsuperscript𝑘perpendicular-to𝜈absent𝑧\Psi^{\prime}=C^{\prime}_{1}\exp{\mathrm{i}(k_{\nu{\mkern 3.0mu\vphantom{\perp% }\vrule depth=0.0pt\mkern 3.0mu\vrule depth=0.0pt\mkern 3.0mu}}x-k^{\prime}_{% \nu\perp}z)}+C^{\prime}_{2}\exp{\mathrm{i}(k_{\nu{\mkern 3.0mu\vphantom{\perp}% \vrule depth=0.0pt\mkern 3.0mu\vrule depth=0.0pt\mkern 3.0mu}}x+k^{\prime}_{% \nu\perp}z)}roman_Ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_C start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_exp roman_i ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_x - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_z ) + italic_C start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_exp roman_i ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_x + italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_z ) with kν=kν22mνVsubscriptsuperscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absent2subscript𝑚𝜈𝑉k^{\prime}_{\nu\perp}=\sqrt{k^{2}_{\nu\perp}-2m_{\nu}V}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT = square-root start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT - 2 italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V end_ARG being the effective momentum in matter. Depending on the value of V𝑉Vitalic_V, kνsubscriptsuperscript𝑘perpendicular-to𝜈absentk^{\prime}_{\nu\perp}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT can be imaginary which indicates the exponential suppression of wavefunctions in the barrier. The critical angle for total reflection is just sinθc=2mνV/kνsubscript𝜃c2subscript𝑚𝜈𝑉subscript𝑘𝜈\sin\theta_{\rm c}=\sqrt{2m_{\nu}V}/k_{\nu}roman_sin italic_θ start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT = square-root start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V end_ARG / italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT set by kν=0subscriptsuperscript𝑘perpendicular-to𝜈absent0k^{\prime}_{\nu\perp}=0italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT = 0. For the above chosen parameters, the critical angle is sinθc2×104subscript𝜃c2superscript104\sin\theta_{\rm c}\approx 2\times 10^{-4}roman_sin italic_θ start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ≈ 2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT. One can solve those coefficients by matching the wavefunctions and their derivatives at the boundaries of the slab. We find the following solutions to the reflection and transmission coefficients,

CRsubscript𝐶R\displaystyle C_{\rm R}italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT =(kν2kν2)sin(dkν)(kν2+kν2)sin(dkν)+2ikνkνcos(dkν),absentsubscriptsuperscript𝑘2perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absent𝑑subscriptsuperscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absent𝑑subscriptsuperscript𝑘perpendicular-to𝜈absent2isubscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘perpendicular-to𝜈absent𝑑subscriptsuperscript𝑘perpendicular-to𝜈absent\displaystyle=\frac{(k^{2}_{\nu\perp}-k^{\prime 2}_{\nu\perp})\sin(dk^{\prime}% _{\nu\perp})}{(k^{2}_{\nu\perp}+k^{\prime 2}_{\nu\perp})\sin(dk^{\prime}_{\nu% \perp})+2\,\mathrm{i}\,k_{\nu\perp}k^{\prime}_{\nu\perp}\cos(dk^{\prime}_{\nu% \perp})}\;,= divide start_ARG ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT - italic_k start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) roman_sin ( italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) end_ARG start_ARG ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT + italic_k start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) roman_sin ( italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) + 2 roman_i italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT roman_cos ( italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) end_ARG , (1)
CTsubscript𝐶T\displaystyle C_{\rm T}italic_C start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT =2ieidkνkνkν(kν2+kν2)sin(dkν)+2ikνkνcos(dkν).absent2isuperscriptei𝑑subscript𝑘perpendicular-to𝜈absentsubscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absentsubscriptsuperscript𝑘2perpendicular-to𝜈absent𝑑subscriptsuperscript𝑘perpendicular-to𝜈absent2isubscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘perpendicular-to𝜈absent𝑑subscriptsuperscript𝑘perpendicular-to𝜈absent\displaystyle=\frac{2\,\mathrm{i}\,\mathrm{e}^{-\mathrm{i}dk_{\nu\perp}}k_{\nu% \perp}k^{\prime}_{\nu\perp}}{(k^{2}_{\nu\perp}+k^{\prime 2}_{\nu\perp})\sin(dk% ^{\prime}_{\nu\perp})+2\,\mathrm{i}\,k_{\nu\perp}k^{\prime}_{\nu\perp}\cos(dk^% {\prime}_{\nu\perp})}\;.= divide start_ARG 2 roman_i roman_e start_POSTSUPERSCRIPT - roman_i italic_d italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_ARG start_ARG ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT + italic_k start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) roman_sin ( italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) + 2 roman_i italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT roman_cos ( italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT ) end_ARG . (2)

The above expressions apply to all values of V𝑉Vitalic_V. For kν<Vsubscript𝑘perpendicular-to𝜈absent𝑉k_{\nu\perp}<Vitalic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT < italic_V, one may find it convenient to replace kνsubscriptsuperscript𝑘perpendicular-to𝜈absentk^{\prime}_{\nu\perp}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT by iγi𝛾\mathrm{i}\gammaroman_i italic_γ with γ=2mνVkν2𝛾2subscript𝑚𝜈𝑉subscriptsuperscript𝑘2perpendicular-to𝜈absent\gamma=\sqrt{2m_{\nu}V-k^{2}_{\nu\perp}}italic_γ = square-root start_ARG 2 italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_ARG. In the limit of infinity thickness, we have

CRsubscript𝐶R\displaystyle C_{\rm R}italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT =kνkνkν+kν.absentsubscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘perpendicular-to𝜈absentsubscript𝑘perpendicular-to𝜈absentsubscriptsuperscript𝑘perpendicular-to𝜈absent\displaystyle=\frac{k_{\nu\perp}-k^{\prime}_{\nu\perp}}{k_{\nu\perp}+k^{\prime% }_{\nu\perp}}\;.= divide start_ARG italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_ARG start_ARG italic_k start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT + italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_ARG . (3)

For the infinity thickness, the total reflection occurs in the case of imaginary kνsubscriptsuperscript𝑘perpendicular-to𝜈absentk^{\prime}_{\nu\perp}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT, i.e., |CR|2=1superscriptsubscript𝐶R21|C_{\rm R}|^{2}=1| italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1. However, we should emphasize that this is not true anymore for the finite thickness. In particular, for small d𝑑ditalic_d, the reflection probability takes a perturbative value in the Born approximation [14]

|CR|2superscriptsubscript𝐶R2\displaystyle|C_{\rm R}|^{2}| italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (mνV)2d2kν2.absentsuperscriptsubscript𝑚𝜈𝑉2superscript𝑑2subscriptsuperscript𝑘2perpendicular-to𝜈absent\displaystyle\approx\frac{(m_{\nu}V)^{2}d^{2}}{k^{2}_{\nu\perp}}\;.≈ divide start_ARG ( italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν ⟂ end_POSTSUBSCRIPT end_ARG . (4)

This probability is also suppressed by the smallness of the matter potential. Around the critical angle, the condition for |CR|2superscriptsubscript𝐶R2|C_{\rm R}|^{2}| italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT to be order one is given by d>(mνV)1/25m𝑑superscriptsubscript𝑚𝜈𝑉12similar-to5md>(m_{\nu}V)^{-1/2}\sim 5~{}{\rm m}italic_d > ( italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V ) start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT ∼ 5 roman_m. In comparison, the depth that neutrinos can travel inside the Earth at the critical angle θc2.2×104similar-tosubscript𝜃c2.2superscript104\theta_{\rm c}\sim 2.2\times 10^{-4}italic_θ start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ∼ 2.2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT is only 0.16m0.16m0.16~{}{\rm m}0.16 roman_m, and correspondingly |CR|26×104similar-tosuperscriptsubscript𝐶R26superscript104|C_{\rm R}|^{2}\sim 6\times 10^{-4}| italic_C start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ 6 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT, which is still within the valid regime of the Born approximation. This is well understood as sufficient matter is required along the neutrino path for the non-perturbative total reflection to happen. As a result, the total reflection over a flat slab may not be fully applicable to our round Earth. Nevertheless, it is worthwhile to first analyze the common features by exploring the overdensity in the simplified scenario with a sufficiently large thickness. We will solve the overdensity without such approximations in the next section.

Above the slab surface, the neutrino overdensity is contributed by the reflected wave as well as the interference between the original and reflected waves. In some cases, the interference term can even be dominant. The total overdensity should be obtained by integrating over the zenith angle α𝛼\alphaitalic_α of incoming neutrinos. Following Ref. [25], if we account for those neutrinos only from above the slab, the overdensity reads

δnν(ν¯)=01[|ΨR|22+Re(Ψ0ΨR*)]dcosα,𝛿subscript𝑛𝜈¯𝜈subscriptsuperscript10delimited-[]superscriptsubscriptΨR22ResubscriptΨ0subscriptsuperscriptΨRd𝛼\displaystyle\delta n_{\nu(\overline{\nu})}=\int^{1}_{0}\left[\frac{|\Psi_{\rm R% }|^{2}}{2}+\mathrm{Re}(\Psi_{\rm 0}\Psi^{*}_{\rm R})\right]\mathrm{d}\cos{% \alpha}\;,italic_δ italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT = ∫ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [ divide start_ARG | roman_Ψ start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG + roman_Re ( roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT ) ] roman_d roman_cos italic_α , (5)

The asymmetry is then given by ηνν¯=(δnνδnν¯)/nνsubscript𝜂𝜈¯𝜈𝛿subscript𝑛𝜈𝛿subscript𝑛¯𝜈subscript𝑛𝜈\eta_{\nu\overline{\nu}}=(\delta n_{\nu}-\delta n_{\overline{\nu}})/n_{\nu}italic_η start_POSTSUBSCRIPT italic_ν over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT = ( italic_δ italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - italic_δ italic_n start_POSTSUBSCRIPT over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT ) / italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT. In Fig. 2, we plot the overdensities δnν𝛿subscript𝑛𝜈\delta n_{\nu}italic_δ italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT and δnν¯𝛿subscript𝑛¯𝜈\delta n_{\overline{\nu}}italic_δ italic_n start_POSTSUBSCRIPT over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT in terms of the height to the slab surface hhitalic_h. To analyze the importance of different terms, we have also depicted separate contributions from the reflected wave |ΨR|2superscriptsubscriptΨR2|\Psi_{\rm R}|^{2}| roman_Ψ start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and the interference 2Re(Ψ0ΨR*)2ResubscriptΨ0subscriptsuperscriptΨR2\mathrm{Re}(\Psi_{\rm 0}\Psi^{*}_{\rm R})2 roman_R roman_e ( roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT ). The total overdensities for neutrinos and antineutrinos are shown as the solid red and blue curves, respectively, whose difference can reproduce the asymmetry in Ref. [25]. For neutrinos, the overdensity of 𝒪(104)𝒪superscript104\mathcal{O}(10^{-4})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT ) is dominated by the reflected wave solely (dashed red curve), while the interference contribution (dotted red curve) is negligible. For antineutrinos, both the reflection and the interference are important in general.

Refer to caption
Figure 2: The neutrino (in red) and antineutrino (in blue) overdensities in terms of the height hhitalic_h to the slab surface. Separate contributions are shown from the reflected wave alone (dashed curves) and from the interference between the original and reflected waves (dotted curves).

As has been mentioned, a loophole of the above analysis is that neutrinos coming from the other side of the slab are not taken into account. We find that accounting for those flux will in general reduce the overdensity of neutrinos. In particular, we can observe the following fact: the overdensity induced by the total reflection over one side of the slab is right equal to the deficit of transmitted waves from the other side due to the probability conservation, i.e., |ΨR|2=1|ΨT|2superscriptsubscriptΨR21superscriptsubscriptΨT2|\Psi_{\rm R}|^{2}=1-|\Psi_{\rm T}|^{2}| roman_Ψ start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 - | roman_Ψ start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Hence, only the negligible interference contribution remains if we add them up. Nevertheless, the above argument cannot be simply applied to antineutrinos, for which the interference might be important. For antineutrinos with small heights in Fig. 2, the deficit from the other side will make the total overdensity even more sizable. However, this is not true for the round Earth in practice. A careful investigation shows that the round Earth with a negative potential serves as a convex lens. For the parameter space relevant for the Earth, the interference between different paths of transmitted waves will also compensate for the original negative overdensity of antineutrinos. In general, the overdensities for both neutrinos and antineutrinos (and hence the asymmetry) are expected to be severely suppressed compared to the case with flux injection only from one side. However, the exact value can only be obtained by solving the scattering with the spherical potential of the Earth.

3 Suppressed Asymmetry for Perfectly Round Earth

In this section, we prove that the neutrino-antineutrino asymmetry is highly suppressed for the perfectly round Earth with an isotropic injection of the cosmic neutrino flux. This result is valid because both the flux input and the matter potential under assumption feature the spherical symmetry. We shall calculate the neutrino number density nνsubscript𝑛𝜈n_{\nu}italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT at a given point P𝑃Pitalic_P above the Earth. For illustration, a schematic diagram for the scattering of neutrinos with a positive potential of the Earth is given in Fig. 3.

Refer to caption
Refer to caption
Figure 3: An illustration of a plane-wave neutrino (upper panel) or antineutrino (lower panel) scattering with the matter potential of the Earth. The detector is placed at the height of P𝑃Pitalic_P. The neutrino density at P𝑃Pitalic_P with an isotropic flux injection is equivalent to integrating the wavefunction over the sphere S𝑆Sitalic_S with a collimated flux.

As the first step, we notice that the spherical symmetry enables us to translate the neutrino number density at point P𝑃Pitalic_P with the isotropic flux injection into an integration of the density over a sphere S𝑆Sitalic_S containing P𝑃Pitalic_P but with a collimated injection. The density value at each point on the sphere is identical to the density at the fixed point P𝑃Pitalic_P contributed by the flux from a different incoming angle (rotate that point to match with P𝑃Pitalic_P). This equivalence is critical for our later understanding from the classical perspective.

Suppose that a monoenergetic plane wave is incident on the Earth with the free-particle wavefunction ϕ(𝒙)=exp(i𝒌𝒙)italic-ϕ𝒙expi𝒌𝒙\phi(\bm{x})=\mathrm{exp}(\mathrm{i}\bm{k}\cdot\bm{x})italic_ϕ ( bold_italic_x ) = roman_exp ( roman_i bold_italic_k ⋅ bold_italic_x ) far away from the potential. The resultant wavefunction by scattering with the Earth is denoted as Ψ(𝒙)Ψ𝒙\Psi(\bm{x})roman_Ψ ( bold_italic_x ). In the absence of the Earth, we should have Ψ(𝒙)=ϕ(𝒙)Ψ𝒙italic-ϕ𝒙\Psi(\bm{x})=\phi(\bm{x})roman_Ψ ( bold_italic_x ) = italic_ϕ ( bold_italic_x ). The number density with an isotropic flux injection hence reads

nν(ν¯)(r)=n04π|Ψ(𝒙)|2dΩ=n04πr2|Ψ(𝒙)|2dS,subscript𝑛𝜈¯𝜈𝑟subscript𝑛04𝜋superscriptΨ𝒙2differential-dΩsubscript𝑛04𝜋superscript𝑟2surface-integralsuperscriptΨ𝒙2differential-d𝑆\displaystyle n_{\nu(\overline{\nu})}(r)=\frac{n_{0}}{4\pi}\int\left|\Psi(\bm{% x})\right|^{2}\mathrm{d}\Omega=\frac{n_{0}}{4\pi r^{2}}\varoiint\left|\Psi(\bm% {x})\right|^{2}\mathrm{d}S\;,italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) = divide start_ARG italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π end_ARG ∫ | roman_Ψ ( bold_italic_x ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d roman_Ω = divide start_ARG italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∯ | roman_Ψ ( bold_italic_x ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d italic_S , (6)

where the normalization factor n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is just the number density of neutrinos in the absence of the Earth, r𝑟ritalic_r is the distance from the Earth center to the detector, and the second integration is performed over the sphere S𝑆Sitalic_S.

3.1 The Semiclassical Approximation

We attempt to prove that nν(r)=n0subscript𝑛𝜈𝑟subscript𝑛0n_{\nu}(r)=n_{0}italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_r ) = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for both neutrinos and antineutrinos (no overdensity for the round Earth) in the semiclassical limit by considering neutrinos as localized particles following certain trajectories. We will find that the result holds because of several conservation laws. In the semiclassical limit, the interference effect between different waves has been ignored. It is then straightforward to validate the result by explicitly counting the neutrino flux going into (in blue) and out of (in red) the sphere S𝑆Sitalic_S as shown in Fig. 3. From the particle number conservation, we may first establish the following relation

nin𝒗ind𝑺=nout𝒗outd𝑺,subscript𝑛insubscript𝒗ind𝑺subscript𝑛outsubscript𝒗outdsuperscript𝑺\displaystyle n_{\rm in}\bm{v}_{\rm in}\cdot\mathrm{d}\bm{S}=n_{\rm out}\bm{v}% _{\rm out}\cdot\mathrm{d}\bm{S}^{\prime}\;,italic_n start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT bold_italic_v start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT ⋅ roman_d bold_italic_S = italic_n start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT bold_italic_v start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT ⋅ roman_d bold_italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , (7)

where nin(out)subscript𝑛inoutn_{\rm in(out)}italic_n start_POSTSUBSCRIPT roman_in ( roman_out ) end_POSTSUBSCRIPT is the number density of the neutrino flux going into (out of) the sphere S𝑆Sitalic_S, the flux strength is just given by n𝒗𝑛𝒗n\bm{v}italic_n bold_italic_v with 𝒗𝒗\bm{v}bold_italic_v being the corresponding velocity, and d𝑺dsuperscript𝑺\mathrm{d}\bm{S}^{\prime}roman_d bold_italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is a small area on the sphere which the neutrino flux from d𝑺d𝑺\mathrm{d}\bm{S}roman_d bold_italic_S is deflected into (e.g., by total reflection).

Let us denote the angles between the neutrino velocity and the normal vector of the area as θinsubscript𝜃in\theta_{\rm in}italic_θ start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT and θoutsubscript𝜃out\theta_{\rm out}italic_θ start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT, respectively. According to the energy conservation, vin=voutsubscript𝑣insubscript𝑣out{v}_{\rm in}={v}_{\rm out}italic_v start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = italic_v start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT must hold. Furthermore, the angular momentum conservation should be satisfied for the spherical potential due to rotational symmetry, leading to θin=θoutsubscript𝜃insubscript𝜃out\theta_{\rm in}=\theta_{\rm out}italic_θ start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT. As a consequence, we obtain nindS=noutdSsubscript𝑛ind𝑆subscript𝑛outdsuperscript𝑆n_{\rm in}\cdot\mathrm{d}{S}=n_{\rm out}\cdot\mathrm{d}{S}^{\prime}italic_n start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT ⋅ roman_d italic_S = italic_n start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT ⋅ roman_d italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The number density with the isotropic injection is then

nν(ν¯)(r)=14πr2(nin+nout)dS=24πr2nindS.subscript𝑛𝜈¯𝜈𝑟14𝜋superscript𝑟2surface-integralsubscript𝑛insubscript𝑛outdifferential-d𝑆24𝜋superscript𝑟2surface-integralsubscript𝑛indifferential-d𝑆\displaystyle n_{\nu(\overline{\nu})}(r)=\frac{1}{4\pi r^{2}}\varoiint(n_{\rm in% }+n_{\rm out})\mathrm{d}S=\frac{2}{4\pi r^{2}}\varoiint n_{\rm in}\mathrm{d}S\;.italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) = divide start_ARG 1 end_ARG start_ARG 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∯ ( italic_n start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT ) roman_d italic_S = divide start_ARG 2 end_ARG start_ARG 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∯ italic_n start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT roman_d italic_S . (8)

Here, nin=n0/2subscript𝑛insubscript𝑛02n_{\rm in}=n_{0}/2italic_n start_POSTSUBSCRIPT roman_in end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / 2, which is independent of how neutrinos are deflected by the potential in the Earth. Thus, we have nν(r)=n0subscript𝑛𝜈𝑟subscript𝑛0n_{\nu}(r)=n_{0}italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_r ) = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in the semiclassical limit.

However, the above conclusion is meaningful only when the semiclassical viewpoint of particles with trajectories is involved. In practice, there will also be diffraction and interference effects between the incoming and outgoing waves. To account for those contributions, we attempt to solve the neutrino wavefunction exactly.

3.2 A Rigorous Treatment

The scattering problem of concern is very typical and can be solved following the textbook [28]. The task is to find the solution of the Lippmann-Schwinger equation

|Ψ=|ϕ+1EH^0+iϵV^|Ψ,ketΨketitalic-ϕ1𝐸subscript^𝐻0iitalic-ϵ^𝑉ketΨ\displaystyle\left|\Psi\right\rangle=\left|\phi\right\rangle+\frac{1}{E-% \widehat{H}_{0}+\mathrm{i}\epsilon}\widehat{V}\left|\Psi\right\rangle\;,| roman_Ψ ⟩ = | italic_ϕ ⟩ + divide start_ARG 1 end_ARG start_ARG italic_E - over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_i italic_ϵ end_ARG over^ start_ARG italic_V end_ARG | roman_Ψ ⟩ , (9)

where ϕitalic-ϕ\phiitalic_ϕ is the free wavefunction, H^0subscript^𝐻0\widehat{H}_{0}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the free Hamiltonian, and V^^𝑉\widehat{V}over^ start_ARG italic_V end_ARG is the potential. Because the Earth potential is taken to be spherically symmetric, a general form of the neutrino wavefunction outside the Earth can be found with the help of partial-wave expansion,

Ψ(r,θ)=lil(2l+1)Al(r)Pl(cosθ),Ψ𝑟𝜃subscript𝑙superscripti𝑙2𝑙1subscript𝐴𝑙𝑟subscript𝑃𝑙𝜃\displaystyle\Psi(r,\theta)=\sum_{l}\mathrm{i}^{l}(2l+1)A_{l}(r)P_{l}(\cos{% \theta})\;,roman_Ψ ( italic_r , italic_θ ) = ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT roman_i start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ( 2 italic_l + 1 ) italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_r ) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( roman_cos italic_θ ) , (10)

where θ𝜃\thetaitalic_θ is the zenith angle with the z𝑧zitalic_z-axis fixed by the direction of asymptotic incoming wave, Plsubscript𝑃𝑙P_{l}italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is the Legendre polynomial, and l𝑙litalic_l represents the angular momentum. Adopting Eq. (9), the radial wavefunction Al(r)subscript𝐴𝑙𝑟A_{l}(r)italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_r ) in the non-relativistic limit follows

d2(rAl)dr2+[kν22mV(r)l(l+1)r2]rAl=0,superscriptd2𝑟subscript𝐴𝑙dsuperscript𝑟2delimited-[]subscriptsuperscript𝑘2𝜈2𝑚𝑉𝑟𝑙𝑙1superscript𝑟2𝑟subscript𝐴𝑙0\displaystyle\frac{\mathrm{d}^{2}(rA_{l})}{\mathrm{d}r^{2}}+\left[k^{2}_{\nu}-% 2mV(r)-\frac{l(l+1)}{r^{2}}\right]rA_{l}=0\;,divide start_ARG roman_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_r italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG roman_d italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + [ italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - 2 italic_m italic_V ( italic_r ) - divide start_ARG italic_l ( italic_l + 1 ) end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] italic_r italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0 , (11)

where V(r)=VΘ(Rr)𝑉𝑟𝑉Θ𝑅𝑟V(r)=V\Theta(R-r)italic_V ( italic_r ) = italic_V roman_Θ ( italic_R - italic_r ) with R𝑅Ritalic_R being the Earth radius. The solution can be conveniently expressed in terms of the Bessel functions

Al(r)=eiδl[cosδljl(kνr)sinδlnl(kνr)],subscript𝐴𝑙𝑟superscripteisubscript𝛿𝑙delimited-[]subscript𝛿𝑙subscript𝑗𝑙subscript𝑘𝜈𝑟subscript𝛿𝑙subscript𝑛𝑙subscript𝑘𝜈𝑟\displaystyle A_{l}(r)=\mathrm{e}^{\mathrm{i}\delta_{l}}\left[\cos{\delta_{l}}% j_{l}(k_{\nu}r)-\sin{\delta_{l}}n_{l}(k_{\nu}r)\right],italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_r ) = roman_e start_POSTSUPERSCRIPT roman_i italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_POSTSUPERSCRIPT [ roman_cos italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_r ) - roman_sin italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_r ) ] , (12)

where jlsubscript𝑗𝑙j_{l}italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and nlsubscript𝑛𝑙n_{l}italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT are the spherical Bessel functions of first and second kinds, respectively, and δlsubscript𝛿𝑙\delta_{l}italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is the phase shift determined by the spherical potential. Similar to the case of the slab, by matching the wavefunction at boundaries, we obtain the phase shift

tanδl=kνjl(kνR)jl+1(kνR)kνjl(kR)jl+1(kνR)kνjl(kνR)nl+1(kνR)kνjl+1(kνR)nl(kνR),subscript𝛿𝑙subscript𝑘𝜈subscript𝑗𝑙subscriptsuperscript𝑘𝜈𝑅subscript𝑗𝑙1subscript𝑘𝜈𝑅subscriptsuperscript𝑘𝜈subscript𝑗𝑙𝑘𝑅subscript𝑗𝑙1subscriptsuperscript𝑘𝜈𝑅subscript𝑘𝜈subscript𝑗𝑙subscriptsuperscript𝑘𝜈𝑅subscript𝑛𝑙1subscript𝑘𝜈𝑅subscriptsuperscript𝑘𝜈subscript𝑗𝑙1subscriptsuperscript𝑘𝜈𝑅subscript𝑛𝑙subscript𝑘𝜈𝑅\displaystyle\tan{\delta_{l}}=\frac{k_{\nu}\,j_{l}(k^{\prime}_{\nu}R)\,j_{l+1}% (k_{\nu}R)-k^{\prime}_{\nu}\,j_{l}(kR)\,j_{l+1}(k^{\prime}_{\nu}R)}{k_{\nu}\,j% _{l}(k^{\prime}_{\nu}R)\,n_{l+1}(k_{\nu}R)-k^{\prime}_{\nu}\,j_{l+1}(k^{\prime% }_{\nu}R)\,n_{l}(k_{\nu}R)}\;,roman_tan italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = divide start_ARG italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) italic_j start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_R ) italic_j start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) end_ARG start_ARG italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) italic_n start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l + 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ) end_ARG , (13)

with kν=(kν22mV)1/2subscriptsuperscript𝑘𝜈superscriptsubscriptsuperscript𝑘2𝜈2𝑚𝑉12k^{\prime}_{\nu}=(k^{2}_{\nu}-2mV)^{1/2}italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - 2 italic_m italic_V ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT being the effective momentum in matter. The above phase shift will become vanishingly small around lkνR8.7×109greater-than-or-equivalent-to𝑙subscript𝑘𝜈𝑅8.7superscript109l\gtrsim k_{\nu}R\approx 8.7\times 10^{9}italic_l ≳ italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ≈ 8.7 × 10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT, which makes sense as angular modes with impact parameters larger than the Earth radius should not contribute to the scattering.

Using the above representation, the neutrino number density obtained with Eq. (6) for the isotropic injection turns out to be

nν(ν¯)(r)=n0211|Ψ(r,θ)|2dcosθ=n0l(2l+1)|Al(r)|2,subscript𝑛𝜈¯𝜈𝑟subscript𝑛02subscriptsuperscript11superscriptΨ𝑟𝜃2d𝜃subscript𝑛0subscript𝑙2𝑙1superscriptsubscript𝐴𝑙𝑟2\displaystyle n_{\nu(\overline{\nu})}(r)=\frac{n_{0}}{2}\int^{1}_{-1}\left|% \Psi(r,\theta)\right|^{2}\mathrm{d}\cos\theta=n_{0}\sum_{l}(2l+1)|A_{l}(r)|^{2% }\;,italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) = divide start_ARG italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ∫ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT | roman_Ψ ( italic_r , italic_θ ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d roman_cos italic_θ = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( 2 italic_l + 1 ) | italic_A start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (14)

In deriving the above relation, the orthogonal relation of different angular modes has been used. We can check the validity of the above relation in the absence of the Earth potential, for which the phase shift is vanishing, i.e., δl=0subscript𝛿𝑙0\delta_{l}=0italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 0. This is easy to verify by noticing the sum rule l=0(2l+1)jl2(kr)=1subscriptsuperscript𝑙02𝑙1subscriptsuperscript𝑗2𝑙𝑘𝑟1\sum^{\infty}_{l=0}(2l+1)j^{2}_{l}(kr)=1∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT ( 2 italic_l + 1 ) italic_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) = 1. For non-vanishing phase shifts, we find the overdensity δnν(ν¯)(r)nν(ν¯)(r)n0𝛿subscript𝑛𝜈¯𝜈𝑟subscript𝑛𝜈¯𝜈𝑟subscript𝑛0\delta n_{\nu(\overline{\nu})}(r)\equiv n_{\nu(\overline{\nu})}(r)-n_{0}italic_δ italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) ≡ italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) - italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT,

δnν(ν¯)(r)=n0l=0(2l+1)[sin2δl(nl2(kr)jl2(kr))sin2δljl(kr)nl(kr)].𝛿subscript𝑛𝜈¯𝜈𝑟subscript𝑛0subscriptsuperscript𝑙02𝑙1delimited-[]superscript2subscript𝛿𝑙subscriptsuperscript𝑛2𝑙𝑘𝑟subscriptsuperscript𝑗2𝑙𝑘𝑟2subscript𝛿𝑙subscript𝑗𝑙𝑘𝑟subscript𝑛𝑙𝑘𝑟\displaystyle\delta n_{\nu(\overline{\nu})}(r)=n_{0}\sum^{\infty}_{l=0}(2l+1)% \left[\sin^{2}\delta_{l}\,(n^{2}_{l}(kr)-j^{2}_{l}(kr))-\sin 2\delta_{l}\,j_{l% }(kr)n_{l}(kr)\right].italic_δ italic_n start_POSTSUBSCRIPT italic_ν ( over¯ start_ARG italic_ν end_ARG ) end_POSTSUBSCRIPT ( italic_r ) = italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∑ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT ( 2 italic_l + 1 ) [ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) - italic_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) ) - roman_sin 2 italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) ] . (15)

The total reflection is supposed to occur at very small incidence angles, corresponding to lkRsimilar-to𝑙𝑘𝑅l\sim kRitalic_l ∼ italic_k italic_R, and hence the above summation should be dominated by those terms around lkRless-than-or-similar-to𝑙𝑘𝑅l\lesssim kRitalic_l ≲ italic_k italic_R. However, we can first check the asymptotic behavior of Bessel functions. In the limit of kr𝑘𝑟kr\to\inftyitalic_k italic_r → ∞ with l𝑙litalic_l being small, the spherical Bessel functions can be approximated as

jl(kr)1krcos[kr(l1)π2],nl(kr)1krsin[kr(l1)π2].formulae-sequencesubscript𝑗𝑙𝑘𝑟1𝑘𝑟𝑘𝑟𝑙1𝜋2subscript𝑛𝑙𝑘𝑟1𝑘𝑟𝑘𝑟𝑙1𝜋2\displaystyle j_{l}(kr)\approx\frac{1}{kr}\cos\left[kr-\frac{(l-1)\pi}{2}% \right],\;\;\;n_{l}(kr)\approx\frac{1}{kr}\sin\left[kr-\frac{(l-1)\pi}{2}% \right].italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) ≈ divide start_ARG 1 end_ARG start_ARG italic_k italic_r end_ARG roman_cos [ italic_k italic_r - divide start_ARG ( italic_l - 1 ) italic_π end_ARG start_ARG 2 end_ARG ] , italic_n start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) ≈ divide start_ARG 1 end_ARG start_ARG italic_k italic_r end_ARG roman_sin [ italic_k italic_r - divide start_ARG ( italic_l - 1 ) italic_π end_ARG start_ARG 2 end_ARG ] . (16)

Those two terms in Eq. (15) are then proportional to cos(2krlπ)2𝑘𝑟𝑙𝜋\cos(2kr-l\pi)roman_cos ( 2 italic_k italic_r - italic_l italic_π ) and sin(2krlπ)2𝑘𝑟𝑙𝜋\sin(2kr-l\pi)roman_sin ( 2 italic_k italic_r - italic_l italic_π ), respectively. Because of the largeness of r𝑟ritalic_r, those rapidly oscillating terms will be easily averaged to zero in the presence of a tiny dispersion in k𝑘kitalic_k. Furthermore, even if k𝑘kitalic_k is strictly monoenergetic, contributions of adjacent l𝑙litalic_l in Eq. (15) are found to cancel each other, e.g., sin(2krlπ)+sin(2kr(l+1)π)=02𝑘𝑟𝑙𝜋2𝑘𝑟𝑙1𝜋0\sin(2kr-l\pi)+\sin(2kr-(l+1)\pi)=0roman_sin ( 2 italic_k italic_r - italic_l italic_π ) + roman_sin ( 2 italic_k italic_r - ( italic_l + 1 ) italic_π ) = 0.

Refer to caption
Figure 4: The overdensities of neutrinos (red curve) and antineutrinos (blue curve) in terms of the height hhitalic_h for a toy parameter choice kνR=106subscript𝑘𝜈𝑅superscript106k_{\nu}R=10^{6}italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R = 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT and mνV/kν2=2×104subscript𝑚𝜈𝑉subscriptsuperscript𝑘2𝜈2superscript104m_{\nu}V/{k^{2}_{\nu}}=2\times 10^{-4}italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V / italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT. For the Earth with kνR8.73×109subscript𝑘𝜈𝑅8.73superscript109k_{\nu}R\approx 8.73\times 10^{9}italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ≈ 8.73 × 10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT, the magnitude of overdensity on the ground is roughly 1.2×1081.2superscript1081.2\times 10^{-8}1.2 × 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT.

In application, we have to directly sum over all the partial waves without the above approximation. To increase the evaluation speed, we have adopted the asymptotic expansions of Bessel functions with large orders of l𝑙litalic_l [29]. Because the effective scattering is largely within the perturbative regime, the contributions from large and small l𝑙litalic_l’s are both very important. By summing over all the angular modes from l=0𝑙0l=0italic_l = 0 to lkνR8.73×109greater-than-or-equivalent-to𝑙subscript𝑘𝜈𝑅8.73superscript109l\gtrsim k_{\nu}R\approx 8.73\times 10^{9}italic_l ≳ italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R ≈ 8.73 × 10 start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT, we obtain the overdensities on the ground

δnν1.21×108andδnν¯1.26×108,𝛿subscript𝑛𝜈1.21superscript108and𝛿subscript𝑛¯𝜈1.26superscript108\displaystyle\delta n_{\nu}\approx-1.21\times 10^{-8}~{}\text{and}~{}\delta n_% {\overline{\nu}}\approx 1.26\times 10^{-8}\;,italic_δ italic_n start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ≈ - 1.21 × 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT and italic_δ italic_n start_POSTSUBSCRIPT over¯ start_ARG italic_ν end_ARG end_POSTSUBSCRIPT ≈ 1.26 × 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT , (17)

which are roughly of the order of mνV/(2kν2)subscript𝑚𝜈𝑉2subscriptsuperscript𝑘2𝜈m_{\nu}V/{(2k^{2}_{\nu})}italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V / ( 2 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ). Away from the ground, the decoherence effect should even reduce the overdensity. However, because the computation is rather time-consuming, we are unable to finish the scanning over the detector height in a reasonable time. Instead, to demonstrate the decoherence effect we choose a relatively small toy model compared to the Earth with kνR=106subscript𝑘𝜈𝑅superscript106k_{\nu}R=10^{6}italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_R = 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT and mνV/kν2=2×104subscript𝑚𝜈𝑉subscriptsuperscript𝑘2𝜈2superscript104m_{\nu}V/{k^{2}_{\nu}}=2\times 10^{-4}italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V / italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = 2 × 10 start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT. In Fig. 4, we show the resultant overdensities as functions of the height hhitalic_h (in units of 1/kν1subscript𝑘𝜈1/k_{\nu}1 / italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT) for both neutrinos (red curve) and antineutrinos (blue curve). For small heights, the overall overdensity is of mνV/(2kν2)subscript𝑚𝜈𝑉2subscriptsuperscript𝑘2𝜈m_{\nu}V/{(2k^{2}_{\nu})}italic_m start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_V / ( 2 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ), similar to the findings for the case of the Earth. For h>1/kν1subscript𝑘𝜈h>1/{k_{\nu}}italic_h > 1 / italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT, the overdensity quickly decreases with respect to the height. As we mentioned, this overdensity arises from the interference between different waves. Away from the ground, the interference is expected to be vanishingly small for the round Earth.

4 Concluding Remarks

The feasibility of observing relic neutrinos via collective effects will be greatly enhanced, if there is a large neutrino-antineutrino asymmetry on the surface of the Earth. However, we have shown that the overdensities of both neutrinos and antineutrinos should be suppressed due to several conservation laws including those of the particle number, the energy and the angular momentum. The residual factor that can still affect the overdensity is the interference effect between different waves. By solving the scattering of plane-wave neutrinos with the spherical potential of the Earth, we have obtained the overdensity on the Earth surface without the flat slab approximation. The overall magnitude at small heights is only of 𝒪(108)𝒪superscript108\mathcal{O}(10^{-8})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT ), and this value will become vanishingly small away from the ground.

Nevertheless, we should emphasize that the conclusion holds for a perfectly round Earth. Thus, one possible way out is to choose a patch of ground disobeying the rotational symmetry. On the one hand, to appreciate the total reflection one should have a rather smooth ground in sight (of area 2hR2𝑅2hR2 italic_h italic_R within the horizon). For h=10m10mh=10~{}{\rm m}italic_h = 10 roman_m, the dimension of this ground is around 11km11km11~{}{\rm km}11 roman_km. One the other hand, to deviate from the rotational symmetry one can require the ground beyond the horizon to be sufficiently bumpy. In Fig. 1, this requirement is equivalent to making side B of the slab bumpy such that the total reflection does not occur on that side. In this manner, one may have a sizable overdensity on the surface of side A without cancellations.

Note added: The preprint Ref. [30], which just appeared on arXiv, has explored the same subject with the thermal method instead of directly summing over the partial waves. Their analysis gives an overdensity of the order of 𝒪(108)𝒪superscript108\mathcal{O}(10^{-8})caligraphic_O ( 10 start_POSTSUPERSCRIPT - 8 end_POSTSUPERSCRIPT ), which is in agreement with the findings in this work after summing over all the angular modes.

Acknowledgments

I would like to thank Andreas Trautner and Manibrata Sen for insightful discussions during the refinement of this manuscript. I am also grateful to Prof. Asimina Arvanitaki for valuable communication and for the sharp observation of the overdensity results from some toy computations.

References