MUB báze

Příklad tří bází v dvourozměrném prostoru, z nichž báze B1 a B2 jsou vzájemně MUB, zatímco vektory báze B3 nemají stejný překryv s vektory báze B1 či B2 a tak do souboru MUB bází nepatří.

MUB báze (z anglického Mutually Unbiased Bases[pozn. 1]) je v kvantové mechanice označení pro množinu bází daného Hilbertova prostoru, kde má každý vektor jedné báze stejný překryv se všemi vektory bází ostatních a to v následujícím smyslu: Máme-li konečněrozměrný komplexní Hilbertův prostor o dimenzi , jsou dvě jeho ortonormální báze a MUB bázemi, splňují-li jejich vektory následující podmínku:[2][3]

pro všechny hodnoty indexů , kde je konstanta, jejíž hodnota zní .[pozn. 2] Pokud množinu tvoří více než dvě báze, musí tyto podmínky platit pro kterékoliv dvě vybrané báze z této množiny. Splňují-li dvě či více bází výše uvedenou podmínku, říkáme, že jsou tyto vůči sobě MUB.[pozn. 3]

Anglické označení mutually unbiased bases lze velmi neuměle přeložit jako vzájemně nestranné báze či vzájemně nezkreslené báze, čímž se odkazuje na následující skutečnost: Uvažme jistý fyzikální systém, jehož kvantový stav je představován některým z vektorů jedné báze a vystavme systém projektivnímu měření v bázi druhé. Je-li stav systému popsán vektorem , je pravděpodobnost naměření vektoru podle Bornova pravidla rovna , což je z definičních podmínek MUB bází rovno konstantě . Tato konstanta je však nezávislá jak na konkrétní volbě vektoru tak na vektoru a naměřený výsledek tak nepřináší žádnou informaci o tom, v jakém stavu se systém před měřením nacházel. Jinými slovy, měření vektoru v bázi nepřináší vůbec žádnou novou informaci. V tomto smyslu jsou báze a vzájemně nezkreslené.

Pro tuto uvedenou vlastnost nacházejí MUB báze uplatnění například v kvantové kryptografii, kde neznalost báze, ve které je nosič informace připraven, znemožňuje změřit stav tohoto nosiče a tím i získat přenášenou informaci. Další aplikační oblastí je kvantová tomografie, kde měření fyzikálního systému v MUB bázích umožňuje získat veškerou informaci o stavu systému s nejmenší statistickou chybou.[2] Počet a tvar možných MUB bází daného vektorového prostoru se liší v závislosti na dimenzi tohoto prostoru. Velkou pozornost přitom poutají sady MUB bází s největším možným počtem bází pro danou dimenzi. Dosud byly nalezeny sady s maximálním počtem MUB bází jen pro prostory, jejichž dimenze je rovna prvočíslu anebo celočíselné mocnině prvočísla.[2][3] Obecné řešení nebylo dosud (rok 2022) nalezeno a zůstává předmětem aktivního výzkumu. Nalezení maximálního počtu MUB bází či dokázání jejich neexistence je jedním z otevřených problémů teoretické fyziky.[4][5][6]

Na obrázku vpravo nahoře jsou zobrazeny tři různé báze dvourozměrného (reálného) vektorového prostoru. Báze B2 (vínově zbarvené vektory) je vůči B1 (černé vektory) natočena tak, že oba její vektory mají stejně veliký překryv s oběma vektory báze B1 (popř. až na znaménko). Jinými slovy, souřadnice vektorů báze B2 vyjádřené v soustavě zadané bází B1 mají stejnou absolutní hodnotu. Naproti tomu báze B3 (oranžové vektory) je natočena vůči B1 tak, že její vektory mají různý překryv s vektory báze B1. Báze B1 a B3 tak netvoří množinu MUB bází, zatímco báze B1 a B2 ano.

Historie

Prvním, kdo studoval MUB báze, ač tehdy ještě ne pod tímto názvem, byl v roce 1960 Julian Schwinger ve svém článku Unitary operator bases,[7] kde mimo jiné ukázal, že vlastní vektory vícerozměrných X a Z Pauliho operátorů tvoří dvě MUB báze a že z těchto operátorů zkonstruované Heisenbergovy-Weylovy operátory tvoří ortonormální bázi unitárních operátorů pro danou dimenzi. Na jeho práci v roce 1987 navázal Karl Kraus, který studoval MUB báze v kontextu komplementárních proměnných a relací neurčitosti.[8] Krausova pozorování byla poté dále rozvedena[9] a vztah MUB bází a entropických relací neurčitosti není dosud zcela vyjasněn.[10]

V roce 1981 I. Ivanovič prezentoval techniku umožňující ze znalosti výsledků měření v MUB bázích zrekonstruovat původní kvantový stav daného systému.[11] V tomtéž článku pak autor podal i explicitní tvar těchto bází pro Hilbertovy prostory, jejichž dimenze je rovna prvočíslu. Ivanovičův postup zobecnili v roce 1988 William Wootters a Brian Fields na dimenze, jež jsou rovny mocnině prvočísla,[2] a zavedli pojem "mutually unbiased bases". Titíž autoři současně ukázali, že rekonstrukce kvantových stavů pomocí MUB bází je optimální v tom smyslu, že odpovídající statistická chyba je v takovémto případě minimální. Techniky rekonstrukce založené na MUB bázích byly dále zobecněny na rekonstrukci kvantových procesů.[12]

V roce 1983 byl opublikován článek Stephena Wiesnera s názvem Conjugate coding,[1] ve kterém jsou MUB báze využity pro neodposlouchávatelný přenos informace. Tento článek se stal odrazovým můstkem pro celé odvětví nyní zvané kvantová kryptografie. Wiesnerovy myšlenky jsou od té doby dále rozpracovávány a analyzovány z pohledu bezpečnosti přenosu i míry přenesené informace, viz např. [13].

I přes značnou snahu není ani k roku 2022 jasné, kolik MUB bází pro obecnou dimenzi existuje, natož pak jejich tvar. Jedná se o dimenze, jež nelze vyjádřit jako mocninu prvočísla, přičemž nejmenší takovou dimenzí je číslo šest. Tato dimenze byla předmětem intenzivního studia a numerické simulace zatím naznačují, že více než tři MUB báze v dimenzi rovné šesti neexistují.[14]

Dvourozměrný prostor

