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 ) 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 d, jsou dvě jeho ortonormální báze X = \{ | x_j \rangle \}_j a Y = \{ | y_j \rangle \}_j MUB bázemi, splňují-li jejich vektory následující podmínku:

:

pro všechny hodnoty indexů i, j \in \{ 1, \ldots, d \}, kde K je konstanta, jejíž hodnota zní K = 1/d. 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. +more Splňují-li dvě či více bází výše uvedenou podmínku, říkáme, že jsou tyto vůči sobě MUB.

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 | x_i \rangle, je pravděpodobnost naměření vektoru | y_j \rangle podle Bornova pravidla rovna p = | \langle x_i | y_j \rangle |^2, což je z definičních podmínek MUB bází rovno konstantě K. +more Tato konstanta je však nezávislá jak na konkrétní volbě vektoru | x_i \rangle tak na vektoru | y_j \rangle 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 | x_i \rangle v bázi \{ | y_j \rangle \}_j nepřináší vůbec žádnou novou informaci. V tomto smyslu jsou báze X = \{ | x_j \rangle \}_j a Y = \{ | y_j \rangle \}_j 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. +more 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. 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.

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ř. +more 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, 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. +more Krausova pozorování byla poté dále rozvedena a vztah MUB bází a entropických relací neurčitosti není dosud zcela vyjasněn.

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. +more 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, 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ů.

V roce 1983 byl opublikován článek Stephena Wiesnera s názvem Conjugate coding, 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. +more 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ř. .

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

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 | 0 \rangle a | 1 \rangle. +more Velmi častá volba MUB bází pro dvourozměrný prostor je pak následujícího tvaru:

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 | 0 \rangle a | 1 \rangle ztotožnit například s horizontální H a vertikální V polarizací fotonu. V takovém případě je druhá MUB báze tvořena diagonální D a anti-diagonální A polarizací. +more Třetí MUB báze se pak skládá z pravo- R a levotočité L polarizace. Pokud místo fotonu uvažujeme spin elektronu, tak vektory | 0 \rangle a | 1 \rangle můžeme ztotožnit po řadě se spinem nahoru a dolů (přesněji vzato, s vlastní bází Pauliho operátoru \sigma_Z). Druhá báze pak odpovídá spinu mířícímu vlevo či vpravo (to jest, vlastní bázi Pauliho operátoru \sigma_X) 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 \sigma_Y).

Blochovu sféru a ortonormální bázi jako dvě šipky, mířící přesně v opačných směrech. +more Zvolíme-li standardní bázi jako bázi tvořenou vektory H a V, zbarvené modře, lze za další dvě MUB báze zvolit báze D/A, červené vektory, a R/L, 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. +more 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 \omega = \exp(i \varphi) pro nějaké reálné číslo \varphi a kde kety | 0 \rangle a | 1 \rangle představují standardní bázi daného prostoru:

Geometricky lze tyto báze znázornit na Blochově sféře podobně jako na obrázku vpravo, kde nyní fáze \varphi v čísle \omega udává natočení červené a zelené báze kolem báze modré, která splývá se svislou z-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 \varphi by vyjadřovala natočení červené a zelené báze kolem báze modré, která už ovšem nesměřuje podél z-ové osy. +more 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|"Unitární invariance".

Matematické vlastnosti

Hodnota konstanty

