We propose a potentially practical scheme for realization of an n-qubit (n>2) conditional phase flip (CPF) gate and implementation of Grover search algorithm in the ion-trap system. We demonstrate both analytically and numerically that, our scheme could be achieved efficiently to find a marked state with high fidelity and high success probability. We also show the merits of the proposal that the increase of the ion number can improve the fidelity and the success probability of the CPF gate. The required operations for Grover search are very close to the capabilities of current ion-trap techniques.
In this brief comment on `Grover search with pairs of trapped Ions' [Phys. Rev. A 63, 052308, (2001)], we show that Grover's algorithm may be performed exactly using the gate set given provided that small changes are made to the gate sequence. An analytic expression for the probability of success of Grover's algorithm for any unitary operator, U, instead of Hadamard is presented.
The desired interference required for quantum computing may be modified by the wave function oscillations for the implementation of quantum algorithms[Phys.Rev.Lett.84(2000)1615]. To diminish such detrimental effect, we propose a scheme with trapped ion-pairs being qubits and apply the scheme to the Grover search. It can be found that our scheme can not only carry out a full Grover search, but also meet the requirement for the scalable hot-ion quantum computing. Moreover, the ion-pair qubits in our scheme are more robust against the decoherence and the dissipation caused by the environment tha…
The main idea in the original Grover search (Phys. Rev. Lett. 79, 325 (1997)) is to single out a target state containing the solution to a search problem by amplifying the amplitude of the state, following the Oracle's job, i.e., a black box giving us information about the target state. We design quantum circuits to accomplish a complete Grover search involving both the Oracle's job and the amplification of the target state, which are employed to solve Satisfiability (SAT) problems. We explore how to carry out the quantum circuits by currently available ion-trap quantum computing technology.
We propose an ion trap implementation of Grover's quantum search algorithm for an unstructured database of arbitrary length N. The experimental implementation is appealingly simple because the linear ion trap allows for a straightforward construction, in a single interaction step and without a multitude of Hadamard transforms, of the reflection operator, which is the engine of the Grover algorithm. Consequently, a dramatic reduction in the number of the required physical steps takes place, to just O(\sqrt{N}), the same as the number of the mathematical steps. The proposed setup allows for demo…
The superpositional wave function oscillations for finite-time implementation of quantum algorithms modifies the desired interference required for quantum computing. We propose a scheme with trapped ultracold ion-pairs being qubits to diminish the detrimental effect of the wave function oscillations, and apply the scheme to the two-qubit Grover's search. It can be also found that the qubits in our scheme are more robust against the decoherence caused by the environment, and the model is scalable.
Raman interaction of a trapped ultracold ion with two traveling wave lasers has been used extensively in the ion trap experiments. We solve this interaction in the absence of the rotating wave approximation by a continued fraction, without considering the restriction of the Lamb-Dicke limit and the weak excitation regime. Some interesting characteristics of the ion-trap system, particularly for the ion outside the weak excitation regime are found. Finally, a comparison of our results with the solution under the rotating wave approximation is made.
The quantum behavior of a precooled cantilever can be probed highly efficiently by coupling to a trapped ultracold ion, in which a fast cooling of the cantilever down to the ground vibrational state is possible. We solve the dynamics of the coupling system by a squeezed-state expansion technique, and can in principle obtain the exact solution of the time-evolution of the coupling system. Compared to the treatment under rotating-wave approximation, we can present a more accurate description of the quantum behavior of the cantilever.
We discuss exact solutions of the Schroedinger equation for the system of two ultracold atoms confined in an axially symmetric harmonic potential. We investigate different geometries of the trapping potential, in particular we study the properties of eigenenergies and eigenfunctions for quasi-one- and quasi-two-dimensional traps. We show that the quasi-one- and the quasi-two-dimensional regimes for two atoms can be already realized in the traps with moderately large (or small) ratios of the trapping frequencies in the axial and the transverse directions. Finally, we apply our theory to Feshbac…
A physical implementation of the adiabatic Grover search is theoretically investigated in a system of N identical three-level atoms trapped in a single mode cavity. Some of the atoms are marked through the presence of an energy gap between their two ground states. The search is controlled by two partially delayed lasers which allow a deterministic adiabatic transfer from an initially entangled state to the marked states. Pulse schemes are proposed to satisfy the Grover speedup either exactly or approximately, and the success rate of the search is calculated.
We report the implementation of Grover's quantum search algorithm in the scalable system of trapped atomic ion quantum bits. Any one of four possible states of a two-qubit memory is marked, and following a single query of the search space, the marked element is successfully recovered with an average probability of 60(2)%. This exceeds the performance of any possible classical search algorithm, which can only succeed with a maximum average probability of 50%.
We undertake a detailed analysis of the non-local properties of the fundamental problem of two trapped, distinguishable neutral atoms which interact with a short range potential characterised by an s-wave scattering length. We show that this interaction generates continuous variable (CV) entanglement between the external degrees of freedom of the atoms and consider its behaviour as a function of both, the distance between the traps and the magnitude of the inter-particle scattering length. We first quantify the entanglement in the ground state of the system at zero temperature and then, adopti…
We experimentally demonstrate optical spectroscopy of magnetically trapped atoms on an atom chip. High resolution optical spectra of individual trapped clouds are recorded within a few hundred milliseconds. Detection sensitivities close to the single atom level are obtained by photoionization of the excited atoms and subsequent ion detection with a channel electron multiplier. Temperature and decay rates of the trapped atomic cloud can be monitored in real time for several seconds with only little detection losses. The spectrometer can be used for investigations of ultracold atomic mixtures an…
We study the dynamics of ultracold atoms trapped in optical double-well potentials in presence of noise generated by an external environment. When prepared in a Fock number state, the system shows phase coherence in the averaged density profile obtained using standard absorption image techniques, that disappears in absence of noise. This effect indicates that also in many-body systems an external environment may enhance quantum coherence, instead of destroying it.
Using Grover algorithm, this work investigates a technique for encoding search phrases used in wildcard searches. The technique involves creating a phase Oracle that loads data into a quantum circuit together with the search terms that have been encoded. The method entails constructing a phase Oracle programmatically using encoded input information and encoded search terms. By combining Grover diffusion operator with the phase Oracle, Hadamard gates, and zero-initialized three-qubit states, a complete quantum circuit is created. Trapped ion and superconducting qubit quantum computers, which we…
We analyze collisional decoherence of atoms or molecules prepared in a coherent superposition of nondegenerate internal states at ultralow temperatures and placed in an ultracold buffer gas. Our analysis is applicable for an arbitrary bath particle/tracer particle mass ratio. Both elastic and inelastic collisions contribute to decoherence. We obtain an expression relating the observable decoherence rate to pairwise scattering properties, specifically the low-temperature scattering amplitudes. We consider the dependence on the bath particle/tracer particle mass ratio for the case of light bath …
We measure chemical reactions between a single trapped $^{174}$Yb$^+$ ion immersed in an ultracold bath of $^6$Li atoms containing trace amounts of Li$_2$ dimers. This produces LiYb$^+$ molecular ions that we detect via mass spectrometry. We explain the reaction rates by modelling the dimer density as a function of the magnetic field and obtain excellent agreement when we assume the reaction to follow the Langevin rate. Our results present a novel approach towards the creation of cold molecular ions and point to the exploration of ultracold chemistry in ion molecule collisions. What is more, w…
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…
We study a system of periodic Bose condensed atoms coupled to cavity photons using the input-output formalism. We show that the cavity will either act as a through pass Lorentzian filter when the superfluid fraction of the condensate is minimum or completely reflect the input field when the superfluid fraction is maximum. We show that by monitoring the ratio between the transmitted field and the reflected field, one can estimate the superfluid fraction.
Quantum interferometers are generally set so that phase differences between paths in coordinate space combine constructive or destructively. Indeed, the interfering paths can also meet in momentum space leading to momentum-space fringes. We propose and analyze a method to produce interference in momentum space by phase-imprinting part of a trapped atomic cloud with a detuned laser. For one-particle wave functions analytical expressions are found for the fringe width and shift versus the phase imprinted. The effects of unsharpness or displacement of the phase jump are also studied, as well as m…
We study, experimentally and theoretically, the controlled transfer of harmonically trapped ultracold gases between different quantum states. In particular we experimentally demonstrate a fast decompression and displacement of both a non-interacting gas and an interacting Bose-Einstein condensate which are initially at equilibrium. The decompression parameters are engineered such that the final state is identical to that obtained after a perfectly adiabatic transformation despite the fact that the fast decompression is performed in the strongly non-adiabatic regime. During the transfer the ato…
The subject of bianyon interference with ultracold atoms is introduced through theoretical investigations pertaining to the second-order momentum correlation maps of two anyons (built upon spinless and spin-1/2 bosonic, as well as spin-1/2 fermionic ultracold atoms) trapped in a double-well optical trap. The two-particle system is modeled according to the recently proposed protocols for emulating an anyonic Hubbard Hamiltonian in ultracold-atom one-dimensional lattices. Because the second-order momentum correlations are mirrored in the time-of-flight second-order interference patterns in space…
We sudy the creation of nonlocal states with ultracold atoms trapped in an optical lattice. We show that these states violate Bell inequality by measuring one- and two-body correlations. Our scheme only requires beam splitting operations and global phase shifts, and can be realized within the current technology, employing single-site addressing. This proposal paves the way to study multipartite nonlocality and entanglement in ultracold atomic systems.
We theoretically study trapped ions that are immersed in an ultracold gas of Rydberg-dressed atoms. By off-resonant coupling on a dipole-forbidden transition, the adiabatic atom-ion potential can be made repulsive. We study the energy exchange between the atoms and a single trapped ion and find that Langevin collisions are inhibited in the ultracold regime for these repulsive interactions. Therefore, the proposed system avoids recently observed ion heating in hybrid atom-ion systems caused by coupling to the ion's radio frequency trapping field and retains ultracold temperatures even in the pr…
We propose a scalable implementation of Grover's quantum search algorithm in a trapped-ion quantum information processor. The system is initialized in an entangled Dicke state by using simple adiabatic techniques. The inversion-about-average and the oracle operators take the form of single off-resonant laser pulses, addressing, respectively, all and half of the ions in the trap. This is made possible by utilizing the physical symmetrie of the trapped-ion linear crystal. The physical realization of the algorithm represents a dramatic simplification: each logical iteration (oracle and inversion …
The immersion of a single ion confined by a radiofrequency trap in an ultracold atomic gas extends the concept of buffer gas cooling to a new temperature regime. The steady state energy distribution of the ion is determined by its kinetics in the radiofrequency field rather than the temperature of the buffer gas. Moreover, the finite size of the ultracold gas facilitates the observation of back-action of the ion onto the buffer gas. We numerically investigate the system's properties depending on atom-ion mass ratio, trap geometry, differential cross-section, and non-uniform neutral atom densit…
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 describe a hybrid vacuum system in which a single ion or a well defined small number of trapped ions (in our case Ba$^+$ or Rb$^+$) can be immersed into a cloud of ultracold neutral atoms (in our case Rb). This apparatus allows for the study of collisions and interactions between atoms and ions in the ultracold regime. Our setup is a combination of a Bose-Einstein condensation (BEC) apparatus and a linear Paul trap. The main design feature of the apparatus is to first separate the production locations for the ion and the ultracold atoms and then to bring the two species together. This schem…
Finite systems of bosons and/or fermions described by the Hubbard model can be realized using ultracold atoms confined in optical lattices. The ground states of these systems often exhibit a coexistence of compressible superfluid and incompressible Mott insulating regimes. We analyze such systems by studying the out-of-equilibrium dynamics following a weak sudden quench of the trapping potential. In particular, we show how the temporal variance of the site occupations reveals the location of spatial boundaries between compressible and incompressible regions. The feasibility of this approach is…
Zero-point energy of a trapped ultracold Fermi gas at unitarity: squeezing the Heisenberg uncertainty principle and suppressing the Pauli principle to produce a superfluid state
We study an ultra-cold gas of $N$ bosons trapped in a one dimensional $M$-site optical lattice perturbed by a spatially dependent potential $g\cdot x^j$, where the unknown coupling strength $g$ is to be estimated. We find that the measurement uncertainty is bounded by $Δg\propto\frac1{N (M^j-1)}$. For a typical case of a linear potential, the sensitivity improves as $M^{-1}$, which is a result of multiple interferences between the sites -- an advantage of multi-path interferometers over the two-mode setups. Next, we calculate the estimation sensitivity for a specific measurement where, after t…
Analytic higher-order momentum correlation functions associated with the time-of-flight spectroscopy of three ultracold fermionic atoms singly-confined in a linear three-well optical trap are presented, corresponding to the W- and Greenberger-Horne-Zeilinger-type (GHZ) states that belong to characteristic classes of tripartite entanglement and represent the strong-interaction regime captured by a three-site Heisenberg Hamiltonian. The methodology introduced here contrasts with and goes beyond that based on the standard Wick's factorization scheme; it enables determination of both third-order a…
Elucidating similarities and differences between quantum-optics biphoton interference phenomena and the quantum physics of quasi-one-dimensional double-well optically-trapped ultracold neutral bosonic or fermionic atoms, we show that the analog of the optical biphoton joint-coincidence spectral correlations, studied with massless non-interacting biphotons emanating from EPR-Bell-Bohm single-occupancy sources, corresponds to a distinct contribution in the total second-order momentum correlations of the massive, interacting, and time-evolving ultracold atoms. This single-occupancy contribution c…
We present a scheme to prepare a quantum state in a ion trap with probability approaching to one by means of ion trap quantum computing and Grover's quantum search algorithm acting on trapped ions.
{The Continuous Spontaneous Localization (CSL) theory alters the Schrödinger equation. It describes wave function collapse as a dynamical process instead of an ill-defined postulate, thereby providing macroscopic uniqueness and solving the so-called measurement problem of standard quantum theory. CSL contains a parameter $λ$ giving the collapse rate of an isolated nucleon in a superposition of two spatially separated states and, more generally, characterizing the collapse time for any physical situation. CSL is experimentally testable, since it predicts some behavior different from that predic…
Spatial and momentum correlations are important in the analysis of the quantum states and different phases of trapped ultracold atom systems as a function of the strength of interatomic interactions. Identification and understanding of spin-resolved patterns exhibited in two-point correlations, accessible directly by experiments, are key for uncovering the symmetry and structure of the many-body wave functions of the trapped system. Using the configuration interaction method for exact diagonalization of the many-body Hamiltonian of $N=2-4$ fermionic atoms trapped in single, double, triple, and…
The two most widely used ion cooling methods are laser cooling and sympathetic cooling by elastic collisions (ECs). Here we demonstrate another method of cooling ions that is based on resonant charge exchange (RCE) between the trapped ion and the ultracold parent atom. Specifically, trapped Cs$^{+}$ ions are cooled by collisions with co-trapped, ultracold Cs atoms and, separately, by collisions with co-trapped, ultracold Rb atoms. We observe that the cooling of Cs$^{+}$ ions by Cs atoms is more efficient than cooling of Cs$^{+}$ ions by Rb atoms. This signals the presence of a cooling mechanis…
A theoretical approach was developed for an exact numerical description of a pair of ultracold atoms interacting via a central potential that are trapped in a three-dimensional optical lattice. The coupling of center-of-mass and relative-motion coordinates is explicitly considered using a configuration-interaction (exact-diagonalization) technique. Deviations from the harmonic approximation are discussed for several heteronuclear alkali-metal atom pairs trapped in a single site of an optical lattice. The consequences are discussed for the analysis of a recent experiment [C. Ospelkaus et al, Ph…
We present exactly solvable examples that topological Mott insulators can emerge from topologically trivial states due to strong interactions between atoms for atomic mixtures trapped in one-dimensional optical superlattice systems. The topological Mott insulating state is characterized by nonzero Chern number and appears in the strongly interacting limit as long as the total band filling factor is an integer, which is not sensitive to the filling of each component. The topological nature of the Mott phase can be revealed by observing the density profile of the trapped system. Our results can …
We propose and theoretically investigate a hybrid system composed of a crystal of trapped ions coupled to a cloud of ultracold fermions. The ions form a periodic lattice and induce a band structure in the atoms. This system combines the advantages of scalability and tunability of ultracold atomic systems with the high fidelity operations and detection offered by trapped ion systems. It also features close analogies to natural solid-state systems, as the atomic degrees of freedom couple to phonons of the ion lattice, thereby emulating a solid-state system. Starting from the microscopic many-bod…
Coherence, the stability of the relative phase between quantum states, lies at the heart of quantum mechanics. Applications such as precision measurement, interferometry, and quantum computation are enabled by physical systems that have quantum states with robust coherence. With the creation of molecular ensembles at sub-$μ$K temperatures, diatomic molecules have become a novel system under full quantum control. Here, we report on the observation of stable coherence between a pair of nuclear spin states of ultracold fermionic NaK molecules in the singlet rovibrational ground state. Employing m…
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…
Identification and understanding of the evolution of interference patterns in two-particle momentum correlations as a function of the strength of interatomic interactions are important in explorations of the nature of quantum states of trapped particles. Together with the analysis of two-particle spatial correlations, they offer the prospect of uncovering fundamental symmetries and structure of correlated many-body states, as well as opening vistas into potential control and utilization of correlated quantum states as quantum information resources. With the use of the second-order density matr…
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…
Linear Paul traps have been used recently to simulate the transverse field Ising model with long-range spin-spin couplings. We study the intrinsic effects of phonon creation (from the initial phonon ground state) on the spin-state probability and spin entanglement for such quantum spin simulators. While it has often been assumed that phonon effects are benign because they play no role in the pure Ising model, they can play a significant role when a transverse field is added to the model. We use a many-body factorization of the quantum time-evolution operator of the system, adiabatic perturbati…
Searching large databases is an important problem with broad applications. The Grover search algorithm provides a powerful method for quantum computers to perform searches with a quadratic speedup in the number of required database queries over classical computers. It is an optimal search algorithm for a quantum computer, and has further applications as a subroutine for other quantum algorithms. Searches with two qubits have been demonstrated on a variety of platforms and proposed for others, but larger search spaces have only been demonstrated on a non-scalable NMR system. Here, we report res…
Amplitude Amplification -- a key component of Grover's Search algorithm -- uses an iterative approach to systematically increase the probability of one or multiple target states. We present novel strategies to enhance the amplification procedure by partitioning the states into classes, whose probabilities are increased at different levels before or during amplification. The partitioning process is based on the binomial distribution. If the classes to which the search target states belong are known in advance, the number of iterations in the Amplitude Amplification algorithm can be drastically …
In this article, a method is proposed to spatially scale up a trapped ultracold gas while conserving the quantum correlations of the initial many-body state. For systems supporting self-similar dynamics, this is achieved by implementing a many-body finite-time frictionless quantum quench of the harmonic trap which acts as a quantum dynamical microscope.
