Rozlišení kvantových stavů

Cílem rozlišení kvantových stavů je na základě jednoho kvantového měření s co nejmenší chybou určit, v jakém stavu se měřený systém před měřením nacházel. V obecném případě vždy dochází s jistou malou pravděpodobností k výskytu chybného určení.

Pojmem rozlišení kvantových stavů (popř. diskriminace kvantových stavů, : ) se souhrnně označují kvantově-informatické techniky, s jejichž pomocí lze provedením malého počtu měření na fyzikálním systému identifikovat jeho konkrétní kvantový stav. +more A to za předpokladu, že je dopředu známa množina stavů, v nichž se systém může nacházet, a my pouze potřebujeme určit, o jaký se zrovna jedná. Tímto předpokladem se takovéto techniky odlišují od kvantové tomografie, jež sice neklade dodatečné požadavky na stav systému, vyžaduje však mnohonásobně více měření.

Je-li množina stavů, ve kterých se může zkoumaný systém nacházet, představována ortogonálními vektory, je situace obzvlášť jednoduchá. Pro jednoznačné určení stavu systému stačí provést kvantové měření v bázi tvořené těmito vektory. +more Z naměřené hodnoty lze pak bezchybně identifikovat daný kvantový stav. Lze navíc snadno ukázat, že pokud jednotlivé stavy vzájemně ortogonální nejsou, neexistuje způsob, jak je s jistotou rozlišit. Vždy je tedy v takovém případě nutno počítat s možností chybného či neprůkazného určení stavu systému. Existují však techniky, které se snaží tento nedostatek zmírnit. Až na výjimky lze tyto techniky rozdělit do dvou skupin, a sice na ty založené na minimalizaci chyby a pak na ty, které umožňují určit stav jednoznačně výměnou za nižší účinnost.

První skupina technik vychází z prací +more_Helstrom'>C. W. Helstroma z 60. a 70. let 20. století a ve své základní podobě spočívá v provedení projektivního kvantového měření, kde jsou měřicími operátory projektivní zobrazení. Skupina druhá je založena na závěrech vědeckého článku publikovaného I. D. Ivanovičem roku 1987 a vyžaduje použití měření zobecněného, v němž jsou za měřicí operátory vzaty prvky POVM sady. Obě skupiny technik jsou i v současnosti předmětem aktivního, především teoretického, výzkumu a až na řadu speciálních případů není obecné řešení, které by umožňovalo zvolit měřicí operátory ve formě vyjádřitelné analytickým vzorcem, známo.

Role ortogonality

Metod pro rozlišení kvantových stavů existuje vícero a konkrétní použití každé z nich závisí jednak na tvaru stavů, které mají být rozlišeny, a jednak na dodatečných požadavcích, které na metodu klademe. Ukazuje se, že velkou roli v tomto ohledu hraje ortogonalita stavů, jež mají být rozlišeny. +more Rozlišit mezi ortogonálními stavy je koncepčně jednoduché a zcela spolehlivé. Tomuto případu se tak věnuje v krátkosti následující podkapitolka. Otázka rozlišení neortogonálních stavů je mnohem komplexnější a je jí věnován zbytek tohoto článku.

Rozlišení ortogonálních stavů

Pro začátek uvažme množinu se dvěma ortogonálními stavy. Mějme tedy kvantový systém, jehož Hilbertův prostor můžeme bez újmy na obecnosti považovat za dvourozměrný a jenž se může nacházet v jednom z následujících dvou stavů: | 0 \rangle nebo |1\rangle. +more Tyto dva stavy jsou ortogonální a tvoří tak ortonormální bázi zmíněného Hilbertova prostoru. Měření, které po jediné aplikaci jednoznačně určí, zda se systém nachází v | 0 \rangle či | 1 \rangle, je zjevně dáno ortogonálními projektory P_0 = | 0 \rangle \langle 0 | a P_1 = | 1 \rangle \langle 1 |. Tyto projektory představují kvantové projektivní měření v bázi \{ | 0 \rangle, | 1 \rangle \}.

Uvažme nyní složitější případ, kdy může stav systému nabývat jednoho z těchto tvarů: | A \rangle = (1/\sqrt{2})(|0\rangle - |1\rangle) nebo | D \rangle = (1/\sqrt{2})(|0\rangle + |1\rangle). Jak se lze jednoduchým výpočtem snadno přesvědčit, i v tomto případě platí, že | A \rangle a | D \rangle tvoří ortonormální bázi daného Hilbertova prostoru. +more Projektivním kvantovým měřením v této bázi tak můžeme jednoznačně určit, zda se systém nachází v | A \rangle či | D \rangle. Explicitním výpočtem totiž zjistíme, že naměřit hodnotu A lze pouze tehdy, je-li systém ve stavu | A \rangle, protože pravděpodobnost p naměření hodnoty D je pro takový stav rovná nule, jak plyne z Bornova pravidla: p = |\langle A | D \rangle|^2 = 0. Zcela analogicky pak platí, že hodnotu D lze naměřit jen tehdy, je-li systém na počátku ve stavu | D \rangle.

V obecném případě vícerozměrného Hilbertova prostoru a vícera stavů opět platí, že stav systému lze jednoznačně určit tak, že provedeme (jediné) projektivní měření v bázi tvořené těmito stavy. Formálně vzato, nechť \{ | \psi_k \rangle \}_{k=1}^N je množina N (čistých) kvantových stavů, jež jsou navzájem ortogonální a splňují tak vztahy \langle \psi_i | \psi_j \rangle = \delta_{ij}, kde 1 \leq i,j \leq N a kde \delta_{ij} je Kroneckerovo delta. +more Sestrojme z těchto stavů ortogonální projektory P_k ve tvaru P_k = | \psi_k \rangle \langle \psi_k |. Pak z Bornova pravidla plyne, že pravděpodobnost naměření výsledku i pro vstupní stav | \psi_j \rangle je rovna p(i, | \psi_j \rangle) = | \langle \psi_i | \psi_j \rangle |^2 = \delta_{ij}. Je-li tedy stav systému roven | \psi_j \rangle pro jisté konkrétní j, tak jediná hodnota, pro niž dostaneme nenulovou pravděpodobnost naměření, je právě j. Tato hodnota tak jednoznačně identifikuje vstupní stav systému.

Neortogonální stavy nelze spolehlivě rozlišit

Nejenže lze ortogonální stavy spolehlivě rozlišit, platí navíc v jistém smyslu i opak. A sice, že stavy neortogonální spolehlivě rozlišit nelze. +more Jinými slovy, pro množinu neortogonálních (čistých) kvantových stavů neexistuje kvantové měření, které by je bylo schopno s jistotou rozlišit. V následujícím si uvedeme důkaz tohoto tvrzení.

Mějme tedy množinu neortogonálních stavů zadaných kety \{ | \psi_k \rangle \}_k. Existují tedy alespoň dva stavy | \psi_a \rangle a | \psi_b \rangle pro jisté indexy a, b tak, že \langle \psi_a | \psi_b \rangle \neq 0. +more Pokud jde o měření, tak projektivní měření jsou speciálním případem měření zobecněných. Pro obecnost tedy uvažujme měření zobecněná, která jsou popsána POVM operátory \{ E_i \}_i, což jsou pozitivně semidefinitní operátory splňující relaci úplnosti: \textstyle \sum_i E_i = \mathbb{I}. Dokažme si sporem, že neexistuje sada POVM operátorů, která by byla schopná od sebe s jistotou odlišit vektory \{ | \psi_k \rangle \}_k. Matematicky lze tento požadavek vyjádřit vzorcem \langle \psi_k | E_i | \psi_k \rangle = \delta_{ik} pro všechny indexy i, k, kde \delta_{ij} je Kroneckerovo delta. Využijeme-li relace úplnosti, můžeme přepsat skalární součin výchozích stavů do tvaru.

:\langle \psi_a | \psi_b \rangle = \sum_i \langle \psi_a | E_i | \psi_b \rangle.

Pro libovolný pozitivně definitní operátor A lze ukázat variantu Schwarzovy nerovnosti, kde pro libovolné vektory | x \rangle a | y \rangle platí

:| \langle x | A | y \rangle |^2 \leq \langle x | A | x \rangle \langle y | A | y \rangle.

Pro naši konkrétní volbu A = E_i, | x \rangle = | \psi_a \rangle a | y \rangle = | \psi_b \rangle dostáváme | \langle \psi_a | E_i | \psi_b \rangle |^2 \leq \langle \psi_a | E_i | \psi_a \rangle \langle \psi_b | E_i | \psi_b \rangle = \delta_{ai} \delta_{bi}, jak plyne z předpokladů. Po dosazení do vzorců výše a s využitím trojúhelníkové nerovnosti tak:

