Скажем, у меня есть квантовое состояние записанный в виде линейной комбинации некоторых базисных векторов из .
Цель . Переписать на другом основании из .
Я могу применить унитарный оператор , другими способами.
, в преобразованном базисе . Проблема состоит в том, чтобы найти эти новые коэффициенты. -й коэффициент можно найти, проецируя состояние над его -й компонент :
Повторим ту же процедуру с , так как две формулировки должны быть равны:
Это значит:
, в преобразованном состоянии .
Как и в 1., -й коэффициент можно найти в проекции состояния над его j-й компонентой :
С другой стороны:
Отсюда заключаем:
Проблема . означает , но предполагается унитарным, а не самосопряженным. Следовательно, эти два преобразования не эквивалентны, даже если они должны быть эквивалентны. Что я сделал не так?
Дополнение . Единственный способ, который я нашел, чтобы получить это обмен с в пассивном преобразовании (1.). Это значит писать вместо , но это немного бессвязно. начну с основы , поэтому я должен применить к тому, с чего я начинаю.
Решение . На самом деле формула смены базиса предписывает прямо противоположное. Цитируя Википедию:
Такое преобразование следует из формулы изменения базиса, которая выражает координаты относительно одного базиса через координаты относительно другого базиса. Используя матрицы, эту формулу можно записать где и относятся соответственно к первому определенному основанию и другому основанию, и - векторы-столбцы координат одного и того же вектора на двух основаниях, и - матрица изменения базиса (также называемая матрицей перехода), которая представляет собой матрицу, столбцы которой представляют собой координатные векторы новых векторов базиса на старом базисе.
В данном контексте играет роль , так что я должен был написать в 1.).
Прошу прощения за мою оплошность. Спасибо вам всем.
Я думаю, вы смешиваете то, что представлять. Я думаю, что вы действительно получили это:
Вот фиксированное доказательство. Позволять представляют некоторое произвольное состояние в гильбертовом пространстве. Обратите внимание, что является просто функцией в пространстве и не определена относительно какого-либо базиса. Позволять и — два ортонормированных базиса гильбертова пространства. Тогда мы можем написать
Так как базис ортонормирован, то
Тобиас Фюнке