Kvantové provázání

„Myšlenkový experiment“ níže.

Pojem kvantové provázání (někdy též kvantové propletení) označuje v kvantové mechanice situaci, kdy nelze stav nějakého většího systému rozdělit do stavů jednotlivých podsystémů.

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í. +more 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. +more Pomocí částic, které vykazují kvantové provázání, lze provádět kvantovou teleportaci, neodposlouchávatelný přenos informace či komunikaci s použitím menšího množství nosičů informace, než je možné v klasické fyzice.

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 \scriptstyle |\psi\rangle, zatímco kotouč pravý detekuje fotony, jež jsou v neprovázaném stavu \scriptstyle \rho. +more 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 \scriptstyle \rho, 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

{{Rámeček s textem|30%|#f0b2ff|right|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 {{Uprostřed| |\psi_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle_A \otimes \left| H \right\rangle_B - \left| V \right\rangle_A \otimes \left| V \right\rangle_B \right), }} kde H značí horizontální polarizaci a V značí vertikální polarizaci. Není těžké si rozmyslet, že takovýto stav nelze zapsat ve tvaru | \psi_A \rangle \otimes | \psi_B \rangle, který explicitně zní (\alpha_A \left| H \right\rangle_A + \beta_A \left| V \right\rangle_A)\otimes(\alpha_B \left| H \right\rangle_B + \beta_B \left| V \right\rangle_B) pro nějaké koeficienty \alpha_A, \beta_A, \alpha_B a \beta_B. +more Muselo by totiž platit {{Uprostřed|\begin{align} \frac{1}{\sqrt{2}} & \left| H \right\rangle_A \otimes \left| H \right\rangle_B - \frac{1}{\sqrt{2}} \left| V \right\rangle_A \otimes \left| V \right\rangle_B = \\ & = (\alpha_A \left| H \right\rangle_A + \beta_A \left| V \right\rangle_A)\otimes(\alpha_B \left| H \right\rangle_B + \beta_B \left| V \right\rangle_B) \\ & = \alpha_A \alpha_B \left| H \right\rangle_A \otimes \left| H \right\rangle_B + \alpha_A \beta_B \left| H \right\rangle_A \otimes \left| V \right\rangle_B \\ & \ \ + \beta_A \alpha_B \left| V \right\rangle_A \otimes \left| H \right\rangle_B + \beta_A \beta_B \left| V \right\rangle_A \otimes \left| V \right\rangle_B. \end{align} }}.

Protože členy \left|H \right\rangle_A \otimes \left| V \right\rangle_B a \left|V \right\rangle_A \otimes \left| H \right\rangle_B se ve stavu | \psi_{AB} \rangle nevyskytují, musí být příslušné koeficienty rovny nule, tj. \alpha_{A} \beta_{B} = 0 a \beta_A \alpha_B = 0. +more Rovnost \alpha_A \beta_B = 0 je splněna ve dvou případech. Buď \alpha_A = 0, ale pak je i první člen \alpha_A \alpha_B \left| H \right\rangle_A \otimes \left| H \right\rangle_B nulový, což odporuje tvaru stavu |\psi_{AB}\rangle, kde má tento člen koeficient roven číslu 1/\sqrt{2}. Anebo \beta_B = 0, ale pak je i poslední člen \beta_A \beta_B \left|V \right\rangle_A \otimes \left| V \right\rangle_B roven nule, což opět odporuje tvaru stavu |\psi_{AB}\rangle, kde má tento člen koeficient roven číslu -1/\sqrt{2}.

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 {{Uprostřed| |\psi'_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle_A \otimes \left| H \right\rangle_B - \left| V \right\rangle_A \otimes \left| H \right\rangle_B \right). +more }} Tento stav je velice podobný stavu |\psi_{AB}\rangle výše, ale poslední jednočásticový stav je |H \rangle a ne |V \rangle. Důsledkem toho můžeme přepsat tento stav do tvaru |\psi'_{AB} \rangle = (1/\sqrt{2}) \left( \left| H \right\rangle_A - \left| V \right\rangle_A \right) \otimes \left| H \right\rangle_B, 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. }}.

Matematická definice

Ve své nejjednodušší podobě lze kvantové provázání definovat následovně. Mějme fyzikální systém \scriptstyle \mathcal{S}, k němuž je v souladu s kvantově-mechanickým popisem přidružen Hilbertův stavový prostor \scriptstyle \mathcal{H}. +more Nechť je tento systém složen ze dvou podsystémů \scriptstyle \mathcal{S}_1 a \scriptstyle \mathcal{S}_2 se stavovými prostory \scriptstyle \mathcal{H}_1 a \scriptstyle \mathcal{H}_2. Nechť se dále systém \scriptstyle \mathcal{S} nachází v nějakém stavu \scriptstyle |\psi\rangle. O stavu \scriptstyle |\psi\rangle řekneme, že je (kvantově) provázaný , pokud tento stav nelze zapsat jako tenzorový součin stavu prvního a stavu druhého podsystému. Neboli:.

{{Citát v rámečku| |\psi\rangle \ \text{je kvantově provázaný stav} \quad \Leftrightarrow \quad |\psi\rangle \neq |\psi_1\rangle \otimes |\psi_2\rangle, \qquad \text{kde} \qquad |\psi\rangle \in \mathcal{H}, \quad |\psi_1\rangle \in \mathcal{H}_1, \quad |\psi_2\rangle \in \mathcal{H}_2. }}

O podsystémech \scriptstyle \mathcal{S}_1 a \scriptstyle \mathcal{S}_2 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 \scriptstyle \mathcal{S} vzít jeden pár částic. +more Podsystém \scriptstyle \mathcal{S}_1 je pak první částice a podsystém \scriptstyle \mathcal{S}_2 je druhá částice. Stav \scriptstyle |\psi \rangle je pak vlnová funkce popisující chování těchto dvou částic společně, stav \scriptstyle |\psi_1 \rangle je vlnová funkce pouze první částice a \scriptstyle |\psi_2 \rangle 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. +more 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. +more 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 napravo tedy můžeme uvažovat ne pro polarizaci fotonů, nýbrž pro spin elektronů. Dostáváme tak stav |\psi_{AB} \rangle = (1/\sqrt{2}) \left( \left| \uparrow \right\rangle_A \otimes \left| \uparrow \right\rangle_B - \left| \downarrow \right\rangle_A \otimes \left| \downarrow \right\rangle_B \right), kde \left| \uparrow \right\rangle označuje spin elektronu rovný +1/2 a \left| \downarrow \right\rangle značí spin elektronu o hodnotě −1/2, kde spin měříme podél osy z. 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ů \left| H \right\rangle či \left| \uparrow \right\rangle uvažovat jistý abstraktní stav \left| 0 \right\rangle a podobně místo \left| V \right\rangle či \left| \downarrow \right\rangle uvažujme stav \left| 1 \right\rangle. Výsledný stav má tak tvar.

: |\psi_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| 0 \right\rangle_A \otimes \left| 0 \right\rangle_B - \left| 1 \right\rangle_A \otimes \left| 1 \right\rangle_B \right).

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|„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. +more 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.

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 \scriptstyle \mathcal{S} tvoří pouze jediná částice a za dva její podsystémy bereme dvě její vlastnosti (přesněji řečeno, dva její stupně volnosti). +more 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 \scriptstyle | \psi_{\text{(hyb + pol)}} \rangle hybnosti a polarizace fotonu napsat ve tvaru \scriptstyle \left| \psi_{\text{hyb}} \right\rangle \otimes \left| \psi_{\text{pol}} \right\rangle, kde \scriptstyle \left| \psi_{\text{hyb}} \right\rangle je pouze stav hybnosti fotonu a \scriptstyle \left| \psi_{\text{pol}} \right\rangle 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í . Důvodem takového pojmenování je fakt, že takovéto „provázané“ stavy lze nalézt i v klasické fyzice. +more 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.

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. +more“ (č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.

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“ (č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, v nichž se věnuje tématu kvantového provázání podrobně. +more 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. 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“, což lze přeložit jako „děsivá akce na dálku“. 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. +more 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 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. +more 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í. 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, kteří odvodili takzvanou CHSH nerovnost, jež se stala základem moderních Bellových testů. Dosud všechny provedené Bellovy testy naznačují, že provázání nelze popsat skrytými proměnnými. 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. 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ů. +more 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á. +more 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. +more 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:.

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. +more 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í.

Tolik ke klasickým ponožkám. Obraťme nyní svoji pozornost na ponožky kvantové. +more 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 můžou 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:.

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í. +more 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 můžou 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:.

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á. +more 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

+more_Na_videu_jsou_k_vidění_dva_zdroje_fotonových_párů. _Zdroj_nalevo_vysílá_páry_fotonů,_které_jsou_kvantově_provázané_ve_stavu_\scriptstyle_|\psi\rangle,_zatímco_zdroj_napravo_vysílá_fotony_ve_stavu_\scriptstyle_\rho,_jenž_je_stavu_\scriptstyle_'>\psi\rangle v jistém smyslu co nejblíže a který současně vykazuje jen klasickou korelaci. Ať natočíme měřicí stanice do jakéhokoli úhlu, dopadají oba kvantově provázané fotony vždy buď oba do oranžových nebo oba do fialových detektorů. Naproti tomu v případě klasicky korelovaných fotonů se vyskytují i případy, kdy jeden foton dopadá na oranžový detektor a foton druhý přitom dopadá na detektor fialový (či naopak). Nejprve jsou polarizace měřeny v bázi \scriptstyle H/V, poté jsou měřicí aparatury natočeny o 67. 5 stupňů a měření jsou zopakována v této nové bázi. Posléze jsou aparatury natočeny ještě jednou a opět je provedeno měření polarizace. Úhel natočení lze volit naprosto libovolně a proto je v poslední části animace ukázáno jak se pravděpodobnosti naměření jednotlivých polarizací mění plynule s tím, jak je úhel natočení měřicích aparatur měněn. Více informací lze najít v popisku po kliknutí na animaci. .

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. +more 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 \scriptstyle H a vertikální polarizace značené písmenem \scriptstyle V. Pro konkrétnost uvažujeme provázaný stav tvaru.

: |\psi \rangle = \frac{1}{\sqrt{2}} \left( \left| H, V \right\rangle_{AB} - \left| V, H \right\rangle_{AB} \right).

Tento stav je koherentní superpozice stavů \scriptstyle |HV\rangle a \scriptstyle |VH\rangle s přesně danou vzájemnou fází rovnou \scriptstyle -1. Klasickou obdobou této koherentní superpozice je situace, kdy zdroj vysílá v 50 procentech případů pár fotonů ve stavu \scriptstyle |HV\rangle a ve zbylých 50 procentech pár fotonů ve stavu \scriptstyle |VH\rangle. +more 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 \scriptstyle \rho a kterou lze zapsat jako množinu dvou možností.

:\{ (p_{HV}, |HV\rangle), \quad (p_{VH}, |VH\rangle) \},

kde \scriptstyle p_{HV} je pravděpodobnost vyslání fotonů ve stavu \scriptstyle |HV\rangle (a podobně pro \scriptstyle p_{VH}) a kde \scriptstyle p_{HV} = p_{VH} = 1/2. V braketovém formalizmu lze stav \scriptstyle \rho zapsat ve tvaru

: \rho = \frac{1}{2} \left( \left| H, V \right\rangle_{AB} \left\langle H, V \right|_{AB} + \left| V, H \right\rangle_{AB} \left\langle V, H \right|_{AB} \right).

Na animaci vpravo je vykresleno chování obou stavů. Generování a měření stavu \scriptstyle |\psi\rangle je zobrazeno nalevo, napravo je pak situace pro stav \scriptstyle \rho. +more První foton každého páru letí k měřicí stanici \scriptstyle A ovládané experimentátorkou Alicí a druhý foton letí k měřicí stanici \scriptstyle B 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 \scriptstyle H nebo \scriptstyle V. Takovému nastavení se říká měření v bázi \scriptstyle H/V a v animaci to odpovídá měření, když je úhel natočení \scriptstyle \theta roven nule. Tomuto měření se věnuje následující kapitolka.

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. +more 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ě \scriptstyle H/V 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 \scriptstyle H/V, ptají se v podstatě svých fotonů: „Jsi ve stavu \scriptstyle |H\rangle, anebo ve stavu \scriptstyle |V\rangle. “. +more Pro každý pár dostane Alice buď klik odpovídající odpovědi „Jsem ve stavu \scriptstyle |H\rangle,“ anebo klik odpovídající odpovědi „Jsem ve stavu \scriptstyle |V\rangle. “ Analogicky pro Boba. Získané výsledky mohou vypadat následovně:.

Z těchto výsledků plyne, že vždy, když Alice naměřila polarizaci \scriptstyle H u svého fotonu, naměřil Bob polarizaci \scriptstyle V u svého fotonu. Podobně, když Alice naměřila \scriptstyle V, naměřil Bob polarizaci \scriptstyle H. +more Výsledky měření jsou tedy pro Alici a Boba vždy opačné - jinými slovy, jsou dokonale korelovány. Tyto závěry platí jak pro kvantově provázaný stav \scriptstyle|\psi\rangle, tak i pro neprovázaný stav \scriptstyle \rho. Vidíme tak, že i stav neprovázaný vykazuje jisté korelace v měřeních. V případě stavu \scriptstyle \rho 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 \scriptstyle H a Bob naměří \scriptstyle V, nabude stav jejich fotonů tvaru

: |\psi_{AB}^{\mathrm{post}} \rangle = \left| H, V \right\rangle_{AB},

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ý. +more 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 \scriptstyle D/A odpovídá otázka: „Jsi ve stavu \scriptstyle |D\rangle, anebo ve stavu \scriptstyle |A\rangle?“, kde jsou stavy \scriptstyle |D\rangle a \scriptstyle |A\rangle tvaru

: |D \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle + \left| V \right\rangle \right), \quad |A \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle - \left| V \right\rangle \right).

V animaci toto měření odpovídá úhlu natočení \scriptstyle \theta 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. +more Výsledky mohou vypadat zhruba následovně:.

Jak vidno, výsledky pro stav \scriptstyle |\psi\rangle jsou značně odlišné od stavu \scriptstyle \rho. Zatímco pro provázaný stav dostaneme výsledky prakticky identické těm pro \scriptstyle H/V bázi, pro neprovázaný stav jsou všechny čtyři možnosti \scriptstyle DD, DA, AD, AA zastoupeny (až na drobné odchylky) stejnou měrou. +more Diskutujme nejprve neprovázaný stav \scriptstyle \rho.

Obecně vzato, když se fotony nacházejí ve stavu \scriptstyle |H\rangle a my je měříme v bázi \scriptstyle H/V, pak vždy změříme, že se fotony skutečně nacházely v polarizaci \scriptstyle H. Pokud ale stejné fotony měříme v bázi \scriptstyle D/A, tak při opakovaných měřeních zcela náhodně dostáváme se stejnou měrou výsledky odpovídající polarizaci \scriptstyle D a polarizaci \scriptstyle A. +more Podobné vztahy platí i pro fotony připravené ve stavu \scriptstyle |V\rangle. Důsledkem toho je, že pro stav \scriptstyle |H,V\rangle můžeme naměřit se stejnou pravděpodobností všechny čtyři možnosti \scriptstyle DD, DA, AD, AA. Totéž platí i pro stav \scriptstyle |V,H\rangle. Z tohoto pohledu je tedy zcela přirozené, že pro stav \scriptstyle \rho 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 \scriptstyle |D,A\rangle, anebo \scriptstyle |A,D\rangle 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. +more Důležitým faktorem u stavu \scriptstyle |\psi\rangle je to, že se možnosti \scriptstyle |HV\rangle a \scriptstyle |VH\rangle nacházejí v kvantové superpozici. Vyjádření tohoto stavu pomocí stavů \scriptstyle |H\rangle a \scriptstyle |V\rangle je tak jen jednou z mnoha rovnocenných možností, jak tento stav zapsat. Stejně dobře bychom mohli stav \scriptstyle |\psi\rangle zapsat i pomocí stavů \scriptstyle |D\rangle a \scriptstyle |A\rangle. Pokud ze vzorců pro \scriptstyle |D\rangle a \scriptstyle |A\rangle na začátku kapitolky vyjádříme stavy \scriptstyle |H\rangle a \scriptstyle |V\rangle a ty dosadíme do vzorce pro stav \scriptstyle |\psi\rangle, můžeme \scriptstyle |\psi\rangle vskutku zapsat ve tvaru.

: |\psi_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| A, D \right\rangle_{AB} - \left| D, A \right\rangle_{AB} \right).

