Saya tertarik pada contoh masalah di mana teorema yang tampaknya tidak ada hubungannya dengan mekanika kuantum / informasi (misalnya menyatakan sesuatu tentang benda-benda klasik murni) tetap dapat dibuktikan menggunakan alat kuantum. Sebuah survei Bukti Kuantum untuk Teorema Klasik (A. Drucker, R. Wolf) memberikan daftar masalah yang bagus, tetapi tentu saja ada banyak lagi.
Sangat menarik akan menjadi contoh di mana bukti kuantum tidak hanya mungkin, tetapi juga "lebih mencerahkan", dalam analogi dengan analisis nyata dan kompleks, di mana menempatkan masalah nyata dalam pengaturan kompleks sering membuatnya lebih alami (misalnya geometri lebih sederhana karena ditutup secara aljabar, dll.); dengan kata lain, masalah klasik yang dunia kuantum adalah "habitat alami" mereka.
(Saya tidak mendefinisikan "kuantum" di sini dalam arti yang tepat dan orang dapat berargumen bahwa semua argumen tersebut akhirnya bermuara pada aljabar linier; well, kita juga dapat menerjemahkan argumen apa pun menggunakan bilangan kompleks untuk menggunakan hanya pasangan real - tetapi jadi apa ?)