Многомерное соотношение неопределенностей

Рассмотрим пространство размерности Многомерное соотношение неопределенностей - student2.ru .

Пусть Многомерное соотношение неопределенностей - student2.ru - соответствующие операторы координат и импульсов.

Вывод соотношения неопределенности в многомерном случае аналогичен одномерному, но теперь вместо действительного числа Многомерное соотношение неопределенностей - student2.ru следует ввести действительную симметричную матрицу Многомерное соотношение неопределенностей - student2.ru с элементами Многомерное соотношение неопределенностей - student2.ru . Такое видоизменение диктуется необходимостью придать рассматриваемым величинам геометрически инвариантный вид в гильбертовом пространстве. Действительно для скалярного Многомерное соотношение неопределенностей - student2.ru , такая величина как Многомерное соотношение неопределенностей - student2.ru неинвариантна, потому что индексы Многомерное соотношение неопределенностей - student2.ru и Многомерное соотношение неопределенностей - student2.ru , вообще говоря, различны. В то же время, для матрицы Многомерное соотношение неопределенностей - student2.ru величина Многомерное соотношение неопределенностей - student2.ru будет кет- вектором в гильбертовом пространстве (по повторяющемуся индексу Многомерное соотношение неопределенностей - student2.ru предполагается суммирование). Введем также действительный вектор Многомерное соотношение неопределенностей - student2.ru ( Многомерное соотношение неопределенностей - student2.ru ). С его помощью, взяв скалярное произведение, преобразуем полученный кет- вектор в скаляр: Многомерное соотношение неопределенностей - student2.ru .

Рассмотрим теперь следующее заведомо неотрицательное выражение (по повторяющимся индексам, как обычно, предполагается суммирование):

Многомерное соотношение неопределенностей - student2.ru

В развернутом виде получим:

Многомерное соотношение неопределенностей - student2.ru

Чтобы использовать фундаментальные коммутационные соотношения между координатой и импульсом, перепишем последнее выражение, осуществив замену индексов Многомерное соотношение неопределенностей - student2.ru и Многомерное соотношение неопределенностей - student2.ru друг на друга, после чего сложим полученное выражение с исходным.

В качестве наблюдаемых будем использовать центрированные координаты и импульсы (имеющие нулевые средние).

В результате получим условие, согласно которому нижеследующее матричное выражение является неотрицательно определенным:

Многомерное соотношение неопределенностей - student2.ru

Напомним, что матрица Многомерное соотношение неопределенностей - student2.ru с элементами Многомерное соотношение неопределенностей - student2.ru называется неотрицательно определенной, если для любого вектора Многомерное соотношение неопределенностей - student2.ru :

Многомерное соотношение неопределенностей - student2.ru

В полученном неравенстве мы ввели матрицы ковариаций координат и импульсов. Элементы этих матриц определяются выражениями

Многомерное соотношение неопределенностей - student2.ru

Многомерное соотношение неопределенностей - student2.ru

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

Напомним, что произвольная эрмитова матрица Многомерное соотношение неопределенностей - student2.ru может быть приведена к диагональному виду, т.е. может быть представлена как:

Многомерное соотношение неопределенностей - student2.ru ,

где Многомерное соотношение неопределенностей - student2.ru - унитарная матрица, а Многомерное соотношение неопределенностей - student2.ru - действительная диагональная матрица.

Если, к тому же, матрица Многомерное соотношение неопределенностей - student2.ru неотрицательно определена, то неотрицательны и ее собственные значения, образующие диагональ матрицы Многомерное соотношение неопределенностей - student2.ru . В этом случае операция взятия квадратного корня из матрицы является хорошо определенной:

Многомерное соотношение неопределенностей - student2.ru

С использованием понятия матричного квадратного корня, полученное выше неравенство можно представить в виде:

Многомерное соотношение неопределенностей - student2.ru

Первое слагаемое слева заведомо неотрицательно определено (и обращается в ноль при Многомерное соотношение неопределенностей - student2.ru ). Отсюда следует, что и выражение Многомерное соотношение неопределенностей - student2.ru неотрицательно определено, т.е.

Многомерное соотношение неопределенностей - student2.ru

Полученное неравенство и есть искомое многомерное соотношение неопределенностей. Его смысл заключается в следующем: каково бы ни было квантовое состояние, матрица, равная разности Многомерное соотношение неопределенностей - student2.ru между матрицей ковариации координат и одной четвертой от матрицы, обратной к матрице ковариации импульсов, всегда является неотрицательно определенной.

Из приведенных расчетов следует, что неравенство обращается в равенство в том и только том случае, когда вектор состояния удовлетворяет следующему условию при Многомерное соотношение неопределенностей - student2.ru :

Многомерное соотношение неопределенностей - student2.ru

Отсюда получаем, что соответствующее состояние является гауссовским с матрицей ковариаций Многомерное соотношение неопределенностей - student2.ru в импульсном представлении и матрицей ковариаций Многомерное соотношение неопределенностей - student2.ru - в координатном.

Мы ограничились рассмотрением многомерного соотношения неопределенностей, которое является непосредственным обобщением одномерного соотношения неопределенностей Гейзенберга. Другие примеры обобщенных соотношений неопределенностей и, в частности, связанные с обобщением соотношения Шредингера- Робертсона можно найти в [35,36]

Информация Фишера

Рассмотрим квантовую систему, для которой пси- функция действительна: Многомерное соотношение неопределенностей - student2.ru . Использование таких пси- функций представляет собой простейший способ дополнения классической плотности распределения до квантового состояния. Для такой системы средний импульс равен нулю, а квадрат импульса есть:

Многомерное соотношение неопределенностей - student2.ru