:0

kde poslední rovnost plyne z předpokladu, že a \neq b. Obdrželi jsme tak spor, jak bylo naším cílem. +more Můžeme tak shrnout, že neexistuje kvantové měření, které by od sebe spolehlivě odlišilo neortogonální vektory.

Rozlišení neortogonálních stavů

Jak je předvedeno v předchozí kapitolce, neortogonální stavy nelze spolehlivě rozlišit. Co však udělat lze, je sestrojit měření, které je tak spolehlivé, jak mu to jen tvary stavů dovolují. +more Ukazuje se, že tento přístup je mnohem složitější a kladoucí na matematický aparát mnohem větší nároky, než je tomu v případě rozlišení stavů ortogonálních. Jako motivaci pro následující výklad uvažme nejprve dva kvantové stavy ve tvaru.

:| \psi_1 \rangle = | 0 \rangle, \quad | \psi_2 \rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle).

Tyto dva stavy nejsou ortogonální a jejich překryv je dán výrazem \langle \psi_1 | \psi_2 \rangle = 1/\sqrt{2}. Zkoumejme, jaké výsledky obdržíme, provedeme-li měření těchto dvou stavů v bázi \{ | 0 \rangle, | 1 \rangle \}. +more Pokud obdržíme výsledek 0, mohl být stav systému jak | \psi_1 \rangle, tak | \psi_2 \rangle. Nemáme tak žádné vodítko, jež by nám pomohlo určit původní stav. Dá-li však měření hodnotu 1, mohl být stav systému pouze | \psi_2 \rangle, protože v | \psi_1 \rangle se ket | 1 \rangle nevyskytuje. Zcela analogickou diskuzi bychom mohli provést pro měření v bázi \{ | A \rangle, | D \rangle \}. V tomto případě bychom po naměření A věděli s jistotou, že stavem mohl být jedině | \psi_1 \rangle, a při obdržení výsledku D bychom identitu stavu systému určit nemohli.

Pro obě měřicí báze tak některé výsledky neposkytují jednoznačnou informaci o původním stavu změřeného systému. Jedním ze způsobů, jak se této nejednoznačnosti zbavit, je provedení kvantové tomografie obou stavů. +more V takovém případě musíme mít k dispozici mnoho kopií téhož systému v témže kvantovém stavu, na nichž provádíme různá měření a z nasbíraných výsledků jsme pak schopni zrekonstruovat s dostatečnou přesností oba stavy. Nevýhodou této metody je právě nutnost provedení velkého počtu měření. Techniky rozlišení kvantových stavů se snaží tento nedostatek obejít a poskytnout informaci o identitě stavu provedením pouze jediného měření.

Techniky rozlišení stavů

Srovnání pravděpodobností nechtěného výsledku Q pro dvě hlavní metody rozlišení kvantových stavů - rozlišení s minimální chybou (MED) a jednoznačného rozlišení (USD). +more Pravděpodobnost je vynesena v závislosti na úhlu sevřeném dvěma rozlišovanými stavy \Delta \theta. Pro zvětšení klikněte na obrázek. .

Bylo již několikrát zmíněno, že technik rozlišení neortogonálních stavů existuje více. V tomto ohledu dominují dva přístupy:

* Rozlišení stavů s minimální chybou - Metoda spočívá v provedení projektivního měření, které je zvoleno tak, aby minimalizovalo chybu, to jest pravděpodobnost chybného určení stavu. Výsledkem je tedy vždy hodnota odpovídající jednomu ze vstupních stavů, tato hodnota však může být špatně (s jistou malou pravděpodobností). +more * Jednoznačné rozlišení stavů - Metoda spočívá v provedení zobecněného měření, které je zvoleno tak, aby minimalizovalo pravděpodobnost neprůkazného výsledku. Tato metoda dokáže na rozdíl od té předchozí určit původní stav bez chyby. Výměnou za to je však nutnost zavedení neprůkazného výsledku, při jehož naměření nelze o stavu systému zjistit vůbec nic.

Na obrázku vpravo jsou zaneseny pravděpodobnosti "nechtěného" výsledku pro jednoduchý případ rozlišení dvou čistých kvantových stavů se shodnými apriorními pravděpodobnostmi. Oním "nechtěným" výsledkem je pro každou z obou metod něco jiného. +more V případě rozlišení s minimální chybou je v grafu vynesena oranžovou čarou pravděpodobnost chyby v závislosti na úhlu, který svírají rozlišované stavy. Protože metoda jednoznačného rozlišení určí stav pokaždé správně, je odpovídající chyba vždy nulová. V mnoha případech však namísto určení stavu dojde k obdržení neprůkazného výsledku. V grafu je tedy modrou čarou zanesena pravděpodobnost obdržení tohoto neprůkazného výsledku. Pro označení obou metod jsou použity anglické zkratky MED a USD.

Z krátkého popisu výše a grafu napravo je patrno, že obě metody mají své silné i slabé stránky a každá z nich tak poskytuje různé výhody. Ačkoli například metoda jednoznačného rozlišení nabízí bezchybné určení stavů, je tento klad vyvážen vysokou pravděpodobností naměření neprůkazného výsledku. +more I přes částečný pokrok není zobecnění těchto a jim podobných technik pro větší počet libovolných kvantových stavů známo a v následující diskuzi se tak většinou omezíme na stavy dva. Obě techniky jsou představeny v samostatné sekci níže.

Existují i další techniky rozlišení stavů, z nichž jednu, nesoucí anglický název maximum confidence measurements, lze chápat jako přechod mezi dvěma výše uvedenými. Tuto metodu lze použít i tehdy, kdy jsou rozlišované stavy lineárně závislé, v kterémžto případě technika jednoznačného rozlišení selhává. +more Místo minimalizace chyby či pravděpodobnosti neprůkazného výsledku se v ní maximalizuje míra spolehlivosti s jakou můžeme na základě získaného výsledku tvrdit, že byl zkoumaný systém v tom kterém stavu.

Role apriorních pravděpodobností

Případ neortogonálních kvantových stavů vykazuje jednu dodatečnou komplikaci. Pro volbu konkrétního kvantového měření totiž není důležitý jen tvar kvantových stavů, které od sebe chceme odlišit, ale důležitou roli hraje i četnost výskytu toho kterého stavu. +more Abychom si tuto situaci ilustrovali, mějme k dispozici velké množství stejných systémů, z nichž se každý může nacházet buď ve stavu | \psi_1 \rangle, anebo ve stavu | \psi_2 \rangle. Pokud je v souboru těchto systémů zastoupen stav | \psi_1 \rangle mnohem častěji než | \psi_2 \rangle, je odpovídajícím způsobem pravděpodobnější, že při náhodném výběru konkrétního systému bude tento systém ve stavu | \psi_1 \rangle. Pravděpodobnostem výskytu, se kterými při náhodném výběru získáme systém v tom kterém stavu, se říká apriorní pravděpodobnosti (: ).

Pokud je tedy apriorní pravděpodobnost stavu | \psi_1 \rangle velmi vysoká (to jest blízká jedničce), je víceméně jedno, jakého tvaru je stav | \psi_2 \rangle. Tento druhý stav se totiž skoro nikdy nevyskytne. +more Pro poměrně spolehlivou identifikaci tak stačí stav systému měřit v bázi tvořené vektory | \psi_1 \rangle a | \psi_1^\perp \rangle, kde | \psi_1^\perp \rangle je vektor kolmý na | \psi_1 \rangle. V obecném případě je třeba brát hodnoty apriorních pravděpodobností v úvahu při návrhu konkrétního kvantového měření.

Rozlišení stavů s minimální chybou

Jak bylo uvedeno, nelze sestrojit měření, jež by s jistotou od sebe odlišilo dva kvantové stavy, které nejsou ortogonální. Získané výsledky budou vždy obsahovat jistou chybu, ať už zvolíme měření jakkoliv. +more Přirozeným požadavkem je v takovém případě snížení této chyby na minimum. Technice založené na tomto požadavku se anglicky říká minimum error state discrimination, což lze přeložit jako rozlišení stavů s minimální chybou. Tato technika spočívá, jak již její název napovídá, ve vhodné volbě měřicích operátorů tak, aby byla pravděpodobnost chybného určení co nejmenší. Průkopníkem v této oblasti byl americký vědec Carl W. Helstrom, který jako první odvodil minimální pravděpodobnost chyby a odpovídající měření pro případ dvou kvantových stavů.

