Кванттық логикалық қақпа - Википедия - Quantum logic gate

Жылы кванттық есептеу және әсіресе кванттық тізбек есептеу моделі, а кванттық логикалық қақпа (немесе жай кванттық қақпа) негізгі болып табылады кванттық тізбек аз мөлшерде жұмыс істейді кубиттер. Олар классикалық сияқты кванттық тізбектердің құрылыс материалдары логикалық қақпалар кәдімгі цифрлық тізбектерге арналған.

Көптеген классикалық логикалық қақпалардан айырмашылығы, кванттық логикалық қақпалар болып табылады қайтымды. Алайда классикалық есептеулерді тек қайтымды қақпаларды қолдану арқылы жасауға болады. Мысалы, қайтымды Toffoli қақпасы барлық логикалық функцияларды орындай алады, көбіне пайдалану қажет болғандықтан анкилла биттері. Тоффоли қақпасында тікелей кванттық эквивалент бар, бұл кванттық тізбектердің классикалық тізбектер орындайтын барлық әрекеттерді орындай алатындығын көрсетеді.

Жалпы кванттық логикалық қақпалар атауы бойынша (аббревиатураны қоса), тізбек формасы (-лары) және сәйкес унитарлы матрицалар

Өкілдік

Кванттық логикалық қақпалар ұсынылған унитарлық матрицалар. Қақпаның кірісі мен шығысындағы кубиттер саны тең болуы керек; әрекет ететін қақпа кубиттер а унитарлық матрица. Квантта қақпалардың векторлары болатындығы айтылады күрделі өлшемдер. Базалық векторлар өлшенген жағдайда мүмкін болатын нәтижелер болып табылады, ал кванттық күй осы нәтижелердің сызықтық комбинациясы болып табылады. Ең көп таралған кванттық қақпалар, әдеттегі классикалық сияқты, бір немесе екі кубиттік кеңістіктерде жұмыс істейді логикалық қақпалар бір немесе екі битпен жұмыс істейді.

Кванттық күйлер әдетте «кеттермен» ұсынылған, олар математикалық жазба ретінде белгілі көкірекше.

Бір кубиттің векторлық көрінісі:

,

Мұнда, және болып табылады күрделі ықтималдық амплитудасы кубиттің Бұл мәндер кубит күйін өлшеу кезінде 0 немесе 1 өлшеу ықтималдығын анықтайды. Қараңыз өлшеу толық ақпарат алу үшін төменде

Нөл мәні кетпен көрсетілген , ал мәні кетпен ұсынылған .

The тензор өнімі (немесе кронеккер өнімі ) кванттық күйлерді біріктіру үшін қолданылады. Екі кубиттің біріктірілген күйі - бұл екі кубиттің тензор көбейтіндісі. Тензор көбейтіндісі символмен белгіленеді .

Екі кубиттің векторлық көрінісі:

,

Қақпаның белгілі бір кванттық күйге әсер етуі табылған көбейту вектор матрица арқылы күйді білдіреді қақпаны бейнелейтін. Нәтижесінде жаңа кванттық күй пайда болады

Көрнекті мысалдар

Хадамар (H) қақпасы

Хадамард қақпасы бір кубитке әсер етеді. Ол негізгі күйді бейнелейді дейін және дейін Бұл дегеніміз, өлшеудің 1 немесе 0-ге тең болу ықтималдығы болады (яғни a. құрайды суперпозиция ). Ол -ның айналуын білдіреді ось туралы кезінде Блох сферасы. Эквивалентті, бұл екі айналымның тіркесімі, Z осі туралы, содан кейін Y осі туралы: . Ол ұсынылған Хадамард матрицасы:

Хадамар қақпасының тізбегі
.

Хадамард қақпасы - бір кубиттік нұсқасы кванттық Фурье түрлендіруі.

Бастап қайда Мен сәйкестендіру матрицасы, H Бұл унитарлық матрица (барлық басқа кванттық логикалық қақпалар сияқты).

Паули-Х қақпасы

ЕМЕС қақпаның кванттық схемасы

Паули-Х қақпасы бір кубитке әсер етеді. Бұл кванттық эквивалент Қақпа ЕМЕС классикалық компьютерлер үшін (стандартты негізге қатысты) , ерекшеленетін З-бағыт; өлшемі деген мағынада өзіндік құндылық +1 классикалық 1-ге сәйкес келеді /шын және -1 ден 0 / дейінжалған). Ол Х осінің айналасындағы айналуға тең Блох сферасы арқылы радиан. Ол карталар дейін және дейін . Осы сипатына байланысты оны кейде атайды бит-флип. Ол ұсынылған Паули X матрицасы:

.

Паули-Ы қақпасы

Паули-Y қақпасы бір кубитке әсер етеді. Ол Y осінің айналасындағы айналуға тең Блох сферасы арқылы радиан. Ол карталар дейін және дейін . Ол ұсынылған Паули Y матрицасы:

.

Паули-З () Қақпа

