This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Testing weakest force with coldest spot

Rong-Gen Cai CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100190, China School of Fundamental Physics and Mathematical Sciences, Hangzhou Institute for Advanced Study (HIAS), University of Chinese Academy of Sciences, Hangzhou 310024, China    Shao-Jiang Wang [email protected] (corresponding author) CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100190, China Tufts Institute of Cosmology, Department of Physics and Astronomy, Tufts University, 574 Boston Avenue, Medford, Massachusetts 02155, USA Quantum Universe Center, Korea Institute for Advanced Study, Seoul 130-722, Korea    Su Yi    Jiang-Hao Yu CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100190, China School of Physical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China.
Abstract

Ultra-cold atom experiment in space with microgravity allows for realization of dilute atomic-gas Bose-Einstein condensate (BEC) with macroscopically large occupation number and significantly long condensate lifetime, which allows for a precise measurement on the shape oscillation frequency by calibrating itself over numerous oscillation periods. In this paper, we propose to measure the Newtonian gravitational constant via ultra-cold atom BEC with shape oscillation, although it is experimentally challenging. We also make a preliminary perspective on constraining the modified Newtonian potential such as the power-law potential, Yukawa interaction, and fat graviton. A resolution of frequency measurement of (1100)nHz(1-100)\,\mathrm{nHz} at most for the occupation number 10910^{9}, just one order above experimentally achievable number N106108N\sim 10^{6}-10^{8}, is feasible to constrain the modified Newtonian potential with Yukawa interaction greatly beyond the current exclusion limits.

I Introduction

Gravity has been conjectured to be the weakest force among all other fundamental interactions a long time ago ArkaniHamed:2006dz , and it is also conjectured to be weaker than the fifth-force mediated by other scalar fields, namely the dubbed scalar weak gravity conjecture Palti:2017elp and its strong version Gonzalo:2019gjp , from which a refined trans-Planckian censorship conjecture Cai:2019dzj is proposed as the bottomline constraint on the effective theories of cosmic inflation. Only until recently, the weak gravity conjecture is elaborated with a general argument from the positivity of black hole entropy shift from higher-dimension operators Cheung:2018cwt . Due to the weakestness of gravity, it is generally difficult to constrain deviation beyond the Einstein gravity (or Newtonian gravitational potential in the non-relativistic limit and the weak gravitational field regime) at small scales Adelberger:2009zz , despite of numerous constraints from the astrophysical/cosmological scales Uzan:2010ri ; Jain:2010ka ; Baker:2014zba ; Berti:2015itd ; Sakstein:2015oqa ; Koyama:2015vza ; Ishak:2018his ; Ferreira:2019xrr ; Baker:2019gxo .

To manifest the small-scale effects in experiments, the Bose-Einstein condensate (BEC) is extensively used to collectively exhibit macroscopic quantum properties that are typically displayed at microscopic scales due to the same quantum identity for all the atoms in a BEC system. However, the cold atom BEC experiments in the terrestrial environment are usually limited by its cooling temperature (nK) and observation time (10 ms - 1 s) due to the large gravity pull on Earth. Therefore, there is a growing interest recently vanZoest1540 ; Geiger2011 ; Becker2018 to implement the ultra-cold atom experiment in space to achieve a colder temperature (pK) and longer observation time (10 s -100 s) thanks to the microgravity environment (gravity gradient around 0.0001g/m0.0001\,\mathrm{g/m}). The ongoing projects have been proposed by NASA, China, ESA, Germany and France, most of which are focusing on the cold atom interferometry to investigate the modified gravity Tino:2020dsl , to search for the ultra-light dark matter Bertoldi:2019tck , and to detect the gravitational waves Bertoldi:2019tck in the sensitivity range between LISA and LIGO.

In this paper, we will mainly consider the ultra-cold dilute atomic-gas forming a BEC in a spherical harmonic trapping potential with shape oscillation. The long lifetime of BEC state allows for a precise measurement on the shape oscillation frequency, and constraints on the modified gravity is expected in principle. It is worth noting that our preliminary results only serve for theoretical interest since the experimental implements are still quite challenging, which will not be our focus in the current paper.

The paper is organized as follows: In Sec. II, we derive the general form of the Gross-Pitaevskii equation in the presence of a gravitational potential, from which the frequency deviations in the shape oscillation with respect to the gravity-free case are derived for some illustrative modified gravity theories in Sec. III. In Sec. IV, we give a preliminary perspective on the experimental constraints on these modified gravity theories. We summarize our results in Sec. V.

II Gross-Pitaevskii equation with gravitational potential

Consider NN weakly interacting cold atoms of mass mm constituting a dilute Bose gas trapped in an external potential VextV_{\mathrm{ext}} that would form BEC in the laboratory with aid of laser cooling and evaporative cooling techniques, its mean-field dynamics of the macroscopic wave function Ψ(r1,,rN)Πi=1Nψ(ri)\Psi(\vec{r}_{1},\cdots,\vec{r}_{N})\approx\Pi_{i=1}^{N}\psi(\vec{r}_{i}) could be essentially captured by a non-linear Schrödinger equation dubbed the Gross-Pitaevskii equation (GPE),

itψ(t,r)\displaystyle i\hbar\frac{\partial}{\partial t}\psi(t,\vec{r}\,) =[22m2+Vext(r)\displaystyle=\left[-\frac{\hbar^{2}}{2m}\vec{\nabla}^{2}+V_{\mathrm{ext}}(\vec{r}\,)\right. (1)
+Nd3rVint(rr)|ψ(t,r)|2]ψ(t,r),\displaystyle\left.+N\int\mathrm{d}^{3}\vec{r^{\prime}}\,\,V_{\mathrm{int}}(\vec{r}-\vec{r^{\prime}})|\psi(t,\vec{r^{\prime}})|^{2}\right]\psi(t,\vec{r}\,),

where the interacting potential VintV_{\mathrm{int}} consists of the usual ss-wave scattering potential as well as a gravitational potential,

Vint(rr)=gδ3(rr)+VG(|rr|)\displaystyle V_{\mathrm{int}}(\vec{r}-\vec{r^{\prime}})=g\delta^{3}(\vec{r}-\vec{r^{\prime}})+V_{G}(|\vec{r}-\vec{r^{\prime}}|) (2)

with g4π2a/mg\equiv 4\pi\hbar^{2}a/m characterizing the strength of the ss-wave scattering of length aa. Due to the extremely low temperature achieved in the ultra-cold atom experiments, the atoms in BEC are almost collision-less so that all higher-order partial-wave collisions are suppressed at zero collision energy in a short-ranged potential. The external trapping potential VextV_{\mathrm{ext}} is assumed to realize a perfect spherically symmetric form in space,

