This thesis is concerned with two generalized moment problems arising in the estimation of stochastic models. Firstly, we consider the THREE approach, introduced by Byrnes Georgiou and Lindquist, for estimating spectral densities. Here, the output covariance matrix of a known bank of filters is used to extract information on the input spectral density which needs to be estimated. The parametrization of the family of spectral densities matching the output covariance is a generalized moment problem. An estimate of the input spectral density is then chosen from this family. The choice criterium is based on the minimization of a suitable divergence index among spectral densities. After the introduction of the THREE-like paradigm, we present a multivariate extension of the Beta divergence for solving the problem. Afterward, we deal with the estimation of the output covariance of the filters bank given a finite-length data generated by the unknown input spectral density. Secondly, we deal with the quantum process tomography. This problem consists in the estimation of a quantum channel which can be thought as the quantum equivalent of the Markov transition matrix in the classical setting. Here, a quantum system prepared in a known pure state is fed to the unknown channel. A measurement of an observable is performed on the output state. The set of the employed pure states and observables represents the experimental setting. Again, the parametrization of the family of quantum channels matching the measurements is a generalized moment problem. The choice criterium for the best estimate in this family is based on the maximization of maximum likelihood functionals. The corresponding estimate, however, may not be unique since the experimental setting is not "rich" enough in many cases of interest. We characterize the minimal experimental setting which guarantees the uniqueness of the estimate. Numerical simulation evidences that experimental settings richer than the minimal one do not lead to better performances
This thesis is concerned with two generalized moment problems arising in the estimation of stochastic models. Firstly, we consider the THREE approach, introduced by Byrnes Georgiou and Lindquist, for estimating spectral densities. Here, the output covariance matrix of a known bank of filters is used to extract information on the input spectral density which needs to be estimated. The parametrization of the family of spectral densities matching the output covariance is a generalized moment problem. An estimate of the input spectral density is then chosen from this family. The choice criterium is based on the minimization of a suitable divergence index among spectral densities. After the introduction of the THREE-like paradigm, we present a multivariate extension of the Beta divergence for solving the problem. Afterward, we deal with the estimation of the output covariance of the filters bank given a finite-length data generated by the unknown input spectral density. Secondly, we deal with the quantum process tomography. This problem consists in the estimation of a quantum channel which can be thought as the quantum equivalent of the Markov transition matrix in the classical setting. Here, a quantum system prepared in a known pure state is fed to the unknown channel. A measurement of an observable is performed on the output state. The set of the employed pure states and observables represents the experimental setting. Again, the parametrization of the family of quantum channels matching the measurements is a generalized moment problem. The choice criterium for the best estimate in this family is based on the maximization of maximum likelihood functionals. The corresponding estimate, however, may not be unique since the experimental setting is not "rich" enough in many cases of interest. We characterize the minimal experimental setting which guarantees the uniqueness of the estimate. Numerical simulation evidences that experimental settings richer than the minimal one do not lead to better performances
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.
This thesis seeks to develop a general method for solving so-called quantum realizability problems, which are questions of the following form: under which conditions does there exist a quantum state exhibiting a given collection of properties? The approach adopted by this thesis is to utilize mathematical techniques previously developed for the related problem of property estimation which is concerned with learning or estimating the properties of an unknown quantum state. Our primary result is to recognize a correspondence between (i) property values which are realized by some quantum state, and (ii) property values which are occasionally produced as estimates of a generic quantum state. Chapter 3 reviews concepts of stability and norm minimization from geometric invariant theory and non-commutative optimization theory for the purposes of characterizing the flow of a quantum state under the action of a reductive group. Chapter 4 demonstrates how the gradient of this flow, also called the moment map, can be estimated by performing a covariant quantum measurement on a large number of identical copies of the quantum state. Chapter 5 outlines the correspondence between between the realizability of a moment map value on one hand and the asymptotic likelihood it is produced as an estimate on the other hand. By appropriately composing these moment map estimation schemes, we derive necessary and sufficient conditions for the existence of a quantum state jointly realizing any finite collection of moment maps. Chapter 6 applies these insights to the quantum marginal problem and is a duplication of arXiv:2211.00685.
In this thesis I study optimal strategies to estimate or characterize quantum states and processes (quantum channels). I consider the problem of estimating a phase encoded on a gaussian state. Phase estimation is at the heart of many quantum metrology applications, such as gravitational wave detectors or clock synchronization. I address the problem to the phase estimation fidelity for pure and mixed gaussian states and study how temperature affects the precision of estimation. Although the case of pure states has been studied before, very little is known about estimation in mixed states. The interest in mixed gaussian states relies on the fact that these are the states one has in real experiments with light due to the unavoidable presence of noise. Displaced and squeezed thermal states are studied. For the case of displaced states, I find that fidelity estimation gets worse when the temperature increases. On the contrary, for squeezed thermal states I find the surprising result that a larger temperature yields better estimation. This apparently paradoxical feature, also appears when I derive the estimation accuracy that can be obtained when an asymptotically large number of copies of the state is available. I also study quantum benchmarks that can be applied to a wide variety of protocols, such us quantum storage or quantum teleportation. A very important question in QIT is to know whether a particular quantum protocol can be realized by classical means with the same efficiency. After all, QIT lives from the promise of this quantum advantage. This question becomes specially relevant in experimental (real) implementations of quantum schemes. In real experiments there are always losses and the ideal quantum protocols become imperfect. It is then necessary to assess whether the same experimental result could be obtained by classical (less costly) means. So, for example, in a particular teleportation experiment -which involves generation of entanglement, complicated Bell measurements, fighting decoherence, etc.- one might ask whether one could achieve the same (i.e. mapping the state of a system to a second system located in a different place or time) by measuring the system, transmitting the collected information to the other location, and finally preparing the system accordingly. It is hence of paramount importance to give bounds on the efficiency of these measure and prepare (or entanglement breaking) channels. For this purpose we propose a threshold based on a phase-covariant family of states. Besides of being a family with a straightforward group-theoretical structure, which gives obvious computational advantages, this family is interesting because it can be tested experimentally also in a straightforward way. A crucial feature for the practical use of our benchmark is that it does not require pure (ideal) input states. I finally consider the problem of estimating the parameter of the amplification channel. The amplification channel is interesting by itself but also by the fact that the Hawking-Unruh effect can be formally modeled by it. The Unruh-Hawking effect is a relativistic effect and as such it is hard to measure and detect in current experiments. I investigate whether quantum strategies can provide an improvement over classical protocols in the estimation of the amplification parameter. If the field is inertially prepared in the vacuum one could measure its temperature as detected by a noninertial observer and extract information about the parameter. But I would like to know if the vacuum state is the optimal probe state in an inertial frame for such a task or a better sensitivity could be achieved if the field were in a state of nonzero energy (mean photon number) from an inertial perspective. The aim is to determine the optimal input states, so that, by optimally measuring the output, one can construct an estimator for amplification channel parameter which is unbiased and has the minimum possible variance.
The problem of finding the optimal strategy for estimating a generalized amplitude damping channel ${\ensuremath{\Gamma}}_{\ensuremath{\eta}}^{(p)}$ by means of the extension $\mathrm{id}\ensuremath{\bigotimes}{\ensuremath{\Gamma}}_{\ensuremath{\eta}}^{(p)}$ is addressed. We first evaluate the quantum Fisher information of output states based on the symmetric logarithmic derivative and specify all pure-state inputs that maximize the quantum Fisher information. We next investigate the ${\ensuremath{\nabla}}^{e}$ autoparallelity of output state manifolds and characterize the condition for the existence of an efficient estimator. A comparison of these results concludes that, while there is no uniformly optimal input for all p and $\ensuremath{\eta}$, a maximally entangled input is an admissible one under a nonasymptotic setting.
The characterization of the evolution of a quantum system is one of the main tasks to accomplish to achieve quantum information processing. The standard quantum process tomography (SQPT) has the unique property that it can be applied without introducing any additional quantum resources. In present work, we shall focus on the following two topics about the SQPT. At first, in the SQPT protocol for a d-dimensional system, one should encounter a problem in solving of a set of d4 linear equations in order to get the matrix containing the complete information about the unknown quantum channel. Until now, the general form of the solution is unknown. And a long existed conviction is that the solutions are not unique. Here, we shall develop a self-consistent scheme, in which bounded linear operators are presented by vectors, to construct the set of linear equations. With the famous Cramer's rule for the set of linear equations, we are able to give the general form of the solution and prove that it is unique. In second, the central idea of the SQPT is to prepare a set of linearly independent inputs and measuring the outputs via the quantum state tomography (QST). Letting the inputs and the measurements be prepared by two sets of the rank-one positive-operator-valued measures [POVMs], where each POVM is supposed to be linearly independent and informationally complete (IC), we observe that SQPT now is equivalent to deciding a unknown state with a set of product IC-POVM in the d2-dimensional Hilbert space. Following the general linear state tomography theory, we show that the product symmetric IC-POVM should minimize the mean-square Hilbert-Schmidt distance between the estimator and the true states. So, an optimal SQPT can be realized by preparing both the inputs and the measurements as the symmetric IC-POVM.
The rapid advance of quantum information technology requires precise control and manipulation of quantum systems and of their properties; in particular, it is essential to certify that quantum processors truly work quantum mechanically, in order to validate experiments and their results. The problem of certification of quantum states and devices is a demanding one, thus many attempts have been put forward to find ways of efficiently test their basic functionalities, such as their entanglement properties. The main problems addressed in this thesis concern indeed finding optimal strategies for the estimation and characterization of quantum states and channels, with a special focus on entanglement correlations. In our first work we considered the certification of entanglement across a given partition of a multi-qubit system, when only partial information about the corresponding quantum state is available; we tackled the problem of finding the best measurement strategy introducing the statistics of lengths of measurement sequences, choosing multi-qubit Pauli-measurements as observables. Using a sample of random unknown states, we were able to identify the (on average) shortest, i.e. most efficient, measurement sequence to detect entanglement. The investigation was carried out with an algorithm based on the truncated moment sequences (tms) problem, which provides necessary and sufficient conditions for entanglement or separability of a quantum state of a finite dimensional system. This study results in a very efficient strategy especially for symmetric states, for which only a tiny fraction (10−6) of randomly chosen entangled states are undetected for systems with 6 qubits or more. We continued in our second work with the problem of separability of quantum channels to answer the question whether a given quantum device is able to create entanglement or not. The Choi matrix representation, provided by the Choi–Jamiołkowski isomorphism, casts the problem in terms of systems and ancillas, giving different classes of separability depending on the cut considered between them. Once again, the tms framework turned out to be well suited for this study, giving a unifying approach for the different separability problems; a solution is found in terms of the tms associated to the coordinates of the Choi state, in a fixed basis, and semidefinite programming is used to get a separability certificate. We explored examples of families of 2-qubit and single-qutrit channels, for which our algorithm can give an answer in cases where other criteria remain inconclusive. In a further work we shifted our attention to a different direction, highlighting a connection between the fields of quantum information, Bose-Einstein condensation (BEC) and analogue gravity, thus showing the relevance of quantum information notions in a broader context. We studied the entanglement properties of a BEC analogue of a black hole, which is described by a three-mode Gaussian state; we investigated bipartite and tripartite entanglement measures based on the covariance matrix description, both at zero and finite temperature, providing the best experimental configuration for entanglement detection. In a final stage of this thesis, we started looking at different measurement strategies for testing quantum devices whose functionality can be described by a single parameter; we used a Bayesian approach to estimate this parameter, exploiting the information collected through measurements to update a conditional probability distribution, without the need of estimating expected values of observables. The problem of finding the optimal experimental design can be in this case translated in the optimization of a utility function, which usually guides the update process adaptively at each step; we tried to outperform this approach looking ahead not only at the next step, but at a few ones, in order to obtain an answer of correct or wrong functioning as soon as possible. Moreover, we chose the input state for the quantum channel considered minimizing the error probability given by the Chernoff distance between the outputs of an ideal and a faulty channel; finally, we considered two different final decision criteria and compared their efficiency.