Jedná se přitom stále o tentýž stav \scriptstyle |\psi\rangle. Podobnou úpravu pro stav \scriptstyle \rho 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 \scriptstyle |\psi\rangle se přitom liší od výpočtu pro stav \scriptstyle \rho. +more Pro čisté kvantové stavy, jakým je \scriptstyle |\psi\rangle, spočteme pravděpodobnost naměření výsledku \scriptstyle AD pomocí skalárního součinu stavu \scriptstyle |\psi\rangle a vektoru \scriptstyle |A,D\rangle způsobem.

:p(A,D) = | \langle A, D | \psi \rangle |^2 = \left| \frac{1}{\sqrt{2}} \langle A, D | (|A, D \rangle-|D, A \rangle) \right|^2 = \left| \frac{1}{\sqrt{2}} (1 - 0) \right|^2 = \frac{1}{2}.

Zcela analogicky bychom obdrželi 1/2 i pro \scriptstyle p(D,A). Dále, protože jak \scriptstyle |D,D\rangle tak \scriptstyle |A,A\rangle jsou ortogonální k oběma členům \scriptstyle |D,A\rangle a \scriptstyle |A,D\rangle, které se vyskytují ve stavu \scriptstyle |\psi\rangle, jsou pravděpodobnosti pro hodnoty \scriptstyle DD a \scriptstyle AA nulové. +more Neboli \scriptstyle p(D,D) = p(A,A) = 0.