Vext(r)=12mω02r2,\displaystyle V_{\mathrm{ext}}(\vec{r}\,)=\frac{1}{2}m\omega_{0}^{2}r^{2}, (3)

defining a characteristic length scale for the BEC ground state by

a0mω0.\displaystyle a_{0}\equiv\sqrt{\frac{\hbar}{m\omega_{0}}}. (4)

For the gravitational potential probed by the ultra-cold atom experiment in space, we will focus on the following three kinds of the short-range modifications Adelberger:2006dh of the gravitational inverse-square law in the non-relativistic limit and the weak gravitational regime:

  1. 1.

    Power-law potential:

    VGpower(r)=Gm2r[1+βk(1mmr)k1],\displaystyle V_{G}^{\mathrm{power}}(r)=-\frac{Gm^{2}}{r}\left[1+\beta_{k}\left(\frac{1\,\mathrm{mm}}{r}\right)^{k-1}\right], (5)

    which could be produced by the simultaneous exchange of multiple massless bosons in the higher-order exchange processes. For example, the k=2k=2 case corresponds to the simultaneous exchange of two massless scalar bosons su:93 ; the k=3k=3 case corresponds to the simultaneous exchange of massless pseudo-scalar particles between two fermions with the γ5\gamma_{5}-couplings Ferrer:1998rw ; the k=5k=5 case corresponds to the simultaneous exchange of two massless pseudoscalars with the γ5γμμ\gamma_{5}\gamma^{\mu}\partial^{\mu} couplings Ferrer:1998rw such as the axion or other Goldstone bosons; and the fractional kk’s are expected from the unparticle exchange Deshpande:2007mf .

  2. 2.

    Yukawa interaction:

    VGYukawa(r)=Gm2r[1+αer/d],\displaystyle V_{G}^{\mathrm{Yukawa}}(r)=-\frac{Gm^{2}}{r}\left[1+\alpha\,\mathrm{e}^{-r/d}\right], (6)

    which could be produced by the exchange of natural-parity bosons between unpolarized bodies with the boson mass c/d\hbar c/d.

  3. 3.

    Fat graviton:

    Ffat(r)\displaystyle F_{\mathrm{fat}}(r) =Gm2r2[1exp(r3λ3)],\displaystyle=-\frac{Gm^{2}}{r^{2}}\left[1-\exp\left(-\frac{r^{3}}{\lambda^{3}}\right)\right], (7)
    VGfat(r)\displaystyle V_{G}^{\mathrm{fat}}(r) =Gm2r[1E4/3(r3λ3)]\displaystyle=-\frac{Gm^{2}}{r}\left[1-E_{4/3}\left(\frac{r^{3}}{\lambda^{3}}\right)\right] (8)

    with the exponential integral function Eν(z)=1ezttνdtE_{\nu}(z)=\int_{1}^{\infty}\mathrm{e}^{-zt}t^{-\nu}\mathrm{d}t. Here the graviton is conjectured to be a “fat” object with size λ\lambda Sundrum:2003jq , and the gravitational force falls off rapidly to zero at r0r\to 0 limit Adelberger:2006dh .

II.1 Equation of motion

The GPE could be derived from the variation of the action PhysRevLett.77.5320 ; PhysRevA.56.1424 ; Gupta:2015cta

S\displaystyle S =dtL=dtd3r,\displaystyle=\int\mathrm{d}tL=\int\mathrm{d}t\int\mathrm{d}^{3}\vec{r}\,\,\mathcal{L}, (9)
\displaystyle\mathcal{L} =i2(ψψtψψt)+22mψψ+Vext|ψ|2\displaystyle=\frac{i\hbar}{2}\left(\psi\frac{\partial\psi^{*}}{\partial t}-\psi^{*}\frac{\partial\psi}{\partial t}\right)+\frac{\hbar^{2}}{2m}\vec{\nabla}\psi^{*}\cdot\vec{\nabla}\psi+V_{\mathrm{ext}}|\psi|^{2}
+gN2|ψ|4+N2|ψ|2d3rVG(|rr|)|ψ(t,r)|2\displaystyle+\frac{gN}{2}|\psi|^{4}+\frac{N}{2}|\psi|^{2}\int\mathrm{d}^{3}\vec{r^{\prime}}\,\,V_{G}(|\vec{r}-\vec{r^{\prime}}|)|\psi(t,\vec{r^{\prime}})|^{2} (10)

with respect to δψ\delta\psi and δψ\delta\psi^{*}. For a normalized wave function ansatz,

ψ(t,r)=ei[γ(t)+B(t)r2](πσ(t))3/2er22σ(t)2,\displaystyle\psi(t,\vec{r}\,)=\frac{\mathrm{e}^{i\left[\gamma(t)+B(t)r^{2}\right]}}{(\sqrt{\pi}\sigma(t))^{3/2}}\mathrm{e}^{-\frac{r^{2}}{2\sigma(t)^{2}}}, (11)

the width parameter σ(t)\sigma(t) and phase parameters γ(t)\gamma(t) and B(t)B(t) could be solved from the corresponding Euler-Lagrange equations of Lagrangian

L\displaystyle L =d3r=γ˙+LG+gN42π3σ3\displaystyle=\int\mathrm{d}^{3}\vec{r}\,\,\mathcal{L}=\hbar\dot{\gamma}+L_{G}+\frac{gN}{4\sqrt{2\pi^{3}}\sigma^{3}}
+32σ2(B˙+22mB2+22mσ4+12mω02),\displaystyle+\frac{3}{2}\sigma^{2}\left(\hbar\dot{B}+\frac{2\hbar^{2}}{m}B^{2}+\frac{\hbar^{2}}{2m\sigma^{4}}+\frac{1}{2}m\omega_{0}^{2}\right), (12)

where

LG\displaystyle L_{G} =N2d3r1|ψ(t,r1)|2d2r2VG(|r1r2|)|ψ(t,r2)|2\displaystyle=\frac{N}{2}\int\mathrm{d}^{3}\vec{r}_{1}\,|\psi(t,\vec{r}_{1})|^{2}\int\mathrm{d}^{2}\vec{r}_{2}\,V_{G}(|\vec{r}_{1}-\vec{r}_{2}|)|\psi(t,\vec{r}_{2})|^{2}
=N2π3d3r1d3r2VG(|r1r2|)1σ6er12+r22σ2\displaystyle=\frac{N}{2\pi^{3}}\int\mathrm{d}^{3}\vec{r}_{1}\mathrm{d}^{3}\vec{r}_{2}V_{G}(|\vec{r}_{1}-\vec{r}_{2}|)\frac{1}{\sigma^{6}}\mathrm{e}^{-\frac{r_{1}^{2}+r_{2}^{2}}{\sigma^{2}}} (13)

