Generalized Zurek's bound on the cost of an individual classical or quantum computation
We consider the minimal thermodynamic cost of an individual computation, where a single input is mapped to a single output . In prior work, Zurek proposed that this cost was given by (|), the conditional Kolmogorov complexity of given (up to an additive constant that does not depend on or ). Howeve...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2023 |
| País: | España |
| Institución: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:10230/70268 |
| Acceso en línea: | http://hdl.handle.net/10230/70268 http://dx.doi.org/10.1103/PhysRevE.108.034101 |
| Access Level: | acceso abierto |
| Palabra clave: | Sistemes estocàstics Termodinàmica Sistemes hamiltonians |
| Sumario: | We consider the minimal thermodynamic cost of an individual computation, where a single input is mapped to a single output . In prior work, Zurek proposed that this cost was given by (|), the conditional Kolmogorov complexity of given (up to an additive constant that does not depend on or ). However, this result was derived from an informal argument, applied only to deterministic computations, and had an arbitrary dependence on the choice of protocol (via the additive constant). Here we use stochastic thermodynamics to derive a generalized version of Zurek's bound from a rigorous Hamiltonian formulation. Our bound applies to all quantum and classical processes, whether noisy or deterministic, and it explicitly captures the dependence on the protocol. We show that (|) is a minimal cost of mapping to that must be paid using some combination of heat, noise, and protocol complexity, implying a trade-off between these three resources. Our result is a kind of “algorithmic fluctuation theorem” with implications for the relationship between the second law and the Physical Church-Turing thesis. |
|---|