Паули-З қақпасы бір кубитке әсер етеді. Ол Z осі айналасындағы айналуға тең Блох сферасы арқылы радиан. Осылайша, бұл а-ның ерекше жағдайы жылжу қақпасы (келесі бөлімде сипатталған) . Ол негізгі күйден шығады өзгеріссіз және карталар дейін . Осы сипатына байланысты оны кейде фазалық флип деп те атайды. Ол ұсынылған Паули Z матрицасы:

.

Паули матрицалары еріксіз болып табылады

Паули матрицасының квадраты - сәйкестендіру матрицасы.

ЕМЕС қақпаның квадрат түбірі (ЖОҚ)

ЕМЕС төртбұрышты түбірдің кванттық схемасы

ЕМЕС қақпаның квадрат түбірі (немесе Pauli-X квадрат түбірі, ) бір кубитке әрекет етеді. Ол негізгі күйді бейнелейді дейін және дейін .

.
.

Квадрат түбірлік қақпаларды барлық басқа қақпалар үшін квадрат түбір қақпасын салғысы келетін қақпаны өзі көбейтетін унитарлы матрица табу арқылы жасауға болады. Барлық қақпалардың барлық рационалды көрсеткіштерін дәл осылай табуға болады.

Фазалық ауысым () қақпалар

Бұл негізгі мемлекеттерді бейнелейтін бір кубиттік қақпалардың отбасы және . A өлшеу ықтималдығы немесе осы қақпаны қолданғаннан кейін өзгермейді, дегенмен ол кванттық күйдің фазасын өзгертеді. Бұл көлденең шеңберді (ендік сызығын) Блох сферасында жүргізуге тең радиан.

қайда болып табылады фазалық ауысу. Кейбір қарапайым мысалдар - бұл T қақпасы , фазалық қақпа (S жазба, бірақ S кейде SWAP қақпаларында қолданылады), онда және Паули-З қақпасы .

Фазалық ығысу қақпалары бір-бірімен келесідей байланысты:

Еркін бір кубитті фазалық ығысу қақпалары үшін жергілікті қол жетімді трансмон микротолқынды басқарудың импульстері арқылы кванттық процессорлар.[1]

Басқарылатын фазалық ауысым

2 кубитті басқарылатын фазалық ауысу қақпасы (кейде CPHASE деп аталады):

Есептеу негізіне қатысты ол фазаны ауыстырады егер ол мемлекетке әсер етсе ғана .

Ауыстыру (SWAP) қақпасы

SWAP қақпасының схемасы

Ауыстыру қақпасы екі кубитті ауыстырады. Негізге қатысты , , , , ол матрицамен ұсынылған:

.

Ауыстыру қақпасының квадрат түбірі (SWAP)

Тізбегі Қақпа

The қақпа екі кубиттік своптың жарты жолын орындайды. Кез-келген көп-кубитті қақпаны тек қана салуға болатыны әмбебап және жалғыз кубит қақпалары. The қақпа, бірақ оны максималды түрде араластырмайды; өнім күйлерінен Bell күйін шығару үшін оны бірнеше қолдану қажет. Негізге қатысты , , , , ол матрицамен ұсынылған:

.

Басқарылатын (CX CY CZ) қақпалар

Басқарылатын ЕМЕС қақпаның тізбегі

Басқарылатын қақпалар 2 немесе одан да көп кубиттерге әсер етеді, мұнда бір немесе бірнеше кубиттер кейбір әрекеттерді басқару функциясын орындайды. Мысалы, басқарылатын ЕМЕС қақпа (немесе CNOT немесе CX) 2 кубитке әсер етеді және екінші кубитте ЕМЕС операциясын тек бірінші кубит болған кезде ғана орындайды. , әйтпесе оны өзгеріссіз қалдырады. Негізге қатысты , , , , ол матрицамен ұсынылған:

.

CNOT (немесе басқарылатын Pauli-X) қақпасын картаға түсіретін қақпа ретінде сипаттауға болады дейін .

Жалпы, егер U матрицалық көрінісі бар жалғыз кубиттерде жұмыс істейтін қақпа

,

содан кейін басқарылатын U қақпасы бұл бірінші кубит басқару қызметін атқаратын етіп екі кубитте жұмыс істейтін қақпа. Ол келесідей негізгі жағдайларды бейнелейді.

Басқарылатын тізбекті ұсынуU Қақпа

Басқарылатынды білдіретін матрица U болып табылады

.
басқарылатын X-, Y- және Z- қақпалары
Qcircuit CX.svg
басқарылатын X қақпасы
Qcircuit CY.svg
басқарылатын Y қақпасы
Qcircuit CZ.svg
басқарылатын Z қақпасы

Қашан U бірі болып табылады Паули матрицалары, σх, σж, немесе σз, «бақыланатын -»X«,» басқарылатын-Y«, немесе» бақыланатын-З«кейде қолданылады.[2] Кейде бұл тек CX, CY және CZ дейін қысқарады.

Toffoli (CCNOT) қақпасы

Toffoli қақпасының схемасы