will be analytically evaluated later with specific form of the gravitational potential.

The total time-derivative term γ˙(t)\hbar\dot{\gamma}(t) in (II.1) does not admit a dynamical equation, and the rest of Euler-Lagrange equations for σ(t)\sigma(t) and B(t)B(t) read

B(t)=mσ˙(t)2σ(t),\displaystyle B(t)=\frac{m\dot{\sigma}(t)}{2\hbar\sigma(t)}, (14)
B˙+22mB222mσ4+12mω02=gN42π3σ513σdLGdσ,\displaystyle\hbar\dot{B}+\frac{2\hbar^{2}}{m}B^{2}-\frac{\hbar^{2}}{2m\sigma^{4}}+\frac{1}{2}m\omega_{0}^{2}=\frac{gN}{4\sqrt{2\pi^{3}}\sigma^{5}}-\frac{1}{3\sigma}\frac{\mathrm{d}L_{G}}{\mathrm{d}\sigma}, (15)

respectively, which could be combined into a single equation of motion (EOM)

mσ¨=mω02σ+2mσ3+gN22π3σ423dLGdσ.\displaystyle m\ddot{\sigma}=-m\omega_{0}^{2}\sigma+\frac{\hbar^{2}}{m\sigma^{3}}+\frac{gN}{2\sqrt{2\pi^{3}}\sigma^{4}}-\frac{2}{3}\frac{\mathrm{d}L_{G}}{\mathrm{d}\sigma}. (16)

After adopting following dimensionless quantities,

τ=ω0t,ν=σa0,\displaystyle\tau=\omega_{0}t,\quad\nu=\frac{\sigma}{a_{0}}, (17)

the EOM (16) becomes

d2νdτ2+dUdν=0,\displaystyle\frac{\mathrm{d}^{2}\nu}{\mathrm{d}\tau^{2}}+\frac{\mathrm{d}U}{\mathrm{d}\nu}=0, (18)

which effectively describes a particle moving in a dimensionless effective potential

U(ν)=12(ν2+1ν2)+2πN3ν3aa0+23LGω0.\displaystyle U(\nu)=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right)+\sqrt{\frac{2}{\pi}}\frac{N}{3\nu^{3}}\frac{a}{a_{0}}+\frac{2}{3}\frac{L_{G}}{\hbar\omega_{0}}. (19)

To evaluate LGL_{G} in (19), we first make replacements of variables as

r=12(r1r2),R=12(r1+r2),\displaystyle\vec{r}=\frac{1}{\sqrt{2}}\left(\vec{r}_{1}-\vec{r}_{2}\right),\quad\vec{R}=\frac{1}{\sqrt{2}}\left(\vec{r}_{1}+\vec{r}_{2}\right), (20)

so that r12+r22=r2+R2r_{1}^{2}+r_{2}^{2}=r^{2}+R^{2}, and then LGL_{G} becomes

LG=N2π3σ60dR(4πR2)eR2σ20dr(4πr2)VG(2r)er2σ2.\displaystyle L_{G}=\frac{N}{2\pi^{3}\sigma^{6}}\int_{0}^{\infty}\mathrm{d}R(4\pi R^{2})\mathrm{e}^{-\frac{R^{2}}{\sigma^{2}}}\int_{0}^{\infty}\mathrm{d}r(4\pi r^{2})V_{G}(\sqrt{2}r)\mathrm{e}^{-\frac{r^{2}}{\sigma^{2}}}. (21)

After employing the following dimensionless quantities

x=ra0,a0G=Gm2ω0cω0m2mPl2,\displaystyle x=\frac{r}{a_{0}},\quad a_{0}^{G}=\frac{Gm^{2}}{\hbar\omega_{0}}\equiv\frac{c}{\omega_{0}}\frac{m^{2}}{m_{\mathrm{Pl}}^{2}}, (22)

with the Planck mass mPlc/Gm_{\mathrm{Pl}}\equiv\sqrt{\hbar c/G}, one arrives at

LGω0=N2π3/2a0Ga0I(ν)ν3,\displaystyle\frac{L_{G}}{\hbar\omega_{0}}=\frac{N}{2\pi^{3/2}}\frac{a_{0}^{G}}{a_{0}}\frac{I(\nu)}{\nu^{3}}, (23)

where the integration I(ν)I(\nu) reads

I(ν)=0dx(4πx2)[a0Gm2VG(2a0x)]ex2ν2.\displaystyle I(\nu)=\int_{0}^{\infty}\mathrm{d}x(4\pi x^{2})\left[\frac{a_{0}}{Gm^{2}}V_{G}(\sqrt{2}a_{0}x)\right]\mathrm{e}^{-\frac{x^{2}}{\nu^{2}}}. (24)

Therefore, the EOM could be solved for given effective potential of form

U(ν)=12(ν2+1ν2)+2πN3ν3aa0+N3π3/2a0Ga0I(ν)ν3.\displaystyle U(\nu)=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right)+\sqrt{\frac{2}{\pi}}\frac{N}{3\nu^{3}}\frac{a}{a_{0}}+\frac{N}{3\pi^{3/2}}\frac{a_{0}^{G}}{a_{0}}\frac{I(\nu)}{\nu^{3}}. (25)

If U(ν)U(\nu) admits a local minimum νmin\nu_{\mathrm{min}}, the width of BEC σ(t)=ν(t)a0\sigma(t)=\nu(t)a_{0} would experience the shape oscillation with frequency ω=U′′(νmin)ω0\omega=\sqrt{U^{\prime\prime}(\nu_{\mathrm{min}})}\omega_{0} around νmin\nu_{\mathrm{min}}. An illustration for the effective potential is shown in Fig. 1 with magnetically manipulated scattering length a=0a=0 (as we will assume later), and the cases without gravity (black solid line), with the Newtonian gravity only (blue solid line), and with extra Yukawa interaction (red dashed line), which will be presented in detail in the following sections in addition to the cases with the extra power-law potential and the fat-graviton potential.

Refer to caption
Figure 1: The effective potential for BEC oscillation in the ultra-cold atom experiment with magnetically manipulated scattering length a=0a=0. The gravitational potentials are illustrated for the cases without gravity (black solid line), with Newtonian gravity only (blue solid line), and with Yukawa interaction (red dashed line).

II.2 Shape oscillation frequency

To estimate the contributions of each term in the effective potential (25), one could adopt the typical value of a0104cma_{0}\sim 10^{-4}\,\mathrm{cm} and N106108N\sim 10^{6}-10^{8}, which is experimentally achievable currently, as well as a0Ga_{0}^{G} taken to be

