Non-Probabilistic Termination of Measurement-based Quantum Computation

Nielsen [quant-ph/0108020] introduced a model of quantum computation by measurement-based simulation of unitary computations. In this model, a consequence of the non-determinism of quantum measurement is the probabilistic termination of simulations. This means that the time when simulation terminates for a given computation is probabilistic, and this simulation may even never end. We introduce (section 3) a measurement-based model with non probabilistic termination, which permits, unlike existing models, to predict the time of termination. This new scheme is a modification of Nielsen's. After an introduction to Nielsen's scheme (section 1), an analysis of different temporal organisations of elementary simulations within Nielsen's scheme (section 2) leads to the non probabilistic model.