1. Introduction
Ultra-cold atoms confined within an optical lattice have played a pivotal role in the development of modern atomic clocks [
1,
2,
3,
4], the advancement of quantum techniques [
5,
6,
7,
8,
9], and the exploration of fundamental physics [
10,
11,
12,
13]. Accurate determination of the atom number in the lattice is crucial to fully harness the potential of these applications. For instance, precise knowledge of the atom number is essential for studying many-body interactions [
14], thereby reducing systematic uncertainties in optical lattice clocks (OLCs) [
1,
2,
3,
4].
Commonly employed methods for atom number measurement include fluorescence detection and absorption imaging [
15,
16,
17]. However, the fluorescence detection method is typically limited by uncertainties arising from the effective solid angle and probe light intensity, resulting in a measurement uncertainty greater than 15% [
15]. On the other hand, the absorption imaging technique offers a lower measurement uncertainty below 10%, relying on knowledge of the atomic sample shape and technical noise levels [
16]. Recently, advancements in synchronized frequency comparison based on in situ measurements have effectively canceled out interrogation laser noise, improving measurement stability [
18,
19]. The comparison stability is constrained by atomic detection noises, including quantum projection noise (QPN), photon shot noise, and technical noise [
20,
21]. This progress has spurred the development of a new method to measure the atom number based on QPN. The previous method of measuring atom numbers from atomic detection noise required the neglect of technical noise [
22]. This prerequisite prevented the utilization of atom number measurement based on the QPN.
In this paper, we present a method to distinguish the QPN noise, photon shot noise and technical noise in a Dick-noise-free OLC [
18,
19,
23,
24,
25]. By conducting three separate stability measurements with modulations of the atom number (
N0) or the photon count (
γ0) detected per atom by the photoelectric detector, it becomes possible to extract the contributions of each noise responsible for clock stability. This method allows us to accurately determine the value of
N0 by differentiating QPN from other sources of noise. To further enhance precision, we use numerical simulations to investigate how modulation parameters influence the measurement uncertainty of
N0 and how measurement precision evolves as
N0 increases.
2. Methods
Assuming a transition probability of 0.5 and disregarding the detection laser noise, which is typically much less significant than other factors in an OLC [
21],the clock stability
σa at
τ=1 can be represented by [
23,
26]
In Eq. (1), corresponds to the variance contributed by the QPN, with T0 representing the clock cycle time and S0 denoting the frequency-sensitive slope of the spectrum at half-height points. refers to the variance originating from the photon shot noise, while represents the contribution of the technical noise. Here, δN stands for the rms fluctuation of atoms detected by the photoelectric detector. As the three types of noise exhibit distinct dependencies on N0 and γ0, it becomes possible to differentiate them effectively by modulating N0 and γ0.
By controlling the detection laser intensity or its duration (
Tdet),
γ0 can be manipulated. Specifically, by adjusting
Tdet to
Tdet /
α while keeping other parameters constant as defined in Eq. (1), the value of
γ0 will change to
γ0/
α. Consequently, the overall clock stability can be represented as
In the same manner, by changing
N0 to
N0/
β, we can separate the technical noise from other noises, and the overall clock stability is denoted by
Combining Eqs. (1)~(3), the contributions of different noise sources can be determined by solving
Once the value of σQPN is obtained using Eq. (4), it becomes possible to determine the absolute atom number in an OLC.
3. Results and Discussion
To validate our approach and identify the optimal modulation parameters (
α and
β) for minimizing measurement uncertainty, we employ numerical simulations. This simulation involves three main steps. In step 1, all the required parameters are initialized and the values of
σa~
σc are calculated. In step 2, the clock comparison process between two clocks is executed with a total measurement time of approximately 2.2 hours, where the Dick effect is cancelled by setting the clock laser noise to be zero [
27]. The cancellation of the Dick effect is realized in experiment by synchronous frequency comparison between two clocks [
23,
28] or using the i
n situ imaging technique to compare two regions of cold ensembles in a clock [
18,
19,
22,
25]. Three cases with noise amplitudes of
σa,
σb, and
σc are simultaneously simulated. The noise-induced frequency fluctuation is generated by multiplying
σa ~
σc with normally distributed random numbers. During the frequency correction, the noise is added to the measured frequency errors. Consequently, the comparison stability can be obtained for the Allan variance of the frequency difference between the two clocks. The Allan variance of a single clock should divide the comparison stability by 2 [
28]. In this work, we utilize Rabi detection with an interrogation time of
Tp =0.1 s, which can be easily implemented in the experiment. It should be noted that the specific choice of
Tp has minimal impact on the numerical results obtained. The frequency correction can be expressed as (
PeR-
PeL)/2
S0, where
PeR and
PeL represent the excitation fractions on the right and left sides of the spectrum, respectively. In step 3, the stabilities are calculated and the parameters of
σQPN,
σShot and
σDet are extracted. Subsequently, the value of
N0 is determined by
.
To verify the accuracy of our numerical calculation code, we compare the stabilities obtained from numerical simulations at three sets of parameters to the theoretical results shown in
Figure 1. The parameters used for this comparison are
T0=1 s,
N0=500,
γ0=1,
δN=3 [
23],
α=0.2,
β=0.1. The excellent agreement observed in
Figure 1 between the numerical and theoretical results confirms the correctness of our code and the validity of our method.
To investigate the influence of
α and
β on the measurement uncertainty of
N0, we study the standard deviation of 50 independent simulations at different combinations of
α and
β, as shown in
Figure 2(a) for
N0=500 and
Figure 2(b) for
N0=2000. Similar uncertainty distributions are observed for both cases. The smallest uncertainty is achieved at
α=5.71 and
β=0.1 for
N0=500, and
α=3.84 and
β=0.27 for
N0=2000.
We also found that the maximum difference in measurement uncertainty within the ranges of
α=0.1~0.44 and
β=1.97~6.73 is below 4% at the current total measurement time of 6.7 h. Therefore, we choose the parameters of
α=3.84 and
β=0.27 to numerically simulate the measurements of
N0 using our approach.
Figure 3 demonstrates good agreement between numerical and theoretical results as
N0 exceeds about 200. However, it should be noted that larger measurement uncertainties are observed when
N0 is lower than 200 due to larger noise and reduced stability. The larger noise can correspond to stronger excitation fraction fluctuation, which may cause deviations in the half-height points of the Rabi spectrum more frequently. Although the frequency-sensitivity slope
S0 is not constant for the Rabi spectrum, we use a constant
S0 to infer
N0, leading to deviations for small
N0.
We verify our inference by conducting a comparison of
N0 measurement results using the Rabi and triangular spectra (shown in
Figure 4), respectively. Benefitting from the frequency-detuning independent
S0, the triangular spectrum will not be affected by the excitation fraction fluctuations.
Figure 4 demonstrates good agreement between theory and numerical result as the triangular spectrum is used, which is the powerful evidence of our hypothesis. Nevertheless, to achieve the triangular spectrum is challenging, this phenomenon suggests that our method can effectively function when
N0 exceeds about 200.
Exploring the relationship between total time consumption and measurement uncertainty using our approach presents an intriguing avenue for further study, given their crucial role in experiments.
Figure 5 shows the relationship between relative uncertainty and total measurement time. It is evident that as the time increases, the uncertainties decrease following a slope of -0.5. This observation aligns with the fact that clock-comparison instability also decreases at the same slope of -0.5 with increasing averaging time. Through linear regression analysis, we determined that achieving a 1% uncertainty (one order of smaller than the typical uncertainty of absorption imaging [
15,
16,
17]), requires a measurement time of approximately 20 hours.
In the real world, the number of atoms trapped in the lattice may vary from shot-to-shot clock cycles, making it important to study the relationship between the fluctuation amplitude of atom number and measurement uncertainty using our method. Both factors are critical in experiments. To induce atom number fluctuations, we added discrete random integers to the set value of
N0 in every clock cycle, where the added noise followed a normal distribution
N~(2000, 2000
σf), where
σf represents the fractional fluctuation of the atom number and can be ranged from 0 to 1.
Figure 6(a) shows the atom number as a function of measurement time, while
Figure 6(b) presents the numerical results of the extracted averaging atom number and corresponding relative uncertainty as a function of
σf. Surprisingly, we found that the measurement uncertainty is almost independent of
σf when the value of
σf is smaller than about 14%. However, for larger values of
σf, the measurement uncertainty rapidly increases, and the determined atom number deviates from the theoretical value of 2000.
Figure 6(b) indicates that our method is effective, as long as the standard deviation of atom number fluctuation is controlled below 0.14 times the averaging atom number.