Evolution of perturbation and power spectrum in a two-component ultralight axionic universe Yi-Hsiung Hsu1, ∗ and Tzihong Chiueh1, 2, 3, † 1Institute of Astrophysics, National Taiwan University, Taipei 10617, Taiwan 2Department of Physics, National Taiwan University, Taipei 10617, Taiwan 3Center for Theoretical Physics, National Taiwan University, Taipei 10617, Taiwan (Dated: May 17, 2021) The evolution of cosmic perturbations in a two-component ultralight axionic universe is investi- gated. We present the first spectral computation of perturbations in multi-component universes. A particular case composed of light extreme axions and free massive particles offers a possibility for the formation of very high-redshift massive galaxies, which are typically required to host massive early quasars. Our computation retains the information of perturbed velocities for individual axion components, opening a new avenue for setting up initial conditions for future axion dark matter simulations. I. INTRODUCTION soliton. In this regard, the age constraint could be alle- viated. Dark matter has played an essential role in the struc- The multi-component universe has recently been a ris- ture formation of the universe. While cold dark mat- ing research area [22–24]. In this paper, we explore the ter (CDM) has long been successful in determining large potential of multi-component universes. We aim to ana- scale structures, it may fail in explaining small scale fea- lyze linear perturbations specifically for two-component tures [1]. Ultralight axion dark matter (ADM), which universes. We focus on the mass range from 10−22eV has its string origin, has been proposed as an alternative to 10−20eV and produce their power spectra. We also to solve this problem [2–9], and some recent reviews can compute a universe composed of 10−22eV and 10−23eV be found in [10–12]. axions, which shows a feature that could generate high While successful in accounting for the small-scale spec- red-shift massive galaxies. tral deviation, the axion mass tension has posed a prob- Ultralight axion perturbations in the radiation epoch lem to this model. In particular, analyses from Lyman- have been analyzed in [25, 26], while those in the matter α forest give a constraint on mass lower bound at era can be found in [27]. Our computation follows much −21 10 eV [13, 14]. The mass has even been suggestedto be in these papers, especially [25] and [26], which are en- −20 −21 larger than 10 eV with a small window at 10 eV in gaged in the evolution for complete perturbed equations [15]. On the other hand, analyses on dwarf galaxies have (full evolution). However, the full-evolution approach is −22 shown that ADM favors mass around 10 eV [16, 17]. formidably time-consuming to compute due to the stiff- ∗ In addition, the superradiance of M87 has excluded the ness of the differential equations. Hence, we shall make −21 −21 mass range 2.9 10 4.6 10 eV [18]. This some approximations to remove the equation stiffness × ∼ × inconsistency in axion masses has been a major prob- and execute the computation efficiently. To smooth out lem to this model. Though the so-called extreme axion the rapid mass oscillations of the Klein-Gordon equation, model has been proposed to solve this particular prob- we adopt the Schr¨odinger equation after the onset of mass lem [19], multi-component universes could also offer a oscillations and the horizon entry. For photon and baryon solution with more degrees of freedom, as shown in this perturbations, they involved strong Thomson scattering work. at the early time, and this scattering entails very small On the other front, a central compact star cluster has time steps for integration. We, therefore, utilize the dif- arXiv:2012.07602v2 [astro-ph.CO] 14 May 2021 been observed in the dwarf galaxy Eridanus II [20]. In fusion approximation to cure this problem. The latter the ADM context, the star cluster should sit inside a soli- approximation only works between the time of horizon ton, one of the unique nonlinear features of the ADM. entry and when strong Thomson scattering becomes fee- However, the soliton random walk is prone to destroy ble. After the mean free path (lT ) becomes comparable the observed central star cluster; although one solution to the wavelength of mode k, we need to switch from has been proposed in [21], their simulation has imposed the diffusion approximation back to the original friction a 5 Gyr bound on the star cluster’s age. Two-component coupling. universes may provide a different scenario where the star We find these improvements increase the efficiency of cluster is strongly trapped by a second more compact computing the linear perturbations by several orders of magnitude and provides a new way to generate initial conditions at z 100 for future ADM simulations. In addition, the goodness≤ of matching conditions bridging ∗ [email protected] the full evolution and the approximations are carefully † [email protected] evaluated in this paper. 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¨odinger 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¨odinger 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¨odinger equation where the primes denote d/dτ. For the axion angle per- turbation δΘ, 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¨odinger 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).