Тоффоли қақпасы Томмасо Тоффоли; сонымен қатар CCNOT қақпасы немесе Deutsch деп аталады Қақпа; бұл 3 биттік қақпа, яғни әмбебап классикалық есептеу үшін, бірақ кванттық есептеу үшін емес. Toffoli кванттық қақпасы - 3 кубит үшін анықталған бірдей қақпа. Егер біз тек кіріс кубиттерін қабылдаумен ғана шектелетін болсақ және , егер алғашқы екі бит күйде болса ол үшінші битке Pauli-X (немесе ЕМЕС) қолданады, әйтпесе ол ештеңе істемейді. Бұл басқарылатын қақпаның мысалы. Бұл классикалық қақпаның кванттық аналогы болғандықтан, ол оның шындық кестесімен толығымен көрсетілген. Toffoli қақпасы жалғыз кубитті Хадамар қақпасымен біріктірілгенде әмбебап болып табылады.[3]

Ақиқат кестесіМатрица формасы
КІРІСШЫҒАРУ
 0  0  0  0  0  0 
001001
010010
011011
100100
101101
110111
111110

Оны картаға түсіретін қақпа деп те сипаттауға болады дейін .

Фредкин (CSWAP) қақпасы

Фредкин қақпасының схемасы

Атындағы Фредкин қақпасы (сонымен қатар CSWAP немесе CS қақпасы) Эдвард Фредкин, а-ны орындайтын 3 биттік қақпа басқарылатын айырбастау. Бұл әмбебап классикалық есептеу үшін. Оның 0 мен 1 сандары бүкіл бойында сақталатын пайдалы қасиеті бар бильярд шарының моделі кірістермен бірдей шарлар шығарылатындығын білдіреді.

Ақиқат кестесіМатрица формасы
КІРІСШЫҒАРУ
CМен1Мен2CO1O2
 0  0  0  0  0  0 
001001
010010
011011
100100
101110
110101
111111

Ілінісу қақпағы (ХХ)

Исинг қақпасы (немесе ХХ қақпа) - бұл кейбір қуып алынған ионды кванттық компьютерлерде орындалатын 2 кубиттік қақпа.[4][5] Ол ретінде анықталады

,

Ілінісу қақпасы (YY)


,

Іздестіру қақпағы (ZZ)


[6],

Дойч () Қақпа

Deutsch (немесе ) физиктің атындағы қақпа Дэвид Дойч бұл үш кубиттік қақпа. Ол ретінде анықталады

Өкінішке орай, жұмыс істейтін Deutsch қақпасы хаттаманың болмауына байланысты қол жетімді болмады. Алайда мұндай әдісті жүзеге асырудың әдісі ұсынылды Deutsch қақпасы бейтарап атомдардағы диполь-диполь әрекеттесуімен.

Әмбебап кванттық қақпалар

CNOT және әмбебап екі кубиттік қақпалар және бір-біріне айналуы мүмкін.

Бейресми түрде, жиынтығы әмбебап кванттық қақпалар - бұл кванттық компьютерде мүмкін кез-келген операцияны қысқартуға болатын кез-келген қақпалар жиынтығы, яғни кез-келген басқа унитарлы операция жиынтықтан шыққан ақырғы шектер реті ретінде көрсетілуі мүмкін. Техникалық тұрғыдан, бұл аннан гөрі мүмкін емес есептеусіз мүмкін кванттық қақпалардың саны есептелмейтіндіктен қақпалар жиынтығы, ал ақырлы жиынтықтан ақырлы тізбектер саны есептелетін. Бұл мәселені шешу үшін біз кез-келген кванттық әрекетті осы ақырлы жиынтықтан шыққан қақпалар тізбегімен жуықтауға болатындығын ғана талап етеміз. Оның үстіне, үшін бөлімшелер кубиттердің тұрақты саны бойынша Соловай - Китаев теоремасы мұны тиімді жасауға кепілдік береді.

Жалпыға бірдей әмбебап қақпа жиынтығы Клиффорд + CNOT, H, S және T қақпаларынан тұратын T қақпа жиынтығы. (Клиффорд жиынтығы жалғыз әмбебап емес және оны классикалық түрде тиімді модельдеуге болады Готтесман-Килл теоремасы.)

Әмбебап кванттық қақпалардың бір қақпалы жиынтығын үш кубиттің көмегімен де тұжырымдауға болады Deutsch қақпасы түрлендіруді жүзеге асырады[7]

Қайтарылатын классикалық есептеу үшін әмбебап логикалық қақпа Toffoli қақпасы, қалпына келтіріледі Deutsch қақпасы, , осылайша барлық қайтымды классикалық логикалық операцияларды әмбебап кванттық компьютерде орындауға болатындығын көрсетеді.

Сондай-ақ, кез-келген кубиттік жұпқа қолдануға болатындығына байланысты әмбебаптық үшін жеткілікті екі кубитті бір қақпа бар. ені бойынша .[8]

Әмбебап кванттық қақпалардың тағы бір жиынтығы Исинг қақпасы мен фазалық ауысу қақпасынан тұрады. Бұл кейбір ионды кванттық компьютерлерде бар қақпалардың жиынтығы.[5]