Pro smíšený stav \scriptstyle \rho vyjdeme z odpovídající statistické směsi. S pravděpodobností \scriptstyle p_{HV} je vyslán kvantový stav \scriptstyle |H,V\rangle, pro nějž platí :| \langle A, D | H, V \rangle |^2 = \left| \frac{1}{2} (\langle H, H | + \langle H, V | - \langle V, H | - \langle V, V|)|H, V \rangle \right|^2 = \left| \frac{1}{2} (0 + 1 - 0 - 0) \right|^2 = \frac{1}{4}. +more Podobně, s pravděpodobností \scriptstyle p_{VH} zdroj vysílá stav \scriptstyle |V,H\rangle, pro nějž bychom analogickým výpočtem obdrželi \scriptstyle | \langle A, D | V, H \rangle |^2 = 1/4. Pravděpodobnost naměření hodnot \scriptstyle AD pro stav \scriptstyle \rho se spočte pomocí klasického vzorce pro pravděpodobnosti jako.

:p(A,D) = p_{HV} \cdot | \langle A, D | H, V \rangle |^2 + p_{VH} \cdot | \langle A, D | V, H \rangle |^2 = \frac{1}{2} \cdot \frac{1}{4} + \frac{1}{2} \cdot \frac{1}{4} = \frac{1}{4}.

Zcela stejnou pravděpodobnost naměření bychom obdrželi i pro hodnoty \scriptstyle DD, \scriptstyle DA a \scriptstyle AA.

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. +more 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. +more 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é . 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. +more 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é. Rozdíl mezi těmito dvěma průměry lze vyjádřit pomocí nerovnosti, které se říká Bellova nerovnost . Tuto nerovnost lze experimentálně testovat, čímž obdržíme Bellovy testy . 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é. +more 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):.

800x800pixelů

Z naměřených výsledků je následně spočtena jistá číselná veličina, typicky označovaná písmenem \scriptstyle S. Pokud se příroda řídí skrytými proměnnými, může veličina \scriptstyle S dosáhnout nanejvýš hodnoty 2, neboli

: S \leq 2.

Tato nerovnost je speciálním případem Bellovy nerovnosti a je splněna jen tehdy, chová-li se příroda klasicky. Pokud se však příroda nechová podle skrytých proměnných, ale řekněme kvantově, může veličina \scriptstyle S nabývat hodnot větších než 2. +more V ideálním kvantovém případě může \scriptstyle S dosahovat až hodnoty \scriptstyle 2 \sqrt{2}, 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é. +more 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 . 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. +more 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. +more 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. Úč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 \scriptstyle S. Místo toho jsou některé výsledky použity jako hodnoty tajného klíče. Z hodnoty veličiny \scriptstyle S 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 \scriptstyle S 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 \scriptstyle \sqrt{2}, 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 . Ú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. +more 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ů. +more 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. +more Dostaneme tak tzv. superhusté kódování . 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. +more 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í . 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, nemůžou ostatní zprostředkovatelé získat ze zaslané zprávy žádnou užitečnou informaci.

Kvantová metrologie

Účelem kvantové metrologie 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. +more 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 \scriptstyle | b \rangle, kde \scriptstyle b označuje jeden ze vstupních portů, změní se jeho stav po průchodu prvním děličem do tvaru

: \left| \psi \right\rangle = \frac{1}{\sqrt{2}} \left| a \right\rangle - \frac{1}{\sqrt{2}} \left| b \right\rangle.

Písmeno \scriptstyle a nyní označuje jedno rameno interferometru a \scriptstyle b označuje rameno druhé. V praxi nejsou délky těchto ramen stejné, ale trochu se liší. +more Průletem ramena \scriptstyle a tak paprsek naakumuluje trochu jinou fázi než paprsek procházející ramenem \scriptstyle b. Označme si rozdíl těchto dvou fází symbolem \scriptstyle \varphi. Pro průchodu oběma rameny dostáváme světlo ve stavu.

: \left| \psi' \right\rangle = \frac{1}{\sqrt{2}} \left| a \right\rangle - e^{i \varphi} \frac{1}{\sqrt{2}} \left| b \right\rangle.

