témavezető: Ivanyos Gábor
helyszín (magyar oldal): BME TTK Algebra Tanszék, MTA SZTAKI helyszín rövidítés: BME
A kutatási téma leírása:
Fizikusok vetették fel, hogy egyes kvantummechanikai jelenségeket esetleg fel lehet használni az információ-kezelésben. Ezen a területen a közelmúltban jelentős előrelépések történtek. Egyrészt léteznek már kvantum-alapú titkosított információtovábbítást szolgáló eszközök, másrészt egy elméleti számítási modell, az úgynevezett kvantumszámítógép segítségével elvileg gyorsan lehet egészeket faktorizálni, és diszkrét logaritmust számítani. Kérdés, hogy ez a modell mennyire realisztikus. Mindenesetre bíztató kísérleti eredmények vannak egyszerű, kevés kapuból álló kvantum-gépek megvalósításával kapcsolatban.
Néhány kérdéskör, melyben algebrai módszerek bevetésével előrelépés remélhető:
• különféle kvantumszámítógép-modellek által definiált bonyolultsági osztályok összehasonlítása a hagyományos osztályokkal,
• újabb, kvantumszámítógéppel gyorsan megoldható, algebrai/aritmetikai indíttatású algoritmikus problémák keresése,
• kvantum-kapuk tervezése és tesztelése,
• algebrai eszközök alapvető kvantummechanikai jelenségek (pl. az összefonódás) mérésére és osztályozására,
• kvantum kommunikációs bonyolultság vizsgálata algebrai eszközökkel,
• algebrai konstrukciók kvantum-hibajavító kódokra.
előírt nyelvtudás: angol további elvárások: Matematikus, fizikus, informatikus, villamosmérnök, vagy rokon végzettség, biztos algebrai háttér, angol nyelvű szakirodalom tanulmányozásának képessége.