In this work, we analyze the local certification of unitary quantum channels, which is a natural extension of quantum hypothesis testing. A particular case of a quantum channel operating on two systems corresponding to product states at the input, is considered. The goal is to minimize the probability of the type II error, given a specified maximum probability of the type I error, considering assistance through entanglement with auxiliary systems. Our result indicates connection of the local certification problem with a product numerical range of unitary matrices. We show that the optimal local strategy does not need usage of auxiliary systems and requires only single round of one-way classical communication. Moreover, we compare local and global certification strategies and show that typically local strategies are optimal, yet in some extremal cases, where global strategies make no errors, local ones may fail miserably. Finally, some application for local certification of von Neumann measurements are discussed as well.
In this report we study certification of quantum measurements, which can be viewed as the extension of quantum hypotheses testing. This extension involves also the study of the input state and the measurement procedure. Here, we will be interested in two-point (binary) certification scheme in which the null and alternative hypotheses are single element sets. Our goal is to minimize the probability of the type II error given some fixed statistical significance. In this report, we begin with studying the two-point certification of pure quantum states and unitary channels to later use them to prove our main result, which is the certification of von Neumann measurements in single-shot and parallel scenarios. From our main result follow the conditions when two pure states, unitary operations and von Neumann measurements cannot be distinguished perfectly but still can be certified with a given statistical significance. Moreover, we show the connection between the certification of quantum channels or von Neumann measurements and the notion of q-numerical range.
In this report we study certification of quantum measurements, which can be viewed as the extension of quantum hypotheses testing. This extensions involves the study of the input state and the measurement procedure. Here, we will be interested in two-point (binary) certification scheme in which the null alternative hypotheses are single element sets. Our goal is to minimize the probability of the type II error given some fixed statistical significance. In this report, we begin with studying the two-point certification of pure quantum states and unitary channels to later use them to prove our main result, which is the certification of von Neumann measurements in single-shot and parallel scenarios. From our main result follow the conditions when two pure states, unitary operations and von Neumann measurements cannot be distinguished perfectly but still can be certified with a given statistical significance. Moreover, we show the connection between the certification of quantum channels and the notion of
q-numerical range.
In the problem of quantum channel certification, we have black box access to a quantum process and would like to decide if this process matches some predefined specification or is
ε-far from this specification. The objective is to achieve this task while minimizing the number of times the black box is used. Here, we focus on optimal incoherent strategies for two relevant extreme cases of channel certification. The first one is when the predefined specification is a unitary channel, e.g., a gate in a quantum circuit. In this case, we show that testing whether the black box is described by a fixed unitary operator in dimension
d or
ε-far from it in the trace norm requires
Θ(d/ε2) uses of the black box. The second setting we consider is when the predefined specification is a completely depolarizing channel with input dimension
din and output dimension
dout. In this case, we prove that, in the non-adaptive setting,
Θ~(din2dout1.5/ε2) uses of the channel are necessary and sufficient to verify whether it is equal to the depolarizing channel or
ε-far from it in the diamond norm. Finally, we prove a lower bound of
Ω(din2dout/ε2) for this problem in the adaptive setting. Note that the special case
din=1 corresponds to the well-studied quantum state certification problem.
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.
The problem studied in this paper is, if the number of queries to unitary operations is fixed, say
k, then when do local operations and classical communication (LOCC) suffice for optimally distinguishing bipartite unitary operations? We consider the above problem for two-qubit unitary operations in the case of
k=1, showing that for two two-qubit entangling unitary operations without local parties, LOCC achieves the same distinguishability as the global operations. Specifically, we obtain the following: (i) if such two unitary operations are perfectly distinguishable by global operations, then they are perfectly distinguishable by LOCC also, and (ii) if they are not perfectly distinguishable by global operations, then LOCC can achieve the same optimal discrimination probability as the global operations.
In this work, we present the framework for demonstrating and certifying the distinction between measurements in an entangled basis, called global measurements, and local operations and classical communication (LOCC), known as nonlocality without entanglement (NLWE). To be precise, we show NLWE via a maximum-confidence measurement in terms of a guess per detection event, called a confidence, a fine-grained guessing probability that encompasses both minimum-error and unambiguous state-discrimination strategies. We show that NLWE for unknown measurements can be certified, given the measurement-outcome rates, by bounding the confidence using LOCC; the certification is semi-device-independent in that state preparation is trusted. We illustrate the demonstration and certification of NLWE for antiparallel qubit states. Our results make it feasible to experimentally realize NLWE using measurement devices with imperfections, such as non-unit detection efficiency, since maximum-confidence measurements rely only on detected events.