Tvar MUB bází a jejich použití lze dobře ilustrovat v dvourozměrném Hilbertově prostoru, jenž je pro svou jednoduchost také hojně používaný v různých aplikacích a teoretických odvozeních. Za standardní ortonormální bázi lze v tomto prostoru zvolit vektory a . Velmi častá volba MUB bází pro dvourozměrný prostor je pak následujícího tvaru:

Dimenze
Báze 1Báze 2Báze 3
Vektor 1
Vektor 2

Lze se snadno přesvědčit, že takto zadané vektory nejen že tvoří ortonormální báze, ale tyto báze jsou skutečně vůči sobě MUB. V dvourozměrném prostoru navíc nelze sestrojit sadu více než tří MUB bází a výše uvedený příklad je tak již v tomto ohledu maximální.

V reálném světě lze vektory a ztotožnit například s horizontální a vertikální polarizací fotonu. V takovém případě je druhá MUB báze tvořena diagonální a anti-diagonální polarizací. Třetí MUB báze se pak skládá z pravo- a levotočité polarizace. Pokud místo fotonu uvažujeme spin elektronu, tak vektory a můžeme ztotožnit po řadě se spinem nahoru a dolů (přesněji vzato, s vlastní bází Pauliho operátoru ). Druhá báze pak odpovídá spinu mířícímu vlevo či vpravo (to jest, vlastní bázi Pauliho operátoru ) a konečně báze třetí pak obsahuje vektory představující spin mířící dopředu či dozadu (vlastní bázi Pauliho operátoru ).

Množinu všech čistých dvourozměrných stavů lze znázornit jako Blochovu sféru a ortonormální bázi jako dvě šipky, mířící přesně v opačných směrech. Zvolíme-li standardní bázi jako bázi tvořenou vektory a , zbarvené modře, lze za další dvě MUB báze zvolit báze , červené vektory, a , zelené vektory.

Polarizace fotonu i spin elektronu odpovídají dvourozměrným kvantovým systémům. Změření těchto systémů ve třech výše uvedených MUB bázích umožňuje zrekonstruovat jejich kvantový stav s použitím Blochovy reprezentace. Každý dvourozměrný čistý kvantový stav lze vyjádřit jako bod na Blochově sféře, vyobrazené vpravo. Každou z výše zmíněných MUB bází pak lze znázornit na této sféře jako dvě protilehlé šipky jisté barvy — konkrétně standardní báze (horizontální/vertikální polarizace či spin nahoru/dolů) odpovídá modré, druhá MUB báze (diagonální/antidiagonální polarizace či spin vlevo/vpravo) odpovídá červené a konečně třetí MUB báze (pravotočivá/levotočivá polarizace či spin dopředu/dozadu) odpovídá zelené barvě.

Ve dvourozměrném prostoru je snadné nalézt všechny sady tří MUB bází přímým výpočtem, bez nutnosti využití pokročilejšího matematického aparátu nezbytného ve vyšších dimenzích. Ukazuje se, že až na globální fázi mají vektory těchto bází následující obecný tvar, kde pro nějaké reálné číslo [pozn. 4] a kde kety a představují standardní bázi daného prostoru:

Všechny MUB báze pro dimenzi
Báze 1Báze 2Báze 3
Vektor 1
Vektor 2

Geometricky lze tyto báze znázornit na Blochově sféře podobně jako na obrázku vpravo, kde nyní fáze v čísle udává natočení červené a zelené báze kolem báze modré, která splývá se svislou -ovou osou a zůstává neměnná.

Pokud bychom si za standardní, to jest modrou, bázi zvolili nějaké jiné dva ortonormální vektory, obdrželi bychom podobné chování. A sice, fáze by vyjadřovala natočení červené a zelené báze kolem báze modré, která už ovšem nesměřuje podél -ové osy. Všechny tři báze by ale v každém případě byly stále MUB — MUB vlastnost totiž souvisí čistě se vzájemnými vztahy mezi bázemi, ne na jejich absolutním natočení v prostoru. Protože se současným natočením všech bází jejich vzájemné vztahy nemění, lze vždy bez újmy na obecnosti první bázi zafixovat tak, aby byl její tvar co nejjednodušší, jak jsme provedli výše. Tato nezávislost na natočení je důsledkem unitární invariance zmíněné níže v oddíle "Unitární invariance".

Matematické vlastnosti

Hodnota konstanty

Základní podmínkou pro to, aby dvě báze v prostoru o dimenzi byly MUB bázemi, je, aby byla velikost překryvu všech vektorů totožná a tedy pro jistou konstantu . Hodnotu této konstanty lze určit následovně. Vektory tvoří ortonormální bázi a pro daný vektor tedy platí Parsevalova rovnost: . Vektor je normalizovaný a tak je pravá strana rovnice rovna jedničce. Levá strana se zjednodušší na , z čehož plyne . Fyzikálněji motivované vysvětlení může znít tak, že výraz udává dle Bornova pravidla pravděpodobnost naměření vektoru , je-li měřený systém ve stavu . Ať už je výsledek měření jakýkoli, je jisté, že nějaký výsledek obdržíme. Pravděpodobnost toho, že obdržíme nějaký výsledek, je tedy rovna jedné. Současně je tato pravděpodobnost rovna součtu , odkud tedy . Z definice MUB bází je každá dílčí pravděpodobnost rovna konstantě a odtud už podobně jako při důkazu výše nutně plyne, že .

Unitární invariance

Volba MUB bází není jednoznačná — unitární rotací všech bází současně se jejich vzájemný vztah zachovává. Uvažme dvě ortonormální báze a , které jsou vzájemně MUB. Unitární operace zachovávají ortonormalitu a tak sady vektorů a , kde je unitární operátor, opět tvoří dvě ortonormální báze. Pro jejich překryv dále platí:

kde první rovnost plyne z unitarity, to jest , a druhá rovnost plyne z předpokladů, že původní báze jsou MUB. Jak lze tedy snadno nahlédnout, i báze a jsou vůči sobě MUB.

Když se hovoří o tom, že v daném prostoru existuje MUB bází, je tím míněno, že lze v daném prostoru sestrojit sadu ortonormálních bází, které jsou vůči sobě MUB, jejichž počet je přitom . Z této sady lze však sestrojit nekonečně mnoho jiných sad MUB bází čistě tím, že na každý vektor uplatníme nějakou unitární operaci . Vzhledem k této unitární invarianci lze vždy za první bázi zvolit bázi standardní. Touto volbou již nelze využít unitární invariance a tvar dalších MUB bází je již značně omezen MUB podmínkami. I s tímto ukotvením však lze i tak v některých dimenzích nalézt vícero neekvivalentních sad MUB bází.[15]