Princip

Konstrukce měřicích operátorů pro metodu rozlišení kvantových stavů s minimální chybou. +more Pro zvětšení klikněte na animaci. .

Popišme si tuto techniku na příkladu dvou neortogonálních (a současně nenulových a navzájem různých) čistých stavů | \psi_1 \rangle a | \psi_2 \rangle, které leží v Hilbertově prostoru libovolně velké konečné dimenze. Tyto lze bez újmy na obecnosti vyjádřit v nějaké ortonormální bázi ve tvaru

:| \psi_1 \rangle = \cos(\theta) \, | x_1 \rangle + \sin(\theta) \, | x_2 \rangle, \quad | \psi_2 \rangle = \cos(\theta) \, | x_1 \rangle - \sin(\theta) \, | x_2 \rangle,

kde | x_1 \rangle a | x_2 \rangle označuje vektory ortonormální báze a kde \theta je jisté reálné číslo splňující 0 {{Poznámka|Lze snadno ukázat, že záměnou \theta \to \theta + \pi oba původní vektory | \psi_1 \rangle i | \psi_2 \rangle pouze změní svou globální fázi a lze se tak omezit pouze na interval 0 . Pokud dále uvážíme záměnu \theta \to \pi - \theta, dojde efektivně pouze k přehození obou původních vektorů, zjevně bez následků na jejich rozlišení. +more Stačí tedy brát v potaz pouze interval úhlů 0 . Konečně, provedeme-li záměnu \theta \to \pi/2 - \theta, dojde efektivně k prohození první a druhé souřadnice pro oba vektory | \psi_1 \rangle a | \psi_2 \rangle. To zase efektivně odpovídá záměně vektorů | x_1 \rangle a | x_2 \rangle, které tvoří bázi. Pro úhly \pi/4 můžeme tyto vektory vložit do báze v obráceném pořadí \{ | x_2 \rangle, | x_1 \rangle \}, čímž se souřadnice vektorů | \psi_1 \rangle a | \psi_2 \rangle dostanou na své "původní" místo. Celkově tak lze uvažovat pouze interval úhlů 0 . }}. Překryv vektorů | \psi_1 \rangle a | \psi_2 \rangle je pak roven nenulovému číslu \langle \psi_1 | \psi_2 \rangle = \cos^2(\theta) - \sin^2(\theta) = \cos(2 \theta).

Lze ukázat, že optimální volbou měřicích operátorů pro stavy | \psi_1 \rangle a | \psi_2 \rangle jsou projektory P_1 = | e_1 \rangle \langle e_1 | a P_2 = | e_2 \rangle \langle e_2 |, kde

:| e_1 \rangle = \frac{1}{\sqrt{2}} (| x_1 \rangle + | x_2 \rangle), \quad | e_2 \rangle = \frac{1}{\sqrt{2}} (| x_1 \rangle - | x_2 \rangle).

V animaci vpravo je nejprve vyobrazena jedna konkrétní volba dvou neortogonálních vektorů a jím odpovídající vektory | e_1 \rangle a | e_2 \rangle. Tyto dva vektory jsou zjevně souměrně rozmístěny kolem vektorů | \psi_1 \rangle a | \psi_2 \rangle. +more Lze se snadno přesvědčit, že pokud jsou počáteční vektory | \psi_1 \rangle a | \psi_2 \rangle navzájem kolmé, a tedy \theta = \pi/4, zredukují se projektory do tvaru P_1 = | \psi_1 \rangle \langle \psi_1 | a P_2 = | \psi_2 \rangle \langle \psi_2 |. Jinými slovy, pro speciální případ dvou ortogonálních vektorů se právě představená metoda zredukuje do techniky rozlišení ortogonálních stavů, která je diskutována v oddíle "Rozlišení ortogonálních stavů".

Provedeme-li měření zadané výše uvedenými projektory a obdržíme-li výsledek odpovídající projektoru P_1, máme velkou šanci, že byl původním stavem systému stav | \psi_1 \rangle. Podobně, naměříme-li hodnotu odpovídající projektoru P_2, je velmi pravděpodobné, že původním stavem byl | \psi_2 \rangle. +more S jistou pravděpodobností se však může stát, že i když je původním stavem | \psi_1 \rangle (popř. | \psi_2 \rangle), obdržíme hodnotu odpovídající projektoru P_2 (popř. P_1). Pokud jsou apriorní pravděpodobnosti stavů | \psi_1 \rangle a | \psi_2 \rangle shodné, je pravděpodobnost chyby Q, že naše měření špatně určí počáteční stav, v optimálním případě rovna aritmetickému průměru.

:Q = \frac{\langle \psi_1 | P_2 | \psi_1 \rangle + \langle \psi_2 | P_1 | \psi_2 \rangle}{2} = \frac{1}{2}\left(1 - \sqrt{1-|\langle \psi_1 | \psi_2 \rangle|^2} \right).

Tento výraz je speciálním případem vzorce známého jako Helstromova mez (: ) a pro výše uvedený tvar překryvu se zredukuje do tvaru Q = \sin^2(\theta - \pi/4). Opět, pro ortogonální vektory | \psi_1 \rangle a | \psi_2 \rangle je pravděpodobnost chybného určení nulová.

Metoda

Samotná metoda rozlišení kvantových stavů s minimální chybou spočívá v provedení projektivního měření, kde je tvar jednotlivých projektorů přímo závislý na stavech, jež máme za úkol od sebe odlišit. Pro nejjednodušší případ dvou čistých stavů | \psi_1 \rangle a | \psi_2 \rangle se shodnými apriorními pravděpodobnostmi, diskutovaný v předchozí kapitolce, probíhá konkrétní použití metody následovně:

# Měření: Uvažovaný kvantový systém vystavíme projektivnímu měření, jež je zadané projektory \{ P_1, P_2 \}. # Interpretace výsledku: Obdržíme-li výsledek "1", byl systém před měřením s pravděpodobností 1 - Q ve stavu | \psi_1 \rangle, přičemž 1 - Q = (1 + \sqrt{1-|\langle \psi_1 | \psi_2 \rangle|^2})/2. +more Zcela analogicky, je-li výsledek "2", byl systém s pravděpodobností 1 - Q ve stavu | \psi_2 \rangle. S pravděpodobností Q jsme určili původní stav systému nesprávně.

V sekci "Příklad" níže je tato metoda aplikována na konkrétní volbu vektorů | \psi_1 \rangle a | \psi_2 \rangle.

Z předchozí diskuze plyne, že měřicí projektory nabývají tvaru :\begin{align} P_1 = | e_1 \rangle \langle e_1 |, \quad \text{kde} \quad | e_1 \rangle & = \frac{1}{\sqrt{2(1 - q^2)}} \left( \sqrt{ 1 + \sqrt{1 - q^2} } | \psi_1 \rangle - \sqrt{ 1 - \sqrt{1 - q^2} } | \psi_2 \rangle \right), \\ P_2 = | e_2 \rangle \langle e_2 |, \quad \text{kde} \quad | e_2 \rangle & = \frac{1}{\sqrt{2(1 - q^2)}} \left( -\sqrt{ 1 - \sqrt{1 - q^2} } | \psi_1 \rangle + \sqrt{ 1 + \sqrt{1 - q^2} } | \psi_2 \rangle \right), \end{align} kde jsme si symbolem q označili skalární součin \langle \psi_1 | \psi_2 \rangle, o němž lze bez újmy na obecnosti předpokládat, že je to reálné číslo. V obecném případě komplexního skalárního součinu \langle \psi_1 | \psi_2 \rangle = q e^{i \varphi} stačí ve vzorcích výše nahradit každý výskyt vektoru | \psi_2 \rangle vektorem | \tilde{\psi}_2 \rangle = e^{-i \varphi} | \psi_2 \rangle. +more Dosazením vektorů do vzorců pro projektory lze spočíst jejich explicitní tvar :\begin{align} P_1 & = \frac{1}{2(1 - q^2)} \left( \left( 1 + \sqrt{1 - q^2} \right) | \psi_1 \rangle \langle \psi_1 | + \left( 1 - \sqrt{1 - q^2} \right) | \psi_2 \rangle \langle \psi_2| - q (| \psi_1 \rangle \langle \psi_2| + | \psi_2 \rangle \langle \psi_1|) \right), \\ P_2 & = \frac{1}{2(1 - q^2)} \left( \left( 1 - \sqrt{1 - q^2} \right) | \psi_1 \rangle \langle \psi_1 | + \left( 1 + \sqrt{1 - q^2} \right) | \psi_2 \rangle \langle \psi_2| - q (| \psi_1 \rangle \langle \psi_2| + | \psi_2 \rangle \langle \psi_1|) \right). \end{align}.

