Pertimbangan energi pada perhitungan

22

Untuk memeriksa pemahaman saya, saya ingin berbagi beberapa pemikiran tentang kebutuhan energi perhitungan. Ini adalah tindak lanjut dari pertanyaan saya sebelumnya dan mungkin terkait dengan pertanyaan Vinay tentang hukum konservasi .

Terlintas dalam pikiran saya bahwa, dari sudut pandang termodinamika, menjalankan perhitungan dapat dianggap, sampai batas tertentu, analog dengan menggerakkan beban di sepanjang garis horizontal: Satu-satunya kehilangan energi adalah karena gaya gesek, yang pada prinsipnya dapat , dibuat sewenang-wenang kecil.

Dalam pengaturan yang ideal tanpa kekuatan disipatif (analog mekanik komputer yang dapat dibalik), tidak ada pengeluaran energi yang diperlukan sama sekali. Anda masih harus memasok energi untuk mempercepat beratnya, tetapi Anda dapat memulihkan semuanya saat melambatkannya. Waktu berjalan dapat dibuat kecil secara sewenang-wenang dengan menginvestasikan energi yang cukup (lebih tepatnya, jika relativitas diperhitungkan, waktu berjalan dibatasi dari bawah oleh , di mana d adalah jarak).d/cd

Demikian pula, komputer reversibel tidak memerlukan pengeluaran energi tetapi investasi energi yang dipulihkan pada akhir perhitungan, dan waktu berjalan dapat dibuat kecil secara sewenang-wenang dengan menginvestasikan energi yang cukup, hingga batas relatvistik (seperti yang dijelaskan dalam http: // arxiv. org / abs / quant-ph / 9908043 oleh Seth Lloyd).

Namun ada, dan biaya energi yang terkait dengan pembangunan komputer. Secara umum, ini akan tergantung pada detail implementasi, tetapi saya menduga bahwa kita dapat menyatakan batas bawahnya:

Asumsikan komputer kita memiliki tiga register (klasik atau kuantum): Input , Output , dan Ancilla .
The Masukan dan Keluaran register dapat dibaca dan ditulis oleh pengguna, sedangkan Ancilla register tidak dapat diakses.
Pada awal setiap perhitungan, register Ancilla dimulai dalam keadaan tetap (misalnya semua nol), dan pada akhir perhitungan itu akan kembali ke keadaan tetap yang sama. Dengan demikian, kecuali kebisingan eksternal, keadaan Ancilla hanya perlu diinisialisasi sekali, ketika komputer dibangun.

Oleh karena itu, menerapkan prinsip Landauer , saya menduga bahwa membangun komputer yang dapat dibalik dengan bit (atau qubit) Ancilla membutuhkan setidaknya n k B T ln 2 Joule energi, di mana k B adalah konstanta Boltzmann dan T adalah suhu lingkungan di mana sistem sedang dibangun.nnkBTln2kBT

Pertanyaan:

  1. Apakah pertimbangan di atas benar?

  2. TT<T

  3. Apa yang terjadi jika kita mempertimbangkan komputer yang tidak dapat dipulihkan? Komputer yang ireversibel dapat melakukan perhitungan yang sama menggunakan secara umum bit yang lebih sedikit, apalagi, karena secara termal berinteraksi dengan lingkungannya, kita dapat mengatur sehingga keadaan Ancilla awal adalah bagian dari keadaan dasar, maka kita dapat menginisialisasi dengan hanya membiarkannya untuk mendinginkan, tanpa memasok energi. Tentu saja, karena tidak dapat dikembalikan, kita harus membayar biaya energi untuk setiap perhitungan.

  4. (terkait dengan jawaban Kurt untuk pertanyaan Vinay)
    Dalam analogi mekanis, saya menganggap hanya gerakan sepanjang garis horizontal. Jika berat juga terangkat ke arah vertikal, pengeluaran energi tambahan akan diperlukan (atau energi akan pulih jika berat diturunkan). Apakah ada analog komputasi dari gerakan vertikal ini, dan apakah ada kuantitas yang dikonsumsi atau diproduksi oleh proses ini?

MEMPERBARUI:

Terpikir oleh saya bahwa biaya energi yang dibutuhkan untuk membangun komputer, dapat dipulihkan, pada prinsipnya sepenuhnya (saya pikir), ketika Anda membongkar komputer.

nskBTln2+ntsnsnts adalah istilah tradeoff energi vs kecepatan per langkah waktu, dengan asumsi runtime total konstan.

Adakah pikiran?

Antonio Valerio Miceli-Barone
sumber

Jawaban:

4

Saya pikir mungkin Anda terlalu berlebihan. Ketika Anda menunjukkan diri Anda, konstruksi komputer itu sendiri dapat dibuat reversibel, sehingga investasi energi dalam konstruksi tidak akan menghasilkan batas bawah yang menarik. Mempertimbangkan register tambahan adalah ide yang menarik, tapi saya rasa itu tidak semudah Anda membuatnya.

5612

Bahkan, ada model perhitungan di mana sistem terdiri dari bit kuantum tunggal (qubit) bersama dengan sistem ancilla yang tidak terpolarisasi (yaitu dalam keadaan acak yang seragam, yang dapat dilihat sebagai keadaan termal suhu tak terbatas) . Perhatikan bahwa Anda dapat menyiapkan kondisi seperti itu pada suhu terbatas. Ini dikenal sebagai model qubit yang bersih. Yang menarik adalah bahwa model ini jauh dari hal sepele, diyakini cukup untuk memecahkan beberapa masalah yang sulit diatasi secara klasik, sementara tidak sekuat komputer kuantum universal. Contoh dari ini adalah makalah ini ( arXiv: 0707.2831 ) oleh Peter Shor dan Stephen Jordan, menunjukkan bahwa memperkirakan polinomial Jones lengkap untuk model.

Dengan mengingat hal ini, secara umum sistem ancilla tampaknya tidak perlu diinisialisasi untuk memberikan keunggulan komputasi, yang tampaknya merusak asumsi utama yang Anda buat. Karena itu, saya percaya dugaan Anda salah.

Joe Fitzsimons
sumber
Terima kasih atas jawabannya. Namun, saya tidak begitu mengerti bagaimana Anda dapat menggunakan konstruksi toleran-kesalahan untuk melakukan perhitungan dari ancillas yang tidak diinisialisasi. Bisakah Anda memperluas atau memberikan beberapa referensi? Jika saya mengerti dengan benar, gerbang mayoritas tidak dapat dipulihkan, dan semua konstruksi toleran kesalahan kuantum yang pernah saya lihat (tapi saya bukan benar-benar ahli) memerlukan pengukuran menengah, atau semacam operasi ireversibel lainnya. Jika Anda mensimulasikan operasi ini dengan sirkuit yang dapat dibalik, Anda akan memerlukan ancillas lebih lanjut yang diinisialisasi ke kondisi yang diketahui.
Antonio Valerio Miceli-Barone
Terima kasih untuk referensi ke model qubit yang bersih. Tampak bagi saya bahwa daripada jumlah total qubit dari register ancilla, entropi dari kondisi awalnya adalah penting.
Antonio Valerio Miceli-Barone
@Antonio: Anda dapat membuat gerbang apa pun dapat dibalik dengan mengaktifkannya pada sebuah ancilla, jadi itu XORs the ancilla dengan output dari fungsi. Anda tidak-perlu-ancillae ini dipolarisasi dengan sempurna, karena polarisasi yang tidak sempurna tidak dapat dibedakan dari kebisingan pengukuran, yang dilindungi oleh sebagian besar skema. Selain itu, pengukuran bukanlah prasyarat untuk toleransi kesalahan kuantum.
Joe Fitzsimons
Mengenai entropi sebagai ukuran, saya tidak melihat bagaimana ini akan berhasil. Dalam satu model qubit yang bersih Anda sangat dekat dengan entropi maksimal, di mana seperti dalam model sirkuit biasa Anda memiliki nol entropi.
Joe Fitzsimons
Apakah Anda memiliki referensi ke skema toleransi kesalahan yang dapat dibalik?
Antonio Valerio Miceli-Barone