Arxiv:2012.07602V2 [Astro-Ph.CO]

Home , Ultra diffuse galaxy

arXiv:2012.07602v2 [astro-ph.CO] 14 May 2021 nadto,tespraineo M87 of superradiance the addition, In asrne2 range mass 10 around have mass galaxies favors dwarf on ADM analyses that hand, shown other the On [15]. e oti oe.I atclr nlssfo Lyman- from analyses 10 particular, prob- In a posed α model. has this tension to mass lem axion the deviation, tral can reviews recent [10–12]. some in alternative and found an [2–9], which be as problem (ADM), proposed this been solve matter has to dark origin, string axion fea- its scale Ultralight has small explaining mat- [1]. in large dark fail tures determining may cold in it successful While structures, been scale long universe. has (CDM) the ter of formation ture agrta 10 than larger lse ssrnl rpe yascn oecompact more second a by trapped star strongly the where is Two-component scenario age. cluster different cluster’s a imposed star provide the has may on universes simulation bound their Gyr solution [21], destroy 5 one a in to although proposed prone ADM. cluster; been the is star has central of walk observed features random the nonlinear soliton unique In the soli- the a However, inside [20]. of sit II one should cluster Eridanus ton, star galaxy the context, dwarf ADM the the in observed been this in shown a as freedom, offer of also work. degrees prob- could more particular with universes this solution axion solve multi-component extreme to [19], prob- so-called proposed lem major the been Though a has been model. model this has to masses lem axion in inconsistency ∗ † vlto fprubto n oe pcrmi two-compo a in spectrum power and perturbation of Evolution [email protected] [email protected] hl ucsfli conigfrtesalsaespec- small-scale the for accounting in successful While struc- the in role essential an played has matter Dark nteohrfot eta opc trcutrhas cluster star compact central a front, other the On − oetgv osrito aslwrbudat bound lower mass on constraint a give forest 21 V[3 4.Tems a vnbe ugse obe to suggested been even has mass The 14]. [13, eV opnns pnn e vnefrstigu nta cond initial up setting for avenue p new of simulations. a information the opening whic retains galaxies, ma components, computation massive free Our high-redshift and quasars. very axions early of extreme light formation perturba of of the computation composed spectral case first particular the present We gated. . − 9 h vlto fcsi etrain natocmoetul two-component a in perturbations cosmic of evolution The 20 .INTRODUCTION I. × Vwt ml idwa 10 at window small a with eV 3 10 etrfrTertclPyis ainlTia Universit Taiwan National Physics, Theoretical for Center − 1 2 nttt fAtohsc,Ntoa awnUiest,Ta University, Taiwan National Astrophysics, of Institute 21 eateto hsc,Ntoa awnUiest,Taipei University, Taiwan National Physics, of Department ∼ 4 . 6 × iHin Hsu Yi-Hsiung 10 ∗ − 21 a xlddthe excluded has V[8.This [18]. eV − 22 V[6 17]. [16, eV − Dtd a 7 2021) 17, May (Dated: 21 1, Vin eV ∗ universe n zhn Chiueh Tzihong and l.Atrtema rept ( path free mean fee- the becomes horizon After scattering of Thomson ble. latter time strong The when the and between entry problem. works this dif- only the cure small approximation utilize to very therefore, approximation entails We, scattering fusion integration. this for and steps time, time early scattering the Thomson at strong involved baryon and they photon For perturbations, entry. horizon the mass and of oscillations onset the equation, Schrödinger after Klein-Gordon the equation out adopt the we of smooth oscillations stiffness To mass efficiently. rapid equation the computation the make the shall remove execute we and to Hence, approximations equations. stiff- some differential the the to of due ness compute is approach to en- full-evolution time-consuming are equations the formidably which However, perturbed complete [26], evolution). for (full and evolution much [25] the follows in especially computation gaged Our papers, matter [27]. the these in in in found those while be 26], can [25, era in analyzed been have high generate could that galaxies. feature massive a red-shift shows which axions, o10 to opt nvrecmoe f10 of composed universe a compute nvre.W ou ntems ag rm10 from range mass the on focus two-component We for the specifically ana- universes. explore to perturbations we aim linear We paper, lyze universes. this multi-component In of potential [22–24]. area research ing alle- be could constraint age the regard, viated. this In soliton. antd n rvdsanwwyt eeaeinitial generate to way new of at a orders conditions provides several and by perturbations magnitude linear the computing friction original the to coupling. back approximation diffusion the h uleouinadteapoiain r carefully are approximations paper. this the bridging in and evaluated conditions evolution matching full of the goodness the addition, otewvlnt fmode of wavelength the to lrlgtainprubtosi h aito epoch radiation the in perturbations axion Ultralight h ut-opnn nvrehsrcnl enaris- a been recently has universe multi-component The efidteeipoeet nraeteecec of efficiency the increase improvements these find We − r yial eurdt otmassive host to required typically are h 20 rubdvlcte o niiulaxion individual for velocities erturbed in nmlicmoetuiess A universes. multi-component in tions Vadpoueterpwrseta ealso We spectra. power their produce and eV sv atce ffr osblt for possibility a offers particles ssive tosfrftr xo akmatter dark axion future for itions rlgtaincuies sinvesti- is universe axionic tralight z ,Tie 01,Taiwan 10617, Taipei y, ,2 3, 2, 1, ≤ pi167 Taiwan 10617, ipei 0 o uueAMsmltos In simulations. ADM future for 100 01,Taiwan 10617, † etutaih axionic ultralight nent k ene osic from switch to need we , l T eoe comparable becomes ) − 22 Vad10 and eV − − 23 22 eV eV 2

We organize the paper as the following. Sec. II where φ is the metric perturbation for the Newtonian shows how the evolution of linear perturbations is com- gauge. The metric perturbation φ can be defined as fol- puted. We compare our results with those of the full- lows: evolution computation in the one-component universe in 2 Sec. III. Results of the two-axion universes are presented 4πGa φ = 2 ǫγ∆γ + ǫν ∆ν in Sec. IV. Finally, our conclusions are given in Sec. V. − k " We place the discussion of limitations in our computation in Appendix A. +ǫb∆b + ǫA,i∆A,i , (3) Throughout this paper, the chosen cosmological pa- i # rameters are Ωb = 0.06, ΩDM = 0.24, and H0 = 70 X km/sec/Mpc. The equations are written in nature units; where ǫ denotes the background energy, subscript γ, b, ν, that is, speed of light c and Planck constant ~ are both and A denotes photon, baryon, neutrino, and axion, re- 2 2 ′ 2 2 set to 1. Scale factor and conformal time are represented spectively, and ǫA,i (f /a ) (Θ ) /2+m [1 cos(Θi)] ; ≡ i { i i − } by a and τ, respectively. Conformal time is related to the covariant energy densities ∆ are defined as ∆γ ≡ cosmic time with dt = adτ, and the Hubble parameter δγ 4Hθγ, ∆ν δν 4Hθν , ∆b δb 3Hθb, with δ − ≡ − ≡ − is defined as H d ln a/dτ. We adopt Newtonian gauge being the dimensionless energy perturbation scaled to its for the perturbations.≡ background energy and θ being the perturbed velocity potential which relates to the velocity v by v = ikθ, and

′ ′ 2 2 ′ 2 II. TIME STEP REDUCTION SCHEME ΘiδΘi + mi a sin ΘiδΘi (Θi) φ ∆A,i ′ 2 2 2 − ≡ (1/2)(Θi) + mi a [1 cosΘi] ′ − We separate the evolution of axion dark matter into 6HΘiδΘi + ′ 2 2 2 , (4) three phases. The first phase is at the time when a k (Θi) +2mi a [1 cosΘi] mode is super-horizon or before the onset of mass oscil- − lations. In this phase, we adopt the full-evolution equa- δΘi tions, where the Klein-Gordon equation is used for the θA,i 2 ′ . (5) axion field. For photon and baryon perturbations, a set ≡− Θi of frozen-in equations, which take baryons and photons For multi-component universes, we define an average co- to be the same component with a 3 : 4 density ratio, is variant axion energy density as adopted. The second phase starts after the mode enters the horizon, mass oscillations begin, and Thomson scat- i ǫA,i∆A,i ∆A,ave . (6) terings are moderate. Schrödinger equation for axions ≡ i ǫA,i and diffusion approximation for baryons and photons are P utilized in this phase. In the final phase, we switch from P the diffusion approximation back to the friction equa- 2. Axion background energy tions when the Thomson scattering is weakened, with some modifications discussed at Sec. II B, while keeping After the first phase, the axion decay constant f, which the Schrödinger equation. determines the amplitude of background energy, must in principle be adjusted manually. In our computation, a method to automatically determine the decay constant A. Axion model has been designed. We describe how it is carried out by iterations below. The initial guess of the decay constant 1. Full evolution is determined from matching Hubble parameter at the matter-radiation equality exclusively with the radiation The chosen axion potential is V (Θ ) = m2f 2[1 background. This decay constant, along with an a−3 i i i − cos(Θi)], where m is the axion mass, f is the axion decay approximation for the axion background density, can be constant, Θ is the angle of background axion, and the utilized in determining the Hubble parameter at the time subscript i indicates the axion component index. The long after the onset of mass oscillations and generating axion field Φi relates the decay constant with the back- a modified decay constant. One can then iterate these ground angle via Φi = fiΘi. The governing equation for steps to obtain a converged decay constant. the background angle is ′′ 2 2 Θi +2HΘi + mi a sin(Θi)=0, (1) 3. Schrödinger equation where the primes denote d/dτ. For the axion angle perturbation δΘ, the equation of motion for the k mode is To eliminate the rapid mass oscillation in the Klein- ′′ ′ 2 2 2 Gordon equation, Eq. (2), after the onset of mass os- δΘi +2HδΘi+[k + mi a cos(Θi)]δΘi cillations, the Schödinger equation is adopted [25, 26]. =4φ′Θ′ 2m2a2 sin(Θ )φ, (2) For the background angle, it can be approximated to i − i i 3

−3/2 be as Θi Θ0,ia cos(ωΘ,it) with Θ0,i being a con- benchmark is that it has the latest onset of mass oscilla- stant and≈ω2 m2(1 Θ2 a−3/8). We introduce a tions. Θ,i ≡ i − 0,i new variable ψi which relates to angle perturbation as −iωΘ,it δΘi √ǫA,i Re[ψie ], where Re denotes the real part.≡ One can put these expressions back to Eq. (2) B. Photon and baryon and ignore terms with frequency greater than or equal to 2 2 2 3ωΘ,i and O(H /m a ) terms to derive the Schródinger 1. Friction equations equation. For a wave number k mode perturbation, the resultant evolution equation is The friction-coupled equations for photon and baryon 2 perturbations are 1 k ∗ 2 iωΘ ψ˙ = ψ α (ψ + ψ ) + m φ, (7) ,i i i i i i i ′ 4 2 ′ 2 " a − # δ = k θγ +4φ (9) γ 3 where α is defined as α ω2 Θ2 a−3/8 and the over ′ 1 i i Θ,i 0,i θ = δγ αT Q φ (10) dots denotes derivatives with≡ respect to the cosmic time γ −4 − − ∗ ′ 2 ′ t. The (ψi +ψi ) term comes from the non-linear potential δb = k θb +3φ (11) of the extreme axions, vanished for free axions. θ′ + Hθ = β Q φ, (12) b b T − where Q θ θ , α an σ , where n is the electron ≡ b − γ T ≡ e T e 4. Matching condition number density and σT is the Thomson scattering cross section; β (4ǫ /3ǫ )α . The evolution of the neu- T ≡ γ b T The transition from the Klein-Gordon equation to the trino perturbation behaves the same as the photon per- Schrödinger equation requires the expression of covari- turbation at the first half cycle of oscillation and damps nat energy density in relation to ψ. One can use the abruptly after crossing the null [28]. In our computation, we set the neutrino perturbation to be zero after crossing expression for Θi and δΘi from Sec. IIA3 and apply the approximations stated in that subsection to derive the the null [25]. covariant energy density from Eq. (4): 3H 2. Diffusion approximation ∆A,i =2ψR,i ψI,i, (8) − mia At the second phase, the diffusion approximation re- where ψ and ψ are the real part and imaginary part R I places the friction equations due to the strong Thom- of ψ, respectively. We stress that this post-transition ex- son scattering. The diffusion approximation works at pression of ∆ given by the Schrödinger equation does A,i the strong coupling limit (k/α 1) and sub-horizon not possess mass oscillations. The first matching condi- T era (k/H 1). Under these circumstances,≪ Q should be tion demands ∆ to be continuous. The second match- A,i small for the≫ photon-baryon fluid. The φ′ term will be ig- ing condition is the derivative of Eq. (8) to be continu- nored since it amounts to O(H2/k). Although the gravity ous. Both are to be used to solve for ψ and ψ . Due R I term for the sub-horizon modes in radiation epoch should to the tiny residual amplitude of mass oscillations of the be overwhelmed by the radiation pressure, φ should be covariant energy density, ∆ is evaluated as the average A retained as it may slightly affect the damping and the between consecutive peak and trough immediately before photon oscillation pattern near the end of the second the matching point. By the same token, the derivative of phase, especially for low-k modes. With these assump- ∆ must be represented by average slopes of consecutive A tions, we can derive peaks and troughs of∆A. Finding these peaks can be tricky, especially in two- 3Hδ′ δ = 4 Q′ + (α + β )Q γ (13) component cases. As we switch the two components si- γ − T T − 4k2 multaneously to phase two, if the mass difference is wide, 2 the slope of ∆ for the massive component can some- ′′ k 4 2 4 2 A δγ = δγ k αT Q k φ (14) times be too large to detect peaks and troughs automat- − 3 − 3 − 3 ically. This is because no point with a zero slope is to from Eq. (9), Eq. (10) and Eq. (11). To eliminate the Q be found numerically. Additionally, since the mass oscil- terms, Eq. (13) and Eq. (14) can be combined into lations for the massive component can be too feeble to k2 β 4 α be defined at the transition point, it can be challenging δ′′ + T δ = k2 T Q′ to automatically determine the slope. We discuss more γ 3 α + β γ 3 α + β T T T T thoroughly the limitations of our scheme in Sec. III A and α 4 T Hδ′ k2φ. (15) Appendix A. − α + β γ − 3 Our choice of the transition time is at the end of the T T tenth mass oscillation cycle for the lightest component. For a relatively small Q′ and φ, the leading order os- The reason for choosing the lightest component as the cillation frequency for δγ can be approximated to be 4

2 ′ k βT /3(αT + βT ). With Eq. (12), the term for Q can From phase one to phase two, we choose the transition be rewritten as below, criteria to be k/H = 10 if this transition is later than p the tenth mass oscillation; otherwise, we use the end of 4 α k2α k2 T Q′ = T δ′ . (16) the tenth mass oscillation as the transition point. From 3 α + β − 3(α + β )2 γ T T T T phase two to phase three, we choose k/αT = 0.1 as our Finally, the diﬀusion equation for the photons becomes transition criterion. α k2 δ′′ + T + H δ′ γ α + β 3(α + β ) γ III. SINGLE COMPONENT UNIVERSE T T T T 2 k βT 4 2 + δγ = k φ. (17) The validity of the approximation scheme is presented 3(αT + βT ) −3 in this section. In the following discussions, the scale fac- For the baryon density perturbation, one can combine tor at the matter-radiation equality will be represented −22 Eq. (9), Eq. (11) and Eq. (12) into by aeq. All axion masses are chosen to be 10 eV in 3 this section. δ′′ = k2β Q Hδ′ k2φ, (18) b T − 4 γ − and eliminate the Q term via Eq. (13), and then replace A. Performance and validity the Q′ term with Eq. (16). The ﬁnal result is

2 ′′ k βT ′ 3αT H ′ δb = 2 δγ δγ −4(αT + βT ) −4(αT + βT ) 2 k βT 2 10 δγ k φ. (19) 10 −4(αT + βT ) − Eq. (17) and Eq. (19) are the equations with the diﬀusion approximation. 108

In the third phase, a set of friction-coupled equations New Scheme resumes. Since the photon-baryon drag becomes loosely Zhang et al. coupled at this stage, Q is ﬁnite. Thus, instead of evolv- 106

ing δγ, δb, θγ , and θb as the standard friction equations Number of Time Step do, we choose to evolve δγ, δb, θγ, and Q while θb can be retrieved via a direct addition. The evolution equation 104 for Q is the subtraction between Eq. (10) and Eq. (12). The method to obtain an accurate initial condition of Q 0.1 0.4 0.7 1 1.3 1.6 1.9 will be discussed in the next subsection. k/k c

FIG. 1. Numbers of computation steps for the approximation 3. Matching condition scheme and the full evolution scheme of Zhang et al [25, 26]. −5 The integration interval starts from 4×10 aeq to aeq for both From the second phase to the third phase, there will schemes, where aeq is the scale factor of the matter-radiation −1 be a sizable numerical error if one derives the matching equality. The critical wave number kc ≈ 1/122 kpc . condition for Q via direct subtraction between θγ and θb since both photon and baryon velocity potential are Comparisons of the approximation scheme with the full large quantities whereas Q itself is small. In light of this evolution are shown in this subsection. First, the number problem, a better approach is evaluating the matching of time steps has been greatly reduced with our approx- when the photon oscillation is at its peak, where Eq. (13) imations. Fig. 1 demonstrates the efficiency of time step can be rewritten as reductions. Here kc is the comving Compton wavenum- ′ δγ ber when m = 2H/a, for which kc/a = m = 2H/a Q + (αT + βT + H)Q = . (20) −1 − 4 (kc 1/122 kpc ). The number of integration variables is 6≈ for both approximate and exact methods. With inte- The previously ignored HQ has been brought back here. 6 3 ′ gration interval from z 10 to z 10 , it reveals a re- Due to the aforementioned oscillation frequency, the Q duction in time step number∼ from ∼O(1010) to O(104∼5). term is of order O(kQ), which is much smaller than other ′ It should be noted that the time steps for our compu- terms. Therefore, by ignoring the Q term, the matching tation are different for different wavelengths. Incurring condition is numerous matter-wave oscillations for short-wavelength δγ modes, it would entail higher resolution. On the other Q = . (21) −4(αT + βT + H) hand, more time steps are required for long-wavelength 5 modes since the integration switches to the approxima- matching conditions for the Schrödinger equation. An- tion scheme only after the mode entered the horizon. The other reason derives from the full-evolution φ. With a lower the k is, the later the transition happens, and hence replacement of the passive-evolution φ, this problem can more integration steps. be solved for k > 0.01kc. For longer wavelengths, an ac- The transfer functions comparing our scheme and the curate description for φ is necessary [25]. This long-wave full-evolution scheme is presented in Fig. 2. A free par- issue will be discussed more thoroughly in Appendix A. ticle case and an extreme axion case are both compared This problem will be most prominent in two-component in this figure. The background axion’s initial angle is universes, and the pertinent discussion is given in the 90◦ and 179.8◦ for the free particle scenario and extreme next section. axion scenario, respectively. Good agreement between There is a trade-off between the accuracy and perfor- the two schemes is found. The discrepancy between our mance of our scheme. The error can be improved to less scheme and the full evolution scheme is at most 5% ex- than 1% but with a later transition point; that is, more cept the regions near the nulls of matter-wave oscilla- time steps are required. Additionally, if one chooses a late tions, where errors are primarily affected by the resolu- transition point, the range for viable k/kc and masses will tion in Fig. 2. be reduced due to the previously stated reasons.

Transfer Function at a = a eq 101 B. Baryon acoustic oscillations and velocity potential

100 2 | 10-1

CDM 105 / A

| 10-2

100 10-3 extreme axion Zhang et al., extreme axion free particle Zhang et al., free particle -4 10 10-5 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 k/k c B /CDM,30a B /CDM,30a EA eq FP eq EA/CDM,30a FP/CDM,30a FIG. 2. Good agreement of transfer functions of our approx- -10 eq eq 10 B /CDM,4a B /CDM,4a EA eq FP eq imation scheme (solid lines) and of the full evolution scheme EA/CDM,4a FP/CDM,4a eq eq (dashed lines) by Zhang et al. evaluated at aeq . The initial axion angles of the background ﬁeld are nearly 90◦ for the 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 1.6 1.7 ◦ k/k free particle cases and 179.8 for the extreme axion cases. c

There are two limitations of our scheme. First, the FIG. 3. Comparison of baryon (solid lines) and dark mat- matching point from phase one to phase two must be re- ter (dashed lines) transfer function particularly on the slight spectably earlier than the matter-radiation equality. As phase shifts of matter wave oscillations. Here “FP” and “EA” are the abbreviations for “free particle” with an initial ax- the mass oscillations get closer to the matter-radiation ion angle near 90◦ and “extreme axion” with an initial axion equality, the non-linear effect of the background field angle at 179.96◦ , respectively. “B” denotes “baryon”. The −3 2 starts to contribute, and the previously mentioned a “j/CDM” means |∆j /∆CDM | for the j component. It should extrapolation is not accurate. Since the onset of mass os- be noted that the curves for baryons are, in fact, roughly two cillations for axion mass 10−26eV is about the same time orders of magnitude and 0.7 lower than those for axions at of matter-radiation equality, the approximation adopted 4aeq and 30aeq , respectively, but we scale them to the same in this work is impracticable with particle mass lower amplitude for the low-k modes to optimize the visualization. than this value. Empirically, our approximations work In addition, all curves at very low k are near 1, but we multi- 5 3 −2 the best with an axion mass larger than 10−25eV. ply these curves by 10 , 10 , 1, 10 for better visualization. Another limitation is that our computation fails to function at extremely low-k modes. Our experience tells The baryon to the axion phase shift is shown in Fig. 3. that a numerical instability in our computation for k/kc The decreasing electron as a result of the increasing re- smaller than 0.02. The primary reason for this is the late combination has been accounted for via the Saha equa- transition for very low-k modes. Since field matching is tion [29]. In this figure, 4aeq is chosen to show the phase well after the onset of mass oscillations and the mass os- difference near the epoch of recombination while 30aeq cillations in ∆A have been greatly erased, it is difficult to (z 100) is chosen for initial conditions of simulations. detect the mass oscillation peaks used to determine the This∼ small-scale phase shift is due to the comparable 6

Hubble friction that makes baryon perturbation react late to the gravity. The phase aligns well at the recom- 1010 bination epoch since the ADM gravity dominates at all shown scales.

100

100 10-10

| / |2, a = a | / |2, a = 3a b,ADM CDM eq b,ADM CDM eq 2

| -2 10 | / |2, a = a | / |2, a = 3a b,CDM CDM eq b,CDM CDM eq 2 2 CDM -20 | / | , a = 2a | / | , a = 4a 10 b,ADM CDM eq b,ADM CDM eq )/v 2 2 b | / | , a = 2a | / | , a = 4a b,CDM CDM eq b,CDM CDM eq -v A -4 |(v 10 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 k/k c free particle, a = 30a eq free particle, a = 4a eq -6 extreme axion, a = 30a 10 eq FIG. 5. Comparisons of small scale acoustic oscillations of extreme axion, a = 4a eq baryons for ADM and CDM cases. All the lowest k modes of these curves are scaled to 1, and then the curves at aeq , 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 −10 k/k 2aeq , 3aeq, and 4aeq are multiplied by overall factors 10 , 1, c 105, and 1010, respectively. This plot shows baryon acoustic oscillations for ADM and CDM cases are indistinguishable at FIG. 4. Axion-baryon relative velocity at 4aeq and 30aeq . It low k and before aeq, but diﬀerent at moderate k and after can be seen that the velocity diﬀerence is large immediately aeq. Moreover, baryon acoustic oscillations get erased after after the recombination comparing to that in the late time −1 3aeq for the range of k (∼ 10 Mpc ) of interest in this paper. (z ∼ 100).

It has been suggested that considerable large scale velocity difference between dark matter and baryons at the 101 early epoch would significantly affect structure formation nonlinearly [30]. This substantially smaller baryon 100 velocity from that of the dark matter at the recombina- 2

tion epoch is due to the severe photon-baryon drag from | -1 which dark matter does not suﬀer. We present such ve- 10 CDM /

locity difference in Fig. 4. It can be seen that the relative A | velocity becomes negligible at z 100 because the en- 10-2 hanced dark matter gravity pulls∼ the baryons to align free particle, a = 30a eq with the dark matter. This phenomenon may imply that -3 free particle, a= a 10 eq simulations starting from late matter epoch are unable to extreme axion, a = 30a eq extreme axion, a= a subsume the nonlinear effects originated from the axion- eq baryon relative velocity. 10-4 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 k/k The small-scale baryon acoustic oscillations are diffi- c cult to observe but interesting to explore. They differ in CDM and ADM models, as revealed in Fig. 5. Before the FIG. 6. Transfer functions of velocity potentials for free par- recombination at a 3aeq, baryon acoustic oscillations ticles and extreme axions at aeq and 30aeq . Again, the axion in the ADM universe∼ was indistinguishable from those angle is 179.96◦ for extreme axion cases. We note that the in the CDM universe. However, after the recombination, velocity transfer function has a spectral bump immediately the baryon perturbation in the CDM case departs from before the cutoff, similar to the density transfer function. the ADM counterparts since the baryon perturbations are pulled by the gravity of different dark matter perturbations, where the CDM perturbation grows without ter assumption and provide an accurate description of pressure supports while the ADM perturbation is sup- axion velocity near the spectral cutoff. Such a velocity pressed by the quantum pressure at sufficiently high k. potential is given in Fig. 6. It reveals slightly different In the past, velocity potential for fuzzy dark matter behaviors at the epoch of matter-radiation equality and simulations has prevalently been set similar to cold dark at the time when simulations usually start (z = 100). matter [31]. This can be problematic for the modes One can see that the velocity transfer functions share shorter than the spectral cutoff. We are able to com- similar features as the density transfer functions. That pute the velocity potential free from the cold dark mat- is, the amplitude of the density perturbations correlates 7 well with that of velocity perturbations. bump feature arising from extreme axions. There are two options if one wants to compute the spectrum when the massive component is an extreme IV. TWO-COMPONENT AXION UNIVERSE axion. First, one can exploit the approximation of the Schrödinger equation at super-horizon. For that, one Various configurations of the two-component axion should add the derivative of metric perturbation as the universe are investigated in this section. The background additional source term. Although this method may energies of two kinds of dark matter are chosen to be capture the overall feature of the power spectrum, it equal for all cases unless specified otherwise. All approx- may create errors up to 10% at long wavelengths. The imations in Sec. II can be directly applied to calculations other method is to evaluate the power spectrum only for in this section. Light component serves as the benchmark k> 0.02kc,massive, with kc,massive being critical k of the to determine the first transition points since they start massive components while utilizing the CDM/ADM con- their mass oscillations later than massive ones. The crit- struction for even larger scale. −22 We finally present a case that could be responsible for ical k for 10 eV axions is denoted as kc in this section. Transfer functions at the matter-radiation equality are the existence of very high-redshift quasars [32, 33]. The presented in Fig. 7. The average covariant energy density existence of these quasars normally implies the forma- of ADM is defined in Eq. (6). The average spectra can tion of hosting massive galaxies at redshift z > 10 [34]. grossly be understood as the superposition of features To achieve this, strong power at the large scale is necessary. Fig. 8 shows a case with background densities 29 : 1 in individual components. For example, the small-scale −22 −23 spectral bump is due to the bump feature of the massive for 10 eV free particles to 10 eV extreme axions. A extreme axions. For the case with a sizable axion mass small amplitude bump of 15% at the large scale is at- difference, the energy density of the lighter component tributed to the light extreme axion. This spectrum pro- is severely suppressed at the bump scale. Whether the vides a possibility for seeding early massive host galaxies for supermassive black holes. The mass of the collapsed resulting spectral power would exceed the power of CDM 3 11∼12 halo is estimated to be (4π/3)(λ/2) ρ0 O(10 )M⊙, actually depends on mass differences and chosen initial ∼ angles. It should be noted that since the bump feature where λ is the comoving wavelength (2π/k) and ρ0 is the for extreme axions only affects a certain scale, the high-k present background density [35]. In this case, k is taken −20 to be 0.2 0.3k . This choice is only a particular exam- bump feature does not show up for 10 eV extreme ax- ∼ c ion in Fig. 7. Nevertheless, it cannot be over-emphasized ple. It has sufficient degrees of freedom to alter axion that the bump feature of this case always emerges at suf- masses, axion initial angles, and background energy ra- ficiently large wave numbers. tios to obtain other results with different galaxy masses and galaxy formation times. The axion masses deter- The small scale bump could be a new resolution to the mine the galaxy mass, whereas the initial axion angles ADM Lyman-α issue. Much like the extreme axion so- and the background energy ratio could affect the galaxy lution proposed in [19], the two-component universe can formation time. also provide a strong power at the small scale to solve the Lyman-α problem. Moreover, the two-component model offers more degrees of freedom. While the initial angle is V. CONCLUSIONS the only degree of freedom in the one-component axion universe, the additional mass and density ratio parame- ters are to make the resulting spectra more flexible. We present an efficient scheme for computing pertur- In addition, the spectral excess for light extreme axions bations in the axionic universes. The approach invokes is preserved as well. The massive component only affects approximation exploiting the Schrödinger equation and the scale of its spectral cutoff and bump. For the ax- the diffusion approximation. With these approximations, ion masses under consideration, the massive component the reduction by six orders of magnitude in computa- resembles CDM at the scale where the light component tional time is achieved, while the accuracy is higher than 1 discloses its spectral features; thus, the large-scale fea- 95%. Our computational code is available on GitHub ture is determined by the light component exclusively. Our computation demonstrates the novel spectra in −22 −20 two-component universes. A massive extreme axion com- For the 10 eV/10 eV cases, the range k < 0.33kc has been replaced by the ADM/CDM case, because the ponent can enhance the power at small scales without calculation for the massive component is highly unsta- changing the large-scale spectrum. This scenario offers a new perspective to compare with the Lyman-α ob- ble around 0.1kc as indicated in Sec. III A. The spectral computation for even larger mass differences is far from servations. Moreover, the incorporation of a massive practical. We offer an alternative here. Since the large- free particle does not affect the spectral cutoff substan- scale character of axion dark matter approaches that of tially. That is, the large scale structures and missing the cold dark matter, we can replace very massive axions by cold dark matter. However, replacing massive ADM components by CDM can only apply to free par- 1 ticle axions. CDM replacement can never capture the See https://github.com/YiHsiungHsu/MASTER. 8

101 FP,10-22 eV;FP,10-20 eV FP,10-22 eV;EA,10-20 eV EA,10-22 eV;FP,10-20 eV EA,10-22 eV;EA,10-20 eV FP,10-22 eV;CDM 0 -22

2 10 2 EA,10 eV;CDM | |

CDM CDM 100 / / A,ave A,ave

| -22 -21 | 10-1 FP,10 eV;FP,10 eV FP,10-22 eV;EA,10-21 eV EA,10-22 eV;FP,10-21 eV EA,10-22 eV;EA,10-21 eV FP,10-22 eV;CDM -22 EA,10 eV;CDM 10-1 10-2 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 k/k k/k c c

FIG. 7. Transfer functions at aeq of two-component universes with various compositions. The left panel illustrates cases with a smaller axion mass difference where the two components consist of 10−21eV and 10−22eV axions, while the right one illustrates cases for a larger axion mass difference composed of 10−20eV and 10−22eV axions. The “ADM/CDM” configuration is presented in both panels as references, particularly showing 10−20eV axions can be replaced by CDM to good precision. The data points −20 −22 from 0.1kc to 0.33kc for the “10 eV/10 eV” cases are replaced with the “ADM/CDM” universe on the right panel.

calculations can oﬀer the initial conditions for densities

FP, 10-22 eV; EA, 10-23 eV and velocities and would greatly improve future ADM FP, 10-22 eV simulations. 100 Finally, the puzzle for the existence of the massive quasar hosting galaxies at z 10 could be resolved via ≥ 2

| our two-component universes. We illustrate a particular 10-1

CDM case where one major component is free particles with −22 / axion mass 10 eV, and the other minor component is −23

A,ave extreme axions with axion mass 10 eV. The resulting

| large scale spectral bump from the minor light compo- 10-2 11∼12 nent corresponds to the halo mass of O(10 ) M⊙ that yields the ﬁrst-generation galaxies.

10-3 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 ACKNOWLEDGMENTS k/k c

FIG. 8. Transfer functions of the two-component universe This research is supported by the Ministry of Sci- −22 at a = aeq for a major component with 10 eV free par- ence and Technology (MOST) of Taiwan under Grants ticles and a minor component with 10−23eV extreme axions No. MOST 107-2119-M-002-036-MY3, and the NTU where the density ratio is 29 : 1. The dashed line is the one- Core Consortium project under Grants No. NTU-CC- component free particle case with axion mass 10−22eV for 108L893401 and No. NTU-CC-108L893402. comparison. It shows that a noticeable low-k spectral bump can be generated by a tiny fraction of the second light extreme axion component. Appendix A: Long-wave issue

In this section, we discuss the origin of, and the solu- dwarf galaxies may both be solved by the two-component tion for, the long-wave problem. It has been mentioned model. Two-component models offer a possibility of co- that as k 0.02kc22, the computation is prone to fail, ≤ −22 existing solitons of different sizes at the centers of galax- where kc22 is the critical k of 10 eV ADM. The first ies [36]. The soliton within another soliton scenario may issue is the inaccurate determination of rapidly decreas- solve the age problem of the star cluster at the center ing mass oscillations in ∆A long after the onset of mass of the dwarf galaxy (Eridanus II) [20, 21]. However, due oscillations. To solve this problem, the derivative is ap- to the non-linearity nature of the soliton, further simula- proximated by the slope of a distant section in ∆A imme- tions for this scenario are needed. For the first time, our diately before the transition. However, the accompanied 9 error may go up to 10%. On the other hand, this method and these modes are beyond the scope of this work. only applies to k 0.01kc22. For an even smaller k, the Another issue is subtraction in the denominator of met- mode enters horizon≤ near the matter-radiation equality, ric perturbation:

4πG a2[ǫ ∆ + ǫ ∆ + ǫ ∆ ]+ [Θ′ δθ′ + m2a2 sin Θ δθ +3HΘ′δθ ] φ = { γ γ b b ν ν i i i i i i i i }. (A1) k2 +4πG (Θ′ )2 − P i i P

In most cases, the k2 term dominates the denominator. we consider in this work. However, as the wavelength increases, the 4πG(Θ′)2 term would surpass the k2 term. There will be a zero-crossing Another solution to both problems is utilizing the in the denominator, but the numerator should also be super-horizon Schrödinger equation after the onset of zero at the crossing. Hence, the error of φ can be sub- mass oscillations. As mentioned at Sec. IV, this equa- stantially amplified. Our suggested solution is replacing tion requires an additional term involving φ′. The first the full-evolution φ (Eq. (A1)) with the passive evolution problem, the late transition problem, can be unraveled φ at an early time. The passive evolution metric pertur- since the transition time is sufficiently early. On the bation should be similar to the full-evolution counterpart other hand, the expression of potential after the transi- at early epochs as a result of the radiation dominance. tion to the Schrödinger equation invokes no singular de- The passive evolution potential has an analytical expres- nominator. It is the sum of all covariant energy density, sion [25], which can eschew the zero-crossing. This so- and hence, the zero-crossing conundrum can be avoided. lution can only be valid for modes entering the horizon However, as previously mentioned, an error up to 10% before the matter-radiation equality, which is the k range would be accompanied by this alternative.

[1] B. Moore, Evidence against dissipation-less of fuzzy and axion-like dark matter, dark matter from observations of galaxy haloes, Progress in Particle and Nuclear Physics 113, 103787 (2020). Nature 370, 629 (1994). [13] E. Armengaud, N. Palanque-Delabrouille, C. Yèche, [2] S.-J. Sin, Late-time phase transition and the galactic halo D. J. E. Marsh, and J. Baur, Constraining the mass as a bose liquid, Phys. Rev. D 50, 3650 (1994). of light bosonic dark matter using SDSS Lyman-α forest, [3] F. S. Guzmán and T. Matos, Scalar Monthly Notices of the Royal Astronomical Society 471, 4606 (2017), fields as dark matter in spiral galaxies, https://academic.oup.com/mnras/article-pdf/471/4/4606/19635244/stx1870.pdf. Classical and Quantum Gravity 17, L9 (1999). [14] T. Kobayashi, R. Murgia, A. De Simone, V. Irˇsiˇc, and [4] W. Hu, R. Barkana, and A. Gruzinov, Fuzzy cold dark M. Viel, Lyman-α constraints on ultralight scalar dark matter: The wave properties of ultralight particles, matter: Implications for the early and late universe, Phys. Rev. Lett. 85, 1158 (2000). Phys. Rev. D 96, 123514 (2017). [5] T. Matos, F. S. Guzmán, and L. A. Ureña- [15] D. J. E. Marsh and J. C. Niemeyer, Strong constraints on López, Scalar field as dark matter in the universe, fuzzy dark matter from ultrafaint dwarf galaxy eridanus Classical and Quantum Gravity 17, 1707 (2000). ii, Phys. Rev. Lett. 123, 051103 (2019). [6] V. Sahni and L. Wang, New cosmologi- [16] S.-R. Chen, H.-Y. Schive, and T. Chiueh, Jeans analy- cal model of quintessence and dark matter, sis for dwarf spheroidal galaxies in wave dark matter, Phys. Rev. D 62, 103517 (2000). Monthly Notices of the Royal Astronomical Society 468, 1338 (2017), [7] P. Svrcek and E. Witten, Axions in string theory, https://academic.oup.com/mnras/article-pdf/468/2/1338/11126918/stx449.pdf. Journal of High Energy Physics 2006, 051 (2006). [17] A. Wasserman, P. van Dokkum, A. J. Romanowsky, [8] H.-Y. Schive, T. Chiueh, and T. Broadhurst, Cosmic J. Brodie, S. Danieli, D. A. Forbes, R. Abra- structure as the quantum interference of a coherent dark ham, C. Martin, M. Matuszewski, A. Villaume, wave, Nature Physics 10, 496 (2014). J. Tamanas, and S. Profumo, Spatially resolved [9] H.-Y. Schive, M.-H. Liao, T.-P. Woo, S.-K. Wong, T. Chi- stellar kinematics of the ultra-diffuse galaxy drag- ueh, T. Broadhurst, and W.-Y. P. Hwang, Understanding onfly 44. II. constraints on fuzzy dark matter, the core-halo relation of quantum wave dark matter from The Astrophysical Journal 885, 155 (2019). 3d simulations, Phys. Rev. Lett. 113, 261302 (2014). [18] H. Davoudiasl and P. B. Denton, Ultralight boson dark [10] D. J. Marsh, Axion cosmology, matter and event horizon telescope observations of M87∗, Physics Reports 643, 1 (2016), axion cosmology. Phys. Rev. Lett. 123, 021102 (2019). [11] L. Hui, J. P. Ostriker, S. Tremaine, and E. Wit- [19] K.-H. Leong, H.-Y. Schive, U.-H. Zhang, and ten, Ultralight scalars as cosmological dark matter, T. Chiueh, Testing extreme-axion wave-like dark Phys. Rev. D 95, 043541 (2017). matter using the BOSS Lyman-alpha forest data, [12] J. C. Niemeyer, Small-scale structure Monthly Notices of the Royal Astronomical Society 484, 4273 (2019), 10

https://academic.oup.com/mnras/article-pdf/484/3/4273/27747301/stz271.pdf.The Astrophysical Journal 697, 850 (2009). [20] T. S. Li, J. D. Simon, A. Drlica-Wagner, K. Bechtol, [28] C.-P. Ma and E. Bertschinger, Cosmological Per- M. Y. Wang, J. Garc´ıa-Bellido, J. Frieman, J. L. Mar- turbation Theory in the Synchronous and Confor- shall, D. J. James, L. Strigari, A. B. Pace, E. Balbinot, mal Newtonian Gauges, Astrophys. J. 455, 7 (1995), Y. Zhang, T. M. C. Abbott, S. Allam, A. Benoit-Lévy, arXiv:astro-ph/9506072 [astro-ph]. G. M. Bernstein, E. Bertin, D. Brooks, D. L. Burke, [29] S. Dodelson, Modern Cosmology (Academic Press, Ams- A. C. Rosell, M. C. Kind, J. Carretero, C. E. Cunha, terdam, 2003). C. B. D’Andrea, L. N. da Costa, D. L. DePoy, S. De- [30] D. Tseliakhovich and C. Hirata, Relative velocity of dark sai, H. T. Diehl, T. F. Eifler, B. Flaugher, D. A. Gold- matter and baryonic fluids and the formation of the first stein, D. Gruen, R. A. Gruendl, J. Gschwend, G. Gutier- structures, Phys. Rev. D 82, 083520 (2010). rez, E. Krause, K. Kuehn, H. Lin, M. A. G. Maia, [31] B. Bar-Or, J.-B. Fouvry, and S. Tremaine, M. March, F. Menanteau, R. Miquel, A. A. Plazas, Relaxation in a fuzzy dark matter halo, A. K. Romer, E. Sanchez, B. Santiago, M. Schubnell, The Astrophysical Journal 871, 28 (2019). I. Sevilla-Noarbe, R. C. Smith, F. Sobreira, E. Suchyta, [32] R. Wang, J. Wagg, C. L. Carilli, F. Walter, L. Lentati, G. Tarle, D. Thomas, D. L. Tucker, A. R. Walker, X. Fan, D. A. Riechers, F. Bertoldi, D. Narayanan, R. H. Wechsler, W. Wester, and B. Y. and, Farthest M. A. Strauss, P. Cox, A. Omont, K. M. Menten, neighbor: The distant milky way satellite eridanus II, K. K. Knudsen, R. Neri, and L. Jiang, STAR FORMA- The Astrophysical Journal 838, 8 (2017). TION AND GAS KINEMATICS OF QUASAR HOST [21] H.-Y. Schive, T. Chiueh, and T. Broadhurst, Soliton ran- GALAXIES ATz∼ 6: NEW INSIGHTS FROM ALMA, dom walk and the cluster-stripping problem in ultralight The Astrophysical Journal 773, 44 (2013). dark matter, Phys. Rev. Lett. 124, 201301 (2020). [33] R. Decarli, F. Walter, B. P. Venemans, E. Bañados, [22] T. Chiueh, Dynamics of multicomponent, multifield F. Bertoldi, C. Carilli, X. Fan, E. P. Farina, C. Mazzuc- quintessence, Phys. Rev. D 65, 123502 (2002). chelli, D. Riechers, H. W. Rix, M. A. Strauss, R. Wang, [23] R. Emami, T. Broadhurst, G. Smoot, T. Chiueh, and and Y. Yang, Rapidly star-forming galaxies adjacent to H. N. Luu, Soliton solution for the central dark mass in quasars at redshifts exceeding 6, Nature 545, 457 (2017). 47-tuc globular cluster and implications for the axiverse, [34] L. Jiang, N. Kashikawa, S. Wang, G. Walth, L. C. Phys. Rev. D 101, 063006 (2020). Ho, Z. Cai, E. Egami, X. Fan, K. Ito, Y. Liang, [24] B. Schwabe, M. Gosenca, C. Behrens, J. C. Niemeyer, D. Schaerer, and D. P. Stark, Evidence for gn-z11 as a and R. Easther, Simulating mixed fuzzy and cold dark luminous galaxy at redshift 10.957, Nature Astronomy matter, Phys. Rev. D 102, 083518 (2020). 10.1038/s41550-020-01275-y (2020). [25] U.-H. Zhang and T. Chiueh, Evolution of linear wave [35] H.-Y. Schive, T. Chiueh, T. Broadhurst, and K.- dark matter perturbations in the radiation-dominated W. Huang, CONTRASTING GALAXY FORMATION era, Phys. Rev. D 96, 023507 (2017). FROM QUANTUM WAVE DARK MATTER,ψDM, [26] U.-H. Zhang and T. Chiueh, Cosmological pertur- WITH λCDM, USING PLANCK AND HUBBLE DATA, bations of extreme axion in the radiation era, The Astrophysical Journal 818, 89 (2016). Phys. Rev. D 96, 063522 (2017). [36] T. Broadhurst, I. De Martino, H. N. Luu, G. F. Smoot, [27] T.-P. Woo and T. Chiueh, HIGH-RESOLUTION SIM- and S.-H. H. Tye, Ghostly galaxies as solitons of bose- ULATION ON STRUCTURE FORMATION WITH einstein dark matter, Phys. Rev. D 101, 083012 (2020). EXTREMELY LIGHT BOSONIC DARK MATTER,