# Trapped-ion quantum simulation of tunable-range Heisenberg chains

- Tobias Graß
^{1}Email author and - Maciej Lewenstein
^{1, 2}

**1**:8

https://doi.org/10.1140/epjqt8

© Graßand Lewenstein; licensee Springer on behalf of EPJ. 2014

**Received: **26 February 2014

**Accepted: **12 May 2014

**Published: **3 June 2014

## Abstract

Quantum-optical techniques allow for generating controllable spin-spin interactions between ions, making trapped ions an ideal quantum simulator of Heisenberg chains. A single parameter, the detuning of the Raman coupling, allows to switch between ferromagnetic and antiferromagnetic chains, and to modify the range of the interactions. On the antiferromagnetic side, the system can be tuned from an extreme long-range limit, in which any pair of ions interacts with almost equal strength, to interactions with a $1/{r}^{3}$ decay. By exact diagonalization, we study how a system of up to 20 ions behaves upon tuning the interactions. We find that it undergoes a transition from a dimerized state with extremely short-ranged correlations towards a state with quasi long-range order, that is, algebraically decaying correlations. The dynamical evolution of the system after a local quench is shown to strongly vary in the two regimes: While in the dimerized limit, the excitation remains localized for long times, propagating spinons characterize the dynamics of the quasi-long-range ordered system. Taking a look onto the ferromagnetic side of the system, we demonstrate the feasibility of witnessing non-locality of quantum correlations by measuring two-particle correlators.

## Keywords

## 1 Introduction

A paradigm system of quantum mechanics which may exhibit intriguing quantum properties like entanglement and non-locality are two spins. By increasing the number of spins, more complex behavior may emerge. In fact, a large variety of condensed matter phenomena, ranging from metal-insulator transition to superfluidity or superconductivity, are successfully described by mapping the relevant low-energy Hilbert space onto a spin model [1]. Moreover, spin models may describe spin-liquid phases which exhibit topological order. In recent years, technological progress in manipulating atoms on the quantum level has allowed to explicitly engineer spin models [2]. This has opened the opportunity for testing the foundations of quantum mechanics, for simulating complex many-body behavior, and for studying the dynamics of interacting spin chains [3–5].

A very promising quantum simulator are trapped ions, with widely spread applications ranging from relativistic quantum mechanics [6, 7], topological systems [8], fermionic lattice models [9], to neural networks [10]. Trapped ions can be prepared in such a way that their dynamics is mainly restricted to some internal states of the ions, while the external motion is cooled down to only a few phonons. The internal states then represent a (pseudo)spin, and phonon-mediated spin-spin interactions can be implemented [11, 12]. This has already led to the experimental realization of SU(2) Ising models in one and two spatial dimensions [13–16], and, very recently, to the experimental study of entanglement dynamics in Ising and XY chains [17, 18]. The implementation of more complicated spin models has been suggested, e.g. of Heisenberg and XY models [12, 19], or models with higher spin [20]. Furthermore, the tunability of the phonon-mediated interaction allows to study models with long-range interactions. Roughly, interactions with $1/{r}^{\alpha}$ decay have been engineered for $0\lesssim \alpha \lesssim 3$[16].

In this paper, we first provide an overview of the different models in Section 2. We then discuss the ionic setup in Section 3. In Section 4, we show that by increasing the range of interactions, a transition from a Haldane-Shastry-like quasi-long-range order to a Majumdar-Ghosh-like dimerized order can be observed in the ionic system. In Section 5, we apply different quenches to the system, and study the subsequenct dynamical evolution of the system. We consider local quenches, e.g. by a sudden application of a magnetic field to a single ion, and show that the dynamics in the dimerized regime differs significantly from the one in a system with quasi-long-range order. While in the former case the excitations remain localized for a long time, in the latter they spread in good agreement with the velocity obtained analytically for the Haldane-Shastry model. For global quenches, realized by apruptly changing the range of interactions and thereby sweeping through the dimerization transition, we study the correlation spreading, which is found at an increased velocity. In Section 6, we consider the Lipkin-Meshkov-Glick limit on the ferromagnetic side, which has been suggested for witnessing non-locality of quantum correlations [27]. Finally, we provide a summary in Section 7. Moreover, our paper contains two appendices: In Appendix 1, we provide details to the ionic setup, and in Appendix 2, we discuss the relation between the ionic model and a spin model.

## 2 The models

*N*spin-1/2 particles generally reads

where ${S}_{\alpha}^{(i)}=\frac{\u0127}{2}{\sigma}_{\alpha}^{(i)}$, and ${\sigma}_{\alpha}^{(i)}$ denotes a Pauli matrix for the spin at position *i*. In this paper we focus on the antiferromagnetic side of this model, that is, the model with interaction strengths ${J}^{(i,j)}>0$.

The functional behavior of ${J}^{(i,j)}$ as $|i-j|$ may crucially influence the physics of the model. Let us in the following discuss the different cases which are important for our application.

### 2.1 Haldane-Shastry model

*η*into it:

