Marek Sawerwain

Learn More
A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely(More)
Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate.(More)
The canonical Schmidt decomposition of quantum states is discussed and its implementation to the Quantum Computation Simu-lator is outlined. In particular, the semiorder relation in the space of quantum states induced by the lexicographic semiorder of the space of the Schmidt coefficients is discussed. The appropriate sorting algorithms on the corresponding(More)
Nonlocality of real world on the quantum level seems to be widely accepted fact today. Basing on this nonlocality several theoretic scenarios for teleporting a general quantum states are being presented, the simplest among them have been experimentally demonstrated as well. Although on the quantum level the information is transferred with superluminal speed(More)