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.
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.
The problem of optimally estimating an unknown unitary quantum operation with the aid of entanglement is addressed. The idea is to prepare an entangled pair, apply the unknown unitary to one of the two parts, and then measure the joint output state. This measurement could be an entangled one or it could be separable (e.g., measurements which can be implemented with local operations and classical communication or LOCC). A comparison is made between these possibilities and it is shown that by using nonseparable measurements one can improve the accuracy of the estimation by a factor of 2(d+1)/d where d is the dimension of the Hilbert space on which U acts.
We have seen how information can be encoded onto a quantum system by selecting the state in which it is prepared. Retrieving the information is achieved by performing a measurement, and the optimal measurement in any given situation is usually a generalized measurement. In between preparation and measurement, the information resides in the quantum state of the system, which evolves in a manner determined by the Hamiltonian. The associated unitary transformation may usefully be viewed as quantum information processing; if we can engineer an appropriate Hamiltonian then we can use the quantum evolution to assist in performing computational tasks. Our objective in quantum information processing is to implement a desired unitary transformation. Typically this will mean coupling together a number, perhaps a large number, of qubits and thereby generating highly entangled states. It is fortunate, although by no means obvious, that we can realize any desired multiqubit unitary transformation as a product of a small selection of simple transformations and, moreover, that each of these need only act on a single qubit or on a pair of qubits. The situation is reminiscent of digital electronics, in which logic operations are decomposed into actions on a small number of bits. If we can realize and control a very large number of such operations in a single device then we have a computer. Similar control of a large number of qubits will constitute a quantum computer. It is the revolutionary potential of quantum computers, more than any other single factor, that has fuelled the recent explosion of interest in our subject. We shall examine the remarkable properties of quantum computers in the next chapter. In digital electronics, we represent bit values by voltages: the logical value 1 is a high voltage (typically +5 V) and 0 is the ground voltage (0 V). The voltage bits are coupled and manipulated by transistor-based devices, or gates. The simplest gates act on only one bit or combine two bits to generate a single new bit, the value of which is determined by the two input bits. For a single bit, with value 0 or 1, the only possible operations are the identity (which does not require a gate) and the bit flip.
Entanglement is the resource that most sharply distinguishes quantum information processing from its classical counterpart, and this thesis examines it from two complementary directions: how it can be detected and quantified, and how it, together with the broader machinery of quantum correlations, interference, and measurement, can be put to use. We first study two simple, measurable conditions that detect bipartite entanglement, and show that the extent to which either is violated yields a lower bound on the negativity of a state. The bound is established for two qubits, extended to systems of arbitrary finite dimension, and sharpened when partial knowledge of the Schmidt vectors is available. We then turn to discrete-outcome quantum sensor networks, in which one seeks only to determine which detectors, or which group or spatial pattern of detectors, has responded to a signal. Working in the weak-interaction regime, where the output states are nonorthogonal, we use minimum-error and unambiguous state discrimination to show that entangled initial states and collective measurements confer an advantage when detectors are grouped, and we develop a shift-operator formalism that gives closed-form success probabilities for the detection of shifted patterns in one- and two-dimensional arrays. Next we consider the problem of learning two unknown pure qubit states, together with their probabilities of occurrence, from a scrambled stream; we show that receiving the systems in identically prepared pairs supplies exactly the extra quantum information needed, since the resulting two-qubit state in the symmetric subspace has a unique decomposition into pure product states, which we recover by tomography. Finally, we show how interference and measurement can convert information encoded in the phases of quantum amplitudes into information encoded in their magnitudes, amplifying the amplitudes that carry useful information and suppressing those that do not, and we apply this technique to states produced by the quantum approximate optimization algorithm for the MaxCut and minimum-vertex-cover problems. Throughout, a single theme recurs: the correlations and superpositions permitted by quantum mechanics are at once something to be measured and something to be exploited.
Quantum science and technology have seen rapid progress in recent decades, finding applications in computation, information processing, communication, and sensing. Accurate characterization and manipulation of quantum states is essential to the successful implementation of these applications. Moreover, optimal quantum state estimation is closely related to fundamental questions, such as limits on how fast information can be extracted about quantum systems. In this thesis, we present several contributions to efficiently estimating and transforming quantum states. We discuss optimal quantum state estimation, both in the regime of few available quantum systems as well as the asymptotic regime. We numerically investigate how assuming a pure-state can affect the performance of tomographic methods, and where adaptive quantum state tomography is in fact advantageous. While collective measurements have been formally considered as optimal solutions to various problems in quantum information, their implementation has been largely neglected due to experimental challenges. We present a proof-of-concept experiment realizing Massar and Popescu's optimal collective measurement for quantum state estimation, utilizing two-photon interference and polarization-dependent loss to achieve non-maximally entangled state projections. We demonstrate that collective strategies can outperform the best separable measurements. Furthermore, we introduce and experimentally implement a fast and automated optical polarization compensation scheme using liquid crystal variable retarders and rotating quarter-wave plate tomography. Desired accuracy thresholds can be achieved within a few compensation steps. Finally, we use a matrix-model approach to investigate the realization of spatial unitary transformations via sequences of thin phase gratings and free-space propagation. We numerically demonstrate that the grating parameters and propagation distances can be optimized to achieve various two-beam and three-beam unitary transformations, such as Pauli gates and the discrete Fourier transform. Through experimental and numerical approaches, this thesis offers new perspectives on methods for quantum state estimation and unitary transformation.
Suppose you receive a sequence of qubits where each qubit is guaranteed to be in one of two pure states, but you do not know what those states are. Your task is to determine the states. This can be viewed as a kind of quantum state learning -- or quantum state estimation. A problem is that, without more information, all that can be determined is the density matrix of the sequence and, in general, density matrices can be decomposed into pure states in many different ways. To solve the problem, additional information, either classical or quantum, is required. We show that if an additional copy of each qubit is supplied -- that is, one receives pairs of qubits, both in the same state, rather than single qubits -- the task can be accomplished. This is possible because the mixed two-qubit state has a unique decomposition into pure product states. For illustration, we simulate numerically the symmetric, informationally complete measurement of a sequence of qubit pairs and show that the unknown states and their respective probabilities of occurrence can be inferred from the data with high accuracy. Finally, we propose an experiment that employs a product measurement and can be realized with existing technology, and we demonstrate how the data tell us the states and their probabilities. We find that it is enough to detect a few thousand qubit pairs.
Quantum states and measurements are two central physical objects in the theory of quantum mechanics. The preparation, control and measurement of quantum states lies at the heart of modern quantum information processing protocols ranging from secure communication to quantum computation and precision sensing. And yet, the reliable operation of these advanced protocols ultimately rests on a far more essential prerequisite - our ability to calibrate, certify and benchmark the quantum states we prepare and the quantum measurements we perform. Quantum information theory provides a natural framework for these tasks, meaningfully connecting the resources we expend for characterisation with the accuracy and precision we can expect in return. While decades of advances in quantum information have refined our understanding of quantum characterisation and sharpened our practical ability to calibrate with enhanced precision, important questions about the fundamental limits of quantum characterisation remain unanswered. Although incorporating entanglement at the measurement stage is known to enhance the estimation of unknown quantum states, the extent of this improvement remains poorly understood. This leaves open a fundamental question on the utility of complex entangling measurement strategies, impeding progress towards bridging the significant gap between practically achievable precision and the ultimate theoretical quantum limit. Complementary to quantum state estimation, which is relatively well-established in theory and practice, the characterisation of quantum measurements lacks a rigorous information-theoretic foundation, leading to a dearth of principled benchmarks and provably optimal strategies despite growing experimental interest. This thesis develops and applies information-theoretic tools to answer questions in quantum characterisation, with an eye to enabling practical improvements beyond current techniques in the field. First, we introduce a computable measure of entanglement enhancement for quantum state estimation and study its variation across general multi-parameter estimation problems for higher-dimensional quantum states. We show that the entanglement enhancement is maximised for full qudit state tomography but grows only linearly with system dimension even when allowing an asymptotically large number of entangling operations. Our proposed tight upper bound to entanglement enhancement therefore constitutes a strong limitation on the utility of such entangling measurements. Next, we formulate the dual problem of quantum detector estimation, developing a comprehensive framework for maximally precise calibration centred around a newly introduced quantity - the detector quantum Fisher information. This information-theoretic measure stipulates the ultimate precision attainable for measurement calibration and identifies the optimal input states that achieve this precision. Further, our framework enables the first provably optimal detector estimation experiment and reveals the scope for entanglement-based enhancements, thereby placing measurement characterisation on equal footing with state characterisation. Considered together, these results suggest two contrasting conclusions about quantum characterisation. On the one hand, they show that for quantum state estimation, increasingly powerful entangling measurements offer only diminishing returns at the ultimate precision limit. On the other hand, they highlight practical quantum advantages available for detector estimation by providing a framework that can improve calibration performance and guide future experimental design. More broadly, these results complete and advance the triad of state, process, and detector characterisation, positioning quantum information measures as not merely abstract bounds, but practical guides for deciding when complex quantum resources are genuinely worth deploying and where near-term quantum advantages are most likely to be realised.