Maticové vyjádření

Vztahy pro vektory MUB bází lze přepsat do formy matic, potažmo lineárních operátorů. Máme-li dvě ortonormální báze a v -rozměrném prostoru, lze ke každému vektoru přiřadit projektor na tento vektor tak, že a . Tyto dvě báze jsou pak vzájemně MUB, pokud odpovídající projektory splňují následující rovnici:

kde označuje stopu matice. Kvůli ortonormalitě báze musí přitom sada operátorů být tvořena ortogonálními projektory a totéž platí pro bázi a projektory .

Jiný způsob, jak se dívat na MUB báze je využitím unitárních operátorů. Z každé ortonormální báze lze vytvořit unitární matici tak, že z jednotlivých vektorů utvoříme řádky matice. Je-li tedy -tá složka -tého vektoru báze, je matice tvaru . Unitarita plyne z ortonormality. Máme-li poté dvě unitární matice a , lze podmínku MUB vlastnosti přepsat do tvaru:

Součin dvou unitárních matic je opět unitární matice a tak výše uvedená podmínka znamená, že všechny prvky unitární matice musejí mít absolutní hodnotu rovnou . Jinými slovy, prvky takové matice musejí být tvaru:

pro jistá reálná čísla . Matice je tak obecně tvaru , kde je jistá komplexní Hadamardova matice.[15]

Počet MUB bází

V prostoru dimenze může být nanejvýš MUB bází[2] (viz též poznámku v oddíle "Unitární invariance"). S použitím Weylových grup lze ukázat, že v každé dimenzi lze zkonstruovat alespoň tři MUB báze. Lze dále dokázat následující vztah, který udává spodní a horní mez pro počet MUB bází v dané dimenzi :

kde je prvočíselný rozklad čísla , kde jsou navíc jednotlivé členy seřazeny tak, aby platilo .[16] Z tohoto vztahu je vidět, že v každé dimenzi lze sestrojit alespoň tři MUB báze (viz též sekci "Konstrukce pro konečné dimenze").

Všechny výsledky zmiňované v tomto článku se vztahují ke komplexním Hilbertovým prostorům, ne reálným. V případě reálných Hilbertových prostorů je existence MUB bází v obecné dimenzi též stále otevřenou otázkou. Oproti komplexnímu případu lze ale v mnoha případech ukázat, že sady MUB bází buď vůbec neexistují nebo je jich jenom velmi malý počet.[17] Například ve trojrozměrném reálném Hilbertově prostoru neexistuje ani jeden pár MUB bází.[15]

Konstrukce bází

Dvojice MUB bází

Ke každé ortonormální bázi v daném prostoru vždy existuje alespoň jedna báze, vůči níž je MUB. V následujícím je představen obecný postup, jak tuto druhou bázi nalézt. Mějme zadánu jistou ortonormální bázi -rozměrného Hilbertova prostoru. Libovolný vektor z tohoto prostoru tak lze vyjádřit jako lineární kombinaci vektorů této báze. Především tak lze vyjádřit i každý vektor z nějaké další báze téhož prostoru. Existují tedy koeficienty tak, že platí , přičemž .[pozn. 5] Dosazením tohoto výrazu do definičního vzorce MUB bází dostáváme , z čehož je patrno, že absolutní hodnota komplexního čísla je rovna , zatímco jeho fáze je zcela libovolná a určená reálným číslem . To jest, . Při zpětném dosazení tohoto tvaru koeficientů do původní lineární kombinace obdržíme

Navíc musí nadále platit, že vektory jsou ortonormální. Z výše uvedeného tvaru plyne: . Lze snadno ověřit, že pro se tento vzorec redukuje do a vektory jsou tak vskutku jednotkové. Kvůli ortogonalitě musí být vzorec pro roven nule, čehož lze docílit vícero způsoby. Jedním takovým je volba , pro níž je báze určená diskrétní Fourierovou transformací báze . Výsledné vektory jsou pak určeny vzorcem:[pozn. 6]

Ke každé zadané bázi tak lze vždy sestrojit alespoň jednu další bázi , která je s ní MUB. Reálná čísla v konstrukci výše přitom musí vyhovovat podmínce plynoucí z ortogonality vektorů . Pokud bychom chtěli tímto způsobem pokračovat a nalézt větší počet bází, musí být tyto nové báze MUB nejen vůči bázi , ale i mezi sebou, což nakládá na tvar fází dodatečné netriviální podmínky. Jsou to tyto dodatečné podmínky, které velmi komplikují nalezení obecného postupu pro konstrukci MUB bází a vynucují si použití pokročilého matematického aparátu.

Konstrukce pro konečné dimenze

Konstrukce sad MUB bází velkou měrou závisí na jejich zamýšleném počtu a dimenzi odpovídajícího prostoru. Je-li naším cílem sestrojit sadu pouze dvou MUB bází, nabízí se nejrůznější možnosti. Jak plyne z diskuze v předchozí sekci lze druhou bázi v kterékoliv dimenzi vytvořit aplikací diskrétní Fourierovy transformace na vektory báze první. V každé dimenzi lze též sestrojit sadu tří MUB bází a to například tak, že za báze vezmeme po řadě vlastní vektory operátorů , a definovaných v oddíle "Konstrukce pomocí Pauliho operátorů".[18] Pokud však chceme v daném prostoru nalézt soubor většího počtu MUB bází, je nutno použít sofistikovanějších metod. V prostoru dimenze může existovat nanejvýš bází, viz patřičný oddíl "Počet MUB bází". Velkou pozornost tak vzbuzují konstrukce maximálních sad o MUB bázích, jejichž neúplný výčet je podán v samostatné sekci "Konstrukce maximálních sad" níže.

Pro prostory, jejichž dimenze je prvočíslo nebo mocnina prvočísla, byly objeveny konstrukce umožňující takovou sadu sestrojit.[11][2][pozn. 7] Pro nejmenší dimenze pokrývají tyto konstrukce následující čísla: Jak vidno, pro čísla menší než deset existuje jedna dimenze, konkrétně , pro níž nelze stávající konstrukce použít. Tato dimenze tak byla podrobena zatím největšímu zájmu výzkumníků. Ačkoli lze v každé dimenzi najít MUB báze alespoň tři, není jasné, zda v existuje sada čtyř či více takových bází. Numerické simulace naznačují, že maximální sada MUB bází v této dimenzi neexistuje.[20] Obecně není konstrukce a dokonce ani samotná existence maximálního počtu MUB bází v prostorech, jejichž dimenze není rovna mocnině prvočísla, známá.