Tyto dva paprsky dorazí k druhému děliči, kde zinterferují a výsledný stav je tvaru

: \left| \psi \right\rangle = e^{i \frac{\varphi}{2}} \left( - i \sin \left( \frac{\varphi}{2} \right) \left| a \right\rangle + \cos \left( \frac{\varphi}{2} \right) \left| b \right\rangle \right),

kde nyní \scriptstyle a a \scriptstyle b 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 \scriptstyle a. +more Tato intenzita je rovna.

: I_a = \left( \sin \left( \frac{\varphi}{2} \right) \right)^2.

Podobně dostaneme i intenzitu pro port \scriptstyle b:

: I_b = \left( \cos \left( \frac{\varphi}{2} \right) \right)^2.

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 \scriptstyle \varphi. Konkrétně, intenzity závisí na veličině \scriptstyle \varphi/2. +more 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 \scriptstyle N. Po průchodu prvním děličem paprsků se tyto fotony nacházejí ve stavu.

: \left| N00N \right\rangle = \frac{1}{\sqrt{2}} \left| N \right\rangle_a \otimes \left| 0 \right\rangle_b - \frac{1}{\sqrt{2}} \left| 0 \right\rangle_a \otimes \left| N \right\rangle_b,

který představuje kvantovou superpozici dvou možností. Buď všech \scriptstyle N fotonů letí ramenem \scriptstyle a, anebo všech \scriptstyle N fotonů letí ramenem \scriptstyle b. +more 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á \scriptstyle n fotony je rovna \scriptstyle \sigma = n \, \varphi. Těsně před druhým děličem jsou tak fotony ve stavu.

: \left| N00N' \right\rangle = \frac{1}{\sqrt{2}} \left| N \right\rangle_a \otimes \left| 0 \right\rangle_b - e^{i n \varphi} \frac{1}{\sqrt{2}} \left| 0 \right\rangle_a \otimes \left| N \right\rangle_b.

Z tohoto vzorce můžeme, podobně jako v předchozím případě, odvodit intenzity. Tyto intenzity závisí na veličině \scriptstyle n \varphi/2. +more Odpovídající interferenční obrazec tak obsahuje \scriptstyle n-krát více interferenčních minim než interferenční obrazec pro klasické světlo. Dostáváme tak \scriptstyle n-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.

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 \scriptstyle \left| \psi \right\rangle je separabilní neboli neprovázaný, pokud ho lze zapsat ve tvaru tenzorového součinu \scriptstyle \left| \psi \right\rangle = \left| \psi_{1} \right\rangle \otimes \left| \psi_{2} \right\rangle, kde \scriptstyle \left| \psi_1 \right\rangle je stav prvního podsystému a \scriptstyle \left| \psi_2 \right\rangle je stav druhého podsystému. # V opačném případě je daný stav kvantově provázaný neboli neseparabilní .

Smíšené kvantové stavy jsou popsány operátorem hustoty \scriptstyle \rho . Pokud jde o druhy korelací, máme v případě smíšených stavů tři možnosti:

# Pokud lze operátor \scriptstyle \rho vyjádřit jako tenzorový součin \scriptstyle \rho = \rho_1 \otimes \rho_2 , kde \scriptstyle \rho_1 je stav prvního podsystému a \scriptstyle \rho_2 je stav druhého podsystému, nazýváme \scriptstyle \rho faktorizovaný stav. # Pokud lze stav vyjádřený operátorem \scriptstyle \rho zapsat jako sumu faktorizovaných stavů, nazýváme ho separabilní stav nebo statistická směs nebo klasicky korelovaný stav. +more Takový stav je tvaru \scriptstyle \rho = \sum_i p_i \ \rho_1^{(i)} \otimes \rho_2^{(i)}, kde \scriptstyle \rho_1^{(i)} jsou stavy prvního podsystému, \scriptstyle \rho_2^{(i)} jsou stavy druhého podsystému a čísla \scriptstyle p_i tvoří pravděpodobnostní rozdělení, tj. \scriptstyle p_i \geq 0 a navíc \scriptstyle \sum_i p_i = 1 . # Všechny smíšené stavy \scriptstyle \rho , 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. +more 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. +more) 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í . Ekvivalentně lze říci, že dimenze provázání 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í . 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í . 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. +more Jejich stav tak může vypadat například takto.

: |\psi_{AB} \rangle = \left(\frac{1}{\sqrt{2}} \left( \left| H \right\rangle_A \otimes \left| H \right\rangle_B - \left| V \right\rangle_A \otimes \left| V \right\rangle_B \right) \right) \otimes \left(\frac{1}{\sqrt{2}} \left( \left| c \right\rangle_A \otimes \left| m \right\rangle_B + \left| m \right\rangle_A \otimes \left| c \right\rangle_B \right) \right),

kde \scriptstyle |c\rangle označuje frekvenci odpovídající červené barvě a podobně \scriptstyle |m\rangle označuje frekvenci odpovídající modré barvě. Odlišným pojmem je hybridní provázání , kde jedna vlastnost jedné částice je provázána s druhou vlastností druhé částice. +more Příkladem takového provázání je následující stav.

: |\psi_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle_A \otimes \left| c \right\rangle_B + \left| V \right\rangle_A \otimes \left| m \right\rangle_B \right), kde význam všech symbolů je stejný jako u předchozího stavu.

Experimentální generování provázaných stavů

+more_Pokud_je_silný_laserový_paprsek_soustředěn_do_speciálního_nelineárního_krystalu,_dojde_v_něm_vlivem_Spontánní_parametrická_sestupná_konverze|spontánní_parametrické_sestupné_konverze_ke_vzniku_dvojic_fotonů. _Jeden_foton_má_vertikální_polarizaci_a_šíří_se_z_krystalu_v_různých_směrech,_které_dohromady_tvoří_kužel. _Druhý_foton_má_horizontální_polarizaci_a_šíří_se_také_po_směru,_který_leží_na_kuželu. _Osa_tohoto_kuželu_se_ale_od_osy_kuželu_prvního_trochu_odchyluje. _Důsledkem_toho_se_oba_kužely_protínají_ve_dvou_průsečnice'>průsečnicích. Pokud sbíráme pouze ty fotony, které letí podél těchto průsečnic, obdržíme dvojice fotonů provázaných ve své polarizaci. .

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ů. +more Zdaleka nejpoužívanějším způsobem generování provázaných fotonů je spontánní parametrická sestupná konverze ( 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. +more 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 vytvoří dvojice fotonů, kde je jeden foton polarizovaný horizontálně a ten druhý vertikálně. Můžeme tak obdržet dvě možnosti. Buď.

: \left| H \right\rangle_A \otimes \left| V \right\rangle_B,

nebo

: \left| V \right\rangle_A \otimes \left| H \right\rangle_B,

kde \scriptstyle |H\rangle a \scriptstyle |V\rangle 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. +more 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ů:.

: |\psi_{AB} \rangle = \frac{1}{\sqrt{2}} \left( \left| H \right\rangle_A \otimes \left| V \right\rangle_B + e^{i \varphi} \left| V \right\rangle_A \otimes \left| H \right\rangle_B \right),

kde \scriptstyle \varphi 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 , 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:

:|\Phi^+\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |0\rangle_B + |1\rangle_A \otimes |1\rangle_B),

