The system identification problem is to estimate dynamical parameters from the output data, obtained by performing measurements on the output fields. We investigate system identification for quantum linear systems. Our main objectives are to address the following general problems: (1) Which parameters can be identified by measuring the output? (2) How can we construct a system realisation from sufficient input-output data? (3) How well can we estimate the parameters governing the dynamics? We investigate these problems in two contrasting approaches; using time-dependent inputs or time-stationary (quantum noise) inputs.
The system identification problem is to estimate dynamical parameters from the output data, obtained by performing measurements on the output fields. We investigate system identification for quantum linear systems. Our main objectives are to address the following general problems: (1) Which parameters can be identified by measuring the output? (2) How can we construct a system realisation from sufficient input-output data? (3) How well can we estimate the parameters governing the dynamics? We investigate these problems in two contrasting approaches; using time-dependent inputs or time-stationary (quantum noise) inputs.
System identification is a key enabling component for the implementation of quantum technologies, including quantum control. In this paper, we consider the class of passive linear input-output systems, and investigate several basic questions: 1) which parameters can be identified? 2) Given sufficient input-output data, how do we reconstruct the system parameters? 3) How can we optimize the estimation precision by preparing appropriate input states and performing measurements on the output? We show that minimal systems can be identified up to a unitary transformation on the modes, and systems satisfying a Hamiltonian connectivity condition called “infecting” are completely identifiable. We propose a frequency domain design based on a Fisher information criterion, for optimizing the estimation precision for coherent input state. As a consequence of the unitarity of the transfer function, we show that the Heisenberg limit with respect to the input energy can be achieved using non-classical input states.
The purpose of this paper is to investigate system identification for single-input--single-output general (active or passive) quantum linear systems. For a given input we address the following questions: (1) Which parameters can be identified by measuring the output? (2) How can we construct a system realization from sufficient input-output data? We show that for time-dependent inputs, the systems which cannot be distinguished are related by symplectic transformations acting on the space of system modes. This complements a previous result of Gu\ifmmode \mbox{\c{t}}\else \c{t}\fi{}\ifmmode \u{a}\else \u{a}\fi{} and Yamamoto [IEEE Trans. Autom. Control 61, 921 (2016)] for passive linear systems. In the regime of stationary quantum noise input, the output is completely determined by the power spectrum. We define the notion of global minimality for a given power spectrum, and characterize globally minimal systems as those with a fully mixed stationary state. We show that in the case of systems with a cascade realization, the power spectrum completely fixes the transfer function, so the system can be identified up to a symplectic transformation. We give a method for constructing a globally minimal subsystem direct from the power spectrum. Restricting to passive systems the analysis simplifies so that identifiability may be completely understood from the eigenvalues of a particular system matrix.
The identification of time-varying parameters (e.g., directly inaccessible in situ signals in vacuum and low-temperature environments) is prevalent for characterizing the dynamics of quantum processes. Under certain circumstances, they can be identified from time-resolved measurements via Ramsey interferometry experiments, but only with specially designed probe systems can the parameters be explicitly read out, and a rigorous identifiability analysis is lacking, i.e., whether the measurement data are sufficient for unambiguous identification. In this paper we formulate this problem as the invertibility of the input-output mapping associated with the quantum system for which an algebraic identifiability criterion is derived based on the system's relative degree. The invertibility analysis also leads to an inversion-based algorithm for numerically identifying the parameters, which is computationally much more efficient than nonlinear regression methods. The effectiveness of the criterion are demonstrated by numerical examples.
The aim of quantum system identification is to estimate the ingredients inside a black box, in which some quantum-mechanical unitary process takes place, by just looking at its input-output behavior. Here we establish a basic and general framework for quantum system identification, that allows us to classify how much knowledge about the quantum system is attainable, in principle, from a given experimental setup. We show that controllable closed quantum systems can be estimated up to unitary conjugation. Prior knowledge on some elements of the black box helps the system identification. We present an example in which a Bell measurement is more efficient to identify the system. When the topology of the system is known, the framework enables us to establish a general criterion for the estimability of the coupling constants in its Hamiltonian.
Precise identification of parameters governing quantum processes is a critical task for quantum information and communication technologies. In this Letter, we consider a setting where system evolution is determined by a parametrized Hamiltonian, and the task is to estimate these parameters from temporal records of a restricted set of system observables (time traces). Based on the notion of system realization from linear systems theory, we develop a constructive algorithm that provides estimates of the unknown parameters directly from these time traces. We illustrate the algorithm and its robustness to measurement noise by applying it to a one-dimensional spin chain model with variable couplings.
The subject of this thesis, quantum estimation theory, is inspired by recent developments, both practical and theoretical, in the new field of quantum information and computation. The main task of quantum estimation theory, the subject of this thesis, is that given many identical copies of an unknown quantum system one wants to guess or estimate what the system is. This is done by performing an measurement and analyzing the data obtained from it.
A quantum state is represented by a density matrix. In some cases one does not need to know the whole density matrix, sometimes a partial characterization is enough. Chapter 2 of this thesis is about optimally estimating the spectrum, i.e. the eigenvalues, of a density matrix. This is useful, for example, for estimating the entanglement of a bipartite pure state. The results of chapter 2 tell us that one can optimally estimate bipartite entanglement with LOCC measurements on one of the two parties.
Unitary operations transform density matrices to density matrices. They are the gates of quantum information processing. Suppose one has one such unitary operation but one does not know what it does. In order to characterize it one needs to know how it transforms any input state. In order to know how a particular state is transformed, one can prepare that state, feed it to the unitary many times, and measure the output. One state is, of course, not enough. It turns out that the unitary can be completely characterized with a finite set of states, this is known as quantum process tomography. Unfortunately, in many cases it is difficult to have available in the lab all the input states needed to perform quantum process tomography. It is here where entanglement comes to the rescue. One pair of maximally entangled qubits, where one of them is used as input for the unitary gate and the other is left untouched, is sufficient. All the information about the unknown gate is contained in the joint output state. This is the problem treated in chapter 3. Now the output state needs to be measured. Again, one could measure the two qubits separately (LOCC) or jointly (collective measurement). Is there anything to gain by performing joint measurements? The answer is yes, optimal collective measurements are at least 3 times more accurate than any LOCC measurement.
Chapter 4 treats the problem of estimating commuting unitary gates. There it is shown that this extra information makes it unnecessary to use an entangled input state and to use collective measurements at the output.
In chapters 3 and 4 it is assumed that only one copy of the unitary gate is available. If, however, more than one copy (say N ) are available at the same time one could use an N-fold entangled state as input. If no entanglement is used, classical statistics tells us that the error of the estimation is proportional to 1/√N. In the literature, it has been shown that by using an entangled state in the input one can achieve an error proportional to 1/N. However, this has been shown only for qubit gates. In chapter 5 important steps are taken in the direction of showing the same thing for a general unitary gate, but this remains an open problem.