La chiesa dello spazio Hilbert più grande (o più alto, o più grande) è solo un trucco che ad alcune persone piace (me compreso) per riscrivere alcune operazioni.
Le operazioni più generali che puoi scrivere per un sistema sono descritte da mappe completamente positive, mentre ci piace descrivere le cose con unità unitarie, che puoi sempre fare spostando dallo spazio originale di Hilbert a uno più grande (cioè aggiungendo più qubit). Allo stesso modo, per le misurazioni, è possibile trasformare misurazioni generali in misurazioni proiettive aumentando le dimensioni dello spazio di Hilbert. Inoltre, gli stati misti possono essere descritti come stati puri di un sistema più ampio.
Esempio
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.