Konstrukce pomocí tenzorových součinů

V případě konečněrozměrných Hilbertových prostorů lze použít následující techniku, kde je pro konstrukci neúplných sad MUB bází použito znalosti MUB bází z prostorů o nižších dimenzích. Předpokládejme, že máme dva Hilbertovy prostory a o dimenzích a s tím, že v prvním i druhém jsme nezávisle sestrojili sadu MUB bází, přičemž tato sada nemusí být maximální, to jest a . Uvažme nyní tenzorový součin těchto dvou prostorů a zkoumejme, jak sestrojit MUB sadu bází v tomto větším prostoru.

Jak lze snadno nahlédnout, sada tvořená tenzorovými součiny bází představuje sadu MUB bází v prostoru : Nechť je první MUB báze v prostoru , je druhá MUB báze atd. a podobně nechť , , , jsou MUB báze v prostoru . Uvažme nyní sadu bází , kde je každá báze tvaru , přičemž .

Z ortonormality jednotlivých bází a pro vektory každé z bází plyne:

Každá z bází je tak bází ortonormální. Dále pro platí:

kde je dimenze prostoru . Báze tedy tvoří sadu MUB bází.[pozn. 8] Právě uvedenou konstrukci lze jednoduše zobecnit na větší počet prostorů.

Protože , nelze tímto způsobem vytvořit maximální sadu MUB bází v prostoru . Jedná se však o jednoduchý způsob, jak v tomto prostoru nalézt alespoň nějakou sadu a to ze znalosti MUB bází v menších prostorech a .

Konstrukce pro nekonečné dimenze

Diskuzi pro konstrukci MUB bází v prostorech konečné dimenze lze zobecnit pro případ spojitých nekonečně-rozměrných prostorů. Takovéto prostory mohou fyzikálně odpovídat například poloze částice na přímce.[3] Konstanta v definici MUB bází už nemůže být zjevně rovna , protože nyní . Ukazuje se, že hodnota této konstanty závisí na topologii daného prostoru a na konkrétní volbě bází.[21] Tak například pro prostor odpovídající pohybu částice po přímce je tato konstanta odlišná od té pro prostor odpovídající pohybu částice po kružnici.[3]

Pro konkrétnost se zaměřme právě na pohyb částice po přímce, čemuž odpovídá prostor kvadraticky integrabilních funkcí na reálné ose . Poloha a hybnost částice pak odpovídá kvantově-mechanickým operátorům a splňujícím komutační relace , které působí na funkce z . Vlastní vektory a těchto operátorů splňují známý vztah:

Tato rovnice je přesně tvaru, který je v sekci "Dvojice MUB bází" obdržen pro překryv vektorů ze dvou MUB bází. Rozdíl v tomto případě je jednak hodnota konstanty , jednak fakt, že a jsou přesně vzato zobecněné vlastní vektory normalizované k delta funkci, které neleží v . Jak vidno, báze zobecněných vektorů a báze zobecněných vektorů tvoří sadu dvou MUB bází. Konstrukce sady tří MUB bází je složitější.[21]

Ve stejném prostoru lze sestrojit různé báze charakterizované reálnými čísly a tak, že každá báze je složena ze zobecněných vektorů indexovaných reálným číslem , přičemž jsou tyto normalizovány k delta funkci a platí , což odpovídá požadavku na ortonormalitu. Aniž bychom zacházeli do podrobností, zmiňme pouze, že lze tyto báze sestrojit tak, aby platilo:[21][3]

Tento vztah je nezávislý na indexech pro konkrétní vektory a , čímž pádem jsou báze a vůči sobě MUB. Protože čísla a mohou nabývat nespočetně mnoha hodnot, máme v prostoru nespočetně mnoho párů MUB bází.

Konstrukce maximálních sad

Jak zmíněno v sekci "Konstrukce pro konečné dimenze", výsadní postavení v prostoru o dimenzi mají sady MUB bází, které sestávají z bází. V následujícím jsou podány způsoby, jak lze takové sady explicitně zkonstruovat.

Pro zjednodušení zápisu jsou v této sekci jednotlivé báze a složky vektorů indexovány od nuly a bez újmy na obecnosti je za -tou, tedy poslední, bázi vždy zvolena bázi standardní. Označíme-li si -tý vektor standardní báze symbolem , je -tá složka tohoto vektoru rovna , kde je Kroneckerovo delta.[pozn. 9] Pro vektory dalších MUB bází pak budeme v následujícím užívat konvenci, že je -tý vektor -té báze, jehož -tá souřadnice ve standardní bázi zní a tedy:

Ukazuje se, že konstrukce použitelné pro mocniny lichých prvočísel nelze uplatnit pro mocniny dvojky coby jediného sudého prvočísla a pro tento případ je nutno použít konstrukce odlišné.[2] Obě dvě konstrukce jsou představeny níže, předtím je nicméně podán přehled konstrukcí pro dimenze, jež jsou rovny prvočíslu, ne jeho mocnině.

Konstrukce pro prvočíselné dimenze

Ivanovičova konstrukce

Ivanovičova konstrukce navazuje na tu zmíněnou v sekci "Dvojice MUB bází", kde poslední báze je ta standardní, první je generována diskrétní Fourierovou transformací a všechny ostatní jsou zkonstruovány podle obecného předpisu vypsaného níže:[11]

kde , přičemž je dimenze rovná prvočíslu. Není obtížné ověřit, že takto definované vektory skutečně tvoří ortonormální báze. Pro důkaz, že jsou tyto báze vůči sobě MUB, lze pak využít zobecněné kvadratické Gaussovy sumy.[pozn. 10]

Woottersova-Fieldsova konstrukce

Wootters a Fields zelegantnili Ivanovičovu konstrukci do následující podoby:[2]

Ověřit, že se jedná skutečně o ortonormální báze, jež jsou vzájemně MUB, lze obdobně jako pro Ivanovičovu konstrukci. Tuto konstrukci lze navíc zobecnit pro dimenze, jež jsou rovny mocninám prvočísel, jak je rozebráno v oddílech "Konstrukce pro mocniny dvojky" a "Konstrukce pro mocniny lichého prvočísla".

Konstrukce pomocí Pauliho operátorů

Maximální sadu MUB bází pro prvočíselnou dimenzi lze též sestrojit jako sadu vlastních bází operátorů následujícího tvaru:[22]

kde a jsou -rozměrné Pauliho operátory, definované vztahy

