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