Různé apriorní pravděpodobnosti

+more_Čím_pravděpodobnější_je_výskyt_stavu_|_\psi_1_\rangle,_tím_více_míří_vlastní_vektor_|_e_1_\rangle_projektoru_P_1_právě_ve_směru_stavu_|_\psi_1_\rangle. _Zcela_analogicky_pak_i_pro_stav_'> \psi_2 \rangle. .

Graf pravděpodobnosti chybného určení stavu Q v závislosti jednak na vzájemném úhlu \Delta \theta mezi rozlišovanými stavy, jednak na apriorní pravděpodobnosti p pro první stav. +more Zelenou čarou je vyznačen případ se shodnými apriorními pravděpodobnostmi, který byl podrobně studován v předchozích kapitolkách. .

Jak je předesláno v sekci "Role apriorních pravděpodobností", tvar měřicích projektorů je závislý nejen na tvaru rozlišovaných stavů, ale i na pravděpodobnosti, s jakou se mohou vyskytnout. Je-li například pravděpodobnost p_1 výskytu stavu | \psi_1 \rangle mnohem větší než obdobná pravděpodobnost p_2 pro stav | \psi_2 \rangle, stačí nám s dobrou šancí správného výsledku předpokládat, že je systém ve stavu | \psi_1 \rangle, aniž bychom provedli jakékoliv měření. +more Pokud zohledníme i tyto apriorní pravděpodobnosti p_1 a p_2 a provedeme výše uvedenou diskuzi znovu, obdržíme měřicí projektory ve tvaru.

:\begin{align} P_1 = | e_1 \rangle \langle e_1 |, \quad \text{kde} \quad | e_1 \rangle & = \frac{1}{\sqrt{2(1 - q^2)}} \left( \sqrt{ 1 + \kappa - \lambda } | \psi_1 \rangle - \sqrt{ 1 - \kappa } | \psi_2 \rangle \right), \\ P_2 = | e_2 \rangle \langle e_2 |, \quad \text{kde} \quad | e_2 \rangle & = \frac{1}{\sqrt{2(1 - q^2)}} \left( -\sqrt{ 1 - \kappa + \lambda } | \psi_1 \rangle + \sqrt{ 1 + \kappa } | \psi_2 \rangle \right), \end{align}

kde jsme předpokládali p_1 \geq p_2 a kde dále definujeme

:\begin{align} \kappa & = \frac{1 - 2 p_2 q^2}{\sqrt{(1 - 2 p_2 q^2)^2 + 4 p_2^2 q^2 ( 1 - q^2)}}, \\ \lambda & = 2 q \left( q \kappa - \sqrt{1 - q^2} \sqrt{1 - \kappa^2} \right). \end{align}

Lze se snadno přesvědčit, že pro případ shodných apriorních pravděpodobností se zredukují tyto dodatečné parametry do tvarů \kappa = \sqrt{1 - q^2} a \lambda = 0 a měřicí projektory tak nabudou tvarů zmíněných v předchozí kapitolce. Pokud platí opačná nerovnost, to jest p_1 , stačí zaměnit oba počáteční stavy | \psi_1 \rangle a | \psi_2 \rangle a na ně aplikovat výše uvedené vzorce.

Na animaci vpravo je názorně demonstrováno, jak různé hodnoty apriorních pravděpodobností ovlivní tvar měřicích projektorů. Dva stavy, které chceme od sebe odlišit, jsou po celou dobu animace stále tytéž. +more Co se však mění je pravděpodobnost, s jakou do měřicího přístroje dorazí ten který stav. V obecném případě již projektory nejsou rozmístěny kolem rozlišovaných stavů souměrně. Především je pak z animace patrno, že pokud je apriorní pravděpodobnost p_j pro daný stav | \psi_j \rangle blízká jedničce, je odpovídající projektor P_j zkonstruován tak, že je jeho vlastní vektor | e_j \rangle téměř totožný s daným stavem.

Pravděpodobnost chyby je přitom v tomto obecném případě dána výrazem

:Q = \frac{1}{2}\left(1 - \sqrt{1-4 p_1 p_2 |\langle \psi_1 | \psi_2 \rangle|^2} \right),

který se pro volbu shodných apriorních pravděpodobností p_1 = p_2 = 1/2 zredukuje do vzorce uvedeného v předchozích kapitolkách. Použijeme-li parametrizaci vstupních stavů pomocí úhlu \theta, jak je uvedeno v kapitolce "Princip" výše, je jejich vzájemný skalární součin roven \langle \psi_1 | \psi_2 \rangle = \cos(\Delta \theta), kde jsme si označili úhel, který tyto dva stavy mezi sebou svírají, symbolem \Delta \theta \equiv 2 \theta. +more Můžeme si pak vykreslit pravděpodobnost chyby Q jako funkci tohoto úhlu a apriorní pravděpodobnosti p \equiv p_1 pro stav | \psi_1 \rangle, neboť apriorní pravděpodobnost pro stav | \psi_2 \rangle je jí již pevně určena vzorcem p_2 = 1 - p_1. Výsledný graf je zobrazen napravo. Z tohoto grafu lze snadno vyčíst, že největší hodnota chybného určení, Q = 1/2, nastává zjevně v případě, kdy oba stavy splývají do jednoho a tedy \Delta \theta = 0 a současně p_1 = p_2. Naproti tomu v případě dvou ortogonálních stavů, \Delta \theta = \pi/2, je pravděpodobnost chyby pochopitelně nulová. Pro všechny ostatní případy je vidět, že pokud jsou od sebe dané apriorní pravděpodobnosti odlišné, p_1 \neq p_2, je pravděpodobnost chybného určení stavu menší než pro případ p_1 = p_2. Zvyšuje-li se postupně rozdíl mezi apriorními pravděpodobnostmi, dojde nakonec k případu, kdy se jeden ze stavů nevyskytne vůbec, a sice buď p_1 = 0, anebo p_2 = 0. V takovém případě víme s jistotou, v jakém stavu se systém nachází a pravděpodobnost chyby je tedy opět nulová.

Zobecnění a fyzikální realizace

Rozlišení dvou kvantových stavů s minimální chybou využívá ve své základní verzi projektivního měření a tak, na rozdíl od metody představené v následující kapitole, umožňuje přímočarou realizaci. V článku "Kvantové měření" lze nalézt příklady, jak lze projektivní měření provést v praxi. +more Experimentálně byla tato metoda studována v roce 1997 pro případ rozlišení dvou čistých stavů se shodnými apriorními pravděpodobnostmi, přičemž byly za zkoumaný systém vzaty velmi utlumené světelné pulzy a bylo rozlišováno mezi jejich stavy polarizace. V roce 2001 byl proveden další experiment, v rámci něhož došlo k rozlišování tří a čtyř speciálně zvolených stavů polarizace, který již využíval zobecněného měření.

Analýzu provedenou v předchozích kapitolkách lze snadno zobecnit na případ dvou smíšených kvantových stavů. Ke stavům \rho_1 a \rho_2 s apriorními pravděpodobnostmi p_1 a p_2 jsou pak přidruženy po řadě projektory P_1 a P_2, zkonstruované následovně. +more Definujme si operátor \sigma vztahem.

:\sigma = p_1 \rho_1 - p_2 \rho_2.

Tento operátor bude mít obecně kladná i nekladná vlastní čísla. Uvažujme tedy podprostor Hilbertova prostoru, který je lineárním obalem všech vlastních vektorů, které odpovídají kladným vlastním číslům. +more Projektor, který zobrazuje na tento podprostor, označme symbolem P_1. K němu doplňkový projektor je pak projektor P_2 = \mathbb{I} - P_1. Pravděpodobnost chybného rozlišení je posléze dána vztahem.

:Q = \frac{1}{2}\left(1 - \mathrm{Tr}

\sigma

\right),

kde \mathrm{Tr}

\sigma

je stopa operátoru | \sigma | a kde je dále definováno |\sigma| = \sqrt{\sigma^\dagger \sigma}. Druhá odmocnina z operátoru je v tomto případě dobře definována, protože \sigma je Hermitovský operátor a tím pádem je operátor \sigma^\dagger \sigma vždy pozitivní.