Тізбек құрамы

Сериялық сыммен жасалған қақпалар

Y және X екі қақпа қатарынан. Оларды көбейту кезінде олардың сымда пайда болу реті өзгертіледі.

Бізде екеуі де әрекет ететін екі А және В қақпалары бар деп есептеңіз кубиттер. B-ді А-дан кейін қойғанда (тізбекті тізбек), онда екі қақпаның әсерін бір С қақпасы ретінде сипаттауға болады.

Қайда әдеттегідей матрицаны көбейту. Нәтижесінде пайда болған С қақпасының өлшемдері А және В-ге тең болады, қақпалардың схемада пайда болу реті оларды көбейту кезінде өзгертіледі.[9][10]

Мысалы, Паули Х қақпасын қою кейін Паули Y қақпасы, екеуі де бір кубитке әсер етеді, оны біріккен С қақпасы ретінде сипаттауға болады:

Өнім белгісі () жиі алынып тасталады.

Параллель қақпалар

Екі қақпа және параллель қақпаға тең

The тензор өнімі (немесе кронеккер өнімі ) екі кванттық қақпалар - бұл параллель екі қақпаға тең қақпа.[11][12]

Егер біз, суреттегідей, Паули-У қақпасын Паули-Х қақпасымен қатарлас біріктіретін болсақ, онда былай жазуға болады:

Паули-Х да, Паули-Й қақпасы да бір кубитке әсер етеді. Алынған қақпа екі кубитке әрекет етіңіз.

Хадамардтың өзгеруі

Қақпа Хадамард қақпасы () 2 кубитке параллель қолданылады. Оны былай жазуға болады:

Бұл «екі кубиттік параллель Хадамард қақпасы», мысалы, екі кубитті нөлдік векторға қатысты болғанда (), оның мүмкін болатын төрт нәтижесінің кез келгенінде байқалуының бірдей ықтималдығы бар кванттық күйді құрыңыз; 00, 01, 10 және 11. Біз бұл әрекетті келесідей жаза аламыз:

Мұнда әрбір өлшенетін күйге арналған амплитуда болады . Кез-келген күйді байқау ықтималдығы - бұл өлшенетін күйлер амплитудасының абсолюттік мәнінің квадраты, бұл жоғарыда келтірілген мысалда біз төрт жағдайдың кез-келгенін бақылайтын төртеудің біреуі бар екенін білдіреді. Қараңыз өлшеу толық ақпарат алу үшін.

орындайды Хадамардтың өзгеруі екі кубитте. Сол сияқты қақпа а-да Хадамард түрлендіруін орындайды тіркелу туралы кубиттер.

Тізіліміне жүгінген кезде барлық инициализацияланған кубиттер , Хадамарды түрлендіру кванттық регистрді кез келгенінде өлшеу ықтималдығы бірдей суперпозицияға айналдырады мүмкін мемлекеттер:

Бұл мемлекет біркелкі суперпозиция және ол кейбір іздеу алгоритмдерінің алғашқы қадамы ретінде жасалады, мысалы амплитудалық күшейту және фазалық бағалау.

Өлшеу бұл мемлекет а кездейсоқ сан арасында және . Санның қаншалықты кездейсоқ болатындығына байланысты адалдық логикалық қақпалардың. Егер өлшенбесе, бұл бірдей амплитудасы бар кванттық күй оның мүмкін жағдайларының әрқайсысы үшін.

Хадамарды түрлендіру регистрге әсер етеді бірге кубиттер осындай келесідей:

Шатастырылған күйлерге қолдану

Егер екі немесе одан да көп кубиттер бір кванттық күй ретінде қарастырылса, онда бұл біріктірілген күй құрамдас кубиттердің тензор көбейтіндісіне тең болады. Құрушы ішкі жүйелерден тензор көбейтіндісі ретінде жазуға болатын кез-келген күй деп аталады бөлінетін мемлекеттер. Екінші жағынан, шатасқан мемлекет тензорлы-факторизацияланбайтын кез-келген күй немесе басқаша айтқанда: Шатастырылған күйді оны құрайтын кубиттер күйлерінің тензор көбейтіндісі ретінде жазу мүмкін емес. Қақпақты күйлерді құрайтын кубиттерге қақпаларды қолданған кезде ерекше сақ болу керек.

Егер бізде шатасқан N кубиттер жиыны болса және жиынтықта M сәйкестік матрицасы олардың тензор өнімі N кубитке әсер ететін қақпаға айналады. Сәйкестендіру матрицасы () - бұл әр күйді өзіне бейнелейтін қақпаның көрінісі (яғни, ештеңе жасамайды). Электр схемасында сәйкестендіру қақпасы немесе матрица тек сым түрінде көрінеді.

Мәтінде келтірілген мысал. Хадамар қақпасы тек 1 кубитке әрекет етіңіз, бірақ бұл 2 кубитті қамтитын шатастырылған кванттық күй. Біздің мысалда