Základní podmínkou pro to, aby dvě báze v prostoru o dimenzi d byly MUB bázemi, je, aby byla velikost překryvu všech vektorů totožná a tedy | \langle x_i | y_j \rangle |^2 = K pro jistou konstantu K. Hodnotu této konstanty lze určit následovně. +more Vektory \{ | x_j \rangle \}_j tvoří ortonormální bázi a pro daný vektor | y_j \rangle tedy platí Parsevalova rovnost: {\textstyle \sum_{i = 0}^{d-1}} | \langle x_i | y_j \rangle |^2 = \langle y_j | y_j \rangle. Vektor | y_j \rangle je normalizovaný a tak je pravá strana rovnice rovna jedničce. Levá strana se zjednodušší na {\textstyle \sum_{i = 0}^{d-1}} K = d K, z čehož plyne K = 1/d. Fyzikálněji motivované vysvětlení může znít tak, že výraz | \langle x_i | y_j \rangle |^2 udává dle Bornova pravidla pravděpodobnost p_j naměření vektoru | y_j \rangle, je-li měřený systém ve stavu | x_i \rangle. 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 {\textstyle \sum_{i = 0}^{d-1}} p_j, odkud tedy {\textstyle \sum_{i = 0}^{d-1}} p_j = 1. Z definice MUB bází je každá dílčí pravděpodobnost p_j rovna konstantě K a odtud už podobně jako při důkazu výše nutně plyne, že {\textstyle \sum_{i = 0}^{d-1}} K = d K = 1.

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 \{ | x_j \rangle \}_j a \{ | y_k \rangle \}_k, které jsou vzájemně MUB. +more Unitární operace zachovávají ortonormalitu a tak sady vektorů \{ U | x_j \rangle \}_j a \{ U | y_k \rangle \}_k, kde U je unitární operátor, opět tvoří dvě ortonormální báze. Pro jejich překryv dále platí: :| \langle x_j | U^\dagger U | y_k \rangle |^2 = | \langle x_j | y_k \rangle |^2 = \frac{1}{d}, kde první rovnost plyne z unitarity, to jest U^\dagger U = \mathrm{I}, a druhá rovnost plyne z předpokladů, že původní báze jsou MUB. Jak lze tedy snadno nahlédnout, i báze \{ U | x_j \rangle \}_j a \{ U | y_k \rangle \}_k jsou vůči sobě MUB.

Když se hovoří o tom, že v daném prostoru existuje m 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 m. Z této sady lze však sestrojit nekonečně mnoho jiných sad m MUB bází čistě tím, že na každý vektor uplatníme nějakou unitární operaci U. +more 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í.

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 \{ | x_i \rangle \}_i a \{ | y_j \rangle \}_j v d-rozměrném prostoru, lze ke každému vektoru přiřadit projektor na tento vektor tak, že P_i = | x_i \rangle \langle x_i | a Q_j = | y_j \rangle \langle y_j |. +more Tyto dvě báze jsou pak vzájemně MUB, pokud odpovídající projektory splňují následující rovnici:.

: \mathrm{Tr}(P_i Q_j) = \frac{1}{d},

kde \mathrm{Tr} označuje stopu matice. Kvůli ortonormalitě báze \{ | x_i \rangle \}_i musí přitom sada operátorů \{ P_i \}_i být tvořena ortogonálními projektory a totéž platí pro bázi \{ | y_j \rangle \}_j a projektory \{ Q_j \}_j.

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. +more Je-li tedy (x_i)_k k-tá složka i-tého vektoru báze, je matice U tvaru U_{ik} = (x_i)_k. Unitarita plyne z ortonormality. Máme-li poté dvě unitární matice U_x a U_y, lze podmínku MUB vlastnosti přepsat do tvaru:.

: | M_{jk} |^2 = \frac{1}{d}, \quad \text{kde} \quad M = U_x \cdot U_y^\dagger.

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 M musejí mít absolutní hodnotu rovnou 1/\sqrt{d}. Jinými slovy, prvky takové matice musejí být tvaru:

:M_{jk} = \frac{1}{\sqrt{d}} \exp \left( i \varphi_{jk} \right)

pro jistá reálná čísla \varphi_{jk}. Matice M je tak obecně tvaru \textstyle M = \frac{1}{\sqrt{d}} H, kde H je jistá komplexní Hadamardova matice.

Počet MUB bází

