Abstract
Quantum theory predicts that entanglement can also persist in macroscopic physical systems, albeit difficulties to demonstrate it experimentally remain. Recently, significant progress has been achieved and genuine entanglement between up to 2900 atoms was reported. Here, we demonstrate 16 million genuinely entangled atoms in a solidstate quantum memory prepared by the heralded absorption of a single photon. We develop an entanglement witness for quantifying the number of genuinely entangled particles based on the collective effect of directed emission combined with the nonclassical nature of the emitted light. The method is applicable to a wide range of physical systems and is effective even in situations with significant losses. Our results clarify the role of multipartite entanglement in ensemblebased quantum memories and demonstrate the accessibility to certain classes of multipartite entanglement with limited experimental control.
Introduction
A clear picture of largescale entanglement with its complex structure is so far not developed. It is, however, important to understand the role of different facets of multipartite entanglement in nature and in technical applications^{1, 2}. For example, the socalled Schrödinger cat states^{3} are fundamentally different from a singlephoton coherently absorbed by a large atomic ensemble; even though both are instances of multipartite entanglement (ref. ^{4}, chapter 16.5). The theoretical study of largescale entanglement has to be followed by an experimental demonstration, which consists of two basic steps: the preparation of an entangled system and a subsequent appropriate measurement verifying the presence of entanglement. In the context of entanglement in large systems, the preparation of entanglement is generally much simpler than its verification. For example, singleparticle measurements are often not possible and collective measurements are typically restricted to certain types and are of finite resolution. These limitations call for new witnesses that allow one to certify entanglement based on accessible measurement data.
The concept of entanglement depth^{5} was shown to be meaningful for and applicable to large quantum systems. It is defined as the smallest number of genuinely entangled particles that is compatible with the measured data. This allows one to witness at least one subgroup of genuinely entangled particles in a stateindependent and scalable way. Large entanglement depth was successfully demonstrated with socalled spinsqueezed and oversqueezed states by measuring first and second moments of collective spin operators^{6,7,8,9}; lately up of 680 atoms^{10}. Similar ideas were realized for photonic systems^{11, 12}. Recently, a witness was proposed that is designed for the W state, which is a coherent superposition of a single excitation shared by many atoms^{13}. Based on this witness, an entanglement depth of around 2900 was measured^{14}. However, these witnesses do not detect entanglement when the vacuum component of the state is dominant^{13}, even though the W state is known to be quite robust against various sources of noise, in particular, against loss of particles and excitation^{15}. Hence, much larger values for the entanglement depth could be expected.
In this paper, we present theoretical methods and experimental data that verify a large entanglement depth in a solidstate quantum memory. A rareearthiondoped crystal spectrally shaped to an atomic frequency comb (AFC) is used to absorb and reemit light at the singlephoton level^{16,17,18,19}, where at least 40 billion atoms collectively interact with the optical field. Using the measured photon number statistics of the reemitted light we collect partial information about the quantum state of the atomic ensemble before emission. Then, we show that certain combinations of reemission probabilities for one and two photons imply entanglement between a large number of atoms. With the measured data from our solidstate quantum memory we demonstrate inseparable groups of entangled particles containing at least 16 million atoms.
Results
Intuition behind detecting manyatom entanglement
Before discussing the experiment, we give an intuitive explanation for the appearance of large entanglement depth when a large atomic ensemble coherently interacts with a single photon (Fig. 1a). Suppose that N twolevel atoms (\(\left g \right\rangle \) and \(\left e \right\rangle \) denote ground and excited state, respectively), couple to a light field. The quantized interaction in the dipole approximation is described by^{20}
that is, a single photon with wave vector k is annihilated by exciting atom j via \({\sigma _ + }\left g \right\rangle = \left e \right\rangle \) and vice versa. The phase is given by the scalar product between k and the position r _{ j } of the atom. When an incoming light field is absorbed via interaction (1), the imprinted phase relation between the atoms serves as a memory for the direction and the energy of the absorbed photons. Without this information, a spontaneous, directed reemission is not possible. In other words, phase coherence between the atoms is necessary in order to a have wellcontrolled reemission direction^{21, 22}. Now, depending on the nature of the absorbed light, this coherence implies entanglement between the atoms or not. On the one hand, the absorption of a coherent state leads to a coherent atomic state, which is unentangled (ref. ^{4}, chapter 16.7). On the other hand, if a single photon \(\left 1 \right\rangle \) is absorbed, the quantization of the field leads to a W state (or Dicke state with a single excitation) of the atomic state (ref. ^{4}, chapter 16.5)
Then, the ensemble is genuinely multipartite entangled^{15}. These examples suggest a generic relation between directed emission, singlephoton character of the emitted light and large entangled groups.
In our experiment, we use a neodymiumbased solidstate quantum memory operating at a total read–write efficiency of 7% (Fig. 1b). This memory was demonstrated to be capable of storing different types of photonic states and preserving state properties such as the singlephoton character^{17, 19, 23,24,25}. A heralded single photon is produced via spontaneous parametric down conversion (SPDC)^{26} and coupled to the atomic ensemble, which was prepared in the ground state \(\left {{D_0}} \right\rangle = {\left g \right\rangle ^{ \otimes N}}\). After a 50 ns delay time, the coherent excitation is spontaneously reemitted in forward direction and detected. In practice, this optical state is not exactly a single photon. Due to losses at different levels, the state contains a large vacuum component. Also higher photon components are present. However, since directed emission and nonclassical photon number statistics are largely preserved, entanglement between large groups of atoms is expected.
Derivation of the entanglement depth witness
In order to certify this entanglement, we develop the following entanglement witness (see Methods section for details). Consider a pure state that is subdivided into a product of M groups
where the \(\left {{\phi _i}} \right\rangle \) are arbitrary. Phase coherence between the groups implies that each group has to carry some excitation. This necessarily amounts to an emission spectrum that also contains multiphoton components.
To be more specific, we consider the probabilities of the atoms emitting one and two photons, p _{1} and p _{2}, respectively. In the lowexcitation limit (see Methods section), these probabilities correspond to \({p_1} = {\left {\left\langle {{D_1}} \right\left. \psi \right\rangle } \right^2}\) and \({p_2} = {\left {\left\langle {{D_2}} \right\left. \psi \right\rangle } \right^2}\), where
that is, the phasecoherent superposition of two excitiatons. As shown in the Methods section, it is possible to find the minimal p _{2} for a given p _{1} within the class (3) with fixed M. By varying p _{1} and M one finds a lower bound on p _{2} as a function of p _{1} and M. Given the linearity of p _{1} and p _{2} when mixing states like in Eq. (3) (with arbitrary grouping but lowerbounded M), the extension of the bound to mixed states is straightforward. Examples of such lower bounds are shown in Fig. 2. Note that the bounds are independent of N if \(N \gg 1\). Comparing the lower bounds with experimental data in turn gives an upper bound on M and, by additionally measuring N, a lower bound on the entanglement depth, which simply reads K = N/M.
Experimental realization and measured data
Experimentally, p _{1} is obtained from the probability to measure a single reemitted photon in the forward mode (k _{f} in Fig. 1b) at a predetermined time, which we herald by the detection of the idler photon at the source. The value of p _{2} corresponds to the twophoton statistics of the reemitted light in the k _{f} mode. It is inferred from the measured autocorrelation function \(g_{{\rm{ssi}}}^{(2)} = 2{p_2}{\rm{/}}p_1^2\) and p _{1}. The identification of photonic Fock states with atomic Dicke states is possible because the memory is initially prepared in the ground state and because of the photon number statistics of the source (Methods section). From the raw data, we find p _{1} = 2.3(3) × 10^{−3} and p _{2} = 5(2) × 10^{−8}. The relatively small value of p _{1} is a product of the efficiencies of the source, the memory and detectors. The partial subtraction of these losses leads to different values of the effective p _{1} (Fig. 2, Table 1, and Methods): (i) raw data; (ii) subtraction of detector noise, that is, the actual value for the emitted light; (iii) subtraction of the reemission inefficiency, that is, the singleexcitation component of the atomic ensemble just before emission; (iv) subtraction of phase noise during storage, that is, overlap with the \(\left {{D_1}} \right\rangle \) state right after absorption. The values of p _{2} directly follow using the measured autocorrelation function \(g_{{\rm{ssi}}}^{(2)} = 0.020(3)\), which is—under conservative assumptions—not affected by this modeling.
A key element in the experiment is the highprecision measurement of N. For this, the relation between ensemble size and directionality of the reemitted light is exploited. The ratio of the coherent emission in the forward direction and the incoherent emission in the backward direction is a lower bound on the number of resonant atoms^{22}. Since incoherent emission from single photons is much lower than detector dark counts, the singlephoton source is replaced by a bright coherent state for this measurement (Fig. 1b and Methods section) and we find N ≥ 4.0(1) × 10^{10}. The resulting K depends on the level of modeling (i) to (iv) as mentioned before (Table 1). Our data analysis illustrates how decoherence and noise reduces the certifiable entanglement depth. Immediately after absorption of the single photon (iv) we have an entanglement depth of about 10^{9}; this reduces to about 10^{7} just before and immediately after reemission (iii) and (ii), respectively, while when taking into account all losses and detector inefficiencies the certifiable entanglement depth drops to about 10^{5} (i). In our opinion, a conservative but reasonable number of the certified entanglement depth is 10^{7}. Indeed, on the one side the entanglement depth of 10^{9} in (iv) relies more on our theoretical model than on our data, while on the other side the 10^{5} value in (i) takes into account wellunderstood losses that are not part of the physical phenomenon we aim to certify.
Discussion
This work demonstrates that large entanglement depth is experimentally certifiable even with atomic ensembles beyond 10^{10} atoms and low detection and reemission efficiencies. We prove that entanglement between many atoms is necessary for the functioning of quantum memories that are based on collective emission, because the combination of directed emission (i.e., highmemory efficiency) and preservation of the singlephoton character imply large entanglement depth.
Our results further illustrate the fundamental difference between various manifestations of large entanglement. The scales at which we observe entanglement depth seem to be completely out of reach for other types of large entanglement, such as Schrödingercat states^{2, 27}.
As detailed in the Methods section, our reasoning is based on two steps. First, a modelindependent witness for entanglement depth is derived, which only depends on the overlap of the atomic state with \(\left {{D_1}} \right\rangle \) and \(\left {{D_2}} \right\rangle \) as well as the total number of atoms, N. In the experiment, we measure the probabilities p _{1} and p _{2} for one and two photons, respectively, emitted from the atomic ensemble. The second step consists in identifying p _{1} and p _{2} with the probabilities of the atomic ensemble being in the \(\left {{D_1}} \right\rangle \) and \(\left {{D_2}} \right\rangle \) state before the reemission, respectively. This step as well as the measurement of N are based on some assumptions regarding the atomic ensemble, the singlephoton source and the lightmatter interaction, Eq. (1). In addition, our claimed entanglement depth in the order of 10^{7} takes finite detector efficiencies into account. We emphasis, however, that these assumptions have been thoroughly tested in the classical and quantum regime in many previous experiments. Further note that the entanglement depth is generated by a probabilistic but heralded source. Hence no postselection has been made in our experiment.
We report lower bounds on the minimal number of genuinely entangled atoms, which should not be confused with quantifying entanglement with an entanglement measure. Indeed, the nature of the target state, the W state \(\left {{D_1}} \right\rangle \), and the experimental challenges suggest that only a small amount of entanglement is present in the crystal during the storage.
We note that entanglement between many large groups of atoms in a solid is demonstrated in a parallel submission by Zarkeshian et al., where the coherence between these groups is revealed by analyzing the temporal profile of the reemission in the forward direction.
Methods
Heralded singlephoton source
The single photon used to prepare the entangled state of the atomic ensemble is generated using SPDC. A 2 mW monochromatic continuouswave 532 nm laser pumps a periodically poled potassium titanyl phosphate waveguide to generate the signal and idler photons at 883 and 1338 nm, respectively. The two downconverted photons are energytime entangled. The narrow spectral filtering of the signal (idler) photon is performed using a Fabry–Perot cavity with a linewidth of 600 MHz (240 MHz)^{26}. The detection of the idler photon heralds the presence of a signal photon in a well defined spectral, temporal and polarization mode. The heralded single photon is then absorbed in the quantum memory. The zerotime secondorder autocorrelation of the heralded single photon before storage in the quantum memory was measured to be g _{ssi} = 0.0055(2) when using a 1.2 ns coincidence window. The idler mode is detected by an InGaAs/InP singlephoton detector ID220 from ID Quantique (20% detection efficiency), while the signal mode is analyzed using silicon avalanche photodiodes from Perkin Elmer (30% detection efficiency).
Solidstate quantum memory
The singlephoton storage is performed using a broadband and polarizationpreserving quantum memory^{19} realized by placing two 5.8 mmlong 75 ppm Nd^{3+}:Y_{2}SiO_{5} crystals around a 2 mmthick halfwave plate. An AFC is prepared on the center of the Nd^{3+} ions transition at 883 nm (absorption line ^{4} I _{9/2} → ^{4} F _{3/2}) by optical pumping. Using optical path consisting of acoustooptic and phase modulators we create a 600 MHz comb with a spacing of 20 MHz between the absorption peaks^{24}. The resulting optical depth of the absorption peaks is d = 2.0 ± 0.1. This value was doubled using a doublepass propagation through the crystals (Fig. 1b). The overall singlephoton efficiency of the AFC quantum memory is 7(1)% with a 50 ns storage time. The absorption probability of one photon by the crystal was estimated to be 82(1)%, which was obtained from the probability for the single photon to be transmitted.
Onephoton and twophoton probabilities
The onephoton and twophoton probabilities in the forward mode are obtained as follows. First, the transmission probability along the path from the photon pair source to the singlephoton detectors was carefully estimated using heralded single photons. The overall transmission consists of (i) the heralding probability of the single photon before the quantum memory 19(1)%; (ii) the overall quantum memory efficiency 7(1)%; and (iii) the detection efficiency including the transmission of the system 17(1)%. From this we found that the total probability to detect a singlephoton reemitted from the crystal is p _{1} = 2.3(3) × 10^{−3}. Then, the probability p _{2} can be estimated from a measurement of the zerotime secondorder autocorrelation function \(g_{{\rm{ssi}}}^{(2)} = 2{p_2}{\rm{/}}p_1^2\). We measured \(g_{{\rm{ssi}}}^{(2)} = 0.020(3)\). This value is higher than the one before the storage, which is due to spurious noise coming from the photon pair source^{28}. The probability to detect two photons is estimated to be p _{2} = 5(2) × 10^{−8}.
To connect the experimental observation of one and two photons with \({p_1} = \left\langle {{D_1}} \right\rho \left {{D_1}} \right\rangle \) and \({p_2} = \left\langle {{D_2}} \right\rho \left {{D_2}} \right\rangle \), respectively, some details have to be clarified. First, we note that the actual coupling between light and atoms is not uniform as in Eq. (1) due to position dependent field intensities and the inhomogeneous broadening of the atomic ensemble. However, it is possible to mathematically replace this by an ideal, uniform coupling with a reduced ensemble size^{29} . We expect that replacing an ensemble by a smaller one only lowers the bounds on entanglement depth. Since \(N \gg 1\) and the weak coupling between the field and a single atom, the dynamics from Eq. (1) are well approximated by a firstorder expansion of the Holstein–Primakoff transform^{30}, that is, the linear regime
where η is the transfer efficiency and \(S_ \pm ^{\bf{k}} = \mathop {\sum}\nolimits_{j = 1}^N {e^{ \mp i{{\bf{r}}_j} \cdot {\bf{k}}}}\sigma _ \pm ^{(j)}\) are the creation and annihilation operators for a collective atomic excitation (up to the normalization factor N ^{−1/2} ^{31}. All formulas in this paper are based on this approximation and the nextorder correction O(1/N) is omitted.
Second, the states \(\left {{D_1}} \right\rangle \), Eq. (2), and \(\left {{D_2}} \right\rangle \), Eq. (4), are not the only ones that give rise to the emission of one and two photons, respectively. Let us introduce the canonical basis \({\left\{ {{{\left {j,m,\alpha } \right\rangle }_{\bf{k}}}} \right\}_{j,m,\alpha }}\) for the angular momentum operators \({S_z} = \frac{1}{2}\left[ {S_ + ^{\bf{k}},S_  ^{\bf{k}}} \right]\) and \(S_{\bf{k}}^2 = S_z^2 + \frac{1}{2}\left\{ {S_ + ^{\bf{k}},S_  ^{\bf{k}}} \right\}\), where \(S_{\bf{k}}^2{\left {j,m,\alpha } \right\rangle _{\bf{k}}} = j(j + 1){\left {j,m,\alpha } \right\rangle _{\bf{k}}}\) and \({S_z}{\left {j,m,\alpha } \right\rangle _{\bf{k}}} = m{\left {j,m,\alpha } \right\rangle _{\bf{k}}}\). The third quantum number α labels the degeneracies for asymmetric states. For η = 1, any atomic state \({\left {j,  j + l,\alpha } \right\rangle _{\bf{k}}}\) with N/2 − j = O(1) (lowexcitation limit) and k the forward mode transforms via Eq. (5) to the photonic Fock state \(\left l \right\rangle \). Now, assuming that the singlephoton source is the only source of coherent excitation, the population of the subspaces N/2 + m is strongly decaying with m, such that the overlap of the atomic state before reemission with \(\left {{D_1}} \right\rangle \equiv {\left {N{\rm{/}}2,  N{\rm{/}}2 + 1,1} \right\rangle _{\bf{k}}}\) is much larger than with the entire subspace spanned by \({\left\{ {{{\left {j,  j + 1,\alpha } \right\rangle }_{\bf{k}}}} \right\}_{j < N/2}}\) (i.e., the nonsymmetric subspace emitting a single photon). Using the \(g_{{\rm{ssi}}}^{(2)}\) directly measured at the source, it can be estimated that corrections taking the nonsymmetric subspace into account are much smaller than the uncertainty of the measured p _{1}. A similar argument applies to the twophoton emission.
Finally, the memory preparation ideally sets the atomic ensemble to the ground state. In practice, we estimate that roughly 10^{−5} × N atoms are at the end of the preparation phase in the excited state without any phase coherence between them. In the linear regime, these excitations simply drop out from all calculations and can hence be safely ignored.
Number of atoms in the atomic ensemble
Another parameter is the number of atoms N participating to the collective atomic mode, which was estimated with a separate measurement. The ratio between coherent (signal) and incoherent (noise) emission from the atomic ensemble was used to estimate the number of atoms coupled to the optical mode. A simple model for this signaltonoise ratio (SNR) was developed, where the number of atoms N is a free parameter. By independent characterization of the remaining other parameters and by measuring the SNR, we obtain and estimate of N. Intuitively, this is based on the fact that the reemission from the atomic ensemble is enhanced in the spatial mode of the incident single photon, due to the constructive interference between all the atoms which have collectively absorbed the single photon. This probability ideally equals to Np _{s}, where p _{s} is the probability for spontaneous emission of a single atom^{22}. In any other mode, including the backward mode, there is no collective enhancement, and the probability of an incoherent reemission is just p _{s}. Hence, the SNR is given by N in the ideal case where no other source of noise is present.
In principle, one could measure the SNR from the probability to detect the heralded single photon in the backward mode. In practice, this cannot be done because N ~ 10^{10}. The incoherent reemission probability is extremely small and is therefore lost in the noise due to detector dark counts and spurious light. To overcome this limitation, strong coherent state pulses with mean photon number \({\left \alpha \right^2}\) up to 10^{6} were used instead to estimate the SNR. This value is still much lower that the total number of atoms which keeps the interaction in linear regime. In this case the noise becomes less important and the true incoherent reemission can be measured. To detect it with a low noise level we used a Picoquant silicon avalanche photodiode detector with 35% efficiency and 4 Hz dark count rate.
To perform the SNR measurement the forward k _{f} and the backward k _{b} spatial modes were used to measure signal and noise, respectively (Fig. 1b). For each mode spatial filtering was performed using singlemode fibers. This allowed us to confirm that modes in both directions (forward k _{f} and backward k _{b}) are probing the same volume of the QM. For this the light was sent in both directions and the coupling was aligned simultaneously for both couplers after the PBS, as shown in Fig. 1b. Furthermore, the incoherent reemission from the strong coherent state pulses was detected simultaneously in both modes. By applying corrections for diverse optical losses the ratio between the intensities in both modes was found to be very close to 1 as expected (Supplementary Note 1). This confirms that the forward k _{f} and backward k _{b} modes correspond to the coherent and incoherent reemission modes defined by our model. Note that any systematic error that leads to an underestimated signal or to overestimated noise only reduces the inferred N and hence leads to an underestimated entanglement depth. For example, scattered photons from the k _{f} mode that could have been mistakenly collected in the k _{b} mode would increase the noise and hence would lead to an underestimated N. We are not aware of any systematic error in our experiment that would let us overestimate N.
Using a coherent state pulse with a mean number of photons equal to \({\left \alpha \right^2}\), the signal is proportional to η \({\left \alpha \right^2}\), where η is the rephasing efficiency of the quantum memory. The incoherent reemission in the backward mode is proportional to \({\left \alpha \right^2}\)/N + δ, where δ is a noise probability. Hence, the SNR is given by \(\eta {\left \alpha \right^2}{\rm{/}}\left( {{{\left \alpha \right}^2}{\rm{/}}N + \delta } \right)\), from which N can be obtained (Supplementary Note 1). From this, the number of atoms was found to be N = 4.0(1) × 10^{10}. An estimate for the number of atoms obtained by considering the doping concentration, the length of the crytals and the size of the optical mode roughly gives 3 × 10^{11}, which confirms at least the order of magnitude. Note, however, that the latter method comes with much larger uncertainties and therefore we rely only on the first number.
Ansatz for Mseparability
We now give some details for the derivation of a lower bound of p _{2} given p _{1} and the ansatz state (3). We start with the ansatz that for every pure state decomposition of an atomic state the pure states are separable between at least M groups (where each group is genuinely multipartite) and there exists at least one pure state in every decomposition that consists of exactly Mseparable groups. Such a state is called Mseparable. In principle, the sizes of the groups are independent from each other as long as the total number of atoms is conserved. However, we fix the group size K to be constant, that is, MK = N for the following reason. Our final goal are bounds on numbers of entangled atoms. This is a “minmax” problem. For every possible state the entanglement depth is the size of the largest entangled group in the state. By varying the state, our task is to find a state such that this largest group is minimized. From this, it follows that it is best to have an equal size for all groups in order to avoid few very large groups. Clearly, if we fix N and M, K does not have to be an integer. So, generally, one has to reduce the size of one group such that (M − 1)K + K′ = N. However, we will consider many groups such that the size of a single group is in the order of or smaller than the uncertainty of N. Hence a detailed analysis with K′ < K is not necessary.
Since we are concerned with at most two excitations in total, it is sufficient to work with pure states of the form
where \(\left {{d_k}} \right\rangle \) here refers to Dicke states within one group, that is, symmetric superposition of k excitations. With this ansatz, the probabilities read
and
where \(A = \Pi _{i = 1}^M{a_i}\). In the following, we ignore the corrections 1/N and 1/K. While the factor (1 − 1/N)^{−1} is arguably negligible, dropping \(\sqrt {1  1{\rm{/}}K} \) only lowers p _{2} in the relevant regime (i.e., the interval I discussed later).
Formally, the task is now to minimize p _{2} for given p _{1},M over the parameters of the ansatz state (6), that is,
When this is done for all p _{1}, one has to find the minimum of all convex combinations for a bound on mixed states. In our case, it will turn out that the lower bounds for pure states are already convex implying that they are also valid for mixed states. Then, one can invert the results and determine the maximal M that is compatible with a given pair (p _{1}, p _{2}). This bounds the Mseparability of the atomic state generated in the experiment.
Since the state (6) could contain further elements not contributing to p _{1} and p _{2}, one has in general that \({\left {{a_i}} \right^2} + {\left {{b_i}} \right^2} + {\left {{c_i}} \right^2} \le 1\) for all i. Thus the minimization (9) has to be done over 3M complex parameters. One easily shows that the complexity reduces to 2M real parameters as the optimal state has a _{ i } ≥ 0, \({b_i} \in {\Bbb R}\) and \({c_i} =  \sqrt {1  a_i^2  b_i^2} \) (Supplementary Note 2).
Lagrange multiplier
To solve Eq. (9), we use the Lagrange multiplier method, which is suitable for constrained minimization problems. In our case, we consider
with \({f_1} = \sqrt {M{p_1}} \) and \({f_2} = \sqrt {{M^2}{p_2}} \). The formulas for the partial derivatives are given in the Supplementary Note 3. The results are quartic equations with four solutions for every group i > 1 that depend on the parameters of the first group a _{1} ≡ a and b _{1} ≡ b for all i.
Note that the first solution (called the symmetric solution in the following) implies that a _{ i } = a and b _{ i } = b. The probabilities in this case read
and
with \(c =  \sqrt {1  {a^2}  {b^2}} \).
Fixing a, b of the first group determines the four possible solutions for every other group. A priori, the unknowns (a, b, λ) can be found by solving the remaining equations ∂f/∂a = 0, ∂f/∂b = 0 and ∂f/∂λ = 0. Given the complexity of the equations, this is analytically not possible. Alternatively, one chooses for each group i = 2, …, M one out of four solutions, and solve Eq. (9) numerically for (a, b). As a result, we find many local extrema, from which one has to choose the global minimum. Hence, we reduced the minimization problem to a finite set of possibilities. The problem is the large number of solutions. Due to symmetry, it is sufficient to determine the number of groups, m _{ j }, that are chosen to take solution j = 1, …, 4 with the constraints m _{1} > 0 and \(\mathop {\sum}\nolimits_j {m_j} = M\) (Supplementary Note 4). In the following, we call a certain choice C = (m _{1}, m _{2}, m _{3}, m _{4}) a configuration. The number of configurations scales as O(M ^{3}).
It turns out that most of the configurations are not relevant for the following reason. For all M, there exist states such that p _{1} > 0 and p _{2} = 0. Two analytic examples are (i) (a _{1}, b _{1}) = (0, 1) and (a _{ i>1}, b _{ i>1}) = (1, 0), resulting in \(p_1^{lim1} = 1{\rm{/}}M\) and (ii) a symmetric state where one maximizes p _{1} given that Eq. (12) vanishes. The solution \(p_1^{lim2}\) is a long and analytic expression which scales as \(p_{\rm{1}}^{{\rm{lim}}\,{\rm{2}}} = {\left( {eM} \right)^{  1/2}} + O\left( {{M^{  1}}} \right)\). For M > 4, \(p_{\rm{1}}^{{\rm{lim}}\,{\rm{2}}} >p_{\rm{1}}^{{\rm{lim}}\,{\rm{1}}}\). Furthermore, the maximal p _{1} is given by \(p_{\rm{1}}^{{\rm{max}}} = {\left( {1  1{\rm{/}}M} \right)^{M  1}}\). We conclude that there is a nontrivial interval \(I = \left[ {{\rm{max}}\left( {p_{\rm{1}}^{{\rm{lim}}\,{\rm{1}}},p_{\rm{1}}^{{\rm{lim}}\,{\rm{2}}}} \right),p_{\rm{1}}^{{\rm{max}}}} \right]\) where we look for the minimal p _{2}. One can show that for large M, only the symmetric solution lies in I (Supplementary Note 4). With a numerical study (an unconstrained maximization over (a, b)), we find that this happens when M > 53, but already for M ≳ 30, we observe that \(p_{\rm{1}}^{{\rm{max}}}  p_{\rm{1}}^{{\rm{lim}}\,{\rm{2}}} \ll 1\) for all nonsymmetric configurations.
Numerically, we find that for all groups M ≥ 5, the symmetric solution gives the global minimal p _{2}. From Eq. (11), we obtain b ^{2} = p _{1}/Ma ^{2–2M} and insert this into Eq. (12), which has to be minimized. With the parameters p _{1} and M, this is a singleparameter polynomial and hence a numerically stable minimization is possible. The example M = 3 is discussed in the Supplementary Note 5 to demonstrate a case where a nonsymmetric configuration realizes the global minimum.
Data availability
All relevant data is available upon request.
References
 1.
Ladd, T. D. et al. Quantum computers. Nature 464, 45 (2010).
 2.
Pezzè, L., Smerzi, A., Oberthaler, M. K., Schmied, R. & Treutlein, P. Nonclassical states of atomic ensembles: fundamentals and applications in quantum metrology, Preprint at http://www.arxiv.org/abs/1609.01609 (2016).
 3.
Schrödinger, E. Die Gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften 23, 807 (1935).
 4.
Mandel, L. & Wolf, E. Optical Coherence And Quantum Optics (Cambridge University Press, 1995).
 5.
Sørensen, A. S. & Mølmer, K. Entanglement and extreme spin squeezing. Phys. Rev. Lett. 86, 4431 (2001).
 6.
Riedel, M. F. et al. Atomchipbased generation of entanglement for quantum metrology. Nature 464, 1170 (2010).
 7.
Gross, C., Zibold, T., Nicklas, E., Estève, J. & Oberthaler, M. K. Nonlinear atom interferometer surpasses classical precision limit. Nature 464, 1165 (2010).
 8.
Vitagliano, G., Apellaniz, I., Egusquiza, I. L. & Tóth, G. Spin squeezing and entanglement for an arbitrary spin. Phys. Rev. A. 89, 032307 (2014).
 9.
Lücke, B. et al. Detecting multiparticle entanglement of dicke states. Phys. Rev. Lett. 112, 155304 (2014).
 10.
Hosten, O., Engelsen, N. J., Krishnakumar, R. & Kasevich, M. A. Measurement noise 100 times lower than the quantumprojection limit using entangled atoms. Nature 529, 505 (2016).
 11.
Beduini, F. A., Zielinska, J. A., Lucivero, V. G., de Icaza Astiz, Y. A. & Mitchell, M. W. Macroscopic quantum state analyzed particle by particle. Phys. Rev. Lett. 114, 120402 (2015).
 12.
Mitchell, M. W. & Beduini, F. A. Extreme spin squeezing for photons. New. J. Phys. 16, 073027 (2014).
 13.
Haas, F., Volz, J., Gehr, R., Reichel, J. & Estève, J. Entangled states of more than 40 atoms in an optical fiber cavity. Science 344, 180 (2014).
 14.
McConnell, R., Zhang, H., Hu, J., Cuk, S. & Vuletic, V. Entanglement with negative Wigner function of almost 3,000 atoms heralded by one photon. Nature 519, 439 (2015).
 15.
Stockton, J. K., Geremia, J. M., Doherty, A. C. & Mabuchi, H. Characterizing the entanglement of symmetric manyparticle spin1/2 span class. Phys. Rev. A. 67, 022112 (2003).
 16.
Afzelius, M., Simon, C., de Riedmatten, H. & Gisin, N. Multimode quantum memory based on atomic frequency combs. Phys. Rev. A. 79, 052329 (2009).
 17.
Clausen, C. et al. Quantum storage of photonic entanglement in a crystal. Nature 469, 508 (2011).
 18.
Saglamyurek, E. et al. Broadband waveguide quantum memory for entangled photons. Nature 469, 512 (2011).
 19.
Clausen, C., Bussières, F., Afzelius, M. & Gisin, N. Quantum storage of heralded polarization qubits in birefringent and anisotropically absorbing materials. Phys. Rev. Lett. 108, 190503 (2012).
 20.
Loudon, R. The Quantum Theory of Light, 3^{rd} ed. (Oxford University Press, 2000).
 21.
Duan, L.M., Lukin, M. D., Cirac, J. I. & Zoller, P. Longdistance quantum communication with atomic ensembles and linear optics. Nature 414, 413 (2001).
 22.
Scully, M. O., Fry, E. S., Ooi, C. H. R. & Wódkiewicz, K. Timing is everything. Phys. Rev. Lett. 96, 010501 (2006).
 23.
Bussières, F. et al. Quantum teleportation from a telecomwavelength photon to a solidstate quantum memory. Nat. Photon. 8, 775 (2014).
 24.
Tiranov, A. et al. Storage of hyperentanglement in a solidstate quantum memory. Optica 2, 279 (2015).
 25.
Tiranov, A. et al. Temporal multimode storage of entangled photon pairs. Phys. Rev. Lett. 117, 240506 (2016).
 26.
Clausen, C. et al. A source of polarizationentangled photon pairs interfacing quantum memories with telecom photons. New. J. Phys. 16, 093058 (2014).
 27.
Fröwis, F. Lower bounds on the size of general Schrödingercat states from experimental data. J. Phys. A 50, 114003 (2017).
 28.
Usmani, I. et al. Heralded quantum entanglement between two crystals. Nat. Photon. 6, 234 (2012).
 29.
Hu, J., Chen, W., Vendeiro, Z., Zhang, H. & Vuletic, V. Entangled collectivespin states of atomic ensembles under nonuniform atomlight interaction. Phys. Rev. A 92, 063816 (2015).
 30.
Holstein, T. & Primakoff, H. Field dependence of the intrinsic domain magnetization of a ferromagnet. Phys. Rev. 58, 1098 (1940).
 31.
Hammerer, K., Sørensen, A. S. & Polzik, E. S. Quantum interface between light and atomic ensembles. Rev. Mod. Phys. 82, 1041 (2010).
Acknowledgements
We thank Philipp Treutlein, Otfried Gühne, Christoph Simon, Parisa Zarkeshian, Khabat Heshami, and Wolfgang Tittel for useful discussions. This work was supported by the European Research Council (ERCAG MEC), the Swiss program National Centres of Competence in Research (NCCR) project Quantum Science Technology (QSIT) and the Swiss National Science Foundation (No. 200021_149109 and Starting grant DIAQ).
Author information
Affiliations
Contributions
F.F., N.B., F.B., and M.A. conceived the basic concept. F.F., C.G., N.B., and N.G. worked out the theory, supported by M.A. P.C.S., A.T., and J.L. performed the experiment and analyzed the data. F.F., A.T., N.B., and F.B. wrote the paper. All authors discussed the results and implications and commented on the manuscript at all stages.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Electronic supplementary material
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fröwis, F., Strassmann, P.C., Tiranov, A. et al. Experimental certification of millions of genuinely entangled atoms in a solid. Nat Commun 8, 907 (2017). https://doi.org/10.1038/s41467017008986
Received:
Accepted:
Published:
Further reading

Heralded Interaction Control between Quantum Systems
Physical Review Letters (2020)

Mesoscopic twomode entangled and steerable states of 40 000 atoms in a BoseEinsteincondensate interferometer
Physical Review A (2019)

Quantifying entanglement in a 68billiondimensional quantum state space
Nature Communications (2019)

Optimization of deviceindependent witnesses of entanglement depth from twobody correlators
Physical Review A (2019)

Entanglement of genuinely entangled subspaces and states: Exact, approximate, and numerical results
Physical Review A (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.