*η*is given by $|{\mathrm{\Psi}}_{\eta \downarrow}\u3009={\sum}_{\{{z}_{1},\dots ,{z}_{M}\}}{\mathrm{\Psi}}_{\eta}({z}_{1},\dots ,{z}_{M}){S}_{{z}_{1}}^{+}\cdots {S}_{{z}_{M}}^{+}|\downarrow \downarrow \cdots \downarrow \u3009$, where $M=(N-1)/2$. By Fourier transformation of the localized spinon wave function, one obtains the wave function for a propagating spinon, which is an the exact solution of the model:

*m*is an integer defining the momentum ${p}_{m}=-(2\pi /N)m+\pi (1-1/2N)$. Evaluating the energies of ${\mathrm{\Psi}}_{0}$ and ${\mathrm{\Psi}}_{{p}_{m}}$, one obtains the spinon excitation energy as [24]:

With this criterion, the Haldane-Shastry model, despite the long-range interactions, supports the same quantum phase as the Heisenberg chain with nearest-neighbor interactions, also characterized by quasi long-range spin order. In the next subsection, we will introduce a model which is in contrast to this behavior.

### 2.2 Majumdar-Ghosh model/${J}_{1}-{J}_{2}$ model

It is obvious that in such dimer state, any spin is fully correlated to one nearest neighbor, but fully uncorrelated with the other spins. In other words, no long-range spin correlations exist. Note that for a system with open boundary conditions, the spin at position 1 and the spin at position *N* do not interact, and therefore the ground state is uniquely given by $|{\mathrm{\Psi}}_{-}\u3009$.

### 2.3 Lipkin-Meshkov-Glick model

*N*spin-$1/2$ particles is given by the Catalan number

However, this degeneracy is lifted by any small spatial dependence of the interactions.

with $|{D}_{N/2,N/2}\u3009$ the unique ground state for $J<0$ and $h=0$.

## 3 The ionic system

Tunable-range Ising models have already been implemnted in trapped ions [13, 14]. In these experiments, two-levels ions are confined to a line by a Paul trap, and their motional state is cooled to only a few phonons. Strong spin-spin interactions are then achieved by applying state-dependent forces on the ions. In Ref. [13], Ising-type interactions of the form ${\sigma}_{z}^{(i)}{\sigma}_{z}^{(j)}$ are generated, whereas Ref. [14] describes the production of interactions of the form ${\sigma}_{x}^{(i)}{\sigma}_{x}^{(j)}$ or ${\sigma}_{y}^{(i)}{\sigma}_{y}^{(j)}$. As reviewed in Ref. [33], both approaches have basically the same footing, and it is possible to combine them. Instead of an Ising coupling, one then obtains, in the first place, an $XYZ$-model. By making all interactions equal, one gets the Heisenberg model.

An important difference between the ionic system and the ideal models discussed above are the boundary conditions: For the most feasible experimental implementation, they are open, while periodic boundary conditions are convenient for a theoretical description. In general, the effect of boundary conditions is minimized by scaling up the system. For systems of up to $N=20$ ions, we will in the following discuss how close the connection to the Haldane-Shastry model and the Majumdar-Ghosh model can be made by tuning the range of the interaction.

Here, $\u0127{\omega}_{0}$ is the energy difference between the two internal levels, ${\stackrel{\u02c6}{a}}_{m}$ is the annihilation operator for phonons denoted by *m* and with frequency ${\omega}_{m}$. The Rabi frequencies of the couplings are denoted by ${\mathrm{\Omega}}_{\alpha}$, and ${\omega}_{\alpha}$ are the frequencies of the fields. Furthermore, the strength of each coupling depends on the Lamb-Dicke paremeters ${\eta}_{m}$, which are explicitly defined in the Appendix 1. For all couplings *α*, the wave vector difference of the photons, $\delta {\mathbf{k}}_{\alpha}$, is assumed to be transverse to the ion chain, so the sum over *m* reduces to a sum over *N* transverse modes.

with all ${J}_{\alpha}^{(i,j)}$ given by Eq. (16). These interactions can be tuned by varying the frequency of the Raman laser. Choosing it close to the frequency of the center-of-mass mode, the strength of the induced interactions will barely depend on the particles’ position, ${J}^{(i,j)}\approx J$. The sign of *J* can be made positive (negative) by tuning above (below) the center-of-mass frequency. Close to resonance, the system is similar to the Lipkin-Meshkov-Glick model. Due to the strong nearest-neighbor and next-nearest-neighbor interactions this limit is somewhat similar to the dimerized ${J}_{1}-{J}_{2}$-model.

By increasing the detuning from the center-of-mass mode, ${J}^{(i,j)}$ is made spatially dependent, and in the limit of large detuning, a $1/{r}^{3}$ decay can be achieved. For intermediate values of the detuning, the interactions may approximate a quadratic decay for sufficiently small *r*, as shown in Figure 1(c), (d). The most dominant interactions then agree quantitatively well with the interactions of the Haldane-Shastry model. Further techniques could be applied in order to achieve a better agreement of the ion setup with a particular model, e.g. by individually addressing of the ions [34]. However, here we restrict ourselves to the simplest implementation which already exhibits rich physics.

