Kvantové provázání
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b7/Entanglement_vs_classical_correlation_abstract_picture.gif/220px-Entanglement_vs_classical_correlation_abstract_picture.gif)
Pojem kvantové provázání (někdy též kvantové propletení, anglicky quantum entanglement) označuje v kvantové mechanice vlastnost dvou (nebo více) částic, jejichž kvantový stav je propojen a to bez ohledu na jejich vzájemnou fyzickou vzdálenost. Ze zjištění stavu jedné částice lze zjisti stav druhé provázané částice. Kvantově provázané částice mají praktické uplatnění pro kvantovou teleportaci, kvantovou kryptografii, superhusté kódování nebo v kvantových počítačích.
Kvantový stav systému obsahuje veškerou informaci, kterou lze měřeními o tomto systému získat. V kvantové fyzice je proces měření netriviální úkon, kde naměřený výsledek neodlučitelně závisí i na zvoleném způsobu měření. V závislosti na zvoleném způsobu pak měření dává obecně jiné výsledky. Provádíme-li jistá měření na dvou podsystémech, mohou výsledné hodnoty různých měření vykazovat velmi silné korelace. Lidově řečeno, výsledky měření pro první a druhý podsystém se chovají velmi podobně. A to natolik, že tuto podobnost nelze vysvětlit pomocí klasické fyziky. Takto silné korelace mezi výsledky měření na kvantových podsystémech jsou projevem kvantového provázání.
Kvantové provázání je jedním z charakteristických rysů kvantové mechaniky, který nemá obdobu v klasické mechanice a znesnadňuje tak intuitivní popis pomocí pojmů známých z běžného života. V posledních desetiletích je předmětem velmi intenzivního výzkumu, a to jak teoretického, tak experimentálního.
Rozdíl mezi kvantovým provázáním a klasickou korelací je abstraktně ilustrován v animaci napravo, kde točící se kotouče znázorňují měření dvojic fotonů pomocí různě natočených detektorů. Dvojice fotonů, které jsou detekovány kotoučem nalevo, jsou v kvantově provázaném stavu , zatímco kotouč pravý detekuje fotony, jež jsou v neprovázaném stavu . Jeden foton z každé dvojice dopadá buď do oranžového nebo do fialového detektoru v jedné polovině kotouče, foton druhý podobně dopadá do jednoho z detektorů ve druhé polovině kotouče. V případě provázaného stavu se rozsvítí vždy detektory stejné barvy, bez ohledu na natočení měřicího přístroje. Totéž neplatí pro stav , kde lze pozorovat i případy, kdy se rozsvítí oranžový s fialovým detektorem. Ukazuje se, že chování kotouče vlevo, kde se vždy rozsvítí stejná barva, nelze popsat pomocí klasické fyziky.
Definice
Matematická definice
Ve své nejjednodušší podobě lze kvantové provázání definovat následovně. Mějme fyzikální systém , k němuž je v souladu s kvantově-mechanickým popisem přidružen Hilbertův stavový prostor . Nechť je tento systém složen ze dvou podsystémů a se stavovými prostory a . Nechť se dále systém nachází v nějakém stavu . O stavu řekneme, že je (kvantově) provázaný (anglicky entangled), pokud tento stav nelze zapsat jako tenzorový součin stavu prvního a stavu druhého podsystému. Neboli:
O podsystémech a pak říkáme, že jsou (kvantově) provázané, nacházejí-li se v provázaném stavu. Jako příklad si můžeme za fyzikální systém vzít jeden pár částic. Podsystém je pak první částice a podsystém je druhá částice. Stav je pak vlnová funkce popisující chování těchto dvou částic společně, stav je vlnová funkce pouze první částice a je vlnová funkce pouze druhé částice.
Kvantové provázání pro více než dva podsystémy lze zavést analogicky výše uvedené definici. V systémech s velkým počtem podsystémů může mít kvantové provázání velmi komplikovanou strukturu, kdy jsou různé podsystémy provázány jen s některými jinými podsystémy a/nebo jsou provázány různou měrou. Dosud jsme navíc předpokládali, že se fyzikální systém nachází v čistém kvantovém stavu. Kvantové provázání nicméně vykazují i stavy smíšené, jejichž studium je náročnější. Bližší podrobnosti lze nalézt v oddílech „Verifikace provázání“, „Kvantifikace kvantového provázání“ a „Typy korelací“ níže.
Dodejme, že kvantové provázání není vlastností fyzikálního systému samotného, ale pouze jeho stavu. Tentýž fyzikální systém se může obecně nacházet v různých stavech, a to jak těch provázaných, tak i těch neprovázaných. Pro kvantové provázání není dále podstatné o jaký stupeň volnosti, tj. fyzikální vlastnost, uvažovaného systému se jedná. Kvantově provázaný stav uvedený v rámečku níže tedy můžeme uvažovat ne pro polarizaci fotonů, nýbrž pro spin elektronů. Dostáváme tak stav , kde označuje spin elektronu rovný +1/2 a značí spin elektronu o hodnotě −1/2, kde spin měříme podél osy . Protože vlastnosti takového stavu se spinem jsou z pohledu provázání totožné s vlastnostmi stavu s polarizací fotonů, můžeme místo stavů či uvažovat jistý abstraktní stav a podobně místo či uvažujme stav . Výsledný stav má tak tvar
Tato konvence, využívající abstraktní označení 0 a 1, je použita ve zbytku tohoto článku s výjimkou oddílu „Myšlenkový experiment“. Jednou z dalších fyzikálních realizací právě uvedeného stavu je i stav použitý ve dvou-dvouštěrbinovém experimentu. Pro popis tohoto experimentu není třeba vědět, co je polarizace fotonů či spin elektronů, neboť se v jeho případě jedná o provázání mezi směry, ve kterých mohou fotony letět ke štěrbinám. Zvídavého čtenáře se slabou znalostí kvantové mechaniky proto odkážeme i na odpovídající článek.
Jednoduchý příklad |
---|
Notoricky známým příkladem provázaného stavu je stav polarizace dvou fotonů, označených A a B, který je tvaru kde značí horizontální polarizaci a značí vertikální polarizaci. Není těžké si rozmyslet, že takovýto stav nelze zapsat ve tvaru , který explicitně zní pro nějaké koeficienty , , a . Muselo by totiž platit
Uveďme si pro ilustraci ještě příklad kvantového stavu, který kvantově provázaný není. Příkladem buďtež dva fotony, které připravíme v následujícím stavu Tento stav je velice podobný stavu výše, ale poslední jednočásticový stav je a ne . Důsledkem toho můžeme přepsat tento stav do tvaru , z něhož je patrné, že se jedná o stav neprovázaný. Lze jej totiž vyjádřit jako tenzorový součin samostatných stavů prvního a druhého fotonu. |
Klasické provázání
Výše uvedená definice kvantového provázání se přísně vzato nevztahuje pouze na dva odlišné fyzikální podsystémy. Zcela stejnou matematickou definici můžeme použít i v případě, kde fyzikální systém tvoří pouze jediná částice a za dva její podsystémy bereme dvě její vlastnosti (přesněji řečeno, dva její stupně volnosti). V případě fotonů můžeme vzít například hybnost a polarizaci fotonu. Tehdy řekneme, že je foton provázaný ve své hybnosti a polarizaci, nelze-li společný stav hybnosti a polarizace fotonu napsat ve tvaru , kde je pouze stav hybnosti fotonu a je pouze stav polarizace fotonu.
Takto chápaná definice kvantového provázání, formálně matematicky totožná s první definicí uvedenou výše, dovoluje zavést pojem klasické provázání (anglicky classical entanglement). Důvodem takového pojmenování je fakt, že takovéto „provázané“ stavy lze nalézt i v klasické fyzice[1][2][3]. Zásadním rozdílem mezi klasickým provázáním a kvantovým provázáním je nicméně nelokalita podsystémů. Zatímco v případě kvantového provázání mohou být oba podsystémy od sebe vzdáleny miliony kilometrů a výsledky měření zdánlivě popírají teorii relativity, v případě klasického provázání k žádným podobným paradoxům nedochází, protože měříme vlastnosti jediné částice. Pojmenování klasické provázání je tedy zavádějící. Ačkoli je formálně vzato použita stejná definice provázání, není přítomen rys kvantové mechaniky, který vůbec vedl k zavedení pojmu kvantového provázání — nelokalita, jenž zdánlivě umožňuje šíření informace rychleji než je rychlost světla[4].
Historie a původ pojmenování
První polovina 20. století
Prvními, kdo upozornili na existenci velmi silných korelací v kvantové mechanice, byl Albert Einstein a jeho dva spolupracovníci z Princetonu, Boris Podolsky a Nathan Rosen. Ve svém článku „Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?“[5] (česky: „Může být kvantově-mechanický popis fyzikální reality považován za kompletní?“) z roku 1935 došli k závěru, že tyto korelace popírají teorii relativity, protože umožňují šíření informace rychleji než je rychlost světla. Tím pádem nemůže být kvantová mechanika kompletní fyzikální teorií. Podle nich vlnová funkce nepopisuje zcela chování fyzikálního systému a je potřeba k ní dodat něco, co znemožní existenci silných korelací. Z prvních písmen příjmení autorů zmíněného článku se uvedenému fenoménu říká EPR paradox a páru částic vykazujících takto silné korelace se začalo říkat EPR páry.
„ | I would not call that one but rather the characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought. (Neoznačoval bych to [kvantové provázání] za jeden z mnoha, ale spíše za ten hlavní charakteristický rys kvantové mechaniky; ten, který vynucuje naprostý odklon od klasického myšlení.) | “ |
— Erwin Schrödinger, Discussion of Probability Relations between Separated Systems[6] |
Ještě téhož roku publikoval v reakci na objev Einsteina a spoluautorů Erwin Schrödinger svůj (německy psaný) rozsáhlý článek „Die gegenwärtige Situation in der Quantenmechanik“[7] (česky „O současném stavu kvantové mechaniky“) ve kterém se kromě jiného věnoval těmto korelacím a dal jim jméno Verschränkung, jež lze do češtiny přeložit jako překřížení či propletení. Krátce poté publikoval Schrödinger další dva anglicky psané články[6][8], v nichž se věnuje tématu kvantového provázání podrobně. Označuje zde tento jev ne za jeden z mnoha rysů, ale právě za ten rys kvantové mechaniky, který ji odlišuje od mechaniky klasické (ve slavné větě „I would not call that one but rather the characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought.“). Sám Schrödinger pak přeložil termín Verschränkung do angličtiny jako entanglement[6]. Tento překlad je ale poněkud nešťastný, neboť entanglement znamená spíše chaotické zašmodrchání, než precizně popsané propletení. Termín entanglement se nicméně ujal a je zřídka používán i v češtině vedle oficiálního překladu kvantové provázání.
Einstein nebyl z existence kvantového provázání nadšen a označil ho v dopise Maxu Bornovi z roku 1947 slavným výrokem „spooky action at a distance“[9], což lze přeložit jako „děsivá akce na dálku“[pozn. 1]. Chtěl tak odkázat na fakt, že připuštěním existence kvantového provázání by na sebe tělesa v kvantové teorii působila nadsvětelnou rychlostí, podobně jako v případě Newtonovy klasické mechaniky, kde jeden objekt působí gravitační silou na druhý okamžitě na jakkoli velkou vzdálenost. Argument Einsteina, Podolskeho a Rosena, který si bral za příklad dvě částice provázané v jejich hybnosti a poloze, byl později zjednodušen Bohmem [10] do podoby, v jaké se kvantové provázání obvykle představuje dnes: na příkladu dvou částic se spinem 1/2, které jsou provázané ve svém spinu.
Druhá polovina 20. století
V době objevu kvantového provázání nebyla technologie na takové úrovni, aby šlo provést experiment, který by potvrdil či vyvrátil existenci takovýchto korelací. Rozvedením myšlenek Einsteina a spoluautorů se navíc ukázalo, že kvantové provázání lze popsat za jistých okolností i klasicky, pomocí takzvaných skrytých proměnných. Dlouho se tak myslelo, že kvantový a klasický popis jsou dva možné způsoby jak popsat chování mikrosvěta. To se změnilo roku 1964, kdy severoirský vědec John Bell odvodil matematickou nerovnost, která ukázala, že tyto dva popisy nejsou ekvivalentní[11]. Co víc, tuto nerovnost lze dokonce i experimentálně otestovat. Takovéto a podobným nerovnostem se začalo říkat Bellovy nerovnosti a experimentům, které se na základě těchto nerovností snaží vyvrátit popis pomocí skrytých proměnných, se říká Bellovy testy. Na výsledky Bella navázali Clauser, Horne, Shimony a Holt[12], kteří odvodili takzvanou CHSH nerovnost, jež se stala základem moderních Bellových testů.
„ | ...what is proved by impossibility proofs is lack of imagination. (...to, co dokazují důkazy o neproveditelnosti, je nedostatek představivosti.) [na adresu důkazu J. von Neumanna o neexistenci skrytých proměnných.] | “ |
— John Bell, On the Impossible Pilot Wave[13] |
Dosud všechny provedené Bellovy testy naznačují, že provázání nelze popsat skrytými proměnnými[pozn. 2]. Za pomyslnou tečku za sérií Bellových testů, které byly prováděny poslední půlstoletí, lze do značné míry považovat takzvané loophole-free Bellovy testy, které byly v roce 2015 provedeny třemi mezinárodními skupinami[14][15][16]. Tyto testy v podstatě s konečnou platností vyvrátily možnost popisu kvantového provázání pomocí lokálních skrytých proměnných.
Kvantové provázání tedy nelze simulovat klasickou fyzikou. Matematická definice provázání je však tak flexibilní, že nespecifikuje vzájemnou polohu provázaných podsystémů. Když je tato definice slepě použita na dvě různé vlastnosti klasických objektů, lze i v jejich případě prokázat existenci provázání. Fyzikálně vzato ale v takovém případě nedochází k rozporu s teorií relativity, neboť se výsledky měření na jednom podsystému nemusejí šířit k podsystému druhému. Pro bližší informace viz oddíl „Klasické provázání“ výše.
V současnosti je kvantové provázání předmětem velmi intenzivního výzkumu, jak teoretického tak experimentálního. Jedním z velkých stále otevřených problémů moderní kvantové fyziky je klasifikace různých druhů provázání, pokud jde o strukturu provázaných stavů v závislosti na dimenzi a počtu provázaných podsystémů.
Od definice ke korelacím
Matematická definice podaná výše nemusí být na první pohled lehce uchopitelná, uveďme si proto příklad konkrétního myšlenkového experimentu, kde je zdůrazněn rozdíl mezi provázaným a neprovázaným stavem dvou fotonů. Nejprve je vysvětlen pojem korelace, následuje schematický popis experimentu spolu s naměřenými výsledky a nakonec jsou výsledky ověřeny pomocí kvantově-mechanického výpočtu.
Co je to korelace
Když se bavíme o kvantovém provázání, máme na mysli vztahy mezi výsledky různých měření na daném kvantovém systému. Pro pochopení kvantového provázání není příliš podstatné o jaký kvantový systém se konkrétně jedná. A to natolik, že princip provázání lze ilustrovat na příkladu dvou „kvantových“ ponožek, z nichž každá je ukryta v samostatné krabici. Aniž bychom si na tomto místě kladli za cíl rigoróznost, uchýlíme se k vágním termínům, které ale doufejme lépe osvětlí základní myšlenku. V následujícím oddíle je pak stejná diskuze provedena rigorózně.
Představme si, že na začátku máme dvě uzavřené krabice a dvě osoby, Alici a Boba. Alice si vezme jednu krabici, Bob druhou. Tímto jsme připravili náš experiment. Nejprve předpokládejme, že obě ponožky jsou naprosto obyčejné. Dopředu víme pouze to, že jsou buď obě bílé nebo obě černé. Nevíme však, která z těchto dvou barev to je. Dostáváme tak následující situaci:
(bílá ponožka u Alice a bílá ponožka u Boba) nebo (černá ponožka u Alice a černá ponožka u Boba).
Ačkoli nevíme, jsou-li ponožky bílé či černé, víme s jistotou jejich vzájemný vztah: obě jsou rozhodně stejné barvy. Nyní řekneme Alici, ať otevře svou krabici a podívá se na barvu své ponožky. Ta to provede a zjistí, že barva její ponožky je, řekněme, bílá. Co z tohoto výsledku může Alice vyvodit o barvě ponožky Bobovy? Protože obě ponožky mají stejnou barvu, ví Alice okamžitě, že Bobova ponožka je také bílá. Naprosto analogický závěr bychom vyvedli, byla-li by Alicina ponožka černá. Říkáme, že barva Aliciiny ponožky je dokonale korelována s barvou ponožky Bobovy, ačkoli je zcela náhodné, jakou barvu tyto ponožky mají[pozn. 3].
Tolik ke klasickým ponožkám. Obraťme nyní svoji pozornost na ponožky kvantové. Rozdíl oproti klasickým ponožkám tkví v tom, že se nyní barva ponožek může nacházet v kvantové superpozici mezi bílou a černou. Druhá věc, která je odlišná od klasického případu, je způsob, jakým Alice či Bob zjistí barvu svých ponožek. V kvantové mechanice v podstatě dáváme systému na vybranou, ve kterém z předem daných stavů se chce nacházet. Zatímco v klasickém případě jsme se v zásadě ptali své ponožky: „V jaké jsi barvě?“, musíme v kvantové mechanice svoji otázku formulovat jinak. Jednou z možností je: „Jsi bílá, nebo černá?“ Protože se ale kvantové ponožky mohou nacházet i v superpozici bílé a černé barvy, mohli bychom se zeptat i: „Jsi světle šedá, nebo tmavě šedá?“, kde slovy „světle šedá“ a „tmavě šedá“ se jen velmi nedokonale snažíme přiblížit pojem kvantové superpozice. Podobných otázek je ve skutečnosti nekonečně mnoho: Na každý odstín šedé se lze zeptat zvlášť. Dostáváme tak situaci:
(bílá ponožka u Alice a bílá ponožka u Boba) nebo (černá ponožka u Alice a černá ponožka u Boba) nebo (světle šedá ponožka u Alice a světle šedá ponožka u Boba) nebo (tmavě šedá ponožka u Alice a tmavě šedá ponožka u Boba) atd.
Ať se tedy zeptáme na jakoukoli otázku o jejich barvě, víme určitě, že obě ponožky dají stejnou odpověď. A to i když dopředu nevíme, ve které barvě se nacházejí. Existence tohoto vztahu pro velké množství otázek je přesně to, co odlišuje kvantové provázání od klasických korelací. Dostáváme shodu pro velké množství odstínů šedé. Klasické korelace se nenazývají klasické proto, že by byly vázané na klasické objekty, jako naše klasické ponožky výše. I kvantové ponožky nemusejí být nutně provázané a mohou vykazovat jen klasické korelace. Slovo klasické znamená, že vztahy mezi kvantovými ponožkami se podobají vztahům, které mezi sebou mají ponožky klasické. Jedním takovým případem jsou kvantové ponožky, které shodně odpoví „bílá“, zeptáme-li se jich „Jsi bílá, nebo černá?“, které ale v případě jiných odstínů šedé odpovídají různě. Takové ponožky by nám dávaly odpovědi typu:
(bílá ponožka u Alice a bílá ponožka u Boba) nebo (černá ponožka u Alice a černá ponožka u Boba) nebo (světle šedá ponožka u Alice a velmi tmavě šedá ponožka u Boba) nebo (světle šedá ponožka u Alice a lehce tmavě šedá ponožka u Boba) atd.
Vidíme, že pro světle šedou ponožku u Alice dostaneme někdy velmi tmavě šedou ponožku u Boba a někdy jen lehce tmavě šedou. V tomto případě tedy neexistuje jednoznačné přiřazení barev Aliciiny a Bobovy ponožky a korelace tak není dokonalá. Extrémním případem, kdy odpovědi jedné ponožky jsou zcela nezávislé na odpovědích ponožky druhé, odpovídají faktorizovaným kvantových stavům. Kvantově provázané stavy jsou přesně opakem těchto faktorizovaných stavů.
Myšlenkový experiment
V následujícím textu zdůrazníme vlastnosti kvantového provázání tím, že porovnáme chování jednoho konkrétního provázaného stavu s jeho neprovázanou obdobou. Předpokládejme nejprve, že máme zařízení, které produkuje páry fotonů, kde pod pojmem pár se zde vždy rozumí dvojice, nikoliv několik. Tomuto zařízení budeme od teď říkat zdroj. Každý vytvořený foton má určitou polarizaci. Pro následující výklad není podstatná znalost pojmu polarizace, důležité je pouze to, že konkrétní polarizaci jednoho fotonu lze popsat pomocí dvou „základních“ polarizací, horizontální polarizace značené písmenem a vertikální polarizace značené písmenem . Pro konkrétnost uvažujeme provázaný stav tvaru
Tento stav je koherentní superpozice stavů a s přesně danou vzájemnou fází rovnou . Klasickou obdobou této koherentní superpozice je situace, kdy zdroj vysílá v 50 procentech případů pár fotonů ve stavu a ve zbylých 50 procentech pár fotonů ve stavu . Všimněme si, že v těchto případech nemá pojem vzájemné fáze žádný smysl. Formálně se takovéto situaci říká statistická směs, která odpovídá smíšenému stavu a kterou lze zapsat jako množinu dvou možností[pozn. 4]
kde je pravděpodobnost vyslání fotonů ve stavu (a podobně pro ) a kde . V braketovém formalizmu lze stav zapsat ve tvaru
Na animaci níže je vykresleno chování obou stavů. Generování a měření stavu je zobrazeno nalevo, napravo je pak situace pro stav . První foton každého páru letí k měřicí stanici ovládané experimentátorkou Alicí a druhý foton letí k měřicí stanici ovládané experimentátorem Bobem. Oba experimentátoři mohou svůj měřicí přístroj natočit do libovolného úhlu. V základním nastavení měří přístroj, zda se přiletivší foton nacházel v polarizaci nebo . Takovému nastavení se říká měření v bázi a v animaci to odpovídá měření, když je úhel natočení roven nule. Tomuto měření se věnuje následující kapitolka.
![](http://upload.wikimedia.org/wikipedia/commons/c/c6/Quantum_entanglement_vs_classical_correlation_video_short.gif)
Báze H/V
Jak plyne ze zákonů kvantové mechaniky, nemůžeme s jistotou dopředu vědět jakou hodnotu dané fyzikální veličiny naměříme na nějakém kvantovém objektu. Jediné, co můžeme určit, je to, s jakou pravděpodobností tu kterou hodnotu naměříme. O co se zajímáme v případě kvantového provázání je tedy to, jak se chovají tyto pravděpodobnosti pro měření na provázaných objektech. Abychom mohli odhadnout s jakou pravděpodobností se fotony nachází v tom kterém stavu, musíme provézt měření na velkém počtu fotonových párů, které ze zdroje vylétají. Takové měření je zobrazeno v animaci, kde je ovšem v každé bázi včetně báze detekováno pouze osm párů fotonů, což nestačí na spolehlivý odhad pravděpodobnosti. Může se tak stát, že pro dvě možnosti naměříme poměrně rozdílný počet fotonů, ačkoli mohou nastat se stejnou pravděpodobností. Animace je tedy jen pro názornost, pěkně však ilustruje náhodnost kvantového měření. V následujícím předpokládáme, že Alice s Bobem změřili 1000 fotonových párů.
Když Alice a Bob měří své fotony v bázi , ptají se v podstatě svých fotonů: „Jsi ve stavu , anebo ve stavu ?“. Pro každý pár dostane Alice buď klik odpovídající odpovědi „Jsem ve stavu ,“ anebo klik odpovídající odpovědi „Jsem ve stavu .“ Analogicky pro Boba. Získané výsledky mohou vypadat následovně:
Hodnota naměřená Alicí () | Hodnota naměřená Bobem () | Počet kliků pro stav , kdy Alice naměřila a současně Bob naměřil | Počet kliků pro stav , kdy Alice naměřila a současně Bob naměřil |
---|---|---|---|
0 | 0 | ||
495 | 508 | ||
505 | 492 | ||
0 | 0 |
Z těchto výsledků plyne, že vždy, když Alice naměřila polarizaci u svého fotonu, naměřil Bob polarizaci u svého fotonu. Podobně, když Alice naměřila , naměřil Bob polarizaci . Výsledky měření jsou tedy pro Alici a Boba vždy opačné — jinými slovy, jsou dokonale korelovány[pozn. 5]. Tyto závěry platí jak pro kvantově provázaný stav , tak i pro neprovázaný stav . Vidíme tak, že i stav neprovázaný vykazuje jisté korelace v měřeních. V případě stavu se tyto korelace však objevují jen pro některá měřicí nastavení, jak uvidíme v následující kapitolce.
Jen pro úplnost dodejme, že pokud Alice naměří hodnotu a Bob naměří , nabude stav jejich fotonů tvaru
kde označení „post“ znamená, že se jedná o stav částic po jejich změření. Jak vidno, stav částic po změření už není provázaný. Toto pozorování platí nejen v tomto konkrétním případě, ale obecně, pokud Alice a Bob provádějí měření jen na svých částicích a nijak nespolupracují.
Báze D/A
Měření v bázi odpovídá otázka: „Jsi ve stavu , anebo ve stavu ?“, kde jsou stavy a tvaru
V animaci toto měření odpovídá úhlu natočení rovnému 135 stupňů. Podobně jako v předchozí kapitolce, i nyní provedou oba experimentátoři 1000 měření a posléze porovnají své výsledky. Výsledky mohou vypadat zhruba následovně:
Hodnota naměřená Alicí () | Hodnota naměřená Bobem () | Počet kliků pro stav , kdy Alice naměřila a současně Bob naměřil | Počet kliků pro stav , kdy Alice naměřila a současně Bob naměřil |
---|---|---|---|
0 | 250 | ||
499 | 253 | ||
501 | 250 | ||
0 | 247 |
Jak vidno, výsledky pro stav jsou značně odlišné od stavu . Zatímco pro provázaný stav dostaneme výsledky prakticky identické těm pro bázi, pro neprovázaný stav jsou všechny čtyři možnosti zastoupeny (až na drobné odchylky) stejnou měrou. Diskutujme nejprve neprovázaný stav .
Obecně vzato, když se fotony nacházejí ve stavu a my je měříme v bázi , pak vždy změříme, že se fotony skutečně nacházely v polarizaci . Pokud ale stejné fotony měříme v bázi , tak při opakovaných měřeních zcela náhodně dostáváme se stejnou měrou výsledky odpovídající polarizaci a polarizaci . Podobné vztahy platí i pro fotony připravené ve stavu . Důsledkem toho je, že pro stav můžeme naměřit se stejnou pravděpodobností všechny čtyři možnosti . Totéž platí i pro stav . Z tohoto pohledu je tedy zcela přirozené, že pro stav máme stejnou pravděpodobnost pro každou možnost. Tyto výsledky postrádají jakékoliv korelace. Jak je tedy možné, že pro provázaný stav obdržíme buď jen , anebo a tedy opět dokonalou korelaci?
Zde se dostáváme k podstatě kvantového provázání. Existence silných korelací ve více měřicích bázích je charakteristická pro provázané fotony a nevyskytuje se u fotonů, které provázané nejsou. Důležitým faktorem u stavu je to, že se možnosti a nacházejí v kvantové superpozici. Vyjádření tohoto stavu pomocí stavů a je tak jen jednou z mnoha rovnocenných možností, jak tento stav zapsat. Stejně dobře bychom mohli stav zapsat i pomocí stavů a . Pokud ze vzorců pro a na začátku kapitolky vyjádříme stavy a a ty dosadíme do vzorce pro stav , můžeme vskutku zapsat ve tvaru
Jedná se přitom stále o tentýž stav . Podobnou úpravu pro stav udělat nelze.
Právě uvedené závěry plynou i z kvantově-mechanického výpočtu, kde z tvaru kvantového stavu a měřicí báze spočteme pravděpodobnosti naměření různých hodnot polarizace. Výpočet pro provázaný stav se přitom liší od výpočtu pro stav . Pro čisté kvantové stavy, jakým je , spočteme pravděpodobnost naměření výsledku pomocí skalárního součinu stavu a vektoru způsobem
Zcela analogicky bychom obdrželi 1/2 i pro . Dále, protože jak tak jsou ortogonální k oběma členům a , které se vyskytují ve stavu , jsou pravděpodobnosti pro hodnoty a nulové. Neboli .
Pro smíšený stav vyjdeme z odpovídající statistické směsi. S pravděpodobností je vyslán kvantový stav , pro nějž platí
Podobně, s pravděpodobností zdroj vysílá stav , pro nějž bychom analogickým výpočtem obdrželi . Pravděpodobnost naměření hodnot pro stav se spočte pomocí klasického vzorce pro pravděpodobnosti jako
Zcela stejnou pravděpodobnost naměření bychom obdrželi i pro hodnoty , a .
Využití kvantového provázání
Jednou z prvních aplikací kvantového provázání byly Bellovy testy, kde jen díky provázání může dojít k experimentálnímu naměření hodnot, které popírají klasickou fyziku. Velmi široké praktické využití pak nachází kvantové provázání v oblasti kvantové informace a komunikace, kam se řadí například kvantová teleportace či kvantová kryptografie. V neposlední řadě lze kvantové provázání využít pro velmi přesná měření různých fyzikálních veličin, kterážto přesnost přesahuje přesnost dosažitelnou klasickými metodami. Každá z právě uvedených aplikačních oblastí je krátce uvedena níže.
Bellovy testy
Kvantové provázání je i dnes pro mnoho lidí včetně některých vědců tak neintuitivní koncept, že se během posledních desítek let objevily teorie, které si kladou za cíl popsat čistě klasicky chování, jež je charakteristické pro kvantové provázání. Tyto teorie jsou založeny na předpokladu, že výsledky všech měření, které lze hypoteticky na provázaných částicích provést, jsou už předem dány a my jako pozorovatelé pouze nevíme, podle jakého pravidla jsou výsledky k jednotlivým měřením přiřazovány. Kvantová mechanika naproti tomu říká, že výsledek daného měření „vznikne“ až v samotnou chvíli měření. Tento zdánlivě nedůležitý rozdíl má závažné důsledky. Pokud by skutečně existovalo pravidlo, které měřením přiřazuje jejich předem dané výsledky, šlo by takovéto pravidlo vyjádřit podle speciálních proměnných. Protože jako pozorovatelé nemáme k těmto proměnným přístup, jsou v odborné literatuře označovány jako skryté proměnné (anglicky hidden variables). Výsledky měření pak musíme vyprůměrovat přes všechny možné hodnoty skrytých proměnných.
K vyprůměrování experimentálních hodnot dochází i v kvantovém případě. Díky průkopnickým pracím J. Bella se ale ukazuje, že vyprůměrování přes skryté proměnné dává obecně jiné výsledky než průměry kvantově-mechanické[11]. Rozdíl mezi těmito dvěma průměry lze vyjádřit pomocí nerovnosti, které se říká Bellova nerovnost (anglicky Bell inequality). Tuto nerovnost lze experimentálně testovat, čímž obdržíme Bellovy testy (anglicky Bell tests). Bellovy testy umožňují změřit, zda se příroda chová či nechová podle zákonů klasické fyziky. Přísně vzato Bellovy testy neodpovídají na otázku, zda se příroda chová kvantově. Kvantová mechanika je totiž jen jednou z možných neklasických teorií, které vyhovují Bellovým testům. Historie Bellových testů je poměrně dlouhá a je úzce spjata s vývojem poznání kvantového provázání, jak je naznačeno v oddíle „Historie a původ pojmenování“ výše.
Typický Bellův test sestává ze zdroje částic a dvou vzájemně vzdálených měřicích stanic. Zdroj produkuje páry částic, řekněme fotonů, kde jeden foton pak letí k první stanici a jeho dvojče letí ke stanici druhé. Naprosto zásadním u Bellových testů je to, že páry fotonů produkované zdrojem jsou kvantově provázány. Obě stanice pak své fotony měří v různých nastaveních měřicí aparatury — pro konkrétnost řekněme v různých bázích polarizace. Jednou z možných bází je báze tvořená horizontální (H) a vertikální (V) polarizací. Schematický nákres Bellova testu je zobrazen na následujícím obrázku (pro více informací viz popisek, který se zobrazí při kliknutí na obrázek):
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Bell_setup.svg/800px-Bell_setup.svg.png)
Z naměřených výsledků je následně spočtena jistá číselná veličina, typicky označovaná písmenem . Pokud se příroda řídí skrytými proměnnými, může veličina dosáhnout nanejvýš hodnoty 2, neboli
Tato nerovnost je speciálním případem Bellovy nerovnosti a je splněna jen tehdy, chová-li se příroda klasicky[12]. Pokud se však příroda nechová podle skrytých proměnných, ale řekněme kvantově, může veličina nabývat hodnot větších než 2. V ideálním kvantovém případě může dosahovat až hodnoty , což je zhruba rovno 2.83. Pokud se tedy příroda nechová klasicky, tak naměřené výsledky nevyhovují Bellově nerovnosti.
U Bellových testů je důležité, že se informace nemůže šířit rychleji než světlo. Stanice jsou naschvál vzdáleny natolik, že měření jedné stanice nemůže ovlivnit měření ve stanici druhé. Klasickým teoriím, které pracují se skrytými proměnnými a navíc s předpokladem, že rychlost šíření informace nepřekračuje rychlost světla, se říká lokální realistické teorie (anglicky local realistic theories). Lokální kvůli nemožnosti jedné stanice ovlivnit měření ve stanici druhé a realistické proto, že jsou výsledky měření popsány již dopředu skrytými proměnnými.
Kvantová komunikace
Do této oblasti spadají nejrůznější komunikační protokoly, které využívají kvantových vlastností nosičů informace. Zde uvedeme jen několik nejzákladnějších.
Kvantová kryptografie
Klasická kryptografie se snaží zabezpečit přenos informací tak, aby se k nim nedostala nějaká třetí osoba. Jedním ze způsobů, jak skrýt tuto informaci před odposlechnutím, je její zašifrování pomocí předem daného klíče. Cílem kvantové kryptografie je využít pro přenos informace kvantových objektů a navrhnout přenos tak, že potenciální odposlouchávání je znemožněno už z principu samotnými zákony kvantové mechaniky.
Dvěma nejdůležitějšími kvantově-kryptografickými protokoly jsou BB84 a E91. Zatímco ten první není založen na kvantovém provázání, ten druhý je. Kryptografický protokol E91 vynalezl Artur Ekert v roce 1991 a jeho princip fungování je velmi blízký Bellově testu, viz předchozí oddíl[18]. Účelem protokolu je vytvoření tajného klíče, který je sdílen dvěma komunikujícími stranami, Alicí a Bobem. Tento klíč pak mohou obě strany použít pro vzájemný šifrovaný přenos informace. Ze všeho nejdříve je k Alici a Bobovi vyslán velký počet dvojic provázaných fotonů. Z každé dvojice letí jeden foton k Alici a druhý k Bobovi. Oba následně měří své fotony v různých nastaveních svých měřicích přístrojů. Tento krok je v podstatě totožný s prováděním Bellova testu s tím rozdílem, že část výsledků není použita pro výpočet veličiny . Místo toho jsou některé výsledky použity jako hodnoty tajného klíče. Z hodnoty veličiny lze navíc zjistit, nenarušoval-li někdo provázané fotony detekované Alicí a Bobem. To je velký rozdíl oproti klasické kryptografii — komunikující stanice dokážou změřit, zda jejich komunikaci někdo odposlouchává. Pokud je hodnota příliš malá, je to důkazem odposlouchávání. Alice s Bobem v takovém případě zkusí celý protokol od začátku. Pokud tato hodnota ale překračuje , nemohlo k žádnému nechtěnému odposlouchávání dojít. Komunikace tak byla bezpečná a získaný tajný klíč lze použít pro šifrovanou komunikaci.
Kvantová teleportace
Jedním z nejvýznamnějších a nejznámějších kvantově-informačních protokolů je kvantová teleportace[19] (anglicky quantum teleportation). Úkolem kvantové teleportace je přenést stav kvantové částice z jednoho místa na druhé pomocí klasického informačního signálu.
I přes značnou ideovou podobnost by nebylo přesné a zcela fér označovat kvantovou teleportaci za teleportaci známou z vědecko-fantastických filmů. Svým principem se totiž od té fiktivní liší a po technologické stránce jí ve srovnání s fiktivní předlohou chybí ještě drahný kus cesty. Dosud se vědcům podařilo teleportovat stav jednotlivých fotonů, přičemž každé další zobecnění této metody na více a více částic si žádá hrozivě obrovské technologické nároky.
Předpokládejme, že Alice chce teleportovat svůj foton Bobovi. Naprosto zásadní pro fungování celého protokolu je, že před samotnou teleportací vlastní Alice dohromady s Bobem jeden pár provázaných fotonů. Alice má jeden provázaný foton a Bob má jeho provázané dvojče. Pro zahájení přenosu nejprve Alice změří svůj soukromý foton, který chce teleportovat, společně se svojí půlkou provázaného páru. V nejjednodušší verzi kvantové teleportace obdrží Alice tímto měřením jeden ze čtyř možných výsledků. Tento výsledek následně přepošle Bobovi. Ten na základě obdrživší zprávy aplikuje jednu ze čtyř možných operací na svoji polovinu provázaného páru, čímž obdrží foton, jehož stav je identický stavu, ve kterém se nacházel původní Alicin foton. Celkem vzato, stav Aliciina fotonu byl teleportován Bobovi pomocí přenosu klasické zprávy, jež říká, který ze čtyř možných výsledků Alice naměřila.
Superhusté kódování
U kvantové teleportace je podstatné, že pro přenos informace o kvantovém stavu posílá Alice Bobovi klasickou zprávu. Můžeme ale uvažovat i případ, kdy zasláním kvantové zprávy chceme přenést informaci klasickou. Dostaneme tak tzv. superhusté kódování[20] (anglicky superdense coding). Podobně jako u kvantové teleportace vlastní na počátku Alice a Bob dvojici provázaných fotonů. Nyní chce ale Alice poslat Bobovi klasickou zprávu. V nejjednodušším případě chce Bobovi zaslat jednu ze čtyř předpřipravených zpráv. Co udělá je, že v závislosti na zprávě, kterou chce poslat, aplikuje Alice na svůj foton jednu ze čtyř operací a tento foton pak pošle Bobovi. Ten má tak následně ve svém vlastnictví dva fotony. Oba společně změří, čímž dostane jeden ze čtyř možných výsledků. Konkrétní výsledek závisí na operaci, kterou Alice aplikovala na svůj foton. Protože lze čtyři hodnoty zakódovat pomocí dvou bitů, můžeme výsledek komunikace shrnout tak, že přenosem pouze jednoho fotonu poslala Alice dva bity informace.
Kvantové sdílení tajemství
Uvažme ne zcela nepravděpodobnou situaci, ve které má jistý bohatý člověk, řekněme Alice, uložený velký obnos peněz v zahraniční bance, jejíž sejf se nachází na druhé straně planety. Z jistých důvodů potřebuje Alice tento obnos vybrat v hotovosti. Protože je ale Alice časově vytížený člověk, zaúkoluje dva zprostředkovatele, kteří mají peníze ze sejfu vybrat. Nechá je odcestovat na druhou stranu planety a na poslední chvíli jim zašle kód k sejfu. Alice si však není jistá, zda je první i druhý zprostředkovatel čestný a nebude se chtít na její útratu obohatit. Alice může tento problém vyřešit tak, že kód k sejfu rozdělí na dvě části a každému zprostředkovateli zašle jen jednu část. Aby pak mohli peníze ze sejfu získat, musí oba zprostředkovatelé spolupracovat. Je velmi nepravděpodobné, že by oba měli zlé úmysly. Pokud má zlé úmysly jen jeden z nich, může na něho ten druhý dohlédnout a v případě pochybností mu nevydat svou část kódu. Tento způsob rozdělení zprávy odpovídá klasickému kryptografickému protokolu zvanému sdílení tajemství. Jeho kvantovou obdobou je kvantové sdílení tajemství[21] (anglicky quantum secret sharing). Využití kvantových nosičů informace navíc přináší další výhodu — veškerá komunikace mezi Alicí a zprostředkovateli může proběhnout naprosto bezpečně bez odposlouchávání. Na rozdíl od všech tří výše uvedených protokolů, které pracovaly s dvoučásticovými provázanými stavy, kvantové sdílení tajemství vyžaduje vícečásticové stavy jako jsou např. GHZ stavy. Celý protokol lze zobecnit i pro větší počet zprostředkovatelů. V takovém případě musí spolupracovat úplně všichni zprostředkovatelé. Pokud alespoň jeden nespolupracuje, nemohou ostatní zprostředkovatelé získat ze zaslané zprávy žádnou užitečnou informaci.
Kvantová metrologie
Účelem kvantové metrologie (anglicky quantum metrology) je využití kvantových jevů, jako např. kvantového provázání, pro zvýšení přesnosti měření nejrůznějších fyzikálních veličin. Zde si uvedeme konkrétní případ s NOON stavy, kde měřenou fyzikální veličinou je lokální fáze světelného paprsku. Když zasvítíme laserem do jednoho ze vstupních portů Mach-Zehnderova interferometru, můžeme za výstupními porty sledovat interferenční obrazec. Tento obrazec závisí na lokální fázi mezi dvěma rameny interferometru a z jeho tvaru lze tuto fázi změřit. Ukazuje se, že při použití vhodných kvantových stavů lze zvýšit přesnost tohoto měření. Popišme si tento experiment přesněji níže.
Mach-Zehnderův interferometr sestává ze dvou děličů paprsků. Máme-li na počátku světlo ve stavu , kde označuje jeden ze vstupních portů, změní se jeho stav po průchodu prvním děličem do tvaru
Písmeno nyní označuje jedno rameno interferometru a označuje rameno druhé. V praxi nejsou délky těchto ramen stejné, ale trochu se liší. Průletem ramena tak paprsek naakumuluje trochu jinou fázi než paprsek procházející ramenem . Označme si rozdíl těchto dvou fází symbolem . Pro průchodu oběma rameny dostáváme světlo ve stavu
Tyto dva paprsky dorazí k druhému děliči, kde zinterferují a výsledný stav je tvaru
kde nyní a označuje po řadě první a druhý výstupní port interferometru. Z tohoto stavu lze určit intenzitu světla, které vychází z portu . Tato intenzita je rovna
Podobně dostaneme i intenzitu pro port :
Vidíme, že z tvaru intenzit, které lze v reálném experimentu poměrně snadno změřit, lze určit hodnotu lokální fáze . Konkrétně, intenzity závisí na veličině . Právě provedené závěry spolu se vzorci pro výsledné intenzity jsou platné i pro klasické světlo. Zkusme nyní studovat stejný experiment, kde do interferometru pošleme speciálně navržený stav velkého počtu fotonů. Označme si tento počet symbolem . Po průchodu prvním děličem paprsků se tyto fotony nacházejí ve stavu
který představuje kvantovou superpozici dvou možností. Buď všech fotonů letí ramenem , anebo všech fotonů letí ramenem . To, že nyní v jednom rameni může letět mnoho fotonů, je důležité, protože lokální fáze je úměrná jejich počtu. Konkrétně, fáze naakumulovaná fotony je rovna . Těsně před druhým děličem jsou tak fotony ve stavu
Z tohoto vzorce můžeme, podobně jako v předchozím případě, odvodit intenzity. Tyto intenzity závisí na veličině . Odpovídající interferenční obrazec tak obsahuje -krát více interferenčních minim než interferenční obrazec pro klasické světlo. Dostáváme tak -krát větší přesnost při použití kvantového stavu, než když používáme klasické světlo.
Z metrologického hlediska se ale provázání nevztahuje k superpozici.[22]
Terminologie
Pro popis kvantového provázání a souvisejících vlastností kvantových systémů se používá následujících pojmů, jejichž definice závisí na tom, zda je daný systém v čistém či smíšeném kvantovém stavu. Pro jednoduchost budeme uvažovat systémy sestávající pouze ze dvou podsystémů.
Čisté stavy dělíme na dvě skupiny:
- Kvantový stav je separabilní (anglicky separable) neboli neprovázaný, pokud ho lze zapsat ve tvaru tenzorového součinu , kde je stav prvního podsystému a je stav druhého podsystému.
- V opačném případě je daný stav kvantově provázaný (anglicky entangled) neboli neseparabilní (anglicky non-separable).
Smíšené kvantové stavy jsou popsány operátorem hustoty . Pokud jde o druhy korelací, máme v případě smíšených stavů tři možnosti:
- Pokud lze operátor vyjádřit jako tenzorový součin , kde je stav prvního podsystému a je stav druhého podsystému, nazýváme faktorizovaný stav.
- Pokud lze stav vyjádřený operátorem zapsat jako sumu faktorizovaných stavů, nazýváme ho separabilní stav nebo statistická směs nebo klasicky korelovaný stav. Takový stav je tvaru , kde jsou stavy prvního podsystému, jsou stavy druhého podsystému a čísla tvoří pravděpodobnostní rozdělení, tj. a navíc .
- Všechny smíšené stavy , které nejsou separabilní, se nazývají kvantově provázané.
V úvodu článku jsme pro jednoduchost uvažovali provázání dvou částic, které byly navíc provázány jen v jedné fyzikální veličině a navíc byly provázány maximálně. Nic nám ale nebrání uvažovat systémy více částic s více fyzikálními veličinami, kde jsou ještě různé částice provázány jen do určité míry. Kvantové stavy tak mohou mít velmi komplikovanou strukturu. Pokud jsou provázány více než dvě částice, jedná se o vícečásticové provázání. V případě vícečásticových systémů se může stát, že jen některé částice v tomto systému jsou kvantově provázány a navíc každá z těchto částic je provázána s různým počtem částic zbylých.
Nejjednodušším příkladem provázání je to, kde jsou částice provázány ve fyzikální veličině, která může nabývat dvou hodnot. (Přesněji řečeno, kde jsou částice provázány ve dvourozměrném stupni volnosti.) Takovou veličinou je například polarizace fotonů, kde může být každý foton buď horizontálně nebo vertikálně polarizovaný. V takovémto případě hovoříme o dvourozměrném kvantovém provázání (anglicky two-dimensional entanglement). Ekvivalentně lze říci, že dimenze provázání (anglicky entanglement dimension) je rovna dvěma. Může se ale stát, že jsou částice provázány ve vlastnosti, která může mít tři a více hodnot. Příkladem je například frekvence či hybnost fotonů. Pokud má ona vlastnost tři možné hodnoty (přesněji, pokud je stupeň volnosti trojrozměrný), mluvíme o trojrozměrném provázání, kde je dimenze provázání rovna třem. Pokud je hodnot tři a více, tak obecně mluvíme o vícerozměrném provázání (anglicky high-dimensional entanglement). Může se stát i to, že dvě částice jsou provázány jen dvourozměrně ve vlastnosti, která může nabývat vícero hodnot.
Pokud jsou dvě částice provázány ve dvou různých vlastnostech, jedná se o hyperprovázání (anglicky hyper-entanglement)[23][24]. Příkladem může být dvojice fotonů, které jsou provázané ve své polarizaci a k tomu jsou navíc provázané i ve svých frekvencích. Jejich stav tak může vypadat například takto
kde označuje frekvenci odpovídající červené barvě a podobně označuje frekvenci odpovídající modré barvě. Odlišným pojmem je hybridní provázání (anglicky hybrid entanglement), kde jedna vlastnost jedné částice je provázána s druhou vlastností druhé částice. Příkladem takového provázání je následující stav
kde význam všech symbolů je stejný jako u předchozího stavu.
Experimentální generování provázaných stavů
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1a/SPDC_II_3D_model.svg/400px-SPDC_II_3D_model.svg.png)
Kvantové provázání lze vytvořit různými způsoby pro různé kvantové systémy. Jedním z nejoblíbenějších takových systémů jsou v současnosti páry fotonů. Zdaleka nejpoužívanějším způsobem generování provázaných fotonů je spontánní parametrická sestupná konverze[25][26] (anglicky spontaneous parametric down-conversion, zkratka: SPDC). Pokud je speciálně vyrobený nelineární krystal (např. ppKTP či BBO) vystaven silnému laserovému záření, dochází v tomto krystalu k procesu sestupné konverze, během něhož jsou náhodně vytvářeny páry fotonů. Tyto fotony jsou provázány v mnoha svých vlastnostech v závislosti na typu SPDC procesu a použitém laserovém záření. Takto lze produkovat fotony provázané v jejich polarizaci, frekvenci, hybnosti, času vzniku (tzv. time bins) či orbitálním momentu hybnosti (OAM).
Popišme si v krátkosti princip generování fotonových párů, které jsou provázány ve své polarizaci. Existuje několik typů procesu SPDC, my se zaměříme na nekolineární typ II, ve kterém mají oba fotony vzájemně kolmé polarizace a vylétávají ze zdroje v různých směrech. Zdrojem je v tomto případě nelineární krystal, do něhož je soustředěn silný laserový paprsek o vhodné vlnové délce. Následkem SPDC procesu se v krystalu náhodně čas od času[pozn. 6] vytvoří dvojice fotonů, kde je jeden foton polarizovaný horizontálně a ten druhý vertikálně. Můžeme tak obdržet dvě možnosti. Buď
nebo
kde a označují po řadě horizontální a vertikální polarizaci. Horizontálně polarizovaný foton vylétává z nelineárního krystalu v různých směrech a v různých vlnových délkách. Pokud sledujeme pouze jednu konkrétní vlnovou délku, tak všechny možné směry leží na kuželu vycházejícím z místa vzniku fotonů, viz obrázek napravo. Podobně i vertikálně polarizovaný foton vylétává podél směrů, které dohromady tvoří kužel s počátkem v místě vzniku fotonů. Tento kužel ale míří jiným směrem než kužel pro horizontálně polarizované fotony. Důležité je, že oba kužely se ve dvou místech protínají. Pokud umístíme detektory přesně do těchto průniků, tak nelze při detekci fotonu určit, zda byl horizontálně či vertikálně polarizovaný. Co víc, krystal vždy generuje dvojici fotonů a když jeden foton letí jedním průnikem, musí nutně z geometrického uspořádaní letět druhý foton průnikem druhým. Obě možnosti jsou koherentní a dostáváme tak koherentní superpozici dvou výše uvedených stavů:
kde je lokální fáze, jejíž hodnota je dána konkrétními parametry daného experimentu. Vzhledem k tomu, že takto vytvořené fotony se kvůli kvantovému provázání chovají jako jeden celek, používá se pro ně v angličtině někdy pojmu biphoton.
Význačné příklady provázaných stavů
Kvantové stavy mohou mít velmi komplikovanou strukturu, kdy jsou například provázány jen některé částice anebo kdy jsou jednotlivé částice provázány s různým počtem částic zbylých. Níže jsou uvedeny příklady některých důležitých tříd kvantově provázaných stavů.
Bellovy stavy
Patrně nejznámějším příkladem provázaných stavů jsou takzvané Bellovy stavy (anglicky Bell states), které představují nejjednodušší druh kvantového provázání. Jedná se o dvourozměrné maximálně provázané stavy dvou částic, které jsou následujícího tvaru:
kde označuje první částici a označuje částici druhou. Tyto částice se pak označují jako Bellovy páry (anglicky Bell pairs) nebo obecněji jako EPR páry (anglicky EPR pairs). Bellovy stavy nacházejí uplatnění v různých komunikačních protokolech jako je kvantová teleportace či superhusté kódování. Další aplikací je jejich využití v Bellových testech.
GHZ stav
Bellovy testy nejsou jediným způsobem jak experimentálně ověřit, zda se svět chová podle skrytých proměnných. Alternativou je takzvaný GHZ argument, jehož název se skládá z iniciál jeho tvůrců: Greenberger, Horne a Zeilinger[27][28]. Základem tohoto argumentu je provázaný stav tří částic, , a , který nese označení GHZ stav (anglicky GHZ state) a který je tvaru:
Specifikem tohoto stavu je, že když zahodíme kteroukoli ze tří částic, přestávají být dvě zbylé částice provázané. Tento stav nachází uplatnění i mimo testy se skrytými proměnnými. Lze ho použít například v tzv. quantum secret sharing[21].
W stav
Jistým protipólem GHZ stavu je takzvaný W stav (anglicky W state)[29]. Jeho tvar pro tři částice označené , a zní
Na rozdíl od GHZ stavu, pokud zahodíme kteroukoli ze tří částic, zůstanou dvě zbylé částice kvantově provázány. Ukazuje se, že ve třech rozměrech existují jen dva základní druhy kvantového provázání. Prvním druhem je provázání typu GHZ a druhým druhem je provázání představované W stavem[29].
Dickeho stavy
Zobecněním W stavu dostaneme Dickeho stavy (anglicky Dicke states). Dickeho stav je rovnoměrná superpozice -částicových dvourozměrných stavů, kde je přesně částic ve stavu a ostatní jsou ve stavu . Takže například stav má tvar
kde je zkrácený zápis pro atd. Původní trojčásticový W stav je roven Dickeho stavu .
NOON stavy
Kvantové systémy lze úspěšně využít pro přesnější měření veličin, které lze jinak měřit i klasicky. Jedním z příkladů takových systémů je soubor fotonů, které se pohybují po jedné ze dvou možných drah. Označme si první dráhu písmenem a podobně dráhu druhou písmenem . Takzvaný NOON stav (anglicky NOON state) je stav těchto fotonů, který má ve Fockově bázi tvar
Tento stav lze interpretovat tak, že buď všech fotonů letí po dráze , anebo všech fotonů letí po dráze . Čím větší je počet , tím větší přesnosti měření lze dosáhnout, jak je nastíněno v oddíle „Kvantová metrologie“ výše. Název stavu plyne z jeho zápisu ve Fockově bázi a anglicky se vyslovuje stejně jako anglické slovo noon znamenající poledne.
Wernerovy stavy
Všechny výše uvedené příklady jsou čisté stavy. Kvantové provázání se ale vyskytuje i u smíšených kvantových stavů. Význačným příkladem takových stavů jsou Wernerovy stavy (anglicky Werner states), jež lze v nejjednodušší formě zapsat ve tvaru
Jedná se o směs Bellova stavu a maximálně smíšeného stavu . Parametr určuje poměr, v jakém jsou tyto dva stavy namíchány, a tím pádem i zda je Wernerův stav provázaný či nikoliv. Pro dostáváme Bellův stav, pro dostáváme stav maximálně smíšený. Parametr ve vzorci výše může nabývat hodnot v rozsahu . Lze přitom ukázat, viz oddíl „Verifikace provázání“ níže, že pro je výsledný Wernerův stav kvantově provázaný.
Vztahy mezi podsystémy
Níže jsou v krátkosti diskutovány dva obecné druhy vztahů mezi provázanými podsystémy nějakého kvantového systému — vztahy strukturní, které definují tvar kvantového stavu, a vztahy kauzální, které určují jakým způsobem se vůči sobě podsystémy chovají.
Stav systému vs. stavy podsystémů
Podstata kvantového provázání, alespoň v jeho základní podobě, leží v odlišnosti mezi chováním systému dvou částic jako celku a chování obou částic jako dvou rozdílných systémů. Soustřeďme se na příklad dvou fotonů, které se nacházejí v provázaném stavu zmíněném v oddíle „Jednoduchý příklad“ výše. Pokud chápeme oba fotony jako jeden celek, stav tohoto celku zní
Pokud tedy měříme dohromady oba fotony, budou výsledky měření v souladu s tímto kvantovým stavem. Například naměříme-li hodnotu 0 na prvním fotonu, víme s naprostou jistotou, že druhý foton má též hodnotu 0. Podobně dostaneme-li první foton ve stavu , bude i druhý foton ve stavu . Po změření prvního fotonu je stav fotonu druhého pevně určen. Lze tak říci, že máme o stavu obou fotonů jako celku maximální znalost.
Velmi odlišnou situaci však obdržíme, měříme-li pouze jeden foton, řekněme ten první, a o stav druhého fotonu se nezajímáme. V takovém případě nám výsledky měření řeknou, že má první foton stav úplně náhodný — foton se se stejnou pravděpodobností nachází v jakékoliv možné superpozici stavu a . Matematicky lze tento výsledek obdržet tím, že ze stavu dvou fotonů vyextrahujeme stav fotonu prvního pomocí částečné stopy
Matice hustoty prvního fotonu je tedy násobek jednotkové matice. Vzorec výše je matematickým zápisem toho, že se první foton nachází v tzv. maximálně smíšeném stavu. Následkem toho můžeme na prvním fotonu naměřit jak , tak , ale i naprosto kterýkoli jiný stav. Měřením na takovém fotonu tudíž nezískáme žádnou novou informaci.
Právě uvedený konkrétní příklad lze shrnout slovy, které ilustrují podstatu kvantového provázání, a sice:
Ačkoliv víme vše o stavu celku, nevíme nic o stavech jeho částí.
Toto tvrzení odporuje naivní každodenní představě, že abychom pochopili chování celku, musíme chápat chování jeho jednotlivých součástí. To, co je v celku navíc, a není v jednotlivých částech, jsou vztahy mezi těmito částmi. Výše uvedený příklad je extrémním případem, kde vztahy mezi částmi, tedy korelace mezi oběma fotony, představují veškerou informaci obsaženou ve stavu . Stavům s touto vlastností se říká maximálně provázané stavy.
Korelace vs. kauzalita
Pro konkrétnost uvažujme následující experiment. Máme dvě měřicí stanice, označené a , a zdroj, který produkuje maximálně provázané páry fotonů ve stavu
Jeden foton následně letí k měřicí stanici a druhý letí opačným směrem k měřicí stanici . Pro maximálně provázané částice platí, že když změříme stav na částici doletivší do stanice , víme okamžitě výsledek odpovídajícího měření provedeného na částici druhé, která letí do stanice . To platí i tehdy, když jsou od sebe obě stanice biliony kilometrů daleko. V takovém případě ale můžeme, podobně jako Einstein v roce 1935[5], protestovat, že toto tvrzení popírá jeden z principů teorie relativity, podle něhož se informace nemůže šířit rychleji než je rychlost světla[30][31]. Světlu totiž může trvat roky se dostat ze stanice do stanice .
K žádnému rozporu ovšem nedochází, protože když stanice změří stav své částice, stanice neví, jaký výsledek stanice obdržela. Stanice sice ví, co stanice naměří, aby tuto informaci ale mohla stanici předat, musí poslat k informaci o výsledku. Tato informace ale skutečně poletí nanejvýš rychlostí světla. Stanice by tedy musela čekat roky, aby se dozvěděla o výsledku měření na své vlastní částici.
Ve skutečnosti ani stanice ani stanice dopředu nevědí, jaký bude výsledek měření. Jeho výsledek je náhodný (viz předchozí oddíl o stavu prvního fotonu). Až ve chvíli, kdy stanice naměří daný stav na své částici, je schopna říct, jaký výsledek obdrží stanice . Tímto způsobem tedy nelze posílat informaci. Aby mohla stanice poslat nějakou zprávu stanici pomocí kvantového provázání, musel by výsledek měření vycházet podle přání stanice , která by pak mohla zakódovat svou zprávu do výsledků měření. V našem případě by za možné kódování mohla použít binární reprezentaci pomocí nul a jedniček, kde nule odpovídá stav a jedničce odpovídá stav . Protože ale stanice dopředu neví, jestli naměří nebo , nemůže tímto způsobem poslat žádnou smysluplnou zprávu.
Tato situace je příkladem tvrzení, že korelace neimplikuje kauzalitu[32]. Výsledky měření pro stanice a jsou shodné (silná korelace), ale ani ani nemůže cíleně ovlivnit výsledek svého měření (žádná kauzalita). Dostáváme tedy:
Kvantové provázání vykazuje korelaci, nikoliv kauzalitu.
Verifikace provázání
Prokázat, že je daný kvantový stav skutečně kvantově provázaný, je obecně netriviální úkon. A to jednak z teoretických, jednak z praktických důvodů. Z teoretického hlediska je náročné určit, zda je daný stav provázaný, především proto, že se vzrůstající dimenzí systému dramaticky narůstá složitost možných kvantových stavů. To platí především pro smíšené kvantové stavy, kde je třeba studovat všechny možné rozklady stavu do stavů podsystémů, viz oddíl „Terminologie“ výše. Prokázání provázaní daného systému je tedy náročné i tehdy, víme-li přesně jemu odpovídající matici hustoty. V reálných experimentech se pak navíc přidávají ještě obtíže související s omezenými technickými možnostmi experimentu.
Z tohoto důvodu byla odvozena různá kritéria, která je relativně snadné ověřit a která podávají informaci, zda je daný kvantový stav provázaný či nikoliv. Z pohledu teoretického je snadné taková kritéria ověřit matematicky, z pohledu experimentálního je snadné provézt odpovídající měření na daném kvantovém systému. Metody, pomocí kterých se zjišťuje, zda je daný stav provázaný či nikoliv, se souhrnně označují jako verifikace provázání (anglicky entanglement verification).
PPT kritérium
Jednou z prvních takových metod je PPT kritérium (anglicky PPT criterion), kde PPT je zkratkou pro positive partial transpose neboli pozitivní částečnou transpozici. Stejné kritérium se nazývá též Peres-Horodecki kritérium podle svých objevitelů[33][34]. Toto kritérium lze formulovat slovy:
Pokud má částečná transpozice matice hustoty zápornou vlastní hodnotu, tak je odpovídající stav provázaný.
Je důležité zmínit, že toto tvrzení je jen jednosměrná implikace. Může se tedy stát, že máme provázaný stav, kde ale všechny vlastní hodnoty jeho částečné transpozice jsou kladné. Lze však dokázat, že pro případ dvou systémů provázaných ve dvourozměrném stupni volnosti platí i opačná implikace. Uveďme si jednoduchý příklad použití tohoto kritéria. Mějme smíšený stav polarizace dvou fotonů, jemuž odpovídající matice hustoty je tvaru
kde číslo je v rozmezí hodnot . Jedná se tedy o Wernerův stav a explicitně jeho matice hustoty zní
- .
Kdybychom chtěli vycházet přímo z definice kvantového provázání smíšených stavů, museli bychom nějak ukázat, že neexistuje soubor čistých stavů a jim odpovídající pravděpodobnostní rozdělení, které by zreprodukovaly matici , viz oddíl „Terminologie“ výše. Takovýchto souborů je ale nekonečně mnoho. Je proto výhodnější použít nějakého kritéria, které nám řekne, zda je kvantově provázaný stav. Pro použití PPT kritéria musíme nejprve spočíst částečnou transpozici. Pro matici rozměru je částečná transpozice rovna matici
- .
Vlastní hodnoty matice jsou tvaru
Pokud je alespoň jedna z těchto hodnot záporná, je daný stav kvantově provázaný. Pokud by všechny vlastní hodnoty byly nezáporné, tj. , dostali bychom podmínky a , ke kterým ještě musíme přidat počáteční omezení pro parametr . Celkově vzato, pro hodnoty je stav separabilní a pro hodnoty
je daný stav kvantově provázaný.
Svědci provázání
Jinou, velmi obecnou, metodou jsou takzvaní svědci provázání (anglicky entanglement witnesses). Lze ukázat, že pro každý kvantově provázaný (obecně smíšený) stav lze najít kvantový operátor tak, že platí:
Pokud kvantový stav (resp. jeho matice hustoty) splňuje , kde označuje stopu matice, pak je stav kvantově provázaný.
Důvod, proč operátor závisí na stavu je ten, že výše uvedené tvrzení nelze obrátit. Existují tedy provázané stavy, ty které jsou v jistém smyslu „daleko“ od , pro které dostaneme . Pro tyto stavy ale můžeme zkonstruovat jejich vlastní operátory . Dostaneme tak celou řadu nerovností analogických nerovnosti v boxu výše.
Uveďme si nyní příklad použití konkrétního svědka provázání. Za stav si zvolme čistý Bellův stav , tj. , pro nějž bez bližšího vysvětlení zvolíme operátor ve tvaru
Studujme nyní vlastnosti Wernerova stavu uvedeného v předchozím oddíle o PPT kritériu. Mějme tedy opět dva fotony ve stavu popsaného maticí
kde je parametr, jehož hodnota letí v rozmezí . Pro stopu dostáváme
Pokud je výsledná hodnota záporná, je odpovídající Wernerův stav kvantově provázaný. Vezmeme-li v úvahu i omezení na hodnoty parametru , dostáváme, že stav je provázaný pokud
Kvantifikace kvantového provázání
Výše byly převážně uvažovány kvantově provázané stavy, které vykazovaly naprosto dokonalé korelace. Částice ale mohou být kvantově provázány jen do určitě míry. V takovém případě je účelné tuto míru kvantifikovat. Pokud jsou částice provázány dokonale, tak říkáme, že se nacházejí v maximálně provázaném stavu (anglicky maximally entangled state). V opačném případě jsou ve stavu nemaximálně provázaném (anglicky non-maximally entangled state). Bylo zavedeno mnoho různých měřítek, která se snaží popsat, jak moc jsou dané částice provázány. Těmto měřítkům se říká míry provázání[35] (anglicky entanglement measure). Níže uvedeme jen některé z nich.
Entropie provázání
Klasická entropie je veličina, která kvantifikuje míru neznalosti. Její kvantovou obdobou je von Neumannova entropie , jež se pro operátor hustoty spočte dle vztahu
- ,
kde označuje stopu matice a je maticový logaritmus. Čisté stavy mají entropii nulovou, protože neobsahují žádnou klasickou náhodnost. To platí i pro čisté provázané stavy. Jak je uvedeno výše, kvantově provázané stavy obsahují (alespoň) část své informace ve vztazích mezi částicemi a proto stav pouze první částice nebo stav pouze druhé částice část informace postrádá. Entropie těchto jednotlivých stavů je tak nenulová. Čím víc nenulová entropie, tím více informace je obsaženo ve vzájemné vazbě částic a ne v jejich stavu samotném. A tím také silnější jejich kvantové provázání. Toto pozorování umožňuje definovat míru provázání, která se nazývá entropie provázání (anglicky entropy of entanglement). Ukazuje se, že pro klasifikaci kvantového provázání čistých kvantových stavů si v zásadě vystačíme jen s touto jedinou veličinou. Uvažujme nejprve systém sestávající ze dvou podsystémů, který se nachází v čistém kvantovém stavu . Stav prvního podsystému (označme si ho ) získáme tak, že provedeme částečnou stopu stavu , tj.
- .
Stav druhého podsystému obdržíme zcela analogicky jako . Entropie provázání je pak definována vztahem
.
Z vlastností čistých stavů plyne, že a definice výše tak nezávisí na volbě podsystému.
Entanglement of formation
Míra, jejíž anglický název entanglement of formation by šel do češtiny neuměle přeložit jako „provázání zformování“, je svým způsobem zobecněním entropie provázání, viz výše, pro smíšené kvantové stavy. Máme-li dán smíšený stav , můžeme tento matematicky vyjádřit ve tvaru
pro nějaké pravděpodobnostní rozdělení a nějaký soubor čistých stavů . Smíšený stav tak lze chápat jako průměr přes několik různých čistých stavů. Zdá se tak přirozené kvantifikovat provázání ve smíšeném stavu jako průměr entropie provázání pro jednotlivé čisté stavy pomocí vzorce
Problém s touto veličinou je ten, že výše uvedený rozklad smíšeného stavu do stavů čistých není jednoznačný. Existuje tedy mnoho různých možností jak volit pravděpodobnostní rozdělení i čisté stavy a průměr výše tak může mít různé hodnoty. Aby se předešlo této nejednoznačnosti, je entanglement of formation definován jako ta nejmenší hodnota ze všech těchto různých hodnot. Nejmenší hodnotu obdržíme jako infimum ze všech možných průměrů vzorcem
Entanglement cost
Další veličinou, která kvantifikuje provázání smíšených stavů, je entanglement cost, což lze do češtiny přeložit jako „cena provázání“. Už jen samotná definice této veličiny je tak složitá, že se zde omezíme jen na vysvětlení definičního vzorce. Ačkoli je tato veličina důležitá při teoretickém studiu kvantového provázání, je složitost její definice překážkou pro výpočet její hodnoty pro konkrétní kvantové stavy[35].
Začněme s několika obecnými pozorováními. Důvodem, proč se vůbec snažíme kvantifikovat kvantové provázání, je snaha určit, zda je jeden stav více provázaný než nějaký stav druhý. Nejvíce provázaným stavem dvou částic v dimenzi je maximálně provázaný stav , který je tvaru
Označme si matici hustoty příslušející k tomuto stavu symbolem . Člověk by intuitivně čekal, že stav s menší mírou provázání lze dostat z maximálně provázaného stavu, když se mu část provázání odejme. Tomuto odebrání odpovídá jistá transformace. Označme si ji symbolem . Pokud je provázaný hodně, je k jeho vytvoření potřeba maximálně provázaný stav o vyšší dimenzi , pokud je provázaný málo, stačí menší dimenze. Pokud uvažujeme pouze dimenze tvaru , můžeme číslo považovat za naši míru provázání. Čím větší , tím více kvantového provázání ve stavu . Toto je základní myšlenka, jež stojí za veličinou zvanou entanglement cost. Bohužel, situace není tak jednoduchá. Problém je v tom, že transformace , která by převedla maximálně provázaný stav na náš stav , nemusí vždycky existovat. Do definice se tak zavede několik zobecnění, jejichž cílem je pokud možno co nejvíce rozšířit počet případů, kdy taková transformace existuje.
Důležité je, že transformace splňuje jisté, fyzikálně motivované, požadavky. Stav je stavem dvou částic, kde k první částici má přístup Alice a k druhé částici má přístup Bob. Alice s Bobem musí být schopni implementovat transformaci jen pomocí svých vlastních operací, jejichž použití mohou navíc koordinovat pomocí zpráv, které si mohou na dálku poslat. Takovéto transformace tvoří třídu operací, která se označuje zkratkou LOCC. (Příkladem operace, která do LOCC nepatří, je měření obou částic tak, že možnými výsledky měření jsou provázané stavy mezi Alicí a Bobem.)
To, co bychom chtěli, je transformace, která převede -rozměrný maximálně provázaný stav na náš stav . To jest
Tím, že se omezujeme na LOCC transformace, nemusí transformace splňující vztah výše existovat. Můžeme ale najít takovou transformaci, která vrátí stav, jenž je v jistém smyslu blízký stavu . Lze definovat různé funkce, které měří, jak blízké si dva kvantové stavy jsou. Aniž bychom šli do podrobností a uváděli konkrétní funkci, budeme uvažovat nějakou míru vzdálenosti a označíme si ji písmenem . Hledáme tedy mezi všemi přípustnými transformacemi tu, pro niž je vzdálenost mezi a co nejmenší. Tuto nejmenší vzdálenost lze matematicky vyjádřit pomocí infima
Pokud tento výraz není nulový, jak bychom chtěli, zvýšíme hodnotu čísla a provedeme infimum znovu. Pro větší hodnotu se zvětší třída možných operací , takže je možné, že nové infimum už bude nula. V takovém případě bychom číslo prohlásili za entanglement cost našeho stavu . Bohužel, ani v tomto obecnějším případě transformace nemusí existovat. Třídu možných operací můžeme rozšířit i tím, že místo jednoho systému, který je ve stavu , bereme v potaz mnoho jeho kopií. Náš stav je tak nyní tenzorový součin kopií, tj. . Chtěli bychom tedy, aby následující výraz byl pokud možno roven nule
Protože dopředu nevíme, kolik kopií bude potřeba, uvažujeme jich „nekonečně mnoho“, což lze matematicky vyjádřit pomocí limity
Pokud je tato limita rovna nule, prohlásíme číslo za entanglement cost stavu . V opačném případě zvýšíme hodnotu čísla a postup opakujeme. Může se též stát, že vhodných hodnot nalezneme více. Jestliže je takovýchto hodnot více, vezmeme prostě tu nejmenší z nich. Tato nejmenší hodnota je entanglement cost našeho stavu . Dospěli jsme tak k definici míry provázaní zvané entanglement cost , jež zní
Distillable entanglement
Poslední mírou provázání, kterou si zde uvedeme, je distillable entanglement, což by se dalo přeložit jako „destilovatelné provázání“. Jeho definice je velmi podobná definici pro entanglement cost. Zatímco u entanglement cost nás zajímá, jak dobře lze maximálně provázaný stav přetransformovat pomocí LOCC operací na stav , jehož stupeň provázání chceme určit, ptáme se v případě distillable entanglement naopak. Zajímá nás tedy, jak dobře lze stav přetransformovat na maximálně provázaný stav. Definice pro distillable entanglement zní
kde význam jednotlivých symbolů je stejný jako v definici pro entanglement cost.
Typy korelací
Jak je zmíněno v úvodu článku, kvantové provázání je velmi silná korelace mezi výsledky měření provedených na dvou (a více) kvantových (pod)systémech. Přísně vzato se v tomto tvrzení nehovoří o žádném stavovém vektoru přidruženém ke kvantovému systému, tak jak tomu je v matematické definici kvantového provázání uvedené výše. Obecnější popis měření, než jakým je popis pomocí vektorového formalizmu, je popis pomocí pravděpodobností, s nimiž naměříme dané hodnoty fyzikální veličiny. Místo vektoru tedy uvažujme pravděpodobnostní rozdělení . Mějme systém dvou částic, které se společně nacházejí ve stavu , přičemž jedna částice je měřena Alicí pomocí aparátu a druhá je měřena Bobem pomocí aparátu . Pravděpodobnost, že Alice naměří aparátem hodnotu a Bob naměří aparátem hodnotu označíme symbolem . V následujícím popíšeme kvantové provázání pomocí těchto pravděpodobností, ne pomocí tvaru stavového vektoru.
V obecnějším kontextu je kvantové provázání jedním z několika druhů korelací vyskytujících se v kvantové fyzice. Studiem provázání byly identifikovány i další třídy kvantových korelací, z nichž některé jsou uvedeny níže. Ukazuje se, že pro smíšené stavy je struktura korelací bohatší než pro stavy čisté. Následující klasifikace je platná nejen pro čisté, ale i pro smíšené stavy.
Klasické korelace
Nejjednodušším typem korelací jsou korelace klasické. Uvažujme experiment prováděný Alicí a Bobem tak, jak je to popsáno v předchozích dvou odstavcích. Pokud lze výsledné pravděpodobnosti současného naměření hodnoty Alicí a hodnoty Bobem vyjádřit vztahem[36]
kde je nějaké pravděpodobnostní rozdělení, tak stav vykazuje jen klasické korelace. Symbolem je označena podmíněná pravděpodobnost, že Alice naměří aparátem hodnotu na stavu (a obdobně pro Boba). Daný vzorec lze interpretovat tak, že s pravděpodobností obdrží Alice stav a Bob stav a na těchto stavech oba provedou svá měření.
Stav je tedy klasicky korelovaný neboli separabilní. Takový stav lze zapsat ve tvaru
což je konzistentní s výše zavedenou terminologií pro separabilní (smíšené) stavy, viz oddíl „Terminologie“.
Kvantové provázání
Definici kvantového provázání lze přeformulovat do jazyka pravděpodobností. V tomto novém znění řekneme, že kvantový stav je provázaný, tehdy a jen tehdy, když pravděpodobnosti měření nelze vyjádřit pomocí vzorce z předchozího pododdílu „Klasické korelace“. Platí tedy[36]
kde je význam všech symbolů tentýž jako v předchozím pododdíle.
Kvantové řízení
S pojmem kvantového provázání je spjat i termín quantum steering, který lze do češtiny neobratně přeložit jako kvantové řízení. Uvažujme případ, kdy Alice a Bob mají každý po jedné částici a tyto dvě částice jsou kvantově provázány. Pro nedostatek invence předpokládejme, že těmito částicemi jsou fotony, jejichž stav je tvaru
Pokud Alice tedy naměří stav , naměří i Bob u svého fotonu stav . Podobně pro . Jenže co když se Alice rozhodne měřit ne v bázi , ale raději v bázi ? Vyjádříme-li stav pomocí stavů a , obdržíme
Jestliže Alice naměří na svém fotonu stav , naměří Bob posléze na svém fotonu také , a podobně pro . Zdá se tedy, že pouze svou volbou měření může Alice ovlivnit, jaký stav „uvidí“ Bob na svém fotonu. Pokud se Alice rozhodne měřit stav či stav , bude mít Bob svůj foton též v jednom z těchto stavů. Pokud se ale Alice rozhodně měřit stav či , Bobův foton se též „rozhodne“ být v jednom z těchto nových stavů. Toto chování vzbuzuje pochybnosti, protože Bob může být od Alice velmi daleko a nemá s ní tak žádný přímý kontakt. Jak tedy může jeho foton vědět, do kterého stavu se má přetransformovat? Přesně na tento problém upozornil Einstein a jeho spolupracovníci v jejich slavném EPR článku[5]. Ačkoli se tento článek zmiňuje v souvislosti s kvantovým provázáním, týká se jejich argument přísně vzato kvantového řízení.
Prvním, kdo zavedl pojem quantum steering, byl Schrödinger ve svém článku z roku 1935[6]. Přesná matematická definice byla však podána až v roce 2007[36] a to následujícím způsobem. Řekneme, že stav je steerable (česky doslova řiditelný) Alicí, pokud pravděpodobnosti naměření hodnoty Alicí a hodnoty Bobem nevyhovují vztahu
kde význam všech symbolů je tentýž jako v předchozích pododdílech a kde navíc symbolem označujeme (klasickou) pravděpodobnost naměření hodnoty při použití aparátu a situace označené indexem . Jak vidno z uvedeného vzorce, quantum steering není symetrický vztah, na rozdíl od ostatních druhů uvedených korelací. Role Alice je zde jiná než role Boba. Quantum steering je druh kvantové korelace, která je silnější než kvantové provázání, ale současně slabší než Bellova nelokalita, která je popsána v následujícím pododdíle.
Bellova nelokalita
Jako Bellova nelokalita (anglicky Bell nonlocality) se označuje situace, kdy daný provázaný stav porušuje Bellovu nerovnost. Bellova nelokalita je v právě probíraném kontextu nejsilnějším druhem korelace v kvantové fyzice a to v následujícím smyslu. Pokud je daný systém ve stavu, který vykazuje Bellovu nelokalitu, tak takový stav je nutně i provázaný a vykazuje quantum steering.
Předpokládejme situaci, kdy Alice () a Bob () mají každý po jedné částici a tyto dvě částice jsou v provázaném stavu . Alice a Bob měří své částice a výsledky měření (výsledek pro Alici a pro Boba) jsou popsány pravděpodobnostním rozdělením . Řekneme, že stav splňuje Bellovu nelokalitu, pokud pravděpodobnostní rozdělení nelze zapsat ve tvaru
kde je (klasické) pravděpodobnostní rozdělení výsledků měření jen pro Alici samotnou, je (klasické) pravděpodobnostní rozdělení výsledků měření jen pro Boba samotného a je nějaké další (klasické) pravděpodobnostní rozdělení. Protože všechna tato pravděpodobnostní rozdělení musí splňovat podmínky atd. (normalizace) a atd. (pozitivita), není splnění vzorce uvedeného výše samozřejmé. Index ve výrazech výše odpovídá skrytým proměnným.
Post-kvantové korelace
Ukazuje se, že fyzikální systémy mohou teoreticky vykazovat ještě silnější korelace, než jaké jsou přípustné v kvantové fyzice. Tyto takzvané post-kvantové korelace (anglicky post-quatum correlations) nepopírají teorii relativity, to jest neumožňují šíření informace rychleji než je rychlost světla, podobně jako kvantové provázání, ale současně je nelze vysvětlit nejen pomocí klasické, ale ani pomocí kvantové fyziky. Tato zjištění vedou výzkumníky k hledání fyzikální teorie, která by byla obecnější než je kvantová mechanika. Konkrétním příkladem post-kvantových korelací jsou tzv. PR boxy[37].
Odkazy
Poznámky
- ↑ Ačkoli je v literatuře běžně uváděn právě anglický překlad, původní dopis byl napsán v němčině a onen výrok německy zní „spukhafte Fernwirkung“.
- ↑ Přesněji řečeno, lokálními skrytými proměnnými, které se chovají v souladu s teorií relativity.
- ↑ Ilustrování klasických korelací pomocí různě barevných ponožek provedl už John Bell ve svém lehce žertovném článku z roku 1981[17]. V něm si utahuje ze svého kolegy a přítele Reinholda Bertlmanna, o kterém tvrdí, že rád nosí ponožky různé barvy. Konkrétní barvy na daný den jsou přitom dosti nepředvídatelné. Pokud však zjistíme, že jedna jeho ponožka je růžová, víme zcela určitě, že jeho druhá ponožka rozhodně růžová není. Dostáváme tak dokonalou antikorelaci v barvě Bertlmannových ponožek, tato antikorelace je však stále pouze klasická.
- ↑ Jedním ze způsobů, jak kvantový stav zbavit provázání, je náhodně měnit lokální fázi mezi členem a členem . Tento proces se anglicky nazývá dephasing. Výsledkem je stav, který je smíšený a pouze klasicky korelovaný.
- ↑ Přísně vzato, výsledky jsou antikorelovány. Zde ale chápeme antikorelaci pouze za druh korelace.
- ↑ Ve skutečnosti lze takto generovat i statisíce fotonů za sekundu. Když ale porovnáme zářivý výkon laseru a tomu odpovídající počet fotonů, je množství generovaných párů téměř zanedbatelné.
Reference
- ↑ QIAN, Xiao-Feng; LITTLE, Bethany; HOWELL, John C. Shifting the quantum-classical boundary: theory and experiment for statistically classical optical fields. Optica. 2015-06-29, roč. 2, čís. 7, s. 611. Dostupné online [cit. 2020-11-06]. ISSN 2334-2536. DOI 10.1364/optica.2.000611. (anglicky)
- ↑ LI, Pengyun; SUN, Yifan; YANG, Zhenwei. Classical hypercorrelation and wave-optics analogy of quantum superdense coding. Scientific Reports. 2015-12-22, roč. 5, čís. 1. Dostupné online [cit. 2020-11-06]. ISSN 2045-2322. DOI 10.1038/srep18574. (anglicky)
- ↑ TÖPPEL, Falk; AIELLO, Andrea; MARQUARDT, Christoph. Classical entanglement in polarization metrology. New Journal of Physics. 2014-07-16, roč. 16, čís. 7, s. 073019. Dostupné online [cit. 2020-11-06]. ISSN 1367-2630. DOI 10.1088/1367-2630/16/7/073019. (anglicky)
- ↑ KARIMI, Ebrahim; BOYD, Robert W. Classical entanglement?. Science. 2015-12-04, roč. 350, čís. 6265, s. 1172–1173. Dostupné online [cit. 2020-11-06]. ISSN 0036-8075. DOI 10.1126/science.aad7174. (anglicky)
- ↑ a b c EINSTEIN, Albert; PODOLSKY, Boris; ROSEN, Nathan. Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?. Physical Review. 1935-05-15, roč. 47, čís. 10, s. 777–780. Dostupné online [cit. 2019-12-31]. ISSN 0031-899X. DOI 10.1103/PhysRev.47.777. (anglicky)
- ↑ a b c d SCHRÖDINGER, Erwin. Discussion of Probability Relations between Separated Systems. Mathematical Proceedings of the Cambridge Philosophical Society. 1935-10, roč. 31, čís. 4, s. 555–563. Dostupné online [cit. 2019-12-31]. ISSN 0305-0041. DOI 10.1017/S0305004100013554. (anglicky)
- ↑ SCHRÖDINGER, E. Die gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften. 1935-12-01, roč. 23, čís. 50, s. 844–849. Dostupné online [cit. 2021-09-09]. ISSN 1432-1904. DOI 10.1007/BF01491987. (německy)
- ↑ SCHRÖDINGER, Erwin. Probability relations between separated systems. Mathematical Proceedings of the Cambridge Philosophical Society. 1936-10, roč. 32, čís. 3, s. 446–452. Dostupné online [cit. 2020-01-12]. ISSN 0305-0041. DOI 10.1017/s0305004100019137. (anglicky)
- ↑ EINSTEIN, Albert. The Born-Einstein letters; correspondence between Albert Einstein and Max and Hedwig Born from 1916 to 1955.. New York: Walker x, 240 s. Dostupné online. ISBN 0-8027-0326-7, ISBN 978-0-8027-0326-2. OCLC 150466 S. 158. (anglicky)
- ↑ BOHM, David. Quantum theory. 16. vyd. Englewood Cliffs, N.J.: Prentice-Hall IX, 646 s. Dostupné online. ISBN 0-13-747873-9, ISBN 978-0-13-747873-6. OCLC 256663000 (anglicky)
- ↑ a b BELL, John. On the Einstein Podolsky Rosen paradox. Physics. 1964, roč. 1, čís. 3, s. 195–200. Dostupné online. (anglicky)
- ↑ a b CLAUSER, John F.; HORNE, Michael A.; SHIMONY, Abner. Proposed Experiment to Test Local Hidden-Variable Theories. Physical Review Letters. 1969-10-13, roč. 23, čís. 15, s. 880–884. Dostupné online [cit. 2020-10-04]. DOI 10.1103/PhysRevLett.23.880. (anglicky)
- ↑ BELL, J. S. On the impossible pilot wave. Foundations of Physics. 1982-10-01, roč. 12, čís. 10, s. 989–999. Dostupné online [cit. 2023-02-11]. ISSN 1572-9516. DOI 10.1007/BF01889272. (anglicky)
- ↑ HENSEN, Bas; BERNIEN, Hannes; DRÉAU, Anaïs E. Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres. Nature. 2015-10, roč. 526, čís. 7575, s. 682–686. Dostupné online [cit. 2020-10-04]. ISSN 1476-4687. DOI 10.1038/nature15759. (anglicky)
- ↑ SHALM, Lynden K.; MEYER-SCOTT, Evan; CHRISTENSEN, Bradley G. Strong Loophole-Free Test of Local Realism. Physical Review Letters. 2015-12-16, roč. 115, čís. 25, s. 250402. Dostupné online [cit. 2020-10-04]. DOI 10.1103/PhysRevLett.115.250402. PMID 26722906. (anglicky)
- ↑ GIUSTINA, Marissa; VERSTEEGH, Marijn A. M.; WENGEROWSKY, Sören. Significant-Loophole-Free Test of Bell's Theorem with Entangled Photons. Physical Review Letters. 2015-12-16, roč. 115, čís. 25, s. 250401. Dostupné online [cit. 2020-10-04]. DOI 10.1103/PhysRevLett.115.250401. (anglicky)
- ↑ BELL, John S. Bertlmann's socks and the nature of reality. Le Journal de Physique Colloques. 1981-03, roč. 42, čís. C2, s. C2–41–C2-62. Dostupné online [cit. 2020-12-10]. ISSN 0449-1947. DOI 10.1051/jphyscol:1981202. (anglicky)
- ↑ EKERT, Artur K. Quantum cryptography based on Bell’s theorem. Physical Review Letters. 1991-08-05, roč. 67, čís. 6, s. 661–663. Dostupné online [cit. 2020-10-22]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.67.661. (anglicky)
- ↑ BENNETT, Charles H.; BRASSARD, Gilles; CRÉPEAU, Claude. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters. 1993-03-29, roč. 70, čís. 13, s. 1895–1899. Dostupné online [cit. 2020-10-23]. ISSN 0031-9007. DOI 10.1103/physrevlett.70.1895. (anglicky)
- ↑ BENNETT, Charles H.; WIESNER, Stephen J. Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. Physical Review Letters. 1992-11-16, roč. 69, čís. 20, s. 2881–2884. Dostupné online [cit. 2020-10-23]. ISSN 0031-9007. DOI 10.1103/physrevlett.69.2881. (anglicky)
- ↑ a b HILLERY, Mark; BUŽEK, Vladimír; BERTHIAUME, André. Quantum secret sharing. Physical Review A. 1999-03-01, roč. 59, čís. 3, s. 1829–1834. Dostupné online [cit. 2020-10-11]. ISSN 1050-2947. DOI 10.1103/PhysRevA.59.1829. (anglicky)
- ↑ https://sciencex.com/news/2021-08-quantum-entanglement-classic-terms.html - Quantum entanglement is explained in classic terms
- ↑ KWIAT, Paul G. Hyper-entangled states. Journal of Modern Optics. 1997-11, roč. 44, čís. 11–12, s. 2173–2184. Dostupné online [cit. 2024-06-01]. ISSN 0950-0340. DOI 10.1080/09500349708231877. (anglicky)
- ↑ BARREIRO, Julio T.; LANGFORD, Nathan K.; PETERS, Nicholas A. Generation of Hyperentangled Photon Pairs. Physical Review Letters. 2005-12-19, roč. 95, čís. 26. Dostupné online [cit. 2024-06-01]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.95.260501. (anglicky)
- ↑ KWIAT, Paul G.; WAKS, Edo; WHITE, Andrew G. Ultrabright source of polarization-entangled photons. Physical Review A. 1999-08-01, roč. 60, čís. 2, s. R773–R776. Dostupné online [cit. 2020-11-04]. ISSN 1050-2947. DOI 10.1103/physreva.60.r773. (anglicky)
- ↑ KWIAT, Paul G.; MATTLE, Klaus; WEINFURTER, Harald. New High-Intensity Source of Polarization-Entangled Photon Pairs. Physical Review Letters. 1995-12-11, roč. 75, čís. 24, s. 4337–4341. Dostupné online [cit. 2020-11-04]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.75.4337. (anglicky)
- ↑ GREENBERGER, Daniel M.; HORNE, Michael A.; ZEILINGER, Anton. Bell’s Theorem, Quantum Theory and Conceptions of the Universe. Dordrecht: Springer, 1989. Dostupné online. DOI 10.1007/978-94-017-0849-4. S. 69–72. (anglicky)
- ↑ GREENBERGER, Daniel M.; HORNE, Michael A.; SHIMONY, Abner. Bell’s theorem without inequalities. American Journal of Physics. 1990-12-01, roč. 58, čís. 12, s. 1131–1143. Dostupné online [cit. 2020-10-04]. ISSN 0002-9505. DOI 10.1119/1.16243. (anglicky)
- ↑ a b DÜR, W.; VIDAL, G.; CIRAC, J. I. Three qubits can be entangled in two inequivalent ways. Physical Review A. 2000-11-14, roč. 62, čís. 6, s. 062314. Dostupné online [cit. 2020-01-04]. ISSN 1050-2947. DOI 10.1103/PhysRevA.62.062314. (anglicky)
- ↑ SALART, Daniel; BAAS, Augustin; BRANCIARD, Cyril. Testing the speed of ‘spooky action at a distance’. Nature. 2008-08, roč. 454, čís. 7206, s. 861–864. Dostupné online [cit. 2020-11-06]. ISSN 0028-0836. DOI 10.1038/nature07121. (anglicky)
- ↑ ZBINDEN, Hugo; BRENDEL, Juergen; TITTEL, Wolfgang. Experimental test of relativistic quantum state collapse with moving reference frames. Journal of Physics A: Mathematical and General. 2001-09-07, roč. 34, čís. 35, s. 7103–7109. Dostupné online [cit. 2020-11-06]. ISSN 0305-4470. DOI 10.1088/0305-4470/34/35/334. (anglicky)
- ↑ RINGBAUER, Martin; GIARMATZI, Christina; CHAVES, Rafael. Experimental test of nonlocal causality. Science Advances. 2016-08, roč. 2, čís. 8, s. e1600162. Dostupné online [cit. 2020-11-06]. ISSN 2375-2548. DOI 10.1126/sciadv.1600162. PMID 27532045. (anglicky)
- ↑ PERES, Asher. Separability Criterion for Density Matrices. Physical Review Letters. 1996-08-19, roč. 77, čís. 8, s. 1413–1415. Dostupné online [cit. 2020-10-19]. ISSN 0031-9007. DOI 10.1103/physrevlett.77.1413. (anglicky)
- ↑ HORODECKI, Michał; HORODECKI, Paweł; HORODECKI, Ryszard. Separability of mixed states: necessary and sufficient conditions. Physics Letters A. 1996-11, roč. 223, čís. 1–2, s. 1–8. Dostupné online [cit. 2020-10-19]. DOI 10.1016/S0375-9601(96)00706-2. (anglicky)
- ↑ a b PLENIO, Martin; VIRMANI, Shashank. An introduction to entanglement measures. Quantum Information & Computation. Paramus, NJ: Rinton Press, Incorporated, 2007, roč. 7, čís. 1, s. 1–51. Dostupné online. ISSN 1533-7146. DOI 10.5555/2011706.2011707. (anglicky)
- ↑ a b c WISEMAN, Howard M.; JONES, Steve J.; DOHERTY, Andrew C. Steering, Entanglement, Nonlocality, and the Einstein-Podolsky-Rosen Paradox. Physical Review Letters. 2007-04-06, roč. 98, čís. 14. Dostupné online [cit. 2020-10-10]. ISSN 0031-9007. DOI 10.1103/physrevlett.98.140402. (anglicky)
- ↑ POPESCU, Sandu; ROHRLICH, Daniel. Quantum nonlocality as an axiom. Foundations of Physics. 1994-03, roč. 24, čís. 3, s. 379–385. Dostupné online [cit. 2020-10-10]. ISSN 0015-9018. DOI 10.1007/BF02058098. (anglicky)
Literatura
- HORODECKI, Ryszard; HORODECKI, Paweł; HORODECKI, Michał. Quantum entanglement. Reviews of Modern Physics. 2009-06-17, roč. 81, čís. 2, s. 865–942. Dostupné online [cit. 2024-05-27]. DOI 10.1103/RevModPhys.81.865.
- PERES, Asher. Quantum theory: concepts and methods. Dordrecht: Kluwer Academic 446 s. Dostupné online. ISBN 0-7923-2549-4, ISBN 978-0-7923-2549-9. OCLC 28854083
- NIELSEN, Michael; CHUANG, Isaac. Quantum computation and quantum information. 10th anniversary ed. vyd. Cambridge: Cambridge University Press 676 s. Dostupné online. ISBN 978-1-107-00217-3, ISBN 1-107-00217-6. OCLC 665137861
- BENGTSSON, Ingemar; ZYCZKOWSKI, Karol. Geometry of Quantum States: An Introduction to Quantum Entanglement. Cambridge: Cambridge University Press 418 s. Dostupné online. ISBN 978-0-511-53504-8, ISBN 978-0-521-81451-5. DOI 10.1017/cbo9780511535048.
Související články
- Korelace
- Kvantové měření
- Bellovy nerovnosti
- Bellova báze
- Kvantová teleportace
- Spontánní parametrická sestupná konverze
- Dvou-dvouštěrbinový experiment
Externí odkazy
Obrázky, zvuky či videa k tématu kvantové provázání na Wikimedia Commons
Interaktivní demonstrace
- "Quantum Entanglement versus Classical Correlation" (anglicky)
- "Bell's Theorem" (anglicky)
- "Hidden Variables in Quantum Mechanics" (anglicky)
- "Monte Carlo Simulation of Two-Electron Spin Correlations" (anglicky)
- "Violation of Bell's Inequality: A Confirmation of Quantum Theory" (anglicky)
Ostatní
- prezentace na téma "The Separability Problem and its Variants in Quantum Entanglement Theory" (anglicky)