Abstract
Entanglement is a fundamental resource for quantum information processing, occurring naturally in manybody systems at low temperatures. The presence of entanglement and, in particular, its scaling with the size of system partitions underlies the complexity of quantum manybody states. The quantitative estimation of entanglement in manybody systems represents a major challenge, as it requires either fullstate tomography, scaling exponentially in the system size, or the assumption of unverified system characteristics such as its Hamiltonian or temperature. Here we adopt recently developed approaches for the determination of rigorous lower entanglement bounds from readily accessible measurements and apply them in an experiment of ultracold interacting bosons in optical lattices of ~10^{5} sites. We then study the behaviour of spatial entanglement between the sites when crossing the superfluidMott insulator transition and when varying temperature. This constitutes the first rigorous experimental largescale entanglement quantification in a scalable quantum simulator.
Introduction
Entanglement has a crucial role in most of the recent developments of quantum information processing and communication^{1,2,3,4}. Indeed, apart from the intrinsic interest in obtaining a deeper understanding of several counterintuitive and surprising consequences of the quantum description of nature, it represents also a fundamental resource for various applications in quantum information science and metrology. From the practical point of view, once we manage to create such resource states, it is crucial to quantify the actual amount of entanglement contained in the created state to assess its degree of usefulness for quantum informationprocessing protocols. This already challenging task becomes even more daunting in situations in which entanglement is shared between many different parties with the aim of implementing, for instance, multiparty quantum communication networks and distributed quantum computation.
In this respect, the last few years have seen experiments towards the verification of the presence of entanglement in a variety of physical realizations of manybody systems. Multiparticle spin entanglement of distinguishable particles has been created and studied experimentally for up to 14 sites in ion traps^{5,6,7} and up to 8 sites in photonic setups^{8} by means of entanglement witnesses that determine the presence of entanglement. In ultracold neutral atomic gases, entanglement between indistinguishable particles with two internal degrees of freedom was generated by squeezing of the total (pseudo) spin and its presence verified by spinsqueezing inequalities^{9,10,11,12}. For ultracold bosons with two internal degrees of freedom in optical lattices, entanglement between lattice sites was created by controlled collisions and qualitative evidence for its presence was found^{13}. Experimental evidence for the entanglement between the spins in magnetic materials was given by comparison of the neutronscattering structure factor to a classical description^{14}.
A key challenge that remains to be addressed however concerns the quantitative determination of the amount of entanglement. Even if the full state is known, the computation of its entanglement is a daunting task—analytically and even numerically. If measurements are informationally incomplete, this is even impossible. Hence, one needs to rely on the determination of upper and lower bounds on the entanglement that is present in the system without resorting to assumptions concerning unverified system characteristics such as its Hamiltonian or its temperature.
We achieve this by adopting a simple but powerful principle^{15,16,17,18,19} in combination with methods from optimization theory: given a set of observables, we consider all density matrices that are compatible with experimentally measured expectation values of these observables. Among these density matrices, we find the one with the least amount of entanglement as quantified by a suitable entanglement measure^{2,3}. In this way, we determine a lower bound on the entanglement that must have been present in the state that gave rise to the observed expectation values. These bounds do not require any other assumptions on the system. We observe and quantify multipartite entanglement in a periodic optical potential (optical lattice) that hosts bosonic atoms (Fig. 1) and study its behaviour when crossing a quantum phase transition and when varying the temperature.
Results
Entanglement quantification
The entanglement that we quantify in our experiment is the entanglement of massive bosonic particles at different lattice sites. Hence, the nonlocal correlations are unavoidably intertwined with the superselection rules that prohibit the formation of coherent superpositions with different particle numbers. As a consequence, before we can provide a rigorous theoretical and experimental quantification of the entanglement in the system, we need to clarify its nature. We achieve this from the viewpoint of entanglement as a resource^{20}.
Physical constraints, fundamental or practical, impose limitations on accessible physical operations^{20,21}. For example, the locality constraint that expresses the inability to exchange quantum particles between distant laboratories A and B prevents the execution of quantum gates between A and B. Such constraints in turn imply the existence of resources—here entangled states—that, when consumed, allow for the realization of operations that are impossible under the given physical constraints^{22}. The use of entanglement in teleportation for example allows for the realization of general quantum gates between A and B^{23,24}. This aspect captures the multipartite nature and nonlocal correlations in the system.
For massive bosonic particles, an even more fundamental constraint concerns superselection rules for massive indistinguishable particles: Physical operations cannot create coherent superpositions of different particle numbers. In connection with the locality constraint, this requires that all physically allowed local operations must commute with the local particle number operator.
The fact that both constraints, locality and superselection rules, need to be considered simultaneously for massive bosonic particles leads to a refined picture of nonlocal resources and thus entanglement^{25,26,27,28}. In a multipartite system, as in Fig. 1, in which two or more parties aim to exchange quantum information, but are restricted (i) to only act locally on their respective quantum system and communicate classically (LOCC), and (ii) to perform only operations preserving the local particle number operator, they may (in the twopartite case) only prepare states of the form
where () are density operators of subsystem A (B), {p_{n}} is a probability distribution and the local states must commute with the local particle number operators and , respectively, that is, . All such states are here collected in the set . All other states, so states not in , become a resource, to be used to overcome the constraint imposed by locality and/or superselection rules.
Before defining our entanglement quantifier, we illustrate the resource character of states that are not in , by means of an example taken from Verstraete and Cirac^{26}. Suppose a single classical bit is encoded in the relative phase of the two states
Remarkably, if Alice and Bob are constrained by LOCC and local particle number conservation, they are unable to distinguish these two states—the bit ± is hidden from them. They may learn the bit, however, in one of two different ways: (i) if they share entanglement in the form
which has a total number of particles , and tr_{B}[ψψ] and tr_{A}[ψψ] commute with the respective local number operators, but it may not be written as in equation (1). Or (ii) if they share the state (z=αe^{iϕ})
which is of the form in equation (1), commutes with the total number operator and has but does not satisfy . Now, the success probability of learning the phase of ± increases with (approaching unity as ), or, in other words, the value of these resource states increases as their mean total number of particles with increases.
Let us finally consider an example from the context under experimental consideration. Bosons in optical lattices are well described by the Bose–Hubbard model, which is exactly solvable in two extreme cases: (i) onsite interactions U dominate over tunnelling J and (ii) the opposite case in which . The ground state of this model in case (i) is simply a Fock state and thus a product state without any entanglement between sites. In the second case (ii), the model is equivalent to coupled harmonic oscillators and may be diagonalized by a symplectic transformation. Labelling sites by i=1,…, L, the ground state for fixed particle number N reads
which may also serve as a resource to uncover the hidden bit in equation (2): In the bipartite setting of two sites, L=2, following the protocol of Verstraete and Cirac^{26}, it may be shown that the success probability p is given by
which, as for the examples above, increases with N, tending to unity. This gives an example for the operational significance of the entanglement generated in optical lattices.
While for the above examples we considered a bipartite setting, they readily carry over to a multipartite setting^{26}, which we will consider in the following.
The key point is now that we turn the above qualitative appreciation of the value of these states into a mathematically and physically welldefined quantifier that may then be determined experimentally. It is a crucial requirement that the value of this quantifier does not increase on average under LOCC operations that respect local superselection rules (supLOCC in short). Such a quantifier is then denoted a supLOCC monotone.
We start by defining the set for an arbitrary partition. Let be a Ppartite partition of the lattice sites . A separable (with respect to this partition) state is then of the form
where is the density operator corresponding to party (subsystem) p and {p_{n}} a probability distribution. The set collects all states that are as in equation (7) and in addition commute with the local particle number, . We now formulate the entanglement monotone for such arbitrary partitions and later, for the experiment, restrict our attention to the partition in which every lattice site constitutes a party. To this end, we define as the set of entanglement witnesses (ref. 4) satisfying (i) for all and (ii) the operator inequality . Then
is a supLOCC monotone for any state (see Methods for a proof and note the similarity to entanglement monotones expressed as optimization over witnesses for spin systems in Brandão^{29}). Note that, for any state , its entanglement is upper bounded by the mean total number of particles , providing a figure of merit for the lower bounds that we will present below.
We now set out to quantify the entanglement under superselection rules contained in states of bosons in optical lattices when each lattice site constitutes a party, that is, labelling the sites of the threedimensional lattice by i=(i_{1}, i_{2}, i_{3}), states in are of the form with , where is the number operator for the lattice site i. This corresponds to in the above definition. In this way, we quantify the entanglement shared between sites of the lattice (as opposed to between particles).
Needless to say, equation (8) is exceedingly hard to compute analytically or even numerically, especially in the manyparticle system (where each constituent is in addition being described in an infinitedimensional Hilbert space) that we consider here. However, rather than aiming for the exact values, we will follow (refs 15, 16, 17, 18, 19) to derive lower bounds to equation (8) which, after the introduction of essential aspects of the experimental setup, we will demonstrate to be obtained from readily accessible measurements.
Experiment
In the experiment, we quantify the entanglement of a system of ultracold interacting bosons in a threedimensional lattice potential. An almost pure Bose–Einstein condensate of ≈3.5 × 10^{5} atoms of ^{87}Rb is prepared by evaporating a sample of atoms in the F=1, M_{F}= −1 state in a hybrid trap composed of a focused red detuned laser beam (optical dipole trap, ODT) propagating in the horizontal plane plus a quadrupole magnetic field. (The estimated temperature of the condensate is<50 nK corresponding to a condensate fraction bigger than 80%.) As first demonstrated in Lin et al.^{30}, when the focused laser beam is slightly offset vertically from the centre of the quadrupole magnetic field, the atoms experience a harmonic potential with cylindrical symmetry. In our system, the resulting frequencies are ≈50 Hz and ≈8 Hz in the radial and axial directions, respectively. An optical lattice (OL) potential with lattice constant a=λ/2, generated by three counterpropagating reddetuned beams (with wavelength λ=830.3 nm and waists w≈180 μm) is slowly superimposed to the sample by performing an exponential ramp in t_{ramp}=140 ms. The final amplitude of the lattices V_{OL}=sE_{R} (where E_{R}=h^{2}/(2mλ^{2}) is the recoil energy associated to the absorption of a lattice photon by an atom with mass m) has been calibrated with an accuracy of ±10% through lattice amplitude modulation spectroscopy^{31} and can be varied from s=0 to s=30. In this way, we realize a manybody state of bosons in a threedimensional cubic lattice (subject to the harmonic trapping potential), the entanglement of which we are interested in quantifying. The system's Hamiltonian is well approximated by the Bose–Hubbard Hamiltonian^{32} (note that this information/approximation will not enter into our quantification of the entanglement). At sufficiently low temperatures, when the lattice depth is s=15, the ratio between the interaction energy U of two atoms in the same lattice site and the tunnel energy J between two adjacent lattice sites is large enough to obtain a Mott insulator as first demonstrated in Greiner et al.^{33} Owing to the overall harmonic confinement, an inhomogeneous Mott insulator is obtained with regions with different filling. At s=27, we estimate ~70% of the atoms (in the outer region of the sample) to be in a Mott shell with 1 atom per site and ~30% (in the central region) to be in a Mott shell with 2 atoms per site.
We now describe the experimental procedure—timeofflight measurements—which will give access to an observable allowing us to lower bound the entanglement of the bosons in the optical lattice. After a holding time, t_{hold}=5 ms, we simultaneously switch off both the trap and the optical lattice. The cloud then expands freely for a time t_{tof}=21 ms before we measure the column density through absorption imaging on a CCD camera. In practice, we measure the optical density μ(x, y) of the atomic sample integrated along the direction of the imaging laser beam, and we extract the real atomic (column) density
with α being a prefactor related to the imaging calibration and the effective size of the CCD square pixel, as discussed in the Methods section, and μ_{0} is the background noise level of the image, that is mainly due to residual fluctuations in the laser intensity of the imaging beam. In the experiment, each value of the entanglement monotone is extracted from a set of about 40 atomic density profiles. The uncertainty associated to the monotone is estimated by adding systematic and statistical error in quadrature. The statistical contribution is given by the shottoshot fluctuation of the number of atoms recorded by each pixel of the CCD camera. Systematic contributions come from (a) the calibration of the absorption imaging efficiency and (b) the estimation of the Wannier functions of the optical lattice.
Experimental entanglement quantification
From the column density n(x, y), we can extract a lower bound to the entanglement as follows. The column density at position (x, y)=r=ħ t k/m (where k=(k_{x}, k_{y}) is the quasimomentum in the lattice) after a timeofflight t is given by Pedri et al.^{34} and Gerbier et al.^{35}
where () is the creation (annihilation) operator of a particle at the lattice site i and f(k)>0 may be obtained from a numerical bandstructure calculation (see Methods for details).
It is straightforward to show^{15} that for the partition the observable , where is the total particle number operator, is a witness as required in equation 8 (see Cramer et al.^{15} and Krammer et al.^{36} for similar witnesses in the context of spin systems). (In fact, it is also a lower bound for other partitions of the lattice : for any partition with for i_{x} ≠ j_{x} or i_{y} ≠ j_{y}, it constitutes a lower bound. Hence, for example, it is also a lower bound for the entanglement between twodimensional layers of the lattice, that is, for the partition . Another example being , that is, entanglement between chains arranged parallel to the z axis.) Then, for any state , we have a lower bound to its entanglement content in terms of and :
which holds for all k. Note that there are no assumptions: the entanglement of any state is bounded from below by equation (11). The Hamiltonian governing the system, the temperature, details of external potentials or even the system being in equilibrium, need not to be assumed.
As E(k) is a lower bound to the entanglement for all k, averages over an area A, ∫_{A}dk E(k)/A, also provide lower bounds. We use this fact to account for the finite resolution of the camera and to incorporate symmetries (see Methods for details). For ease of notation, we denote this lower bound also by E(k).
To provide some examples of analytical calculations of E(k) and to make the connection to the resource character in the datahiding protocol above, let us evaluate the lower bound E(k) for the class of states defined in the illustrative example above. In particular, suppose that the lattice consists of the two sites a=(1 0 0) and b=(0 1 0)^{t}, which we associate with Alice and Bob, respectively. For the states in equations (3)–(5), we find
respectively. Hence, for all these states, we have a lower bound to the entanglement that is increasing in (thus capturing the value of these states for uncovering the hidden bit in the above datahiding protocol) and for the last two states the bound is in fact exact as for all states , showing the tightness of our bound.
Now we determine the minimal entanglement E(k) for different optical lattice depths across the superfluid to Mott insulator transition. Before presenting our experimental results, let us consider the two extreme cases analytically. For ultradeep lattices (s → ∞) and at zero temperature, the system will be in a Fock state n_{1}n_{2}…, for which by definition. For very shallow lattices, when tunnelling dominates over the onsite repulsion and one neglects the latter, the ground state with N particles of the translationally invariant Bose–Hubbard Hamiltonian is proportional to and one finds E(k)≈N at . We thus expect the entanglement to decrease when increasing the lattice depth.
In Fig. 2, we show E(k) in the first Brillouin zone for s=9, 12, 15, 18, 21. For each value of s, we collected ≈40 absorption images to reduce the statistical error on the determination of the entanglement. Relative shottoshot spread of the atom number is lower than 10%. The lower bound of the entanglement decreases as the system crosses the transition from the superfluid (lower s values) to the Mott insulator phase (s>15). This behaviour can be seen better in Fig. 3, reporting the value of E(k_{x}, k_{y}) averaged over a box of 5 × 5 pixels around , where we expect^{15} and found the bound to be largest. Details of our imaging system are explained in the Methods section, where we also describe the error analysis.
As the entanglement of the system is expected to decrease with increasing temperature^{15}, we also perform measurements fixing the optical lattice depth s and varying the temperature of the atomic sample. The determination of the temperature inside the lattice is still challenging^{37,38}, while its measurement in a harmonic potential, that is, before raising the lattice, is routinely done. Here, we refer to the temperature T before the loading of the optical lattice. In practice, to realize samples of different temperatures, we perform optical evaporation in the ODT to different values of the power P_{ODT} and then we increase the power of the optical dipole potential up to a fixed value P_{1}. This procedure allowed us to obtain temperatures from 40 nK up to 100 nK in the same final harmonic potential before loading the lattices (see Methods for details). In Fig. 4, we show the behaviour of the minimal entanglement for different temperatures and for three different values of the lattice depth corresponding to a superfluid ground state (s=6), a Mott insulator phase (s=18) and the crossover region (s=12). As expected^{15}, with increasing the temperature, the minimal entanglement consistent with the measurements decreases.
Discussion
We have quantified experimentally the multipartite entanglement of a system of interacting bosons in an optical lattice through routinely done measurement of the atomic density profile after expansion. As the Hamiltonian and the ensuing dynamics of such a system can be controlled, it constitutes a bosonic quantum simulator, naturally supplying the resource entanglement at low temperatures. Our estimation of the entanglement is rigorous and without unspoken assumptions and provides a quantitative insight into the structure of the manybody state. In essence, we have answered the question, ‘Which is the least amount of entanglement that is consistent with given measurements?’^{16}. The strategy we implemented for this estimation is sufficiently general to allow for its adaption and application in a wide variety of experimental settings that arise naturally in quantum science. Indeed, this principle may also be generalized to other quantities. One may for example ask what is the maximal entropy consistent with given measurement results and by answering this question place rigorous, assumptionfree, upper bounds on the entropy of a quantum manybody systems. Of course, our approach is not restricted to bosonic systems but may also be applied to fermionic and spin systems or mixtures of bosonic and fermionic atoms, thus providing quantitative information about complex states of matter. It is the subject of ongoing research to directly relate notions of entanglement to the complexity of classical simulations. While in onedimensional spin systems the connection between bipartite entanglement and matrix product descriptions may be regarded as established^{39,40}, we hope that our work (in which we took the viewpoint of entanglement as a resource for quantum information tasks) inspires work towards this goal in the massiveparticle multipartite setting also.
Methods
A monotone under SSRLOCC operations
Here we show that
is a monotone under LOCC operations commuting with the local particle number operators. Let the Hilbert space be a direct product of parties, . LOCC operations with respect to this partition are operations taking density matrices to , where , and the are of the form and fulfil and . is an entanglement monotone if
For all , we have . Hence, the infimum exists and we denote it by E_{k}. Now let >0. Then E_{k}+ is not an infimum and therefore there is an such that , that is,
which is upper bounded by
as the operator in brackets in equation (15) is a member of : for all k and all , we have , that is,
as for all k. Now let . Then
where, up to normalization, , that is, the above is lower bounded by zero (as ) and we hence have that for all >0
which implies that ε is an entanglement monotone.
Density after timeofflight
We set out to derive an expression of the atomic column density after free evolution, that is, after evolution under the Hamiltonian
To connect the atomic column density to observables in the lattice, that is, before the free expansion, we expand the field operators in Wannier functions of the lattice
Here i is a multiindex containing the lattice site and the band index. The density operator after evolution under for a time t reads
Now, due to the lattice geometry, the Wannier functions factorize and are the same for each spatial direction, w_{i}(r)={w}_{{i}_{x}}(x){w}_{{i}_{y}}(y){w}_{{i}_{z}}(z). Owing to orthonormality, we hence find for the columndensity operator after timeofflight t
To compute the timeevolution of the bosonic annihilation operators, we expand in orthonormal and complete plane waves ω(r)=e^{2πip·r/L}/L^{3/2},
Owing to orthonormality, the bosonic annihilation operators are related as
where we denoted f, g=∫dr f*(r)g(r). The Hamiltonian is diagonal in the basis of the ,
which implies
that is, using equation (24),
Hence,
where completeness and orthonormality imply and , that is,
Now, again using equation (24), we arrive at an expression for the column density in terms of the
where g_{i}(r,t)={g}_{{i}_{x}}(x, t){g}_{{i}_{y}}(y, t), with
and we used completeness and orthonormality to arrive at . Finally, considering the properties of the Wannier functions, and after some algebra, we let L → ∞ to obtain
where and
is the Fourier transform of the Wannier function of the n'th band centred at zero. Equation (29) with g_{i} as above is the exact expression for the column density at (x, y). All the involved functions may be obtained by a numerical calculation of the Wannier functions.
In the experiment, only the lowest band is occupied and we omit the band index from now on. In the stationary phase approximation, which is valid for (≈1.8 × 10^{3} in our experiment), one has
Finally, approximating (ref. 35), yields
for the column density at r=(x, y)=t(k_{x}, k_{y})/m=t k/m=τa^{2}k/(2π^{2}) after a timeofflight t. Here,
and w_{0} is the Wannier function of the lowest band centred at zero.
Image and error analysis
We intend now to analyse the measurement of
where we now work in realspace coordinates, that is, , where is the expectation value of the density distribution of the atom cloud at r=(x, y, z) after timeofflight and
as in equation (33).
Owing to the spatial discretization of the CCD sensor used in the experiment, we define the discrete function
where (i,j) denotes the index of each pixel, centred on (x_{i},y_{j}), and Δ_{i,j}=[x_{i,j} − Δ/2, x_{i,j}+Δ/2]. Δ=2.78 μm is the effective pixel size, which takes into account the physical pixel size and the magnification of the imaging system. The total number of atoms is given by . Note that the quantity is still a lower bound for all (i,j).
For each acquired image, we incorporate the symmetry of the observable by averaging over pixels corresponding to (k_{x}, k_{y}), (k_{x}±2π/a, k_{y}±2π/a), and the symmetry of the experimental setup by averaging also over the four points (±k_{x},±k_{y}). For Figs 3 and 4, we additionally consider the average of on a subset of 5 × 5 pixels (corresponding to twice the width of the pointspread function of the imaging system) centred around k[−2π/a, 2π/a]^{× 2}, where a is the lattice spacing. If we define a set of pixels A over which we perform the average, the quantity
is also a lower bound to the entanglement.
Actually, we do not have access to the quantity n(x, y)/f(x, y) to be integrated in equation (36). Approximating (and taking the error into account below) the continuous function f by f(x, y) ≈ f(x_{i},y_{j}) for each (x, y)(Δ_{i}, Δ_{j}), we introduce the simplified quantities E_{A} and E_{i,j}
where g_{i,j}=1/f(x_{i}, y_{j}) and is the expected number of atoms recorded by pixel (i,j).
In the experiment, we use a running average of about 40 density profiles for each value of lattice depth s and temperature T. The empirical average of E_{A} over a set of M images is also the best estimation of the entanglement bound
n=1,…, M being the image index. We proceed by analysing the sources of uncertainty when estimating , that is, the systematic uncertainty related to n_{i,j} and g_{i,j}, and the statistical contribution associated with shottoshot variations of n_{i,j}.
The statistical uncertainty can be estimated as
The approximation used in equation (38) for xΔ_{i}, yΔ_{j} introduces a systematic error. We find
From the mean value theorem, we have that
where (a, b)=(1 − c)(x, y)+c(x_{i}, y_{i}) for some c between 0 and 1. Hence, for xΔ_{i}, yΔ_{j}, we find
and with this result equation (41) becomes
Thus, assuming a flat error distribution, the resulting s.e. is given by
Now we analyse in more detail the other systematic contributions. In the following, we write i=(i, j). The g_{i} are obtained from the Wannier function of the optical lattice and thus the error depends on the uncertainty σ_{s}=0.1s we have in the estimation of the lattice depth s, that is,
Now we discuss the systematic error on . In the experiment, we measure the optical density distribution by absorption imaging. More specifically, we record on a CCD camera the intensity profile of a resonant probe laser beam interacting with the sample. The absorbed light intensity I_{a}, integrated along the z direction (the direction of propagation of the probe beam), as given by the Beer–Lambert law, is , with I_{0} being the incident intensity and σ the resonant absorption crosssection given by , where λ_{0} is the wavelength of the resonant transition. For circularly polarized light on the transition, we used for ^{87}Rb, we have σ=2.907 × 10^{−13} m^{2} (ref. 41). Hence, one has
where I_{t}=I_{0}−I_{a} is the transmitted light intensity, and I_{d} is the intensity of the background light recorded on the CCD camera without the imaging beam. Polarization effects and the atomic manifold levelstructure of the optical transition used in the imaging process can bring the absorption crosssection to be smaller than its theoretical value given above. This would lead to underestimate the number of atoms. Thus, we performed an accurate calibration of the absorption imaging efficiency^{42}. For the pixel i centred at (x_{i},y_{i}) as denoted above, the atomic density is given by
where the prefactor α and its uncertainty σ_{α} are given by
and is an offset that may vary from image to image (hence the index n). We estimate as follows. For pixels i far away from the centre of the image, we do not expect any atoms. We consider quadratic frames centred on the image of thickness one pixel and increasing size. We then calculate the average of for each frame and take as the minimum over all such frames and (F denotes the set of pixels corresponding to the frame)
To summarize, the best estimation of the entanglement bound over a set of M images is given by
and our best estimation of the systematic uncertainty is
which evaluates to
The global uncertainty can be found adding systematic and statistical errors in quadrature,
which corresponds to the error bars indicated in the main text. Analysing the different contributions, we have found that the main error sources are related to the estimation of α and , hence the error bars actually do not decrease when considering a larger number of images, that is statistical errors are negligible. In other words, our entanglement estimation does not require a large set of absorption images to get small errors on the lower bound.
Production of samples with different temperatures
In Fig. 5, we show the experimental sequence adopted to obtain samples with different temperature T (the temperature before ramping up the lattice) in the same harmonic potential. As the temperature is varied through a final evaporation performed lowering the power P_{ODT} of the optical dipole trap to a final value P_{0}, in general samples with different temperatures are obtained in different harmonic potentials. For this reason, before ramping up the lattices we adiabatically increase in 500 ms the ODT to a fixed power P_{1}. In this way, all the samples with different temperatures are prepared in the same harmonic potential with cylindrical symmetry characterized by a radial frequency of 50 Hz and an axial frequency of 8 Hz. The atom number in the samples with different temperatures is kept constant by varying the loading time of the magnetic trap to realize samples with similar atom number.
Additional information
How to cite this article: Cramer, M. et al. Spatial entanglement of bosons in optical lattices. Nat. Commun. 4:2161 doi: 10.1038/ncomms3161 (2013).
References
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information Cambridge University Press (2000).
Plenio, M. B. & Virmani, S. An introduction to entanglement measures. Quant. Inf. Comp. 7, 1–51 (2007).
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
Gühne, O. & Tóth, G. Entanglement detection. Phys. Rep. 474, 1–75 (2009).
Leibfried, D. et al. Creation of a sixatom ‘Schrödinger cat' state. Nature 438, 639–642 (2005).
Häffner, H. et al. Scalable multiparticle entanglement of trapped ions. Nature 438, 643–646 (2005).
Monz, T. et al. 14Qubit entanglement: creation and coherence. Phys. Rev. Lett. 106, 130506 (2011).
Yao, X. C. et al. Observation of eightphoton entanglement. Nat. Photonics 6, 225–228 (2012).
Estève, J., Gross, C., Weller, A., Giovanazzi, S. & Oberthaler, M. K. Squeezing and entanglement in a BoseEinstein condensate. Nature 455, 1216–1219 (2008).
Leroux, I. D., SchleierSmith, M. H. & Vuletic′, V. Orientationdependent entanglement lifetime in a squeezed atomic clock. Phys. Rev. Lett. 104, 250801 (2010).
Riedel, M. F., Böhi, P., Li, Y., Hänsch, T. W., Sinatra, A. & Treutlein, P. Atomchipbased generation of entanglement for quantum metrology. Nature 464, 1170–1173 (2010).
LouchetChauvet, A. et al. Entanglementassisted atomic clock beyond the projection noise limit. New J. Phys. 12, 065032 (2010).
Mandel, O. et al. Controlled collisions for multiparticle entanglement of optically trapped atoms. Nature 425, 937–940 (2003).
Christensen, N. B. et al. Quantum dynamics and entanglement of spins on a square lattice. Proc. Natl Acad. Sci. USA 104, 15264–15269 (2007).
Cramer, M., Plenio, M. B. & Wunderlich, H. Measuring entanglement in condensed matter systems. Phys. Rev. Lett. 106, 020401 (2011).
Audenaert, K. M. R. & Plenio, M. B. When are correlations quantum? — verification and quantification of entanglement by simple measurements. New J. Phys. 8, 266 (2006).
Eisert, J., Brandão, F. G. S. L. & Audenaert, K. M. R. Quantitative entanglement witnesses. New J. Phys. 9, 46 (2007).
Horodecki, R., Horodecki, M. & Horodecki, P. Entanglement processing and statistical inference: The Jaynes principle can produce fake entanglement. Phys. Rev. A 59, 1799–1803 (1999).
Vollbrecht, K. G. H. & Cirac, J. I. Delocalized entanglement of atoms in optical lattices. Phys. Rev. Lett. 98, 190502 (2007).
Brandão, F. G. S. L. & Plenio, M. B. Entanglement theory and the second law of thermodynamics. Nat. Phys. 4, 873–877 (2008).
Gour, G. & Spekkens, R. W. The resource theory of quantum reference frames: manipulations and monotones. New J. Phys. 10, 033023 (2008).
Masanes, L. All bipartite entangled states are useful for information processing. Phys. Rev. Lett. 96, 150501 (2006).
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classical and EinsteinPodolskyRosen channels. Phys. Rev. Lett. 70, 1895–1899 (1993).
Eisert, J., Jacobs, K. A., Papadopoulos, P. & Plenio, M. B. Optimal local implementation of nonlocal quantum gates. Phys. Rev. A 62, 052317 (2000).
Wiseman, H. M. & Vaccaro, J. A. Entanglement of indistinguishable particles shared between two parties. Phys. Rev. Lett. 91, 097902 (2003).
Verstraete, F. & Cirac, J. I. Quantum nonlocality in the presence of superselection rules and data hiding protocols. Phys. Rev. Lett. 91, 010404 (2003).
Schuch, N., Verstraete, F. & Cirac, J. I. Nonlocal resources in the presence of superselection rules. Phys. Rev. Lett. 92, 087904 (2004).
Benatti, F., Floreanini, R. & Marzolino, U. Bipartite entanglement in systems of identical particles: the partial transposition criterion. Ann. Phys. 327, 1304–1319 (2012).
Brandão, F. G. S. L. Quantifying entanglement with witness operators. Phys. Rev. A 72, 022310 (2005).
Lin, Y. J., Perry, A. R., Compton, R. L., Spielman, I. B. & Porto, J. V. Rapid production of 87Rb BoseEinstein condensates in a combined magnetic and optical potential. Phys. Rev. A 79, 063631 (2009).
Endres, M. et al. Observation of correlated particlehole pairs and string order in lowdimensional Mott insulators. Science 334, 200–203 (2011).
Jaksch, D., Bruder, C., Cirac, J. I., Gardiner, C. W. & Zoller, P. Cold bosonic atoms in optical lattices. Phys. Rev. Lett. 81, 3108–3111 (1998).
Greiner, M., Mandel, O., Esslinger, T., Hänsch, T. W. & Bloch, I. Quantum phase transition from a superfluid to a Mott insulator in a gas of ultracold atoms. Nature 415, 39–44 (2002).
Pedri, P. et al. Expansion of a coherent array of BoseEinstein condensates. Phys. Rev. Lett. 87, 220401 (2001).
Gerbier, F. et al. Expansion of a quantum gas released from an optical lattice. Phys. Rev. Lett. 101, 155303 (2008).
Krammer, P. et al. Multipartite entanglement detection via structure factors. Phys. Rev. Lett. 103, 100502 (2009).
Gemelke, N., Zhang, X., Hung, C. L. & Chin, C. In situ observation of incompressible Mottinsulating domains in ultracold atomic gases. Nature 460, 995–999 (2009).
Weld, D. M. et al. Spin gradient thermometry for ultracold atoms in optical lattices. Phys. Rev. Lett. 103, 245301 (2009).
Schuch, N., Wolf, M. M., Verstraete, F. & Cirac, J. I. Entropy scaling and simulability by Matrix Product States. Phys. Rev. Lett. 100, 030504 (2008).
Eisert, J., Cramer, M. & Plenio, M. B. Colloquium: Area laws for the entanglement entropy. Rev. Mod. Phys. 82, 277–306 (2010).
Steck, D. Rubidium 87 D line data. (http://steck.us/alkalidata).
Reinaudi, G., Lahaye, T., Wang, Z. & GuéryOdelin, D. Strong saturation absorption imaging of dense clouds of ultracold atoms. Opt. Lett. 32, 3143–3145 (2007).
Acknowledgements
The work at Ulm University has been supported by the EU Integrated Project QESSENCE, the EU STREPs CORNER, the Alexander von Humboldt Professorship and the BMBF. The work at LENS has been supported by MIUR through PRIN nr. 2009TM7ERK_004, ERC Advanced Grant DISQUA, EU FP7 Integrated Project AQUTE, and IIT Seed Project ENCORE. The work of F.C. has been supported by EU FP7 MarieCurie Programme (IntraEuropean Fellowship and Career Integration Grant) and by MIURFIRB grant (Project No. RBFR10M3SB). We thank M. Modugno, C. Sias, J. Cai and G. Nikoghosyan for critical reading of the manuscript. F.C. acknowledges H. Wunderlich for fruitful discussions at the early stages of this project. The QSTAR is the MPQ, LENS, IIT, UniFi Joint Center for Quantum Science and Technology in Arcetri.
Author information
Authors and Affiliations
Contributions
M.C., F.C. and M.B.P. proposed the project, M.C. and M.B.P. led the theory; A.B., N.F., L.F., C.F., S.R. and M.I. planned and carried out the experiment with input from F.C. and M.C.; M.C. derived the monotone and analysed the data with input from all other authors. All authors discussed the results. M.C., M.B.P. (F.C., N.F., C.F.) wrote the theory (experimental) part of the manuscript with input from all authors.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
About this article
Cite this article
Cramer, M., Bernard, A., Fabbri, N. et al. Spatial entanglement of bosons in optical lattices. Nat Commun 4, 2161 (2013). https://doi.org/10.1038/ncomms3161
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/ncomms3161
This article is cited by

Locality and entanglement of indistinguishable particles
Scientific Reports (2021)

Experimental characterization of twoparticle entanglement through position and momentum correlations
Nature Physics (2019)

Entanglement certification from theory to experiment
Nature Reviews Physics (2018)

Supremum of block entanglement for symmetric Gaussian states
Scientific Reports (2018)

Efficient tomography of a quantum manybody system
Nature Physics (2017)
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.