We derive in this study a Hamiltonian to solve with certainty the analog quantum search problem analogue to the Grover algorithm. The general form of the initial state is considered. Since the evaluation of the measuring time for finding the marked state by probability of unity is crucially important in the problem, especially when the Bohr frequency is high, we then give the exact formula as a function of all given parameters for the measuring time.
We show how recent state-reconstruction techniques can be used to determine the Hamiltonian of an optical device that evolves the quantum state of radiation. A simple experimental setup is proposed for measuring the Liouvillian of phase-insensitive devices. The feasibility of the method with current technology is demonstrated on the basis of Monte Carlo simulated experiments.
Suppose that the Hamiltonian acting on a quantum system is unknown and one wants to determine what is the Hamiltonian. We show that in general this requires a time $Δt$ which obeys the uncertainty relation $Δt ΔH \gtrsim 1$ where $ΔH$ is a measure of how accurately the unknown Hamiltonian must be estimated. We then apply this result to the problem of measuring the energy of an unknown quantum state. It has been previously shown that if the Hamiltonian is known, then the energy can in principle be measured in an arbitrarily short time. On the other hand we show that if the Hamiltonian is not kn…
Digital-analog quantum computation aims to reduce the currently infeasible resource requirements needed for near-term quantum information processing by replacing sequences of one- and two-qubit gates with a unitary transformation generated by the systems' underlying Hamiltonian. Inspired by this paradigm, we consider superconducting architectures and extend the cross-resonance effect, up to first order in perturbation theory, from a two-qubit interaction to an analog Hamiltonian acting on 1D chains and 2D square lattices which, in an appropriate reference frame, results in a purely two-local H…
Impact and mitigation of Hamiltonian characterization errors in digital-analog quantum computation
TECNALIA, Basque Research and Technology Alliance (BRTA)（特克纳利亚，巴斯克研究与技术联盟）；University of the Basque Country UPV/EHU（巴斯克大学）；EHU Quantum Center（EHU量子中心）；Max-Planck-Institut für Quantenoptik（马克斯·普朗克光学研究所）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）；University of Vienna（维也纳大学）；IKERBASQUE, Basque Foundation for Science（伊克尔巴斯基，巴斯克科学基金会）；Basque Center for Applied Mathematics (BCAM)（巴斯克应用数学中心）
The adiabatic quantum algorithm has drawn intense interest as a potential approach to accelerating optimization tasks using quantum computation. The algorithm is most naturally realised in systems which support Hamiltonian evolution, rather than discrete gates. We explore an alternative approach in which slowly varying measurements are used to mimic adiabatic evolution. We show that for certain Hamiltonians, which remain frustration-free all along the adiabatic path, the necessary measurements can be implemented through the measurement of random terms from the Hamiltonian. This offers a new, a…
University of the Basque Country UPV/EHU（巴斯克大学）；IKERBASQUE, Basque Foundation for Science（伊克尔巴斯基奎巴斯克科学基金会）；Basque Center for Applied Mathematics (BCAM)（巴斯克应用数学中心）
We examine the driving Hamiltonian in the analog analogue of Grover's algorithm by Farhi and Gutmann. For a quantum system with a given Hamiltonian $E|w> < w|$, we explicitly show that while the driving Hamiltonian $E|s> < s|$ optimally produces the state $|w>$ from an initial state $|s>$, the driving Hamiltonian $E^{\prime}|s> < s|(E^{\prime} \ne E)$ does not provide any speedup compared even with a classical computation.
Work is an observable quantity associated with a process, however there is no Hermitian operator associated with its measurement. We consider an ancilla-assisted protocol measuring the work done on a quantum system driven by a time-dependent Hamiltonian via two von-Neumann measurements of the system's energy carried out by a measuring apparatus modeled as a free particle of finite localization and interaction time with the system. We consider system Hamiltonians which both commute and do not commute at different times, finding corrections to fluctuation relations like the Jarzynski equality an…
Topology played an important role in physics research during the last few decades. In particular, the quantum geometric tensor that provides local information about topological properties has attracted much attention. It will reveal interesting topological properties in non-Abelian systems, which have not been realized in practice. Here, we use a four-qubit quantum system in superconducting circuits to construct a degenerate Hamiltonian with parametric modulation. By manipulating the Hamiltonian with periodic drivings, we simulate the Bernevig-Hughes-Zhang model and obtain the quantum geometri…
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…
I propose an efficient method for measuring non-linear coupling between the collective axial breathing mode and the radial rocking mode induced by the mutual Coulomb repulsion in linear ion crystal. The quantum sensing technique is based on the laser induced coupling between one of the vibrational modes and the internal ion's spin states which allows to estimate the non-linear coupling either by measuring the phonon probability distribution or directly be observing the Ramsey-type oscillations of the ion spin states. I show that due to the presence of non-linear phonon coupling the off-resonan…
We obtain several analogs of real polar decomposition for even dimensional matrices. In particular, we decompose a non-degenerate matrix as a product of a Hamiltonian and an anti-symplectic matrix and under additional requirements we decompose a matrix as a skew-Hamiltonian and a symplectic matrix. We apply our results to study bosonic Gaussian channels up to inhomogeneous symplectic transforms.
We present measurements of a topological property, the Chern number ($C_\mathrm{1}$), of a closed manifold in the space of two-level system Hamiltonians, where the two-level system is formed from a superconducting qubit. We manipulate the parameters of the Hamiltonian of the superconducting qubit along paths in the manifold and extract $C_\mathrm{1}$ from the nonadiabitic response of the qubit. By adjusting the manifold such that a degeneracy in the Hamiltonian passes from inside to outside the manifold, we observe a topological transition $C_\mathrm{1} = 1 \rightarrow 0$. Our measurement of $…
We solve a problem, which while not fitting into the usual paradigm, can be viewed as a quantum computation. Suppose we are given a quantum system described by an N dimensional Hilbert space with a Hamiltonian of the form $E |w >< w|$ where $| w>$ is an unknown (normalized) state. We show how to discover $| w >$ by adding a Hamiltonian (independent of $| w >$) and evolving for a time proportional to $N^{1/2}/E$. We show that this time is optimally short. This process is an analog analogue to Grover's algorithm, a computation on a conventional (!) quantum computer which locates a marked item fr…
Hamiltonian daemons have recently been defined classically as small, closed Hamiltonian systems which can exhibit secular energy transfer from high-frequency to low-frequency degrees of freedom (steady downconversion), analogous to the steady transfer of energy in a combustion engine from the high Terahertz frequencies of molecular excitations to the low kilohertz frequencies of piston motion. Classical daemons achieve downconversion within a small, closed system by exploiting nonlinear resonances; the adiabatic theorem permits their operation but imposes non-trivial limitations on their effic…
Direct measurement of the energy spectrum of a quantum dot qubit
University of Wisconsin-Madison（威斯康星大学麦迪逊分校）；Q-NEXT, Argonne National Laboratory（Q-NEXT，阿贡国家实验室）；Materials Science Division, Argonne National Laboratory（阿贡国家实验室材料科学部）；Prizker School of Molecular Engineering, University of Chicago（芝加哥大学普里茨克分子工程学院）
The Variational Quantum Eigensolver approach to the electronic structure problem on a quantum computer involves measurement of the Hamiltonian expectation value. Formally, quantum mechanics allows one to measure all mutually commuting or compatible operators simultaneously. Unfortunately, the current hardware permits measuring only a much more limited subset of operators that share a common tensor product eigen-basis. We introduce unitary transformations that transform any fully commuting group of operators to a group that can be measured on current hardware. These unitary operations can be en…
Hybrid quantum-classical optimization algorithms represent one of the most promising application for near-term quantum computers. In these algorithms the goal is to optimize an observable quantity with respect to some classical parameters, using feedback from measurements performed on the quantum device. Here we study the problem of estimating the gradient of the function to be optimized directly from quantum measurements, generalizing and simplifying some approaches present in the literature, such as the so-called parameter-shift rule. We derive a mathematically exact formula that provides a …
Quantum algorithms designed for realistic quantum many-body systems, such as chemistry and materials, usually require a large number of measurements of the Hamiltonian. Exploiting different ideas, such as {importance sampling,} observable compatibility, or classical shadows of quantum states, different advanced measurement schemes have been proposed to greatly reduce the large measurement cost. Yet, the underline cost reduction mechanisms seem distinct from each other, and how to systematically find the optimal scheme remains a critical challenge. Here, we address this challenge by proposing a…
The analogy between monodromy in dynamical (Hamiltonian) systems and defects in crystal lattices is used in order to formulate some general conjectures about possible types of qualitative features of quantum systems which can be interpreted as a manifestation of classical monodromy in quantum finite particle (molecular) problems.
Effective Hamiltonians are often used in quantum physics, both in time dependent and time independent contexts. Analogies are drawn between the two usages, the discussion framed particularly for the geometric phase of a time-dependent Hamiltonian and for resonances as stationary states of a time-independent Hamiltonian.
We study the coupling between collective variables of atomic spin and light polarization in an ensemble of cold 87Rb probed with polarized light. The effects of multiple hyperfine levels manifest themselves as a rank-2 tensor polarizability, whose irreducible components can be selected by means of probe detuning. The D1 and D2 lines of Rb are explored and we identify different detunings which lead to Hamiltonians with different symmetries for rotations. As possible applications of these Hamiltonians, we describe schemes for spin squeezing, quantum cloning, quantum memory, and measuring atom nu…
The well-known algorithm for quantum phase estimation requires that the considered unitary is available as a conditional transformation depending on the quantum state of an ancilla register. We present an algorithm converting an unknown n-qubit pair-interaction Hamiltonian into a conditional one such that standard phase estimation can be applied to measure the energy. Our essential assumption is that the considered system can be brought into interaction with a quantum computer. For large n the algorithm could still be applicable for estimating the density of energy states and might therefore b…
We propose a single effective Hamiltonian to describe the low-energy electronic structure of a series of symmetric cationic diarylmethanes, which are all bridge-substituted derivatives of Michler's Hydrol Blue. Three-state diabatic Hamiltonians for the dyes are calculated using four-electron three-orbital state-averaged complete active space self-consistent field and multi-state multi-reference perturbation theory models. The approach takes advantage of an isolobal analogy that can be established between the orbitals spanning the active spaces of the different substituted dyes. The solutions o…
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…
The process of measuring a two-level quantum system was examined by applying Hamiltonian formalism. For the measurement of an observable that does not commute with the system Hamiltonian, a non-trivial relationship among the strength of interaction, the time interval of the process, and the accuracy of the measurement was obtained. Particularly, to achieve an error-free measurement of such an observable, a condition stating that the interaction Hamiltonian does not commute with the system Hamiltonian needs to be satisfied.
Peking University（北京大学）；Institute of High Energy Physics, Chinese Academy of Sciences（中国科学院高能物理研究所）；China Center of Advanced Science and Technology（中国高等科学技术中心）；School of Computer Science, Peking University（北京大学计算机学院）
We propose a quantum algorithm for projecting a quantum system to eigenstates of any Hermitian operator, provided one can access the associated control-unitary evolution for the ancilla and the system, as well as the measurement of the controlling ancillary qubit. Such a Hadamard-test like primitive is iterated so as to achieve the spectral projection, and the distribution of the projected eigenstates obeys the Born rule. This algorithm can be used as a subroutine in the quantum annealing procedure by measurement to drive the system to the ground state of a final Hamiltonian, and we simulate t…
Using quantum systems to efficiently solve quantum chemistry problems is one of the long-sought applications of near-future quantum technologies. In a recent work, ultra-cold fermionic atoms have been proposed for these purposes by showing us how to simulate in an analog way the quantum chemistry Hamiltonian projected in a lattice basis set. Here, we continue exploring this path and go beyond these first results in several ways. First, we numerically benchmark the working conditions of the analog simulator, and find less demanding experimental setups where chemistry-like behaviour in three-dim…
We study the time evolution of two wave packets prepared at the same initial state, but evolving under slightly different Hamiltonians. For chaotic systems, we determine the circumstances that lead to an exponential decay with time of the wave packet overlap function. We show that for sufficiently weak perturbations, the exponential decay follows a Fermi golden rule, while by making the difference between the two Hamiltonians larger, the characteristic exponential decay time becomes the Lyapunov exponent of the classical system. We illustrate our theoretical findings by investigating numerical…
We present methods for evaluating the rate of change in quantities during quantum evolution due to coupling to the environment (dissipation hereafter). The protocol is based on repeating a given quantum circuit (or quantum operation) twice, thrice, and so on, and measuring an expectation value after each number of repetitions. We start by applying this method for measuring the rate of purity changes in quantum circuits. This provides direct information on the quality of the circuit. Furthermore, the presented scheme enables to distill the dissipative contribution in the changes of quantities s…
Entanglement distillation based on Hamiltonian dynamics
Joint Center for Quantum Information and Computer Science, University of Maryland（马里兰大学量子信息与计算科学联合中心）；Center for Quantum Information, Institute for Interdisciplinary Information Sciences, Tsinghua University（清华大学交叉信息研究院量子信息中心）
In PT quantum mechanics a fundamental principle of quantum mechanics, that the Hamiltonian must be hermitian, is replaced by another set of requirements, including notably symmetry under PT, where P denotes parity and T denotes time reversal. Here we study the role of boundary conditions in PT quantum mechanics by constructing a simple model that is the PT symmetric analog of a particle in a box. The model has the usual particle in a box Hamiltonian but boundary conditions that respect PT symmetry rather than hermiticity. We find that for a broad class of PT-symmetric boundary conditions the m…
Analog models of quantum information processing, such as adiabatic quantum computation and analog quantum simulation, require the ability to subject a system to precisely specified Hamiltonians. Unfortunately, the hardware used to implement these Hamiltonians will be imperfect and limited in its precision. Even small perturbations and imprecisions can have profound effects on the nature of the ground state. Here we consider an imperfect implementation of adiabatic quantum optimization and show that, for a widely applicable random control noise model, quantum stabilizer encodings are able to re…
We present the theory of time-dependent point transformations to find independent dynamical normal modes for 2D systems subjected to time-dependent control in the limit of small oscillations. The condition that determines if the independent modes can indeed be defined is identified, and a geometrical analogy is put forward. The results explain and unify recent work to design fast operations on trapped ions, needed to implement a scalable quantum-information architecture: transport, expansions, and the separation of two ions, two-ion phase gates, as well as the rotation of an anisotropic trap f…
We present a new way of encoding a quantum computation into a 3-local Hamiltonian. Our construction is novel in that it does not include any terms that induce legal-illegal clock transitions. Therefore, the weights of the terms in the Hamiltonian do not scale with the size of the problem as in previous constructions. This improves the construction by Kempe and Regev, who were the first to prove that 3-local Hamiltonian is complete for the complexity class QMA, the quantum analogue of NP. Quantum k-SAT, a restricted version of the local Hamiltonian problem using only projector terms, was introd…
Quantum computers based on superconducting circuits are experiencing a rapid development, aiming at outperforming classical computers in certain useful tasks in the near future. However, the currently available chip fabrication technologies limit the capability of gathering a large number of high-quality qubits in a single superconducting chip, a requirement for implementing quantum error correction. Furthermore, achieving high connectivity in a chip poses a formidable technological challenge. Here, we propose a hybrid digital-analog quantum algorithm that enhances the physical connectivity am…
We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process. We only require the ability to prepare an initial computational basis state which encodes both the quantum circuit and its input. The computational process is then carried out by the autonomous Hamiltonian time evolution. After a time polynomially long in the size of the quantum circuit has passed, the result of the computation is obtained with high probabili…
We construct a solution of an analog of the Schrödinger equation for the Hamiltonian $ H_I (z, t, q_1, q_2, p_1, p_2) $ corresponding to the second equation $P_1^2$ in the Painleve I hierarchy. This solution is produced by an explicit change of variables from a solution of the linear equations whose compatibility condition is the ordinary differential equation $P_1^2$ with respect to $z$. This solution also satisfies an analog of the Schrödinger equation corresponding to the Hamiltonian $ H_{II} (z, t, q_1, q_2, p_1, p_2) $ of Hamiltonian system with respect to $t$ which is compatible with $P_…
Quantum mechanics of Hamiltonian (non-dissipative) systems uses Lie algebra and analytic group (Lie group). In order to describe non-Hamiltonian (dissipative) systems in quantum theory we need to use non-Lie algebra and analytic quasigroup (loop). The author derives that analog of Lie algebra for quantum non-Hamiltonian systems is commutant Lie algebra and analog of Lie group for these systems is analytic commutant associative loop (Valya loop). A commutant Lie algebra is an algebra such that commutant (a subspace which is generated by all commutators) is a Lie subalgebra. Valya loop is a non-…
Analog quantum simulation offers a hardware-specific approach to studying quantum dynamics, but mapping a model Hamiltonian onto the available device parameters requires matching the hardware dynamics. We introduce a paradigm for quantum Hamiltonian simulation that leverages digital decomposition techniques and optimal control to perform analog simulation. We validate this approach by constructing the optimal analog controls for a superconducting transmon device to emulate the dynamics of an extended Bose-Hubbard model. We demonstrate the role of control time, digital error, and pulse complexi…
In complete analogy with the classical situation (which is briefly reviewed) it is possible to define bi-Hamiltonian descriptions for Quantum systems. We also analyze compatible Hermitian structures in full analogy with compatible Poisson structures.
Recent work proposed a variant on Ramsey interferometry for coupled spin-$1/2$ systems that directly measures the retarded spin-spin Green's function. We expand on that work by investigating nonequilibrium retarded spin-spin Green's functions within the transverse-field Ising model. We derive the lowest four spectral moments to understand the short-time behavior and we employ a Lehmann-like representation to determine the spectral behavior. We simulate a Ramsey protocol for a nonequilibrium quantum spin system that consists of a coherent superposition of the ground state and diabatically excit…
We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is in QW[1], the first level of the quantum weft hierarchy and that it is hard for QM[1], the quantum analogue of M[1]. Our results show that this problem cannot be fixed-parameter quantum tractable (FPQ…
The Kullback-Leibler divergence offers an information-theoretic basis for measuring the difference between two given distributions. Its quantum analog, however, fails to play a corresponding role for comparing two density matrices, if the reference states are pure states. Here, it is shown that nonadditive (nonextensive) generalization of quantum information theory is free from such a difficulty and the associated quantity, termed the quantum q-divergence, can in fact be a good information-theoretic measure of the degree of purification. The correspondence relation between the ordinary diverge…