a0G=cω0(mmPl)2=1.747×1028cm(ω0Hz)1A2,\displaystyle a_{0}^{G}=\frac{c}{\omega_{0}}\left(\frac{m}{m_{\mathrm{Pl}}}\right)^{2}=1.747\times 10^{-28}\,\mathrm{cm}\left(\frac{\omega_{0}}{\mathrm{Hz}}\right)^{-1}A^{2}, (26)

where the atomic mass number AA is usually around order of hundred, and the trapping frequency ω0\omega_{0} could be adjusted in the range of 5010,00050-10,000 Hz. Therefore, for typical choice of scattering length aa0a0Ga\approx a_{0}\gg a_{0}^{G} due to the m/mPlm/m_{\mathrm{Pl}} suppression in the ratio a0G/a010241022a_{0}^{G}/a_{0}\sim 10^{-24}-10^{-22}, the second term would dominate over the third term in (25), namely, the ss-wave scattering would totally erase the trace of gravitational potential. To manifest the gravitational effect, one could tune down the scattering length aa magnetically to zero Cornish:2000zz (Hereafter we will assume this idealistic condition for our preliminary studies) so that we can get rid of the second term in (25), and the effect of additional gravitational potential could be extracted from the frequency deviation of shape oscillation PhysRevA.47.4114 ; Inouye1998 ; PhysRevLett.81.69 ; PhysRevLett.81.5109 in the absence of gravity.

II.2.1 Without gravity

In the case without gravity PhysRevA.56.1424 , the effective potential reads

U(ν)=12(ν2+1ν2),\displaystyle U(\nu)=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right), (27)

and the corresponding EOM

d2νdτ2+ν1ν3=0\displaystyle\frac{\mathrm{d}^{2}\nu}{\mathrm{d}\tau^{2}}+\nu-\frac{1}{\nu^{3}}=0 (28)

is solved by

ν0(τ)=1νi1+νi4+(νi41)cos2τ2\displaystyle\nu_{0}(\tau)=\frac{1}{\nu_{i}}\sqrt{\frac{1+\nu_{i}^{4}+(\nu_{i}^{4}-1)\cos 2\tau}{2}} (29)

with initial condition ν(τ=0)=νi\nu(\tau=0)=\nu_{i}. The corresponding local minimum νmin=1\nu_{\mathrm{min}}=1 could be solved from the zeros of the effective potential U(ν)=0U^{\prime}(\nu)=0, around which the oscillation frequency is exactly ω(νmin)U′′(νmin)ω0=2ω0\omega(\nu_{\mathrm{min}})\equiv\sqrt{U^{\prime\prime}(\nu_{\mathrm{min}})}\omega_{0}=2\omega_{0} to the second order. Higher order terms in the expansion of ν(τ)\nu(\tau) around νmin\nu_{\mathrm{min}}, which should be extracted by recording the full time evolution of shape oscillation in the experiment, could be ignored in principle by controlling the initial size νi\nu_{i} near νmin\nu_{\mathrm{min}}.

II.2.2 With Newtonian gravity only

As for the shape oscillation with only Newtonian gravity included, the effective potential is computed as

U(ν)=12(ν2+1ν2)2πNa0G3a0ν,\displaystyle U(\nu)=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right)-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu}, (30)

from which the oscillation frequency is found to be deviated from 2ω02\omega_{0} by

ω2ω0=1+14(1νmin41),\displaystyle\frac{\omega}{2\omega_{0}}=\sqrt{1+\frac{1}{4}\left(\frac{1}{\nu_{\mathrm{min}}^{4}}-1\right)}, (31)

where the local minimum νmin\nu_{\mathrm{min}} is the root of U(ν)=0U^{\prime}(\nu)=0, namely,

1νmin41=2πNa0G3a0νmin3.\displaystyle\frac{1}{\nu_{\mathrm{min}}^{4}}-1=\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu_{\mathrm{min}}^{3}}. (32)

Due to the suppression factor a0G/a01a_{0}^{G}/a_{0}\ll 1, deviations on both the local minimum νmin\nu_{\mathrm{min}} from 1 and oscillation frequency ω\omega from 2ω02\omega_{0}, respectively, are extremely small.

Nevertheless, if the oscillation frequency could be measured to a high accuracy, we are able to obtain the Newtonian gravitational constant in this BEC experiment. In fact, the combination of (31) and (32) gives rise to an expression for the Newtonian gravitational constant as

G=π23σmin3mN(ω24ω02),\displaystyle G=\sqrt{\frac{\pi}{2}}\frac{3\sigma_{\mathrm{min}}^{3}}{mN}(\omega^{2}-4\omega_{0}^{2}), (33)

from which the derivative with respect to frequency change reads

dGdω=3Gσmindσmindω+32πσmin3mNω.\displaystyle\frac{\mathrm{d}G}{\mathrm{d}\omega}=\frac{3G}{\sigma_{\mathrm{min}}}\frac{\mathrm{d}\sigma_{\mathrm{min}}}{\mathrm{d}\omega}+3\sqrt{2\pi}\frac{\sigma_{\mathrm{min}}^{3}}{mN}\omega. (34)

To further evaluate the part of dσmin/dω\mathrm{d}\sigma_{\mathrm{min}}/\mathrm{d}\omega, one first rewrites (32) as

a04=σmin4+2πmN3ω02Gσmin,\displaystyle a_{0}^{4}=\sigma_{\mathrm{min}}^{4}+\sqrt{\frac{2}{\pi}}\frac{mN}{3\omega_{0}^{2}}G\sigma_{\mathrm{min}}, (35)

which, after taking derivative, becomes

0=4σmin3dσmindω+2πmN3ω02d(Gσmin)dω.\displaystyle 0=4\sigma_{\mathrm{min}}^{3}\frac{\mathrm{d}\sigma_{\mathrm{min}}}{\mathrm{d}\omega}+\sqrt{\frac{2}{\pi}}\frac{mN}{3\omega_{0}^{2}}\frac{\mathrm{d}(G\sigma_{\mathrm{min}})}{\mathrm{d}\omega}. (36)

Here the derivative term d(Gσmin)/dω\mathrm{d}(G\sigma_{\mathrm{min}})/\mathrm{d}\omega could be replaced by taking the derivative of (33) after multiplied with σmin\sigma_{\mathrm{min}}, namely,

d(Gσmin)dω=32πa04mNωω04(ω23ω02)2.\displaystyle\frac{\mathrm{d}(G\sigma_{\mathrm{min}})}{\mathrm{d}\omega}=3\sqrt{2\pi}\frac{a_{0}^{4}}{mN}\frac{\omega\omega_{0}^{4}}{(\omega^{2}-3\omega_{0}^{2})^{2}}. (37)

