We present the view of quantum algorithms as a search-theoretic problem. We show that the Fourier transform, used to solve the Abelian hidden subgroup problem, is an example of an efficient elimination observable which eliminates a constant fraction of the candidate secret states with high probability. Finally, we show that elimination observables do not always exist by considering the geometry of the hidden subgroup states of the dihedral group D_N.
Non-Trivial Reversible Identities (NTRIs) are reversible circuits that have equal inputs and outputs. NTRIs cannot be detected using optimization algorithms in the literature. Existence of NTRIs in a circuit will cause a slow down by increasing the number of gates and the quantum cost. NTRIs might arise due to integration between two or more optimal reversible circuits. In this paper, an algorithm that detects and removes NTRIs in polynomial time will be proposed. Experiments that show the bad effect of NTRIs and the enhancement using the proposed algorithm will be presented.
Hypothesis elimination is a special case of Bayesian updating, where each piece of new data rules out a set of prior hypotheses. We describe how to use Grover's algorithm to perform hypothesis elimination for a class of probability distributions encoded on a register of qubits, and establish a lower bound on the required computational resources.
In this paper we construct the Quantum GaußJordan Elimination (QGJE) Algorithm and estimate the complexity time of computation of Reduced Row Echelon Form (RREF) of an $N\times N$ matrix using QGJE procedure. The main theorem asserts that QGJE has computation time of order $2^{N/2}$.
Quantum state elimination measurements tell us what states a quantum system does not have. This is different from state discrimination, where one tries to determine what the state of a quantum system is, rather than what it is not. Apart from being of fundamental interest, quantum state elimination may find uses in quantum communication and quantum cryptography. We consider unambiguous quantum state elimination for two or more qubits, where each qubit can be in one of two possible states. Optimal measurements for eliminating one and two states out of four two-qubit states are given. We also pr…
We prove that a harmonic oscillator driven by Lindblad dynamics where the typical drive and loss channels are two-photon processes instead of single-photon ones, converges to a protected subspace spanned by two coherent states of opposite amplitude. We then characterize the slow dynamics induced by a perturbative single-photon loss on this protected subspace, by performing adiabatic elimination in the Lindbladian dynamics.
Adiabatic elimination is a perturbative model reduction technique based on timescale separation and often used to simplify the description of composite quantum systems. We here analyze a quantum experiment where the perturbative expansion can be carried out to arbitrary order, such that: (i) we can formulate in the end an exact reduced model in quantum form; (ii) as the series provides accuracy for ever larger parameter values, we can discard any condition on the timescale separation, thereby analyzing the intermediate regime where the actual experiment is performing best; (iii) we can clarify…
The difficulty that the probabilities infinitely increase with time as time is long enough in time-dependent perturbation theory for some quantum systems is resolved by means of simply transforming the perturbative series into natural exponential functions of the re-summed perturbative series. Three exactly solvable models are taken to check our new formulation, and excellent agreements with the exact solution are achieved.
We model the evolution of a single atom in a cavity interacting with two lasers, one far off resonance which creates an optical potential lattice and one near resonance, which can interact with the atom. The atom may tunnel between sites in the lattice. We find the photon counting statistic $g^{(2)}(τ)$ depends on the tunneling rate. Additionally we derive methods to work with a Bose-Einstein Condensate in the same situation, in ther Josephson junction regime. It is shown that oscillations in $g^{(2)}(τ)$ are directly proportional to the tunneling coefficient. We work in the bad-cavity limit a…
Decoherence-induced leakage errors can potentially damage physical or logical qubits by coupling them to other system levels. Here we report the first experimental implementation of Leakage Elimination Operators (LEOs) that aims to reduce this undermining, and that can be applied alongside universal quantum computing. Using IBM's cloud quantum computer, we have studied three potentially applicable examples of subspaces in two- and three-qubit Hilbert spaces and found that the LEOs significantly suppress leakage.
When a composite Lindblad system consists of weakly coupled sub-systems with fast and slow timescales, the description of slow dynamics can be simplified by discarding fast degrees of freedom. This model reduction technique is called adiabatic elimination. While second-order perturbative expansion with respect to the timescale separation has revealed that the evolution of a reduced state is completely positive, this paper presents an example exhibiting complete positivity violation in the fourth-order expansion. Despite the non-uniqueness of slow dynamics parametrization, we prove that complet…
SQuaD: Smart Quantum Detection for Photon Recognition and Dark Count Elimination
Pritzker School of Molecular Engineering, University of Chicago（芝加哥大学普里茨克分子工程学院）；Fermi National Accelerator Laboratory（费米国家加速器实验室）；New York University（纽约大学）；Argonne National Laboratory（阿贡国家实验室）
Quantum error prevention strategies will be required to produce a scalable quantum computing device and are of central importance in this regard. Progress in this area has been quite rapid in the past few years. In order to provide an overview of the achievements in this area, we discuss the three major classes of error prevention strategies, the abilities of these methods and the shortcomings. We then discuss the combinations of these strategies which have recently been proposed in the literature. Finally we present recent results in reducing errors on encoded subspaces using decoupling contr…
When measuring a complex quantum system, we are often interested in only a few degrees of freedom-the plant, while the rest of them are collected as auxiliary modes-the bath. The bath can have finite memory (non-Markovian), and simply ignoring its dynamics, i.e., adiabatically eliminating it, will prevent us from predicting the true quantum behavior of the plant. We generalize the technique introduced by Strunz et. al. [Phys. Rev. Lett 82, 1801 (1999)], and develop a formalism that allows us to eliminate the bath non-adiabatically in continuous quantum measurements, and obtain a non-Markovian …
It was recently shown that, for solving NP-complete problems, adiabatic paths always exist without finite-order perturbative crossings between local and global minima, which could lead to anticrossings with exponentially small energy gaps if present. However, it was not shown whether such a path could be found easily. Here, we give a simple construction that deterministically eliminates all such anticrossings in polynomial time, space, and energy, for any Ising models with polynomial final gap. Thus, in order for adiabatic quantum optimization to require exponential time to solve any NP-comple…
We provide model reduction formulas for open quantum systems consisting of a target component which weakly interacts with a strongly dissipative environment. The time-scale separation between the uncoupled dynamics and the interaction allows to employ tools from center manifold theory and geometric singular perturbation theory to eliminate the variables associated to the environment (adiabatic elimination) with high-order accuracy. An important specificity is to preserve the quantum structure: reduced dynamics in (positive) Lindblad form and coordinate mappings in Kraus form. We provide formul…
In all lossy communication channels realized to date, information is inevitably leaked to a potential eavesdropper. Here we present a communication protocol that does not allow for any information leakage to a potential eavesdropper in a purely lossy channel. By encoding information into a restricted Gaussian alphabet of squeezed states we show, both theoretically and experimentally, that the Holevo information between the eavesdropper and the intended recipient can be exactly zero in a purely lossy channel while minimized in a noisy channel. This result is of fundamental interest, but might a…
Decoherence-induced leakage errors can couple a physical or encoded qubit to other levels, thus potentially damaging the qubit. They can therefore be very detrimental in quantum computation and require special attention. Here we present a general method for removing such errors by using simple decoupling and recoupling pulse sequences. The proposed gates are experimentally accessible in a variety of promising quantum computing proposals.
Thermal noise of a mirror is one of the most important issues in high precision measurements such as gravitational-wave detection or cold damping experiments. It has been pointed out that thermal noise of a mirror with multi-layer coatings can be reduced by mechanical separation of the layers. In this paper, we introduce a way to further reduce thermal noise by locking the mechanically separated mirrors. The reduction is limited by the standard quantum limit of control noise, but it can be overcome with a quantum-non-demolition technique, which finally raises a possibility of complete eliminat…
We show that the cost of strong simulation of quantum circuits using $t$ $T$ gate magic states exhibits non-trivial reductions on its upper bound for $t=1$, $t=2$, $t=3$, and $t=6$ with odd-prime-qudits. This agrees with previous numerical bounds found for qubits. We define simulation cost by the number of terms that require Gaussian elimination of a $t \times t$ matrix and so capture the cost of simulation methods that proceed by computing stabilizer inner products or evaluating quadratic Gauss sums. Prior numerical searchs for qubits were unable to converge beyond $t=7$. We effectively incre…
The distribution and processing of quantum entanglement form the basis of quantum communication and quantum computing. The realization of the two is difficult because quantum information inherently has a high susceptibility to decoherence, i.e. to uncontrollable information loss to the environment. For entanglement distribution, a proposed solution to this problem is capable of fully eliminating decoherence; namely iterative entanglement distillation. This approach builds on a large number of distillation steps each of which extracts a number of weakly decohered entangled states from a larger …
Adiabatic evolution is used in a variety of quantum information processing tasks. However, the elimination of errors is not as well-developed as it is for circuit model processing. Here, we present a strategy to accelerate a reliable quantum adiabatic process by adding Leakage Elimination Operators (LEO) to the evolution which are a sequence of pulse controls acting in an adiabatic subspace. Using the Feshbach $PQ$ partitioning technique, we obtain an analytical solution which traces the footprint of the target eigenstate. The effectiveness of the LEO is independent of the specific form of the…
Feedback in compound quantum systems is effected by using the output from one sub-system (``the system'') to control the evolution of a second sub-system (``the ancilla'') which is reversibly coupled to the system. In the limit where the ancilla responds to fluctuations on a much shorter time scale than does the system, we show that it can be adiabatically eliminated, yielding a master equation for the system alone. This is very significant as it decreases the necessary basis size for numerical simulation and allows the effect of the ancilla to be understood more easily. We consider two types …
Continuous-variable (CV) systems are attracting increasing attention in the realization of universal quantum computation. Several recent experiments have shown the feasibility of using CV systems to, e.g., encode a qubit into a trapped-ion mechanical oscillator and perform logic gates [Nature 566, 513-517 (2019)]. The essential next step is to protect the encoded qubit from quantum decoherence, e.g., the motional decoherence due to the interaction between a mechanical oscillator and its environment. Here we propose a scheme to suppress quantum decoherence of a single-mode harmonic oscillator u…
We show that atoms from wide velocity interval can be concurrently involved in Doppler-free two-photon resonant far from frequency degenerate four-wave mixing with the aid of auxiliary electromagnetic field. This gives rise to substantial enhancement of the output radiation generated in optically thick medium. Numerical illustrations addressed to typical experimental conditions are given.
We consider a composite open quantum system consisting of a fast subsystem coupled to a slow one. Using the time-scale separation, we develop an adiabatic elimination technique to derive at any order the reduced model describing the slow subsystem. The method, based on an asymptotic expansion and geometric singular perturbation theory, ensures the physical interpretation of the reduced second-order model by giving the reduced dynamics in a Lindblad form and the state reduction in Kraus map form. We give explicit second-order formulas for Hamiltonian or cascade coupling between the two subsyste…
Realizing leakage elimination operator-based adiabatic speedup on a superconducting quantum processor
College of Physics and Optoelectronic Engineering, Ocean University of China（中国海洋大学物理与光电工程学院）；China Mobile (Suzhou) Software Technology Co., Ltd（中国移动（苏州）软件技术有限公司）；School of Sciences, Qingdao University of Technology（青岛理工大学理学院）
Photon echo is a fundamental tool for the manipulation of electromagnetic fields. Unavoidable spontaneous emission noise is generated in this process due to the strong rephasing pulse, which limits the achievable signal-to-noise ratio and represents a fundamental obstacle towards their applications in the quantum regime. Here we propose a noiseless photon-echo protocol based on a four-level atomic system. We implement this protocol in a Eu3+:Y2SiO5bcrystal to serve as an optical quantum memory. A storage fidelity of 0.952 is obtained for time-bin qubits encoded with single-photon-level coheren…
We show that, for arbitrary quantum feedback networks consisting of several quantum mechanical components connected by quantum fields, the limit of adiabatic elimination of fast oscillator modes in the components and the limit of instantaneous transmission along internal quantum field connections commute. The underlying technique is to show that both limits involve a Schur complement procedure. The result shows that the frequently used approximations, for instance to eliminate strongly coupled optical cavities, are mathematically consistent.
Two standard operations of model reduction for quantum feedback networks, elimination of internal connections under the instantaneous feedback limit and adiabatic elimination of fast degrees of freedom, are cast as structure-preserving transformations of Itō generator matrices. It is shown that the order in which they are applied is inconsequential.
Adiabatic elimination and Wigner function approach in microscopic derivation of Open Quantum Brownian Motion
University of KwaZulu-Natal（夸祖鲁-纳塔尔大学）；North-West University（西北大学）；National Institute for Theoretical and Computational Sciences (NITheCS)（国家理论与计算科学研究所）；Stellenbosch University（斯泰伦博斯大学）
PhotonIDs: ML-Powered Photon Identification System for Dark Count Elimination
Pritzker School of Molecular Engineering, University of Chicago（芝加哥大学普里茨克分子工程学院）；Fermi National Accelerator Laboratory（费米国家加速器实验室）；New York University（纽约大学）；Argonne National Laboratory（阿贡国家实验室）；The University of Texas at Arlington（德克萨斯大学阿灵顿分校）
We consider a physical system with a coupling to bosonic reservoirs via a quantum stochastic differential equation. We study the limit of this model as the coupling strength tends to infinity. We show that in this limit the solution to the quantum stochastic differential equation converges strongly to the solution of a limit quantum stochastic differential equation. In the limiting dynamics the excited states are removed and the ground states couple directly to the reservoirs.
An ever broader range of physical platforms provides the possibility to study and engineer quantum dynamics under continuous measurements. In many experimental arrangements the system of interest is monitored by means of an ancillary device, whose sole purpose is to transduce the signal from the system to the measurement apparatus. Here, we present a method of adiabatic elimination when the transducer consists of an arbitrary number of bosonic modes with Gaussian dynamics while the measured object can be any quantum system. Crucially, our approach can cope with the highly relevant case of fini…
We generalize the Power-Zineau-Woolley transformation to obtain a canonical Hamiltonian of cavity quantum electrodynamics for arbitrary geometry of boundaries. This Hamiltonian is free from the A-square term and the instantaneous Coulomb interaction between distinct atoms. The single-mode models of cavity QED (Dicke, Tavis-Cummings, Jaynes-Cummings) are justified by a term by term mapping to the proposed microscopic Hamiltonian. As one straightforward consequence, the basis of no-go argumentations concerning the Dicke phase transition with atoms in electromagnetic fields dissolves.
Adiabatic elimination methods allow the reduction of the space dimension needed to describe systems dynamics which exhibits separation of time scale. For open quantum system, it consists in eliminating the fast part assuming it has almost instantaneously reached its steady-state and obtaining an approximation of the evolution of the slow part. These methods can be applied to eliminate a linear subspace within the system Hilbert space, or alternatively to eliminate a fast subsystems in a bipartite quantum system. In this work, we extend an adiabatic elimination method used for removing fast deg…
In this paper we formulate limit Zeno dynamics of general open systems as the adiabatic elimination of fast components. We are able to exploit previous work on adiabatic elimination of quantum stochastic models to give explicitly the conditions under which open Zeno dynamics will exist. The open systems formulation is further developed as a framework for Zeno master equations, and Zeno filtering (that is, quantum trajectories based on a limit Zeno dynamical model). We discuss several models from the point of view of quantum control. For the case of linear quantum stochastic systems we present …
In the first part of this work (http://www.arxiv.org/abs/quant-ph/0509044), it was shown that the Klein-Gordon-Maxwell electrodynamics in the unitary gauge allows natural elimination of the particle wave function and describes independent evolution of the electromagnetic field. Therefore, the electromagnetic field can be regarded as the guiding field in the Bohm interpretation of quantum mechanics. An extension of those results to the Dirac-Maxwell electrodynamics was less general, but represented at least an interesting toy model of quantum theory. Another model based on the Dirac-Maxwell ele…
We consider an open quantum system described by a Lindblad-type master equation with two times-scales. The fast time-scale is strongly dissipative and drives the system towards a low-dimensional decoherence-free space. To perform the adiabatic elimination of this fast relaxation, we propose a geometric asymptotic expansion based on the small positive parameter describing the time-scale separation. This expansion exploits geometric singular perturbation theory and center-manifold techniques. We conjecture that, at any order, it provides an effective slow Lindblad master equation and a completel…
Zero-knowledge and multi-prover systems are both central notions in classical and quantum complexity theory. There is, however, little research in quantum multi-prover zero-knowledge systems. This paper studies complexity-theoretical aspects of the quantum multi-prover zero-knowledge systems. This paper has two results: 1.QMIP* systems with honest zero-knowledge can be converted into general zero-knowledge systems without any assumptions. 2.QMIP* has computational quantum zero-knowledge systems if a natural computational conjecture holds. One of the main tools is a test (called the GHZ test) t…
Adiabatic elimination is a standard tool in quantum optics, which produces an effective Hamiltonian for a relevant subspace of states, incorporating effects of its coupling to states with much higher unperturbed energy. It shares with techniques from other fields the emphasis on the existence of widely separated scales. Given this fact, the question arises whether it is feasible to improve on the adiabatic approximation, similarly to some of those other approaches. A number of authors have addressed the issue from the quantum optics/atomic physics perspective, and have run into the issue of no…
Reducing quantum resources for ADAPT-VQE via plateau-operator elimination and correlated mean-field downfolding
Faculty of Physics and Engineering Physics, University of Science（理科大学物理与工程物理学院）；Vietnam National University（越南国立大学）；Phenikaa Institute of Advanced Study (PIAS), Phenikaa University（仙芝大学先进研究院）；Institute of Advanced Technology, Vietnam Academy of Science and Technology（越南科学技术院先进技术研究所）
After Bob sends Alice a bit, she responds with a lengthy reply. At the cost of a factor of two in the total communication, Alice could just as well have given the two possible replies without listening and have Bob select which applies to him. Motivated by a conjecture stating that this form of "round elimination" is impossible in exact quantum communication complexity, we study the orthogonal rank and a symmetric variant thereof for a certain family of Cayley graphs. The orthogonal rank of a graph is the smallest number $d$ for which one can label each vertex with a nonzero $d$-dimensional co…
Efficient descriptions of open quantum systems can be obtained by performing an adiabatic elimination of the fast degrees of freedom and formulating effective operators for the slow degrees of freedom in reduced dimensions. Here, we perform the construction of effective operators in frequency space, and using the final value theorem or alternatively the Keldysh theorem, we provide a correction for the trace of the density matrix which takes into account the non trace-preserving character of the evolution. We illustrate our results with two different systems, ones where the eliminated fast subs…
Mechanical modes are a potentially useful resource for quantum information applications, such as quantum-level wavelength transducers, due to their ability to interact with electromagnetic radiation across the spectrum. A significant challenge for wavelength transducers is thermomechanical noise in the mechanical mode, which pollutes the transduced signal with thermal states. In this paper, we eliminate thermomechanical noise in the GHz-frequency mechanical breathing mode of a piezoelectric optomechanical crystal using cryogenic cooling in a dilution refrigerator. We optically measure an avera…