:|\Phi^-\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |0\rangle_B - |1\rangle_A \otimes |1\rangle_B),

:|\Psi^+\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |1\rangle_B + |1\rangle_A \otimes |0\rangle_B),

:|\Psi^-\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |1\rangle_B - |1\rangle_A \otimes |0\rangle_B),

kde \scriptstyle A označuje první částici a \scriptstyle B označuje částici druhou. Tyto stavy nacházejí uplatnění v různých komunikačních protokolech jako je kvantová teleportace či superhusté kódování. +more 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. +more Základem tohoto argumentu je provázaný stav tří částic, \scriptstyle A, \scriptstyle B a \scriptstyle C, který nese označení GHZ stav a který je tvaru:.

:|GHZ\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |0\rangle_B \otimes |0\rangle_C + |1\rangle_A \otimes |1\rangle_B \otimes |1\rangle_C).

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. +more Lze ho použít například v tzv. quantum secret sharing.

W stav

Jistým protipólem GHZ stavu je takzvaný W stav . Jeho tvar pro tři částice označené \scriptstyle A, \scriptstyle B a \scriptstyle C zní

:|W\rangle = \frac{1}{\sqrt{3}} (|1\rangle_A \otimes |0\rangle_B \otimes |0\rangle_C + |0\rangle_A \otimes |1\rangle_B \otimes |0\rangle_C + |0\rangle_A \otimes |0\rangle_B \otimes |1\rangle_C).

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í. +more Prvním druhem je provázání typu GHZ a druhým druhem je provázání představované W stavem.

Dickeho stavy

Zobecněním W stavu dostaneme Dickeho stavy . Dickeho stav \scriptstyle | D^n_k \rangle je rovnoměrná superpozice \scriptstyle n-částicových dvourozměrných stavů, kde je přesně \scriptstyle k částic ve stavu \scriptstyle | 1 \rangle a ostatní jsou ve stavu \scriptstyle |0\rangle. +more Takže například stav \scriptstyle | D^4_2 \rangle má tvar.

: \left| D^4_2 \right\rangle = \frac{1}{\sqrt{6}} \left( \left| 1100 \right\rangle + \left| 1010 \right\rangle + \left| 1001 \right\rangle + \left| 0110 \right\rangle + \left| 0101 \right\rangle + \left| 0011 \right\rangle \right),

kde \scriptstyle |1100\rangle je zkrácený zápis pro \scriptstyle |1\rangle\otimes|1\rangle\otimes|0\rangle\otimes|0\rangle atd. Původní trojčásticový W stav je roven Dickeho stavu \scriptstyle | D^3_1 \rangle.

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 \scriptstyle N fotonů, které se pohybují po jedné ze dvou možných drah. +more Označme si první dráhu písmenem \scriptstyle A a podobně dráhu druhou písmenem \scriptstyle B. Takzvaný NOON stav je stav těchto \scriptstyle N fotonů, který má ve Fockově bázi tvar.

: \left| N00N \right\rangle = \frac{1}{\sqrt{2}} \left( \left| N \right\rangle_A \otimes \left| 0 \right\rangle_B - \left| 0 \right\rangle_A \otimes \left| N \right\rangle_B \right).

Tento stav lze interpretovat tak, že buď všech \scriptstyle N fotonů letí po dráze \scriptstyle A, anebo všech \scriptstyle N fotonů letí po dráze \scriptstyle B. Čím větší je počet \scriptstyle N, tím větší přesnosti měření lze dosáhnout, jak je nastíněno v oddíle „Kvantová metrologie“ výše. +more 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ů. +more Význačným příkladem takových stavů jsou Wernerovy stavy , jež lze v nejjednodušší formě zapsat ve tvaru.

: \rho_\alpha = \alpha \left| \Psi^- \right\rangle \left\langle \Psi^- \right| + (1 - \alpha) \, \frac{1}{4} \, \mathbb{I}.

Jedná se o směs Bellova stavu \scriptstyle \left| \Psi^- \right\rangle a maximálně smíšeného stavu \scriptstyle \frac{1}{4} \, \mathbb{I}. Parametr \scriptstyle \alpha 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. +more Pro \scriptstyle \alpha = 1 dostáváme Bellův stav, pro \scriptstyle \alpha = 0 dostáváme stav maximálně smíšený. Parametr \scriptstyle \alpha ve vzorci výše může nabývat hodnot v rozsahu \scriptstyle -1/3 \leq \alpha \leq 1. Lze přitom ukázat, viz oddíl „Verifikace provázání“ níže, že pro \scriptstyle 1/3 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. +more Pokud chápeme oba fotony jako jeden celek, stav tohoto celku zní.

: \left|\psi_{AB} \right\rangle = \frac{1}{\sqrt{2}} \left( \left| 0 \right\rangle_A \otimes \left| 0 \right\rangle_B - \left| 1 \right\rangle_B \otimes \left| 1 \right\rangle_A \right).

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. +more Podobně dostaneme-li první foton ve stavu \scriptstyle |1\rangle, bude i druhý foton ve stavu \scriptstyle |1\rangle. 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 \scriptstyle |0\rangle a \scriptstyle |1\rangle. +more Matematicky lze tento výsledek obdržet tím, že ze stavu dvou fotonů \scriptstyle \left|\psi_{AB} \right\rangle vyextrahujeme stav \scriptstyle \rho_A fotonu prvního pomocí částečné stopy.

: \rho_A = \mathrm{Tr}_B(\left|\psi_{AB} \right\rangle \left\langle\psi_{AB} \right|) = \frac{1}{2} \, \mathbb{I}.

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. +more maximálně smíšeném stavu. Následkem toho můžeme na prvním fotonu naměřit jak \scriptstyle |0\rangle, tak \scriptstyle |1\rangle, 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:

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. +more 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 \scriptstyle \left|\psi_{AB} \right\rangle . 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é \scriptstyle A a \scriptstyle B, a zdroj, který produkuje maximálně provázané páry fotonů ve stavu

: \left|\psi_{AB} \right\rangle = \frac{1}{\sqrt{2}} \left( \left| 0 \right\rangle_A \otimes \left| 0 \right\rangle_B - \left| 1 \right\rangle_A \otimes \left| 1 \right\rangle_B \right).

Jeden foton následně letí k měřicí stanici \scriptstyle A a druhý letí opačným směrem k měřicí stanici \scriptstyle B. Pro maximálně provázané částice platí, že když změříme stav na částici doletivší do stanice \scriptstyle A, víme okamžitě výsledek odpovídajícího měření provedeného na částici druhé, která letí do stanice \scriptstyle B. +more 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, 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. Světlu totiž může trvat roky se dostat ze stanice \scriptstyle A do stanice \scriptstyle B.

K žádnému rozporu ovšem nedochází, protože když stanice \scriptstyle A změří stav své částice, stanice \scriptstyle B neví, jaký výsledek stanice \scriptstyle A obdržela. Stanice \scriptstyle A sice ví, co stanice \scriptstyle B naměří, aby tuto informaci ale mohla stanici \scriptstyle B předat, musí \scriptstyle A poslat k \scriptstyle B informaci o výsledku. +more Tato informace ale skutečně poletí nanejvýš rychlostí světla. Stanice \scriptstyle B by tedy musela čekat roky, aby se dozvěděla o výsledku měření na své vlastní částici.