Dosud jsme hovořili pouze o dvou kvantových stavech. Metodu výše lze však zobecnit i na větší počet (smíšených) stavů. +more V tomto ohledu jsou známy podmínky, jaké musí dané měření splňovat, aby vykazovalo minimální pravděpodobnost chybného určení. Tvar odpovídajících měřicích operátorů lze v zásadě nalézt numericky a dosud bylo analyticky vyřešeno pouze několik speciálních případů. Lze například ukázat, že pokud jsou rozlišované smíšené stavy lineárně nezávislé, je odpovídající měření projektivní. Významným speciálním případem je situace anglicky označovaná jako square-root measurement, což lze do češtiny přeložit jako "odmocninové měření". Jedná se o problém rozlišení většího počtu N čistých stavů | \psi_j \rangle se shodnými apriorními pravděpodobnostmi p_j = 1/N, přičemž jsou tyto stavy tvaru.

:| \psi_j \rangle = V | \psi_{j-1} \rangle = V^{j-1} | \psi_1 \rangle,

kde V je nějaký unitární operátor splňující V^N = \mathbb{I}. Ukazuje se, že optimální volba měřicích operátorů E_j, které již nemusí být nutně projektory, zní

:E_j = B^{-1/2} | \psi_j \rangle \langle \psi_j | B^{-1/2},

kde jsme si definovali pomocný operátor B = { \textstyle \sum_{j=1}^N} | \psi_j \rangle \langle \psi_j |. Pravděpodobnost chyby je v takovém případě dána výrazem

:Q = 1 - \frac{1}{N} \sum_{j=1}^N | \langle \psi_j | B^{-1/2} | \psi_j \rangle |^2.

Jednoznačné rozlišení stavů

Minimalizace možné chyby, tak jak je to provedeno v předchozí kapitolce, se zdá být naprosto přirozeným způsobem, jak, alespoň částečně, vyřešit problém s neortogonálními vektory. Existuje však jiný způsob, který umožňuje rozlišit neortogonální stavy s jistotou. +more Cenou, kterou je za to nutno zaplatit, je však zavedení jednoho dodatečného výsledku, kterého může měření nabývat. Pokud dojde k naměření tohoto výsledku, jenž si označíme symbolem ". ", nelze o původním stavu říci naprosto nic a dané měření je tak nutno zopakovat. Metodě využívající tohoto neprůkazného výsledku (: ) se říká jednoznačné rozlišení stavů (: ). Tato metoda si nevystačí s projektivním měřením a využívá místo toho zobecněného kvantového měření popsaného POVM operátory. Rozumným požadavkem na konstrukci těchto měřicích operátorů je samozřejmě to, aby neprůkazný výsledek nastával co možná nejméně. Prvním, kdo poukázal na existenci zobecněného měření, které dokáže bezchybně rozlišit neortogonální vektory, byl jugoslávský vědec I. D. Ivanovič v roce 1987, jehož výsledky záhy zobecnili Dieks a Peres.

Princip

Konstrukce měřicích operátorů pro metodu jednoznačného rozlišení kvantových stavů. +more Pro zvětšení klikněte na animaci. .

Uveďme si nyní jednoduchý příklad dvou neortogonálních čistých stavů | \psi_1 \rangle a | \psi_2 \rangle, jež bychom chtěli od sebe odlišit. Kvůli neortogonalitě nelze vzít za měřicí projektory zobrazení E_1 = | \psi_1 \rangle \langle \psi_1 | a E_2 = | \psi_2 \rangle \langle \psi_2 |, protože takovéto projektory samy nejsou ortogonální. +more Není těžké nahlédnout, že když si zvolíme projektory ve tvaru.

:E_1 = | x_1 \rangle \langle x_1 |, \quad E_2 = | x_2 \rangle \langle x_2 |,

kde | x_1 \rangle je kolmý na | \psi_2 \rangle (a podobně | x_2 \rangle je kolmý na | \psi_1 \rangle), tak platí

:\langle \psi_1 | E_2 | \psi_1 \rangle = 0, \quad \langle \psi_2 | E_1 | \psi_2 \rangle = 0.

To jest, pokud je vstupním stavem stav | \psi_1 \rangle, tak nikdy nenaměříme projektor E_2, a podobně, pokud je vstupním stavem stav | \psi_2 \rangle, tak nikdy nenaměříme projektor E_1. Jinými slovy, pokud naměříme E_1, tak vstupním stavem musel být | \psi_1 \rangle a pokud naměříme E_2, tak byl vstupním stavem určitě | \psi_2 \rangle. +more To nám už dává určitou jistotu o tvaru vstupního stavu. Problémem však stále zůstává neortogonalita projektorů E_1 a E_2, které tak nepopisují projektivní měření. Tuto potíž vyřešíme zavedením třetího operátoru tak, že výsledný soubor operátorů představuje POVM měření. POVM měření nevyžaduje, aby jednotlivé operátory byly na sebe kolmé. Onen třetí operátor, označený symbolem E_. , odpovídá případu, kdy ze získané hodnoty měření nelze určit, ve kterém stavu se systém před měřením nacházel. Jeho tvar zní.

:E_? = \mathbb{I} - E_1 - E_2,

kde \mathbb{I} je identické zobrazení. Aby operátory \{ E_1, E_2, E_. +more \} skutečně tvořily POVM měření, musejí být všechny pozitivní (relace úplnosti plyne automaticky z definice operátoru E_. ). Tento požadavek lze splnit, zavedeme-li dodatečné parametry a_1 a a_2, které upravují tvar operátorů E_1 a E_2 do podoby.

:E_1 = a_1 | x_1 \rangle \langle x_1 |, \quad E_2 = a_2 | x_2 \rangle \langle x_2 |.

Parametry a_1 a a_2 jsou kladná čísla, která nejsou obecně rovna jedničce, následkem čehož už nejsou operátory E_1 a E_2 projektory. Tato dvě čísla lze zvolit tak, aby operátor E_. +more byl pozitivní a navíc aby byla pravděpodobnost naměření neprůkazného výsledku minimální. Ukazuje se, že pro případ shodných apriorních pravděpodobností tato čísla nabývají tvaru a_1 = a_2 = 1/(1+|\langle \psi_1 | \psi_2 \rangle|). Přímočarým výpočtem lze dále ukázat, že operátor E_. je, podobně jako E_1 a E_2, násobkem jednorozměrného projektoru a sice.

:E_? = \frac{2 q}{1+q} | x_? \rangle \langle x_?|,

kde jsme si zavedli parametr q = \langle \psi_1 | \psi_2 \rangle, o němž bez újmy na obecnosti předpokládáme, že je kladný. Dále jsme definovali | x_. +more \rangle = (| \psi_1 \rangle + | \psi_2 \rangle)/\sqrt{2(1+q)}. V animaci napravo je nejprve vyobrazena jedna konkrétní volba dvou neortogonálních vektorů | \psi_1 \rangle a | \psi_2 \rangle. Z vektorů k nim kolmých | x_1 \rangle a | x_2 \rangle je posléze sestrojena trojice nejednotkových vektorů | e_1 \rangle = \sqrt{a_1} | x_1 \rangle, | e_2 \rangle = \sqrt{a_2} | x_2 \rangle a | e_. \rangle = \sqrt{2 q/(1+q)} | x_. \rangle.

Pravděpodobnost neprůkazného výsledku, to jest pravděpodobnost naměření E_?, je pak dána výrazem

: p_? = |\langle \psi_1 | \psi_2 \rangle|.

Zdůrazněme, že ač tento vzorec připomíná Bornovo pravidlo, nevyskytuje se v něm druhá mocnina. Právě uvedený příklad byl poprvé studován Ivanovičem, Dieksem a Peresem a po nich se také pravděpodobnost p_. +more nazývá IDP mez (: ).

Metoda

Metoda jednoznačného rozlišení kvantových stavů spočívá v provedení zobecněného měření, kde je tvar jednotlivých měřicích operátorů přímo závislý na stavech, které mají být od sebe rozlišeny. Pro nejjednodušší případ dvou čistých stavů | \psi_1 \rangle a | \psi_2 \rangle se shodnými apriorními pravděpodobnostmi, diskutovaný v předchozí kapitolce, probíhá konkrétní použití metody následovně:

# Měření: Uvažovaný kvantový systém vystavíme zobecněnému měření, jež je zadané operátory \{ E_1, E_2, E_. \}. +more # Interpretace výsledku: Obdržíme-li výsledek "1", byl systém před měřením zcela jistě ve stavu | \psi_1 \rangle. Zcela analogicky, je-li výsledek "2", byl systém zcela jistě ve stavu | \psi_2 \rangle. Pokud však obdržíme výsledek ". ", k čemuž dojde s pravděpodobností p_. = |\langle \psi_1 | \psi_2 \rangle|, nelze o stavu systému před měřením nic říci.

