The computer code on which this paper relied contained an error. When corrected, the Monte Carlo evaluation of the ground state occupation is consistent with the conventional grand canonical calculation. Hence, the original version of this paper has been withdrawn
The computer code on which this paper relied contained an error. When corrected, the Monte Carlo evaluation of the ground state occupation is consistent with the conventional grand canonical calculation. Hence, the original version of this paper has been withdrawn.
Boson sampling solves a classically intractable problem by sampling from a probability distribution given by matrix permanents. We propose a scalable implementation of Boson sampling using local transverse phonon modes of trapped ions to encode the Bosons. The proposed scheme allows deterministic preparation and high-efficiency readout of the Bosons in the Fock states and universal mode mixing. With the state-of-the-art trapped ion technology, it is feasible to realize Boson sampling with tens of Bosons by this scheme, which would outperform the most powerful classical computers and constitute…
We present a universal algorithm for an efficient deterministic preparation of an arbitrary two--mode bosonic state. In particular, we discuss in detail preparation of entangled states of a two-dimensional vibrational motion of a trapped ion via a sequence of laser stimulated Raman transitions. Our formalism can be generalized for multi-mode bosonic fields. We examine stability of our algorithm with respect to a technical noise.
The computer code on which this paper relied contained an error. When corrected, the Monte Carlo evaluation of the ground state occupation is consistent with the conventional grand canonical calculation. Hence, the original version of this paper has been withdrawn.
An analysis of the quantum breathing behavior of few-particle Coulomb systems in one- and two-dimensional harmonic traps is presented. We report the existence of \emph{two independent breathing modes} and present exact numerical results for two particles at any coupling strength which smoothly connect the two known limits of an \emph {ideal} quantum and a strongly coupled \emph {classical} system. Substantial differences in the breathing frequency of two-dimensional fermions and bosons are observed which may be used as a sensitive experimental tool to probe confined interacting quantum systems…
Quantum field theories describe a wide variety of fundamental phenomena in physics. However, their study often involves cumbersome numerical simulations. Quantum simulators, on the other hand, may outperform classical computational capacities due to their potential scalability. Here, we report an experimental realization of a quantum simulation of fermion-antifermion scattering mediated by bosonic modes, using a multilevel trapped ion, which is a simplified model of fermion scattering in both perturbative and nonperturbative quantum electrodynamics. The simulated model exhibits prototypical fe…
The local phonon modes in a Coulomb crystal of trapped ions can represent a Hubbard system of coupled bosons. We selectively prepare single excitations at each site and observe free hopping of a boson between sites, mediated by the long-range Coulomb interaction between ions. We then implement phonon blockades on targeted sites by driving a Jaynes-Cummings interaction on individually addressed ions to couple their internal spin to the local phonon mode. The resulting dressed states have energy splittings that can be tuned to suppress phonon hopping into the site. This new experimental approach…
Boson-Fermion mixture confined on an optical lattice is numerically studied. Mott-plateau like behavior is observed under certain conditions in the density profile of the bosons and fermions as one sees in bosonic atoms in a trap potential. In the Mott plateau area, the total number of the bosons and fermions at each site is kept to an integer value but both local density of the bosons and that of the fermions take some intermediate values. Unlike bosonic or fermionic Mott insulators, the bosons and fermions can move even in the Mott plateau area by exchanging their positions. With Monte Carlo…
The stability of Bose-Fermi gases trapped in an isotropic potentials at ultracold temperature is strongly influenced by the interaction between the fermions and the bosons. At zero temperature, the stability criterion is given in this paper using variation method, the results show that whether a fermion-boson mixture is stable depends mainly on the interaction between the fermions and the bosons. For finite temperature, however, the stability is not only related to the coupling constants, but also to the temperature. The stability conditions for finite temperature are also derived and discuss …
Trapped ions arranged in Coulomb crystals provide us with the elements to study the physics of a single spin coupled to a boson bath. In this work we show that optical forces allow us to realize a variety of spin-boson models, depending on the crystal geometry and the laser configuration. We study in detail the Ohmic case, which can be implemented by illuminating a single ion with a travelling wave. The mesoscopic character of the phonon bath in trapped ions induces new effects like the appearance of quantum revivals in the spin evolution.
We present a master equation governing the reduced density operator for a single trapped mode of a cold, dilute, weakly interacting Bose gas; and we obtain an operator fluctuation-dissipation relation in which the Ginzburg-Landau effective potential plays a physically transparent role. We also identify a decoherence effect that tends to preserve symmetry, even when the effective potential has a ``Mexican hat'' form.
The linear-response theory of the multiconfigurational time-dependent Hartree for bosons method for computing many-body excitations of trapped Bose-Einstein condensates [Phys. Rev. A {\bf 88}, 023606 (2013)] is implemented for systems with general interparticle interaction. Illustrative numerical examples for repulsive and attractive bosons are provided. The many-body linear-response theory identifies the excitations not unraveled within Bogoliubov--de Gennes equations. The theory is herewith benchmarked against the exactly-solvable one-dimensional harmonic-interaction model. As a complementar…
We analyze the efficiency of quantum simulations of fermionic and bosonic models in trapped ions. In particular, we study the optimal time of entangling gates and the required number of total elementary gates. Furthermore, we exemplify these estimations in the light of quantum simulations of quantum field theories, condensed-matter physics, and quantum chemistry. Finally, we show that trapped-ion technologies are a suitable platform for implementing quantum simulations involving interacting fermionic and bosonic modes, paving the way for overcoming classical computers in the near future.
We derive an inequality governing ``long range'' order for a localized Bose-condensed state, relating the condensate fraction at a given temperature with effective curvature radius of the condensate and total particle number. For the specific example of a one-dimensional, harmonically trapped dilute Bose condensate, it is shown that the inequality gives an explicit upper bound for the Thomas-Fermi condensate size which may be tested in current experiments.
The time-evolution of few number of interacting, harmonically confined one-dimensional bosons is numerically obtained for arbitrary two-body $δ-$potential interaction strengths. It is demonstrated that the period of the motion in a Newton's cradle configuration undergoes two crossovers as a function of interactions. Furthermore, through the evaluation of the structure factor, the dependence of Bragg-scattering peaks on the interaction strength ranging from the weak coupling regime to the impenetrable Tonks-Girardeau case is illustrated.
We demonstrate the possibility of existence of meta-stable N-body Efimov states in trapped Bose systems with large scattering length. We calculate spectra of trapped systems of N=3,4,5,6, and 7 bosons using a stochastic variational method with a restricted correlated Gaussian basis. For each system the calculations reveal a series of Efimov states where the energy and the r.m.s. radius exhibit the characteristic exponential dependence upon the state number. We also estimate the contribution of these states to the recombination rate of Bose-Einstein condensates.
We investigate a quasi-one dimensional system of trapped cold bosonic atoms in an optical lattice by using the density matrix renormalization group to study the Bose-Hubbard model at T=0 for experimentally realistic numbers of lattice sites. It is shown that a properly rescaled one-particle density matrix characterizes superfluid versus insulating states just as in the homogeneous system. For typical parabolic traps we also confirm the widely used local density approach for describing correlations in the limit of weak interaction. Finally, we note that the superfluid to Mott-insulating transit…
In a mixture of two kinds of identical bosons there are two types of pairs, identical bosons' pairs, of either species, and pairs of distinguishable bosons. In the present work fragmentation of pairs in a trapped mixture of Bose-Einstein condensate is investigated using a solvable model, the symmetric harmonic-interaction model for mixtures. The natural geminals for pairs made of identical or distinguishable bosons are explicitly contracted by diagonalizing the intra-species and inter-species reduced two-particle density matrices, respectively. Properties of pairs' fragmentation in the mixture…
We study systems of a few charged bosons contained within a strongly anisotropic harmonic trap. A detailed examination of the ground-state correlation properties of two-, three-, and four-particle systems is carried out within the framework of the single-mode approximation of the transverse components. The linear correlation entropy of the quasi-1D systems is discussed in dependence on the confinement anisotropy and compared with a strictly 1D limit. Only at weak interaction the correlation properties depend strongly on the anisotropy parameter.
We study a system of $A$ identical interacting bosons trapped by an external field by solving ab initio the many-body Schroedinger equation. A complete solution by using, for example, the traditional hyperspherical harmonics (HH) basis develops serious problems due to the large degeneracy of HH basis, symmetrization of the wave function, calculation of the matrix elements, etc. for large $A$. Instead of the HH basis, here we use the "potential harmonics" (PH) basis, which is a subset of HH basis. We assume that the contribution to the orbital and grand orbital [in $3(A-1)$-dimensional space of…
A solvable model of a generic trapped bosonic mixture, $N_1$ bosons of mass $m_1$ and $N_2$ bosons of mass $m_2$ trapped in an harmonic potential of frequency $ω$ and interacting by harmonic inter-particle interactions of strengths $λ_1$, $λ_2$, and $λ_{12}$, is discussed. It has recently been shown for the ground state [J. Phys. A {\bf 50}, 295002 (2017)] that in the infinite-particle limit, when the interaction parameters $λ_1(N_1-1)$, $λ_2(N_2-1)$, $λ_{12}N_1$, $λ_{12}N_2$ are held fixed, each of the species is $100\%$ condensed and its density per particle as well as the total energy per p…
The standard experimental techniques usually adopted in the study of the behaviour of ultracold atoms in optical lattices involve extracting the atom density profile from absorption images of the atomic sample after trap release. Quantum mechanically this procedure is described by a generalized measure (POVM); interference patterns found in absorption images suggest a generalized measure based on fixed-phase, coherent-like states. We show that this leads to an average atomic density which differs from the usually adopted one, obtained as the expectation value of the atom density operator in th…
A correlated many-body calculation is presented to characterize the Shannon information entropy of trapped interacting bosons. We reformulate the one-body Shannon information entropy in terms of the one-body probability density. The minimum limit of the entropy uncertainty relation (EUR) is approached by making $N$ very small in our numerical work. We examine the effect of correlations in the calculation of information entropy. Comparison with the mean-field result shows that the correlated basis function is indeed required to characterize the important features of the information entropies. W…
We derive a Lieb-Robinson bound for the propagation of spin correlations in a model of spins interacting through a bosonic lattice field, which satisfies itself a Lieb-Robinson bound in the absence of spin-boson couplings. We apply these bounds to a system of trapped ions, and find that the propagation of spin correlations, as mediated by the phonons of the ion crystal, can be faster than the regimes currently explored in experiments. We propose a scheme to test the bounds by measuring retarded correlation functions via the crystal fluorescence.
We consider trapped bosons with contact interactions as well as Coulomb repulsion or gravitational attraction in one spatial dimension. The exact ground state energy and wave function are identified in closed form together with a rich phase diagram, unveiled by Monte Carlo methods, with crossovers between different regimes. A trapped McGuire quantum soliton describes the attractive case. Weak repulsion results in an incompressible Laughlin-like fluid with flat density, well reproduced by a Gross-Pitaevskii equation with long-range interactions. Higher repulsion induces Friedel oscillation and …
Continuous-variable (CV) encoding allows information to be processed compactly and efficiently on quantum processors. Recently developed techniques such as controlled beam-splitter operations and the near deterministic phonon subtractions make trapped ion systems attractive for exploring CV quantum computing. Here we propose a probabilistic scheme based on the boson sculpting technique for generating multipartite highly entangled states of motional modes of trapped ion systems. We also investigate the effects of decoherence on the fidelity of the generated state by performing numerical simulat…
The virtues of resolvent algebras, compared to other approaches for the treatment of canonical quantum systems, are exemplified by infinite systems of non-relativistic bosons. Within this framework, equilibrium states of trapped and untrapped bosons are defined on a fixed C*-algebra for all physically meaningful values of the temperature and chemical potential. Moreover, the algebra provides the tools for their analysis without having to rely on 'ad hoc' prescriptions for the test of pertinent features, such as the appearance of Bose-Einstein condensates. The method is illustrated in case of n…
We propose a method to simulate the dynamics of spin-boson models with small crystals of trapped ions where the electronic degree of freedom of one ion is used to encode the spin while the collective vibrational degrees of freedom are employed to form an effective harmonic environment. The key idea of our approach is that a single damped mode can be used to provide a harmonic environment with Lorentzian spectral density. More complex spectral functions can be tailored by combining several individually damped modes. We propose to work with mixed-species crystals such that one species serves to …
We theoretically propose and experimentally demonstrate the use of motional sidebands in a trapped ensemble of $^{87}$Rb atoms to engineer tunable long-range XXZ spin models. We benchmark our simulator by probing a ferromagnetic to paramagnetic dynamical phase transition in the Lipkin-Meshkov-Glick (LMG) model, a collective XXZ model plus additional transverse and longitudinal fields, via Rabi spectroscopy. We experimentally reconstruct the boundary between the dynamical phases, which is in good agreement with mean-field theoretical predictions. Our work introduces new possibilities in quantum…
We apply the framework of non-equilibrium quantum thermodynamics to the physics of quenched small-sized bosonic quantum gases in a one-dimensional harmonic trap. We show that dynamical orthogonality can occur in these few-body systems with strong interactions after a quench and we find its occurrence analytically for an infinitely repulsive pair of atoms. We further show this phenomena is related to the fundamental excitations that dictate the dynamics from the spectral function. We establish a clear qualitative link between the amount of (irreversible) work performed on the system and the est…
Quantum heat engine with ideal gas has been well studied, yet the role of interaction was seldom explored. We construct a quantum Otto heat engine with N repulsive Bosonic particles in a 1D hard wall box. With the advantage of exact solution using Bethe Ansatz, we obtain not only the exact numerical result of efficiency in all interacting strength c, but also analytical results for strong interaction. We find the efficiency ηrecovers to the one of non-interacting case $η_{\mathrm{non}}=1-(L_{1}/L_{2})^{2}$ for strong interaction with asympotic behavior $η\simη_{\mathrm{non}}-4(N-1)L_{1}\left(L…
Many-body densities and correlation functions are of paramount importance for understanding quantum many-body physics. Here, we present a method to compute them; our approach is general and based on the action of bosonic or fermionic annihilation field operators on the many-body wavefunction. We analyze $N = 6$ quasi-one-dimensional harmonically-trapped bosons with weak to strong contact interaction strength up to the Tonks-Girardeau limit with infinite repulsion using the MultiConfigurational Time-Dependent Hartree method for indistinguishable particles (MCTDH-X). We compare our MCTDH-X solut…
We study a spin-boson chain that exhibits a local Z2 symmetry. We investigate the quantum phase diagram of the model by means of perturbation theory, mean field theory and the Density Matrix Renormalization Group method. Our calculations show the existence of a first order phase transition in the region where the boson quantum dynamics is slow compared to the spin-spin interactions. Our model can be implemented with trapped ion quantum simulators, leading to a realization of minimal models showing local gauge invariance and first order phase transitions.
We investigate the ground state of a few-body Bose-Fermi mixture in a one-dimensional harmonic trap with varying interaction strengths and mass ratio. A bunching-antibunching crossover of the bosonic species for increasing interspecies' repulsion is observed within our fully correlated \textit{ab~initio} studies. Interestingly, this crossover is suppressed if the bosonic repulsion exceeds a critical value which strongly depends on the mass ratio. In order to unveil the physical origin of this crossover, we employ different levels of approximations: while a species mean-field approach can accou…
We consider a trapped atomic ensemble of interacting bosons in the presence of a single trapped ion in a quasi one dimensional geometry. Our study is carried out by means of the newly developed multilayer-multiconfiguration time-dependent Hartree method for bosons, a numerical exact approach to simulate quantum many-body dynamics. In particular, we are interested in the scenario by which the ion is so strongly trapped that its motion can be effectively neglected. This enables us to focus on the atomic ensemble only. With the development of a model potential for the atom-ion interaction, we are…
We unravel the nonequilibrium quantum dynamics of two harmonically confined bosons in one spatial dimension when performing an interaction quench from finite repulsive to attractive interaction strengths and vice versa. A closed analytical form of the expansion coefficients of the time-evolved two-body wavefunction is derived, while its dynamics is determined in terms of an expansion over the postquench eigenstates. For both quench scenarios the temporal evolution is analyzed by inspecting the one- and two-body reduced density matrices and densities, the momentum distribution and the fidelity.…
We consider two bosons in a one-dimensional harmonic trap, interacting by a contact potential, and compare the exact solution of this problem to a self-consistent numerical solution by using the multiconfigurational time-dependent Hartree (MCTDH) method. We thereby benchmark the predictions of the MCTDH method with a few-body problem that has an analytical solution for the most commonly experimentally realized interaction potential in ultracold quantum gases. It is found that exact ground state energy and first order correlations are accurately reproduced by MCTDH up to the intermediate dimens…
We present a quantitative analysis of the experimental accessibility of the Tonks-Girardeau gas in the current day experiments with cigar-trapped alkalis. For this purpose we derive, using a Bethe anzats generated local equation of state, a set of hydrostatic equations describing one-dimensional delta-interacting Bose gases trapped in a harmonic potential. The resulting solutions cover the_entire range_ of atomic densities.
Ultracold atoms provide clues to an important many-body problem regarding the dependence of Bose-Einstein condensation (BEC) transition temperature $T_c$ on interactions. However, cold atoms are trapped in harmonic potentials and theoretical evaluations of the $T_c$ shift of trapped interacting Bose gases are challenging. While previous predictions of the leading-order shift have been confirmed, more recent experiments exhibit higher-order corrections beyond available mean-field theories. By implementing two large-N based theories with the local density approximation (LDA), we extract next-ord…
We consider the interplay of repulsive short-range and same-sign long-range interactions in the dynamics of dark solitons, as prototypical coherent nonlinear excitations in a trapped 1D Bose gas. First, the form of the ground state is examined, and then both the existence of the solitary waves and their stability properties are explored, and corroborated by direct numerical simulations. We find that single- and multiple-dark-soliton states can exist and are generically robust in the presence of long-range interactions. We analyze the modes of vibration of such excitations and find that their r…
We study the quantum evolution of a cloud of hard-core bosons loaded on a one-dimensional optical lattice after its sudden release from a harmonic trap. Just after the trap has been removed, a linear ramp potential is applied, mimicking the so called Galileo ramp experiment. The non-equilibrium expansion of the bosonic cloud is elucidated through a hydrodynamical description which is compared to the exact numerical evolution obtained by exact diagonalization on finite lattice sizes. The system is found to exhibit a rich behavior showing in particular Bloch oscillations of a self-trapped conden…
We propose the quantum simulation of a fermion and an antifermion field modes interacting via a bosonic field mode, and present a possible implementation with two trapped ions. This quantum platform allows for the scalable add-up of bosonic and fermionic modes, and represents an avenue towards quantum simulations of quantum field theories in perturbative and nonperturbative regimes.
We ask and answer a basic question about the length scales involved in quantum decoherence: how far apart in space do two parts of a quantum system have to be, before a common quantum environment decoheres them as if they were entirely separate? We frame this question specifically in a cold atom context. How far apart do two populations of bosons have to be, before an environment of thermal atoms of a different species (`buffer gas') responds to their two particle numbers separately? An initial guess for this length scale is the thermal coherence length of the buffer gas; we show that a standa…
We investigate a temporal evolution of an impurity atom in a one-dimensional trapped Bose gas following a sudden change of the boson-impurity interaction strength. Our focus is on the effects of inhomogeneity due to the harmonic confinement. These effects can be described by an effective one-body model where both the mass and the spring constant are renormalized. This is in contrast to the classic renormalization, which addresses only the mass. We propose an effective single-particle Hamiltonian and apply the multilayer multiconfiguration time-dependent Hartree method for bosons to explore its…
A solvable model of a periodically-driven trapped mixture of Bose-Einstein condensates, consisting of $N_1$ interacting bosons of mass $m_1$ driven by a force of amplitude $f_{L,1}$ and $N_2$ interacting bosons of mass $m_2$ driven by a force of amplitude $f_{L,2}$, is presented. The model generalizes the harmonic-interaction model for mixtures to the time-dependent domain. The resulting many-particle ground Floquet wavefunction and quasienergy, as well as the time-dependent densities and reduced density matrices, are prescribed explicitly and analyzed at the many-body and mean-field levels of…
We study systems of two identical dipolar particles confined in quasi one-dimensional harmonic traps. Numerical results for the dependencies of the entanglement on the control parameters of the systems are provided and discussed in detail. In the limit of a strong interaction between the particles, the occupancies and the von Neumann entropies of the bosonic and fermionic ground states are derived in closed analytic forms by applying the harmonic approximation. The strong correlation regimes of the system with the dipolar bosons and the system with the charged ones are compared with each other…
We unravel the stationary properties and the interaction quench dynamics of two bosons, confined in a two-dimensional anisotropic harmonic trap. A transcendental equation is derived giving access to the energy spectrum and revealing the dependence of the energy gaps on the anisotropy parameter. The relation between the two and the one dimensional scattering lengths as well as the Tan contacts is established. The contact, capturing the two-body short range correlations, shows an increasing tendency for a larger anisotropy. Subsequently, the interaction quench dynamics from attractive to repulsi…