The feasibility of the experimental implementation depends on different factors which potentially reduce the fidelity. In the first place, one should note that the effective Hamiltonian (17) has been obtained by neglecting a residual spin-phonon coupling. This implies an error ${\u03f5}_{sp}\approx 4(1+\overline{n}){\eta}^{2}$, with $\overline{n}$ the mean phonon number [12]. This error is small in the Lamb-Dicke regime, $\eta \ll 1$, typically of the order of few percents [15]. Another source of error, which becomes particularly important for small detunings, are Raman-induced phonon excitations, with a probability given by ${p}_{\mathrm{ph}}={(\eta \mathrm{\Omega}/\delta )}^{2}\sim J/\delta $. Keeping this error small at a given detuning therefore sets an upper limit to the coupling parameter *J*. On the other hand, *J* should be sufficiently large compared to imperfections like field imhomogenities or spontanous emission rates. The recent experiments in Maryland [17] and in Innsbruck [18] with up to 15 trapped ions operate at a ${J}_{\mathrm{max}}\sim 400\text{Hz}$, much larger than the estimated inhomogenities <20Hz [18]. We will find in the next section that dimerization occurs at a detuning of the order of 10kHz, that is, slightly below the lowest detuning realized in Ref. [18]. In this regime, photon errors are estimated to be ${p}_{\mathrm{ph}}=0.04$.

An important part of trapped-ion quantum simulations are the well developped read-out techniques. In particular, it is possible with single-site precision to excite ions from one spin level to some excited state, and detect the subsequent fluorescence. This allows local ${\sigma}_{z}^{(i)}$ measurements. Repeated measurements at different *i* will allow to evaluate correlation functions, e.g. $\u3008{\sigma}_{z}^{(i)}{\sigma}_{z}^{(j)}\u3009$, as has been demonstrated, even with temporal resolution, in Refs [17, 18].

A key issue is the scalability of spin model quantum simulations. This topic has been discussed in Refs [15, 35], finding only a slow ${N}^{1/3}$ growth of the errors due to spontaneous emission. Nevertheless, clearly outperforming classical computing resources with trapped ions may require new architectures, as the quantum simulation of a two-dimensional system with hundreds of ions in a Penning trap [16].

## 4 Dimerization transition

We have studied by means of exact diagonalization chains of up to 20 ions. The only tunable parameter in our study is the detuning $\delta \equiv {\tilde{\omega}}_{\alpha}-{\omega}_{\mathrm{COM}}$, where ${\omega}_{\mathrm{COM}}$ refers to the frequency of the center-of-mass mode, that is, the transverse mode of largest energy. For convenience, we have chosen ${}^{171}\mathrm{Yb}^{+}$ ions, with equilibirum distance of 10*μ* m at a radial trap frequency ${\omega}_{\mathrm{trap}}=2\pi \times 5\text{MHz}$. As shown in Figure 1(c), (d), for very small detuning, $\delta =1\text{kHz}$, the system is close to the Lipkin-Meshkov-Glick limit: Any pair of ions interacts with almost the same strength. For large detuning, $\delta \gtrsim 1\text{,}000\text{kHz}$, the interactions decay with $1/{r}^{3}$. For intermediate values, the interactions between near neighbors becomes similar to the Haldane-Shastry interactions.

A sharp criterion for the transition from a dimerized state to a long-range ordered state can be inferred from Figure 2(b), where the energy of the lowest singlet and the lowest triplet excitation is plotted. For the ${J}_{1}-{J}_{2}$ model, it is known that the crossing of these energies mark with high precision, even in small systems, the dimerization transition [36]. In our case, the triplet becomes the low-lying excitation for $\delta >10\text{kHz}$. In this context, we also note that, at $\delta =1\text{kHz}$, in total 118 singlet states have lower energy than the triplet state. Still, this is far from ${C}_{16}=1\text{,}430$, the number of singlet states providing the ground state manifold of the antiferromagnetic Lipkin-Meshkov-Glick model. But in contrast, at $\delta =5\text{kHz}$, the lowest triplet state already reaches the 7th position in the energy spectrum.

### 4.1 Entanglement entropy

*ℓ*, defined as

where $\stackrel{\u02c6}{\rho}(\ell )$ is the density matrix of the subsystem *A*.

*ℓ*and $\ell +1$ are dimerized, whereas on the other bonds no quantum information is shared, $\mathcal{S}(\ell )=0$. Such alternations, however, are not present for the Majumdar-Ghosh dimer with periodic boundary conditions [37]. In that case, both dimer states $|{\mathrm{\Psi}}_{+}\u3009$ and $|{\mathrm{\Psi}}_{-}\u3009$, will equally contribute to the ground state manifold, and thus completely wash out the pattern. It has been discussed in Ref. [38] for a broader class of spin models that alternating behavior is characteristic for systems with open boundary conditions, though typically with a much smaller amplitude than in the case of the Majumdar-Ghosh chain.