V sekci #Příklad|"Příklad" je tento postup uplatněn na příkladu dvou konkrétních čistých stavů.

Z předchozí diskuze plyne, že měřicí operátory jsou explicitního tvaru : \begin{align} E_1 = | e_1 \rangle \langle e_1 |, \quad \text{kde} \quad | e_1 \rangle & = \frac{1}{1+q} \frac{1}{\sqrt{1-q}} (| \psi_1 \rangle - q | \psi_2 \rangle), \\ E_2 = | e_2 \rangle \langle e_2 |, \quad \text{kde} \quad | e_2 \rangle & = \frac{1}{1+q} \frac{1}{\sqrt{1-q}} (| \psi_2 \rangle - q | \psi_1 \rangle), \\ E_. = | e_. +more \rangle \langle e_. |, \quad \text{kde} \quad | e_. \rangle & = \frac{\sqrt{q}}{1+q} (| \psi_1 \rangle + | \psi_2 \rangle), \end{align}.

kde jsme položili q = \langle \psi_1 | \psi_2 \rangle, o němž předpokládáme, že je to kladné číslo. V obecném případě komplexního skalárního součinu \langle \psi_1 | \psi_2 \rangle = q e^{i \varphi} stačí ve vzorcích výše nahradit každý výskyt vektoru | \psi_2 \rangle vektorem | \tilde{\psi}_2 \rangle = e^{-i \varphi} | \psi_2 \rangle. +more Připomeňme, že tyto operátory nejsou projektory, protože vektory | e_j \rangle nejsou jednotkové.

Různé apriorní pravděpodobnosti

+more_Čím_pravděpodobnější_je_výskyt_stavu_|_\psi_1_\rangle,_tím_více_míří_vlastní_vektor_|_e_1_\rangle_operátoru_E_1_právě_ve_směru_stavu_|_\psi_1_\rangle. _Pro_dostatečně_velkou_apriorní_pravděpodobnost_p_1_zdegeneruje_POVM_do_projektivního_měření. _Zcela_analogicky_pak_i_pro_stav_'> \psi_2 \rangle. .

\psi_1 \rangle. +more Zelenou čarou je vyznačen případ se shodnými apriorními pravděpodobnostmi, který byl podrobně studován v předchozích kapitolkách. .

Stejně jako v případě rozlišení stavů s minimální chybou, diskutovaném výše, i v případě jednoznačného rozlišení spoluurčují apriorní pravděpodobnosti výsledný tvar měřicích operátorů. Na rozdíl od předchozí metody mají však jejich hodnoty výraznější vliv na druh provedeného měření. +more Existuje totiž oblast hodnot, pro něž se POVM měření zredukuje na měření projektivní. Bez újmy na obecnosti pro konkrétnost předpokládejme, že se stav | \psi_1 \rangle může vyskytnout častěji než stav | \psi_2 \rangle a pro jejich apriorní pravděpodobnosti tedy platí p_1 \geq p_2. (V opačném případě stačí pouze zaměnit označení obou vstupních stavů. ) V závislosti na hodnotě p_1 mohou nastat dvě možnosti, z nichž je každá rozebrána v samostatné kapitolce níže.

Srovnatelné pravděpodobnosti

První možností je případ, kdy platí nerovnost p_1 \leq 1/(1+q^2), přičemž opět bez újmy na obecnosti předpokládáme, že q = \langle \psi_1 | \psi_2 \rangle je kladné číslo. Tuto nerovnost lze chápat tak, že obě apriorní pravděpodobnosti p_1 a p_2 nabývají srovnatelných hodnot a jedna tak není příliš odlišná od druhé. +more Definujeme-li si pomocný parametr : r = \sqrt{\frac{p_2}{p_1}},.

lze tuto nerovnost přepsat do tvaru q \leq r. Měřicí operátory pak nabývají podob

: \begin{align} E_1 = | e_1 \rangle \langle e_1 |, \quad \text{kde} \quad | e_1 \rangle & = \frac{1}{1-q^2} \sqrt{1 - q \, r} (| \psi_1 \rangle - q | \psi_2 \rangle), \\ E_2 = | e_2 \rangle \langle e_2 |, \quad \text{kde} \quad | e_2 \rangle & = \frac{1}{1-q^2} \sqrt{1 - \frac{q}{r}} (| \psi_2 \rangle - q | \psi_1 \rangle), \\ E_. = | e_. +more \rangle \langle e_. |, \quad \text{kde} \quad | e_. \rangle & = \frac{1}{1-q^2} \sqrt{\frac{q}{r}} ( \left( r - q \right) | \psi_1 \rangle + \left( 1 - q r \right) | \psi_2 \rangle). \end{align}.

V obecném případě komplexního skalárního součinu \langle \psi_1 | \psi_2 \rangle = q e^{i \varphi} stačí ve vzorcích výše nahradit každý výskyt vektoru | \psi_2 \rangle vektorem | \tilde{\psi}_2 \rangle = e^{-i \varphi} | \psi_2 \rangle. Právě uvedená volba vektorů je vyznačena v animaci napravo. +more Vstupní stavy | \psi_1 \rangle a | \psi_2 \rangle zůstávají po celou dobu animace tytéž, mění se však jejich apriorní pravděpodobnosti. Počáteční souměrný případ se shodnými pravděpodobnostmi p_1 = p_2 = 1/2 přechází do případů, kdy je vektor | e_. \rangle nakloněn více k jednomu ze vstupních vektorů. V jistou chvíli se naklánění zastaví, což je příznakem případu diskutovaného v následující kapitolce.

Pravděpodobnost neprůkazného výsledku je v případě q \leq r dána obecným výrazem :Q = 2 \sqrt{p_1 p_2} |\langle \psi_1 | \psi_2 \rangle|.

V trojrozměrném grafu napravo je tento vzorec vykreslen oranžovou barvou. V grafu je vynesena pravděpodobnost neprůkazného výsledku Q jednak jako funkce úhlu \Delta \theta, který mezi sebou svírají dva vstupní stavy | \psi_1 \rangle a | \psi_2 \rangle, jednak jako funkce apriorní pravděpodobnosti p \equiv p_1 pro stav | \psi_1 \rangle.

Velmi odlišné pravděpodobnosti

V případě, že p_1 > 1/(1+q^2) a apriorní pravděpodobnost p_1 tak výrazně převyšuje pravděpodobnost druhou p_2, dochází k degeneraci měřicích operátorů. Předpokládáme-li stále, že p_1 \geq p_2, nabývají měřicí operátory v tomto zdegenerovaném případě následujícího tvaru

: \begin{align} E_1 = | e_1 \rangle \langle e_1 |, \quad \text{kde} \quad | e_1 \rangle & = \frac{1}{\sqrt{1-q^2}} (| \psi_1 \rangle - q | \psi_2 \rangle), \\ E_. = | e_. +more \rangle \langle e_. |, \quad \text{kde} \quad | e_. \rangle & = | \psi_2 \rangle. \end{align}.

Nejen že se počet operátorů snížil ze tří na dva, ale současně se jim odpovídající měření změnilo z POVM měření na měření projektivní. Vektory | e_1 \rangle a | e_. +more \rangle jsou totiž jednotkové a navzájem kolmé a tak jsou nyní operátory E_1 a E_. ortogonálními projektory o nichž dále platí, že se sečtou na identitu, to jest E_1 + E_. = \mathbb{I}.

Pravděpodobnost neprůkazného výsledku je v tomto případě dána vzorcem :Q = p_2 + p_1 |\langle \psi_1 | \psi_2 \rangle|^2.

V grafu napravo je oblast, pro niž platí výše uvedené vzorce, vykreslena červenou barvou. Jak lze snadno nahlédnout, pravděpodobnost neprůkazného výsledku plynule přechází z oranžové oblasti, odpovídající podmínce p_1 \leq 1/(1+q^2), do oblasti červené, pro niž p_1 > 1/(1+q^2).

Fyzikální realizace

Tato technika došla již mnoha experimentálních realizací. Nejprve pro rozlišení dvou neortogonálních stavů, pak tří a v roce 2014 byla metoda experimentálně provedena až pro 14 různých stavů. +more Z pohledu realizace je POVM měření, na rozdíl od měření projektivního, komplikovanější a existují různé způsoby jak toto měření experimentálně provést. Níže si předvedeme možnosti dvě.

