Abstract: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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the certification of quantum measurement, which is an extension of quantum hypothesis testing. Specifically, the paper focuses on the two - point certification scheme, where the null hypothesis and the alternative hypothesis are sets of single elements respectively. The goal is to minimize the probability of type II error under a given fixed statistical significance level. The main achievement of the paper is to study the certification conditions of von Neumann measurements in single - shot and parallel scenarios. In addition, the paper also explores how to perform certification under a given statistical significance level when two pure states, unitary operations and von Neumann measurements cannot be perfectly distinguished, and shows the connection between the certification of quantum channels or von Neumann measurements and the concept of q - numerical range. ### Specific Problem Description 1. **Background**: - The development of quantum technology requires the verification of the effectiveness of quantum - state - generating and measuring devices. - The task of verifying quantum architectures is usually called validation. - The paper focuses on the two - point hypothesis testing of quantum objects, that is, the null hypothesis and the alternative hypothesis are each one of two possible quantum objects. 2. **Problem Setup**: - Suppose there is a black box that contains a pure quantum state, a unitary matrix or a von Neumann measurement inside. - The owner of the black box, Eve, tells you which of the two possible objects is contained in the black box. - You need to design a hypothesis - testing scheme to verify whether Eve's statement is correct. - You take Eve's statement as the null hypothesis $H_0$, and the other possibility as the alternative hypothesis $H_1$. - You need to prepare an input state and measure the output, and this process is called the certification strategy. 3. **Goal**: - Minimize the probability of type II error given the probability of type I error. - Type I error means rejecting the null hypothesis when it is actually true. - Type II error means accepting the null hypothesis when it is actually false. 4. **Main Contributions**: - Studied the two - point certification of pure quantum states and unitary channels, and used these results to prove the certification conditions of von Neumann measurements. - Explored the certification conditions of von Neumann measurements in single - shot and parallel scenarios. - Showed the connection between the certification of quantum channels or von Neumann measurements and the q - numerical range. - Proved that the parallel certification scheme is optimal. ### Mathematical Tools - **Diamond Norm**: \[ \|\Psi\|_\diamond=\max_{\|X\|_1 = 1}\|(\Psi\otimes\mathbb{I})(X)\|_1 \] - **Numerical Range**: \[ W(X)=\{\langle\psi|X|\psi\rangle:\langle\psi|\psi\rangle = 1\} \] - **q - Numerical Range**: \[ W_q(X)=\{\langle\psi|X|\phi\rangle:\langle\psi|\psi\rangle=\langle\phi|\phi\rangle = 1,\langle\psi|\phi\rangle = q, q\in\mathbb{C}\} \]

On the optimal certification of von Neumann measurements

Local certification of unitary operations

Discrimination and certification of unknown quantum measurements

Certifying classes of $d$-outcome measurements with quantum steering

Certification of quantum state functions under partial information

Quantum Channel Certification with Incoherent Strategies

Generalized measurements on qubits in quantum randomness certification and expansion

Certification of qubits in the prepare-and-measure scenario with large input alphabet and connections with the Grothendieck constant

Certifying almost all quantum states with few single-qubit measurements

Certification of two-qubit quantum systems with temporal inequality

General Method for Classicality Certification in the Prepare and Measure Scenario

Optimal strategy to certify quantum nonlocality

Randomness-free Test of Non-classicality: a Proof of Concept

Certifying measurement incompatibility in prepare-and-measure and Bell scenarios

Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario

Bounding the Sample Fluctuation for Pure States Certification with Local Random Measurement

The role of shared randomness in quantum state certification with unentangled measurements

Quantum metrology with imperfect measurements

Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games

Device-independent certification of desirable properties with a confidence interval