Related papers: Groupoid Semantics for Thermal Computing
The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the…
We present a fluctuation theorem for quantum bipartite systems in which the subsystems exchange information with each other. Our information fluctuation theorem includes correlations by introducing a quantum mechanical mutual information…
We give a method of describing thermodynamical transport phenomena, based on a quantum scattering theoretical approach. We consider a quantum system of particles connected to thermodynamical reservoirs by leads. The effects of the…
With the development of topological field theory, the mathematical tool of the tensor category was also introduced into physics. Traditional group theory corresponds to a special category,group category. Tensor categories can describe…
We develop a physics-based model for classical computation based on autonomous quantum thermal machines. These machines consist of few interacting quantum bits (qubits) connected to several environments at different temperatures. Heat flows…
It is often claimed, that from a quantum system of d levels, and entropy S and heat bath of temperature T one can draw kT(ln d -S) amount of work. However, the usual arguments based on Szilard engine are not fully rigorous. Here we prove…
We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our approach is based on groubits, generalizations of classical…
The theory of quantum thermodynamics investigates how the concepts of heat, work, and temperature can be carried over to the quantum realm, where fluctuations and randomness are fundamentally unavoidable. Of particular practical relevance…
This paper presents an equational theory for the QRAM model of quantum computation, formulated as an embedded language inside of homotopy type theory. The embedded language approach is highly expressive, and reflects the style of…
We investigate the link between information and thermodynamics embodied by Landauer's principle in the open dynamics of a multipartite quantum system. Such irreversible dynamics is described in terms of a collisional model with a finite…
We study thermalization in open quantum systems using the Lindblad formalism. A method that both thermalizes and couples to Lindblad operators only at edges of the system is introduced. Our method leads to a Gibbs state of the system,…
The theory of quantum thermodynamics investigates how the concepts of heat, work, and temperature can be carried over to the quantum realm, where fluctuations and randomness are fundamentally unavoidable. These lecture notes provide an…
Landauer's principle sets fundamental thermodynamical constraints for classical and quantum information processing, thus affecting not only various branches of physics, but also of computer science and engineering. Despite its importance,…
Quantum thermodynamics has emerged as a central field for understanding how energy conversion processes occur in microscopic systems. In these systems, effects such as coherence, entanglement, and non-Markovianity play key roles. In this…
Entropy can signify different things: For instance, heat transfer in thermodynamics or a measure of information in data analysis. Many entropies have been introduced and it can be difficult to ascertain their different importance and…
We introduce stochastic and quantum finite-state transducers as computation-theoretic models of classical stochastic and quantum finitary processes. Formal process languages, representing the distribution over a process's behaviors, are…
In this work we present a formalism to describe non equilibrium conditions in systems with a discretized energy spectrum, such as quantum systems. We develop a formalism based on a combination of Gibbs-Shannon entropy and information…
Landauer's principle bounds the heat generated by logical operations, but in practice the thermodynamic cost of computation is dominated by the control systems that implement logic. CMOS gates dissipate energy far above the Landauer bound,…
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…
We develop an exact quantum thermodynamic description for a noninteracting nanoscale steady state that couples strongly with multiple reservoirs. It is demonstrated that there exists a steady-state extension of the thermodynamic function…