Interakce s pomocným systémem

Jednou z možností je nechat zkoumaný kvantový systém nejprve interagovat s jistým pomocným systémem a tento druhý systém následně vystavit vhodně zvolenému projektivnímu měření. Pro konkrétnost si za zkoumaný systém vezměme jediný foton, kde uvažujeme kvantový stav jeho frekvence. +more Předpokládejme, že jeho frekvence se s apriorní pravděpodobností p_1 nachází ve stavu | \psi_1 \rangle a podobně s pravděpodobností p_2 ve stavu | \psi_2 \rangle. Nechť dále tyto pravděpodobnosti vyhovují případu diskutovanému v kapitolce #Srovnatelné pravděpodobnosti|"Srovnatelné pravděpodobnosti" výše. Měření, které tedy máme na fotonu provést, je popsáno třemi POVM operátory.

Z experimentálního hlediska lze tyto operátory implementovat tak, že nejprve necháme foton zinteragovat s nějakým pomocným systémem, jaký může být třeba jistý atom, kde přesně nastavíme průběh interakce. Je-li počáteční stav pomocného systému udán vektorem | \phi_0 \rangle, nacházejí se oba systémy před interakcí buď ve společném stavu | \psi_1 \rangle| \phi_0 \rangle, nebo ve stavu | \psi_2 \rangle| \phi_0 \rangle. +more Interakce změní tyto stavy způsobem.

: \begin{align} | \psi_1 \rangle | \phi_0 \rangle \quad \to \quad & \alpha_1 | r_1 \rangle | \phi_a \rangle + \beta_1 | n \rangle | \phi_b \rangle, \\ | \psi_2 \rangle | \phi_0 \rangle \quad \to \quad & \alpha_2 | r_2 \rangle | \phi_a \rangle + \beta_2 | n \rangle | \phi_b \rangle, \end{align}

kde \langle r_1 | r_2 \rangle = 0 a \langle \phi_a | \phi_b \rangle = 0 a kde konkrétní hodnoty koeficientů \alpha_1, \alpha_2, \beta_1, \beta_2 závisejí na tvaru vstupních stavů a apriorních pravděpodobnostech. Pokud nyní provedeme projektivní měření na pomocném systému a ne na zkoumaném fotonu, odpovídá tato procedura POVM měření, jež je provedeno na zkoumaném fotonu.

Dané projektivní měření je zadáno projektory P_a = | \phi_a \rangle \langle \phi_a| a P_b = | \phi_b \rangle \langle \phi_b|. Naměříme-li, že se pomocný systém nachází ve stavu | \phi_a \rangle, je stav zkoumaného systému buď | r_1 \rangle, kterýžto případ jednoznačně odpovídá vstupnímu stavu | \psi_1 \rangle, anebo | r_2 \rangle, v kterémžto případě byl systém před měřením rozhodně ve stavu | \psi_2 \rangle. +more Pokud však měřením na pomocném systému najdeme tento ve stavu | \phi_b \rangle, zredukuje se stav zkoumaného systému do tvaru | n \rangle bez ohledu na počáteční stav. V tomto případě tak dostáváme neprůkazný výsledek.

Vícerozměrný prostor

Jinou možností je zakódovat vstupní stav zkoumaného fotonu do fyzikální veličiny, která umožňuje existenci více než dvou ortogonálních stavů. Vezmeme-li si opět za zkoumaný systém foton a chceme rozlišit mezi jeho dvěma stavy frekvence, tak místo dodatečného systému uvažujeme spíše dodatečný třetí stav frekvence. +more Tento třetí stav, označme si ho symbolem | e_0 \rangle, je kolmý na oba počáteční stavy. Využitím všech tří stavů lze sestrojit projektivní měření se třemi projektory \{ P_1, P_2, P_. \} následujícího tvaru.

:P_j = | \tilde{e}_j \rangle \langle \tilde{e}_j |, \quad \text{kde} \quad | \tilde{e}_j \rangle = | e_j \rangle + \sqrt{1 - \langle e_j | e_j \rangle} | e_0 \rangle,

přičemž j \in \{ 1, 2, . \} a vektory | e_j \rangle jsou diskutovány v předchozí kapitole. +more Tento přístup je experimentálně snazší, protože nevyžaduje využití pomocného systému a přesného seřízení vzájemné interakce mezi oběma systémy.

Zobecnění

Zobecnit výše uvedenou metodu lze alespoň dvěma způsoby: jednak lze uvažovat více než dva stavy, jednak lze uvažovat stavy smíšené. Oba dva směry jsou stále předmětem aktivního výzkumu a analytické řešení je známo jen pro několik speciálních případů. +more Plná diskuze pro tři čisté stavy byla provedena v roce 1998. Pokud jde o libovolně velký počet stavů, lze ukázat, že metoda jednoznačného rozlišení stavů od sebe dokáže odlišit bez chyby pouze ty čisté stavy, které jsou navzájem lineárně nezávislé. Navíc stačí brát za POVM operátory nejednotkové násobky jednorozměrných projektorů. Jde-li o smíšené stavy, tak dlouho převládal názor, že je rozlišit nelze, až došlo v roce 2003 k přesnému identifikování podmínek, za kterých rozlišení smíšených stavů vskutku provést lze. Odpovídající měření jde nalézt numericky pomocí metod semidefinitního programování a analytické řešení je známo opět jen v pár speciálních případech.

Příklad

V následujícím budeme uvažovat jednoduchou volbu neortogonálních vektorů a porovnáme přístupy, s jakými k problému jejich rozlišení přistupují dvě hlavní metody, rozlišení s minimální chybou a jednoznačné rozlišení. Za dva neortogonální čisté stavy si vezmeme | \psi_1 \rangle a | \psi_2 \rangle ve tvaru

:| \psi_1 \rangle = | 0 \rangle, \quad | \psi_2 \rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle),

se shodnými apriorními pravděpodobnostmi p(\psi_1) = p(\psi_2) = 1/2. V reálném světě si lze tento příklad představit například tak, že máme jeden foton, jehož polarizace je buď ve stavu | 0 \rangle, což můžeme interpretovat jako horizontální polarizaci, anebo ve stavu (|0\rangle + |1\rangle)/\sqrt{2}, což můžeme zase interpretovat jako diagonální polarizaci. +more Ačkoli víme, že se foton nachází v jednom z těchto stavů, nevíme ve kterém z nich je. Naším cílem je sestrojit kvantové měření, které vrátí hodnotu "1", nacházel-li se foton před měřením ve stavu | \psi_1 \rangle, a hodnotu "2", byl-li foton ve stavu | \psi_2 \rangle. Protože nejsou tyto dva stavy ortogonální, takové ideální měření neexistuje. Představme si nejprve, jak se tento nedostatek snaží zmírnit metoda rozlišení s minimální chybou.

Rozlišení dvou stavů s minimální chybou

+more_Výsledný_projektor_P_1_odpovídající_stavu_|_\psi_1_\rangle_je_dán_stavem_'> e_1 \rangle a podobně pro druhý projektor P_2. .

Není těžké nahlédnout, že lze stavy | \psi_1 \rangle a | \psi_2 \rangle, vyjádřené výše v bázi vektorů | 0 \rangle a | 1 \rangle, přepsat do tvaru

:| \psi_1 \rangle = \cos \left( \frac{\pi}{8} \right) | x_1 \rangle + \sin \left( \frac{\pi}{8} \right) | x_2 \rangle, \quad | \psi_2 \rangle = \cos \left( \frac{\pi}{8} \right) | x_1 \rangle - \sin \left( \frac{\pi}{8} \right) | x_2 \rangle,

kde | x_1 \rangle = \cos \left( \pi/8 \right) | 0 \rangle + \sin \left( \pi/8 \right) | 1 \rangle a | x_2 \rangle = \sin \left( \pi/8 \right) | 0 \rangle - \cos \left( \pi/8 \right) | 1 \rangle jsou vektory nové ortonormální báze. Z těchto vektorů následně utvoříme superpozice | e_1 \rangle a | e_2 \rangle jak je diskutováno v příslušné kapitolce, jež lze explicitně vyjádřit ve tvaru

:| e_1 \rangle = \cos \left( \frac{\pi}{8} \right) | 0 \rangle - \sin \left( \frac{\pi}{8} \right) | 1 \rangle, \quad | e_2 \rangle = \sin \left( \frac{\pi}{8} \right) | 0 \rangle + \cos \left( \frac{\pi}{8} \right) | 1 \rangle.

