Рівнонахилені базиси

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Рівнонахилені базиси (взаємно незміщені базиси, англ. mutually unbiased bases) в гільбертовому просторі Cd — ортонормовані базиси і такі, що квадрат модуля скалярного добутку будь-яких базисних станів і дорівнює оберненій розмірності 1/d гільбертового простору[1]:

Такі базиси називають рівнонахиленими в такому контексті: якщо система підготовлена в стані, що належить одному з базисів, то ймовірності отримати один із можливих результатів вимірювання відносно іншого базису дорівнюватимуть одна одній.

Огляд

[ред. | ред. код]

Поняття про рівнонахилені базиси ввів Швінгер у 1960 році[2], а вперше їх застосував Іванович у задачі означення квантового стану[3].

Також рівнонахилені знайшли застосування у дослідженні проблеми розподілу квантового ключа, а конкретніше, безпечного обміну квантовим ключем[4]. Рівнонахилені базиси використовуються в багатьох квантовокриптографічних протоколах, оскільки результат вимірювання є випадковим, коли воно здійснюється у базисі, що є рівнонахиленим по відношенню до базису, в якому був приготовлений квантовий стан. Взагалі кажучи, коли два віддалені абоненти використовують для комунікації два неортогональні квантові стани, то спроби третьої особи перехопити і розрізнити ці стани за допомогою вимірювань впливатимуть на всю систему цілком, тому втручання може бути виявлене. Хоча велика кількість квантовокриптографічних протоколів ґрунтується на використанні кубітів, задіяння станів із більшою розмірністю (наприклад, кутрітів) дозволяє посилити захист проти перехоплення третьою особою секретної інформації[4]. Тому дослідження рівнонахилених базисів у просторах із більшою розмірністю становить сьогодні значний інтерес.