Ve skutečnosti ani stanice \scriptstyle A ani stanice \scriptstyle B 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). +more Až ve chvíli, kdy stanice \scriptstyle A naměří daný stav na své částici, je schopna říct, jaký výsledek obdrží stanice \scriptstyle B. Tímto způsobem tedy nelze posílat informaci. Aby mohla stanice \scriptstyle A poslat nějakou zprávu stanici \scriptstyle B pomocí kvantového provázání, musel by výsledek měření vycházet podle přání stanice \scriptstyle A, 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 \scriptstyle |0 \rangle a jedničce odpovídá stav \scriptstyle |1 \rangle. Protože ale stanice \scriptstyle A dopředu neví, jestli naměří \scriptstyle |0 \rangle nebo \scriptstyle |1 \rangle, nemůže tímto způsobem poslat žádnou smysluplnou zprávu.

Tato situace je příkladem tvrzení, že korelace neimplikuje kauzalitu. Výsledky měření pro stanice \scriptstyle A a \scriptstyle B jsou shodné (silná korelace), ale ani \scriptstyle A ani \scriptstyle B nemůže cíleně ovlivnit výsledek svého měření (žádná kauzalita). +more Dostáváme tedy:.

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ů. +more 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. +more Metody, pomocí kterých se zjišťuje, zda je daný stav provázaný či nikoliv, se souhrnně označují jako verifikace provázání .

==== PPT kritérium ==== Jednou z prvních takových metod je PPT kritérium , 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ů. +more Toto kritérium lze formulovat slovy:.

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é. +more 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.

: \rho_\alpha = \alpha \left| \Psi^- \right\rangle \left\langle \Psi^- \right| + (1 - \alpha) \, \frac{1}{4} \, \mathbb{I},

kde číslo \scriptstyle \alpha je v rozmezí hodnot \scriptstyle -1/3 \leq \alpha \leq 1. Jedná se tedy o Wernerův stav a explicitně jeho matice hustoty zní

:\rho = \begin{pmatrix} \frac{1-\alpha}{4} & 0 & 0 & 0 \\ 0 & \frac{1+\alpha}{4} & -\frac{\alpha}{2} & 0 \\ 0 & -\frac{\alpha}{2} & \frac{1+\alpha}{4} & 0 \\ 0 & 0 & 0 & \frac{1-\alpha}{4} \\ \end{pmatrix}.

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 \scriptstyle \rho, viz oddíl „Terminologie“ výše. Takovýchto souborů je ale nekonečně mnoho. +more Je proto výhodnější použít nějakého kritéria, které nám řekne, zda je \scriptstyle \rho kvantově provázaný stav. Pro použití PPT kritéria musíme nejprve spočíst částečnou transpozici. Pro matici \scriptstyle \rho rozměru \scriptstyle 4 \times 4 je částečná transpozice rovna matici.

:\rho' = \begin{pmatrix} \frac{1-\alpha}{4} & 0 & 0 & -\frac{\alpha}{2} \\ 0 & \frac{1+\alpha}{4} & 0 & 0 \\ 0 & 0 & \frac{1+\alpha}{4} & 0 \\ -\frac{\alpha}{2} & 0 & 0 & \frac{1-\alpha}{4} \\ \end{pmatrix}.

Vlastní hodnoty matice \scriptstyle \rho' jsou tvaru

: \lambda_1 = \frac{1+\alpha}{4}, \quad \lambda_2 = \frac{1+\alpha}{4}, \quad \lambda_3 = \frac{1+\alpha}{4}, \quad \lambda_4 = \frac{1-3\alpha}{4}.

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. +more \scriptstyle \lambda_j \geq 0, dostali bychom podmínky \scriptstyle \alpha \geq -1 a \scriptstyle \alpha \leq \frac{1}{3}, ke kterým ještě musíme přidat počáteční omezení pro parametr \scriptstyle \alpha. Celkově vzato, pro hodnoty \scriptstyle -1/3 \leq \alpha \leq 1/3 je stav \scriptstyle \rho separabilní a pro hodnoty.

: \frac{1}{3}

je daný stav kvantově provázaný.

==== Svědci provázání ==== Jinou, velmi obecnou, metodou jsou takzvaní svědci provázání . Lze ukázat, že pro každý kvantově provázaný (obecně smíšený) stav \scriptstyle \sigma lze najít kvantový operátor \scriptstyle W_\sigma tak, že platí:

{{Citát v rámečku| Pokud kvantový stav \scriptstyle \rho (resp. jeho matice hustoty) splňuje : \mathrm{tr}(W_\sigma \, \rho) kde \scriptstyle \mathrm{tr} označuje stopu matice, pak je stav \scriptstyle \rho kvantově provázaný. +more }}.

Důvod, proč operátor \scriptstyle W_\sigma závisí na stavu \scriptstyle \sigma je ten, že výše uvedené tvrzení nelze obrátit. Existují tedy provázané stavy, ty které jsou v jistém smyslu „daleko“ od \scriptstyle \sigma, pro které dostaneme \scriptstyle \mathrm{Tr}(W_\sigma \rho) > 0. +more Pro tyto stavy ale můžeme zkonstruovat jejich vlastní operátory \scriptstyle W. 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 \scriptstyle \sigma si zvolme čistý Bellův stav \scriptstyle | \Psi^- \rangle, tj. +more \scriptstyle \sigma = | \Psi^- \rangle \langle \Psi^- |, pro nějž bez bližšího vysvětlení zvolíme operátor \scriptstyle W_\sigma ve tvaru.

: W_\sigma = \frac{1}{2} \, \mathbb{I} - | \Psi^- \rangle \langle \Psi^- |.

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í

: \rho_\alpha = \alpha \left| \Psi^- \right\rangle \left\langle \Psi^- \right| + (1 - \alpha) \, \frac{1}{4} \, \mathbb{I},

kde \scriptstyle \alpha je parametr, jehož hodnota letí v rozmezí \scriptstyle -1/3 \leq \alpha \leq 1. Pro stopu \scriptstyle \mathrm{tr}(W_\sigma \, \rho_\alpha) dostáváme

: \mathrm{tr}(W_\sigma \, \rho_\alpha) = \mathrm{tr} \left( \left( \frac{1}{2} \, \mathbb{I} - | \Psi^- \rangle \langle \Psi^- | \right) \, \left( \alpha \left| \Psi^- \right\rangle \left\langle \Psi^- \right| + (1 - \alpha) \, \frac{1}{4} \, \mathbb{I} \right) \right) = \mathrm{tr} \left( \frac{1 - \alpha}{8} \, \mathbb{I} - \frac{1 + \alpha}{4} \, | \Psi^- \rangle \langle \Psi^- | \right) = \frac{1 - \alpha}{8} \, \mathrm{tr}(\mathbb{I}) - \frac{1 + \alpha}{4} \, \mathrm{tr} (| \Psi^- \rangle \langle \Psi^- | ) = \frac{1 - \alpha}{8} \, 4 - \frac{1 + \alpha}{4} \, 1 = \frac{1 - 3 \alpha}{4}.

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 \scriptstyle \alpha, dostáváme, že stav \scriptstyle \rho_\alpha je provázaný pokud

: \frac{1}{3}

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. +more 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 . V opačném případě jsou ve stavu nemaximálně provázaném . 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í . 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 \scriptstyle S, jež se pro operátor hustoty \scriptstyle \rho spočte dle vztahu

:S(\rho) = -\mathrm{tr}(\rho \log(\rho)),

