0211085v2

related topics
{qubit, qubits, gate}
{time, systems, information}
{let, theorem, proof}
{operator, operators, space}
{observables, space, algebra}
{energy, state, states}
{algorithm, log, probability}
{information, entropy, channel}
{cos, sin, state}
{temperature, thermal, energy}

Towards a Theory of Conservative Computing

Gianpiero Cattaneo, Gianluca Della Vedova, Alberto Leporati, Roberto Leporini

abstract: We extend the notion of conservativeness, given by Fredkin and Toffoli in 1982, to generic gates whose input and output lines may assume a finite number d of truth values. A physical interpretation of conservativeness in terms of conservation of the energy associated to the data used during the computation is given. Moreover, we define conservative computations, and we show that they naturally induce a new NP-complete decision problem. Finally, we present a framework that can be used to explicit the movement of energy occurring during a computation, and we provide a quantum implementation of the primitives of such framework using creation and annihilation operators on the Hilbert space C^d, where d is the number of energy levels considered in the framework.

oai_identifier:
oai:arXiv.org:quant-ph/0211085
categories:
quant-ph
comments:
11 pages, 1 figure
arxiv_id:
quant-ph/0211085
created:
2002-11-14
updated:
2003-10-06

Full article ▸

related documents
0512058v3
0505122v2
0411058v1
9511007v1
0511041v1
0610214v3
0601183v1
0504197v1
0304078v1
0104069v2
0505009v4
0610105v1
0305134v1
0005116v2
0308167v1
0109016v2
9505011v1
0408064v1
9908041v1
0506062v2
9605013v1
0410145v2
0507036v3
0304174v1
0306064v1