In Figure 3, we plot the entanglement entropy of different systems with $N=18$ spins: the ionic system with detuning $\delta =1\text{kHz}$ and $\delta =100\text{kHz}$, an ideal Heisenberg chain with nearest neighbor interactions, and the Majumdar-Ghosh chain. In all cases, we have applied open boundary conditions, and accordingly we find alternating behavior of the entanglement entropy. As expected, these alternations are strongest for the Majumdar-Ghosh chain, and weakest for the nearest-neighbor Heisenberg model. The entanglement entropy of ionic systems with $\delta =1\text{kHz}$ behaves very similar to the entanglement entropy of the Majumdar-Ghosh model, proving the dimerized nature of the phase. At $\delta =100\text{kHz}$, the curve alternates less and comes closer to the entanglement entropy of the nearest-neighbor Heisenberg model. This shows that the tendency of nearest neighbors to form singlets is still present, but also more remote spins become entangled.

### 4.2 Spin-spin correlations

*d*between the spins:

To some extent this restores periodic boundary conditions. Furthermore, we perform a finite-size scaling (taking into account all even system sizes from $N=10$ to $N=20$).

*d*. The correlations compare well with the correlations of the Haldane-Shastry model, despite the different boundary conditions. The decay is slightly too fast, but through finite-size scaling a slightly better agreement is obtained. One should also note that for large

*d*, comparable to the system size, edge effects are not averaged out by the definition of Eq. (19). The plot in Figure 4(b) demonstrates that the decay can be modeled by a power-law: $C(d)\propto {(-1)}^{d}{r}^{-\alpha}$, with $\alpha =1.15\pm 0.05$.

*d*even, and ${i}_{\mathrm{max}}=(N-d+1)/2$ for

*d*odd. With such definition, we find that ${C}^{\mathrm{odd}}(d)$ takes its maximum value $-1/4$ for $d=1$, demonstrating the strong anticorrelations between every second nearest-neighbor pair. For larger distances, the value rapidly decreases. The sign alternates for odd/even

*d*. As shown in Figure 5, the decay takes place exponentially.

## 5 Quench dynamics

So far we have considered ground state properties of the trapped ion quantum simulation of the Heisenberg model. In two very recent experiments [17, 18], trapped ions have been demonstrated to be particularly useful for studying also the dynamics of interacting spins. This can be done by exciting the system through either a local or a global quench. In the following, we will investigate the system’s response to local quenches in both the dimerized and the quasi-long-range ordered regime. Afterwards, we study a global quench through the dimerization transition.

### 5.1 Local quenches

*H*given by Eq. (17), that is, a system with pure spin-spin interactions. As discussed in the previous section, for sufficiently small detuning, this is a dimerized state, whereas larger detuning yields a ground state with algebraically decaying correlations. In both cases, the spin polarization $\u3008{\sigma}_{z}^{(i)}\u3009$ is zero on all sites

*i*. We then create locally a finite spin polarization by abruptly switching on a magnetic field term at one site, for instance at the position of the outermost left spin, $i=1$. Subsequently, we evolve the system under the new Hamiltonian ${H}^{\prime}=H+B{S}_{z}^{(1)}$. The evolution of the spin polarization is shown for a system of $N=12$ spins in Figure 6.

In the dimerized system, Figure 6(a), the magnetic field induces a spin oscillation of the first spin. Simultaneously, also the second spin performs an oscillation in the opposite direction. This behavior is an apparent consequence of the strong anticorrelations between the two spins. Interestingly, all other spins remain almost unaffected by the magnetic field for a long time.

An alternative but similar way of performing a local quench is by a projective measurement of one spin. The subsequent dynamics is then described purely by the Hamiltonian *H*, and is found to be qualitatively similar to the dynamics described above. The main difference is that, in the system with quasi long-range correlations, the projective measurement will immediately affect all spins to a certain extent, obscuring the signal of the spinons.

While in practice it might be difficult to maintain coherence during the whole evolution shown in Figure 6(a), up to times of the order $50{J}^{-1}$, the striking differences between Figure 6(a) and (b) become apparent already on a much smaller time scale, say $5{J}^{-1}$. For typical values of *J*, this is of the order of 10ms, which is smaller than the duration of measurements in Ref. [18].

### 5.2 Global quenches

We have also studied the systems’ dynamics following a global quench. Here an interesting possibility is to abruptly change the range of interactions by changing the detuning. Thereby one can quench through the dimerization transition. Starting from the dimerized ground state, where each spin is correlated only to one neighbor, one can observe the creation of entanglement between more distant spins.

*t*. In Figure 8, we show the growth of correlations between the first spin and the remaining spins, to which no correlations exist in the beginning. In analogy to the behavior of spin polarization discussed before, the spins at odd positions will, in the first place, become correlated with the first spin, while the even spins are getting anticorrelated. As a guide to the eye, the vertical lines in Figure 8 mark the “trajectory” of a signal traveling with the Haldane-Shastry spinon velocity, ${v}_{s}=\pi /2$. The first line corresponds to a traveled distance of one unit of length. For subsequent lines, the distance is increased by two. As the first and the second ions are dimerized, we may always consider the distance between an ion