kde \scriptstyle \mathrm{tr} označuje stopu matice a \scriptstyle \log je maticový logaritmus. Čisté stavy mají entropii nulovou, protože neobsahují žádnou klasickou náhodnost. +more 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í . 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 \scriptstyle |\psi\rangle. Stav prvního podsystému (označme si ho \scriptstyle \rho_A) získáme tak, že provedeme částečnou stopu stavu \scriptstyle |\psi\rangle, tj.

:\rho_A = \mathrm{tr}_B |\psi\rangle \langle \psi |.

Stav druhého podsystému obdržíme zcela analogicky jako \scriptstyle \rho_B = \mathrm{tr}_A |\psi\rangle \langle \psi |. Entropie provázání je pak definována vztahem

Z vlastností čistých stavů plyne, že \scriptstyle S (\rho_A) = S (\rho_B) 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 \scriptstyle \rho, můžeme tento matematicky vyjádřit ve tvaru

:\rho = \sum_i p_i |\psi_i\rangle \langle \psi_i |

pro nějaké pravděpodobnostní rozdělení \scriptstyle \{ p_i \}_i a nějaký soubor čistých stavů \scriptstyle \{ |\psi_i \rangle \}_i. Smíšený stav tak lze chápat jako průměr přes několik různých čistých stavů. +more Zdá se tak přirozené kvantifikovat provázání ve smíšeném stavu \scriptstyle \rho jako průměr entropie provázání pro jednotlivé čisté stavy pomocí vzorce.

:\sum_i p_i E(|\psi_i\rangle).

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í \scriptstyle \{ p_i \}_i i čisté stavy \scriptstyle \{ |\psi_i \rangle \}_i a průměr výše tak může mít různé hodnoty. +more Aby se předešlo této nejednoznačnosti, je entanglement of formation \scriptstyle E_F 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.

{{Citát v rámečku|E_F(\rho) := \inf_{\{p_i, |\psi_i \rangle \}} \left( \sum_i p_i E(|\psi_i\rangle) \right)}}

==== 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. +more 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.

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ý. +more Nejvíce provázaným stavem dvou částic v dimenzi \scriptstyle d je maximálně provázaný stav \scriptstyle | \phi(d) \rangle, který je tvaru.

:|\phi(d) \rangle = \frac{1}{\sqrt{d}}\left( | 0, 0 \rangle + | 1, 1 \rangle + \ldots + | d - 1, d - 1 \rangle \right).

Označme si matici hustoty příslušející k tomuto stavu symbolem \scriptstyle \Phi(d). Člověk by intuitivně čekal, že stav \scriptstyle \rho s menší mírou provázání lze dostat z maximálně provázaného stavu, když se mu část provázání odejme. +more Tomuto odebrání odpovídá jistá transformace. Označme si ji symbolem \scriptstyle \Psi. Pokud je \scriptstyle \rho provázaný hodně, je k jeho vytvoření potřeba maximálně provázaný stav o vyšší dimenzi \scriptstyle d, pokud je \scriptstyle \rho provázaný málo, stačí menší dimenze. Pokud uvažujeme pouze dimenze tvaru \scriptstyle d = 2^r, můžeme číslo \scriptstyle r považovat za naši míru provázání. Čím větší \scriptstyle r, tím více kvantového provázání ve stavu \scriptstyle \rho. 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 \scriptstyle \Psi, která by převedla maximálně provázaný stav na náš stav \scriptstyle \rho, 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 \scriptstyle \Psi splňuje jisté, fyzikálně motivované, požadavky. Stav \scriptstyle \rho je stavem dvou částic, kde k první částici má přístup Alice a k druhé částici má přístup Bob. +more Alice s Bobem musí být schopni implementovat transformaci \scriptstyle \Psi 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 \scriptstyle 2^r-rozměrný maximálně provázaný stav \scriptstyle \Phi(2^r) na náš stav \scriptstyle \rho. To jest

:\Psi(\Phi(2^r)) = \rho.

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 \scriptstyle \rho. +more 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 \scriptstyle D. Hledáme tedy mezi všemi přípustnými transformacemi tu, pro niž je vzdálenost mezi \scriptstyle \Psi(\Phi(2^r)) a \scriptstyle \rho co nejmenší. Tuto nejmenší vzdálenost lze matematicky vyjádřit pomocí infima.

:\inf_{\Psi} D(\Psi(\Phi(2^r)), \rho).

Pokud tento výraz není nulový, jak bychom chtěli, zvýšíme hodnotu čísla \scriptstyle r a provedeme infimum znovu. Pro větší hodnotu \scriptstyle r se zvětší třída možných operací \scriptstyle \Psi, takže je možné, že nové infimum už bude nula. +more V takovém případě bychom číslo \scriptstyle r prohlásili za entanglement cost našeho stavu \scriptstyle \rho. Bohužel, ani v tomto obecnějším případě transformace \scriptstyle \Psi 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 \scriptstyle \rho, bereme v potaz mnoho jeho kopií. Náš stav je tak nyní tenzorový součin \scriptstyle n kopií, tj. \scriptstyle \rho^{\otimes n}. Chtěli bychom tedy, aby následující výraz byl pokud možno roven nule.

:\inf_{\Psi} D(\Psi(\Phi(2^{r n})), \rho^{\otimes n}).

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

:\lim_{n \to \infty} \left(\inf_{\Psi} D(\Psi(\Phi(2^{r n})), \rho^{\otimes n})\right).

Pokud je tato limita rovna nule, prohlásíme číslo \scriptstyle r za entanglement cost stavu \scriptstyle \rho. V opačném případě zvýšíme hodnotu čísla \scriptstyle r a postup opakujeme. +more Může se též stát, že vhodných hodnot \scriptstyle r nalezneme více. Jestliže je takovýchto hodnot \scriptstyle r více, vezmeme prostě tu nejmenší z nich. Tato nejmenší hodnota \scriptstyle r je entanglement cost našeho stavu \scriptstyle \rho. Dospěli jsme tak k definici míry provázaní zvané entanglement cost \scriptstyle E_C, jež zní.

{{Citát v rámečku|E_C(\rho) := \inf_r (r) \quad \text{ kde } r \text{ splňuje podmínku: } \quad \lim_{n \to \infty} \left(\inf_{\Psi} \left( D( \Psi(\Phi(2^{r n})), \rho^{\otimes n} ) \right) \right) = 0 }}

==== 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. +more Zatímco u entanglement cost nás zajímá, jak dobře lze maximálně provázaný stav \scriptstyle \Phi(d) přetransformovat pomocí LOCC operací na stav \scriptstyle \rho, 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 \scriptstyle \rho přetransformovat na maximálně provázaný stav. Definice pro distillable entanglement \scriptstyle E_D zní.

