Related papers: Groupoid Semantics for Thermal Computing
We review the heuristic arguments suggesting that any thermal quantum field theory, which can be interpreted as a quantum statistical mechanics of (interacting) relativistic particles, obeys certain restrictions on its number of local…
The issue of thermalization in open quantum systems is explored from the perspective of fermion models with quadratic couplings and linear baths. Both the thermodynamic state and the stationary solution of the Lindblad equation are rendered…
Categories with families (CwFs) have been used to define the semantics of type theory in type theory. In the setting of Homotopy Type Theory (HoTT), one of the limitations of the traditional notion of CwFs is the requirement to set-truncate…
Recent studies have highlighted the combination of tensor network methods and the stabilizer formalism as a very effective framework for simulating quantum many-body systems, encompassing areas from ground state to time evolution…
A data classifier is the basic structural unit of an artificial neural network. These classifiers, known as perceptron, make an output prediction over the linear summation of the input information. Quantum versions of artificial neural…
Establishing a description for confinement is not something simple. In order to try to understand a little about this phenomenon, we will explore the thermodynamics of models that try to describe it in terms of propagators with violation of…
We formulate the general approach based on the Lindblad equation to calculate the full counting statistics of work and heat produced by driven quantum systems weakly coupled with a Markovian thermal bath. The approach can be applied to a…
This article sets up a formalism to describe stochastic thermodynamics for driven out-of-equilibrium open quantum systems. A stochastic Schr\"odinger equation allows to construct quantum trajectories describing the dynamics of the system…
We define and investigate the concept of the groupoid representation induced by a representation of the isotropy subgroupoid. Groupoids in question are locally compact transitive topological groupoids. We formulate and prove the…
We derive the semiclassical series for the partition function of a one-dimensional quantum-mechanical system consisting of a particle in a single-well potential. We do this by applying the method of steepest descent to the path-integral…
We give explicit computations of the $\Gamma$-Euler characteristic of several families of orbit space definable translation groupoids. These include the translation groupoids associated to finite-dimensional linear representations of the…
Universality of classical thermodynamics rests on the central limit theorem, due to which, measurements of thermal fluctuations are unable to reveal detailed information regarding the microscopic structure of a macroscopic body. When small…
This document explores the potential of quantum computing in Thermal Science. Conceived as a living document, it will be continuously updated with experimental findings and insights for the research community in Thermal Science. By…
In this work we theoretically study properties of electric current driven by a temperature gradient through a quantum dot/molecule coupled to the source and drain charge reservoirs. We analyze the effect of Coulomb interactions between…
Using Butz and Moerdijk's topological groupoid representation of a topos with enough points, a `syntax-semantics' duality for geometric theories is constructed. The emphasis is on a logical presentation, starting with a description of the…
The Landauer principle states that any logically irreversible information processing must be accompanied by dissipation into the environment. In this study, we investigate the heat dissipation associated with finite-time information erasure…
Cabello et al. claim to have proven the existence of an empirically verifiable difference between two broad classes of quantum interpretations. On the basis of three seemingly uncontentious assumptions, (i) the possibility of randomly…
We develop analytical and numerical methods for the matrix thermofield in the large $N$ limit. Through the double collective representation on the Schwinger-Keldysh contour, it provides thermodynamical properties and finite temperature…
Landauer's principle provides a perspective on the physical meaning of information as well as on the minimum working cost of information processing. Whereas most studies have related the decrease in entropy during a computationally…
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz \& Gabbay (1994) as `sequences of rewrites', computational paths can be seen as the grounds on which the…