Related papers: Groupoid Semantics for Thermal Computing
We obtain an analytical expression for the heat current between two overdamped quantum oscillators interacting with local thermal baths at different temperatures. The total heat current is split into classical and quantum contributions. We…
We present a formal algebraic language to deal with quantum deformations of Lie-Rinehart algebras - or Lie algebroids, in a geometrical setting. In particular, extending the ice-breaking ideas introduced by Xu in [Ping Xu, "Quantum…
Landauer's principle bridges information theory and thermodynamics by linking the entropy change of a system during a process to the average energy dissipated to its environment. Although typically discussed in the context of erasing a…
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning…
Landauer's principle laid the main foundation for the development of modern thermodynamics of information. However, in its original inception the principle relies on semiformal arguments and dissipative dynamics. Hence, if and how…
In this article it is introduced a theoretical model made in order to perform calculations of the quantum heat of a body that could be acquired or delivered during a thermal transformation of its quantum states. Here the model is mainly…
Thermodynamics is based on a coarse-grained approach, from which its fundamental variables emerge, effectively erasing the complicate details of the microscopic dynamics within a macroscopic system. The strength of Thermodynamics lies in…
Classical thermodynamics is unrivalled in its range of applications and relevance to everyday life. It enables a description of complex systems, made up of microscopic particles, in terms of a small number of macroscopic quantities, such as…
Thermodynamics, which describes vast systems, has been reconciled with small scales, relevant to single-molecule experiments, in resource theories. Resource theories have been used to model exchanges of energy and information. Recently,…
We discuss in general how to geometrically visualize a qudit system, with a particular interest in thermal states. The principle of maximum entropy is used to study the geometric properties of an ensemble of finite dimensional Hamiltonian…
In 1964 J. M. Luttinger introduced a model for the quantum thermal transport. In this paper we study the spectral theory of the Hamiltonian operator associated to the Luttinger's model, with a special focus at the one-dimensional case. It…
A framework to describe a broad class of physical operations (including unitary transformations, dissipation, noise, and measurement) in a quantum optics experiment is given. This framework provides a powerful tool for assessing the…
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound…
We present our recent studies on thermal field theories using quantum algorithms. We first delve into the representation of quantum fields via qubits on general digital quantum computers alongside the quantum algorithms employed to evaluate…
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input.…
Heat and work are fundamental concepts for thermodynamical systems. When these are scaled down to the quantum level they require appropriate embeddings. Here we show that the dependence of the particle spectrum on system size giving rise to…
The thermodynamics of small quantum many-body systems strongly coupled to a heat bath at low temperatures with non-Markovian behavior are new challenges for quantum thermodynamics, as traditional thermodynamics is built on large systems…
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences or rewrites', computational paths are taken to be terms of the identity type of…
It is demonstrated how to construct a Galois connection between two related systems with entropy. The construction, called the Landauer's connection, describes coupling between two systems with entropy. It is straightforward and transfers…
In this paper, we extend the heat kernel methods to the first-order formalism of gravity, specifically, in the language of differential forms. This allows us to compute the effective dynamics of 4D gravity when the tetrad degrees of freedom…