# Device-independent tests of quantum states

## TL;DR

This paper develops a method for device-independent testing of quantum states by analyzing input-output correlations, providing optimal strategies for verifying claims about state preparations without assumptions about the devices.

## Contribution

It introduces a framework linking quantum states to observable correlations and derives closed-form optimal strategies for qubit states and specific measurement scenarios.

## Key findings

- Optimal strategy involves extremal correlation measurements and full correlation characterization.
- Closed-form solutions are provided for qubit states and tests.
- Applications include testing pairs of pure states and states on the Bloch equator.

## Abstract

We construct a correspondence between quantum states and the observable input-output correlations they are compatible with. The problem is framed as a game involving an experimenter, claiming to be able to prepare some family of states, and a theoretician, whose aim is to falsify such a claim based on observed correlations only. For any such a claim, the optimal strategy consists of providing: i) to the experimenter, all the measurements that generate extremal input-output correlations, and ii) to the theoretician, the full characterization of such correlations. Comparing the correlations observed in i) with those predicted by ii) corresponds to device-independently testing the states. While no assumption is made about the actual states and measurements, we derive the optimal strategy in closed-form for the case when the claim consists of qubit states and the performed measurements are tests, and as applications we specify our results to the case of any pair of pure states and to the case of pure states uniformly distributed on the Bloch equatorial plane.