Мысалы, Хадамард қақпасы () бір кубитке әсер етеді, бірақ егер біз оны құрайтын екі кубиттің біріншісін берсек шатастырылған Қоңырау күйі , біз бұл операцияны оңай жаза алмаймыз. Бізге Хадамард қақпасын кеңейту керек жеке куәлік қақпасымен аралықта болатын кванттық күйлерге әсер ете алатындай етіп екі кубиттер:

Қақпа енді кез-келген екі кубиттік күйге қолданыла алады. Қақпа екінші кубитті қалдырмай қалдырады және бірінші кубитке Хадамарды түрлендіруді қолданады. Егер біздің мысалда қоңырау жағдайына қатысты болса, біз келесідей жаза аламыз:

The уақыттың күрделілігі үшін көбейту екі -матрицалар дегенде [13], егер классикалық машинаны қолдансаңыз. Себебі жұмыс істейтін қақпаның өлшемі кубиттер болып табылады бұл кванттық тізбектегі қадамды модельдеу уақыты (қақпаларды көбейту арқылы) жалпы шатасқан күйлерде жұмыс істейтінін білдіреді . Осы себепті ол деп санайды шешілмейтін классикалық компьютерлердің көмегімен үлкен шатасқан кванттық жүйелерді модельдеу. The Клиффорд қақпалары классикалық компьютерлерде тиімді модельдеуге болатын қақпалар жиынтығының мысалы.

Қақпалардың унитарлы инверсиясы

Мысал: Hadamard-CNOT өнімінің унитарлы кері жағы. Үш қақпа , және өздерінің унитарлы инверсиялары болып табылады.

Себебі барлық кванттық логикалық қақпалар қайтымды, бірнеше қақпалардың кез-келген құрамы қайтымды. Барлық өнімдері мен тензор өнімдері унитарлық матрицалар сонымен қатар унитарлы матрицалар болып табылады. Бұл дегеніміз, барлық алгоритмдер мен функцияларға тек қана қақпалардан тұратын болса, оған керісінше құруға болады.

Инициализация, өлшеу, Енгізу / шығару және стихиялық декогеренттілік болып табылады жанама әсерлері кванттық компьютерлерде. Гейтс дегенмен таза функционалды және биективті.

Егер функция өнімі болып табылады қақпалар (), функцияға унитарлы кері, , салуға болады:

Себебі бізде рекурсивті қолданудан кейін

Егер функция болса екі қақпадан тұрады және параллель, содан кейін және

Қанжар () дегенді білдіреді күрделі конъюгат туралы транспозициялау. Ол сондай-ақ деп аталады Эрмитический.

Өздерінің унитарлы инверсиялары болып табылатын қақпалар деп аталады Эрмитиан немесе өздігінен байланысатын операторлар. Кейбір қарапайым қақпалар, мысалы, Hadamard (H) және Паули қақпалары (I, X, Y, Z) - бұл гермиттік операторлар, ал басқалары фазалық ауысу (S, T) және Ising (XX, YY, ZZ) қақпалары емес. Кейде Эрмити емес қақпалар деп аталады бұрмаланған-гермит, немесе бірлескен операторлар.

Бастап бұл унитарлық матрица, және

Мысалы, қосу алгоритмін кейбір жағдайларда алып тастау үшін қолдануға болады, егер ол «кері бағытта» жүргізілсе, оның унитарлы кері күші ретінде. The кері кванттық төртілік түрлендіру біртұтас кері болып табылады. Біртұтас инверстерді де қолдануға болады есептеу. Сияқты кванттық компьютерлерге арналған бағдарламалау тілдері Microsoft Келіңіздер Q №[14] және Бернхард Өмер Келіңіздер QCL, бағдарламалық тұжырымдама ретінде функция инверсиясын қамтиды.

Өлшеу

Өлшеу схемасы. Оң жақтағы екі сызық классикалық битті, ал сол жақтағы жалғыз сызық кубитті білдіреді.

Өлшеу (кейде деп аталады бақылау) қайтымсыз, сондықтан кванттық қақпа емес, өйткені ол бақыланатын айнымалыны бір мәнге тағайындайды. Өлшеу кванттық күйді алады және оны біреуіне көрсетеді базалық векторлар, вектор тереңдігінің квадратына тең ( норма немесе модуль ) сол вектор бойымен. Бұл стохастикалық қайтымды емес операция, өйткені ол кванттық күйді өлшенген күйді білдіретін базалық векторға тең етеді (күй белгілі бір мәнге дейін «құлайды»). Неліктен және қалай, тіпті егер солай болса да, деп аталады өлшеу проблемасы.

Мәнін өлшеу ықтималдығы ықтималдық амплитудасы болып табылады , қайда болып табылады модуль.

Кванттық күй вектормен көрсетілген жалғыз кубитті өлшеу , нәтижесінде болады ықтималдықпен және ықтималдықпен .

Мысалы, кубитті кванттық күймен өлшеу тең ықтималдықпен береді немесе .

Бір кубит үшін бізде бірлік сфера болады кванттық күймен осындай . Күйді қайтадан жазуға болады , немесе және .
Ескерту: - өлшеу ықтималдығы және - өлшеу ықтималдығы .

