Унитарные операторы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 13: Строка 13:
  
 
Линейность <tex>\hat{U}</tex> вытекает из линейности уравнения Шредингера.
 
Линейность <tex>\hat{U}</tex> вытекает из линейности уравнения Шредингера.
Пусть <tex>|\Psi\rangle = \alpha_0^2|0\rangle + \alpha_1^2|1\rangle</tex> - вектор, описывающий состояние системы. Тогда уравнение Шредингера записывается как <tex>ih\frac{\partial |\Psi\rangle}{\partial t} = \hat{H}|\Psi\rangle</tex>, где оператор <tex>\hat{H}</tex> -- оператор Гамильтона. Решение этого уравнения с начальным условием <tex>|\Psi\rangle|_{t=0} = |\psi\rangle</tex> может быть записано в виде <tex>|\tilde{\psi}\rangle = \exp\left(\frac{-i\hat{H}t}{h}\right)|\psi\rangle</tex>. Оператор Гамильтона должен быть эрмитовым, чтобы допустимые значения энергии системы были вещественными. Отсюда вытекает, что оператор <tex>\hat{U}</tex> -- унитарный, что и требовалось показать.
+
Пусть <tex>|\Psi\rangle = \alpha_0|0\rangle + \alpha_1|1\rangle</tex> - вектор, описывающий состояние системы. Тогда уравнение Шредингера записывается как <tex>ih\frac{\partial |\Psi\rangle}{\partial t} = \hat{H}|\Psi\rangle</tex>, где оператор <tex>\hat{H}</tex> -- оператор Гамильтона. Решение этого уравнения с начальным условием <tex>|\Psi\rangle|_{t=0} = |\psi\rangle</tex> может быть записано в виде <tex>|\tilde{\psi}\rangle = \exp\left(\frac{-i\hat{H}t}{h}\right)|\psi\rangle</tex>. Оператор Гамильтона должен быть эрмитовым, чтобы допустимые значения энергии системы были вещественными. Отсюда вытекает, что оператор <tex>\hat{U}</tex> -- унитарный, что и требовалось показать.
  
 
Унитарность оператора <tex>\hat{U}</tex> означает, что если исходное состояние квантовой системы нормировано, то и состояние, в которое система перейдет после совершения воздействия также будет нормированным.
 
Унитарность оператора <tex>\hat{U}</tex> означает, что если исходное состояние квантовой системы нормировано, то и состояние, в которое система перейдет после совершения воздействия также будет нормированным.
Строка 51: Строка 51:
  
 
==Воздействие на n-кубит==
 
==Воздействие на n-кубит==
 +
===Двухкубитовые системы и операторы===
 +
Для простоты будем рассматривать 2-кубиты. Все сказанное ниже может быть несложным образом обобщено на случай <tex>n>2</tex>
 +
 +
Рассмотрим систему из двух кубитов:
 +
 +
<tex>|\psi_1\rangle = \alpha_1|0_1\rangle + \beta_1|1_1\rangle \in H_1</tex>,
 +
 +
<tex>|\psi_2\rangle = \alpha_2|0_2\rangle + \beta_2|1_2\rangle \in H_2</tex>
 +
 +
Построим векторное пространство, элементами которого являются пары векторов, один из которых принадлежит <tex>H_1</tex>, а другой <tex>H_2</tex>. Такое пространство называется тензорным произведением <tex>H_1</tex> и <tex>H_2</tex> и обозначается как <tex>H_1\otimes H_2</tex>.
 +
Базисные вектора такого пространства представляют собой <br>
 +
<tex>|00\rangle = |0_1\rangle \otimes |0_2\rangle</tex>,<br>
 +
<tex>|01\rangle = |0_1\rangle \otimes |1_2\rangle</tex>,<br>
 +
<tex>|10\rangle = |1_1\rangle \otimes |0_2\rangle</tex>,<br>
 +
<tex>|11\rangle = |1_1\rangle \otimes |1_2\rangle</tex>.
 +
 +
Базисные вектора тензорного произведения являются ортонормированными.
 +
 +
Любое состояние двухкубитовой системы можно представить как
 +
 +
<tex>|\psi\rangle = \gamma_{00}|00\rangle + \gamma_{01}|01\rangle + \gamma_{10}|10\rangle + \gamma_{11}|11\rangle</tex>, где <tex>\gamma_{ij}</tex> как и раньше - вероятность обнаружить систему в состоянии <tex>|ij\rangle</tex>.
 +
 +
Операторы, определенные в тензорном произведении действуют покомнонентно:<br>
 +
