Quantum nonexpander problem is quantum-Merlin-Arthur-complete
Author(s)Jordan, Stephen P.; Liu, Yi-Kai; Wocjan, Pawel; Bookatz, Adam D.
MetadataShow full item record
A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that the problem of deciding whether a quantum channel is not rapidly mixing is a complete problem for the quantum Merlin-Arthur complexity class. This has applications to testing randomized constructions of quantum expanders and studying thermalization of open quantum systems.
DepartmentMassachusetts Institute of Technology. Center for Theoretical Physics; Massachusetts Institute of Technology. Department of Mathematics; Massachusetts Institute of Technology. Department of Physics
Physical Review A
American Physical Society
Bookatz, Adam, Stephen Jordan, Yi-Kai Liu, and Pawel Wocjan. “Quantum Nonexpander Problem Is Quantum-Merlin-Arthur-Complete.” Phys. Rev. A 87, no. 4 (April 2013). © 2013 American Physical Society
Final published version