Кванттық күй ол созылады кубиттерді вектор түрінде жазуға болады күрделі өлшемдері: . Себебі тензор көбейтіндісі кубиттер - вектор өлшемдер. Осылайша, а тіркелу туралы кубиттерді өлшеуге болады қалай регистрге ұқсас, нақты күйлер классикалық биттер ұстай алады нақты мемлекеттер. Кванттық күйлер классикалық компьютерлердің биттерінен айырмашылығы, бір мезгілде бірнеше өлшенетін шамаларда нөлдік емес амплитудаға ие бола алады. Бұл деп аталады суперпозиция.

Барлық нәтижелер үшін барлық ықтималдықтардың қосындысы әрқашан тең болуы керек . Мұны айтудың тағы бір тәсілі - бұл Пифагор теоремасы жалпыланған барлық кванттық күйлерге ие бірге кубиттер қанағаттандыруы керек , қайда - өлшенетін күйдің ықтималдық амплитудасы . Мұны геометриялық тұрғыдан түсіндіру мүмкін кеңістік кванттық күйдің бірге кубиттер - а бірлік сферасы жылы және унитарлық түрлендірулер (яғни кванттық логикалық қақпалар) оған қолданылатын сферадағы айналулар болып табылады. Өлшеу дегеніміз - бұл нүктенің ықтимал проекциясы немесе көлеңкесі күрделі сфераға негізгі векторлар бұл кеңістікті қамтиды (және нәтижелерді белгілейді).

Көптеген жағдайларда кеңістік а түрінде ұсынылған Гильберт кеңістігі нақты емес -өлшемді кешен. Одан кейін өлшемдер саны (базалық векторлармен анықталады, сонымен бірге өлшеудің ықтимал нәтижелері) операндтармен жиі айтылады, мысалы, қажет мемлекеттік кеңістік шешуге арналған проблема. Жылы Гровердің алгоритмі, Махаббат осы негіз векторлық жиын деп аталды «мәліметтер базасы».

Кванттық күйді өлшеу үшін қарсы векторларды таңдау өлшеу нәтижесіне әсер етеді.[15] Қараңыз Фон Нейман энтропиясы толық ақпарат алу үшін. Бұл мақалада біз әрқашан есептеу негіз, бұл дегеніміз біз ан векторлары -кубит тіркелу немесе пайдаланыңыз екілік ұсыну .

Кванттық есептеу аймағында, негізінен, векторлар ан құрайды ортонормальды негіз.

Баламалы өлшеу негізін қолдану мысалы BB84 шифр.

Өлшеудің шатасқан күйлерге әсері

Кіріс енгізілген кездегі Hadamard-CNOT қақпасы шығарады Қоңырау күйі.

Егер екі кванттық күйлер (яғни кубиттер, немесе тіркеушілер ) болып табылады шатастырылған (олардың біріктірілген күйін а түрінде көрсетуге болмайтынын білдіреді тензор өнімі ), бір регистрді өлшеу басқа регистрдің күйін оның күйін ішінара немесе толығымен құлату арқылы әсер етеді немесе анықтайды. Бұл эффект есептеу үшін қолданыла алады және көптеген алгоритмдерде қолданылады.

Hadamard-CNOT тіркесімі нөл күйге келесідей әсер етеді:

Мәтіндегі қоңырау күйі қайда және . Сондықтан оны сипаттауға болады күрделі ұшақ арқылы созылған негізгі векторлар және , суреттегідей. The бірлік сферасы (in.) ) мүмкін болатынды білдіреді кеңістік 2 кубиттік жүйенің жазықтығын қиып өтеді сфераның беткі қабатында жатыр. Себебі , осы күйді өлшеудің бірдей ықтималдығы бар немесе , және оны өлшеудің нөлдік ықтималдығы немесе .

Бұл алынған күй Қоңырау күйі . Оны екі кубиттен тұратын тензор көбейтіндісі ретінде сипаттауға болмайды. Шешімі жоқ

because for example needs to be both non-zero and zero in the case of және .

The quantum state аралықтар the two qubits. Бұл деп аталады шатасу. Measuring one of the two qubits that make up this Bell state will result in that the other qubit logically must have the same value, both must be the same: Either it will be found in the state , or in the state . If we measure one of the qubits to be for example , then the other qubit must also be , because their combined state болды . Measurement of one of the qubits collapses the entire quantum state, that span the two qubits.

The GHZ state is a similar entangled quantum state that spans three or more qubits.

This type of value-assignment occurs instantaneously over any distance and this has as of 2018 been experimentally verified by QUESS for distances of up to 1200 kilometers.[16][17][18] That the phenomena appears to happen instantaneously as opposed to the time it would take to traverse the distance separating the qubits at the speed of light is called the EPR парадоксы, and it is an open question in physics how to resolve this. Originally it was solved by giving up the assumption of жергілікті реализм, but other түсіндіру have also emerged. Қосымша ақпаратты мына бөлімнен қараңыз Қоңырау сынағының эксперименттері. The байланыссыз теорема proves that this phenomena cannot be used for faster-than-light communication of классикалық ақпарат.

