Abstract:

In the single qubit system, the reachable set, the termination and the diverging conditions of deterministic quantum programs, which are a special kind of nondeterministic quantum programs, are investigated. They are described by bit flip channel, phase flip channel, depolarizing channel, amplitude damping channel and phase damping channel starting in computation basis states. The investigation shows that the termination and the diverging conditions of some quantum programs described by quantum channels starting in computation basis states relate closely with the parameters represented by quantum channels, while others do not.

Key words: nondeterministic quantum programs;deterministic quantum program;reachable set;termination