No abstract

No abstract

The notion of entanglement is the most well-known nonclassical correlation in quantum mechanics and a fundamental resource in quantum information and computation. This correlation, which is displayed by certain classes of quantum states, is of utmost importance when dealing with protocols such as quantum teleportation, quantum cryptography, and quantum key distribution. In this paper, we exploit a classification of tripartite entanglement by introducing the concepts of entangled hypergraph and evolving entangled hypergraph as data structures suitable to model quantum protocols which use entanglement. Finally, we present a few examples to provide applications of this model.

This paper explores the cultural implications in ontology engineering. It focuses more particularly on collaborative design. Hypotheses are formulated concerning the influence of cultural differences in the definition of ontology, its conceptual organisation and the design process. A preliminary analysis conducted on six well known collaborative systems confirms some of the findings. We argue that a "culture aware" attitude may be of great importance for the development of systems (e.g. web services) that, more or less implicitly, adopt ontologies and for supporting the processes of cross cultural collaborative design.

In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embedded functional programming language for quantum computation. It is above all a circuit description language, for this reason it uses the vector state formalism and its main purpose is to make circuit implementation easy providing high level operations for circuit manipulation. Quipper provides both an high-level circuit building interface and a simulator. QPMC is a model checker for quantum protocols based on the density matrix formalism. QPMC extends the probabilistic model checker IscasMC allowing to formally verify properties specified in the temporal logic QCTL on Quantum Markov Chains. We implemented and tested our translation on several quantum algorithms, including Grover's quantum search.