No, las partículas enredadas no tienen por qué ser indistinguibles.
Consideremos dos partículas A y B que corresponden a espacios de Hilbert de una sola partícula HA y HB . El espacio de Hilbert subyacente al sistema compuesto es el espacio del producto tensorial H=HA⊗HB .
Pregunta: ¿Pueden todos los estados en H se escriba en la forma α⊗ψ , donde α∈HA y ψ∈HB ? La respuesta es no - mientras que esto puede ser posible para algunos estados, en general elementos de H no se puede escribir de esta manera.
Consideremos, por ejemplo, el estado Ψ=α⊗ψ+β⊗ψ+α⊗ϕ+β⊗ϕ donde α,β∈HA y ψ,ϕ∈HB . No es difícil ver que este estado puede ser "factorizado" Ψ=(α+β)⊗(ψ+ϕ)
y, por tanto, entra en la categoría anterior. Sin embargo, estados como
Φ=α⊗ψ+β⊗ϕ
no se puede escribir de esta manera. Estados como Φ que no puede ser factorizado en un único producto tensorial entre un elemento de HA y un elemento de HB se llaman enredado .
En ninguna parte de la descripción anterior del entrelazamiento he insinuado o exigido que HA y HB corresponden a partículas idénticas. Ni siquiera es necesario que sean copias del mismo espacio de Hilbert: podríamos tener HA=L2(R3)⊗C2 (correspondiente a una partícula de espín-1/2) y HB=L2(R3) (correspondiente a una partícula de espín 0). Pero incluso si HA=HB Las partículas no tienen por qué ser indistinguibles.
Que dos partículas sean indistinguibles significa (1) que HA=HB y (2) que cada estado Ψ∈H se asigna a Ψ′=eiθΨ bajo el intercambio de partículas (en el que α⊗ψ↦ψ⊗α ). En la mayoría de los casos, θ={0,π} correspondientes a bosones y fermiones, respectivamente (aunque esto no siempre se cumple en 2D, donde podemos tener posibilidades más exóticas ).
En cualquier caso, esta restricción añadida de indistinguibilidad es posterior a la noción de entrelazamiento, que sólo requiere que el espacio de Hilbert se escriba como un producto tensorial de espacios de Hilbert más simples.
¿Tienes alguna idea de lo que John Rennie podría haber querido decir con que las dos partículas se mezclan?
Las dos partículas se "mezclan" en el sentido de que ya no tiene sentido hablar del estado de cualquiera de ellas independientemente de la otra.
Consideremos dos partículas (no necesariamente indistinguibles) que no interactúan en una caja de longitud L . Un posible estado de este sistema compuesto es
Ψ=(ψ1+ψ2√2)⊗(ψ3+2ψ4√5)
donde ψn es el nth estado propio de energía para la partícula individual en una caja.
En este estado, las mediciones de las energías de las dos partículas son independientes en el sentido de independencia estadística . Físicamente, esto significa que una medición de la primera partícula no me da ninguna información sobre la segunda; en este sentido, podemos pensar en ellas como dos partículas separadas (sobre las que podemos realizar dos mediciones separadas) que se dedican a lo suyo.
Por otro lado, consideremos un estado enredado
Φ=1√5[ψ1⊗ψ3+2ψ2⊗ψ4]
En este estado, las mediciones ya no son independientes. Una medición del estado de la primera partícula constituye una medición del estado de la segunda también; si encuentro que la primera partícula tiene energía E1 entonces encontraré que la energía de la segunda partícula es E3 con una probabilidad del 100%.
En este sentido, ya no tiene sentido hablar del estado de una u otra partícula. Sólo podemos hablar del estado de la sistema de dos partículas.
Por cierto, este es el origen de mucha confusión entre los legos y los que no lo son. La gente intuye que si se mide la primera partícula por sí misma, entonces alguna influencia superlumínica debe propagarse a la segunda, pero esto es erróneo. En realidad, hay no hay tal cosa como una medida de la primera partícula sola.