We study how chaos, introduced by a weak perturbation, affects the reliability of the output of analog quantum simulation. As a toy model, we consider the Lipkin-Meshkov-Glick (LMG) model. Inspired by the semiclassical behavior of the order parameter in the thermodynamic limit, we propose a protocol to measure the quantum phase transition in the ground state and the dynamical quantum phase transition associated with quench dynamics. We show that the presence of a small time-dependent perturbation can render the dynamics of the system chaotic. We then show that the estimates of the critical points of these quantum phase transitions, obtained from the quantum simulation of its dynamics, are robust to the presence of this chaotic perturbation, while other aspects of the system, such as the mean magnetization are fragile, and therefore cannot be reliably extracted from this simulator. This can be understood in terms of the simulated quantities that depend on the global structure of phase space vs. those that depend on local trajectories.
Analog quantum simulation is expected to be a significant application of near-term quantum devices. Verification of these devices without comparison to known simulation results will be an important task as the system size grows beyond the regime that can be simulated classically. We introduce a set of experimentally-motivated verification protocols for analog quantum simulators, discussing their sensitivity to a variety of error sources and their scalability to larger system sizes. We demonstrate these protocols experimentally using a two-qubit trapped-ion analog quantum simulator and numerica…
With quantum computers being out of reach for now, quantum simulators are the alternative devices for efficient and more exact simulation of problems that are challenging on conventional computers. Quantum simulators are classified into analog and digital, with the possibility of constructing "hybrid" simulators by combining both techniques. In this paper, we focus on analog quantum simulators of open quantum systems and address the limit that they can beat classical computers. In particular, as an example, we discuss simulation of the chlorosome light-harvesting antenna from green sulfur bact…
We study an analog quantum simulator coupled to a reservoir with a known spectral density. The reservoir perturbs the quantum simulation by causing decoherence. The simulator is used to measure an operator average, which cannot be calculated using any classical means. Since we cannot predict the result, it is difficult to estimate the effect of the environment. Especially, it is difficult to resolve whether the perturbation is small or if the actual result of the simulation is in fact very different from the ideal system we intend to study. Here, we show that in specific systems a measurement …
Unitary Sampling Expectation-Value Reconstruction (USER) is used to determine expectation values that are not directly accessible on an analog quantum simulator.
Simulation of interacting electron systems is one of the great challenges of modern quantum chemistry and solid state physics. Controllable quantum systems offer the opportunity to create artificial structures which mimic the system of interest. An interesting quantity to extract from these quantum simulations is the spectral function. We map a noisy quantum simulator onto a fermionic system and investigate the influence of decoherence on the simulation of the spectral density using a diagrammatic approach on Keldysh contour. We show that features stronger than the single-qubit decoherence rat…
Well-controlled quantum systems can potentially be used as quantum simulators. However, a quantum simulator is inevitably perturbed by coupling to additional degrees of freedom. This constitutes a major roadblock to useful quantum simulations. So far there are only limited means to understand the effect of perturbation on the results of quantum simulation. Here, we present a method which, in certain circumstances, allows for the reconstruction of the ideal result from measurements on a perturbed quantum simulator. We consider extracting the value of the correlator $\langle\hat{O}^i(t) \hat{O}^…
An important step in quantum simulation is to measure the many-body correlations of the simulated model. For a practical quantum simulator composed of finite number of qubits and cavities, in contrast to ideal many-body systems in the thermodynamic limit, a measurement device can generate strong backaction on the simulator, which could prevent the accurate readout of the correlation functions. Here we calculate the readout of a detector coupled to an analog quantum simulator. We show that reliable characterization of the many-body correlations in the simulator can be achieved when the coupling…
Programming long-range interactions in analog quantum simulators
Institute of Fundamental Physics IFF-CSIC（基础物理研究所）；Departamento de Física, Facultad de Ciencias Ambientales y Bioquímica, Universidad de Castilla-La Mancha（卡斯蒂利亚-拉曼恰大学环境科学与生物化学学院物理系）
The spectral form factor (SFF), characterizing statistics of energy eigenvalues, is a key diagnostic of many-body quantum chaos. In addition, partial spectral form factors (PSFFs) can be defined which refer to subsystems of the many-body system. They provide unique insights into energy eigenstate statistics of many-body systems, as we show in an analysis on the basis of random matrix theory and of the eigenstate thermalization hypothesis. We propose a protocol that allows the measurement of the SFF and PSFFs in quantum many-body spin models, within the framework of randomized measurements. Aim…
We propose a scheme for investigating the nonequilibrium aspects of small-polaron physics using an array of superconducting qubits and microwave resonators. This system, which can be realized with transmon or gatemon qubits, serves as an analog simulator for a lattice model describing a nonlocal coupling of a quantum particle (excitation) to dispersionless phonons. We study its dynamics following an excitation-phonon (qubit-resonator) interaction quench using a numerically exact approach based on a Chebyshev-moment expansion of the time-evolution operator of the system. We thereby glean hereto…
As noisy intermediate-scale quantum (NISQ) processors increase in size and complexity, their use as general purpose quantum simulators will rely on algorithms based on the Trotter-Suzuki expansion. We run quantum simulations on a small, highly accurate quantum processor, and show how one can optimize simulation accuracy by balancing algorithmic (Trotter) errors against native errors specific to the quantum hardware at hand. We further study the interplay between native errors, Trotter errors, and the emergence of chaos as seen in measurements of a time averaged fidelity-out-of-time-ordered-cor…
There exists a Hamiltonian formulation of the factorisation problem which also needs the definition of a factorisation ensemble (a set to which factorable numbers, $N'=x'y'$, having the same trivial factorisation algorithmic complexity, belong). For the primes therein, a function $E$, that may take only discrete values, should be the analogous of the energy from a confined system of charges in a magnetic trap. This is the quantum factoring simulator hypothesis connecting quantum mechanics with number theory. In this work, we report numerical evidence of the existence of this kind of discrete s…
Analog quantum simulators can be used to study quantum correlation in novel many-body systems by emulating the Hamiltonian of these systems. One essential question in quantum simulation is to probe the properties of an emulated many-body system. Here we present a circuit QED scheme for probing such properties by measuring the spectrum of a superconducting resonator coupled to a quantum simulator. We first study a general framework of this approach, and show that the spectrum of the resonator is directly related to the correlation function of the coupling operator between the resonator and the …
We propose an analog quantum simulator for the Holstein molecular-crystal model based on a superconducting circuit QED system in the dispersive regime. By varying the driving field on the superconducting resonators, one can readily access both the adiabatic and anti-adiabatic regimes of this model. Strong e-ph coupling required for small-polaron formation can also be reached. We show that small-polaron state of arbitrary quasimomentum can be generated by applying a microwave pulse to the resonators. We also show that significant squeezing in the resonator modes can be achieved in the polaron-c…
In recent years quantum simulation has made great strides culminating in experiments that operate in a regime that existing supercomputers cannot easily simulate. Although this raises the possibility that special purpose analog quantum simulators may be able to perform computational tasks that existing computers cannot, it also introduces a major challenge: certifying that the quantum simulator is in fact simulating the correct quantum dynamics. We provide an algorithm that, under relatively weak assumptions, can be used to efficiently infer the Hamiltonian of a large but untrusted quantum sim…
Analog Circuit-QED Simulator of Quantum Spin Dynamics Through the Extended Bose-Hubbard Model
Russian Quantum Center（俄罗斯量子中心）；Moscow Institute of Physics and Technology（莫斯科物理技术学院）；SKKU Advanced Institute of Nanotechnology (SAINT), Sungkyunkwan University（成均馆大学 SKKU 纳米技术高级研究所 (SAINT)）；Institute of Fundamental Physics IFF-CSIC（西班牙国家研究委员会基础物理研究所 (IFF-CSIC)）；National University of Science and Technology “MISIS”（国立科技大学 MISIS）；Lebedev Physical Institute, Russian Academy of Sciences（俄罗斯科学院列别捷夫物理研究所）；Department of Chemistry, Yonsei University（延世大学化学系）；Department of Quantum Information, Yonsei University（延世大学量子信息系）
The development of quantum information platforms such as quantum computers and quantum simulators that will rival classical Turing computations are typically viewed as a threat to secure data transmissions and therefore to crypto-systems and financial markets in general. We propose to use such platforms as a proof-of-work protocol for blockchain technology, which underlies cryptocurrencies providing a way to document the transactions in a permanent decentralised public record and to be further securely and transparently monitored. We reconsider the basis of blockchain encryption and suggest to…
We develop techniques to probe the dynamics of quantum information, and implement them experimentally on an IBM superconducting quantum processor. Our protocols adapt shadow tomography for the study of time evolution channels rather than of quantum states, and rely only on single-qubit operations and measurements. We identify two unambiguous signatures of quantum information scrambling, neither of which can be mimicked by dissipative processes, and relate these to many-body teleportation. By realizing quantum chaotic dynamics in experiment, we measure both signatures, and support our results w…
We use a self-assembled two-dimensional Coulomb crystal of $\sim 70$ ions in the presence of an external transverse field to engineer a simulator of the Dicke Hamiltonian, an iconic model in quantum optics which features a quantum phase transition between a superradiant/ferromagnetic and a normal/paramagnetic phase. We experimentally implement slow quenches across the quantum critical point and benchmark the dynamics and the performance of the simulator through extensive theory-experiment comparisons which show excellent agreement. The implementation of the Dicke model in fully controllable tr…
In this work a classical linear harmonic oscillator, evolving during a small time interval (so that simple non-linear, second order Taylor approximation of the dynamics is satisfied) and restarting (by a mechanism) in a strictly chosen series of the time moments, is considered. It is shown that given linear oscillator behaves dynamically analogously to discrete logistic equation, which, as an especial case, includes chaotic (fractal) behaviour too. (All this refers too on the analogous quantum systems, e.g. ammonia molecule with simple vibration dynamics of the atoms many times perturbed by me…
Actual realisations of EPR experiments do {\em not} demonstrate non-locality. A model is presented that should enable non-specialists as well as specialists to understand how easy it is to find realistic explanations for the observations. The model also suggests new areas where realistic (``hidden-variable'') models can give valid predictions whilst quantum mechanics fails. It offers straightforward explanations for some anomalies that Aspect was unable to account for, providing perhaps the first experimental evidence that a hidden-variable theory can be {\em superior} to quantum mechanics. Th…
Despite the pristine abilities of analog quantum simulators to study quantum dynamics, possibilities to detect currents are sparse. Here, we propose a flexible non-invasive technique to measure currents in quantum many-body systems by weakly coupling the system to an ancilla, followed by a measurement of the ancilla population. We numerically benchmark the scheme at the example of interacting bosons in a Harper-Hofstadter optical-lattice ladder, and discuss potential experimental error sources. The highly flexible protocol can be used with both hard-core and soft-core bosons as well as fermion…
Cold atom optical lattices allow for the study of quantum localization and mobility edges in a disorder-free environment. We predict the existence of an Anderson-like insulator with sharp mobility edges in a one-dimensional nearly-periodic optical lattice. We show that the mobility edge manifests itself as the early onset of pinning in center of mass dipole oscillations in the presence of a magnetic trap which should be observable in optical lattices.
Out-of-time-order correlator (OTOC), been suggested as a measure of quantum information scrambling in quantum many-body systems, has received enormous attention recently. The experimental measurement of OTOC is quite challenging. The existing theoretical protocols consist in implementing time-reversal operations or using ancillary quantum systems, therefore only a few experiments have been reported. Recently, a new protocol to detect OTOC using statistical correlations between randomized measurements was put forward. In this work, we detect the OTOCs of a kicked-Ising model using this new meas…
The idea of the out-of-time-order correlator (OTOC) has recently emerged in the study of both condensed matter systems and gravitational systems. It not only plays a key role in investigating the holographic duality between a strongly interacting quantum system and a gravitational system, but also diagnoses the chaotic behavior of many-body quantum systems and characterizes the information scrambling. Based on the OTOCs, three different concepts -- quantum chaos, holographic duality, and information scrambling -- are found to be intimately related to each other. Despite of its theoretical impo…
Peking University（北京大学）；Institute of High Energy Physics, Chinese Academy of Sciences（中国科学院高能物理研究所）；China Center of Advanced Science and Technology（中国高等科学技术中心）；School of Computer Science, Peking University（北京大学计算机学院）
Controlled quantum mechanical devices provide a means of simulating more complex quantum systems exponentially faster than classical computers. Such "quantum simulators" rely heavily upon being able to prepare the ground state of Hamiltonians, whose properties can be used to calculate correlation functions or even the solution to certain classical computations. While adiabatic preparation remains the primary means of producing such ground states, here we provide a different avenue of preparation: cooling to the ground state via simulated dissipation. This is in direct analogy to contemporary e…
Quantum simulators are widely seen as one of the most promising near-term applications of quantum technologies. However, it remains unclear to what extent a noisy device can output reliable results in the presence of unavoidable imperfections. Here we propose a framework to characterize the performance of quantum simulators by linking the robustness of measured quantum expectation values to the spectral properties of the output observable, which in turn can be associated with its macroscopic or microscopic character. We show that, under general assumptions and on average over all states, imper…
We consider a mixed chaotic Hamiltonian system and compare classical with quantum chaos. As alternative to the methods of enegy level spacing statistics and trace formulas, we construct a quantum action and a quantum analogue phase space to analyse quantum chaos.
An analog computer makes use of continuously changeable quantities of a system, such as its electrical, mechanical, or hydraulic properties, to solve a given problem. While these devices are usually computationally more powerful than their digital counterparts, they suffer from analog noise which does not allow for error control. We will focus on analog computers based on active electrical networks comprised of resistors, capacitors, and operational amplifiers which are capable of simulating any linear ordinary differential equation. However, the class of nonlinear dynamics they can solve is l…
Let L be a language decided by a constant-round quantum Arthur-Merlin (QAM) protocol with negligible soundness error and all but possibly the last message being classical. We prove that if this protocol is zero knowledge with a black-box, quantum simulator S, then L in BQP. Our result also applies to any language having a three-round quantum interactive proof (QIP), with all but possibly the last message being classical, with negligible soundness error and a black-box quantum simulator. These results in particular make it unlikely that certain protocols can be composed in parallel in order to …
Spinor Bose-Einstein condensate as an analog simulator of molecular bending vibrations
Universitat Autònoma de Barcelona（巴塞罗那自治大学）；ICFO - Institut de Ciencies Fotoniques, The Barcelona Institute of Science and Technology（ICFO-光子科学研究所，巴塞罗那科学技术研究院）；Universitat de València-CSIC（瓦伦西亚大学-CSIC）
Unified Probe of Quantum Chaos and Ergodicity from Hamiltonian Learning
Harvard University（哈佛大学）；Harvard-Smithsonian Center for Astrophysics（哈佛-史密森天体物理中心）；QuEra Computing Inc.（QuEra计算公司）；Massachusetts Institute of Technology（麻省理工学院）
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…
