Линейность квантовой механики?

Доказательство теоремы о запрете клонирования гласит: «В силу линейности квантовой механики…». Может ли кто-нибудь дать мне грубый набросок/схему того, что это означает? Связано ли это с гильбертовым пространством, в котором живут волновые функции?

Прошу прощения, если этот вопрос недостаточно конкретен, я просто хотел полностью понять эту концепцию.

См. www-inst.eecs.berkeley.edu/~cs191/fa05/lectures/… или любое стандартное доказательство теоремы о запрете клонирования, и вы увидите «упомянутую линейность квантовой механики».

Ответы (2)

Теорема о запрете клонирования утверждает, что квантовое состояние невозможно. | ψ эволюционировать в две разделимые (незапутанные) копии, описываемые состоянием тензорного произведения | ψ | ψ .

Доказательство сводится к тому простому наблюдению, что при выражении | ψ в какой-то основе | 0 , | 1 , | 2 , . . . :

| ψ "=" α 0 | 0 + α 1 | 1 + α 2 | 2 + . . .

операция клонирования была бы унитарной эволюцией формы:

U ( α 0 | 0 + α 1 | 1 + . . . ) "=" α 0 2 | 0 | 0 + α 0 α 1 | 0 | 1 + α 1 α 0 | 1 | 0 + α 1 2 | 1 | 1 . . .

Это приводит к противоречию, так как унитарный оператор U ( . . ) является линейным и никогда не может создавать такие амплитуды, как α 0 2 и α 0 α 1 которые являются квадратичными функциями α я .

Итак, линейность, о которой говорит автор, — это линейность унитарной эволюции. В квантовой физике эволюция описывается унитарными операторами, которые преобразуют входящие состояния в исходящие состояния, которые представляют собой линейную комбинацию входящих состояний.

Я не совсем понимаю это. Унитарные операторы переводят гильбертово пространство в себя. Но твой | ψ > и ваш | ψ > | ψ > живут в двух разных гильбертовых пространствах (второе является тензорным произведением двух копий первого), поэтому я не вижу смысла даже спрашивать, может ли унитарный оператор принять | ψ > к | ψ > | ψ > .

«Линейность квантовой механики» на самом деле является ссылкой на линейность операторов, используемых в ней квантовой механикой. Это означает, что для линейного оператора А (по самому определению линейности),

А ( α | Ψ + β | Φ ) "=" α А | Ψ + β А | Φ ,
где α и β являются комплексными числами.

То, как это применимо к теореме о запрете клонирования, довольно просто. Оператор клонирования должен удовлетворять следующему: существует вектор | Ξ такое, что для любого | Ψ , у нас есть

А | Ψ | Ξ "=" | Ψ | Ψ .

Однако, α | Ψ + β | Φ является таким же действительным состоянием, как и Ψ . Таким образом, в сочетании с приведенным выше уравнением для линейных операторов (что все равно, что сказать «из-за линейности квантовой механики» ), это означает, что

А ( α | Ψ + β | Φ ) | Ξ "=" α А | Ψ | Ξ + β А | Φ | Ξ "=" α | Ψ | Ψ + β | Φ | Φ .
Это не то, что мы хотели, поскольку реальная копия начального состояния была бы ( α | Ψ + β | Φ ) ( α | Ψ + β | Φ ) .

Простой аддитивности недостаточно для линейности. Вам нужно дополнительное условие, или, если хотите быть кратким, А ^ ( α | Ψ + β | Φ ) "=" α А ^ | Ψ + β А ^ | Φ вместо.
@stan Спасибо за разъяснение. Я не говорил, что аддитивность подразумевает линейность, я говорил, что аддитивность следует из определения линейности.
Перечитывая его снова, я вижу, насколько текст вводил в заблуждение. Спасибо.
@BruceConnor Да, это имеет смысл, это было похоже на то, о чем я думал. Теперь, в этот момент, мой вопрос больше похож на то, что на самом деле имеет в виду составитель корректуры, когда (она) говорит «из линейности КМ, ...» в теореме о запрете клонирования?
@Ahaan Не могли бы вы процитировать остальную часть этого предложения? Как и я, он, вероятно, имеет в виду, что его следующее утверждение легко следует из того факта, что операторы, используемые в квантовой механике, являются линейными операторами.
@BruceConnor Спасибо, теперь это имеет смысл! Математическая деталь открывает мне глаза. :PI имел в виду что-то вроде страницы 1 здесь: www-inst.eecs.berkeley.edu/~cs191/fa05/lectures/… .