kde a kde je součet nutno chápat modulo , to jest . Tento postup lze zobecnit i na dimenze, jež jsou rovny mocninám prvočísel.[22] Lze ukázat, že vlastní vektory operátoru a tedy vektory -té MUB báze jsou tvaru:[22]

kde je definováno . Platí, že .

Konstrukce pro mocniny dvojky

Pro mocniny dvojky tvaru , kde je jisté přirozené číslo, lze použít následující konstrukci vyvinutou Woottersem a Fieldsem[2]. Pro zjednodušení zápisu je místo indexování pomocí celých čísel od 0 do použito indexování pomocí jejich binárních zápisů. A tedy -tá složka -tého vektoru -té báze je indexována pomocí -tic , a , z nichž každá obsahuje binární zápis odpovídajícího indexu.[pozn. 11] V této reprezentaci lze MUB báze pro dimenzi zvolit jako

kde , a jsou vektory o složkách nabývajících pouze hodnot 0 a 1, a kde je -tice symetrických nesingulárních matic , jejichž složky mohou též nabývat pouze hodnot 0 či 1.[pozn. 12] Součin je přitom nutno chápat jako . Poznamenejme, že aritmetika čísel v exponentu imaginární jednotky ve vzorci výše je efektivně prováděna modulo 4.

Konstrukce pro mocniny lichého prvočísla

Níže je podána lehce upravená konstrukce podle Wootterse a Fieldse[2], která zobecňuje konstrukci ze sekce "Woottersova-Fieldsova konstrukce" a využívá vlastností konečných číselných těles. Číselné těleso o prvcích si označíme , kde nyní pro jisté liché prvočíslo a přirozené číslo . Báze lze zvolit následujícím způsobem:[pozn. 13]

kde a kde je operace stopy ve smyslu číselných těles, která je pro libovolný prvek tělesa definována jako

Tento vysoce abstraktní zápis lze převést do více explicitní podoby využitím multiindexů. Zcela analogicky jako v sekci "Konstrukce pro mocniny dvojky" můžeme místo celých čísel , a pro indexaci bází, vektorů a jejich složek použít -tice čísel, které představují odpovídající -ární zápis. To jest, místo je použito -tice atd., což například pro , a vede na . Báze lze posléze volit způsobem:

kde jsou -složkové multiindexy, jejichž složky leží v . Dále, je -tice symetrických nesingulárních matic s prvky v tělese tak, že , přičemž součin je nutno chápat ve smyslu a tento součin musí odpovídat nesingulární matici pro všechny nenulové vektory , viz poznámku v sekci "Konstrukce pro mocniny dvojky". Aritmetika v exponenciele je prováděna modulo .

Použití

Kvantová kryptografie

V kvantových kryptografických protokolech je MUB bází využito pro zajištění neodposlouchávatelnosti přenášených zpráv. Zprávy je nejprve nutno zašifrovat pomocí tajného klíče, který musí být znám jak příjemci tak odesílateli, aniž by jeho hodnotu znala třetí osoba. To lze provést následovně: Původce zprávy, Alice, vygeneruje dlouhý tajný klíč a ten posléze posílá bit po bitu k příjemci, Bobovi. Každý bit je zakódován do kvantové částice, qubitu, jejíž kvantový stav je připraven jako jeden ze stavů buď standardní báze anebo báze k ní MUB. Chce-li Alice poslat bit o hodnotě 0 má dvě možnosti: buď tuto hodnotu zakódovat jako stav ve standardní bází, anebo jako stav v MUB bázi. Podobně, hodnotu 1 lze zakódovat buď jako stav ve standardní bázi, anebo jako stav v MUB bázi. Po přenosu má Bob opět dvě možnosti, jak dorazivší částici změřit — buď ve standardní bázi anebo v MUB bázi. Bob přitom neví, v jaké bázi Alice připravila posílaný qubit. Bob může svou měřicí bázi zvolit náhodně a tak zhruba v polovině případů se trefí do báze, kterou si zvolila Alice.

Poté, co Bob přijme všechny Alicí vyslané qubity a zaznamená si výsledky všech měření, pošle Alice Bobovi seznam v němž stojí, v jaké bázi připravila své qubity. Tento seznam může Alice Bobovi bez obav poslat, protože znalost báze ještě neříká nic o tom, jaká konkrétní hodnota byla poslána. Bob po přijmutí seznamu vybere jen ty naměřené výsledky, jež byly získány v případech, kdy Bob zrovna zvolit bázi, jež se shodovala s bází Aliciinou. Tyto naměřené výsledky pak tvoří kratší tajný klíč, který je shodný pro Alici a Boba a oba je tak mohou využít pro zařifrování přenášených zpráv. Protože třetí osoba, která by se snažila přenášené qubity klíče odposlouchávat, neví, v jaké bázi byl stav qubitu připraven, musí, podobně jako Bob, volit své měřicí báze náhodně. To ale vede k náhodným výsledkům a navíc je toto narušení zjistitelné Bobem. Lze ukázat, že při použití dodatečných technik je výše uvedená metoda přenosu tajného klíče skutečně bezpečná. První komunikační protokol založený na této myšlence vynalezl Stephen Wiesner[1] a byl posléze rozpracován Charlesem Bennettem a dalšími[23]. Ačkoli byl příklad výše znázorněn pro dvourozměrné stavy, qubity, lze stejnou techniku zobecnit i pro vyšší dimenze.[13]

Rekonstrukce kvantových stavů

MUB bází lze též užít k rekonstrukci kvantových stavů. Kvantový stav daného fyzikálního systému je matematicky představován maticí hustoty. Provedením různých kvantových měření na velkém statistickém souboru fyzikálních systémů v témže počátečním stavu lze obdržet dostatek informací na to, aby šlo zrekonstruovat tvar odpovídající matice hustoty. Pro jednoznačnou rekonstrukci kvantového stavu je přitom nutno provést alespoň různých kvantových měření.[2][pozn. 14] Ivanovič ukázal, že měření v MUB bázích navíc postačuje pro tuto rekonstrukci.[11] Wootters a Fields dále ukázali, že více než MUB v daném prostoru ani být nemůže a že měření pomocí MUB bází je optimální v tom smyslu, že je statistická chyba získané matice hustoty minimální.[2] Měření odpovídající různým MUB bázích jsou v jistém smyslu tak odlišná jak jen mohou být a tak každé nové měření přinese tolik nové informace jak jen to je možné. Rekonstrukce využívající MUB bází tak vyžaduje minimální počet měření.[22][pozn. 15]

