Elements of information theory
Elements of information theory
The rediscovery of the mind
Representation and Reality
Information Theory and Reliable Communication
Information Theory and Reliable Communication
Physics and Computation: The Status of Landauer's Principle
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
What does it mean to say that a physical system implements a computation?
Theoretical Computer Science
Irreversibility and heat generation in the computing process
IBM Journal of Research and Development
Logical reversibility of computation
IBM Journal of Research and Development
Determining fundamental heat dissipation bounds for transistor-based nanocomputing paradigms
NANOARCH '11 Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures
Hi-index | 5.23 |
Any account of computation in a physical system, whether an artificial computing device or a natural system considered from a computational point of view, invokes some notion of the relationship between the abstract-logical and concrete-physical aspects of computation. In a recent paper, James Ladyman explored this relationship using a ''hybrid physical-logical entity''-the L-machine-and the general account of computation that it supports [J. Ladyman, What does it mean to say that a physical system implements a computation?, Theoretical Computer Science 410 (2009) 376-383]. The underlying L-machine of Ladyman's analysis is, however, classical and highly idealized, and cannot capture essential aspects of computation in important classes of physical systems (e.g. emerging nanocomputing devices) where logical states do not have faithful physical representations and where noise and quantum effects prevail. In this work we generalize the L-machine to allow for generally unfaithful and noisy implementations of classical logical transformations in quantum mechanical systems. We provide a formal definition and physical-information-theoretic characterization of generalized quantum L-machines (QLMs), identify important classes of QLMs, and introduce new efficacy measures that quantify the faithfulness and fidelity with which logical transformations are implemented by these machines. Two fundamental issues emphasized by Ladyman-realism about computation and the connection between logical and physical irreversibility-are reconsidered within the more comprehensive account of computation that follows from our generalization of the L-machine.