Ismétlés

"Man - a being in search of meaning." Plato Searching in an Unsorted Database

Adatbázis keresés története v

Adatbázis keresés története v

Adatbázis keresés története v

Objectives Finding a certain entry in a database N items of size. The DB is unsorted. The DB contains M copy of the requested entry. Best classical solution: N question. How can be exploited quantum phenomena ? x = ?

General model of quantum algorithms InitializationParallelization Amplitude ampl. Measu- rement Classical input Classical output Quantum output Quantum input

Grover operator

T = H

Grover operator

Geometrical interpretation

Required number of iterations

Error analysis

Calculation of M can be traced back to phase estimation on the Grover operator. Quantum counting – special phase estimation

RSA feltörése Grover-algoritmussal

Kvantum többfelhasználós detekció Feladat: DS-CDMA rendszerben együttes detekció a bázisállomáson. Vett komplex alapsávi jel:

Egyfelhasználós detekció A detektor kimenete:

Kvantum többfelhasználós detekció MLS (jointly optimum) detekció: MBER (individually optimum) detekció:

Kvantum többfelhasználós detekció Csatorna mátrix:

Kvantum többfelhasználós detekció Komplexitás:

Kvantum egzisztencia tesztelés

Cél: annak eldöntése, hogy a keresett elem egyáltalán előfordul-e az adatbázisban? Klasszikus bonyolultság: O(N). Speciális fázisbecslés a Grover-operátoron. Fázisbecslés: –Unitér operátor sajátértéke: –Fázis: –Fázistényező közelítése:

Kvantum fázisbecslés komplexitás: Kvantum bizonytalanság Klasszikus bizonytalanság p qbit

Kvantum bizonytalanság

Kvantum egzisztencia tesztelés Klasszikus bizonytalanság (Worst case eset): Komplexitás:

Kvantum egzisztencia tesztelés Hiba, ha az n/2 MSB biten 0-tól eltérő érték van.

Kvantum egzisztencia tesztelés Kvantum bizonytalanság: Komplexitás: p

Kvantum szélsőérték keresés Klasszikus rendezetlen adatbázis Rendezés + Logaritmusos keresés A rendezés nem mindig tehető meg! A klasszikus logaritmusos keresés kombinálása kvantum egzisztencia teszteléssel

Kvantum szélsőérték keresés Adatbázis (függvény!): Feladat: A kereső algoritmus: Grover kereséssel: Komplexitás:

Alap Grover-algoritmus A Grover-algoritmus hiányosságai: –Az index regiszter bemeneti állapota rögzített (valós, egyenletes amplitúdó eloszlás). –Nem biztosított az 1 valószínűségű találat.

Általánosított Grover-algoritmus 1.1. tézis 2-dimenziós bázis a V térben: Általánosított Grover-operátor: Egyes speciális állapotok nem képezhetők le.

Meghatározandó paraméterek és nem ismert!

Általánosított Grover-operátor Q alakja a V 2-dimenziós térben Q sajátértékei: Feltétel: legyen az, térben. Q megőrzi a teret.

Lépésszám Illesztési feltétel: lépésszám

Optimális lépésszám Az 1 valószínűségű találathoz szükséges lépésszám:

Beállítások Fázisbecslés O(ld 3 (N)) := a létrehozásához szükséges kapuk összessége := a felhasználó indító klasszikus állapota