Measurement on registers with pairwise entangled qubits

The effect of a unitary transform F on a register A that is in a superposition of states and pairwise entangled with the register B. Here, is 3 (each register has 3 qubits).

Take a тіркелу A with qubits all initialized to , and feed it through a parallel Hadamard gate . Register A will then enter the state that have equal probability of when measured to be in any of its possible states; дейін . Take a second register B, also with qubits initialized to and pairwise CNOT its qubits with the qubits in register A, such that for each the qubits және forms the state

If we now measure the qubits in register A, then register B will be found to contain the same value as A. If we however instead apply a quantum logic gate on A and then measure, then , қайда болып табылады unitary inverse туралы .

Because of how unitary inverses of gates әрекет ету, . For example, say , содан кейін .

The equality will hold no matter in which order measurement is performed (on the registers A or B), assuming that has finished evaluation. Measurement can even be randomly and concurrently interleaved qubit by qubit, since the measurements assignment of one qubit will limit the possible value-space from the other entangled qubits.

Even though the equalities holds, the probabilities for measuring the possible outcomes may change as a result of applying , as may be the intent in a quantum search algorithm.

This effect of value-sharing via entanglement is used in Шор алгоритмі, фазалық бағалау және quantum counting. Пайдалану Фурье түрлендіруі to amplify the probability amplitudes of the solution states for some проблема is a generic method known as "Fourier fishing ". See also амплитудалық күшейту.

Logic function synthesis

Unitary transformations that are not available in the set of gates natively available at the quantum computer (the primitive gates) can be synthesised, or approximated, by combining the available primitive gates in a тізбек. One way to do this is to factorize the matrix that encodes the unitary transformation into a product of tensor products (i.e. series and parallel combinations) of the available primitive gates. The топ U(2q) болып табылады симметрия тобы for the gates that act on кубиттер. The Соловай - Китаев теоремасы shows that given a sufficient set of primitive gates, there exist an efficient approximate for any gate. Factorization is then the проблема of finding a path in U(2q) бастап generating set of primitive gates. For large number of qubits this direct approach to solving the problem is intractable for classical computers.[19]

Unitary transformations (functions) that only consist of gates can themselves be fully described as matrices, just like the primitive gates. Егер функция is a unitary transformation that map qubits from дейін , then the matrix that represents this transformation have the size . For example, a function that act on a "qubyte" (a register of 8 qubits) would be described as a matrix with элементтер.

Because the gates унитарлы nature, all functions must be қайтымды and always be биективті mappings of input to output. There must always exist a function осындай . Functions that are not invertible can be made invertible by adding анкилла кубиттері to the input or the output, or both. For example, when implementing a boolean function whose number of input and output qubits are not the same, ancilla qubits must be used as "padding". The ancilla qubits can then either be uncomputed or left untouched. Measuring or otherwise collapsing the quantum state of an ancilla qubit (for example by re-initializing the value of it, or by its spontaneous декогеренттілік ) that have not been uncomputed may result in errors[20][21], as their state may be entangled with the qubits that are still being used in computations.

Logically irreversible operations, for example addition modulo екеуінің -qubit registers a and b, , can be made logically reversible by adding information to the output, so that the input can be computed from the output (i.e. there exist a function ). In our example, this can be done by passing on one of the input registers to the output: . The output can then be used to compute the input (i.e. given the output және , we can easily find the input; is given and ) and the function is made bijective.

Барлық boolean algebraic expressions can be encoded as unitary transforms (quantum logic gates), for example by using combinations of the Pauli-X, CNOT and Toffoli gates. These gates are functionally complete in the boolean logic domain.

There are many unitary transforms available in the libraries of Q №, QCL, Qiskit, және басқа да quantum programming тілдер. It also appears in the literature.[22][23]

Мысалға, , қайда is the number of qubits that constitutes , is implemented as the following in QCL[24][25]:

