Apa yang membuat komputer kuantum begitu baik dalam menghitung faktor utama?

19

Salah satu klaim umum tentang komputer kuantum adalah kemampuan mereka untuk "memecahkan" kriptografi konvensional. Ini karena kriptografi konvensional didasarkan pada faktor prima, sesuatu yang secara komputasi mahal untuk dihitung oleh komputer konvensional, tetapi yang merupakan masalah sepele bagi komputer kuantum.

Apa sifat komputer kuantum yang membuatnya mampu melakukan tugas ini di mana komputer konvensional gagal dan bagaimana qubit diterapkan pada masalah penghitungan faktor utama?

speedup classical-computing

— Paul Turner
sumber

12

Jawaban singkatnya

$\newcommand{\modN}[1]{#1\,\operatorname{mod}\,N}\newcommand{\on}[1]{\operatorname{#1}}$ Komputer Quantum dapat menjalankan subrutin dari suatu algoritma untuk anjak piutang, secara eksponensial lebih cepat daripada rekan klasik yang dikenal. Ini tidak berarti komputer klasik TIDAK BISA melakukannya dengan cepat juga, kami hanya tidak tahu hari ini cara untuk algoritma klasik berjalan seefisien algoritma kuantum

Jawaban panjangnya

Komputer Quantum jago dalam Discrete Fourier Transforms. Ada banyak yang dimainkan di sini yang tidak ditangkap hanya dengan " paralel " atau " cepat ", jadi mari kita masuk ke dalam darah binatang buas.

Masalah anjak piutang adalah sebagai berikut: Diberi angka $N = pq$ mana $p,q$ adalah bilangan prima, bagaimana Anda memulihkan $p$ dan $q$ ? Salah satu pendekatan adalah mencatat hal berikut:

Jika saya melihat angka $\modN{x}$ , lalu $x$ berbagi faktor yang sama dengan $N$ , atau tidak.

Jika berbagi faktor umum, dan bukan kelipatan dari itu sendiri, maka kita dapat dengan mudah bertanya apa faktor umum dari dan (melalui algoritma Euclidean untuk faktor umum terbesar). $x$ $N$ $x$ $N$

Sekarang sebuah fakta yang tidak begitu jelas: himpunan semua yang tidak berbagi faktor umum dengan membentuk kelompok perkalian . Apa artinya? Anda dapat melihat definisi grup di Wikipedia di sini . Biarkan operasi grup menjadi multiplikasi untuk mengisi detail, tetapi yang benar-benar kita pedulikan di sini adalah konsekuensi berikut dari teori itu yaitu: urutan $x$ $N$ $\on{mod} N$

x^{0} \mod N, x^{1} \mod N, x^{2} \mod N, . . .

$\modN{x^0}, \quad\modN{x^1}, \quad\modN{x^2}, ...$

periodik, ketika tidak membagikan faktor umum (coba , ) untuk melihatnya langsung sebagai: $x,N$ $x = 2$ $N = 5$

1 \mod 5 = 1, 4 \mod 5 = 4, 8 \mod 5 = 3, 16 \mod 5 = 1.

$\newcommand{\mod}[1]{#1\,\operatorname{mod}\,5} \mod1 = 1,\quad \mod4 = 4,\quad \mod8 = 3,\quad \mod{16} = 1.$

Sekarang berapa banyak bilangan asli kurang dari yang tidak berbagi faktor umum dengan ? Itu dijawab oleh fungsi totient Euler , itu . $x$ $N$ $N$ $(p-1)(q-1)$

Terakhir, mengetuk subjek teori kelompok, panjang rantai berulang

x^{0} \mod N, x^{1} \mod N, x^{2} \mod N, . . .

$\modN{x^0}, \quad\modN{x^1}, \quad\modN{x^2}, ...$

membagi angka itu . Jadi jika Anda tahu periode urutan kekuatan $(p-1)(q-1)$ maka Anda dapat mulai mengumpulkan menebak untuk apa . Selain itu, Jika Anda tahu apa , dan apa (itu N jangan lupa!), Maka Anda memiliki 2 persamaan dengan 2 yang tidak diketahui, yang dapat diselesaikan melalui aljabar dasar untuk terpisah . $x \mod N$ $(p-1)(q-1)$ $(p-1)(q-1)$ $pq$ $p,q$

Di mana komputer kuantum masuk? Temuan periode. Ada operasi yang disebut transformasi Fourier, yang mengambil fungsi ditulis sebagai jumlah dari fungsi periodik di mana adalah nomor, adalah fungsi periodik dengan periode dan peta untuk fungsi baru sehingga . $g$ $a_1 e_1 + a_2 e_2 ...$ $a_i$ $e_i$ $p_i$ $\hat{f}$ $\hat{f}(p_i) = a_i$

Komputasi transformasi Fourier biasanya diperkenalkan sebagai integral, tetapi ketika Anda ingin menerapkannya pada array data ( elemen ^ke- l array adalah ) Anda dapat menggunakan alat ini disebut Discrete Fourier Transform yang jumlahnya untuk mengalikan "array" Anda seolah-olah itu adalah vektor, oleh matriks kesatuan yang sangat besar. $f(I)$

Penekanan pada kata kesatuan: itu adalah properti yang benar-benar sewenang-wenang yang dijelaskan di sini . Namun kuncinya adalah sebagai berikut:

Dalam dunia fisika, semua operator mematuhi prinsip matematika umum yang sama: unitaritas .

Jadi itu berarti tidak masuk akal untuk mereplikasi operasi matriks DFT sebagai operator kuantum.

Sekarang di sini adalah di mana ia mendapat mendalam qubit Array dapat mewakili mungkin elemen array (konsultasikan mana saja secara online untuk penjelasan dari itu atau drop komentar). $n$ $2^n$

Dan juga sebuah Operator kuantum qubit dapat bertindak atas bahwa seluruh ruang kuantum, dan menghasilkan jawaban yang kita dapat menafsirkan. $n$ $2^n$

Lihat artikel Wikipedia ini untuk detail lebih lanjut.

Jika kita dapat melakukan transformasi Fourier ini pada set data yang besar secara eksponensial, hanya menggunakan Qubit, maka kita dapat menemukan periode dengan sangat cepat. $n$

Jika kita dapat menemukan periode dengan sangat cepat, kita dapat dengan cepat mengumpulkan perkiraan untuk $(p-1)(q-1)$

Jika kita dapat melakukan itu dengan cepat maka dengan pengetahuan kita tentang kita dapat mengambil bacokan memeriksa . $N=pq$ $p,q$

Itulah yang terjadi di sini, pada tingkat yang sangat tinggi.

— frogeyedpeas
sumber

3

Apa yang membuat komputer kuantum bagus dalam memfaktorkan sejumlah besar adalah kemampuan mereka untuk memecahkan masalah penemuan periode (dan fakta matematika yang berhubungan dengan menemukan faktor-faktor utama untuk penemuan periode). Itu pada dasarnya algoritma Shor secara singkat. Namun itu hanya menimbulkan pertanyaan apa yang membuat komputer kuantum bagus dalam menemukan periode.

Inti dari penemuan periode adalah kemampuan untuk menghitung nilai fungsi di seluruh domainnya (yaitu, untuk setiap input yang dimungkinkan). Ini disebut paralelisme kuantum. Ini sendiri tidak cukup baik, tetapi bersama dengan gangguan (kemampuan untuk menggabungkan hasil dari paralelisme kuantum dengan cara tertentu), itu.

Saya kira jawaban ini mungkin sedikit gantungan tebing: Bagaimana seseorang menggunakan kemampuan ini untuk benar-benar faktor? Temukan jawabannya di wikipedia pada algoritma Shor .

— piramida
sumber

1

Pertama-tama, anjak piutang dapat dilakukan pada komputer kuantum (dengan penggunaan gerbang kuantum 'kesatuan') dengan menggunakan algoritma Shor .

Penjelasan yang tidak memerlukan matematika tingkat lanjut atau pengetahuan fisika lanjutan adalah posting blog ini oleh Scott Aaronson , berjudul "Shor, aku akan melakukannya."

Ringkasan ide-idenya adalah sebagai berikut:

Pertama, kami mewakili gerbang kuantum / qubit kami dengan jam (menggunakan 'bilangan kompleks sebagai panah (yaitu elemen dari $\mathbb{R}^2$ dengan multiplikasi yang aneh), representasi ')

Kemudian, kami mencatat bahwa seorang peneliti CS memiliki periode tidur yang sangat tidak teratur. Untuk menemukan periode aneh ini, kami menggunakan jam. Kemudian, kami mencatat bahwa temuan periode ini dapat digunakan untuk faktor bilangan bulat (menggunakan konstruksi yang sama seperti pada Pollard acak - $\rho$ algoritma)

Karenanya, jam kuantum aneh kami dapat membantu kami memfaktorkan secara efisien!

— Kadal diskrit
sumber