<tex>(\hat{U_1} \otimes \hat{U_2})(|\psi_1\rangle \otimes |\psi_2\rangle = (\hat{U_1}|\psi_1\rangle) \otimes (\hat{U_2}|\psi_2\rangle)</tex>

Версия 16:04, 23 мая 2010

Унитарное преобразование

Преобразование нормированного пространства, сохраняющее норму вектора, называется унитарным.

Простейшие свойства унитарного преобразования:

  • унитарный оператор всегда обратим
  • если оператор [math]\hat{H}[/math] -- эрмитов, то оператор [math]\hat{U} = exp(i\hat{H})[/math] -- унитарный

Унитарные операторы играют огромную роль в квантовой информатике.

Воздействие на кубит

Унитарность воздействия

Покажем, что любое физическое воздействие на кубит в квантовой механике описывается линейным унитарным оператором [math]\hat{U}[/math] как [math]|\tilde{\psi}\rangle = \hat{U}|\psi\rangle[/math].

Линейность [math]\hat{U}[/math] вытекает из линейности уравнения Шредингера. Пусть [math]|\Psi\rangle = \alpha_0|0\rangle + \alpha_1|1\rangle[/math] - вектор, описывающий состояние системы. Тогда уравнение Шредингера записывается как [math]ih\frac{\partial |\Psi\rangle}{\partial t} = \hat{H}|\Psi\rangle[/math], где оператор [math]\hat{H}[/math] -- оператор Гамильтона. Решение этого уравнения с начальным условием [math]|\Psi\rangle|_{t=0} = |\psi\rangle[/math] может быть записано в виде [math]|\tilde{\psi}\rangle = \exp\left(\frac{-i\hat{H}t}{h}\right)|\psi\rangle[/math]. Оператор Гамильтона должен быть эрмитовым, чтобы допустимые значения энергии системы были вещественными. Отсюда вытекает, что оператор [math]\hat{U}[/math] -- унитарный, что и требовалось показать.

Унитарность оператора [math]\hat{U}[/math] означает, что если исходное состояние квантовой системы нормировано, то и состояние, в которое система перейдет после совершения воздействия также будет нормированным.

Квантовые вычисления

В дальнейшем будем рассматривать воздействие на кубит (или на систему кубитов) как процесс вычисления. При этом вектор [math]|\psi\rangle[/math] играет роль входных данных, оператор [math]\hat{U}[/math] -- вычислительного процесса, а вектор [math]|\tilde{\psi}\rangle[/math] -- результата вычислений.

Так как воздействие представимо унитарным оператором, то любой вычислительный процесс обратим.

Матричная запись вычислений

Будем использовать матричное представление операторов [math]\hat{U}[/math].

Рассмотрим действие оператора на кубит. В силу линейности оператора [math]\hat{U}|\psi\rangle = \tilde{\alpha}|0\rangle + \tilde{\beta}|1\rangle = \hat{U}(\tilde{\alpha}|0\rangle + \tilde{\beta}|1\rangle) = \tilde{\alpha}\hat{U}|0\rangle + \tilde{\beta}\hat{U}|1\rangle[/math], то есть действие оператора на кубит предствляется действием на базисные вектора [math]|0\rangle[/math] и [math]|1\rangle[/math], которые представляют собой ортонормированный базис в двумерном гильбертовом пространстве. Тогда получим:

[math]\hat{U}|0\rangle = \hat{U}_{00}|0\rangle + \hat{U}_{10}|1\gt [/math]

[math]\hat{U}|1\rangle = \hat{U}_{01}|0\rangle + \hat{U}_{11}|1\gt [/math]

Тогда вычисление можно записать в виде

[math]\begin{pmatrix} \tilde{\alpha}\\ \tilde{\beta} \end{pmatrix} = \begin{pmatrix} U_{00} & U_{01}\\ U_{10} & U_{11} \end{pmatrix} \begin{pmatrix} \alpha\\ \beta \end{pmatrix} [/math]

или просто [math]\tilde{\psi} = U\psi[/math]. Матрица [math]U[/math] называется матричным представлением оператора [math]\hat{U}[/math]. Свойство унитарности оператора налагает требование унитарности на его матрицу.

Воздействие на n-кубит

Двухкубитовые системы и операторы

Для простоты будем рассматривать 2-кубиты. Все сказанное ниже может быть несложным образом обобщено на случай [math]n\gt 2[/math]

Рассмотрим систему из двух кубитов:

[math]|\psi_1\rangle = \alpha_1|0_1\rangle + \beta_1|1_1\rangle \in H_1[/math],

[math]|\psi_2\rangle = \alpha_2|0_2\rangle + \beta_2|1_2\rangle \in H_2[/math]

Построим векторное пространство, элементами которого являются пары векторов, один из которых принадлежит [math]H_1[/math], а другой [math]H_2[/math]. Такое пространство называется тензорным произведением [math]H_1[/math] и [math]H_2[/math] и обозначается как [math]H_1\otimes H_2[/math]. Базисные вектора такого пространства представляют собой
[math]|00\rangle = |0_1\rangle \otimes |0_2\rangle[/math],
[math]|01\rangle = |0_1\rangle \otimes |1_2\rangle[/math],
[math]|10\rangle = |1_1\rangle \otimes |0_2\rangle[/math],
[math]|11\rangle = |1_1\rangle \otimes |1_2\rangle[/math].

Базисные вектора тензорного произведения являются ортонормированными.

Любое состояние двухкубитовой системы можно представить как

[math]|\psi\rangle = \gamma_{00}|00\rangle + \gamma_{01}|01\rangle + \gamma_{10}|10\rangle + \gamma_{11}|11\rangle[/math], где [math]\gamma_{ij}[/math] как и раньше - вероятность обнаружить систему в состоянии [math]|ij\rangle[/math].

Операторы, определенные в тензорном произведении действуют покомнонентно:
[math](\hat{U_1} \otimes \hat{U_2})(|\psi_1\rangle \otimes |\psi_2\rangle = (\hat{U_1}|\psi_1\rangle) \otimes (\hat{U_2}|\psi_2\rangle)[/math]