Related papers: A Thermodynamically Universal Turing Machine
The aim of this book chapter is to indicate how quantum phenomena are affecting the operation of microscopic thermal machines, such as engines and refrigerators. As converting heat to work is one of the fundamental concerns in…
All physical systems in equilibrium obey the laws of thermodynamics. In other words, whatever the precise nature of the interaction between the atoms and molecules at the microscopic level, at the macroscopic level, physical systems exhibit…
We study the paradoxical aspects of closed time-like curves and their impact on the theory of computation. After introducing the $\text{TM}_\text{CTC}$, a classical Turing machine benefiting CTCs for backward time travel, Aaronson et al.…
Recently, heat manipulation has gained the attention of scientific community due to its several applications. In this letter, based on transformation thermodynamic (TT) methodology, a novel material, which is called thermal-null medium…
Preparing general relativity for quantization in the Hamiltonian approach leads to the `problem of time,' rendering the world fundamentally timeless. One proposed solution is the `thermal time hypothesis,' which defines time in terms of…
The explanation of the apparent universality of thermodynamics points toward the extension of the usual conceptual background of the second law. Arguments are collected that a basic guiding idea of stability of thermodynamic equilibrium…
We are discussing a universal non-unitary map M subsequent to a generic unitary map U, whose von Neumann entropy gain coincides with the calculated thermodynamic entropy production. For many-body quantum reservoirs we prove that M can be…
The thermodynamic uncertainty relation (TUR) provides a universal entropic bound for the precision of the fluctuation of the charge transfer for example for a class of continuous time stochastic processes. However, its extension to general…
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We revisit Goldin, Smolka hypothesis that persistent Turing machine (PTM) can capture the intuitive notion of sequential interaction computation.…
We construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolutions, would contradict the Church-Turing thesis which lies at the foundation of computer…
Universality is one of the most important ideas in computability theory. There are various criteria of simplicity for universal Turing machines. Probably the most popular one is to count the number of states/symbols. This criterion is more…
Infinite time Turing machines (ITTMs) have been introduced by Hamkins and Lewis in their seminal article arXiv:math/9808093. The strength of the model comes from a limit rule which allows the ITTM to compute through ordinal stages. This…
Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and…
In analogy to Brownian computers we explicitly show how to construct stochastic models, which mimic the behaviour of a general purpose computer (a Turing machine). Our models are discrete state systems obeying a Markovian master equation,…
One of the principal objectives of quantum thermodynamics is to explore quantum effects and their potential beneficial role in thermodynamic tasks like work extraction or refrigeration. So far, even though several papers have already shown…
A remarkable new definition of a self-delimiting universal Turing machine is presented that is easy to program and runs very quickly. This provides a new foundation for algorithmic information theory. This new universal Turing machine is…
Algorithmic entropy can be seen as a special case of entropy as studied in statistical mechanics. This viewpoint allows us to apply many techniques developed for use in thermodynamics to the subject of algorithmic information theory. In…
Thermodynamic uncertainty relations (TURs) place strict bounds on the fluctuations of thermodynamic quantities in terms of the associated entropy production. In this work we identify the tightest (and saturable) matrix-valued TUR that can…
Machine learning presents a general, systematic framework for the generation of formal theoretical models for physical description and prediction. Tentatively standard linear modeling techniques are reviewed; followed by a brief discussion…
The singularities prevalent in classical thermodynamics largely stem from the "postulate of equal a priori probabilities" neglecting the physical constraints imposed by computational complexity. This paper introduces Complexity Window…