*i*to the second ion, $i=2$. We then find that the velocity with which correlations reach the spins at $i=3$, $i=5$, and $i=7$ coincides well with the spinon velocity. Interestingly, the anticorrelations with the even spins are transmitted more rapidly. A remarkable increase of velocity is found towards the end of the chain: Spins at $i=7$, $i=9$, and $i=11$ become correlated with the first spin almost simultaneously. Even more surprisingly, the correlation with the spin at $i=11$ starts to grow slightly earlier than the correlation with the spin at $i=9$. An explanation of this behavior could be the fact that in the moment of the global quench excitations are created at all positions. Each excitation will, in the first place, build up correlations between neighboring spins, but nonlocality of correlations can provide an immediate “bridge” between spins at a larger distance.

## 6 Nonlocality witness

Here, ${S}_{ij}\equiv {\sum}_{k\ne l}\u3008{\stackrel{\u02c6}{m}}_{i}^{(k)}{\stackrel{\u02c6}{m}}_{j}^{(l)}\u3009$ are the correlations of two measurements $\stackrel{\u02c6}{m}$ taken at sites *k* and *l*. On each site, one may take ${\stackrel{\u02c6}{m}}_{0}\equiv {\sigma}_{z}$ and ${\stackrel{\u02c6}{m}}_{1}\equiv cos\theta {\sigma}_{z}+sin\theta {\sigma}_{x}$. If a *θ* for which inequality (21) is violated exists, the system must have non-local correlations.

While inequality (21) turns out to be unable to detect nonlocality on the antiferromagnetic side of the ionic setup, a chance for violation exists on its ferromagnetic side. For sufficiently small detuning, the sytem is in the Lipkin-Meshkov-Glick limit of spatially independent interactions, and for $J<0$, states with maximal spin are ground state of the Hamiltonian $H\approx J({\mathbf{S}}^{2}-\frac{3}{4}N)$. The ground state manifold is thus given by all $N+1$ Dicke states. To lift the degeneracy, one could apply a magnetic field: A field in *z*-direction yields either ${D}_{0,N}$ or ${D}_{N,0}$ as the unique ground state. The state $|{D}_{N/2,N/2}\u3009$ becomes unique ground state if a staggered magnetic field along *z*-direction is applied. Alternatively, even without applying a symmetry-breaking field, the degeneracy is lifted in favor of $|{D}_{N/2,N/2}\u3009$ by switching off the interactions ${J}_{z}^{(i,j)}\to 0$. The system is then govered by ${H}_{\mathrm{LMG}}$ given in Eq. (12).

With this, inequality (21) is violated. To assert the feasibility of such non-locality witness in the ionic system, we have calculated the ground state of a system of 14 ions, with ${J}_{z}^{(i,j)}=0$, while ${J}_{x}^{(i,j)}$ and ${J}_{y}^{(i,j)}$ given by Eq. (16). Indeed, the system is found in the Dicke state $|{D}_{N/2,N/2}\u3009$ with fidelity >0.99 for $|\delta |<1\text{kHz}$. By increasing the absolute value of the negative detuning, we find that, while ${S}_{zz}$ and ${S}_{zx}$ remain constant, ${S}_{xx}$ decreases. Thus, for ${S}_{xx}$ below a critical value ${S}_{xx}^{\mathrm{crit}}=N(N-2)/2$, inequality (21) will not be violated anymore. For $N=14$, we numerically found ${S}_{xx}=89.6>{S}_{xx}^{\mathrm{crit}}$ at $\delta =-2.8\text{kHz}$, while ${S}_{xx}=73.3<{S}_{xx}^{\mathrm{crit}}$ at $\delta =-3.0\text{kHz}$. In the same parameter range, the overlap of the ground state with the Dicke state drops suddenly: While it remains above 0.95 up to $|\delta |=2.5\text{kHz}$, it reaches zero for $|\delta |=3.2\text{kHz}$.

In this regime of relatively large detuning, other phonons than the center-of-mass mode strongly affect the spin-spin interactions. This gives rise *t* very peculiar interaction patterns consisting of attractively and repulsively interacting pairs. It would, however, be striking if non-locality of correlations could also be witnessed in a system where interactions are short-ranged. Interestingly, we find that the short-range ferromagnetic Heisenberg chain behaves exactly the same way as the long-range chain does: $N+1$ Dicke states form a ground state manifold in which degeneracies can be lifted by magnetic fields, in particular, in favor of $|{D}_{N/2,N/2}\u3009$ by a staggered magnetic field. Certainly, the ionic setup discussed here does not immediately allow for implementation of the ferromagnetic short-ranged Heisenberg model due to the mentioned mixing of different phonon modes, but it could be achieved by switching from transverse to longitudinal phonons as transmitter of interactions. In that case, the center-of-mass mode is lowest in energy, and the negative detuning will not interfere with other modes. Moreover, additional control could be implemented through additional Raman couplings [34]. Alternatively, also atoms in optical waveguides or phononic crystals allow for implementing spin models with controllable interactions, and could be tuned into a ferromagnetic short-range regime [42]. We also note that by using adiabatic passage techniques the Dicke state $|{D}_{N/2,N/2}\u3009$ has recently been produced in trapped ion systems [43].

## 7 Summary

