Since no physical system can ever be completely isolated from its environment, the study of open quantum systems is pivotal to reliably and accurately control complex quantum systems. In practice, reliability of the control field needs to be confirmed via certification of the target evolution while accuracy requires the derivation of high-fidelity control schemes in the presence of decoherence. In the first part of this thesis an algebraic framework is presented that allows to determine the minimal requirements on the unique characterisation of arbitrary unitary gates in open quantum systems, independent on the particular physical implementation of the employed quantum device. To this end, a set of theorems is devised that can be used to assess whether a given set of input states on a quantum channel is sufficient to judge whether a desired unitary gate is realised. This allows to determine the minimal input for such a task, which proves to be, quite remarkably, independent of system size. These results allow to elucidate the fundamental limits regarding certification and tomography of open quantum systems. The combination of these insights with state-of-the-art Monte Carlo process certification techniques permits a significant improvement of the scaling when certifying arbitrary unitary gates. This improvement is not only restricted to quantum information devices where the basic information carrier is the qubit but it also extends to systems where the fundamental informational entities can be of arbitary dimensionality, the so-called qudits. The second part of this thesis concerns the impact of these findings from the point of view of Optimal Control Theory (OCT). OCT for quantum systems utilises concepts from engineering such as feedback and optimisation to engineer constructive and destructive interferences in order to steer a physical process in a desired direction. It turns out that the aforementioned mathematical findings allow to deduce novel optimisation functionals that significantly reduce not only the required memory for numerical control algorithms but also the total CPU time required to obtain a certain fidelity for the optimised process. The thesis concludes by discussing two problems of fundamental interest in quantum information processing from the point of view of optimal control the preparation of pure states and the implementation of unitary gates in open quantum systems. For both cases specific physical examples are considered: for the former the vibrational cooling of molecules via optical pumping and for the latter a superconducting phase qudit implementation. In particular, it is illustrated how features of the environment can be exploited to reach the desired targets.
Since no physical system can ever be completely isolated from its environment, the study of open quantum systems is pivotal to reliably and accurately control complex quantum systems. In practice, reliability of the control field needs to be confirmed via certification of the target evolution while accuracy requires the derivation of high-fidelity control schemes in the presence of decoherence. In the first part of this thesis an algebraic framework is presented that allows to determine the minimal requirements on the unique characterisation of arbitrary unitary gates in open quantum systems, independent on the particular physical implementation of the employed quantum device. To this end, a set of theorems is devised that can be used to assess whether a given set of input states on a quantum channel is sufficient to judge whether a desired unitary gate is realised. This allows to determine the minimal input for such a task, which proves to be, quite remarkably, independent of system size. These results allow to elucidate the fundamental limits regarding certification and tomography of open quantum systems. The combination of these insights with state-of-the-art Monte Carlo process certification techniques permits a significant improvement of the scaling when certifying arbitrary unitary gates. This improvement is not only restricted to quantum information devices where the basic information carrier is the qubit but it also extends to systems where the fundamental informational entities can be of arbitary dimensionality, the so-called qudits. The second part of this thesis concerns the impact of these findings from the point of view of Optimal Control Theory (OCT). OCT for quantum systems utilises concepts from engineering such as feedback and optimisation to engineer constructive and destructive interferences in order to steer a physical process in a desired direction. It turns out that the aforementioned mathematical findings allow to deduce novel optimisation functionals that significantly reduce not only the required memory for numerical control algorithms but also the total CPU time required to obtain a certain fidelity for the optimised process. The thesis concludes by discussing two problems of fundamental interest in quantum information processing from the point of view of optimal control the preparation of pure states and the implementation of unitary gates in open quantum systems. For both cases specific physical examples are considered: for the former the vibrational cooling of molecules via optical pumping and for the latter a superconducting phase qudit implementation. In particular, it is illustrated how features of the environment can be exploited to reach the desired targets.
An optimal quantum algorithm for "direct characterization of quantum dynamics" (DCQD) is introduced. The DCQD method can be utilized to completely determine the quantum dynamical superoperator acting on an open quantum system. In contrast to all other known quantum process tomography (QPT) schemes, this scheme relies on error-detection techniques and does not require any quantum state tomography. By analysis of the number of required experimental configurations and quantum operations in a given Hilbert space, it is demonstrated that this approach is more efficient than all other known QPT schemes. DCQD can be applied, by construction, to the task of partial characterization of quantum dynamics. Specifically, it is demonstrated that the DCQD algorithm can be efficiently used for Hamiltonian identification, and also for simultaneous determination of both the relaxation time T1 and dephasing time T2. Furthermore, it is argued that the DCQD scheme is experimentally implementable in a variety of prominent quantum information processing systems, and it is explicitly shown how it can be physically realized in photonic systems with present day technology. The ability of a quantum system to perform arbitrary or "universal" quantum operations is restricted to its naturally available/controllable interactions. It is shown that quantum systems with an effective exchange interaction can be made operationally universal by utilizing a subspace or a subsystem of the combined principal system and an auxiliary system. Moreover, it is demonstrated that universal fault-tolerant quantum computation can be performed on these systems without utilizing any form of single-qubit control. Characterization and control of open quantum systems are among the central and fundamental problems in quantum physics. A crucial primitive is the characterization of the dynamics of a quantum system that has an unknown interaction with its embedding environment. Another essential task is to control the decoherence of an open quantum system by using naturally available interactions. This thesis addresses the above fundamental problems in two separate parts. In the first part, a general theory for direct and complete characterization of quantum dynamics is introduced. In the second part, a scheme for performing arbitrary quantum operations on spin-based quantum systems is presented. This scheme can be implemented in the presence of environmental noise and faulty quantum operations without need to control the state of spins individually.
This thesis is concerned with the control of quantum systems.Given a Hamiltonian model of a quantum system, we are interested in finding controls-typically shaped electromagnetic pulses-that steer the evolution of the system toward a desired target operation.For this we employ a numerical optimisation method known as the GRAPE algorithm.For particular experimental systems, we design control schemes that respect constraints of robustness and addressability, and are within the reach of the experimental hardware.A general procedure is given for specifying a Hamiltonian model of a driven N -level system and converting it to an appropriate rotating frame.This is then applied together with the numerical algorithm to design improved schemes for two different systems, where laser fields manipulate orbital and hyperfine states of Pr 3+ and Rb.The generation of cluster states in Ising-coupled systems is also studied.We find that, in the ideal case, the solution of evolving only under the coupling Hamiltonian is not time-optimal.This surprising result is in contrast to the known cases for unitary gates.For a symmetrised three-qubit example, we provide a geometrical interpretation of this.Numerically optimised control schemes are then developed for a nonideal coupling topology, modelling an experimental configuration of trapped ions.Controls for the implementation of the two-qubit Deutsch and Grover algorithms are designed for a pair of 13 C nuclear spins at a nitrogen vacancy center in diamond.These implementations are robust to experimental errors, and found to be reproduced with high accuracy on a VFG-150 pulse generator.We also consider two-qubit gate synthesis in a system of superconducting qubits coupled by mii xii CONTENTS C.4 Examples of time-optimal gates . . . . . . . .
The ability to optimally control quantum systems in the presence of environmentally-induced decoherence is important for many physical and chemical problems.We discuss both theoretical and experimental aspects of optimal control of open quantum systems. The theoretical analysis is based on fundamental concepts of open-system controllability and control landscapes. These theoretical advances lay the groundwork for practical applications, including numerical simulations and experimental implementations of adaptive feedback control. In particular, the adaptive approach was utilized to implement coherent control of decoherence, which uses coherent (unitary) preparation and manipulation of an open quantum system to significantly alter its incoherent (non-unitary) dynamics caused by coupling to an environment. We also discuss other applications, including optimal dynamic discrimination of similar quantum systems and optimal control of high-fidelity quantum gates in the presence of decoherence.
The scaling of effort to achieve control objectives with system size is an important consideration in the development of many quantum devices, especially in those intended for quantum information processing. This thesis investigates the scaling with system size of effort required to control manybody quantum systems, and asks whether this is sufficiently favourable to enable supremacy in quantum computation. This is tested using quantum control theory and numerical control optimisation, which are well established tools for investigating the dynamics of driven quantum systems, in a variety of theoretical models related to state-of-the-art quantum devices. Gates acting on a chain of coupled oscillators are found to achievable in times that scale approximately linear with chain length, where the control is over only a single oscillator. The scalability of a scheme for implementing quantum gates in a many-body quantum simulator is shown to be favourable enough to allow for them to be configured to perform quantum computations. A state measurement protocol is proposed as part of the scheme. The scalability is validated through numerical simulation of simulator models composed of up to 9 qubits. The reachable set of operations for systems with quadratic Hamiltonians and infinite-dimensional Hilbert spaces is investigated. The passive operations in quantum optics are proven to be unreachable for single-mode systems with ‘unstable’ Hamiltonians. Further characterisation of the reachable set is made through numerical simulation of control optimisation. Some progress is made in extending the reachability result to n-modes. A non-Markovian noise model is used in simulating control optimisation of a dynamical decoupling scheme, which would be impossible to simulate with Markovian dynamics. The popular QuTiP Python library has been extended to allow simulation of control optimisation with a range of dynamical models. A description of these software modules and their method of use is given. Many of the software tools developed for the study are made available through open-source repositories. Some outlook is given for the use of in-situ open-loop control in optimising controls in quantum system experiments.
The last two decades have seen an enormous increase in the computational power of digital computers. This was due to the rapid technical development in manufacturing processes and controlling semiconducting structures on submicron scale. Concurrently, the electric circuits have encountered the first signs of the realm of quantum mechanics. Those effects may induce noise and thus they are typically considered harmful. However, the manipulation of the coherent quantum states might turn out be the basis of powerful computers – quantum computers. There, the computation is encoded into the unitary time evolution of a quantum mechanical state vector. Eventually, quantum mechanics could enable one, for example, to read secret electronic messages which are encrypted by the widely employed RSA cryptosystem – a task which is extremely laborious for the current digital computers. This thesis presents a theoretical study of the coherent manipulations of pure quantum states in a quantum register, that is, quantum algorithms. An implementation of a quantum algorithm involves the initialization of the input state and its manipulation with quantum gates followed by the measurements. The physical implementation of each gate requires that it is decomposed into low-level gates whose physical realizations are explicitly known. Here, the problem is examined from two directions. Firstly, the numerical optimization scheme for controlling time-evolution of a closed quantum system is discussed. This yields a method for implementing quantum gates acting on up to three quantum bits, qubits. The approach is independent of the physical realization of the quantum computer, but it is considered explicitly for a proposed inductively coupled Josephson charge qubit register. Secondly, the techniques of numerical matrix computation are utilized to find a general method for decomposing an arbitrary n-qubit gate into a sequence of elementary gates, which act on one or two qubits. The results of this thesis help to improve the implementation of quantum algorithms. The quantum circuit construction developed in the thesis is the first one to achieve the asymptotically minimal complexity in the number of elementary gates. In context of acceleration of quantum algorithms we present a gate-level study of Shor's algorithm and show how to accelerate the algorithm by merging several elementary gates into multiqubit gates. Finally, the requirements set by the resulting gate array are compared to the properties of superconducting qubits. This allows us to discuss the feasibility of the Josephson charge qubit register, for instance, as hardware for breaking the RSA cryptosystem.
Abstract A variety of tasks in quantum control, ranging from purification and cooling to quantum stabilisation and open-system simulation, rely on the ability to implement a target quantum channel over a specified time interval within prescribed accuracy. This can be achieved by engineering a suitable unitary dynamics of the system of interest along with its environment, which, depending on the available level of control, is fully or partly exploited as a coherent quantum controller . After formalising a controllability framework for completely positive trace-preserving quantum dynamics, we provide sufficient conditions on the environment state and dimension that allow for the realisation of relevant classes of quantum channels, including extreme channels, stochastic unitaries or simply any channel. The results hinge on generalisations of Stinespring’s dilation via a subsystem principle . In the process, we show that a conjecture by Lloyd on the minimal dimension of the environment required for arbitrary open-system simulation, albeit formally disproved, can in fact be salvaged, provided that classical randomisation is included among the available resources. Existing measurement-based feedback protocols for universal simulation, dynamical decoupling and dissipative state preparation are recast within the proposed coherent framework as concrete applications, and the resources they employ discussed in the light of the general results.