Then dσmin/dω\mathrm{d}\sigma_{\mathrm{min}}/\mathrm{d}\omega could be obtained from above two equations as

dσmindω=ωσmin52ω02a04.\displaystyle\frac{\mathrm{d}\sigma_{\mathrm{min}}}{\mathrm{d}\omega}=-\frac{\omega\sigma_{\mathrm{min}}^{5}}{2\omega_{0}^{2}a_{0}^{4}}. (38)

Now (34) could be exactly calculated as

1GdGdω=ω32(ω24ω02)(ω23ω02)\displaystyle\frac{1}{G}\frac{\mathrm{d}G}{\mathrm{d}\omega}=\frac{\omega^{3}}{2(\omega^{2}-4\omega_{0}^{2})(\omega^{2}-3\omega_{0}^{2})} (39)

without explicitly finding the root of (32). Finally, by approximating ω2ω0\omega\approx 2\omega_{0} in the factors ω+2ω0\omega+2\omega_{0} and ω23ω02\omega^{2}-3\omega_{0}^{2}, we arrive at a preliminary estimation for the relative error of GG from the relative error of ω\omega as

ΔGGΔωω/(ω2ω01),\displaystyle\frac{\Delta G}{G}\approx\frac{\Delta\omega}{\omega}\bigg{/}\left(\frac{\omega}{2\omega_{0}}-1\right), (40)

which is suppressed by the frequency deviation ω/(2ω0)1\omega/(2\omega_{0})-1.

As we will see later at the Newtonian limit of modified gravity theories, the frequency deviation ω/(2ω0)1\omega/(2\omega_{0})-1 is usually of the size 101410^{-14} for N=109N=10^{9} just above the current achievable N106108N\sim 10^{6}-10^{8}, which requires the relative error on the ω\omega as small as 101810^{-18} if we want to measure ΔG/G\Delta G/G up to precision of 10410^{-4}. This corresponds to a resolution of frequency measurement Δω1018ω10161014Hz\Delta\omega\sim 10^{-18}\omega\sim 10^{-16}-10^{-14}\,\mathrm{Hz} provided that the value of ω0\omega_{0} ranges from 5010000Hz50-10000\,\mathrm{Hz}. However, the practical resolution of frequency measurement could be relaxed since the oscillation frequency could be measured and calibrated over numerous oscillation periods for sufficiently long lifetime of the BEC state like that in space. To our knowledge, despite of the atom interferometric determination of the Newtonian gravitational constant Rosi:2014kva ; Fixler:2007is , our proposal for the measurement on Newtonian gravitational constant from the cold atom BEC experiment with shape oscillation has not been investigated in the literature, although it is experimentally more challenging.

On the other hand, with Newtonian gravitational constant known from other experiments, we can further probe the realms of modified gravity theories by measuring the deviation of the oscillation frequency. Note that the impact on the relative error of the oscillation frequency due to the Newtonian gravitational potential is much smaller than the frequency deviation as seen from (40), namely,

ΔωωΔGG(ω2ω01)(ω2ω01),\displaystyle\frac{\Delta\omega}{\omega}\approx\frac{\Delta G}{G}\left(\frac{\omega}{2\omega_{0}}-1\right)\ll\left(\frac{\omega}{2\omega_{0}}-1\right), (41)

as long as the frequency deviation is small, ω2ω0\omega\approx 2\omega_{0}, and the Newtonian gravitational constant could be measured from other experiments to relatively high accuracy, ΔG/G1\Delta G/G\ll 1.

III Shape oscillation for modified gravitational potential

III.1 Power-law potential

For an additional power-law potential (5) to the Newtonian gravity, the corresponding effective potential is obtained as

U(ν)\displaystyle U(\nu) =12(ν2+1ν2)\displaystyle=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right) (42)
2πNa0G3a0ν[1+βk(1mm/a02ν)k1Γ(3k2)]\displaystyle-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu}\left[1+\beta_{k}\left(\frac{1\,\mathrm{mm}/a_{0}}{\sqrt{2}\nu}\right)^{k-1}\Gamma\left(\frac{3-k}{2}\right)\right]

for k<3k<3. For k3k\geq 3, the integral (24) is not well-defined. Similar to (31), the oscillation frequency could be found to be deviated from 2ω02\omega_{0} by

ω2ω0\displaystyle\frac{\omega}{2\omega_{0}} =1+2k4(1νmin41)+k142πNa0G3a0νmin3,\displaystyle=\sqrt{1+\frac{2-k}{4}\left(\frac{1}{\nu_{\mathrm{min}}^{4}}-1\right)+\frac{k-1}{4}\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu_{\mathrm{min}}^{3}}}, (43)

where the local minimum νmin\nu_{\mathrm{min}} is determined by U(ν)=0U^{\prime}(\nu)=0 as

1νmin41=\displaystyle\frac{1}{\nu_{\mathrm{min}}^{4}}-1= 2πNa0G3a0νmin3[1+.\displaystyle\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu_{\mathrm{min}}^{3}}\left[1+\bigg{.}\right.
kβk(1mm/a02νmin)k1Γ(3k2)].\displaystyle\left.k\beta_{k}\left(\frac{1\,\mathrm{mm}/a_{0}}{\sqrt{2}\nu_{\mathrm{min}}}\right)^{k-1}\Gamma\left(\frac{3-k}{2}\right)\right]. (44)

III.2 Yukawa interaction

For an additional Yukawa interaction (6) to the Newtonian gravity, the corresponding effective potential is obtained as

U(ν)\displaystyle U(\nu) =12(ν2+1ν2)2πNa0G3a0ν\displaystyle=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right)-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu}
×{1+α[1π(βν2)eβ2ν22Erfc(βν2)]},\displaystyle\times\left\{1+\alpha\left[1-\sqrt{\pi}\left(\frac{\beta\nu}{\sqrt{2}}\right)\mathrm{e}^{\frac{\beta^{2}\nu^{2}}{2}}\mathrm{Erfc}\left(\frac{\beta\nu}{\sqrt{2}}\right)\right]\right\}, (45)

where βa0/d\beta\equiv a_{0}/d and Erfc(z)1Erf(z)\mathrm{Erfc}(z)\equiv 1-\mathrm{Erf}(z) is the complementary error function. The oscillation frequency could be found to be deviated from 2ω02\omega_{0} by