Ivanovič podal explicitní vzorec umožňující z naměřených dat, získaných měřeními v MUB bázích, zrekonstruovat původní matici hustoty.[11] Je-li stav systému po provedeném neselektivním kvantovém měření v -té MUB bázi, je operátor hustoty původního stavu roven:

kde je identické zobrazení. Operátory jsou přitom tvaru , kde jsou pravděpodobnosti naměření výsledku odpovídajícímu projektoru a tento projektor zase odpovídá naměření -tého vektoru v -té MUB bázi, to jest .

Nekompatibilita a relace neurčitosti

Projektivní kvantové měření lze zadat buď pomocí sady měřicích projektorů a jim přidružených číselných hodnot, anebo ekvivalentně pomocí pozorovatelné. Vztah těchto dvou přístupů je přitom takový, že vlastní vektor pozorovatelné definuje projektor a odpovídající vlastní číslo pak definuje výslednou naměřenou hodnotu. Často je důležitý pouze výsledný stav a vlastní čísla tak nehrají velkou roli. Navíc lze z vlastních vektorů sestrojit ortonormální bázi. Tato ekvivalence umožňuje pro jistou bázi definovat pozorovatelnou. Jak je zmíněno v úvodu, je-li kvantový stav fyzikálního systému zadán pomocí vektoru jedné MUB báze, nepřináší měření tohoto systému v druhé MUB bázi žádnou novou informaci. Nechť první MUB bázi odpovídá pozorovatelná a druhé MUB bázi pozorovatelná . Uvažme nyní systém v obecném kvantovém stavu a vystavme tento systém měření v první MUB bázi. Měřením dojde k projekci původního stavu do jednoho ze stavů báze. Tím pádem je zcela určena hodnota pozorovatelné . Následné měření ve druhé MUB bázi poté vrátí zcela náhodný výsledek a hodnota pozorovatelné je tedy nanejvýš nejednoznačná.

Nastává tak situace, jež se objevuje v diskuzi o relacích neurčitosti, kde přesná znalost jedné veličiny znemožňuje přesně určit nějakou jinou veličinu, jež je s tou první nekompatibilní. Matematicky lze tuto situaci vyjádřit vzorcem[10]

kde je komutátor operátorů a a kde je směrodatná odchylka měření pozorovatelné v čistém stavu (a podobně pro ). Komutátor, a tedy jak moc pozorovatelné a komutují, udává spodní mez, pod níž se součin směrodatných odchylek měření a nemůže dostat. Nenulovost tohoto komutátoru je tak matematickým zachycením toho, že jsou odpovídající operátory nekompatibilní. Lze ukázat, že pozorovatelné odpovídající MUB bázím jsou maximálně nekompatibilní.[7]. Lze-li předpovědět s jistotou výsledek jednoho takového měření, pak všechny ostatní výsledky jakékoholi dalšího MUB měření jsou stejně možné.[22] Ačkoli jsou obyčejně relace neurčitosti vyjádřeny pomocí směrodatných odchylek měření, lze odvodit i obecnější vztahy využívající entropie[10]. Ukazuje se přitom, že dvojice pozorovatelných zadaných MUB bázemi vykazují nejvyšší možnou neurčitost.[8][9][10]

Ostatní

