A computação quântica adiabática é tão poderosa quanto o modelo de circuito?

Grande parte da literatura da computação quântica se concentra no modelo de circuito. A computação quântica adiabática não se baseia na aplicação de uma sequência de operadores unitários, mas na alteração de um hamiltoniano dependente do tempo. Estou procurando informações sobre qualquer um dos seguintes.

1. A computação quântica adiabática é tão poderosa quanto o modelo de circuito ou é inerentemente menos poderosa?
2. Existem classes de complexidade especificamente relacionadas à computação adiabática em oposição ao modelo de circuito?
3. Como se mede quantitativamente o poder da computação adiabática versus o poder do modelo de circuito?

A computação quântica adiabática é equivalente à computação quântica padrão - Dorit Aharonov, Wim van Dam, Julia Kempe, Zeph Landau, Seth Lloyd, Oded Regev

Dois esclarecimentos rápidos:

1. O controle de qualidade adiabático geralmente é "baseado em qubits", assim como o controle de qualidade baseado em circuito - não sei de onde você tirou a ideia de que não é! (Embora também se possa usar qutrits ou outros elementos básicos, tanto no circuito quanto nos modelos adiabáticos.)

2. Como apontou Mateus, o resultado justamente famoso de Aharonov et al. afirma que "o controle de qualidade adiabático é equivalente ao controle de qualidade padrão". Mas esse resultado precisa ser interpretado com um pouco de cuidado. É válido se o estado final da computação adiabática puder ser arbitrário - para que, em particular, o estado final possa codificar toda a história de uma computação quântica baseada em circuito. No entanto, se o estado final precisar ser um estado básico computacional clássico - como normalmente está no algoritmo de otimização adiabática(o exemplo "original" de CQ adiabático) --- então o CQ adiabático certamente pode ser simulado no modelo de circuito, mas o inverso não é conhecido e está longe de ser claro. Portanto, com a última hipótese, é possível que a otimização adiabática realmente dê origem a uma nova classe de complexidade intermediária entre BPP e BQP.