Certifying temporal correlations

Self-testing has been established as a major approach for quantum device certification based on experimental statistics with minimal assumptions. However, despite more than 20 years of research effort, most of the self-testing protocols are restricted to spatial scenarios (Bell scenarios), without many temporal generalizations known. Under the scenario of sequential measurements performed on a single quantum system, semi-definite optimization-based techniques have been applied to bound sequential measurement inequalities. Building upon this formalism, we show that the optimizer matrix that saturates such sequential inequalities is unique and, moreover, this uniqueness is robust to small deviations from the quantum bound. Furthermore, we consider a generalized scenario in the presence of quantum channels and highlight analogies to the structure of Bell and sequential inequalities using the pseudo-density matrix formalism. These analogies allow us to show a practical use of maximal violations of sequential inequalities in the form of certification of quantum channels up to isometries.