The generated circuit, when .
Таңба білдіреді xor және білдіреді және, and comes from the boolean representation of controlled Pauli-X when applied to states that are in the computational basis.
конд qufunct Inc(qureg х) { // increment register  int мен;  үшін мен = #х-1 дейін 0 қадам -1 {    CNot(х[мен], х[0::мен]);     // apply controlled-not from  }                          // MSB to LSB}

In QCL, decrement is done by "undoing" increment. The undo operator ! is used to instead run the unitary inverse функциясы. !inc(x) is the inverse of inc(x) and instead performs the operation .

Here a classic computer generates the gate composition for the quantum computer. The quantum computer acts as a сопроцессор that receives instructions from the classical computer about which primitive gates to apply to which qubits. Measurement of quantum registers results in binary values that the classical computer can use in its computations. Кванттық алгоритмдер often contain both a classical and a quantum part. Unmeasured Енгізу / шығару (sending qubits to remote computers without collapsing their quantum states) can be used to create networks of quantum computers. Ілінісуді ауыстыру can then be used to realize distributed algorithms with quantum computers that are not directly connected. Examples of distributed algorithms that only require the use of a handful of quantum logic gates is суперденсенді кодтау, Quantum Byzantine agreement және BB84 cipherkey exchange protocol.

Тарих

The current notation for quantum gates was developed by Barenco et al.,[26] building on notation introduced by Feynman.[27]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Dibyendu Chatterjee, Arijit Roy. "A transmon-based quantum half-adder scheme". Progress of Theoretical and Experimental Physics: 7–8.
  2. ^ Nielsen, Michael A.; Chuang, Isaac (2000). Кванттық есептеу және кванттық ақпарат. Кембридж: Кембридж университетінің баспасы. ISBN  0521632358. OCLC  43641333.
  3. ^ Aharonov, Dorit (2003-01-09). "A Simple Proof that Toffoli and Hadamard are Quantum Universal". arXiv:quant-ph/0301040.
  4. ^ "Monroe Conference" (PDF). online.kitp.ucsb.edu.
  5. ^ а б "Demonstration of a small programmable quantum computer with atomic qubits" (PDF). Алынған 2019-02-10.
  6. ^ Jones, Jonathan A. (2003). "Robust Ising gates for practical quantum computation". Физикалық шолу A. 67. arXiv:quant-ph/0209049. дои:10.1103/PhysRevA.67.012317. S2CID  119421647.
  7. ^ Дойч, Дэвид (September 8, 1989), "Quantum computational networks", Proc. R. Soc. Лондон. A, 425 (1989): 73–90, Бибкод:1989RSPSA.425...73D, дои:10.1098/rspa.1989.0099, S2CID  123073680
  8. ^ Bausch, Johannes; Piddock, Stephen (2017), "The Complexity of Translationally-Invariant Low-Dimensional Spin Lattices in 3D", Математикалық физика журналы, 58 (11): 111901, arXiv:1702.08830, дои:10.1063/1.5011338, S2CID  8502985
  9. ^ Yanofsky, Noson S.; Mannucci, Mirco (2013). Quantum computing for computer scientists. Кембридж университетінің баспасы. pp. 147–169. ISBN  978-0-521-87996-5.
  10. ^ Nielsen, Michael A.; Chuang, Isaac (2000). Кванттық есептеу және кванттық ақпарат. Кембридж: Кембридж университетінің баспасы. 62-63 бет. ISBN  0521632358. OCLC  43641333.
  11. ^ Yanofsky, Noson S.; Mannucci, Mirco (2013). Quantum computing for computer scientists. Кембридж университетінің баспасы. б. 148. ISBN  978-0-521-87996-5.
  12. ^ Nielsen, Michael A.; Chuang, Isaac (2000). Кванттық есептеу және кванттық ақпарат. Кембридж: Кембридж университетінің баспасы. 71-75 бет. ISBN  0521632358. OCLC  43641333.
  13. ^ Raz, Ran (2002). "On the complexity of matrix product". Есептеу теориясы бойынша ACM жыл сайынғы отыз төртінші симпозиумының материалдары: 144. дои:10.1145/509907.509932. ISBN  1581134959. S2CID  9582328.
  14. ^ Defining adjoined operators in Microsof Q#
  15. ^ Q# Online manual: Measurement
  16. ^ Juan Yin, Yuan Cao, Yu-Huai Li, et.c. "Satellite-based entanglement distribution over 1200 kilometers". Кванттық оптика.CS1 maint: авторлар параметрін қолданады (сілтеме)
  17. ^ Биллингс, Ли. "China Shatters "Spooky Action at a Distance" Record, Preps for Quantum Internet". Ғылыми американдық.
  18. ^ Popkin, Gabriel (15 June 2017). "China's quantum satellite achieves 'spooky action' at record distance". Science - AAAS.
  19. ^ Matteo, Olivia Di. "Parallelizing quantum circuit synthesis". Quantum Science and Technology. 1.
  20. ^ Aaronson, Scott (2002). "Quantum Lower Bound for Recursive Fourier Sampling". Quantum Information and Computation. 3 (2): 165–174. arXiv:quant-ph/0209060. Бибкод:2002quant.ph..9060A.
  21. ^ Q# online manual: Conjugations
  22. ^ Ryo, Asaka; Kazumitsu, Sakai; Ryoko, Yahagi (2020). "Quantum circuit for the fast Fourier transform". Кванттық ақпаратты өңдеу. 19 (277).
  23. ^ Montaser, Rasha. "New Design of Reversible Full Adder/Subtractor using R gate". Халықаралық теориялық физика журналы. 58.
  24. ^ QCL 0.6.4 source code, the file "lib/examples.qcl"
  25. ^ Quantum Programming in QCL (PDF)
  26. ^ Физ. Аян 52 3457–3467 (1995), дои:10.1103/PhysRevA.52.3457; e-print arXiv:quant-ph/9503016
  27. ^ R. P. Feynman, "Quantum mechanical computers", Optics News, February 1985, 11, б. 11; қайта басылған Физиканың негіздері 16(6) 507–531.

Дереккөздер