Здесь штрих означает производную по Многомерное соотношение неопределенностей - student2.ru .

Введем информацию Фишера, связанную с дисперсией импульса:

Многомерное соотношение неопределенностей - student2.ru

Тогда соотношение неопределенностей запишется в виде следующего неравенства:

Многомерное соотношение неопределенностей - student2.ru

Полученное неравенство аналогично неравенству Рао- Крамера, рассматриваемому в следующем разделе

Неравенство Рао- Крамера

Рассмотрим снова ситуацию, когда плотность распределения дополняется до квантового состояния. Пусть распределение вероятностей и соответствующее квантовое состояние зависят от некоторого действительного параметра Многомерное соотношение неопределенностей - student2.ru , т.е.:

Многомерное соотношение неопределенностей - student2.ru .

Пусть Многомерное соотношение неопределенностей - student2.ru есть несмещенная оценка неизвестного параметра Многомерное соотношение неопределенностей - student2.ru , основанная на выборке объема Многомерное соотношение неопределенностей - student2.ru в координатном пространстве, т.е. Многомерное соотношение неопределенностей - student2.ru .

Условие несмещенности означает, что среднее значение (математическое ожидание) выборочной оценки Многомерное соотношение неопределенностей - student2.ru совпадает с истинным значением параметра Многомерное соотношение неопределенностей - student2.ru , т.е.

Многомерное соотношение неопределенностей - student2.ru

Примерами несмещенных оценок могут служить известные оценки математического ожидания и дисперсии [31]:

Многомерное соотношение неопределенностей - student2.ru

Многомерное соотношение неопределенностей - student2.ru

Пусть Многомерное соотношение неопределенностей - student2.ru - оператор, канонически сопряженный параметру Многомерное соотношение неопределенностей - student2.ru .

Нашей целью является вывод следующего соотношения, называемого неравенством Рао-Крамера:

Многомерное соотношение неопределенностей - student2.ru

Здесь введена информация Фишера, которая имеет вид:

Многомерное соотношение неопределенностей - student2.ru

Воспользуемся тем, что вектор состояния для выборки может быть определен следующим выражением

Многомерное соотношение неопределенностей - student2.ru

Проведем подробные вычисления. Пусть Многомерное соотношение неопределенностей - student2.ru - кет вектор, где Многомерное соотношение неопределенностей - student2.ru , как и ранее, произвольный действительный параметр, Многомерное соотношение неопределенностей - student2.ru - соответствующий бра- вектор.

Заведомо неотрицательное выражение есть:

Многомерное соотношение неопределенностей - student2.ru

Здесь для сокращения записи мы полагаем, что Многомерное соотношение неопределенностей - student2.ru , Многомерное соотношение неопределенностей - student2.ru

В развернутой записи имеем:

Многомерное соотношение неопределенностей - student2.ru ,

где

Многомерное соотношение неопределенностей - student2.ru

Многомерное соотношение неопределенностей - student2.ru

Многомерное соотношение неопределенностей - student2.ru

Можно показать, что Многомерное соотношение неопределенностей - student2.ru . Для этого достаточно представить подинтегральное выражение с помощью формулы для производной произведения в виде

Многомерное соотношение неопределенностей - student2.ru

Интеграл от первого слагаемого равен нулю в силу несмещенности оценки. В результате, учитывая условие нормировки, получаем, что Многомерное соотношение неопределенностей - student2.ru .

Из условия Многомерное соотношение неопределенностей - student2.ru для дискриминанта получаем искомый результат – неравенство Рао-Крамера [38- 40]:

Многомерное соотношение неопределенностей - student2.ru

Заметим, что мы провели вычисления не только для предполагаемого случая действительных векторов состояния, но и для более общего случая комплексных пси- функций.

В этом случае информация Фишера есть:

Многомерное соотношение неопределенностей - student2.ru

Информация Фишера является аналогом дисперсии импульса и отличается от последней множителем 4 и тем, что под интегралом идет дифференцирование по параметру, а не по координате.

Для случая действительных пси- функций, как нетрудно показать, имеет место приведенное выше выражение для информации Фишера (6). При выводе следует воспользоваться легко проверяемым свойством аддитивности информации Фишера (информация от Многомерное соотношение неопределенностей - student2.ru независимых представителей в Многомерное соотношение неопределенностей - student2.ru раз превосходит информацию от одного представителя).

Полученное неравенство, очевидно, является наиболее сильным для случая, когда информация Фишера Многомерное соотношение неопределенностей - student2.ru минимальна. Как и в случае соотношения неопределенности Гейзенберга, можно показать, что добавление произвольного фазового множителя к действительной пси- функции не может привести к уменьшению информации Фишера.

Выше мы видели, что соотношение неопределенностей из неравенства превращается в равенство для гауссова состояния. Аналогичный результат справедлив и для неравенства Рао- Крамера. Последнее превращается в равенство для оценок, имеющих нормальное распределение и только для них. Такие оценки называются эффективными.

Выше мы предполагали несмещенность статистической оценки. Однако, проведенные выкладки позволяют также получить более общее неравенство Рао- Крамера, пригодное и для смещенных оценок. В этом случае оно имеет вид:

Многомерное соотношение неопределенностей - student2.ru (2.1)

где Многомерное соотношение неопределенностей - student2.ru - смещение оценки. (2.2)

Заметим, что в представленном неравенстве слева вместо обычной дисперсии стоит величина, которая характеризует рассеяние выборочной оценки Многомерное соотношение неопределенностей - student2.ru относительно истинного значения Многомерное соотношение неопределенностей - student2.ru .

Задача 2.1 Обоснуйте неравенство Рао- Крамера (2.1)- (1.2), учитывающее возможную смещенность оценки.

Наши рекомендации