第12次 아시아ㆍ太平洋 矯政局長會議 參加記

By its very nature, the second law of thermodynamics is probabilistic, in that its formulation requires a probabilistic description of the state of a system. This raises questions about the objectivity of the second law: does it depend, for example, on what we know about the system? For over a century, much effort has been devoted to incorporating information into thermodynamics and assessing the entropic and energetic costs of manipulating information. More recently, this historically theoretical pursuit has become relevant in practical situations where information is manipulated at small scales, such as in molecular and cell biology, artificial nano-devices or quantum computation. Here we give an introduction to a novel theoretical framework for the thermodynamics of information based on stochastic thermodynamics and fluctuation theorems, review some recent experimental results, and present an overview of the state of the art in the field. The task of integrating information into the framework of thermodynamics dates back to Maxwell and his infamous demon. Recent advances have made these ideas rigorous—and brought them into the laboratory.

/pdf/thermodynamics-of-information-tfsklm0odf.pdf

Thermodynamics of information

The simple act of slowly varying the parameters of a quantum system so that it remains always in its ground state is extremely rich from an information processing point of view. For an ideal, closed system, this adiabatic evolution is equivalent to full quantum computation, and it is convenient for establishing quantum algorithms for optimization. This review presents adiabatic quantum algorithms, proves the closed-system equivalence of the adiabatic and circuit models of quantum computation, reviews the placement of adiabatic quantum computation in the more general classification of computational complexity theory, and discusses the case of ``stoquastic'' quantum evolutions.

Adiabatic quantum computation

Nonperturbative quantum gravity

Asymptotic safety describes a scenario in which general relativity can be quantized as a conventional field theory, despite being nonrenormalizable when expanding it around a fixed background geometry. It is formulated in the framework of the Wilsonian renormalization group and relies crucially on the existence of an ultraviolet fixed point, for which evidence has been found using renormalization group equations in the continuum. 
"Causal Dynamical Triangulations" (CDT) is a concrete research program to obtain a nonperturbative quantum field theory of gravity via a lattice regularization, and represented as a sum over spacetime histories. In the Wilsonian spirit one can use this formulation to try to locate fixed points of the lattice theory and thereby provide independent, nonperturbative evidence for the existence of a UV fixed point. 
We describe the formalism of CDT, its phase diagram, possible fixed points and the "quantum geometries" which emerge in the different phases. We also argue that the formalism may be able to describe a more general class of Ho\v{r}ava-Lifshitz gravitational models.

Nonperturbative Quantum Gravity

We extend the discrete Regge action of causal dynamical triangulations to include discrete versions of the curvature squared terms appearing in the continuum action of (2+1)-dimensional projectable Horava-Lifshitz gravity. Focusing on an ensemble of spacetimes whose spacelike hypersurfaces are 2-spheres, we employ Markov chain Monte Carlo simulations to study the path integral defined by this extended discrete action. We demonstrate the existence of known and novel macroscopic phases of spacetime geometry, and we present preliminary evidence for the consistency of these phases with solutions to the equations of motion of classical Horava-Lifshitz gravity. Apparently, the phase diagram contains a phase transition between a time-dependent de Sitter-like phase and a time-independent phase. We speculate that this phase transition may be understood in terms of deconfinement of the global gravitational Hamiltonian integrated over a spatial 2-sphere.

Quantizing Horava-Lifshitz Gravity via Causal Dynamical Triangulations

A deeper understanding of nonequilibrium phenomena is needed to reveal the principles governing natural and synthetic molecular machines. Recent work has shown that when a thermodynamic system is driven from equilibrium then, in the linear response regime, the space of controllable parameters has a Riemannian geometry induced by a generalized friction tensor. We exploit this geometric insight to construct closed-form expressions for minimal-dissipation protocols for a particle diffusing in a one-dimensional harmonic potential, where the spring constant, inverse temperature, and trap location are adjusted simultaneously. These optimal protocols are geodesics on the Riemannian manifold and reveal that this simple model has a surprisingly rich geometry. We test these optimal protocols via a numerical implementation of the Fokker-Planck equation and demonstrate that the friction tensor arises naturally from a first-order expansion in temporal derivatives of the control parameters, without appealing directly to linear response theory.

https://link.aps.org/accepted/10.1103/PhysRevE.86.041148

Geometry of thermodynamic control.

Information erasure inevitably leads to the generation of heat. Minimizing this dissipation will be crucial for developing small-scale information processing systems, but little is known about the optimal procedures required. We have obtained closed-form expressions for maximally efficient erasure cycles for deletion of a classical bit of information stored by the position of a particle diffusing in a double-well potential. We find that the extra heat generated beyond the Landauer bound is proportional to the square of the Hellinger distance between the initial and final states divided by the cycle duration, which quantifies how far out of equilibrium the system is driven. Finally, we demonstrate close agreement between the exact optimal cycle and the protocol found using a linear response framework.

Optimal finite-time erasure of a classical bit.

/pdf/geometry-of-thermodynamic-control-1llyry2fjc.pdf

Geometry of thermodynamic control

Nonequilibrium physics encompasses a broad range of natural and synthetic small-scale systems. Optimizing transitions of such systems will be crucial for the development of nanoscale technologies and may reveal the physical principles underlying biological processes at the molecular level. Recent work has demonstrated that when a thermodynamic system is driven away from equilibrium then the space of controllable parameters has a Riemannian geometry induced by a generalized inverse diffusion tensor. We derive a simple, compact expression for the inverse diffusion tensor that depends solely on equilibrium information for a broad class of potentials. We use this formula to compute the minimal dissipation for two model systems relevant to small-scale information processing and biological molecular motors. In the first model, we optimally erase a single classical bit of information modeled by an overdamped particle in a smooth double-well potential. In the second model, we find the minimal dissipation of a simple molecular motor model coupled to an optical trap. In both models, we find that the minimal dissipation for the optimal protocol of duration τ is proportional to 1/τ, as expected, though the dissipation for the erasure model takes a different form than what we found previously for a similar system.

Patrick R. Zulkowski

Papers

Quantizing Horava-Lifshitz Gravity via Causal Dynamical Triangulations

Geometry of thermodynamic control.

Optimal finite-time erasure of a classical bit.

Geometry of thermodynamic control

Optimal control of overdamped systems