An optimal quantum error-correcting procedure using quantifier elimination

Quantum communication channels suffer from various noises, which are mathematically modeled by error super-operators. To combat these errors, it is necessary to design recovery super-operators. We aim to construct the optimal recovery that maximizes the minimum fidelity through the noisy channel. It is typically a MAX-MIN problem, out of the scope of convex optimization. Compared to existing methods, our method is exact and complete by a reduction to quantifier elimination over real closed fields in a fragment of two alternative quantifier blocks. Finally, the complexity is shown to be in EXP.

Automated summary

The aim is to design recovery super-operators to maximize the minimum fidelity through noisy quantum communication channels, a MAX-MIN problem outside the realm of convex optimization. The new method achieves exactness and completeness by reduction to quantifier elimination over real closed fields in a fragment. Lastly, the complexity of the method is shown to be in the EXP class.