Related papers: Computable thermodynamic formalism
For a smooth map f of a compact interval I admitting an inducing scheme we establish a thermodynamical formalism, i.e., describe a class of real-valued potential functions $\phi$ on I which admit a unique equilibrium measure $\mu_\phi$. Our…
Stochastic thermodynamics extends the notions and relations of classical thermodynamics to small systems that experience strong fluctuations. The definitions of work and heat and the microscopically reversible condition are two key concepts…
The large-deviation method can be used to study the measurement trajectories of open quantum systems. For optical arrangements this formalism allows to describe the long time properties of the (non-equilibrium) photon counting statistics in…
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider…
This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…
In this paper we study the ergodic theory of a robust non-uniformly expanding maps where no Markov assumption is required. We prove that the topological pressure is differentiable as a function of the dynamics and analytic with respect to…
The relationship between the thermodynamic and computational characteristics of dynamical physical systems has been a major theoretical interest since at least the 19th century, and has been of increasing practical importance as the…
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for…
We study a two dimensional Ising model between thermostats at different temperatures. By applying the recently introduced KQ dynamics, we show that the system reaches a steady state with coexisting phases transversal to the heat flow. The…
Within the framework of relativistic quantum field theory, a novel method is established which allows to distinguish non-equilibrium states admitting locally a thermodynamic interpretation. The basic idea is to compare these states with…
Thermodynamic probes can be used to deduce microscopic internal dynamics of nanoscale quantum systems. Several direct entropy measurement protocols based on charge transport measurements have been proposed and experimentally applied to…
The thermodynamic definition of entropy can be extended to nonequilibrium systems based on its relation to information. To apply this definition in practice requires access to the physical system's microstates, which may be prohibitively…
The resource theory of thermal operations, an established model for small-scale thermodynamics, provides an extension of equilibrium thermodynamics to nonequilibrium situations. On a lattice of any dimension with any translation-invariant…
Measurement-based quantum computation utilizes an initial entangled resource state and proceeds with subsequent single-qubit measurements. It is implicitly assumed that the interactions between qubits can be switched off so that the…
Experience collected in mesoscopic dynamic modeling of externally driven systems indicates absence of potentials that could play role of equilibrium or nonequilibrium thermodynamic potentials yet their thermo-dynamics-like modeling is often…
Equilibrium thermodynamics is combined with Jarzynski's irreversible work theorem to quantify the excess entropy produced by irreversible processes. The resulting rectified form of the second law parallels the first law, in the sense that…
A measurement-based quantum computer could consist of a local-gapped Hamiltonian system, whose thermal states --at sufficiently low temperature-- are universal resources for the computation. Initialization of the computer would correspond…
We consider the thermodynamic formalism of a complex rational map $f$ of degree at least two, viewed as a dynamical system acting on the Riemann sphere. More precisely, for a real parameter $t$ we study the (non-)existence of equilibrium…
We study the nonextensive thermodynamics for open systems. On the basis of the maximum entropy principle, the dual power-law q-distribution functions are re-deduced by using the dual particle number definitions and assuming that the…
The physical foundations of a variety of emerging technologies --- ranging from the applications of quantum entanglement in quantum information to the applications of nonequilibrium bulk and interface phenomena in microfluidics, biology,…