V prostoru dimenze d může být nanejvýš d+1 MUB bází (viz též poznámku v oddíle #Unitární invariance|"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. +more Lze dále dokázat následující vztah, který udává spodní a horní mez pro počet MUB bází N v dané dimenzi d:.

:p_1^{n_1} + 1 \leq N \leq d + 1,

kde d = p_1^{n_1} p_2^{n_2} \ldots p_k^{n_k} je prvočíselný rozklad čísla d, kde jsou navíc jednotlivé členy seřazeny tak, aby platilo p_1^{n_1} . 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|"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. +more 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. Například ve trojrozměrném reálném Hilbertově prostoru neexistuje ani jeden pár MUB bází.

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. +more Mějme zadánu jistou ortonormální bázi \{ | x_j \rangle \}_j d-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 \{ | y_k \rangle \}_k téhož prostoru. Existují tedy koeficienty \alpha_{jk} tak, že platí | y_k \rangle = {\textstyle \sum_{j = 0}^{d-1}} \alpha_{jk} | x_j \rangle, přičemž \alpha_{jk} = \langle x_j | y_k \rangle. {{Poznámka|Hodnotu koeficientu \alpha_{jk} lze spočíst tak, že lineární kombinaci pro | y_k \rangle vynásobíme zleva "braem" \langle x_j | a využijeme ortogonality vektorů \{ | x_j \rangle \}_j. Levá strana tak zní \langle x_j | y_k \rangle, zatímco lineární kombinace samotná se redukuje do tvaru \alpha_{jk}. }} Dosazením tohoto výrazu do definičního vzorce MUB bází dostáváme | \alpha_{jk} |^2 = 1/d, z čehož je patrno, že absolutní hodnota komplexního čísla \alpha_{jk} je rovna 1/\sqrt{d}, zatímco jeho fáze je zcela libovolná a určená reálným číslem \varphi_{jk}. To jest, \alpha_{jk} = (1/\sqrt{d}) \exp(i \varphi_{jk}). Při zpětném dosazení tohoto tvaru koeficientů do původní lineární kombinace obdržíme.

:{{Rovnice v rámečku|| y_k \rangle = \frac{1}{\sqrt{d}} \sum_{j = 0}^{d-1} \exp \left( i \varphi_{jk} \right) | x_j \rangle.}}

Navíc musí nadále platit, že vektory | y_k \rangle jsou ortonormální. Z výše uvedeného tvaru plyne: \langle y_m | y_k \rangle = (1/d) {\textstyle \sum_{j,l = 0}^{d-1}} \exp \left( i (\varphi_{jk} - \varphi_{lm}) \right) \langle x_l | x_j \rangle = (1/d) {\textstyle \sum_{j = 0}^{d-1}} \exp \left( i (\varphi_{jk} - \varphi_{jm}) \right). +more Lze snadno ověřit, že pro m = k se tento vzorec redukuje do \langle y_k | y_k \rangle = 1 a vektory jsou tak vskutku jednotkové. Kvůli ortogonalitě musí být vzorec pro m \neq k roven nule, čehož lze docílit vícero způsoby. Jedním takovým je volba \varphi_{jk} = 2 \pi j k/d, pro níž je báze \{ | y_j \rangle \}_j určená diskrétní Fourierovou transformací báze \{ | x_j \rangle \}_j. Výsledné vektory jsou pak určeny vzorcem:{{Poznámka|Například v dimenzi d = 3 vypadají složky takto zadaných vektorů následovně: y_{0} = (1/\sqrt{3})(1,1,1), y_{1} = (1/\sqrt{3})(1,\omega,\omega^2) a y_{2} = (1/\sqrt{3})(1,\omega^2,\omega), přičemž \omega = \exp(2 \pi i / 3) a je využito identity \omega^3 = 1. }}.

:| y_k \rangle = \frac{1}{\sqrt{d}} \sum_{j = 0}^{d-1} \exp \left( \frac{2 \pi i}{d} j k \right) | x_j \rangle.

Ke každé zadané bázi \{ | x_j \rangle \}_j tak lze vždy sestrojit alespoň jednu další bázi \{ | y_j \rangle \}_j, která je s ní MUB. Reálná čísla \varphi_{jk} v konstrukci výše přitom musí vyhovovat podmínce plynoucí z ortogonality vektorů \{ | y_j \rangle \}_j. +more 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 \{ | x_j \rangle \}_j, ale i mezi sebou, což nakládá na tvar fází \varphi_{jk} 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. +more 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ů X, Z a XZ definovaných v oddíle #Konstrukce pomocí Pauliho operátorů|"Konstrukce pomocí Pauliho operátorů". 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 d může existovat nanejvýš d+1 bází, viz patřičný oddíl #Počet MUB bází|"Počet MUB bází". Velkou pozornost tak vzbuzují konstrukce maximálních sad o d+1 MUB bázích, jejichž neúplný výčet je podán v samostatné sekci #Konstrukce maximálních sad|"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. Pro nejmenší dimenze pokrývají tyto konstrukce následující čísla: 2, 3, 4 = 2^2, 5, 7, 8 = 2^3, 9 = 3^2, 11, \ldots Jak vidno, pro čísla menší než deset existuje jedna dimenze, konkrétně d = 6, pro níž nelze stávající konstrukce použít. +more 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 d = 6 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. 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 X a Y o dimenzích d_X a d_Y s tím, že v prvním i druhém jsme nezávisle sestrojili sadu m MUB bází, přičemž tato sada nemusí být maximální, to jest m \leq d_X+1 a m \leq d_Y+1. +more Uvažme nyní tenzorový součin těchto dvou prostorů X \otimes Y 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 m MUB bází v prostoru X \otimes Y: Nechť \mathcal{X}_0 = \{ | x^{(0)}_j \rangle \}_j je první MUB báze v prostoru X, \mathcal{X}_1 = \{ | x^{(1)}_j \rangle \}_j je druhá MUB báze atd. a podobně nechť \mathcal{Y}_0 = \{ | y^{(0)}_j \rangle \}_j, \mathcal{Y}_1 = \{ | y^{(1)}_j \rangle \}_j, \ldots, \mathcal{Y}_{m-1} = \{ | y^{(m-1)}_j \rangle \}_j jsou MUB báze v prostoru Y. +more Uvažme nyní sadu bází \{ \mathcal{Z}_r \}_r, kde je každá báze tvaru \mathcal{Z}_r = \{ | z^{(r)}_{j,k} \rangle \}_{j,k}, přičemž | z^{(r)}_{j,k} \rangle \equiv | x^{(r)}_j \rangle \otimes | y^{(r)}_k \rangle.

Z ortonormality jednotlivých bází \mathcal{X}_r a \mathcal{Y}_r pro vektory každé z bází \mathcal{Z}_r plyne:

:\langle z^{(r)}_{j,k} | z^{(r)}_{m,n} \rangle = (\langle x^{(r)}_j | \otimes \langle y^{(r)}_k |)(| x^{(r)}_m \rangle \otimes | y^{(r)}_n \rangle) = \langle x^{(r)}_j | x^{(r)}_m \rangle \, \langle y^{(r)}_k | y^{(r)}_n \rangle = \delta_{jm} \, \delta_{kn}.

Každá z bází \mathcal{Z}_r je tak bází ortonormální. Dále pro r \neq s platí:

:| \langle z^{(r)}_{j,k} | z^{(s)}_{m,n} \rangle |^2 = | (\langle x^{(r)}_j | \otimes \langle y^{(r)}_k |)(| x^{(s)}_m \rangle \otimes | y^{(s)}_n \rangle) |^2 = |\langle x^{(r)}_j | x^{(s)}_m \rangle |^2 \, | \langle y^{(r)}_k | y^{(s)}_n \rangle |^2 = \frac{1}{d_X} \frac{1}{d_y} = \frac{1}{d},

kde d = d_X \, d_Y je dimenze prostoru X \otimes Y. Báze \mathcal{Z}_r tedy tvoří sadu MUB bází. +more{{Poznámka|Poznamenejme, že sadu \{ \mathcal{Z}_r \}_r netvoří všechny možné tenzorové součiny bází \mathcal{X}_r a \mathcal{Y}_s, ale jenom těch, jejichž indexy se shodují, to jest r = s. 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. }} Právě uvedenou konstrukci lze jednoduše zobecnit na větší počet prostorů.

Protože m \leq \textrm{min}(d_X, d_Y)+1, nelze tímto způsobem vytvořit maximální sadu MUB bází v prostoru X \otimes Y. 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 X a Y.

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. +more Konstanta K v definici MUB bází už nemůže být zjevně rovna 1/d, protože nyní d = +\infty. Ukazuje se, že hodnota této konstanty závisí na topologii daného prostoru a na konkrétní volbě bází. 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.

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 \mathcal{L}^2(\mathbb{R}). Poloha a hybnost částice pak odpovídá kvantově-mechanickým operátorům Q a P splňujícím komutační relace [Q, P] = i \hbar, které působí na funkce z \mathcal{L}^2(\mathbb{R}). +more Vlastní vektory | q \rangle a | p \rangle těchto operátorů splňují známý vztah:.

:\langle q | p \rangle = \frac{1}{\sqrt{2 \pi \hbar}} \exp \left( \frac{i q p}{\hbar} \right).

Tato rovnice je přesně tvaru, který je v sekci #Dvojice MUB bází|"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 K = 1/(2 \pi \hbar), jednak fakt, že | q \rangle a | p \rangle jsou přesně vzato zobecněné vlastní vektory normalizované k delta funkci, které neleží v \mathcal{L}^2(\mathbb{R}). +more Jak vidno, báze zobecněných vektorů | q \rangle a báze zobecněných vektorů | p \rangle tvoří sadu dvou MUB bází. Konstrukce sady tří MUB bází je složitější.

Ve stejném prostoru lze sestrojit různé báze charakterizované reálnými čísly \alpha a \beta tak, že každá báze je složena ze zobecněných vektorů | \alpha, \beta, y \rangle indexovaných reálným číslem y, přičemž jsou tyto normalizovány k delta funkci a platí \langle \alpha, \beta, y | \alpha, \beta, y' \rangle = \delta(y - y'), 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:

