The quantum approximate optimization algorithm (QAOA) is widely seen as a possible usage of noisy intermediate-scale quantum (NISQ) devices. We analyze the algorithm as a bang-bang protocol with fixed total time and a randomized greedy optimization scheme. We investigate the performance of bang-bang QAOA on MAX-2-SAT, finding the appearance of phase transitions with respect to the total time. As the total time increases, the optimal bang-bang protocol experiences a number of jumps and plateaus in performance, which match up with an increasing number of switches in the standard QAOA formulation. At large times, it becomes more difficult to find a globally optimal bang-bang protocol and performances suffer. We also investigate the effects of changing the initial conditions of the randomized optimization algorithm and see that better local optima can be found by using an adiabatic initialization.
Adaptable Route to Fast Coherent State Transport via Bang-Bang-Bang Protocols
Institute of Atomic and Molecular Sciences, Academia Sinica（中央研究院原子与分子科学研究所）；Department of Physics and Center for Theoretical Physics, National Taiwan University（台湾大学物理系暨理论物理中心）；Center for Quantum Science and Engineering, National Taiwan University（台湾大学量子科学与工程中心）；Trapped-Ion Quantum Computing Laboratory, Hon Hai Research Institute（鸿海研究院 trapped-ion 量子计算实验室）；Physics Division, National Center for Theoretical Sciences（国家理论科学中心物理组）
Quantum Annealing (QA) and the Quantum Approximate Optimization Algorithm (QAOA) are two special cases of the following control problem: apply a combination of two Hamiltonians to minimize the energy of a quantum state. Which is more effective has remained unclear. Here we analytically apply the framework of optimal control theory to show that generically, given a fixed amount of time, the optimal procedure has the pulsed (or "bang-bang") structure of QAOA at the beginning and end but can have a smooth annealing structure in between. This is in contrast to previous works which have suggested t…
We apply the theory of optimal control to the dynamics of two "gmon" qubits, with the goal of preparing a desired entangled ground state from an initial unentangled one. Given an initial state, a target state, and a Hamiltonian with a set of permissible controls, can we reach the target state with coherent quantum evolution and, in that case, what is the minimum time required? The adiabatic theorem provides a far from optimal solution in the presence of a spectral gap. Optimal control yields the fastest possible way of reaching the target state and helps identify unreachable states. In the con…
The fast and faithful preparation of the ground state of quantum systems is a challenging task but crucial for several applications in the realm of quantum-based technologies. Decoherence poses a limit to the maximum time-window allowed to an experiment to faithfully achieve such desired states. This is of particular significance in critical systems, where the vanishing energy gap challenges an adiabatic ground state preparation. We show that a bang-bang protocol, consisting of a time evolution under two different values of an externally tunable parameter, allows for a high-fidelity ground sta…
Bang-bang control is often used to implement a minimal-time shortcut to adiabaticity for efficient transport of atoms in a moving harmonic trap. However, drastic changes of the on-off controller, leading to high transport-mode excitation and energy consumption, become infeasible under realistic experimental conditions. To circumvent these problems, we propose smooth bang-bang protocols with near-minimal time, by setting the physical constraints on the relative displacement, speed, and acceleration between the mass center of the atom and the trap center. We adopt Pontryagin's maximum principle …
In this work, we address the challenge of uncovering patterns in variational optimal protocols for taking the system to ground states of many-body Hamiltonians, using variational quantum algorithms. We develop highly optimized classical Monte Carlo (MC) algorithms to find the optimal protocols for transformations between the ground states of the square-lattice XXZ model for finite systems sizes. The MC method obtains optimal bang-bang protocols, as predicted by Pontryagin's minimum principle. We identify the minimum time needed for reaching an acceptable error for different system sizes as a f…
We model the bang-bang optimization protocol as a shortcut to adiabaticity in the ground-state preparation of an ion-trap-based quantum simulator. Compared to a locally adiabatic evolution, the bang-bang protocol produces a somewhat lower ground-state probability, but its implementation is so much simpler than the locally adiabatic approach, that it remains an excellent choice to use for maximizing ground-state preparation in systems that cannot be solved with conventional computers. We describe how one can optimize the shortcut and provide specific details for how it can be implemented with c…
Grover's algorithm is one of the most famous algorithms which explicitly demonstrates how the quantum nature can be utilized to accelerate the searching process. In this work, Grover's quantum search problem is mapped to a time-optimal control problem. Resorting to Pontryagin's Minimum Principle we find that the time-optimal solution has the bang-singular-bang structure. This structure can be derived naturally, without integrating the differential equations, using the geometric control technique where Hamiltonians in the Schrödinger's equation are represented as vector fields. In view of optim…
We propose a protocol for Alice to implement a multiqubit quantum operation from the restricted sets on distant qubits possessed by Bob, and then we investigate the communication complexity of the task in different communication scenarios. By comparing with the previous work, our protocol works without prior sharing of entanglement, and requires less communication resources than the previous protocol in the qubit-transmission scenario. Furthermore, we generalize our protocol to $d$-dimensional operations.
We study the applicability of the time optimal bang-bang control designed for spin-1/2 [U. Boscain and P. Mason, J. Math. Phys. {\bf 47}, 062101 (2006)] to the rotation of the electron spin of a nitrogen-vacancy (NV) center in diamond. The spin of the NV center is a three-level system, with two levels forming a relevant qubit subspace where the time-varying magnetic control field performs rotation, and the third level being idle. We find that the bang-bang control protocol decreases the rotation time by 20--25% in comparison with the traditional oscillating sinusoidal driving. We also find tha…
In this paper, we analyze the performance of randomized benchmarking protocols on gate sets under a variety of realistic error models that include systematic rotations, amplitude damping, leakage to higher levels, and 1/f noise. We find that, in almost all cases, benchmarking provides better than a factor-of-two estimate of average error rate, suggesting that randomized benchmarking protocols are a valuable tool for verification and validation of quantum operations. In addition, we derive new models for fidelity decay curves under certain types of non-Markovian noise models such as 1/f and lea…
A remarkably simple result is found for the optimal protocol of drivings for a general two-level Hamiltonian which transports a given initial state to a given final state in minimal time. If one of the three possible drivings is unconstrained in strength the problem is analytically completely solvable. A surprise arises for a class of states when one driving is bounded by a constant $c$ and the other drivings are constant. Then, for large $c$, the optimal driving is of type bang-off-bang and for increasing $c$ one recovers the unconstrained result. However, for smaller $c$ the optimal driving …
Physically motivated classical heuristic optimization algorithms such as simulated annealing (SA) treat the objective function as an energy landscape, and allow walkers to escape local minima. It has been argued that quantum properties such as tunneling may give quantum algorithms advantage in finding ground states of vast, rugged cost landscapes. Indeed, the Quantum Adiabatic Algorithm (QAO) and the recent Quantum Approximate Optimization Algorithm (QAOA) have shown promising results on various problem instances that are considered classically hard. Here, we argue that the type of control str…
We use Pontryagin's minimum principle to optimize variational quantum algorithms. We show that for a fixed computation time, the optimal evolution has a bang-bang (square pulse) form, both for closed and open quantum systems with Markovian decoherence. Our findings support the choice of evolution ansatz in the recently proposed Quantum Approximate Optimization Algorithm. Focusing on the Sherrington-Kirkpatrick spin-glass as an example, we find a system-size independent distribution of the duration of pulses, with characteristic time scale set by the inverse of the coupling constants in the Ham…
Optimal preparation of the $W$ state for qubits with XY coupling
University of California, Los Angeles（加州大学洛杉矶分校）；Western Washington University（西华盛顿大学）；Kavli Institute for Theoretical Physics, University of California, Santa Barbara（加州大学圣塔芭芭拉分校卡弗里理论物理研究所）
Time-optimal quantum gates with bang-bang control in multilevel systems
Centro Atómico Bariloche（巴里洛切原子中心）；Instituto Balseiro（巴尔塞罗研究所）；Instituto de Nanociencia y Nanotecnología (INN)（纳米科学与技术研究所）；CONICET-CNEA（阿根廷国家科学研究委员会-阿根廷国家原子能委员会）
A remarkably simple result is derived for the minimal time $T_{\rm min}$ required to drive a general initial state to a final target state by a Landau-Zener type Hamiltonian or, equivalently, by time-dependent laser driving. The associated protocol is also derived. A surprise arises for some states when the interaction strength is assumed to be bounded by a constant $c$. Then, for large $c$, the optimal driving is of type bang-off-bang and for increasing $c$ one recovers the unconstrained result. However, for smaller $c$ the optimal driving can suddenly switch to bang-bang type. We discuss the…
Periodic deterministic bang-bang dynamical decoupling and the quantum Zeno effect are known to emerge from the same physical mechanism. Both concepts are based on cycles of strong and frequent kicks provoking a subdivision of the Hilbert space into independent subspaces. However, previous unification results do not capture the case of random bang-bang dynamical decoupling, which can be advantageous to the deterministic case but has an inherently acyclic structure. Here, we establish a correspondence between random dynamical decoupling and the quantum Zeno effect by investigating the average ov…
Illuminated by the Pulse Width Modulation (PWM) technology in classical control engineering, we propose the PWM approximation which transforms continuous and bang-bang control into each other. This method works by squeezing the approximation error into high-frequency components above a prescribed cutoff frequency $Ω$, which can be tailored by modulating the switch time of the bang-bang control. Because the quantum dynamics under bang-bang control can be efficiently calculated, PWM allows us to speed up quantum control design particularly in large dimensional systems with small number of contro…
Measurements are crucial in quantum mechanics, in fundamental research as well as in applicative fields like quantum metrology, quantum-enhanced measurements and other quantum technologies. In the recent years, weak-interaction-based protocols like Weak Measurements and Protective Measurements have been experimentally realized, showing peculiar features leading to surprising advantages in several different applications. In this work we analyze the validity range for such measurement protocols, that is, how the interaction strength affects the weak value extraction, by measuring different polar…
Braiding of Majorana zero modes provides a promising platform for quantum information processing, which is topologically protected against errors. Strictly speaking, however, the scheme relies on infinite braiding times as it utilizes the adiabatic limit. Here we show how to minimize nonadiabatic errors for finite braiding times by finding an optimal protocol for the Majorana movement. Interestingly, these protocols are characterized by sharp transitions between Majorana motion at maximal and minimal velocities. We find that these so-called bang-bang protocols can minimize the nonadiabatic tra…
It is shown that a nonequilibrium environment can be instrumental in suppressing decoherence between distinct decoherence free subspaces in quantum registers. The effect is found in the framework of exact coherent-product solutions for model registers decohering in a bath of degenerate harmonic modes, through couplings linear in bath coordinates. These solutions represent a natural nonequilibrium extension of the standard solution for a decoupled initial register state and a thermal environment. Under appropriate conditions, the corresponding reduced register distribution can propagate in an u…
Information flow in quantum spin networks is considered. Two types of control -- temporal bang-bang switching control and control by varying spatial degrees of freedom -- are explored and shown to be effective in speeding up information transfer and increasing transfer fidelities. The control is model-based and therefore relies on accurate knowledge of the system parameters. An efficient protocol for simultaneous identification of the coupling strength and the exact number of spins in a chain is presented.
We performed a banged-digital-analog simulation of a quantum annealing protocol in a two-qubit Nuclear Magnetic Resonance (NMR) quantum computer. Our experimental simulation employed up to 235 Trotter steps, with more than 2000 gates (pulses), and we obtained a protocol success above 80%. Given the exquisite control of the NMR quantum computer, we performed the simulation with different noise levels. We thus analyzed the reliability of the quantum annealing process, and related it to the level of entanglement produced during the protocol. Although the presence of entanglement is not a sufficie…
Within the broad research scenario of quantum secure communication, Two-Way Quantum Key Distribution (TWQKD) is a relatively new proposal for sharing secret keys that is not fully explored yet. We analyse the security of TWQKD schemes that use qubits prepared in non-orthogonal states to transmit the key. Investigating protocols that employ an arbitrary number of bases for the channel preparation, we show, in particular, that the security of the LM05 protocol can not be improved by the use of more than two preparation bases. We also provide a new proof of unconditional security for a determinis…
Quantum mechanics is challenging even for advanced undergraduate and graduate students. Dirac notation is a convenient notation used extensively in quantum mechanics. We have been investigating the difficulties that the advanced undergraduate and graduate students have with Dirac notation. We administered written free response and multiple-choice questions to students and also conducted semi-structured individual interviews with 23 students using a think-aloud protocol to obtain a better understanding of the rationale behind their responses. We find that many students struggle with Dirac notat…
Quantum key distribution (QKD) allows for communication with security guaranteed by quantum theory. The main theoretical problem in QKD is to calculate the secret key rate for a given protocol. Analytical formulas are known for protocols with symmetries, since symmetry simplifies the analysis. However, experimental imperfections break symmetries, hence the effect of imperfections on key rates is difficult to estimate. Furthermore, it is an interesting question whether (intentionally) asymmetric protocols could outperform symmetric ones. Here, we develop a robust numerical approach for calculat…
We investigate the extent to which a two-level quantum system subjected to an external time-dependent drive can be characterized by supervised learning. We apply this approach to the case of bang-bang control and the estimation of the offset and the final distance to a given target state. For any control protocol, the goal is to find the mapping between the offset and the distance. This mapping is interpolated using a neural network. The estimate is global in the sense that no a priori knowledge is required on the relation to be determined. Different neural network algorithms are tested on a s…
We study the problem of preparing a quantum many-body system from an initial to a target state by optimizing the fidelity over the family of bang-bang protocols. We present compelling numerical evidence for a universal spin-glass-like transition controlled by the protocol time duration. The glassy critical point is marked by a proliferation of protocols with close-to-optimal fidelity and with a true optimum that appears exponentially difficult to locate. Using a machine learning (ML) inspired framework based on the manifold learning algorithm t-SNE, we are able to visualize the geometry of the…
Quantum mechanics is challenging even for advanced undergraduate and graduate students. In the Schrödinger representation, the wave function evolves in time according to the time dependent Schrödinger equation. The time dependence of the wave function gives rise to time dependence of the expectation value of observables. We have been exploring the difficulties that advanced undergraduate and graduate students have with time dependence of expectation values in quantum mechanics. We have developed and administered conceptual free response and multiple-choice questions to students to investigate …
We propose a fast and robust quantum state transfer protocol employing a Su-Schrieffer-Heeger chain, where the interchain couplings vary in time. Based on simple considerations around the terms involved in the definition of the adiabatic invariant, we construct an exponential time-driving function that successfully takes advantage of resonant effects to speed up the transfer process. Using optimal control theory, we confirm that the proposed time-driving function is close to optimal. To unravel the crucial aspects of our construction, we proceed to a comparison with two other protocols. One wh…
Measurement and feedback control are essential features of quantum science, with applications ranging from quantum technology protocols to information-to-work conversion in quantum thermodynamics. Theoretical descriptions of feedback control are typically given in terms of stochastic equations requiring numerical solutions, or are limited to linear feedback protocols. Here we present a formalism for continuous quantum measurement and feedback, both linear and nonlinear. Our main result is a quantum Fokker-Planck master equation describing the joint dynamics of a quantum system and a detector w…
We present a method to experimentally realize large-scale permutation-symmetric Hamiltonians for continuous-time quantum protocols such as quantum walk and adiabatic quantum computation. In particular, the method can be used to perform an encoded continuous-time quantum search on a hypercube graph with 2^n vertices encoded into 2n qubits. We provide details for a realistically achievable implementation in Rydberg atomic systems. Although the method is perturbative, the realization is always achieved at second order in perturbation theory, regardless of the size of the mapped system. This highl…
We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and temporal properties, built on the model for Distributed Measurement-based Quantum Computation (DMC), an extension of the Measurement Calculus to distributed quantum systems. We describe the translation map from DMC to interpreted systems, the typical formalism for reasoning about time and knowledge in multi-agent systems. Then, we introduce dmc2i…
Delta kick cooling (DKC) is used to compress the momentum distribution of ultracold quantum matter. It combines expansion dynamics with the use of kick pulses, designed via classical methods, that bring the system to rest. We introduce an exact approach to DKC for arbitrary scale-invariant dynamics of quantum gases, lifting the original restrictions to free evolution and noninteracting systems, to account for the control of atomic clouds in a time-dependent harmonic trap that can be either repulsive (inverted) or confining. We show that DKC assisted by a repulsive potential outperforms the con…
Shortcuts to adiabatic expansion of the effectively one-dimensional Bose-Einstein condensate (BEC) loaded in the harmonic-oscillator (HO) trap is investigated by combining techniques of the variational approximation and inverse engineering. Piecewise-constant (discontinuous) intermediate trap frequencies, similar to the known bang-bang forms in the optimal-control theory, are derived from an exact solution of a generalized Ermakov equation. Control schemes considered in the paper include imaginary trap frequencies at short time scales, i.e., the HO potential replaced by the quadratic repulsive…
Investigating global and topological order of states by local measurement and classical communication: Study on SPT phase diagrams by quantum energy teleportation
