Hybrid Optimization Schemes for Quantum Control

Optimal control theory is a powerful tool for solving control problems in quantum mechanics, ranging from the control of chemical reactions to the implementation of gates in a quantum computer. Gradient-based optimization methods are able to find high fidelity controls, but require considerable numerical effort and often yield highly complex solutions. We propose here to employ a two-stage optimization scheme to significantly speed up convergence and achieve simpler controls. The control is initially parametrized using only a few free parameters, such that optimization in this pruned search space can be performed with a simplex method. The result, considered now simply as an arbitrary function on a time grid, is the starting point for further optimization with a gradient-based method that can quickly converge to high fidelities. We illustrate the success of this hybrid technique by optimizing a holonomic phasegate for two superconducting transmon qubits coupled with a shared transmission line resonator, showing that a combination of Nelder-Mead simplex and Krotov's method yields considerably better results than either one of the two methods alone.Comment: 17 pages, 5 figures, 2 table

Charting the circuit QED design landscape using optimal control theory

With recent improvements in coherence times, superconducting transmon qubits have become a promising platform for quantum computing. They can be flexibly engineered over a wide range of parameters, but also require us to identify an efficient operating regime. Using state-of-the-art quantum optimal control techniques, we exhaustively explore the landscape for creation and removal of entanglement over a wide range of design parameters. We identify an optimal operating region outside of the usually considered strongly dispersive regime, where multiple sources of entanglement interfere simultaneously, which we name the quasi-dispersive straddling qutrits (QuaDiSQ) regime. At a chosen point in this region, a universal gate set is realized by applying microwave fields for gate durations of 50 ns, with errors approaching the limit of intrinsic transmon coherence. Our systematic quantum optimal control approach is easily adapted to explore the parameter landscape of other quantum technology platforms.Comment: 13 pages, 5 figures, 2 pages supplementary, 1 supplementary figur

The Quantum Speed Limit of Optimal Controlled Phasegates for Trapped Neutral Atoms

We study controlled phasegates for ultracold atoms in an optical potential. A shaped laser pulse drives transitions between the ground and electronically excited states where the atoms are subject to a long-range 1/R^3 interaction. We fully account for this interaction and use optimal control theory to calculate the pulse shapes. This allows us to determine the minimum pulse duration, respectively, gate time T that is required to obtain high fidelity. We accurately analyze the speed limiting factors, and we find the gate time to be limited either by the interaction strength in the excited state or by the ground state vibrational motion in the trap. The latter needs to be resolved by the pulses in order to fully restore the motional state of the atoms at the end of the gate.Comment: 11 pages, 10 figures, 1 tabl

Quantum Optimal Control via Semi-Automatic Differentiation

We develop a framework of "semi-automatic differentiation" that combines existing gradient-based methods of quantum optimal control with automatic differentiation. The approach allows to optimize practically any computable functional and is implemented in two open source Julia packages, GRAPE.jl and Krotov.jl, part of the QuantumControl.jl framework. Our method is based on formally rewriting the optimization functional in terms of propagated states, overlaps with target states, or quantum gates. An analytical application of the chain rule then allows to separate the time propagation and the evaluation of the functional when calculating the gradient. The former can be evaluated with great efficiency via a modified GRAPE scheme. The latter is evaluated with automatic differentiation, but with a profoundly reduced complexity compared to the time propagation. Thus, our approach eliminates the prohibitive memory and runtime overhead normally associated with automatic differentiation and facilitates further advancement in quantum control by enabling the direct optimization of non-analytic functionals for quantum information and quantum metrology, especially in open quantum systems. We illustrate and benchmark the use of semi-automatic differentiation for the optimization of perfectly entangling quantum gates on superconducting qubits coupled via a shared transmission line. This includes the first direct optimization of the non-analytic gate concurrence.Comment: 30 pages, 2 figures, 2 tables. Accepted in Quantu

Robustness of high-fidelity Rydberg gates with single-site addressability

Controlled phase (CPHASE) gates can in principle be realized with trapped neutral atoms by making use of the Rydberg blockade. Achieving the ultra-high fidelities required for quantum computation with such Rydberg gates is however compromised by experimental inaccuracies in pulse amplitudes and timings, as well as by stray fields that cause fluctuations of the Rydberg levels. We report here a comparative study of analytic and numerical pulse sequences for the Rydberg CPHASE gate that specifically examines the robustness of the gate fidelity with respect to such experimental perturbations. Analytical pulse sequences of both simultaneous and stimulated Raman adiabatic passage (STIRAP) are found to be at best moderately robust under these perturbations. In contrast, optimal control theory is seen to allow generation of numerical pulses that are inherently robust within a predefined tolerance window. The resulting numerical pulse shapes display simple modulation patterns and their spectra contain only one additional frequency beyond the basic resonant Rydberg gate frequencies. Pulses of such low complexity should be experimentally feasible, allowing gate fidelities of order 99.90 - 99.99% to be achievable under realistic experimental conditions.Comment: 12 pages, 14 figure

Krotov: A Python implementation of Krotov's method for quantum optimal control

We present a new open-source Python package, krotov, implementing the quantum optimal control method of that name. It allows to determine time-dependent external fields for a wide range of quantum control problems, including state-to-state transfer, quantum gate implementation and optimization towards an arbitrary perfect entangler. Krotov's method compares to other gradient-based optimization methods such as gradient-ascent and guarantees monotonic convergence for approximately time-continuous control fields. The user-friendly interface allows for combination with other Python packages, and thus high-level customization

Principles of tractor atom interferometry

We present possible design concepts for a tractor atom interferometer (TAI) based on three-dimensional confinement and transport of ultracold atoms. The confinement reduces device size and wave-packet dispersion, enables arbitrary holding times, and facilitates control to create complex trajectories that allow for optimization to cancel unwanted sensitivity, fast splitting and recombination, and suppression of detrimental nonadiabatic excitation. Thus, the design allows for further advancement of compact, high-sensitivity, quantum sensing technology. In particular, we focus on the implementation of quantum-enhanced accelerometers and gyroscopes. We discuss TAI protocols for both spin-dependent and scalar trapping potentials. Using optimal control theory, we demonstrate the splitting of the wave function on a time scale two orders of magnitude shorter than the previous proposal using adiabatic dynamics, thus maximizing the time spent at full separation, where the interferometric phase is accumulated. Lastly, we explore the possibility of including non-classical correlations between the atoms to improve sensitivity. The performance estimates for TAI give a promising perspective for atom-interferometry-based sensing, significantly exceeding the sensitivities of current state-of-the-art devices.Comment: 10 pages, 5 figure

Optimizing for an arbitrary perfect entangler: I. Functionals

Optimal control theory is a powerful tool for improving figures of merit in quantum information tasks. Finding the solution to any optimal control problem via numerical optimization depends crucially on the choice of the optimization functional. Here, we derive a functional that targets the full set of two-qubit perfect entanglers, gates capable of creating a maximally-entangled state out of some initial product state. The functional depends on easily-computable local invariants and uniquely determines when a gate evolves into a perfect entangler. Optimization with our functional is most useful if the two-qubit dynamics allows for the implementation of more than one perfect entangler. We discuss the reachable set of perfect entanglers for a generic Hamiltonian that corresponds to several quantum information platforms of current interest