We have simulated a quantum simulation of the Heisenberg model with trapped ions. In particular, we have investigated the influence of a single control parameter, the detuning, on the system. This parameter allows to tune the range of the interactions. We have shown that this can trigger a dimerization transition. To demonstrate dimerization, we have calculated the entanglement entropy and two-spin correlation functions in systems of up to $N=20$ ions. Studying the response to local quenches, we were able to distinguish between the two regimes also by the system’s dynamics: For long times, local excitations do not spread in the dimerized system. In contrast to this, they are carried through the whole chain in form of spinons in the regime with quasi-long-range order. We also have calculated the spreading of correlations following a global quench, and found some signature of non-locality. Apart from this, we have explored the possibility of witnessing non-locality by measurement of two-spin correlation functions on the ferromagnetic side of the model. In summary, the trapped-ion quantum simulation is able to test basic foundations of quantum mechanics, and to study both ground state properties and dynamics of complicated, long-ranged models.

## Appendix 1: Photon-phonon interaction

Here, $\u0127{\omega}_{0}$ is the energy difference between the two internal levels, ${\sigma}_{z}$ is a Pauli matrix. The phonons in the system are counted by ${\stackrel{\u02c6}{n}}_{m}={\stackrel{\u02c6}{a}}_{m}^{\u2020}{\stackrel{\u02c6}{a}}_{m}$, for each mode denoted by *m*. The different Raman couplings, denoted by the index *α*, give rise to Rabi frequencies ${\mathrm{\Omega}}_{\alpha}$. The fields have wave vector ${\mathbf{k}}_{\alpha}$, frequency ${\omega}_{\alpha}$, and a phase ${\phi}_{\alpha}$. The position of the ions is denoted by ${\mathbf{r}}^{(i)}$, and the action of the field on the internal state of each ion is expressed by ${\tau}_{\alpha}^{(i)}$. We choose the polarization of the couplings such that ${\tau}_{x}^{(i)}={\tau}_{y}^{(i)}\equiv {\sigma}_{x}^{(i)}$, whereas ${\tau}_{z}^{(i)}\equiv {\sigma}_{z}^{(i)}$.

Several assumptions on the Hamiltonian parameters can be made to simplify the expression. First of all, in the Lamb-Dick regime we have ${\mathbf{k}}_{\alpha}\cdot {\mathbf{r}}^{(i)}\ll 1$, and we therefore approximate ${\mathrm{e}}^{i({\mathbf{k}}_{\alpha}\cdot {\mathbf{r}}^{(i)})}\approx 1+i{\mathbf{k}}_{\alpha}\cdot {\mathbf{r}}^{(i)}=1+{\sum}_{m}{\eta}_{m\alpha}^{(i)}({\stackrel{\u02c6}{a}}_{m}+{\stackrel{\u02c6}{a}}_{m})$. In the latter step, we have replaced the ions’ coordinates ${\mathbf{r}}^{(i)}$ by the normal modes around their equilibrium position. The scalar product ${\mathbf{k}}_{\alpha}\cdot {\mathbf{r}}^{(i)}$ is then rewritten in terms of Lamb-Dicke parameters ${\eta}_{m\alpha}$. These parameters measure the strength of the couplings between the photons with wave vector ${\mathbf{k}}_{\alpha}$ and the phononic mode *m*.

*x*- or

*y*-direction, or longitudinal along the

*z*-axis. We obtain the normal modes, denoted by the $N\times N$ matrix ${\mathcal{M}}_{m,i}^{\alpha}$, by diagonalizing the vibrational Hamiltonian ${\mathcal{K}}^{\alpha}$,

Here, we label the phononic modes by $m\in 1,\dots ,N$ and an additional label $\alpha \in \{\mathrm{x},\mathrm{y},\mathrm{z}\}$ specifying the direction of the modes. Having solved Eq. (27), the Lamb-Dicke parameters are expressed by ${\eta}_{m\alpha}^{(i)}=\sqrt{\frac{\u0127}{2M{\omega}_{m\alpha}}}{\mathcal{M}}_{m\alpha}$, with *M* the ion’s mass.

where ${c}_{x,y}=1$, ${c}_{z}=-2$, *e* the unit of charge, and ${\u03f5}_{0}$ the electric constant. For a simulation of the Haldane-Shastry model, it turns out to be convenient to generate all interactions using transverse mode. Assuming isotropy in the transverse directions, we will be able to suppress the index *α* in the following.

Here, we have set the phase of the ${k}_{x}$-laser field, ${\varphi}_{x}$, set to zero. For the coupling in *y* direction, we choose this phase to be ${\varphi}_{y}=\pi $, which effectively replaces ${\sigma}_{x}$ by the ${\sigma}_{y}$ matrix. Note that in the rotating-wave approximation, we have also neglected terms oscillating with ${\omega}_{\alpha}-{\omega}_{0}+{\omega}_{m}$, which is justified if we tune ${\omega}_{\alpha}-{\omega}_{0}$ towards the upper edge of the phonon spectrum.

## Appendix 2: Time evolution

*t*. Thus, we can set ${c}_{m\alpha}^{(i)}\approx 0$, and ${\xi}_{\alpha}^{(i,j)}(t)\approx i{J}_{\alpha}^{(i,j)}t$, with

The time evolution is thus identical to the one of a spin model with spin-spin coupling ${J}_{\alpha}^{(i,j)}$.

