(#024) Certification of Local Quantum Systems - Maharshi Ray
Date/Time: 27-02-2021, 1930 - 2100 IST
Abstract
We discuss schemes to certify local quantum systems via self-testing and dimension witnessing. This work leverages the graph-theoretic framework for contextuality introduced by Cabello, Severini, and Winter, combined with tools from combinatorial optimisation that guarantee the unicity of optimal solutions. We first show that the celebrated Klyachko-Can-Binicioglu-Shumovsky inequality and its generalisation to contextuality scenarios with odd cycle compatibility relations admit robust self-testing. We extend this robust self-testing result to the class of contextuality scenarios with odd anti-cycle compatibility structure which enables us to self-test arbitrary high dimensional quantum systems. Dimension witnessing is another tool for device certification where the goal is to certify the underlying dimensions of the quantum systems just from the measurement statistics. We present the concepts and tools needed for graph-theoretic quantum dimension witnessing and illustrate their use by identifying quantum dimension witnesses, including a family that can certify arbitrarily high quantum dimensions with few events.
Prerequisites
- Basic postulates of quantum information. For eg. what is a qubit, bra-ket notations, states and measurements, Born rule.
- Semidefinite programming. Some basic concepts of SDPs such as positive-semidefiniteness, Gram vectors, etc.
Resources
The talk will be based on the following papers:
- Robust self-testing of quantum systems via noncontextuality inequalities
- Local certification of programmable quantum devices of arbitrary high dimensionality
- Graph-theoretic approach to dimension witnessing
Alternatively, one might benefit from going through this older short paper on which the above three are based on: Graph-Theoretic Approach to Quantum Correlations