:| \langle \alpha, \beta, y | \alpha', \beta', y' \rangle |^2 = \frac{1}{2 \pi |\alpha \beta' - \alpha' \beta|}.

Tento vztah je nezávislý na indexech pro konkrétní vektory y a y', čímž pádem jsou báze \{ | \alpha, \beta, y \rangle \}_y a \{ | \alpha', \beta', y \rangle \}_y vůči sobě MUB. Protože čísla \alpha a \beta mohou nabývat nespočetně mnoha hodnot, máme v prostoru \mathcal{L}^2(\mathbb{R}) nespočetně mnoho párů MUB bází.

Konstrukce maximálních sad

Jak zmíněno v sekci #Konstrukce pro konečné dimenze|"Konstrukce pro konečné dimenze", výsadní postavení v prostoru o dimenzi d mají sady MUB bází, které sestávají z d + 1 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 d-tou, tedy poslední, bázi vždy zvolena bázi standardní. Označíme-li si k-tý vektor standardní báze symbolem | x_{k}^{(d)} \rangle \equiv | k \rangle, je l-tá složka tohoto vektoru rovna (x^{(d)}_k)_l = \delta_{kl}, kde \delta_{kl} je Kroneckerovo delta. +more{{Poznámka|Například v dimenzi d = 3 je tato báze explicitního tvaru: | x_{0}^{(3)} \rangle = | 0 \rangle, | x_{1}^{(3)} \rangle = | 1 \rangle a | x_{2}^{(3)} \rangle = | 2 \rangle, kteréžto vektory lze ekvivalentně přepsat v souřadnicovém vyjádření jako: x_{0}^{(3)} = (1,0,0), x_{1}^{(3)} = (0,1,0) a x_{2}^{(3)} = (0,0,1). }} Pro vektory dalších MUB bází pak budeme v následujícím užívat konvenci, že | x_{k}^{(r)} \rangle je k-tý vektor r-té báze, jehož l-tá souřadnice ve standardní bázi zní (x_{k}^{(r)})_l a tedy:.

