scholarly journals New encoding schemes for quantum authentication

2005 ◽  
Vol 5 (1) ◽  
pp. 1-12
Author(s):  
P. Garcia-Fernandez ◽  
E. Fernandez-Martinez ◽  
E. Perez ◽  
D.J. Santos

We study the potential of general quantum operations, Trace-Preserving Completely-Positive Maps (TPCPs), as encoding and decoding mechanisms in quantum authentication protocols. The study shows that these general operations do not offer significant advantage over unitary encodings. We also propose a practical authentication protocol based on the use of two successive unitary encodings.

2003 ◽  
Vol 01 (01) ◽  
pp. 135-152 ◽  
Author(s):  
ARUN K. PATI

Mixed states typically arise when quantum systems interact with the outside world. Evolution of open quantum systems in general are described by quantum operations which are represented by completely positive maps. We elucidate the notion of geometric phase for a quantum system described by a mixed state undergoing unitary evolution and non-unitary evolutions. We discuss parallel transport condition for mixed states both in the case of unitary maps and completely positive maps. We find that the relative phase shift of a system not only depends on the state of the system, but also depends on the initial state of the ancilla with which it might have interacted in the past. The geometric phase change during a sequence of quantum operations is shown to be non-additive in nature. This property can attribute a "memory" to a quantum channel. We explore these ideas and illustrate them with simple examples.


2006 ◽  
Vol 16 (3) ◽  
pp. 429-451 ◽  
Author(s):  
ELLIE D'HONDT ◽  
PRAKASH PANANGADEN

We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics. Rather than trying to reduce quantum computation to probabilistic programming, we develop a notion that is directly taken from concepts used in quantum computation. The proof that weakest preconditions exist for completely positive maps follows immediately from the Kraus representation theorem. As an example, we give the semantics of Selinger's language in terms of our weakest preconditions. We also cover some specific situations and exhibit an interesting link with stabilisers.


1992 ◽  
Vol 03 (02) ◽  
pp. 185-204 ◽  
Author(s):  
MASAMICHI HAMANA

The main result asserts that given two monotone complete C*-algebras A and B, B is faithfully represented as a monotone closed C*-subalgebra of the monotone complete C*-algebra End A(X) consisting of all bounded module endomorphisms of some self-dual Hilbert A-module X if and only if there are sufficiently many normal completely positive maps of B into A. The key to the proof is the fact that each pre-Hilbert A-module can be completed uniquely to a self-dual Hilbert A-module.


Sign in / Sign up

Export Citation Format

Share Document