Bisakah seseorang menginterogasi kotak hitam untuk koherensi kuantum?

Pertanyaan ini didasarkan pada skenario yang sebagian hipotetis dan sebagian didasarkan pada fitur eksperimental perangkat kuantum berbasis molekul, yang sering menghadirkan evolusi kuantum dan memiliki beberapa potensi untuk dapat diukur, tetapi umumnya sangat menantang untuk dikarakterisasi secara terperinci (a contoh yang relevan tetapi tidak unik adalah serangkaian karya yang terkait dengan kontrol listrik qubit spin nuklir ini dalam molekul tunggal ).

Skenario: Katakanlah kita memiliki berbagai kotak hitam, yang masing-masing mampu memproses informasi. Kami tidak mengontrol evolusi kuantum kotak; dalam bahasa model rangkaian kuantum, kami tidak mengontrol urutan gerbang kuantum. Kita tahu bahwa setiap kotak hitam dirancang untuk algoritma yang berbeda, atau, lebih realistis, untuk Hamiltonian yang tergantung waktu, termasuk beberapa evolusi yang tidak koheren. Kami tidak tahu detail masing-masing kotak hitam. Secara khusus, kita tidak tahu apakah dinamika kuantum mereka cukup koheren untuk menghasilkan implementasi yang berguna dari algoritma kuantum (mari kita sebut ini " kuantum "; batas bawah untuk ini adalah "itu dibedakan dari peta klasik") . Untuk bekerja dengan kotak hitam kami menuju tujuan ini, kita hanya tahu bagaimana memberi mereka input klasik dan mendapatkan output klasik . Mari kita bedakan antara dua sub-skenario:

1. Kami tidak dapat melakukan keterikatan sendiri: kami menggunakan status produk sebagai input, dan pengukuran qubit tunggal pada output. Namun, kita dapat memilih dasar persiapan input dan pengukuran kita (minimal, antara dua basis ortogonal).
2. Seperti di atas, tetapi kita tidak dapat memilih basis dan harus bekerja pada basis yang tetap, "alami".

Tujuannya: untuk memeriksa, untuk kotak hitam yang diberikan, kuantumitas dari dinamikanya. Setidaknya, untuk 2 atau 3 qubit, sebagai bukti konsep, dan idealnya juga untuk ukuran input yang lebih besar.

Pertanyaannya: dalam skenario ini, apakah ada serangkaian uji korelasi, dalam gaya ketidaksetaraan Bell , yang dapat mencapai tujuan ini?

Mari kita asumsikan bahwa kotak hitam Anda memproses input klasik (yaitu string bit) ke output klasik dengan cara deterministik, yaitu mendefinisikan fungsi .$f:x\mapsto y$

Jika Anda hanya bisa menyiapkan dan mengukur keadaan yang dapat dipisahkan dalam basis itu, yang dapat Anda tentukan adalah fungsi itu. Dengan asumsi bahwa semua output berbeda, itu bisa saja dihitung baik dengan perhitungan klasik reversibel atau perhitungan kuantum, dan Anda tidak akan tahu.$f$

$X$$Z$$f(x)$$Z$$x_1$$x_2$$(\left|x_1\right\rangle\pm\left|x_2\right\rangle)/\sqrt{2}$$Z$$y_1=f(x_1)$$y_2f(x_2)$$k>0$$k=0$$y_1$$y_2$$Z$$k$$k$

$X$$X$

Tentu saja, sementara ini memberi tahu Anda tentang seberapa koheren penerapan kotak hitam, apakah koherensi berkontribusi terhadap kecepatan operasi kotak hitam adalah masalah yang sama sekali berbeda (misalnya, itulah yang diinginkan orang-orang untuk mengetahui tentang proses transportasi pada bakteri fotosintesis, atau bahkan sesuatu seperti D-Wave).

Mengapa tidak memasukkan setengah dari kondisi terjerat secara maksimal sebagai input ke kotak hitam (sehingga setengahnya memiliki dimensi yang sama dengan dimensi input)? Kemudian Anda bisa menguji ukuran favorit Anda , seperti kemurnian , dari status keluaran penuh. Jika oracle sesuai dengan evolusi kesatuan, kemurnian adalah 1. Semakin sedikit koheren semakin kecil kemurnian. Secara tidak sengaja, status keluaran menggambarkan peta yang diimplementasikan kotak hitam, melalui isomorfisma Choi-Jamiołkowski .

Saya tidak yakin apa yang Anda maksud dengan jumlah kotak hitam Anda. Jadi mungkin ada beberapa pendekatan yang lebih canggih (mirip dengan jawaban lain Anda dapat menggunakan saksi belitan untuk menunjukkan bahwa kotak hitam Anda tidak melanggar belitan). Namun, secara umum Anda dapat melakukan tomografi proses kuantum (lihat misalnya arXiv: quant-ph / 9611013 ).