We consider coGapSVP_\sqrt{n}, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM\cap coNP but is not known to be in NP or in MA. We prove that it lies inside QMA, the quantum analogue of NP. This is the first non-trivial upper bound on the quantum complexity of a lattice problem.
The proof relies on two novel ideas. First, we give a new characterization of QMA, called QMA+. Working with the QMA+ formulation allows us to circumvent a problem which arises commonly in the context of QMA: the prover might use entanglement between different copies of the same state in order to cheat. The second idea involves using estimations of autocorrelation functions for verification. We make the important observation that autocorrelation functions are positive definite functions and using properties of such functions we severely restrict the prover's possibility to cheat. We hope that these ideas will lead to further developments in the field.
We investigate the quantum phase transitions of the transverse-field quantum Ising model on the triangular lattice and Sierpiński fractal lattices by employing multipartite entanglement and quantum coherence along with the quantum renormalization group method. It is shown that the quantum criticalities of these high-dimensional models closely relate to the behaviors of the multipartite entanglement and quantum coherence. As the thermodynamic limit is approached, the first derivatives of multipartite entanglement and quantum coherence exhibit singular behaviors and the consistent finite-size sc…
We study quantum and classical Hanbury Brown-Twiss correlations in waveguide lattices. We develop a theory for the propagation of photon pairs in the lattice, predicting the emergence of nontrivial quantum interferences unique to lattice systems. Experimentally, we observe the classical counterpart of these interferences using intensity correlation measurements. We discuss the correspondence between the classical and quantum correlations, and consider path-entangled input states which do not have a classical analogue. Our results demonstrate that waveguide lattices can be used as a robust and …
Quantum walks have been very successful in the development of search algorithms in quantum information, in particular in the development of spatial search algorithms. However, the construction of continuous-time quantum search algorithms in two-dimensional lattices has proved difficult, requiring additional degrees of freedom. Here, we demonstrate that continuous-time quantum walk search is possible in two-dimensions by changing the search topology to a graphene lattice, utilising the Dirac point in the energy spectrum. This is made possible by making a change to standard methods of marking a …
We study a soliton in an optical lattice holding bosonic atoms quantum mechanically using both an exact numerical solution and quantum Monte Carlo simulations. The computation of the state is combined with an explicit account of the measurements of the numbers of the atoms at the lattice sites. In particular, importance sampling in the quantum Monte Carlo method arguably produces faithful simulations of individual experiments. Even though the quantum state is invariant under lattice translations, an experiment may show a noisy version of the localized classical soliton.
We review novel methods to investigate, control and manipulate neutral atoms in optical lattices. These setups allow unprecedented quantum control over large numbers of atoms and thus are very promising for applications in quantum information processing. After introducing optical lattices we discuss the superfluid (SF) and Mott insulating (MI) states of neutral atoms trapped in such lattices and investigate the SF-MI transition as recently observed experimentally. In the second part of the paper we give an overview of proposals for quantum information processing and show different ways to enta…
We consider quantum random walks on congested lattices and contrast them to classical random walks. Congestion is modelled with lattices that contain static defects which reverse the walker's direction. We implement a dephasing process after each step which allows us to smoothly interpolate between classical and quantum random walkers as well as study the effect of dephasing on the quantum walk. Our key results show that a quantum walker escapes a finite boundary dramatically faster than a classical walker and that this advantage remains in the presence of heavily congested lattices. Also, we …
A new type of local-check additive quantum code is presented. Qubits are associated with edges of a 2-dimensional lattice whereas the stabilizer operators correspond to the faces and the vertices. The boundary of the lattice consists of alternating pieces with two different types of boundary conditions. Logical operators are described in terms of relative homology groups.
We suggest that propagation of nonclassical light in lattices of optical waveguides can provide a laboratory tool to simulate quantum decoherence phenomena with high non-Markovian features. As examples, we study decoherence of optical Schrödinger cats in a lattice that mimics a dissipative quantum harmonic oscillator coupled to a quantum bath, showing fractional decoherence in the strong coupling regime, and Bloch oscillations of optical Schrödinger cats, where damped revivals of the coherence can be observed.
We propose a scheme for the initialization of a quantum computer based on neutral atoms trapped in an optical lattice with large lattice constant. Our focus is the development of a compacting scheme to prepare a perfect optical lattice of simple orthorhombic structure with unit occupancy. Compacting is accomplished by sequential application of two types of operations: a flip operator that changes the internal state of the atoms, and a shift operator that moves them along the lattice principal axis. We propose physical mechanisms for realization of these operations and we study the effects of m…
In this paper, we study the quantum walk on the 2D Penrose Lattice, which is intermediate between periodic and disordered structure. Quantum walk on Penrose Lattice is less efficient in transport comparing to the regular lattices. By calculating the final remaining probability on the initial nodes and estimating the low bound. Our results show that the broken of translational symmetry induces both the localized states and degeneracy of eigenstates at $E=0$, this two differences from regular lattices influence efficiency of quantum walk. Also, we observe the transition from inefficient to effic…
We study how a single lattice defect in a discrete time quantum walk affects the return probability of a quantum particle. This defect at the starting position is modeled by a quantum coin that is distinct from the others over the lattice. This coin has a dependence on $ω$ which quantifies the intensity of the localization. For some sorts of lattice defects, we show how the localization can have a dependence just on $ω$, and also, the polar $α$ and azimuth $β$ angles of the initial qubit by numerical calculations. We propose a lattice defect whose localization has additional dependence on $β+ω…
Numerical methods for the 1-D Dirac equation based on operator splitting and on the quantum lattice Boltzmann (QLB) schemes are reviewed. It is shown that these discretizations fall within the class of quantum walks, i.e. discrete maps for complex fields, whose continuum limit delivers Dirac-like relativistic quantum wave equations. The correspondence between the quantum walk dynamics and these numerical schemes is given explicitly, allowing a connection between quantum computations, numerical analysis and lattice Boltzmann methods. The QLB method is then extended to the Dirac equation in curv…
We study the computation power of lattices composed of two dimensional systems (qubits) on which translationally invariant global two-qubit gates can be performed. We show that if a specific set of 6 global two qubit gates can be performed, and if the initial state of the lattice can be suitably chosen, then a quantum computer can be efficiently simulated
A phenomenological theory of spin-lattice relaxation of multiple-quantum coherences in systems of two dipolar coupled spins at low temperatures is developed. Intensities of multiple-quantum NMR coherences depending on the spin-lattice relaxation time are obtained. It is shown that the theory is also applicable to finite spin chains when the approximation of nearest neighbour interaction is used. An application of this theory to an estimation of the influence of decoherence processes on quantum entanglement and its fluctuations is briefly discussed.
Fault-tolerant quantum computation relies on scaling up quantum error correcting codes in order to suppress the error rate on the encoded quantum states. Topological codes, such as the surface code or color codes are leading candidates for practical scalable quantum error correction and require efficient and scalable decoders. In this work, we propose and study the efficiency of a decoder for 2D topological color codes on the 4.8.8 lattice, by building on the work of [1] for color codes on hexagonal lattices. The decoder is based on a rescaling approach, in which syndrome information on a part…
We propose a protocol, based on entanglement procedures recently suggested by [D. Jaksch et al., Phys. Rev. Lett. 82, 1975 (1999)], which allows the teleportation of an unknown state of a neutral atom in an optical lattice to another atom in another site of the lattice, without any irreversible detection.
This papers presents a formalism describing the dynamics of a quantum particle in a one-dimensional tilted time-dependent lattice. The description uses the Wannier-Stark states, which are localized in each site of the lattice and provides a simple framework leading to fully-analytical developments. Particular attention is devoted to the case of a time-dependent potential, which results in a rich variety of quantum coherent dynamics is found.
We consider a quantum particle in tilted two-dimensional lattices in the tight-binding approximations. We found that for some lattice geometries and certain orientations of the static force with respect to the lattice primary axes the particle can freely move across the lattice in the direction perpendicular to the vector of the static force. This effect is argued to be analogue of the photon-induced tunneling in driven one-dimensional lattices. The obtained dispersion relation for the transverse motion of the particle draws this analogy further by eventually showing band collapses when a cont…
The quantum modes of a nonlinear Klein Gordon lattice have been computed numerically [L. Proville, Phys. Rev. B, vol. 71, 104306 (2005)]. The on-site nonlinearity has been found to lead to a phonon pairing and consequently some phonon bound states. In the present paper, the time dependent Wannier transform of these states is shown to exhibit a breather-like behavior, i.e., it is spatially localized and time-periodic. The typical time the lattice may sustain such breather states is studied as a function of the trapped energy and the intersite lattice coupling.
We analyse an implementation of a quantum computer using bosonic atoms in an optical lattice. We show that, even though the number of atoms per site and the tunneling rate between neighbouring sites is unknown, one may perform a universal set of gates by means of adiabatic passage.
Stationary measures of quantum walks on the one-dimensional integer lattice are well studied. However, the stationary measure for the higher dimensional case has not been clarified. In this paper, we give the stationary amplitude for quantum walks on the d-dimensional integer lattice with a finite support by solving the corresponding eigenvalue problem. As a corollary, we can obtain the stationary measures of the Grover walks. In fact, the amplitude for the stationary measure is an eigenfunction with eigenvalue 1.
We discuss the possibility of engineering a Hamiltonian that can perfectly mirror a state of many excitations stored on a square lattice. In comparison to the well-studied case of a chain, there is potential for a speed-up of information transfer. However, we prove that in a large class of cases, perfect state mirroring on a square lattice is impossible.
We demonstrate how to use lattice surgery to enact a universal set of fault-tolerant quantum operations with color codes. Along the way, we also improve existing surface-code lattice-surgery methods. Lattice-surgery methods use fewer qubits and the same time or less than associated defect-braiding methods. Furthermore, per code distance, color-code lattice surgery uses approximately half the qubits and the same time or less than surface-code lattice surgery. Color-code lattice surgery can also implement the Hadamard and phase gates in a single transversal step---much faster than surface-code l…
We realize a pair of simultaneous ten-step one-dimensional quantum walks with two walkers sharing coins, which we prove is analogous to the ten-step two-dimensional quantum walk with a single walker holding a four-dimensional coin. Our experiment demonstrates a ten-step quantum walk over an 11x11 two-dimensional lattice with a line defect, thereby realizing a localized walker state.
Although the Hamiltonian formalism is so far favored for quantum computation of lattice gauge theory, the path integral formalism would never be useless. The advantages of the path integral formalism are the knowledge and experience accumulated by classical lattice simulation and manifest Lorentz invariance. We discuss quantum computation of lattice gauge theory in the path integral formalism. We utilize a quantum sampling algorithm to generate gauge configurations, and demonstrate a benchmark test of $Z_2$ lattice gauge theory on a four-dimensional hypercube.
Invariance under translation is exploited to efficiently simulate one-dimensional quantum lattice systems in the limit of an infinite lattice. Both the computation of the ground state and the simulation of time evolution are considered.
We present a continuous-time quantum search algorithm on a graphene lattice. This provides the sought-after implementation of an efficient continuous-time quantum search on a two-dimensional lattice. The search uses the linearity of the dispersion relation near the Dirac point and can find a marked site on a graphene lattice faster than the corresponding classical search. The algorithm can also be used for state transfer and communication.
Imaging is central for gaining microscopic insight into physical systems, but direct imaging of ultracold atoms in optical lattices as modern quantum simulation platform suffers from the diffraction limit as well as high optical density and small depth of focus. We introduce a novel approach to imaging of quantum many-body systems using matter wave optics to magnify the density distribution prior to optical imaging, allowing sub-lattice spacing resolution in three-dimensional systems. Combining the site-resolved imaging with magnetic resonance techniques for local addressing of individual latt…
We study finite two dimensional spin lattices with definite geometry (spin billiards) demonstrating the display of collective integrable or chaotic dynamics depending on their shape. We show that such systems can be quantum simulated by ultra-cold atoms in optical lattices and discuss how to identify their dynamical features in a realistic experimental setup. Possible applications are the simulation of quantum information tasks in mesoscopic devices.
We present a pedagogical introduction to a quantum computing algorithm for the simulation of classical fluids, based on the Carleman linearization of a second-quantized version of lattice kinetic theory. Prospects and limitations for the case of fluid turbulence are discussed and commented on.
In this paper we review recent progress in studying quantum phase transitions in one- and two-component Bose-Einstein condensates (BEC) in optical lattices. These phase transitions involve the emergence and disappearance of quantum coherence over whole optical lattice and of linear superposition of macroscopic quantum states. The latter may provide new means to engineer and to manipulate novel macroscopic quantum states and novel coherent atomic beams for quantum information processing, quantum computing etc.
It is widely anticipated that a large-scale quantum computer will offer an evermore accurate simulation of nature, opening the floodgates for exciting scientific breakthroughs and technological innovations. Here, we show a complete, instruction-by-instruction rubric to simulate U(1), SU(2), and SU(3) lattice gauge theories on a quantum computer. These theories describe quantum electrodynamics and chromodynamics, the key ingredients that form the fabric of our universe. We further provide a concrete estimate of the quantum computational resources required for an accurate simulation of lattice g…
A quantum Loschmidt echo (also referred to as quantum time mirror) corresponds to an effective time inversion after which the quantum wave function reverses its previous time evolution and eventually reaches its initial distribution again. We propose a comparably simple protocol for such an effective time reversal for ultra-cold atoms in optical lattices which should be easier to realize experimentally than previous proposals.
The quest to realize novel phases of matter with topological order is an important pursuit with implications for strongly correlated physics and quantum information. Utilizing ideas from state-of-the-art coherent control of artificial quantum systems such as superconducting circuits, we present a proposal to realize bosonic fractional quantum Hall physics on small lattices by creating nearly flat topological bands using staggered flux patterns. Fingerprints of fractionalization through charge pumping can be observed with nearly perfect quantization using as few as 24 lattice sites (two photons…
We propose a method for arbitrary manipulations of a quantum wavepacket in an optical lattice by a suitable modulation of the lattice amplitude. A theoretical model allows to determine the modulation corresponding to a given wavepacket motion, so that arbitrary atomic trajectories can be generated. The method is immediately usable in state of the art experiments.
Lattice gauge theory is an essential tool for strongly interacting non-Abelian fields, such as those in quantum chromodynamics where lattice results have been of central importance for several decades. Recent studies suggest that quantum computers could extend the reach of lattice gauge theory in dramatic ways, but the usefulness of quantum annealing hardware for lattice gauge theory has not yet been explored. In this work, we implement SU(2) pure gauge theory on a quantum annealer for lattices comprising a few plaquettes in a row with a periodic boundary condition. These plaquettes are in two…
Lattice models of fermions, bosons, and spins have long served to elucidate the essential physics of quantum phase transitions in a variety of systems. Generalizing such models to incorporate driving and dissipation has opened new vistas to investigate nonequilibrium phenomena and dissipative phase transitions in interacting many-body systems. We present a framework for the treatment of such open quantum lattices based on a resummation scheme for the Lindblad perturbation series. Employing a convenient diagrammatic representation, we utilize this method to obtain relevant observables for the o…
In this article we extend on work which establishes an analology between one-way quantum computation and thermodynamics to see how the former can be performed on fractal lattices. We find fractals lattices of arbitrary dimension greater than one which do all act as good resources for one-way quantum computation, and sets of fractal lattices with dimension greater than one all of which do not. The difference is put down to other topological factors such as ramification and connectivity. This work adds confidence to the analogy and highlights new features to what we require for universal resourc…
The simulation of dense fermionic matters is a long-standing problem in lattice gauge theory. One hopeful solution would be the use of quantum computers. In this paper, digital quantum simulation is designed for lattice gauge theory at nonzero density. The quantum variational algorithm is adopted to obtain the ground state at nonzero density. A benchmark test is performed in the lattice Schwinger model.
We propose a scheme to realize bosonic fractional quantum Hall conductance in shaken honeycomb optical lattices. This scheme does not require a very flat band, and the necessary long-range interaction relies on s-wave scattering, which is common in many ultracold-atom experiments. By filling the lattice at 1/4 with identical bosons under Feshbach resonance, two degenerate many-body ground states share one Chern number of 1 and correspond exactly to the fractional quantum Hall conductance of 1/2. Meanwhile, we prove that the fractional quantum Hall state can be prepared by adiabatically turning…
Lattice-based cryptography is one of the leading proposals for post-quantum cryptography. The Shortest Vector Problem (SVP) is arguably the most important problem for the cryptanalysis of lattice-based cryptography, and many lattice-based schemes have security claims based on its hardness. The best quantum algorithm for the SVP is due to Laarhoven [Laa16 PhD] and runs in (heuristic) time $2^{0.2653d + o(d)}$. In this article, we present an improvement over Laarhoven's result and present an algorithm that has a (heuristic) running time of $2^{0.2570 d + o(d)}$ where $d$ is the lattice dimension…
We investigate the effect of disorder on the transfer of quantum states across a one-dimensional lattice with varying levels of control resources. We find that the application of properly designed control signals, even when applied only to the two ends of the lattice, allows perfect state transfer up to disorder strengths that would not allow a generic quantum state to propagate the length of the lattice. At sufficiently large disorder strengths, however, the local control signals fail to send the quantum state from one end of the system to the other end. Our results shed light on the interpla…
The Fock space of a system of indistinguishable particles is isomorphic (in a non-unique way) to the state-space of a composite i.e., many-modes, quantum system. One can then discuss quantum entanglement for fermionic as well as bosonic systems. We exemplify the use of this notion -central in quantum information - by studying some e.g., Hubbard,lattice fermionic models relevant to condensed matter physics.
We study the percolation of a quantum particle on quasicrystal lattices and compare it with the square lattice. For our study, we have considered quasicrystal lattices modelled on the pentagonally symmetric Penrose tiling and the octagonally symmetric Ammann-Beenker tiling. The dynamics of the quantum particle is modelled using continuous-time quantum walk (CTQW) formalism. We present a comparison of the behaviour of the CTQW on the two aperiodic quasicrystal lattices and the square lattice when all the vertices are connected and when disorder is introduced in the form of disconnections betwee…
We demonstrate that a site-dependent driving of a periodic potential allows for the controlled manipulation of a quantum particle on length scales of the lattice spacing. Specifically we observe for distinct driving frequencies a near depletion of certain sites which is explained by a resonant mixing of the involved Floquet-Bloch modes occurring at these frequencies. Our results could be exploited as a scheme for a site-selective loading of e.g. ultracold atoms into an optical lattices.
Abelian and non-Abelian gauge theories are of central importance in many areas of physics. In condensed matter physics, Abelian U(1) lattice gauge theories arise in the description of certain quantum spin liquids. In quantum information theory, Kitaev's toric code is a Z(2) lattice gauge theory. In particle physics, Quantum Chromodynamics (QCD), the non-Abelian SU(3) gauge theory of the strong interactions between quarks and gluons, is non-perturbatively regularized on a lattice. Quantum link models extend the concept of lattice gauge theories beyond the Wilson formulation, and are well suited…
We present an approach using quantum walks (QWs) to redistribute ultracold atoms in an optical lattice. Different density profiles of atoms can be obtained by exploiting the controllable properties of QWs, such as the variance and the probability distribution in position space using quantum coin parameters and engineered noise. The QW evolves the density profile of atoms in a superposition of position space resulting in a quadratic speedup of the process of quantum phase transition. We also discuss implementation in presently available setups of ultracold atoms in optical lattices.
Quantum simulation aims to simulate a quantum system using a controble laboratory system that underline the same mathematical model. Cavity QED lattice system is that prescribe system to simulate the relativistic quantum effect. We quantum simulate the Dirac fermion mode, Majorana fermion mode and Majorana-Weyl fermion mode and a crossover between them in cavity QED lattice. We also present the different analytical relations between the field operators for different mode excitations.
