|
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 |
|