:| x_{k}^{(r)} \rangle = \sum_{l=0}^{d-1} (x_{k}^{(r)})_l | l \rangle.

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é. 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í|"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: :{{Rovnice v rámečku| \begin{align} (x_{k}^{(0)})_l & = \frac{1}{\sqrt{d}} \exp{ \left( \frac{2 \pi i}{d} k l \right)}, \\ (x_{k}^{(r)})_l & = \frac{1}{\sqrt{d}} \exp{ \left( \frac{2 \pi i}{d} r (k + l - 1)^2 \right)}, \quad r \in \{ 1, \ldots, d - 1\}, \\ (x_{k}^{(d)})_l & = \delta_{kl}, \end{align} }} kde k, l = 0, 1, \ldots, d-1, přičemž d je dimenze rovná prvočíslu. Není obtížné ověřit, že takto definované vektory skutečně tvoří ortonormální báze. +more Pro důkaz, že jsou tyto báze vůči sobě MUB, lze pak využít zobecněné kvadratické Gaussovy sumy. {{Poznámka|Zobecněná kvadratická Gaussova suma je pro a \not\equiv 0 \, \mathrm{mod} \, d rovna :\sum_{l=0}^{d-1} \omega^{a l^2 + b l} = \epsilon_{d} \sqrt{d} \left( \frac{a}{d} \right) e^{-2 \pi i \frac{\psi(a) b^2}{d}}, kde \psi(a) je nějaké číslo splňující 4 a \, \psi(a) \equiv 1 \, \mathrm{mod} \, d, přičemž :\epsilon_d = \left\{ \begin{array}{rl} 1 & \text{pokud } d \equiv 1 \, \mathrm{mod} \, 4,\\ i & \text{pokud } d \equiv 3 \, \mathrm{mod} \, 4, \end{array} \right. a kde závorka značí Legendreův symbol, pro nějž :\left(\frac{a}{d}\right) = \left\{ \begin{array}{rl} 1 & \text{pokud } a \not\equiv 0 \, \mathrm{mod} \, d \ \text{a existuje } \\ & x \in \mathbb{Z} \, \text{tak, že } a \equiv x^2 \pmod{d},\\ -1 & \text{pokud } a \not\equiv 0 \, \mathrm{mod} \, d \\ & \text{a takové } x \, \text{neexistuje. } \end{array} \right. Absolutní hodnota výrazu na pravé straně rovnice je tak zjevně rovna \sqrt{d}. }}.

