Quantum detectors provide information about the microscopic properties of quantum systems by establishing correlations between those properties and a set of macroscopically distinct events that we observe. The question of how much information a quantum detector can extract from a system is therefore of fundamental significance. In this paper, we address this question within a precise framework: given a measurement apparatus implementing a specific POVM measurement, what is the optimal performance achievable with it for a specific information readout task and what is the optimal way to encode information in the quantum system in order to achieve this performance? We consider some of the most common information transmission tasks—the Bayes cost problem, unambiguous message discrimination and the maximal mutual information. We provide general solutions to the Bayesian and unambiguous discrimination problems. We also show that the maximal mutual information is equal to the classical capacity of the quantum-to-classical channel describing the measurement, and study its properties in certain special cases. For a group covariant measurement, we show that the problem is equivalent to the problem of accessible information of a group covariant ensemble of states. We give analytical proofs of optimality in some relevant cases. The framework presented here provides a natural way to characterize generalized quantum measurements in terms of their information readout capabilities.
Quantum detectors provide information about the microscopic properties of quantum systems by establishing correlations between those properties and a set of macroscopically distinct events that we observe. The question of how much information a quantum detector can extract from a system is therefore of fundamental significance. In this paper, we address this question within a precise framework: given a measurement apparatus implementing a specific POVM measurement, what is the optimal performance achievable with it for a specific information readout task and what is the optimal way to encode information in the quantum system in order to achieve this performance? We consider some of the most common information transmission tasks—the Bayes cost problem, unambiguous message discrimination and the maximal mutual information. We provide general solutions to the Bayesian and unambiguous discrimination problems. We also show that the maximal mutual information is equal to the classical capacity of the quantum-to-classical channel describing the measurement, and study its properties in certain special cases. For a group covariant measurement, we show that the problem is equivalent to the problem of accessible information of a group covariant ensemble of states. We give analytical proofs of optimality in some relevant cases. The framework presented here provides a natural way to characterize generalized quantum measurements in terms of their information readout capabilities.
We consider how the theory of optimal quantum measurements determines the maximum information available to the receiving party of a quantum key distribution (QKD) system employing linearly independent but nonorthogonal quantum states. Such a setting is characteristic of several practical QKD protocols. Due to nonorthogonality, the receiver is not able to discriminate unambiguously between the signals. To understand the fundamental limits that this imposes, the quantity of interest is the maximum mutual information between the transmitter (Alice) and the receiver, whether legitimate (Bob) or an eavesdropper (Eve). To find the optimal measurement—taken individually or collectively—we use a framework based on operator algebra and general results derived from singular-value decomposition, achieving optimal solutions for von Neumann measurements and positive operator-valued measures (POVMs). The formal proof and quantitative analysis elaborated for two signals allow us to conclude that optimal von Neumann measurements are uniquely defined and provide a higher information gain compared to POVMs. Interestingly, collective measurements not only do not provide additional information gain with respect to individual ones but also suffer from a gain reduction in the case of POVMs. Published by the American Physical Society 2024
A key concept of quantum information theory is that accessing information encoded in a quantum system requires us to discriminate between several possible states the system could be in. A natural generalization of this problem, namely, quantum sequence discrimination, appears in various quantum information processing tasks, the objective being to determine the state of a finite sequence of quantum states. Since such a sequence is a composite quantum system, the fundamental question is whether an optimal measurement is local, i.e., comprising measurements on the individual members, or collective, i.e., requiring joint measurement(s). In some known instances of this problem, the optimal measurement is local, whereas in others, it is collective. But, so far, a definite prescription based solely on the problem description has been lacking. In this paper, we prove that if the members of a given sequence are secretly and independently drawn from an ensemble or even from different ensembles, the optimum success probability is achievable by fixed local measurements on the individual members of the sequence, and no collective measurement is necessary. This holds for both minimum-error and unambiguous state discrimination paradigms.
The problem addressed is to design a detector which is maximally sensitive to specific quantum states. Here we concentrate on quantum state detection using the worst-case a posteriori probability of detection as the design criterion. This objective is equivalent to asking the question: if the detector declares that a specific state is present, what is the probability of that state actually being present? We show that maximizing this worst-case probability (maximizing the smallest possible value of this probability) is a quasiconvex optimization over the matrices of the POVM (positive operator valued measure) which characterize the measurement apparatus. We also show that with a given POVM, the optimization is quasiconvex in the matrix which characterizes the Kraus operator sum representation (OSR) in a fixed basis. We use Lagrange Duality Theory to establish the optimality conditions for both deterministic and randomized detection. We also examine the special case of detecting a single pure state. Numerical aspects of using convex optimization for quantum state detection are also discussed.
Quantum state discrimination is a fundamental task in the field of quantum communication and quantum information theory. Unless the states to be discriminated are mutually orthogonal, there will be some error in any attempt to determine which state was sent. Several strategies to optimally discriminate between quantum states exist, each maximising some figure of merit. In this thesis we mainly investigate the minimum-error strategy, in which the probability of correctly guessing the signal state is maximised. We introduce a method for constructing the optimal Positive-Operator Valued Measure (POVM) for this figure of merit, which is applicable for arbitrary states and arbitrary prior probabilities. We then use this method to solve minimum-error state discrimination for the so-called trine states with arbitrary prior probabilities - the first such general solution for a set of quantum states since the two-state case was solved when the problem of state discrimination was first introduced. We also investigate the difference between local and global measurements for a bipartite ensemble of states, and find that in certain circumstances the local measurement is superior. We conclude by finding a bipartite analogue to the Helstrom conditions, which indicate when a POVM satisfies the minimum-error criteria.
We consider how the theory of optimal quantum measurements determines the maximum information available to the receiving party of a quantum key distribution (QKD) system employing linearly independent but non-orthogonal quantum states. Such a setting is characteristic of several practical QKD protocols. Due to non-orthogonality, the receiver is not able to discriminate unambiguously between the signals. To understand the fundamental limits that this imposes, the quantity of interest is the maximum mutual information between the transmitter (Alice) and the receiver, whether legitimate (Bob) or an eavesdropper (Eve). To find the optimal measurement we use a framework based on operator algebra and general results derived from singular value decomposition, achieving optimal solutions for von Neumann measurements and positive operator-valued measures (POVMs). The formal proof and quantitative analysis elaborated for two signals allow one to conclude that optimal von Neumann measurements are uniquely defined and provide a higher information gain compared to POVMs. Interestingly, collective measurements not only do not provide additional information gain with respect to individual ones, but also suffer from a gain reduction in the case of POVMs.
Quantum theory of unambiguous measurements In the present paper I formulate a framework that accommodates many unambiguous discrimination problems. I show that the prior information about any type of constituent (state, channel, or observable) allows us to reformulate the discrimination among finite number of alternatives as the discrimination among finite number of average constituents. Using this framework I solve several unambiguous tasks. I present a solution to optimal unambiguous comparison of two ensembles of unknown quantum states. I consider two cases: 1) The two unknown states are arbitrary pure states of qudits. 2) Alternatively, they are coherent states of single-mode optical fields. For this case I propose simple and optimal experimental setup composed of beam-splitters and a photodetector. As a second tasks I consider an unambiguous identification (UI) of coherent states. In this task identical quantum systems are prepared in coherent states and labeled as unknown and reference states, respectively. The promise is that one reference state is the same as the unknown state and the task is to find out unambiguously which one it is. The particular choice of the reference states is unknown to us, and only the probability distribution describing this choice is known. In a general case when multiple copies of unknown and reference states are available I propose a scheme consisting of beamsplitters and photodetectors that is optimal within linear optics. UI can be considered as a search in a quantum database, whose elements are the reference states and the query is represented by the unknown state. This perspective motivated me to show that reference states can be recovered after the measurement and might be used (with reduced success rate) in subsequent UI. Moreover, I analyze the influence of noise in preparation of coherent states on the performance of the proposed setup. Another problem I address is the unambiguous comparison of a pair of unknown qudit unitary channels. I characterize all solutions and identify the optimal ones. I prove that in optimal experiments for comparison of unitary channels the entanglement is necessary. The last task I studied is the unambiguous comparison of unknown non-degenerate projective measurements. I distinguish between measurement devices with apriori labeled and unlabeled outcomes. In both cases only the difference of the measurements can be concluded unambiguously. For the labeled case I derive the optimal strategy if each unknown measurement is used only once. However, if the apparatuses are not labeled, then each measurement device must be used (at least) twice. In particular, for qubit measurement apparatuses with unlabeled outcomes I derive the optimal test state in the two-shots scenario.