Four Variants of the Mean King Problem

Abstract

In this thesis, we study several variants of the Mean King problem from the perspective of quantum information and optimization. The Mean King problem is a quantum guessing task, where one party prepares a quantum state, another party performs a measurement chosen from a given set of bases, and the first party tries to guess the measurement outcome. We consider four variants of this problem, including both non-interactive and interactive settings. We analyze their optimal guessing performance in both the average-case and the worst-case settings. We formulate the success probabilities of these Mean King games as optimization problems over quantum states and measurement strategies. This approach gives a unified way to study the different variants. For the non-interactive games, we derive the winning operators and show that some of the optimization problems can be reduced to eigenvalue computations. For the interactive games, we formulate them as semidefinite programs. These programs include extra constraints that come from returned information and partial trace conditions. These formulations support both theoretical analysis and numerical computation. We use MATLAB and CVX to compute optimal success probabilities for several choices of measurement bases. These bases include mutually unbiased bases and rotated bases. The results show how the choice of measurement bases affects the guessing probability. The results also show the difference between average-case and worst-case performance across different Mean King variants. In particular, in one variant, the numerical results for two and three mutually unbiased bases are close to the known success probabilities of the 2 → 1 and 3 → 1 quantum random access code tasks. These numerical similarities suggest that Mean King problems and random access codes may share a deeper connection. This observation gives a possible direction for future work.