Filters








197 Hits in 4.5 sec

What does it mean to say that a physical system implements a computation?

James Ladyman
2009 Theoretical Computer Science  
However, actual computation is realised by some physical process, and the latter is of course subject to physical laws and the laws of thermodynamics in particular.  ...  Reprinted in Leff and Rex (1990)] proposed such a general connection, known as Landauer's Principle.  ...  In order to clarify the status of Landauer's Principle it is necessary precisely to define a computation, and what it means to say that a computation is physically implemented.  ... 
doi:10.1016/j.tcs.2008.09.047 fatcat:c6gbhibhavbinepnwyh7g7tcnq

Quantum Foundations of Classical Reversible Computing [article]

Michael P. Frank, Karpur Shukla
2021 arXiv   pre-print
In this paper, we begin developing an NEQT-based foundation for the physics of reversible computing. We use the framework of Gorini-Kossakowski-Sudarshan-Lindblad dynamics (a.k.a.  ...  machines when we account for the loss of correlations; and (2) implementations of the alternative reversible computation paradigm can potentially avoid such losses, and thereby circumvent the Landauer  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
arXiv:2105.00065v3 fatcat:akcqxffnwnf5fidrhfelf7il54

Quantum Foundations of Classical Reversible Computing

Michael Frank, Karpur Shukla
2021 Entropy  
In this paper, we begin developing an NEQT-based foundation for the physics of reversible computing. We use the framework of Gorini-Kossakowski-Sudarshan-Lindblad dynamics (a.k.a.  ...  machines when we account for the loss of correlations; and (2) implementations of the alternative reversible computation paradigm can potentially avoid such losses, and thereby circumvent the Landauer  ...  Pidaparthi, Greg Snider, David Wolpert, and Noboyuki Yoshikawa for  ... 
doi:10.3390/e23060701 pmid:34206044 pmcid:PMC8228632 fatcat:ujhoevid3zf57obhbntd72rxre

Entropy and Computation: The Landauer-Bennett Thesis Reexamined

Meir Hemmo, Orly Shenker
2013 Entropy  
We identify the physical conditions that are necessary and sufficient for erasure and show that the thesis does not follow from the principles of classical mechanics.  ...  The so-called Landauer-Bennett thesis says that logically irreversible operations (physically implemented) such as erasure necessarily involve dissipation by at least kln2 per bit of lost information.  ...  Acknowledgments This research is supported by the Israel Academy of Science, grant number 713/10 and by the German-Israel Foundation, grant number 1054/09.  ... 
doi:10.3390/e15083297 fatcat:734qg74fznboxhn4nb4kbvsdaq

The connection between logical and thermodynamic irreversibility

James Ladyman, Stuart Presnell, Anthony J. Short, Berry Groisman
2007 Studies in history and philosophy of modern physics  
There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied  ...  We illustrate our results with the example of the logical transformation 'reset', and thereby recover the quantitative form of Landauer's Principle.  ...  Engineering and Physical Sciences Research Council (IRC in "Quantum Information Processing"). B.Groisman acknowledges support from the EU under European Commission project RESQ.  ... 
doi:10.1016/j.shpsb.2006.03.007 fatcat:zmpwzorygzdffnxdveky6kylky

Quantum computing: an introduction

T. Hey
1999 Computing & control engineering journal  
After some remarks on the fundamental physical nature of information, Bennett and Fredkin's ideas of reversible computation are introduced.  ...  This leads on to the suggestions of Benioff and Feynman as to the possibility of a new type of essentially 'quantum computers'.  ...  INTRODUCTION The fundamental basis of quantum computation is Landauer's observation that all information is ultimately physical [1, 2] .  ... 
doi:10.1049/cce:19990303 fatcat:y4n3m7d7mzd3bng2uif75666nq

Emergence, causation and storytelling: condensed matter physics and the limitations of the human mind [article]

S. J. Blundell
2016 arXiv   pre-print
The inherent physical limitations of the human mind are fundamental and restrict the way in which we can interact with and learn about the universe.  ...  The physics of matter in the condensed state is concerned with problems in which the number of constituent particles is vastly greater than can be easily comprehended.  ...  David Wallace and also to thank the Durham Emergence project for their hospitality at their summer conferences, during which some of these ideas were developed.  ... 
arXiv:1604.06845v1 fatcat:5t3tyjcfrraidk2vdsmo63xy5i

Groupoid Semantics for Thermal Computing [article]

Krzysztof Bar, Jamie Vicary
2014 arXiv   pre-print
We apply this to a syntactic model for encryption, and obtain an algebraic characterization of the heat produced by the encryption function, as predicted by Landauer's principle.  ...  A groupoid semantics is presented for systems with both logical and thermal degrees of freedom.  ...  There is significant ongoing debate in the philosophy of computation on the status of Landauer's principle [19, 21, 30] .  ... 
arXiv:1401.3280v2 fatcat:xqhjcl7zpveyfo4aoub25e56je

Indeterminism, causality and information: Has physics ever been deterministic? [article]

Flavio Del Santo
2021 arXiv   pre-print
We discuss here some of the issues of an alternative, indeterministic classical physics and their relation to the theory of information and the notion of causality.  ...  On the one hand, this leaves room for the many possibilities of an open future, yet, on the other, it brings into classical physics some of the conceptual issues typical of quantum mechanics, such as the  ...  I am indebted also to the many, interesting discussions held on the forum of FQXi Community during the 2020 Essay Contest.  ... 
arXiv:2003.07411v2 fatcat:mlp4gv4ntnec3k3p6wzkchwwnq

Towards a Coherent Theory of Physics and Mathematics [article]

Paul Benioff
2002 arXiv   pre-print
Other aspects of a coherent theory discussed include universal applicability, the relation to the anthropic principle, and possible uniqueness.  ...  Discussion of the necessary physical nature of language includes physical models of language and a proof that the meaning content of expressions of any axiomatizable theory seems to be independent of the  ...  Acknowledgements This work is supported by the U.S. Department of Energy, Nuclear Physics Division, under contract W-31-109-ENG-38.  ... 
arXiv:quant-ph/0201093v2 fatcat:zodkxcnawzf7vjzqe2wp5uwfii

Gigahertz Sub-Landauer Momentum Computing [article]

Kyle J. Ray, James P. Crutchfield
2022 arXiv   pre-print
Employing readily available and scalable Josephson junction microtechnology, the design implements the recently introduced paradigm of momentum computing.  ...  We introduce a fast and highly-efficient physically-realizable bit swap.  ...  JPC acknowledges the kind hospitality of the Santa Fe Institute, Institute for Advanced Study at the University of Amsterdam, and California Institute of Technology.  ... 
arXiv:2202.07122v1 fatcat:glea6kcjereyjo2ww356phvh2a

Physical Limits on Computation by Assemblies of Allosteric Proteins

John M. Robinson
2008 Physical Review Letters  
Assemblies of allosteric proteins, nano-scale Brownian computers, are the principle information processing devices in biology.  ...  TnC and TnI specialize in sensing (reading) and reporting (writing) tasks of computation. We have examined this complex using a newly developed phenomenological model of allostery.  ...  Acknowledgments This work was supported by the NIH and the European Union. I thank Herbert Cheung, Ryoichi Kawai, Raúl  ... 
doi:10.1103/physrevlett.101.178104 pmid:18999791 fatcat:ns7psadwvnetpcalkqairtzfri

Shannon entropy: a rigorous notion at the crossroads between probability, information theory, dynamical systems and statistical physics

ANNICK LESNE
2014 Mathematical Structures in Computer Science  
unevenness), computer sciences (algorithmic complexity), the ergodic theory of dynamical systems (Kolmogorov-Sinai or metric entropy) and statistical physics (Boltzmann entropy).  ...  The relevance of entropy beyond the realm of physics, in particular for living systems and ecosystems, is yet to be demonstrated.  ...  Acknowledgements This paper has benefited from my discussions with Pierre Cartier, Giuseppe Longo and Mioara Mugur-Schächter.  ... 
doi:10.1017/s0960129512000783 fatcat:tq2enk7yrngormc3womlrnpvk4

Quantum information is physical

D.P. DiVincenzo, D. Loss
1998 Superlattices and Microstructures  
a quantum computer out of the spin states of coupled quantum dots.  ...  We also discuss five general criteria which must be satisfied to implement a quantum computer in the laboratory, and we illustrate the application of these criteria by discussing our ideas for creating  ...  Landauer, Is quantum-mechanically coherent computation useful?, in Proc. Drexel-4 Symposium on  ... 
doi:10.1006/spmi.1997.0520 fatcat:lmiotia4jfa6pas6tkjbnczitq

Indeterministic finite-precision physics and intuitionistic mathematics [article]

Tein van der Lugt
2021 arXiv   pre-print
In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical  ...  We analyse the alternative theory of classical mechanics presented by Gisin and Del Santo, which suggests that physical quantities can equivalently be thought of as being only determined up to finite precision  ...  We discuss the status of the physical Church-Turing thesis in somewhat more detail in section 4.1.  ... 
arXiv:2108.05735v1 fatcat:yrpuc6jysndxxpknoo6cx2tctu
« Previous Showing results 1 — 15 out of 197 results