Woottersova-Fieldsova konstrukce

Wootters a Fields zelegantnili Ivanovičovu konstrukci do následující podoby: :{{Rovnice v rámečku| \begin{align} (x_{k}^{(r)})_l & = \frac{1}{\sqrt{d}} \exp{ \left( \frac{2 \pi i}{d} (r l^2 + k l) \right)}, \quad r \in \{ 0, \ldots, d-1 \}, \\ (x_{k}^{(d)})_l & = \delta_{kl}. \end{align} }} Ověřit, že se jedná skutečně o ortonormální báze, jež jsou vzájemně MUB, lze obdobně jako pro Ivanovičovu konstrukci. +more 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|"Konstrukce pro mocniny dvojky" a #Konstrukce pro mocniny lichého prvočísla|"Konstrukce pro mocniny lichého prvočísla".

Konstrukce pomocí Pauliho operátorů

Maximální sadu d + 1 MUB bází pro prvočíselnou dimenzi d lze též sestrojit jako sadu vlastních bází operátorů následujícího tvaru: :{{Rovnice v rámečku| X, X \cdot Z, X \cdot Z^2, \ldots, X \cdot Z^{d-1}, Z, }} kde X a Z jsou d-rozměrné Pauliho operátory, definované vztahy : Z | k \rangle = \omega^k | k \rangle, \quad X | k \rangle = | k + 1 \rangle,

kde \omega = \exp \left( 2 \pi i/d \right) a kde je součet nutno chápat modulo d, to jest X | d - 1 \rangle = | 0 \rangle. Tento postup lze zobecnit i na dimenze, jež jsou rovny mocninám prvočísel. +more Lze ukázat, že vlastní vektory operátoru X Z^r a tedy vektory r-té MUB báze jsou tvaru: :{{Rovnice v rámečku| | x_{k}^{(r)} \rangle = \frac{1}{\sqrt{d}} \sum_{l = 0}^{d-1} (\omega^k)^{d - l} (\omega^{-r})^{s_l} | l \rangle, \quad k = 0, \ldots, d - 1 }} kde je definováno s_l = l + \ldots + (d - 1). Platí, že X Z^r | x_{k}^{(r)} \rangle = \omega^k | x_{k}^{(r)} \rangle.

Konstrukce pro mocniny dvojky