{{Citát v rámečku|E_D(\rho) := \sup_r (r) \quad \text{ kde } r \text{ splňuje podmínku: } \quad \lim_{n \to \infty} \left(\inf_{\Psi} \left( D( \Phi(2^{r n}), \Psi(\rho^{\otimes n}) ) \right) \right) = 0 }}

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 \scriptstyle | \psi \rangle přidruženém ke kvantovému systému, tak jak tomu je v matematické definici kvantového provázání uvedené výše. +more 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 \scriptstyle | \psi \rangle tedy uvažujme pravděpodobnostní rozdělení \scriptstyle P. Mějme systém dvou částic, které se společně nacházejí ve stavu \scriptstyle W, přičemž jedna částice je měřena Alicí pomocí aparátu \scriptstyle A a druhá je měřena Bobem pomocí aparátu \scriptstyle B. Pravděpodobnost, že Alice naměří aparátem \scriptstyle A hodnotu \scriptstyle a a Bob naměří aparátem \scriptstyle B hodnotu \scriptstyle b označíme symbolem \scriptstyle P(a,b|A,B;W). 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. +more 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. +more Pokud lze výsledné pravděpodobnosti současného naměření hodnoty \scriptstyle a Alicí a hodnoty \scriptstyle b Bobem vyjádřit vztahem {{Citát v rámečku|P(a,b|A,B;W) = \sum_{j} p_j \cdot P(a|A;\sigma_j) \cdot P(b|B;\rho_j),}} kde \scriptstyle p_j je nějaké pravděpodobnostní rozdělení, tak stav \scriptstyle W vykazuje jen klasické korelace. Symbolem \scriptstyle P(a|A;\sigma_j) je označena podmíněná pravděpodobnost, že Alice naměří aparátem \scriptstyle A hodnotu \scriptstyle a na stavu \scriptstyle \sigma_j (a obdobně pro Boba). Daný vzorec lze interpretovat tak, že s pravděpodobností \scriptstyle p_j obdrží Alice stav \scriptstyle \sigma_j a Bob stav \scriptstyle \rho_j a na těchto stavech oba provedou svá měření.

Stav \scriptstyle W je tedy klasicky korelovaný neboli separabilní. Takový stav lze zapsat ve tvaru :W = \sum_{j} p_j \, \sigma_j \otimes \rho_j, 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í \scriptstyle P(a,b|A,B;W) nelze vyjádřit pomocí vzorce z předchozího pododdílu „Klasické korelace“. +more Platí tedy {{Citát v rámečku|P(a,b|A,B;W) \neq \sum_{j} p_j \cdot P(a|A;\sigma_j) \cdot P(b|B;\rho_j),}} 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. +more Pro nedostatek invence předpokládejme, že těmito částicemi jsou fotony, jejichž stav je tvaru.

: |\psi \rangle = \frac{1}{\sqrt{2}} \left( \left| 0 \right\rangle_A \otimes \left| 0 \right\rangle_B - \left| 1 \right\rangle_A \otimes \left| 1 \right\rangle_B \right).

Pokud Alice tedy naměří stav \scriptstyle | 0 \rangle, naměří i Bob u svého fotonu stav \scriptstyle | 0 \rangle. Podobně pro \scriptstyle | 1 \rangle. +more Jenže co když se Alice rozhodne měřit ne v bázi \scriptstyle | 0 \rangle / | 1 \rangle , ale raději v bázi \scriptstyle | R \rangle / | L \rangle . Vyjádříme-li stav \scriptstyle | \psi \rangle pomocí stavů \scriptstyle | R \rangle = (|0\rangle + i |1\rangle)/\sqrt{2} a \scriptstyle | L \rangle = (|0\rangle - i |1\rangle)/\sqrt{2}, obdržíme.

: |\psi \rangle = \frac{1}{\sqrt{2}} \left( \left| R \right\rangle_A \otimes \left| R \right\rangle_B + \left| L \right\rangle_A \otimes \left| L \right\rangle_B \right).

Jestliže Alice naměří na svém fotonu stav \scriptstyle | R \rangle, naměří Bob posléze na svém fotonu také \scriptstyle | R \rangle, a podobně pro \scriptstyle | L \rangle. Zdá se tedy, že pouze svou volbou měření může Alice ovlivnit, jaký stav „uvidí“ Bob na svém fotonu. +more Pokud se Alice rozhodne měřit stav \scriptstyle | 0 \rangle či stav \scriptstyle | 1 \rangle, bude mít Bob svůj foton též v jednom z těchto stavů. Pokud se ale Alice rozhodně měřit stav \scriptstyle | R \rangle či \scriptstyle | L \rangle, 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. 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. Přesná matematická definice byla však podána až v roce 2007 a to následujícím způsobem. +more Řekneme, že stav \scriptstyle W je steerable (česky doslova řiditelný) Alicí, pokud pravděpodobnosti naměření hodnoty \scriptstyle a Alicí a hodnoty \scriptstyle b Bobem nevyhovují vztahu.

{{Citát v rámečku|P(a,b|A,B;W) = \sum_{j} p_j \cdot p(a|A,j) \cdot P(b|B;\rho_j),}}

kde význam všech symbolů je tentýž jako v předchozích pododdílech a kde navíc symbolem \scriptstyle p(a|A,j) označujeme (klasickou) pravděpodobnost naměření hodnoty \scriptstyle a při použití aparátu \scriptstyle A a situace označené indexem \scriptstyle j. Jak vidno z uvedeného vzorce, quantum steering není symetrický vztah, na rozdíl od ostatních druhů uvedených korelací. +more 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 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. +more 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 (\scriptstyle A) a Bob (\scriptstyle B) mají každý po jedné částici a tyto dvě částice jsou v provázaném stavu \scriptstyle W. Alice a Bob měří své částice a výsledky měření (výsledek \scriptstyle a pro Alici a \scriptstyle b pro Boba) jsou popsány pravděpodobnostním rozdělením \scriptstyle P(a,b|A,B;W). +more Řekneme, že stav \scriptstyle W splňuje Bellovu nelokalitu, pokud pravděpodobnostní rozdělení \scriptstyle P(a,b|A,B;W) nelze zapsat ve tvaru.

{{Citát v rámečku|P(a,b|A,B;W) = \sum_{j} p_j \cdot p(a|A,j) \cdot p(b|B,j),}}

kde \scriptstyle p(a|A,j) je (klasické) pravděpodobnostní rozdělení výsledků měření jen pro Alici samotnou, \scriptstyle p(b|B,j) je (klasické) pravděpodobnostní rozdělení výsledků měření jen pro Boba samotného a p_j je nějaké další (klasické) pravděpodobnostní rozdělení. Protože všechna tato pravděpodobnostní rozdělení musí splňovat podmínky \scriptstyle \sum_j p(a|A,j) = 1 atd. +more (normalizace) a \scriptstyle p(a|A,j) \ge 0 atd. (pozitivita), není splnění vzorce uvedeného výše samozřejmé. Index \scriptstyle j 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 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. +more 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.

Odkazy

Poznámky

Reference

Literatura

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

Interaktivní demonstrace

[url=https://demonstrations. wolfram. +morecom/QuantumEntanglementVersusClassicalCorrelation/]"Quantum Entanglement versus Classical Correlation"[/url] (anglicky) * [url=http://demonstrations. wolfram. com/BellsTheorem/]"Bell's Theorem"[/url] (anglicky) * [url=http://demonstrations. wolfram. com/HiddenVariablesInQuantumMechanics/]"Hidden Variables in Quantum Mechanics"[/url] (anglicky) * [url=http://demonstrations. wolfram. com/MonteCarloSimulationOfTwoElectronSpinCorrelations/]"Monte Carlo Simulation of Two-Electron Spin Correlations"[/url] (anglicky) * [url=http://demonstrations. wolfram. com/ViolationOfBellsInequalityAConfirmationOfQuantumTheory/]"Violation of Bell's Inequality: A Confirmation of Quantum Theory"[/url] (anglicky).

Ostatní

prezentace na téma [url=http://slideplayer.com/slide/5780721/|"The]Separability Problem and its Variants in Quantum Entanglement Theory"[/url] (anglicky)

Kategorie:Kvantová fyzika