We study the problem of optimization over positive valued-operator measure to extract classical correlation in a bipartite quantum system. The proposed method is applied to binary states only. Moreover, to illustrate this method, an explicit example is studied in details.
In this thesis, we start with giving a mathematical description of bipartite quantum correlations and how they are built up in the Tensor model. This is needed because we want to recover the state and the operators when only the bipartite quantum correlation is known. In the literature, there are see-saw algorithms to recover the state, but they are limited to only lower dimensions. In this thesis, we explore an alternative approach, where we directly minimize the function f(ψ,{Esa},{Ftb}) = ∑a,b,s,t(P(a,b|s,t)- ψ*(Esa ⊗ Ftb)ψ)2. Here, P(a,b|s,t) is the bipartite correlation, ψ is the state vector, and Esa and Ftb are the POVMs. Furthermore, ⊗ is the Kronecker product and * indicates the conjugate transpose of a vector. These variables are subject to constraints and some of them can easily be transformed into penalty functions. The matrices Esa and Ftb have to be Hermitian positive semidefinite, for which we parameterize them by their Cholesky decompositions. The gradient of this (now unconstrained) problem can be explicitly determined with the use of Wirtinger calculus. This offers an elegant way to determine the gradient of real-valued functions with complex variables. Also, a total description of Wirtinger calculus is also given, including a proof that the gradient indeed points towards the direction of the steepest incline. We use first-order methods like gradient descent with backtracking line search and momentum-based gradient descent to find a minimum solution of the equation. If the cost function converges towards zero, we assume that the variables converge to a correct state and measurement operators. These methods can find large correlations of approximately 3000 separate variables in 1.5 hours and are able to find many different other correlations and states. The algorithm had some problems finding the operators and state of a family of correlations that had four inputs and two outputs. For some correlations, the algorithms found states and operators of lower dimension than the correlations were build with.
Abstract We give a brief summary of the current status of the problem of extracting the accessible information when a quantum system is received in one of a finite number of pre-known quantum states. We review analytical methods as well as a numerical strategy. In particular, the group-covariant positive-operator-valued measures are discussed, and several explicit examples are worked out in detail. These examples include some that occur in the security analysis of schemes for quantum cryptography.
The expectation value of an arbitrary operator O can be obtained via a universal measuring apparatus that is independent of O, by changing only the data-processing of the outcomes. Such a ``universal detector'' performs a joint measurement on the system and on a suitable ancilla prepared in a fixed state, and is equivalent to a positive operator valued measure (POVM) for the system that is ``informationally complete''. The data processing functions generally are not unique, and we pose the problem of their optimization, providing some examples for covariant POVM's, in particular for SU(d) covariance group.
Various forms of optimality for quantum observables described as normalized positive-operator-valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables that are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient conditions are imposed on informationally complete POVMs within the set of pure states. We also discuss joint and sequential measurements of optimal quantum observables.