We introduce the notion of partial orbit for a given set of elementary quantum gates, and we study the action of different sets of gates on an initially three-particle disentangled state. We analyze the entanglement of the ...

In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.

The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a ...

Control at the interface between the classical and the quantum world is fundamental in quantum physics. In particular, how classical control is enhanced by coherence effects is an important question both from a theoretical ...

Nowadays, no one should doubt that quantum entanglement is (at least, one of) the characteristic traits of quantum mechanics. Furthermore, quantum information science is strongly influenced by the advantages provided by ...

A new model in topological quantum computing, named Gravitational Topological Quantum Computing (GTQC), is introduced as an alternative respect to the Anyonic Topological Quantum Computing and DNA Computing. In the new ...

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms ...

In ordinary computers, it is sometimes useful to flip a coin. Non?deterministic algorithms (those programs that involve making such random choices at some steps) can be far more efficient in finding solutions to a variety ...

A model of a D-Brane Topological Quantum Computer (DBTQC) is presented and sustained. The model isbased on four-dimensional TQFTs of the Donaldson-Witten and Seiber-Witten kinds. It is argued that the DBTQC is able to ...