Pro mocniny dvojky tvaru d = 2^n, kde n je jisté přirozené číslo, lze použít následující konstrukci vyvinutou Woottersem a Fieldsem. Pro zjednodušení zápisu je místo indexování pomocí celých čísel od 0 do d-1 použito indexování pomocí jejich binárních zápisů. +more A tedy l-tá složka k-tého vektoru r-té báze je indexována pomocí n-tic \mathbf{l}, \mathbf{k} a \mathbf{r}, z nichž každá obsahuje binární zápis odpovídajícího indexu. {{Poznámka|Tak například pro n = 3 je index l reprezentován multiindexem \mathbf{l} = (l_1, l_2, l_3), což v konkrétním případě l = 5 vede k \mathbf{l} = (1,1,0). }} V této reprezentaci lze MUB báze pro dimenzi d = 2^n zvolit jako :{{Rovnice v rámečku| \begin{align} (x_{\mathbf{k}}^{(\mathbf{r})})_{\mathbf{l}} & = \frac{1}{\sqrt{d}} (-1)^{\mathbf{k} \cdot \mathbf{l}} \, i^{\mathbf{l} (\mathbf{r} \cdot \mathbf{\alpha}) \mathbf{l}^T}, \\ (x_{\mathbf{k}}^{(d)})_{\mathbf{l}} & = \delta_{\mathbf{k} \mathbf{l}}, \end{align} }} kde \mathbf{k}, \mathbf{l} a \mathbf{r} jsou vektory o n složkách nabývajících pouze hodnot 0 a 1, a kde \mathbf{\alpha} = (\alpha^{(1)}, \ldots, \alpha^{(n)}) je n-tice symetrických nesingulárních n \times n matic \alpha^{(m)}, jejichž složky mohou též nabývat pouze hodnot 0 či 1. {{Poznámka|Tyto matice jsou definovány vztahy : \begin{align} f_j f_k & = \sum_{m=1}^{n} (\alpha^{(m)})_{jk} f_m, \end{align}.

kde f_m jsou bazické vektory konečného číselného tělesa \mathbb{F}_{2^n} o 2^n prvcích. Jak je však zmíněno v lze za matice \alpha^{(m)} brát takové symetrické nesingulární matice, aby pro libovolný nenulový vektor \mathbf{r} byla lineární kombinace {\textstyle \sum_{m=1}^{n}} r_m \alpha^{(m)} nesingulární maticí. +more V lze najít doplňující informace. }} Součin \mathbf{r} \cdot \mathbf{\alpha} je přitom nutno chápat jako \mathbf{r} \cdot \mathbf{\alpha} = {\textstyle \sum_{m=1}^{n}} r_m \alpha^{(m)}. 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, která zobecňuje konstrukci ze sekce #Woottersova-Fieldsova konstrukce|"Woottersova-Fieldsova konstrukce" a využívá vlastností konečných číselných těles. Číselné těleso o d prvcích si označíme \mathbb{F}_{d}, kde nyní d = p^n pro jisté liché prvočíslo p a přirozené číslo n. +more Báze lze zvolit následujícím způsobem: :{{Rovnice v rámečku| \begin{align} (x_k^{(r)})_l & = \frac{1}{\sqrt{d}} \exp{ \left( \frac{2 \pi i}{p} \mathrm{Tr}(k \, l + r \, l^2) \right)}, \quad r \in \{ 0, \ldots, d-1 \}, \\ (x_k^{(d)})_l & = \delta_{k l}, \end{align} }} kde r, k, l \in \mathbb{F}_{d} a kde \mathrm{Tr} je operace stopy ve smyslu číselných těles, která je pro libovolný prvek tělesa \alpha definována jako.

:\mathrm{Tr} \, \alpha = \alpha + \alpha^p + \alpha^{p^2} + \ldots + \alpha^{p^{n-1}}.

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|"Konstrukce pro mocniny dvojky" můžeme místo celých čísel r, k a l pro indexaci bází, vektorů a jejich složek použít n-tice čísel, které představují odpovídající p-ární zápis. +more To jest, místo r je použito n-tice \mathbf{r} = (r_1, r_2, \ldots, r_n) atd. , což například pro n = 2, p = 3 a r = 5 vede na \mathbf{r} = (1,2). Báze lze posléze volit způsobem: :{{Rovnice v rámečku| \begin{align} (x_{\mathbf{k}}^{(\mathbf{r})})_{\mathbf{l}} & = \frac{1}{\sqrt{d}} \exp{ \left( \frac{2 \pi i}{p} (\mathbf{k} \cdot \mathbf{l} + \mathbf{l} (\mathbf{r} \cdot \alpha) \mathbf{l}^T) \right)}, \\ (x_{\mathbf{k}}^{(d)})_{\mathbf{l}} & = \delta_{\mathbf{k} \mathbf{l}}, \end{align} }} kde r, k, l \in (\mathbb{F}_{p})^n jsou n-složkové multiindexy, jejichž složky leží v \mathbb{F}_{p}. Dále, \mathbf{\alpha} je n-tice symetrických nesingulárních n \times n matic s prvky v tělese \mathbb{F}_p tak, že \mathbf{\alpha} = (\alpha^{(1)}, \alpha^{(2)}, \ldots, \alpha^{(n)}), přičemž součin \mathbf{r} \cdot \mathbf{\alpha} je nutno chápat ve smyslu \mathbf{r} \cdot \mathbf{\alpha} = {\textstyle \sum_{m=1}^n} r_m \alpha^{(m)} a tento součin musí odpovídat nesingulární matici pro všechny nenulové vektory \mathbf{r}, viz poznámku v sekci #Konstrukce pro mocniny dvojky|"Konstrukce pro mocniny dvojky". Aritmetika v exponenciele je prováděna modulo p.

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. +more 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 | 0 \rangle ve standardní bází, anebo jako stav | y_0 \rangle v MUB bázi. Podobně, hodnotu 1 lze zakódovat buď jako stav | 1 \rangle ve standardní bázi, anebo jako stav | y_1 \rangle 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. +more 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 a byl posléze rozpracován Charlesem Bennettem a dalšími. Ačkoli byl příklad výše znázorněn pro dvourozměrné stavy, qubity, lze stejnou techniku zobecnit i pro vyšší dimenze.

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. +more 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ň d + 1 různých kvantových měření. Ivanovič ukázal, že d+1 měření v MUB bázích navíc postačuje pro tuto rekonstrukci. Wootters a Fields dále ukázali, že více než d + 1 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í. 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í.

