Related papers: Groupoid Semantics for Thermal Computing

We study the heat transport due to phonons in nanomechanical structures using a phase space representation of non-equilibrium Green's functions. This representation accounts for the atomic degrees of freedom making it particularly suited…

A general expression for the temperature of a finite-dimensional quantum system is deduced from thermodynamic arguments. At equilibrium, this magnitude coincides with the standard thermodynamic temperature. Furthermore, it is well-defined…

We build an exact framework to evaluate heat, energy, and particle transport between Gaussian reservoirs mediated by a quadratic quantum system. By combining full counting statistics with newly developed non-Markovian master equation…

Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are…

We present a systematic procedure to derive a quantum master equation for thermal relaxation in real scalar field theory, expanding on the method proposed in [Koide and Nicacio, Phys. Lett. A494, 129277 (2024)]. We begin by introducing a…

In this article it will be introduced a new theorem, can be considered a generalization of Hellmann-Feynman theorem[1]. The latter used in conjunction with the quantization of the free energy[2] of a quantum system allows to derive…

We consider the problem of semantic security via classical-quantum and quantum wiretap channels and use explicit constructions to transform a non-secure code into a semantically secure code, achieving capacity by means of biregular…

We consider here a class of groupoids obtained via an equivalence relation (the subgroupoids of pair groupoids). We generalize to Haar Systems in these groupoids some results related to entropy and pressure which are well known in…

It is an established fact that quantum coherences have thermodynamic value. The natural question arises, whether other genuine quantum properties such as entanglement can also be exploited to extract thermodynamic work. In the present…

In a generalized framework for the Landauer erasure protocol, we study bounds on the heat dissipated in typical nonequilibrium quantum processes. In contrast to thermodynamic processes, quantum fluctuations are not suppressed in the…

Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids…

This paper presents a model for linguistic description based on group theory. A grammar in this model, or "G-grammar", is a collection of lexical expressions which are products of logical forms, phonological forms, and their inverses.…

Several recent results on thermodynamics have been obtained using the tools of quantum information theory and resource theories. So far, the resource theories utilised to describe thermodynamics have assumed the existence of an infinite…

Landauer's erasure principle states that the irreversible erasure of a one-bit memory, embedded in a thermal environment, is accompanied with a work input of at least $k_{\text{B}}T\ln2$. Fundamental to that principle is the assumption that…

We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, statistical mechanical entropy, and specific heat, into algorithmic…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about computation. It provides a computational model equivalent to the Turing machine, and continues to be of…

Any quantum operation applied on a physical system is performed as a unitary transformation on a larger extended system. If the extension used is a heat bath in thermal equilibrium, the concomitant change in the state of the bath…

This work concerns the statistics of the Two-Time Measurement definition of heat variation in each reservoir of a thermodynamic quantum system. We study the cumulant generating function of the heat flows in the thermodynamic and large-time…

Thermofield dynamics (TFD) approach is a real time quantum field method for dealing with finite temperature quantum states in a purified version of usual density operator formalism at finite temperature. In the domain of quantum…