Інші приклади застосування рівнонахилених базисів включають томографію квантового стану[5], квантові коди для корекції помилок[6][7], виявлення квантової заплутаності[8] і так звану «задачу про злого короля» (англ. mean king's problem)[9][10].

Існування рівнонахилених базисів

[ред. | ред. код]

Нехай  — максимальна кількість рівнонахилених базисів у d-вимірному гільбертовому просторі Cd. Наразі невідомо[11], яку саме максимальну кількість рівнонахилених базисів можна знайти у Cd для довільного d.

Взагалі кажучи, якщо

є розкладом d на прості множники, де

то максимальна кількість рівнонахилених базисів, що можна побудувати у даному просторі, задовольняє співвідношення[1]:

Звідси випливає, що якщо розмірність гільбертового простору d є цілою степінню простого числа, то у цьому просторі можна знайти d + 1 рівнонахилених базисів. Це можна зрозуміти з попереднього рівняння, оскільки розкладання d на прості множники в даному випадку:

Отже,

Таким чином, максимальна кількість рівнонахилених базисів відома, якщо d є цілою степінню простого числа, але у випадку довільного d питання кількості рівнонахилених базисів залишається відкритим.

Приклади наборів рівнонахилених базисів

[ред. | ред. код]

Приклад для d = 2

[ред. | ред. код]

Наступні три базиси:

є найпростішим прикладом рівнонахилених базисів у двовимірному гільбертовому просторі C2. Ці базиси сконструйовані з власних векторів матриць Паулі та їх добутку .

Приклад для d = 4

[ред. | ред. код]

Для чотиривимірного простору можна навести наступний приклад набору, що складається з d + 1 = 5 рівнонахилених базисів, де кожний базис позначений як Mj, 0 ≤ j ≤ 4[12]:

Знаходження рівнонахилених базисів

[ред. | ред. код]

Метод груп Вейля[1]

[ред. | ред. код]

Нехай і  — такі унітарні оператори у гільбертовому просторі Cd, що:

для деякого фазового множника . Якщо  — простий корінь з одиниці, наприклад, , тоді власні базиси та є рівнонахиленими.

Якщо обрати власний базис як канонічний, то ми можемо отримати рівнонахилений до нього базис за допомогою матриці Фур'є. Елементи матриці Фур'є визначаються таким чином:

Інші базиси, що є рівнонахиленими до канонічного та породженого матрицею Фур'є базисів, можна отримати за допомогою груп Вейля[1]. Кількість таких рівнонахилених базисів залежить від розмірності гільбертового простору: якщо d — просте число, то всі d + 1 рівнонахилених базисів можна отримати за допомогою груп Вейля. Якщо d не є простим, то максимальна кількість рівнонахилених базисів, що можна отримати за допомогою цього методу, можливо, дорівнює 3.

Метод унітарних операторів і скінченних полів[13]

[ред. | ред. код]

Якщо розмірність гільбертового простору d = p — просте число, то можна побудувати унітарні оператори і таким чином:

де  — канонічний базис, а  — корінь з одиниці.

Тоді власні базиси наступних d + 1 операторів є рівнонахиленими[13]:

Якщо є степінню простого числа, то ми можемо використати скінченне поле для побудови максимального набору з d + 1 рівнонахилених базисів. Позначимо елементи обчислювального базису простору Cd за допомогою індекса, що приймає значення з скінченного поля: .

Будуємо оператори та таким чином:

де:

є адитивним характером поля , а операції додавання та добутку кет-векторів та збігаються з відповідними операціями у .

Далі формуємо d + 1 наборів комутуючих унітарних операторів:

і для кожного

Спільні власні базиси операторів з одного набору є рівнонахиленими до власних базисів з будь-якого іншого набору[13]. Таким чином, ми матимемо d + 1 рівнонахилених базисів.

Метод матриці Адамара[1]

[ред. | ред. код]

Нехай деякий базис у гільбертовому просторі є канонічним, тоді всі базиси, що є рівнонахиленими до нього, можна представити у вигляді стовпчика певної комплексної матриці Адамара[en] із нормуючим множником. У випадку d = 3 ці матриці матимуть такий вигляд:

Таким чином, задача знаходження набору k+1 рівнонахилених базисів еквівалентна до задачі знаходження k взаємно незміщених комплексним матриць Адамара.

Приклад однопараметричної сім'ї матриць Адамара у 4-вимірному гільбертовому просторі:

Див. також

[ред. | ред. код]

Виноски

[ред. | ред. код]
  1. а б в г д Bengtsson I. Three ways to look at mutually unbiased bases // arXiv: quant-ph/0610216. — 2006.
  2. Schwinger J. Unitary operator bases // Proc. Natl. Acad. Sci. USA. — 1960. — Vol. 46. — P. 570–579.
  3. Ivanovic I. D. Geometrical description of quantal state determination // J. Phys. A. — 1981. — Vol. 14. — P. 3241.
  4. а б Planat M., Rosu H. C., Perrine S. A Survey of Finite Algebraic Geometrical Structures Underlying Mutually Unbiased Quantum Measurements // Foundations of Physics. — 2006. — Vol. 36, iss. 11. — P. 1662–1680. (arXiv: quant-ph/0409081)
  5. Wootters W. K., Fields B. D. Optimal State-Determination by Mutually Unbiased Measurements // Ann. Phys. — 1989. — Vol. 191. — P. 363–381.
  6. Gottesman D. Class of quantum error-correcting codes saturating the quantum Hamming bound // Phys. Rev. A. — 1996. — Vol. 54. — P. 1862–1868. (arXiv: quant-ph/9604038)
  7. Calderbank A. R., Rains E. M., Shor P. W., Sloane N. J. A. Quantum Error Correction and Orthogonal Geometry // Phys. Rev. Lett. — 1997. — Vol. 78. — P. 405–408. (arXiv: quant-ph/9605005)
  8. Spengler C., Huber M., Brierley S., Adaktylos T., Hiesmayr B. C. Entanglement detection via mutually unbiased bases // Phys. Rev. A. — 2012. — Vol. 86. — P. 022311. (arXiv: 1202.5058)
  9. Vaidman L., Aharonov Y., Albert D. Z. How to ascertain the values of σx, σy, and σz of a spin-1/2 particle // Phys. Rev. Lett. — 1987. — Vol. 58. — P. 1385–1387.
  10. Englert B.-G., Aharonov Y. The mean king's problem: prime degrees of freedom // Phys. Lett. A. — 2001. — Vol. 284. — P. 1–5. (arXiv: quant-ph/0101134)
  11. Durt T., Englert B.-G., Bengtsson I., Życzkowski K. On mutually unbiased bases // Int. J. Quantum Information. — 2010. — Vol. 8. — P. 535–640. (arXiv: 1004.3348)
  12. Klappenecker A, Roetteler M. Constructions of Mutually Unbiased Bases // arXiv: quant-ph/0309120. — 2003.
  13. а б в Bandyopadhyay S., Boykin P. O., Roychowdhury V., Vatan F. A new proof for the existence of mutually unbiased bases // arXiv: quant-ph/0103162. — 2001.