Ivanovič podal explicitní vzorec umožňující z naměřených dat, získaných měřeními v d + 1 MUB bázích, zrekonstruovat původní matici hustoty. Je-li \rho^{(r)} stav systému po provedeném neselektivním kvantovém měření v r-té MUB bázi, je operátor hustoty \rho původního stavu roven:

:\rho = \sum_{r = 0}^{d} \rho^{(r)} - \mathbb{I}

kde \mathbb{I} je identické zobrazení. Operátory \rho^{(r)} jsou přitom tvaru \rho^{(r)} = {\textstyle \sum_{k=0}^{d-1}} p_k^{(r)} P_k^{(r)}, kde p_k^{(r)} jsou pravděpodobnosti naměření výsledku odpovídajícímu projektoru P_k^{(r)} a tento projektor zase odpovídá naměření k-tého vektoru v r-té MUB bázi, to jest P_k^{(r)} = | x_k^{(r)} \rangle \langle x_k^{(r)} |.

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. +more Č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 a druhé MUB bázi pozorovatelná B. Uvažme nyní systém v obecném kvantovém stavu \rho 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é A. Následné měření ve druhé MUB bázi poté vrátí zcela náhodný výsledek a hodnota pozorovatelné B 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

:\Delta_\psi A \, \Delta_\psi B \geq \frac{1}{2} | \langle \psi | [A, B] | \psi \rangle |,

kde [A, B] je komutátor operátorů A a B a kde \Delta_\psi A = \sqrt{\langle \psi | A^2 | \psi \rangle - \langle \psi | A | \psi \rangle^2} je směrodatná odchylka měření pozorovatelné A v čistém stavu | \psi \rangle (a podobně pro B). Komutátor, a tedy jak moc pozorovatelné A a B komutují, udává spodní mez, pod níž se součin směrodatných odchylek měření A a B nemůže dostat. +more 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í. 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é. 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. Ukazuje se přitom, že dvojice pozorovatelných zadaných MUB bázemi vykazují nejvyšší možnou neurčitost.

Ostatní

MUB báze hrají důležitou roli při řešení tak zvaného "problému zlého krále" , 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ů. +more Ortogonální latinské čtverce lze použít pro konstrukci maximální sady MUB bází v daném prostoru.

Problém nalezení MUB bází pro danou dimenzi d 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. +more Přesněji řečeno, jedná se o operátory tvaru F_i = (1/d) P_i, kde P_i představují množinu d^2 jednorozměrných projektorů splňující podmínku:.

:\mathrm{Tr}(P_i P_j) = \frac{d \delta_{ij} + 1}{d+1},

kde \delta_{ij} je Kroneckerovo delta. (Porovnejte tento vzorec s obdobným vzorcem pro MUB báze v sekci #Maticové vyjádření|"Maticové vyjádření". +more) 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. Jejich konstrukce nicméně není ekvivalentní konstrukci MUB bází a tak třeba pro dimenzi d = 6 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 d = 3 až d = 5. 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. +more 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|"Konstrukce pro prvočíselné dimenze" výše. Výsledkem je následující tabulka, kde je pro lepší čitelnost položeno \omega = \exp(2 \pi i / 3). +more Poznamenejme, že výsledný tvar vektorů je lehce upraven oproti dané metodě tím, že je využito vztahu \omega^3 = 1.

Č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|"Konstrukce pro mocniny dvojky". Báze níže jsou nicméně zkonstruovány pomocí přístupu založeného na Pauliho operátorech. +more

Pětirozměrný prostor

Výčet příkladů uzavřeme dimenzí rovnou číslu pět, kde nyní \omega = \exp(2 \pi i / 5), přičemž jsou vzorce zjednodušeny využitím vztahu \omega^5 = 1.

Odkazy

Poznámky

Reference

Literatura

Související články

Ortonormální báze * Hilbertův prostor * SIC POVM

Externí odkazy

Kategorie:Kvantová fyzika Kategorie:Kvantová informatika