MUB báze hrají důležitou roli při řešení tak zvaného "problému zlého krále"[24][25][26] (anglicky Mean King's Problem), při kterém je Alice zlým králem úkolována, aby pomocí vhodně zvoleného počátečního kvantového stavu a konečného měření s jistotou určila hodnotu, kterou královí muži na kvantovém stavu naměřili. Konstrukce MUB bází též souvisí s konstrukcí latinských čtverců. Ortogonální latinské čtverce lze použít pro konstrukci maximální sady MUB bází v daném prostoru.[19]

Problém nalezení MUB bází pro danou dimenzi se do jisté míry podobá problému nalezení SIC POVM operátorů pro tutéž dimenzi. SIC POVM operátory tvoří sadu měřicích operátorů, které vykazují specifický druh symetrie. Přesněji řečeno, jedná se o operátory tvaru , kde představují množinu jednorozměrných projektorů splňující podmínku:

kde je Kroneckerovo delta. (Porovnejte tento vzorec s obdobným vzorcem pro MUB báze v sekci "Maticové vyjádření".) Ačkoli není obecné řešení ani v jejich případě známé, podařilo se dosud nalézt explicitní konstrukce takovýchto operátorů pro všechny dimenze přinejmenším až do čísla 151.[6] Jejich konstrukce nicméně není ekvivalentní konstrukci MUB bází a tak třeba pro dimenzi se zdá, že neexistují více než tři MUB báze, ačkoli v této dimenzi existuje celá sada SIC POVM operátorů.

Báze pro vyšší dimenze

V následujícím jsou explicitně rozvedeny příklady MUB bází pro dimenze . Všechny tyto dimenze lze číselně vyjádřit jako celočíselné mocniny prvočísla a lze pro ně tedy zkonstruovat MUB báze způsobem podaným výše. Každé dimenzi odpovídá jedna tabulka, přičemž každý sloupec tabulky představuje jednu bázi, jejíž vektory se nacházejí na jednotlivých řádcích. Ačkoli je níže použita braketová notace, lze tytéž bazické vektory snadno vyjádřit v souřadnicích, vypíšou-li se jednotlivé koeficienty jako n-tice čísel. Podotkněme, že v následujících tabulkách je použita jiná konvence pro indexy bází a jejích vektorů než jak tomu je v sekcích výše: standardní báze jsou zmíněny na začátku a indexování začíná, kromě čísel v samotných ketech, jedničkou.

Trojrozměrný prostor

Číslo tři je nejnižším lichým prvočíslem a lze na něj tedy uplatnit postup představený v oddíle "Konstrukce pro prvočíselné dimenze" výše. Výsledkem je následující tabulka, kde je pro lepší čitelnost položeno . Poznamenejme, že výsledný tvar vektorů je lehce upraven oproti dané metodě tím, že je využito vztahu .

Dimenze
Báze 1Báze 2Báze 3Báze 4
Vektor 1
Vektor 2
Vektor 3

Čtyřrozměrný prostor

Číslo čtyři je celočíselná mocnina dvojky a lze na něj tedy uplatnit postup představený v oddíle "Konstrukce pro mocniny dvojky". Báze níže jsou nicméně zkonstruovány pomocí přístupu založeného na Pauliho operátorech.[22]

Dimenze
Báze 1Báze 2Báze 3Báze 4Báze 5
Vektor 1
Vektor 2
Vektor 3
Vektor 4

Pětirozměrný prostor

Výčet příkladů uzavřeme dimenzí rovnou číslu pět, kde nyní , přičemž jsou vzorce zjednodušeny využitím vztahu .

Dimenze (báze 1, 2, 3)
Báze 1Báze 2Báze 3
Vektor 1
Vektor 2
Vektor 3
Vektor 4
Vektor 5
Dimenze (báze 4, 5, 6)
Báze 4Báze 5Báze 6
Vektor 1
Vektor 2
Vektor 3
Vektor 4
Vektor 5

Odkazy

Poznámky

  1. Zřídka je též v angličtině používán název conjugate bases[1], což lze přeložit jako konjugované báze či sdružené báze.
  2. Pro odvození viz sekci "Hodnota konstanty" níže.
  3. Anglicky se používá označení, že jsou takové báze vůči sobě mutually unbiased a samotná vlastnost těchto bází se pak někdy označuje jako mutual unbiasedness.[2]
  4. Sada výše odpovídá volbě .
  5. Hodnotu koeficientu lze spočíst tak, že lineární kombinaci pro vynásobíme zleva "braem" a využijeme ortogonality vektorů . Levá strana tak zní , zatímco lineární kombinace samotná se redukuje do tvaru .
  6. Například v dimenzi vypadají složky takto zadaných vektorů následovně: , a , přičemž a je využito identity .
  7. Kromě těchto zmíněných existují i další, zobecněné či elegantnější konstrukce[3], viz např. [16][19].
  8. Poznamenejme, že sadu netvoří všechny možné tenzorové součiny bází a , ale jenom těch, jejichž indexy se shodují, to jest . V opačném případě bychom sice též obdrželi sadu ortonormálních bází, tyto by ale už nebyly vůči sobě MUB.
  9. Například v dimenzi je tato báze explicitního tvaru: , a , kteréžto vektory lze ekvivalentně přepsat v souřadnicovém vyjádření jako: , a .
  10. Zobecněná kvadratická Gaussova suma je pro rovna
    kde je nějaké číslo splňující , přičemž
    a kde závorka značí Legendreův symbol, pro nějž
    Absolutní hodnota výrazu na pravé straně rovnice je tak zjevně rovna .
  11. Tak například pro je index reprezentován multiindexem , což v konkrétním případě vede k .
  12. Tyto matice jsou definovány vztahy
    kde jsou bazické vektory konečného číselného tělesa o prvcích. Jak je však zmíněno v [22] lze za matice brát takové symetrické nesingulární matice, aby pro libovolný nenulový vektor byla lineární kombinace nesingulární maticí. V [22] lze najít doplňující informace.
  13. Zdá se, že v původním článku [2] je omylem vyňata hodnota z rozsahu v prvním vzorci. Při ponechání původního znění, viz rovnici (14) v [2], lze takto vygenerovat pouze bází, což by společně se standardní bází vedlo k sadě MUB bází, ne , jak požadujeme.
  14. Prostor všech matic hustoty v dimenzi má dimenzi . Každé měření obecně přinese znalost parametrů. To lze vidět z toho, že výsledkem každého měření je pravděpodobností. Kvůli normalizační podmínce je ale poslední pravděpodobnost spočitatelná z těch předchozích, což vede k nezávislým parametrům. Minimální počet měření nutných k rekonstrukci stavu je tak roven celkové dimenzi, , vydělené počtem parametrů určených jedním měřením, , což dává .
  15. Pro dimenzi lze ale pro rekonstrukci použít prakticky libovolné trojice měřicích operátorů.[2]

Reference

  1. a b c WIESNER, Stephen. Conjugate coding. ACM SIGACT News. 1983-01, roč. 15, čís. 1, s. 78–88. Dostupné online [cit. 2022-12-20]. ISSN 0163-5700. DOI 10.1145/1008908.1008920. (anglicky) 
  2. a b c d e f g h i j k l m n o p WOOTTERS, William K; FIELDS, Brian D. Optimal state-determination by mutually unbiased measurements. Annals of Physics. 1989-05, roč. 191, čís. 2, s. 363–381. Dostupné online [cit. 2022-02-28]. DOI 10.1016/0003-4916(89)90322-9. (anglicky) 
  3. a b c d e f DURT, Thomas; ENGLERT, Berthold-Georg; BENGTSSON, Ingemar. On mutually unbiased bases. International Journal of Quantum Information. 2010-06, roč. 08, čís. 04, s. 535–640. Dostupné online [cit. 2022-07-26]. ISSN 0219-7499. DOI 10.1142/S0219749910006502. (anglicky) 
  4. Mutually unbiased bases – Open Quantum Problems [online]. [cit. 2022-12-28]. Dostupné online. (anglicky) 
  5. KCIK Quantum Information Awards [online]. [cit. 2023-01-08]. Dostupné online. (anglicky) 
  6. a b HORODECKI, Paweł; RUDNICKI, Łukasz; ŻYCZKOWSKI, Karol. Five Open Problems in Quantum Information Theory. PRX Quantum. 2022-03-03, roč. 3, čís. 1, s. 010101. Dostupné online [cit. 2023-01-08]. DOI 10.1103/PRXQuantum.3.010101. 
  7. a b SCHWINGER, J. Unitary operator bases. Proceedings of the National Academy of Sciences. 1960-04-01, roč. 46, čís. 4, s. 570–579. Dostupné online [cit. 2022-02-28]. ISSN 0027-8424. DOI 10.1073/pnas.46.4.570. PMID 16590645. (anglicky) 
  8. a b KRAUS, K. Complementary observables and uncertainty relations. Physical Review D. 1987-05-15, roč. 35, čís. 10, s. 3070–3075. Dostupné online [cit. 2023-01-06]. DOI 10.1103/PhysRevD.35.3070. 
  9. a b MAASSEN, Hans; UFFINK, J. B. M. Generalized entropic uncertainty relations. Physical Review Letters. 1988-03-21, roč. 60, čís. 12, s. 1103–1106. Dostupné online [cit. 2023-01-06]. DOI 10.1103/PhysRevLett.60.1103. 
  10. a b c d WEHNER, Stephanie; WINTER, Andreas. Entropic uncertainty relations—a survey. New Journal of Physics. 2010-02-26, roč. 12, čís. 2, s. 025009. Dostupné online [cit. 2023-01-06]. ISSN 1367-2630. DOI 10.1088/1367-2630/12/2/025009. 
  11. a b c d e IVANOVIC, I D. Geometrical description of quantal state determination. Journal of Physics A: Mathematical and General. 1981-12-01, roč. 14, čís. 12, s. 3241–3245. Dostupné online [cit. 2022-02-28]. ISSN 0305-4470. DOI 10.1088/0305-4470/14/12/019. 
  12. FERNÁNDEZ-PÉREZ, A.; KLIMOV, A. B.; SAAVEDRA, C. Quantum process reconstruction based on mutually unbiased basis. Physical Review A. 2011-05-31, roč. 83, čís. 5, s. 052332. Dostupné online [cit. 2023-01-10]. ISSN 1050-2947. DOI 10.1103/PhysRevA.83.052332. (anglicky) 
  13. a b CERF, Nicolas J.; BOURENNANE, Mohamed; KARLSSON, Anders. Security of Quantum Key Distribution Using d -Level Systems. Physical Review Letters. 2002-03-08, roč. 88, čís. 12, s. 127902. Dostupné online [cit. 2023-01-10]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.88.127902. (anglicky) 
  14. BUTTERLEY, Paul; HALL, William. Numerical evidence for the maximum number of mutually unbiased bases in dimension six. Physics Letters A. 2007-09, roč. 369, čís. 1–2, s. 5–8. Dostupné online [cit. 2022-02-28]. ISSN 0375-9601. DOI 10.1016/j.physleta.2007.04.059. 
  15. a b c BENGTSSON, Ingemar. Three Ways to Look at Mutually Unbiased Bases. In: AIP Conference Proceedings. Vaxjo (Sweden): AIP, 2007. Dostupné online. DOI 10.1063/1.2713445. Svazek 889. S. 40–51. (anglicky)
  16. a b KLAPPENECKER, Andreas; RÖTTELER, Martin. Constructions of Mutually Unbiased Bases. Příprava vydání Gary L. Mullen, Alain Poli, Henning Stichtenoth. Svazek 2948. Berlin, Heidelberg: Springer Berlin Heidelberg Dostupné online. ISBN 978-3-540-21324-6, ISBN 978-3-540-24633-6. DOI 10.1007/978-3-540-24633-6_10. S. 137–144. DOI: 10.1007/978-3-540-24633-6_10. 
  17. BOYKIN, P. Oscar; SITHARAM, Meera; TARIFI, Mohamad. Real Mutually Unbiased Bases. arXiv:quant-ph/0502024. 2005-09-13. ArXiv: quant-ph/0502024. Dostupné online [cit. 2022-12-28]. 
  18. GRASSL, Markus. On SIC-POVMs and MUBs in Dimension 6. arXiv:quant-ph/0406175. 2009-05-25. ArXiv: quant-ph/0406175 version: 2. Dostupné online [cit. 2023-01-06]. 
  19. a b WOCJAN, Pawel; BETH, Thomas. New Construction of Mutually Unbiased Bases in Square Dimensions. arXiv:quant-ph/0407081. 2004-07-12. ArXiv: quant-ph/0407081. Dostupné online [cit. 2023-01-06]. 
  20. BUTTERLEY, Paul; HALL, William. Numerical evidence for the maximum number of mutually unbiased bases in dimension six. Physics Letters A. 2007-09, roč. 369, čís. 1–2, s. 5–8. Dostupné online [cit. 2022-12-28]. DOI 10.1016/j.physleta.2007.04.059. (anglicky) 
  21. a b c WEIGERT, Stefan; WILKINSON, Michael. Mutually unbiased bases for continuous variables. Physical Review A. 2008-08-29, roč. 78, čís. 2, s. 020303. Dostupné online [cit. 2023-01-10]. ISSN 1050-2947. DOI 10.1103/PhysRevA.78.020303. (anglicky) 
  22. a b c d e f g h BANDYOPADHYAY, Somshubhro; BOYKIN, P. Oscar; ROYCHOWDHURY, Vwani. A New Proof for the Existence of Mutually Unbiased Bases. Algorithmica. 2002-11-08, roč. 34, čís. 4, s. 512–528. Dostupné online [cit. 2022-12-24]. ISSN 0178-4617. DOI 10.1007/s00453-002-0980-7. 
  23. BENNETT, Charles H.; BRASSARD, Gilles. Quantum cryptography: Public key distribution and coin tossing. Theoretical Computer Science. 2014-12, roč. 560, s. 7–11. Dostupné online [cit. 2022-12-28]. DOI 10.1016/j.tcs.2014.05.025. (anglicky) 
  24. VAIDMAN, Lev; AHARONOV, Yakir; ALBERT, David Z. How to ascertain the values of sigma x , σ y , and σ z of a spin- 1/2 particle. Physical Review Letters. 1987-04-06, roč. 58, čís. 14, s. 1385–1387. Dostupné online [cit. 2023-01-10]. ISSN 0031-9007. DOI 10.1103/PhysRevLett.58.1385. (anglicky) 
  25. ENGLERT, Berthold-Georg; AHARONOV, Yakir. The mean king's problem: prime degrees of freedom. Physics Letters A. 2001-05, roč. 284, čís. 1, s. 1–5. Dostupné online [cit. 2023-01-10]. DOI 10.1016/S0375-9601(01)00271-7. (anglicky) 
  26. REIMPELL, Michael; WERNER, Reinhard F. Meaner king uses biased bases. Physical Review A. 2007-06-28, roč. 75, čís. 6, s. 062334. Dostupné online [cit. 2022-12-28]. ISSN 1050-2947. DOI 10.1103/PhysRevA.75.062334. (anglicky) 

Literatura

Související články

Externí odkazy

Média použitá na této stránce

MUB bases plot.svg
Autor: JozumBjada, Licence: CC BY-SA 4.0
Tři ortonormální báze dvourozměrného vektorového prostoru, kde báze B1 a B2 tvoří sadu MUB bází. Báze B3 je příkladem báze, která MUB bázi netvoří, a to ani s bází B1, ani s bází B2. Kružnice jsou vykresleny jako pomůcka pro porovnání překryvů jednotlivých vektorů.
Bloch sphere 3D.svg
Autor: JozumBjada, Licence: CC BY-SA 4.0
3D model Blochovy sféry s barevně vyznačenými význačnými kvantovými stavy. Modře jsou zvýrazněny stavy H a V, to jest vlastní stavy Pauliho matice Z, červeně stavy A a D, to jest vlastní stavy Pauliho matice X, a zeleně stavy R a L, to jest vlastní stavy Pauliho matice Y. Tyto tři dvojice stavů tvoří sadu tří MUB bází.