Dependence of integrated, instantaneous, and fluctuating entropy production on the initial state in quantum and classical processes

Maximizing Free Energy Gain

Maximizing the amount of work harvested from an environment is important for a wide variety of biological and technological processes, from energy-harvesting processes such as photosynthesis to energy storage systems such as fuels and batteries. Here, we consider the maximization of free energy-and by extension, the maximum extractable work-that can be gained by a classical or quantum system that undergoes driving by its environment. We consider how the free energy gain depends on the initial state of the system while also accounting for the cost of preparing the system. We provide simple necessary and sufficient conditions for increasing the gain of free energy by varying the initial state. We also derive simple formulae that relate the free energy gained using the optimal initial state rather than another suboptimal initial state. Finally, we demonstrate that the problem of finding the optimal initial state may have two distinct regimes, one easy and one difficult, depending on the temperatures used for preparation and work extraction. We illustrate our results on a simple model of an information engine.

Generalized Zurek's bound on the cost of an individual classical or quantum computation

We consider the minimal thermodynamic cost of an individual computation, where a single input x is mapped to a single output y. In prior work, Zurek proposed that this cost was given by K(x|y), the conditional Kolmogorov complexity of x given y (up to an additive constant that does not depend on x or y). However, this result was derived from an informal argument, applied only to deterministic computations, and had an arbitrary dependence on the choice of protocol (via the additive constant). Here we use stochastic thermodynamics to derive a generalized version of Zurek's bound from a rigorous Hamiltonian formulation. Our bound applies to all quantum and classical processes, whether noisy or deterministic, and it explicitly captures the dependence on the protocol. We show that K(x|y) is a minimal cost of mapping x to y that must be paid using some combination of heat, noise, and protocol complexity, implying a trade-off between these three resources. Our result is a kind of "algorithmic fluctuation theorem" with implications for the relationship between the second law and the Physical Church-Turing thesis.

Stochastic Thermodynamics of Multiple Co-Evolving Systems-Beyond Multipartite Processes

Many dynamical systems consist of multiple, co-evolving subsystems (i.e., they have multiple degrees of freedom). Often, the dynamics of one or more of these subsystems will not directly depend on the state of some other subsystems, resulting in a network of dependencies governing the dynamics. How does this dependency network affect the full system's thermodynamics? Prior studies on the stochastic thermodynamics of multipartite processes have addressed this question by assuming that, in addition to the constraints of the dependency network, only one subsystem is allowed to change state at a time. However, in many real systems, such as chemical reaction networks or electronic circuits, multiple subsystems can-or must-change state together. Here, we investigate the thermodynamics of such composite processes, in which multiple subsystems are allowed to change state simultaneously. We first present new, strictly positive lower bounds on entropy production in composite processes. We then present thermodynamic uncertainty relations for information flows in composite processes. We end with strengthened speed limits for composite processes.

Information-geometric structure for chemical thermodynamics: An explicit construction of dual affine coordinates

We construct an information-geometric structure for chemical thermodynamics, applicable to a wide range of chemical reaction systems including nonideal and open systems. For this purpose, we explicitly construct dual affine coordinate systems, which completely designate an information-geometric structure, using the extent of reactions and the affinities of reactions as coordinates on a linearly constrained space of amounts of substances. The resulting structure induces a metric and a divergence (a function of two distributions of amounts), both expressed with chemical potentials. These quantities have been partially known for ideal-dilute solutions, but their extensions for nonideal solutions and the complete underlying structure are novel. The constructed geometry is a generalization of dual affine coordinates for stochastic thermodynamics. For example, the metric and the divergence are generalizations of the Fisher information and the Kullback-Leibler divergence. As an application, we identify the chemical-thermodynamic analog of the Hatano-Sasa excess entropy production using our divergence.