L'église de l'espace Hilbert plus grand (ou plus haut ou plus grand) est juste une astuce que certaines personnes aiment (moi y compris) pour réécrire certaines opérations.
Les opérations les plus générales que vous pouvez écrire pour un système sont décrites par des cartes complètement positives, tandis que nous aimons décrire des choses avec des unités, ce que vous pouvez toujours faire en passant de l'espace Hilbert d'origine à un espace plus grand (c'est-à-dire en ajoutant plus de qubits). De même, pour les mesures, vous pouvez transformer des mesures générales en mesures projectives en augmentant la taille de l'espace Hilbert. En outre, les états mixtes peuvent être décrits comme des états purs d'un système plus vaste.
Exemple
1 - ppX
| ψ⟩⟨ψ | ↦(1-p) | ψ⟩⟨ψ | +pX| ψ⟩⟨ψ | X
1 - p----√| 0⟩+ p-√| 1⟩| ψ⟩( 1 - p----√| 0⟩+ p-√| 1⟩)↦ | Ψ⟩= 1 - p----√| ψ⟩ | 0⟩+ p-√( X|ψ⟩)|1⟩.
To get back the action of the system on just the original qubit, you trace out the new qubit:
ρ=Tr2(|Ψ⟩⟨Ψ|)=(1−p)|ψ⟩⟨ψ|+pX|ψ⟩⟨ψ|X.
In other words, you just ignore the existence of the new qubit after you’ve implemented the unitary! Note that as well as demonstrating the church of the larger Hilbert space for operations, this also demonstrates it for states - the mixed state
ρ can be made into the pure state
|Ψ⟩ by increasing the size of the Hilbert space.