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 numerically using models of up to five qubits.
Diners dilemma is one of the most interesting problems in both economic and game theories. Here, we solve this problem for n (number of players) =4 with quantum rules and we are able to remove the dilemma of diners between the Pareto optimal and Nash equilibrium points of the game. We find the quantum strategy that gives maximum payoff for each diner without affecting the payoff and strategy of others. We use the quantum principles of superposition and entanglement that gives supremacy over any classical strategies. We present the circuit implementation for the game, design it on the IBM quant…
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…
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…
The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun. As hybrid programs scale towards classical intractability, validation and benchmarking are critical to understanding the utility of the hybrid computational model. In this paper, we demonstrate a newly developed quantum circuit simulator based on tensor network theory that enables intermediate-scale verification and validation of hybrid quantum-classical computing frameworks and programming models. We present our tensor-network quantum virtual machine (TNQVM) simulator w…
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 poi…
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…
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…
We describe a protocol for cross-platform verification of quantum simulators and quantum computers. We show how to measure directly the overlap $\textrm{Tr}\left[ρ_1 ρ_2\right]$ and the purities $\textrm{Tr}\left[ρ^2_{1,2}\right]$, and thus a fidelity of two possibly mixed quantum states $ρ_1$ and $ρ_2$ prepared in separate experimental platforms. We require only local measurements in randomized product bases, which are communicated classically. As a proof-of-principle, we present the measurement of experiment-theory fidelities for entangled $10$-qubit quantum states in a trapped ion quantum s…
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…
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.
We investigate the performance of error mitigation via measurement of conserved symmetries on near-term devices. We present two protocols to measure conserved symmetries during the bulk of an experiment, and develop a zero-cost post-processing protocol which is equivalent to a variant of the quantum subspace expansion. We develop methods for inserting global and local symetries into quantum algorithms, and for adjusting natural symmetries of the problem to boost their mitigation against different error channels. We demonstrate these techniques on two- and four-qubit simulations of the hydrogen…
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…
Electrons bound to shallow donors in GaAs have orbital energy levels analogous to those of the hydrogen atom. The polarization selection rules for optical transitions between the states analogous to the 1s and 2p states of hydrogen in a magnetic field are verified using Terahertz (THz) radiation from the UCSB Free Electron Laser. A polarization-selective coherent manipulation of the quantum states is demonstrated and the relevance to quantum information processing schemes is discussed.
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）
Here we present qFlex, a flexible tensor network based quantum circuit simulator. qFlex can compute both exact amplitudes, essential for the verification of the quantum hardware, as well as low fidelity amplitudes, in order to mimic sampling from Noisy Intermediate-Scale Quantum (NISQ) devices. In this work, we focus on random quantum circuits (RQCs) in the range of sizes expected for supremacy experiments. Fidelity $f$ simulations are performed at a cost that is $1/f$ lower than perfect fidelity ones. We also present a technique to eliminate the overhead introduced by rejection sampling in mo…
We present a space-efficient implementation of the quantum verification of matrix products (QVMP) algorithm and demonstrate its functionality by running it on the Aer simulator with two simulation methods: statevector and matrix product state (MPS). We report circuit metrics (gate count, qubit count, circuit depth), transpilation time, simulation time, and a proof of Grover oracle correctness. Our study concludes that while QVMP can be simulated on moderately sized inputs, it cannot scale to a degree where we can observe any quantum advantage on current quantum hardware due to circuit depth an…
Quantum simulator with the ability to harness the dynamics of complex quantum systems has emerged as a promising platform for probing exotic topological phases. Since the flexibility offered by various controllable quantum systems has enabled to gain insight into quantum simulation of such complicated problems, analog quantum simulator has recently shown its feasibility to tackle problems of exploring topological phases. However, digital quantum simulation and detection of topological phases still remain elusive. Here, we develop and experimentally realize the digital quantum simulation of top…
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…
We discuss monitoring the time evolution of an analog quantum simulator via a quantum non-demolition (QND) coupling to an auxiliary `clock' qubit. The QND variable of interest is the `energy' of the quantum many-body system, represented by the Hamiltonian of the quantum simulator. We describe a physical implementation of the underlying QND Hamiltonian for Rydberg atoms trapped in tweezer arrays using laser dressing schemes for a broad class of spin models. As an application, we discuss a quantum protocol for measuring the spectral form factor of quantum many-body systems, where the aim is to i…
A custom-built and precisely controlled quantum system may offer access to a fundamental understanding of another, less accessible system of interest. A universal quantum computer is currently out of reach, but an analog quantum simulator that makes the relevant observables, interactions, and states of a quantum model accessible could permit experimental insight into complex quantum dynamics that are intractable on conventional computers. Several platforms have been suggested and proof-of-principle experiments have been conducted. Here we characterise two-dimensional arrays of three ions trapp…
