In many experiments, a target quantum mechanical system is controlled and-or measured indirectly using an auxiliary quantum system. In the case of control, this means that the control action only affects the auxiliary system while the evolution of the target system is affected indirectly through the interaction with the auxiliary system. In the case of measurement, only the state of the auxiliary system can be measured, providing information on the initial state of the target system. Indirect controllability is the property of the target system of being driven between two arbitrary states while indirect observability refers to the possibility of extracting all the information on the state of the target system by measuring the auxiliary system. This paper has three main goals. First, we summarize recent notions and results introduced by us on the study of indirect controllability. Then, we present some new technical results on indirect controllability. In particular, we present a counterexample to the converse of a criterion for indirect controllability, which shows that the Lie algebraic condition introduced in this criterion is necessary but not sufficient for indirect controllability. This gives an open problem which is how to strengthen this condition to obtain a necessary and sufficient condition for indirect controllability. Lastly, we present a parallel treatment of indirect observability, give the relevant notions and definitions and relate the properties of indirect controllability and observability. Our final result says that strong notions of indirect controllability and observability are equivalent properties to complete controllability of the system. We discuss examples of physical systems which are controlled and-or measured indirectly. The research is motivated by experimental schemes of current interest
We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restricted to parallelized use of the black-boxes. We provide a numerical proof of such an advantage. In contrast, a parallelized scheme is analytically shown to exhibit the optimal performance of general schemes for a particular number of quantum samples of the candidates. We find examples of finite-sample equivalence determination that achieve the same performance as when a classical description of the candidates are provided, although an exact classical description cannot be obtained from finite quantum samples.
Quantum systems can be controlled by other quantum systems in a reversible way, without any information leaking to the outside of the system-controller compound. Such coherent quantum control is deterministic, is less noisy than measurement-based feedback control, and has potential applications in a variety of quantum technologies, including quantum computation, quantum communication, and quantum metrology. Here we introduce a coherent feedback protocol, consisting of a sequence of identical interactions with controlling quantum systems, that steers a quantum system from an arbitrary initial state towards a target state. We determine the broad class of such coherent feedback channels that achieve convergence to the target state, and then stabilize as well as protect it against noise. Our results imply that also weak system-controller interactions can counter noise if they occur with suitably high frequency. We present an example of a control scheme that does not require knowledge of the target state encoded in the controllers, which could be the result of a quantum computation. It thus provides a mechanism for autonomous, purely quantum closed-loop control.
Realizing coherent quantum computation requires precise and robust manipulation of quantum systems through quantum control protocols. Most quantum control techniques rely on heuristic methods for designing the driving pulses that steer the system towards a target state. Such methods are often based on brute-force optimization and offer limited understanding of the solution landscape. In contrast, quantum algorithms offer a rich body of analytical methods with rigorous error guarantees for implementing unitary and non-unitary transformations, which suggests a promising direction for developing new approaches to quantum control. Among various such algorithms, quantum signal processing (QSP) has emerged as a powerful framework for quantum algorithm design, implementation, and optimization. However, its potential for quantum control remains largely unexplored. In this work, we establish QSP-Control, an analytical framework for quantum control of qubit-oscillator dynamics. We focus on dispersively coupled qubit-oscillator systems and employ the QSP formalism to mitigate unwanted nonlinear effects arising from cross-Kerr interactions. In addition, we develop constructions for precise manipulation of Fock states by designing Fock-state-selective operators, based on structural parallels between the Jaynes-Cummings interaction and QSP. These findings demonstrate how several practically relevant problems in quantum control can be mapped to forms amenable to QSP, offering both a systematic design framework and an interpretable perspective on quantum control.
For paving the way to novel applications in quantum simulation, computation, and technology, increasingly large quantum systems have to be steered with high precision. It is a typical task amenable to numerical optimal control to turn the time course of pulses, i.e., piecewise constant control amplitudes, iteratively into an optimized shape. Here, we present a comparative study of optimal-control algorithms for a wide range of finite-dimensional applications. We focus on the most commonly used algorithms: GRAPE methods which update all controls concurrently, and Krotov-type methods which do so sequentially. Guidelines for their use are given and open research questions are pointed out. Moreover, we introduce a unifying algorithmic framework, DYNAMO (dynamic optimization platform), designed to provide the quantum-technology community with a convenient matlab-based tool set for optimal control. In addition, it gives researchers in optimal-control techniques a framework for benchmarking and comparing newly proposed algorithms with the state of the art. It allows a mix-and-match approach with various types of gradients, update and step-size methods as well as subspace choices. Open-source code including examples is made available at http://qlib.info.
In several quantum control schemes, a target quantum system
S is put in contact with an auxiliary system
A and the coherent control can directly affect only
A. The system
S is controlled indirectly through the interaction with
A. The system
S is said to be indirectly controllable if every unitary transformation can be performed on the state of
S with this scheme. The indirect controllability of
S will depend on the dynamical Lie algebra
L characterizing the dynamics of the total system
S+A and on the initial state of the auxiliary system
A. In this paper, we describe this characterization exactly. A natural assumption is that the auxiliary system
A is minimal, which means that there is no part of
A that is not coupled to
S, and we denote by
nA the dimension of such a minimal
A, which we assume to be fully controllable. We show that if
nA is greater than or equal to
3, indirect controllability of
S is verified if and only if complete controllability of the total system
S+A is verified, i.e.,
L=su(nSnA) or
L=u(nSnA), where
nS denotes the dimension of the system
S. If
nA=2, it is possible to have indirect controllability without having complete controllability. The exact condition for that to happen is given in terms of a Lie algebra
LS which describes the evolution of the system
S only. We prove that indirect controllability is verified if and only if
LS=u(nS) and the initial state of the auxiliary system
A is pure.