Přesně na jeden z těchto dvou vektorů se zredukuje stav systému po projektivním měření, které je zadáno projektory P_1 = | e_1 \rangle \langle e_1 | a P_2 = | e_2 \rangle \langle e_2 |. Podoba těchto projektorů v bázi \{ | 0 \rangle, | 1 \rangle \} nabývá tvaru

:\begin{align} P_1 & = \frac{1}{2 \sqrt{2}} \left( \left( \sqrt{2} + 1 \right) | 0 \rangle \langle 0 | + \left( \sqrt{2} - 1 \right) | 1 \rangle \langle 1 | - (| 0 \rangle \langle 1 | + | 1 \rangle \langle 0 |) \right),\\ P_2 & = \frac{1}{2 \sqrt{2}} \left( \left( \sqrt{2} - 1 \right) | 0 \rangle \langle 0 | + \left( \sqrt{2} + 1 \right) | 1 \rangle \langle 1 | + (| 0 \rangle \langle 1 | + | 1 \rangle \langle 0 |) \right). \end{align}

Lze snadno ověřit, že pro P_1 a P_2 platí P_1 + P_2 = \mathbb{I} spolu s P_1 \cdot P_2 = 0 a že to jsou tedy skutečně ortogonální projektory vyhovující definici projektivního měření. Metoda rozlišení s minimální chybou tedy spočívá v provedení projektivního měření charakterizovaného projektory P_1 a P_2. +more Použitím Bornova pravidla můžeme spočíst pravděpodobnosti naměření jednotlivých výsledných hodnot pro oba počáteční stavy. Dostaneme tak tabulku:

p_1(\psi_1) = \langle \psi_1 | P_1 | \psi_1 \rangle = \frac{2 + \sqrt{2}}{4} \approx 0,854	p_1(\psi_2) = \langle \psi_2 | P_1 | \psi_2 \rangle = \frac{2 - \sqrt{2}}{4} \approx 0,146
p_2(\psi_2) = \langle \psi_2 | P_2 | \psi_2 \rangle = \frac{2 + \sqrt{2}}{4} \approx 0,854	p_2(\psi_1) = \langle \psi_1 | P_2 | \psi_1 \rangle = \frac{2 - \sqrt{2}}{4} \approx 0,146

.

V tabulce jsou uvedeny podmíněné pravděpodobnosti. Například p_1( \psi_2 ) je pravděpodobnost p( 1 | \psi_2 ), že jsme naměřili hodnotu "1", za podmínky, že byl počátečním stavem stav | \psi_2 \rangle. +more Musí tedy platit normovací podmínky p_1( \psi_j ) + p_2( \psi_j ) = 1 pro j \in \{1,2\}. Díky souměrnosti problému a volbě měřicích operátorů jsou pravděpodobnosti správného a nesprávného určení totožné pro oba stavy.

Průměrná pravděpodobnost správného určení je tedy

:p = \frac{p_1(\psi_1) + p_2(\psi_2)}{2} = \frac{2 + \sqrt{2}}{4} \approx 0,854.

Jinými slovy, s pravděpodobností zhruba 85,4 % správně identifikujeme stav systému na základě obdržené hodnoty. Vždy ale budeme muset počítat s tím, že s pravděpodobností Q = (2 - \sqrt{2})/4 \approx 0,146, tj. +more zhruba 14,6 %, jsme původní stav identifikovali nesprávně.

Jednoznačné rozlišení dvou stavů

+more_Výsledný_měřicí_operátor_E_1_odpovídající_stavu_|_\psi_1_\rangle_je_úměrný_projektoru_na_vektor_|_e_1_\rangle_a_podobně_pro_druhý_operátor_E_2. _Třetí_operátor_E_. _je_úměrný_projektoru_na_vektor_'> e_. \rangle a odpovídá neprůkaznému výsledku. .

Chceme-li užít metody jednoznačného rozlišení, musíme nejprve najít vektory kolmé k těm zadaným. Není těžké si rozmyslet, že v našem konkrétním případě mají tyto vektory tvar

:| x_1 \rangle = \frac{1}{\sqrt{2}}(| 0 \rangle - | 1 \rangle), \quad | x_2 \rangle = | 1 \rangle,

přičemž \langle x_1 | \psi_2 \rangle = 0 a \langle x_2 | \psi_1 \rangle = 0. Pro stanovení podoby měřicích operátorů je dále nutno znát hodnotu škálovacích konstant a_1, a_2, jak je vysvětleno v příslušné kapitolce. +more V našem případě a_1 = a_2 = 2 - \sqrt{2} \approx 0,586. Explicitní tvar měřicích operátorů pak zní.

:E_1 = \frac{2 - \sqrt{2}}{2} (| 0 \rangle \langle 0 | - | 0 \rangle \langle 1 | - | 1 \rangle \langle 0 | + | 1 \rangle \langle 1 |), :E_2 = (2 - \sqrt{2}) | 1 \rangle \langle 1 |, :E_? = \frac{1}{\sqrt{2}} | 0 \rangle \langle 0 | + \frac{2 - \sqrt{2}}{2} | 0 \rangle \langle 1 | + \frac{2 - \sqrt{2}}{2} | 1 \rangle \langle 0 | + \frac{3\sqrt{2} - 4}{2} | 1 \rangle \langle 1 |.

V maticovém zápisu v bázi tvořené vektory | 0 \rangle a | 1 \rangle jsou tak měřicí operátory tvaru (a \equiv a_1 = a_2)

:E_1 = \begin{pmatrix}a/2 & -a/2 \\ -a/2 & a/2 \end{pmatrix}, \qquad E_2 = \begin{pmatrix}0 & 0 \\ 0 & a \end{pmatrix}, \qquad E_? = \begin{pmatrix}1-a/2 & a/2 \\ a/2 & 1-3a/2 \end{pmatrix}.

Je snadné se přesvědčit, že tyto matice vyhovují relaci úplnosti a že má každá matice nezáporná vlastní čísla, a je tedy pozitivně semidefinitní. Metoda jednoznačného rozlišení stavů | \psi_1 \rangle a | \psi_2 \rangle spočívá v provedení zobecněného kvantového měření charakterizovaného operátory E_1, E_2, E_?.

Pravděpodobnosti naměření jednotlivých výsledků pro oba vstupní stavy pak nabývají hodnot, jež jsou shrnuty v následující tabulce:

p_1(\psi_1) = \langle \psi_1 | E_1 | \psi_1 \rangle = \frac{2 - \sqrt{2}}{2} \approx 0,293	p_1(\psi_2) = \langle \psi_2 | E_1 | \psi_2 \rangle = 0	p_. (\psi_1) = \langle \psi_1 | E_. +more | \psi_1 \rangle = \frac{1}{\sqrt{2}} \approx 0,707
p_2(\psi_2) = \langle \psi_2 | E_2 | \psi_2 \rangle = \frac{2 - \sqrt{2}}{2} \approx 0,293	p_2(\psi_1) = \langle \psi_1 | E_2 | \psi_1 \rangle = 0	p_. (\psi_2) = \langle \psi_2 | E_. | \psi_2 \rangle = \frac{1}{\sqrt{2}} \approx 0,707

.

Pravděpodobnosti chyby jsou tedy nulové. K žádnému chybnému určení stavu nedochází. +more Abychom mohli účinnost této metody porovnat s účinností metody rozlišení s minimální chybou, studujme spíše případ neprůkazného výsledku. Celková pravděpodobnost neprůkazného výsledku je rovna.

:p_? = \frac{p_?(\psi_1) + p_?(\psi_2)}{2} = \frac{1}{\sqrt{2}} \approx 0,707

a tedy zhruba 71 %. To je přibližně pětkrát více, než je pravděpodobnost chyby pro předchozí metodu. +more Na druhou stranu, ve zbylých 29 % případů víme s jistotou, v jakém stavu se foton nacházel. Všimněme si navíc, že v tomto příkladu nás nezajímalo, jak vypadá stav fotonu po měření. Tuto dodatečnou informaci nám POVM měření nedokáže poskytnout.

Odkazy

Poznámky

Reference

Související články

Vlnová funkce * Kvantové měření * Kvantové testování hypotéz * Odhad kvantových stavů * Filtrování kvantových stavů

Externí odkazy

[url=https://demonstrations.wolfram.com/QuantumStateDiscriminationWithTwoQubits/]Interaktivní demonstrace o rozlišení kvantových stavů[/url] (anglicky) *

Kategorie:Kvantová fyzika Kategorie:Kvantová informatika