Transforming quantum operations: quantum supermaps

We introduce the concept of quantum supermap, describing the most general transformation that maps an input quantum operation into an output quantum operation. Since quantum operations include as special cases quantum states, effects, and measurements, quantum supermaps describe all possible transformations between elementary quantum objects (quantum systems as well as quantum devices). After giving the axiomatic definition of supermap, we prove a realization theorem, which shows that any supermap can be physically implemented as a simple quantum circuit. Applications to quantum programming, cloning, discrimination, estimation, information-disturbance trade-off, and tomography of channels are outlined.Comment: 6 pages, 1 figure, published versio

CSP design model and tool support

The CSP paradigm is known as a powerful concept for designing and analysing the architectural and behavioural parts of concurrent software. Although the theory of CSP is useful for mathematicians, the programming language occam has been derived from CSP that is useful for any engineering practice. Nowadays, the concept of occam/CSP can be used for almost every object-oriented programming language. This paper describes a tree-based description model and prototype tool that elevates the use of occam/CSP concepts at the design level and performs code generation to Java, C, C++, and machine-readable CSP for the level of implementation. The tree-based description model can be used to browse through the generated source code. The tool is a kind of browser that is able to assist modern workbenches (like Borland Builder, Microsoft Visual C++ and 20-SIM) with coding concurrency. The tool will guide the user through the design trajectory using support messages and several semantic and syntax rule checks. The machine-readable CSP can be read by FDR, enabling more advanced analysis on the design. Early experiments with the prototype tool show that the browser concept, combined with the tree-based description model, enables a user-friendly way to create a design using the CSP concepts and benefits. The design tool is available from our URL, http://www.rt.el.utwente.nl/javapp

The development and evaluation of computer generated material for 43.220 Information and Communications : a thesis presented in partial fulfilment of the requirements for the degree of Master of Philosophy in Technology - Information Engineering at Massey University

The information age is upon us. Technological advances, particularly in communications, have facilitated the conveyance of accurate and updatable information in vast quantities. Educational institutions have recognized the potential of such technology to increase the efficiency and effectiveness of their organizations. Institutions that depend almost entirely on technological knowledge transfer already exist and those who are not investigating how it may best be used in their university are likely to be left behind [1]. The impact of technology on education has been the subject of much speculation [2,3,4]. What is becoming apparent is that views of education are changing from that of 'option' to 'commodity' [5]. This has lead to an increasing demand for a varied education and an even greater burden for educators, given that there has been little change in the modes of delivery [1]. Therefore, in education, it has been argued that "more must be accomplished with less. Automation through the successful application of powerful new technologies is undoubtedly one of the key enablers" [6, p. 59). The Department of Production Technology at Massey University has been investigating how current technologies may best be utilized to facilitate multicampus teaching. Massey University, with its main campus at Palmerston North, now has a new campus situated approximately 600 kilometres north at Albany where the Department of Production Technology intends to offer one of its courses in the near future. Instead of duplicating many facilities, resources and staff at Albany an alternative is to have the courses remotely delivered. This has lead to the establishment of two systems whose objectives are to increase flexibility in delivery modes without decreasing the quality of education delivered