ω2ω0=\displaystyle\frac{\omega}{2\omega_{0}}= {1+(1νmin41)(1+β2νmin24)\displaystyle\left\{1+\left(\frac{1}{\nu_{\mathrm{min}}^{4}}-1\right)\left(1+\frac{\beta^{2}\nu_{\mathrm{min}}^{2}}{4}\right)\right.
2πNa0Ga03+3α+β2vmin212vmin3}1/2,\displaystyle\left.-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{a_{0}}\frac{3+3\alpha+\beta^{2}v_{\mathrm{min}}^{2}}{12v_{\mathrm{min}}^{3}}\right\}^{1/2}, (46)

where the local minimum νmin\nu_{\mathrm{min}} is determined by U(ν)=0U^{\prime}(\nu)=0 as

1νmin41=\displaystyle\frac{1}{\nu_{\mathrm{min}}^{4}}-1= 2πNa0G3a0νmin3[1+ααβ2νmin2\displaystyle\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu_{\mathrm{min}}^{3}}\left[1+\alpha-\alpha\beta^{2}\nu_{\mathrm{min}}^{2}\right.
+π2αβ3νmin3Erfc(βνmin2)].\displaystyle\left.+\sqrt{\frac{\pi}{2}}\alpha\beta^{3}\nu_{\mathrm{min}}^{3}\mathrm{Erfc}\left(\frac{\beta\nu_{\mathrm{min}}}{\sqrt{2}}\right)\right]. (47)

III.3 Fat graviton

For an additional fat-graviton potential (8) to the Newtonian gravity, the corresponding effective potential is obtained as

U(ν)\displaystyle U(\nu) =12(ν2+1ν2)2πNa0G3a0ν×\displaystyle=\frac{1}{2}\left(\nu^{2}+\frac{1}{\nu^{2}}\right)-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu}\times
[112β2ν2Γ(53)2F2(12,56;23,32;154β6ν6)\displaystyle\left[1-\frac{1}{2\beta^{2}\nu^{2}}\Gamma\left(\frac{5}{3}\right)\,_{2}F_{2}\left(\frac{1}{2},\frac{5}{6};\frac{2}{3},\frac{3}{2};-\frac{1}{54\beta^{6}\nu^{6}}\right)\right.
145β4ν4Γ(23)2F2(56,76;43,116;154β6ν6)\displaystyle-\frac{1}{45\beta^{4}\nu^{4}}\Gamma\left(-\frac{2}{3}\right)\,_{2}F_{2}\left(\frac{5}{6},\frac{7}{6};\frac{4}{3},\frac{11}{6};-\frac{1}{54\beta^{6}\nu^{6}}\right)
156β6ν63F3(1,76,32;43,53,136;156β6ν6)],\displaystyle\left.-\frac{1}{56\beta^{6}\nu^{6}}\,_{3}F_{3}\left(1,\frac{7}{6},\frac{3}{2};\frac{4}{3},\frac{5}{3},\frac{13}{6};-\frac{1}{56\beta^{6}\nu^{6}}\right)\right], (48)

where βa0/λ\beta\equiv a_{0}/\lambda and Fqp(a1,,ap;b1,,bq;z)\,{}_{p}F_{q}(a_{1},\cdots,a_{p};b_{1},\cdots,b_{q};z) is the generalized hypergeometric function. The oscillation frequency could be found to be deviated from 2ω02\omega_{0} by

