Estoy interesado en ejemplos de problemas en los que un teorema que aparentemente no tiene nada que ver con la mecánica / información cuántica (por ejemplo, afirma algo sobre objetos puramente clásicos), sin embargo, puede probarse utilizando herramientas cuánticas. Una encuesta de Quantum Proofs for Classical Theorems (A. Drucker, R. Wolf) da una buena lista de tales problemas, pero seguramente hay muchos más.
Particularmente interesantes serían los ejemplos en los que una prueba cuántica no solo es posible, sino también "más esclarecedora", en analogía con el análisis real y complejo, donde poner un problema real en el entorno complejo a menudo lo hace más natural (por ejemplo, la geometría es más simple ya que está cerrado algebraicamente, etc.); en otras palabras, problemas clásicos para los cuales el mundo cuántico es su "hábitat natural".
(No estoy definiendo "cuantidad" aquí en ningún sentido preciso y se podría argumentar que todos estos argumentos eventualmente se reducen a álgebra lineal; bueno, también se puede traducir cualquier argumento usando números complejos para usar solo pares de reales, pero qué ?)