## Declarations

### Acknowledgements

The authors thank Remigiusz Augusiak and Ravindra Chhajlany for discussions. This work has been supported by EU (SIQS, FP7/2007-2013 Grant No. 323714 EQUAM), ERC (QUAGATUA, OSYRIS), Spanish MINCIN (FIS2008-00784 TOQATA), Generalitat de Catalunya (2009-SGR1289), Alexander von Humboldt Stiftung, and Fundació Cellex.

## Authors’ Affiliations

## References

- Auerbach A:
*Interacting Electrons and Quantum Magnetism*. Springer, Berlin; 1994.View ArticleGoogle Scholar - Lewenstein M, Sanpera A, Ahufinger V:
*Ultracold Atoms in Optical Lattices - Simulating Quantum Many-Body Systems*. Oxford University Press, Oxford; 2012.MATHView ArticleGoogle Scholar - Romero-Isart O, Eckert K, Rodó C, Sanpera A: Transport and entanglement generation in the Bose-Hubbard model. J Phys A, Math Theor 2007., 40(28): Article ID 8019 Article ID 8019Google Scholar
- Hauke P, Tagliacozzo L: Spread of correlations in long-range interacting quantum systems.
*Phys Rev Lett*2013., 111: Article ID 207202 Article ID 207202Google Scholar - Schachenmayer J, Lanyon BP, Roos CF, Daley AJ: Entanglement growth in quench dynamics with variable range interactions.
*Phys Rev X*2013., 3: Article ID 031015 Article ID 031015Google Scholar - Lamata L, León J, Schätz T, Solano E: Dirac equation and quantum relativistic effects in a single trapped ion.
*Phys Rev Lett*2007., 98: Article ID 253005 Article ID 253005Google Scholar - Gerritsma R, Kirchmair G, Zähringer F, Solano E: Quantum simulation of the Dirac equation.
*Nature*2010., 463: Article ID 68 Article ID 68Google Scholar - Schmied R, Wesenberg JH, Leibfried D:
*New J Phys*. 2011., 13: Article ID 115011 Article ID 115011Google Scholar - Casanova J, Mezzacapo A, Lamata L, Solano E: Quantum simulation of interacting fermion lattice models in trapped ions.
*Phys Rev Lett*2012., 108: Article ID 190502 Article ID 190502Google Scholar - Pons M, Ahufinger V, Wunderlich C, Sanpera A, Braungardt S, Sen(De) A, Sen U, Lewenstein M: Trapped ion chain as a neural network: error resistant quantum computation.
*Phys Rev Lett*2007., 98: Article ID 023003 Article ID 023003Google Scholar - Mintert F, Wunderlich C: Ion-trap quantum logic using long-wavelength radiation.
*Phys Rev Lett*2001., 87: Article ID 257904 Article ID 257904Google Scholar - Porras D, Cirac JI: Effective quantum spin systems with trapped ions.
*Phys Rev Lett*2004., 92: Article ID 207901 Article ID 207901Google Scholar - Friedenauer A, Schmitz H, Glueckert JT, Porras D, Schaetz T: Simulating a quantum magnet with trapped ions.
*Nat Phys*2008, 4(10):757–761. 10.1038/nphys1032View ArticleGoogle Scholar - Kim K, Chang M-S, Islam R, Korenblit S, Duan L-M, Monroe C: Entanglement and tunable spin-spin couplings between trapped ions using multiple transverse modes.
*Phys Rev Lett*2009., 103: Article ID 120502 Article ID 120502Google Scholar - Kim K, Chang MS, Korenblit S, Islam R, Edwards EE, Freericks JK, Lin GD, Duan LM, Monroe C: Quantum simulation of frustrated Ising spins with trapped ions.
*Nature*2010, 465: 590–593. 10.1038/nature09071View ArticleADSGoogle Scholar - Britton JW, Sawyer BC, Keith AC, Wang C-CJ, Freericks JK, Uys H, Biercuk MJ, Bollinger JJ: Engineered two-dimensional Ising interactions in a trapped-ion quantum simulator with hundreds of spins.
*Nature*2012, 484(7395):489–492. 10.1038/nature10981View ArticleADSGoogle Scholar - Richerme P, Gong Z-X, Lee A, Senko C, Smith J, Foss-Feig M, Michalakis S, Gorshkov AV, Monroe C: arXiv:1401.5088; 2014.Google Scholar
- Jurcevic P, Lanyon BP, Hauke P, Hempel C, Zoller P, Blatt R, Roos CF: arXiv:1401.5387; 2014.Google Scholar
- Deng X-L, Porras D, Cirac JI: Effective spin quantum phases in systems of trapped ions.
*Phys Rev A*2005., 72: Article ID 063407 Article ID 063407Google Scholar - Graß T, Juliá-Díaz B, Kuś M, Lewenstein M: Quantum chaos in su(3) models with trapped ions.
*Phys Rev Lett*2013., 111: Article ID 090404 Article ID 090404Google Scholar - Koffel T, Lewenstein M, Tagliacozzo L: Entanglement entropy for the long-range Ising chain in a transverse field.
*Phys Rev Lett*2012., 109: Article ID 267203 Article ID 267203Google Scholar - Haldane FDM:Exact Jastrow-Gutzwiller resonating-valence-bond ground state of the spin-(1/2 antiferromagnetic Heisenberg chain with 1/${\mathrm{r}}^{2}$ exchange.
*Phys Rev Lett*1988, 60: 635–638. 10.1103/PhysRevLett.60.635MathSciNetView ArticleADSGoogle Scholar - Shastry BS:Exact solution of an $S=1/2$ Heisenberg antiferromagnetic chain with long-ranged interactions.
*Phys Rev Lett*1988, 60: 639–642. 10.1103/PhysRevLett.60.639View ArticleADSGoogle Scholar - Greiter M:
*Mapping of Parent Hamiltonians: from Abelian and Non-Abelian Quantum Hall States to Exact Models of Critical Spin Chains*. Springer, Berlin; 2011.View ArticleGoogle Scholar - Majumdar CK, Ghosh DK:
*J Math Phys*. 1969., 10: Article ID 1388 Article ID 1388Google Scholar - Lipkin H, Meshkov N, Glick AJ:
*Nucl Phys*. 1965., 62: Article ID 188 Article ID 188Google Scholar - Tura J, Augusiak R, Sainz AB, Vértesi T, Lewenstein M, Acín A: arXiv:1306.6860; 2013.Google Scholar
- Laughlin RB: Anomalous quantum hall effect: an incompressible quantum fluid with fractionally charged excitations.
*Phys Rev Lett*1983., 50: Article ID 1395 Article ID 1395Google Scholar - Gebhard F, Vollhardt D: Correlation functions for Hubbard-type models: the exact results for the Gutzwiller wave function in one dimension.
*Phys Rev Lett*1987, 59: 1472–1475. 10.1103/PhysRevLett.59.1472View ArticleADSGoogle Scholar - Affleck I: Critical behavior of two-dimensional systems with continuous symmetries.
*Phys Rev Lett*1985, 55: 1355–1358. 10.1103/PhysRevLett.55.1355MathSciNetView ArticleADSGoogle Scholar - Okamoto K, Nomura K:Fluid-dimer critical point in $s=12$ antiferromagnetic Heisenberg chain with next nearest neighbor interactions.
*Phys Lett A*1992, 169(6):433–437. 10.1016/0375-9601(92)90823-5View ArticleADSGoogle Scholar - Eggert S: Numerical evidence for multiplicative logarithmic corrections from marginal operators.
*Phys Rev B*1996, 54: 9612–9615. 10.1103/PhysRevB.54.R9612View ArticleADSGoogle Scholar - Schneider C, Porras D, Schaetz T: Experimental quantum simulations of many-body physics with trapped ions. Rep Prog Phys 2012., 75(2): Article ID 024401 Article ID 024401Google Scholar
- Korenblit S, Kafri D, Campbell WC, Islam R, Edwards EE, Gong Z-X, Lin G-D, Duan L-M, Kim J, Kim K, Monroe C: Quantum simulation of spin models on an arbitrary lattice with trapped ions. New J Phys 2012., 14(9): Article ID 095024 Article ID 095024Google Scholar
- Kim K, Korenblit S, Islam R, Edwards EE, Chang M-S, Noh C, Carmichael H, Lin G-D, Duan L-M, Wang CCJ, Freericks JK, Monroe C: Quantum simulation of the transverse Ising model with trapped ions. New J Phys 2011., 13(10): Article ID 105003 Article ID 105003Google Scholar
- Sandvik AW: Ground states of a frustrated quantum spin chain with long-range interactions.
*Phys Rev Lett*2010., 104: Article ID 137204 Article ID 137204Google Scholar - Chhajlany RW, Tomczak P, Wójcik A, Richter J: Entanglement in the Majumdar-Ghosh model.
*Phys Rev A*2007., 75: Article ID 032340 Article ID 032340Google Scholar - Laflorencie N, Sørensen ES, Chang M-S, Affleck I: Boundary effects in the critical scaling of entanglement entropy in 1d systems.
*Phys Rev Lett*2006., 96: Article ID 100603 Article ID 100603Google Scholar - Them K: arXiv:1308.2882; 2013.Google Scholar
- Brunner N, Cavalcanti D, Pironio S, Scarani V, Wehner S: Bell nonlocality.
*Rev. Mod. Phys.*2014, 86: 419. 10.1103/RevModPhys.86.419View ArticleADSGoogle Scholar - Bell JS:
*Physics*. 1964., 1: Article ID 195 Article ID 195Google Scholar - Douglas JS, Habibian H, Gorshkov AV, Kimble HJ, Chang DE: arXiv:1312.2435; 2013.Google Scholar
- Noguchi A, Toyoda K, Urabe S: Generation of Dicke states with phonon-mediated multilevel stimulated Raman adiabatic passage.
*Phys Rev Lett*2012., 109: Article ID 260502 Article ID 260502Google Scholar - Blanes S, Casas F, Oteo JA, Ros J: The magnus expansion and some of its applications.
*Phys Rep*2009, 470(5–6):151–238. 10.1016/j.physrep.2008.11.001MathSciNetView ArticleADSGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.