Let's say I have a ket which is a momentum eigenket $| p \rangle$ and then I measure the position and obtain $|x' \rangle$.
$$ | p \rangle = \int | x \rangle \langle x | p \rangle dx \to | x' \rangle $$
My question is what is the minimum number of ancilla qubits required to simulate this transformation unitarily?
Note: Since the cardinality of kets involved here is $\aleph_1$ I am unaware how to implement this