Церковь большего (или более высокого, или большего) гильбертова пространства - это всего лишь уловка, которую некоторые люди (включая меня) любят переписывать в некоторых операциях.
Наиболее общие операции, которые вы можете записать для системы, описываются полностью положительными картами, в то время как нам нравится описывать вещи с помощью унитарных элементов, которые вы всегда можете сделать, переместившись из исходного гильбертова пространства в большее (т.е. добавив больше кубитов). Аналогично, для измерений вы можете превратить общие измерения в проективные измерения, увеличив размер гильбертова пространства. Кроме того, смешанные состояния могут быть описаны как чистые состояния большей системы.
пример
1−ppX
|ψ⟩⟨ψ|↦(1−p)|ψ⟩⟨ψ|+pX|ψ⟩⟨ψ|X
1−p−−−−√|0⟩+p–√|1⟩|ψ⟩(1−p−−−−√|0⟩+p–√|1⟩)↦|Ψ⟩=1−p−−−−√|ψ⟩|0⟩+p–√(X|ψ⟩)|1⟩.
ρ=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.