ω2ω0\displaystyle\frac{\omega}{2\omega_{0}} ={1+34(1νmin41)2πNa0G6a0νmin3[1.\displaystyle=\left\{1+\frac{3}{4}\left(\frac{1}{\nu_{\mathrm{min}}^{4}}-1\right)-\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{6a_{0}\nu_{\mathrm{min}}^{3}}\left[1\bigg{.}\right.\right.
3β2νmin2Γ(53)1F1(56;23;154β6νmin6)\displaystyle-\frac{3}{\beta^{2}\nu_{\mathrm{min}}^{2}}\Gamma\left(\frac{5}{3}\right)\,_{1}F_{1}\left(\frac{5}{6};\frac{2}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
+32β4νmin4Γ(43)1F1(76;43;154β6νmin6)\displaystyle+\frac{3}{2\beta^{4}\nu_{\mathrm{min}}^{4}}\Gamma\left(\frac{4}{3}\right)\,_{1}F_{1}\left(\frac{7}{6};\frac{4}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
12β6νmin62F2(1,32;43,53;154β6νmin6)\displaystyle-\frac{1}{2\beta^{6}\nu_{\mathrm{min}}^{6}}\,_{2}F_{2}\left(1,\frac{3}{2};\frac{4}{3},\frac{5}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
+548β8νmin8Γ(53)1F1(116;53;154β6νmin6)\displaystyle+\frac{5}{48\beta^{8}\nu_{\mathrm{min}}^{8}}\Gamma\left(\frac{5}{3}\right)\,_{1}F_{1}\left(\frac{11}{6};\frac{5}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
7288β10νmin10Γ(43)1F1(136;73;154β6νmin6)\displaystyle-\frac{7}{288\beta^{10}\nu_{\mathrm{min}}^{10}}\Gamma\left(\frac{4}{3}\right)\,_{1}F_{1}\left(\frac{13}{6};\frac{7}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
+3640β12νmin122F2(2,52;73,83;154β6νmin6)]}1/2,\displaystyle\left.\left.+\frac{3}{640\beta^{12}\nu_{\mathrm{min}}^{12}}\,_{2}F_{2}\left(2,\frac{5}{2};\frac{7}{3},\frac{8}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)\right]\right\}^{1/2}, (49)

where the local minimum νmin\nu_{\mathrm{min}} is determined by U(ν)=0U^{\prime}(\nu)=0 as

1νmin41\displaystyle\frac{1}{\nu_{\mathrm{min}}^{4}}-1 =2πNa0G3a0νmin3[1.\displaystyle=\sqrt{\frac{2}{\pi}}\frac{Na_{0}^{G}}{3a_{0}\nu_{\mathrm{min}}^{3}}\left[1\bigg{.}\right.
1β2νmin2Γ(23)1F1(56;23;154β6νmin6)\displaystyle-\frac{1}{\beta^{2}\nu_{\mathrm{min}}^{2}}\Gamma\left(\frac{2}{3}\right)\,_{1}F_{1}\left(\frac{5}{6};\frac{2}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
19β4νmin4Γ(23)1F1(76;43;154β6νmin6)\displaystyle-\frac{1}{9\beta^{4}\nu_{\mathrm{min}}^{4}}\Gamma\left(-\frac{2}{3}\right)\,_{1}F_{1}\left(\frac{7}{6};\frac{4}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)
18β6νmin62F2(1,32;43,53;154β6νmin6)].\displaystyle\left.-\frac{1}{8\beta^{6}\nu_{\mathrm{min}}^{6}}\,_{2}F_{2}\left(1,\frac{3}{2};\frac{4}{3},\frac{5}{3};-\frac{1}{54\beta^{6}\nu_{\mathrm{min}}^{6}}\right)\right]. (50)

IV Experimental perspective

To maximize the effect from the gravitational potential on the effective potential (25), NN should be sufficiently large to balance the suppression factor a0G/a0a_{0}^{G}/a_{0} (chosen as 3×10223\times 10^{-22} specifically in this section). Therefore, we will take NN as 10910^{9}, just one order above the experimentally achievable N106108N\sim 10^{6}-10^{8} currently, which might be feasible in the far future in space, although it is regarded here just as a preliminary theoretical perspective. We will also take NN up to 101210^{12}, although it is not feasible in practice. The smaller number of NN could be compensated by a larger ratio of a0G/a0a_{0}^{G}/a_{0} with the larger atomic mass mm and the smaller trapping frequency ω0\omega_{0}, although the two conditions are usually difficult to be satisfied simultaneously in the experiment.

Refer to caption
Refer to caption
Figure 2: The frequency deviation in the shape oscillation with respect to the gravity-free case for the power-law potential (left panel) and fat-graviton potential (right panel) with particles number N=109N=10^{9} (red solid lines) and N=1012N=10^{12} (blue solid lines) beyond the current achievable values N106108N\sim 10^{6}-10^{8}. The shaded regions are excluded by current experiments (left panel and λ>98μm/0.914\lambda>98\,\mu\mathrm{m}/0.914 in the right panel) and naturalness argument (λ<20μm/0.914\lambda<20\,\mu\mathrm{m}/0.914 in the right panel). The dashed lines are for negative values of ω/ω02\omega/\omega_{0}-2.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 3: Experimental perspective for the modified Newtonian gravitational potential with Yukawa interaction. In the first panel, with small deviation in the oscillation frequency with respect to the gravity-free case, the time evolution of the BEC radius deviates with power-law in time. The absolute value of oscillation frequency deviations with respect to the parameter space of Yukawa interaction are shown in the second and forth panels for different values of condensed particle number with the white curves indicated by the current experimental exclusion limits. There is a small parameter region in the upper left corner with flipped sign for the frequency deviation when the Yuakwa interaction range comparable or smaller than the characteristic length scale of the BEC state as also shown in the third panel. The dashed lines are for negative values of ω/ω02\omega/\omega_{0}-2. In the fifth panel, the potential minimum νmin\nu_{\mathrm{min}} is depicted with respect to α\alpha for different interaction range dd, which experiences cross-over transition for d>a0d>a_{0} (blue curves) but first-order phase transition for d<a0d<a_{0} (red curves). In the last panel, the absolute deviation of oscillation frequency is presented with respect to a largely extended parameter space supported by dd down to 101210^{-12} m and α\alpha up to 103010^{30}. The white curves are borrowed from ANTONIADIS2011755 ; Mostepanenko:2020lqe for comparison with experimental constraints.

IV.1 Power-law potential

For the power-law potential (5), we will take k=2k=2 for illustration. The deviation of the oscillation frequency (43) with respect to the gravity-free oscillation frequency 2ω02\omega_{0} is shown in the left panel of Fig. 2 for the particle numbers N=109N=10^{9} (red line) and N=1012N=10^{12} (blue line), where the shaded regions β2>1.3×103\beta_{2}>1.3\times 10^{-3} Hoskins:1985tn , β2>4.5×104\beta_{2}>4.5\times 10^{-4} Adelberger:2006dh , and β2>3.7×104\beta_{2}>3.7\times 10^{-4} Tan:2020vpf are excluded by the existing experiments. Unfortunately, despite of the smallness of frequency deviation, it is also insensitive to the size of coefficient βk\beta_{k}. Therefore, the ultra-cold BEC experiment in space cannot constrain the modified gravity with power-law gravitational potential.

IV.2 Yukawa interaction

The experimental perspective for the gravitational potential with Yukawa interaction (6) are presented in Fig. 3. The deviations of the oscillation frequency (III.2) with respect to the gravity-free oscillation frequency 2ω02\omega_{0} are shown for the particle numbers N=109N=10^{9} (the second panel) and N=1012N=10^{12} (the fourth panel) with respect to the current exclusion limits Hoyle:2004cw ; Kapner:2006si ; Hoskins:1985tn ; Decca:2005qz ; Chen:2014oda ; Chiaverini:2002cb ; Geraci:2008hb ; Long:2002wn ; Tu:2007zz ; Yang:2012zzb ; Tan:2016vwu ; Tan:2020vpf ; Lee:2020zjt . The frequency deviations are insensitive to both dd and α\alpha when α𝒪(10)\alpha\lesssim\mathcal{O}(10), which are as small as 101410^{-14} (the second panel) and 101110^{-11} (the fourth panel), respectively. For d106md\gtrsim 10^{-6}\,\mathrm{m}, the frequency deviation grows with power-law in the range of α𝒪(10)\alpha\gtrsim\mathcal{O}(10). For d<106md<10^{-6}\,\mathrm{m}, the frequency deviation flips a sign around α𝒪(10)\alpha\sim\mathcal{O}(10), after which the absolute value of frequency deviation still grows with power-law in α\alpha. This could also be seen in the third panel for some illustrative values of NN and dd, where the dashed lines denote for the negative value of the frequency deviation ω/ω02\omega/\omega_{0}-2. Note that the regime of flipped sign appears when dd is smaller than the characteristic length scale a0106ma_{0}\simeq 10^{-6}\,\mathrm{m} of the BEC state. Except for the region of flipped sign, the frequency deviation would be insensitive to the interaction range dd for given α\alpha, which could greatly push current exclusion limits.

To detect such a small frequency deviation, for example in the regime of α𝒪(10)\alpha\lesssim\mathcal{O}(10) with ω/ω021014\omega/\omega_{0}-2\simeq 10^{-14} for N=109N=10^{9} and ω/ω021011\omega/\omega_{0}-2\simeq 10^{-11} for N=1012N=10^{12} , we need the resolution of frequency in the measurement as

N=109\displaystyle N=10^{9} :Δω1014ω(1100)pHz,\displaystyle:\Delta\omega\simeq 10^{-14}\omega\simeq(1-100)\,\mathrm{pHz}, (51)
N=1012\displaystyle N=10^{12} :Δω1011ω(1100)nHz,\displaystyle:\Delta\omega\simeq 10^{-11}\omega\simeq(1-100)\,\mathrm{nHz}, (52)

where the trapping frequency is usually in the range of 5010,00050-10,000 Hz. The above requirement for the resolution of frequency could be either relaxed in the regime where the absolute value of frequency deviation |ω/ω02||\omega/\omega_{0}-2| grows with the power-law in α\alpha, or enhanced in the regime where the frequency deviation ω/ω02\omega/\omega_{0}-2 flips a sign.

However, the actual requirement for the resolution of frequency measurement could be further relaxed universally in the whole parameter space of dd and α\alpha by virtue of the long lifetime of ultra-cold BEC in space. In fact, the difference between the measured time-evolution ν(τ)\nu(\tau) of oscillating BEC and the gravity-free solution ν0(τ)\nu_{0}(\tau) grows with power-law in time τ\tau as seen in the first panel of Fig. 3. Furthermore, for trapping frequency in the range of 5010,00050-10,000 Hz, the measurement of BEC oscillations up to τ104\tau\sim 10^{4} corresponds to a condensate lifetime of 11001-100 seconds that is exactly comparable to the free-fall time achieved with the help of microgravity environment. Therefore, even if the current resolution of frequency-measurement is not high enough to determine the oscillation frequency within a single oscillation period, the long-time measurement of oscillating BEC in space allows us to calibrate the measured frequency from previous oscillation period to higher precision over the next numerous oscillation periods. In our specific case, the measurement of oscillations up to τ104\tau\sim 10^{4} corresponds to n103n\sim 10^{3} periods, which could further relax the resolution of frequency measurement down to

N=109\displaystyle N=10^{9} :ΔωnTnΔω(1100)nHz,\displaystyle:\Delta\omega_{nT}\sim n\Delta\omega\simeq(1-100)\,\mathrm{nHz}, (53)
N=1012\displaystyle N=10^{12} :ΔωnTnΔω(1100)μHz.\displaystyle:\Delta\omega_{nT}\sim n\Delta\omega\simeq(1-100)\,\mu\mathrm{Hz}. (54)

As matter of a preliminary investigation, we also study the Yukawa interaction in a largely extended parameter space supported by the interaction range dd down to 101210^{-12} m and strength α\alpha up to 103010^{30}. For the cases of d>a0d>a_{0} and d<a0d<a_{0}, the potential minimum νmin\nu_{\mathrm{min}} experiences a cross-over and first-order phase transitions with increasing α\alpha as shown with blue and red curves in the fifth panel of Fig. 3, respectively. The absolute deviation of oscillation frequency in this extended parameter space is depicted in the last panel of Fig. 3, which is relatively small for the blue and purple regions so that the impact on the relative error of the oscillation frequency from the Newtonian gravitational potential is negligible compared to the measured deviation of oscillation frequency according to (41). Therefore, this parameter regions could be promising to be ruled out by future ultra-cold atom experiments. The rest of the parameter regions, although largely affected by the Newtonian potential, were already ruled out mostly by the current constraints reviewed in ANTONIADIS2011755 ; Mostepanenko:2020lqe and references therein. Furthermore, the idealistic condition we assume for neglecting the second term in (25) could be relaxed for large α\alpha in the extended parameter space, and the further investigation for the full competitions of all three terms in (25) will be reserved for future work.

IV.3 Fat graviton

For the fat-graviton potential (8), the deviation of oscillation frequency (III.3) with respect to the gravity-free oscillation frequency 2ω02\omega_{0} is shown in the right panel of Fig. 2 for the particle numbers N=109N=10^{9} (red line) and N=1012N=10^{12} (blue line), where the dashed lines denote for the negative value of the frequency deviation ω/ω02\omega/\omega_{0}-2, and the shaded region λ>98μm/0.914\lambda>98\,\mu\mathrm{m}/0.914 is excluded by the experiments Kapner:2006si ; Adelberger:2006dh . The other shaded region λ<20μm/0.914\lambda<20\,\mu\mathrm{m}/0.914 is argued by naturalness in Sundrum:2003jq . Similar to case with power-law potential, the frequency deviation is also insensitive to λ\lambda regardless of the flipped sign around λ2×106m\lambda\simeq 2\times 10^{-6}\,\mathrm{m}, which is also roughly the characteristic length scale a0106ma_{0}\simeq 10^{-6}\,\mathrm{m} of BEC state. Therefore, the ultra-cold BEC experiment in space also cannot constrain the modified gravity with fat-graviton potential in the regime of interest 20μm/0.914<λ<98μm/0.91420\,\mu\mathrm{m}/0.914<\lambda<98\,\mu\mathrm{m}/0.914.

V Conclusion and discussions

Contrary to the native expectation that gravity cannot be further constrained at small scales since it is weakest among all other fundamental/quintessential interactions, the ultra-cold BEC experiments in space with microgravity environment could explore the parameter space in the modified Newtonian potentials because this experiment could significantly extend the observation time so as to precisely measure the microscopic properties of gravity via its macroscopic manifestation on the BEC state with shape oscillation. Newtonian gravity and several modified gravity theories are examined in detail. The results with Yukawa interaction are optimistic in probing the parameter space greatly beyond the current experimental exclusion limits. However, the results with the Newtonian gravity, power-law potential and fat-graviton potential are quite pessimistic. Several comments are given below:

Firstly, our proposal of measurement on Newtonian gravitational constant is new to our knowledge in the sense of the use of cold-atom BEC with shape oscillation, although it is experimentally more challenging than the current use of atom interferometer.

Secondly, the long lifetime of BEC state in space buys us more time to measure and calibrate the oscillation frequency over numerous periods so that the actual resolution of frequency measurement could be relaxed compared to the frequency resolution in a single period.

Thirdly, our estimation for the frequency resolution is quite conservative, which could be further relaxed for α𝒪(10)\alpha\gtrsim\mathcal{O}(10) in the regime of d106105md\sim 10^{-6}-10^{-5}\,\mathrm{m} where frequency deviation grows with power-law in α\alpha. This greatly improves the current exclusion limits.

Acknowledgements.
We would like to thank Run-Qiu Yang for useful correspondences. Rong-Gen Cai is supported by the National Natural Science Foundation of China Grants No. 11947302, No. 11991052, No. 11690022, No. 11821505 and No. 11851302, and by the Strategic Priority Research Program of CAS Grant No. XDB23030100, and by the Key Research Program of Frontier Sciences of CAS. Su Yi is supported by the National Key Research and Development Program of China (Grant No. 2017YFA0304501). Jiang-Hao Yu is supported by the National Science Foundation of China under Grants No. 11875003 and No. 11947302. Shao-Jiang Wang was supported by the postdoctoral scholarship of Tufts University from NSF when part of the work was done at Tufts University.

References