Abstract:Circuit complexity, defined as the minimum circuit size required for implementing a particular Boolean computation, is a foundational concept in computer science. Determining circuit complexity is believed to be a hard computational problem [1]. Recently, in the context of black holes, circuit complexity has been promoted to a physical property, wherein the growth of complexity is reflected in the time evolution of the Einstein-Rosen bridge (``wormhole'') connecting the two sides of an AdS ``eternal'' black hole [2]. Here we explore another link between complexity and thermodynamics for circuits of given functionality, making the physics-inspired approach relevant to real computational problems, for which functionality is the key element of interest. In particular, our thermodynamic framework provides a new perspective on the obfuscation of programs of arbitrary length -- an important problem in cryptography -- as thermalization through recursive mixing of neighboring sections of a circuit, which can be viewed as the mixing of two containers with ``gases of gates''. This recursive process equilibrates the average complexity and leads to the saturation of the circuit entropy, while preserving functionality of the overall circuit. The thermodynamic arguments hinge on ergodicity in the space of circuits which we conjecture is limited to disconnected ergodic sectors due to fragmentation. The notion of fragmentation has important implications for the problem of circuit obfuscation as it implies that there are circuits with same size and functionality that cannot be connected via local moves. Furthermore, we argue that fragmentation is unavoidable unless the complexity classes NP and coNP coincide, a statement that implies the collapse of the polynomial hierarchy of computational complexity theory to its first level.

Stochastic thermodynamic bounds on logical circuit operation

Thermodynamics of computing with circuits

Stochastic Thermodynamics of Non-Linear Electronic Circuits: A Realistic Framework for Computing around kT

Thermodynamics of Computation for CMOS NAND Gate

Mismatch cost of computing: from circuits to algorithms

Thermodynamic costs of temperature stabilization in logically irreversible computation

An energy and information analysis method of logic gates based on stochastic thermodynamics

Thermodynamics of computations with absolute irreversibility, unidirectional transitions, and stochastic computation times

Time Symmetries of Memory Determine Thermodynamic Efficiency

Stochastic thermodynamics of computation

Modeling and Optimization of Low-Power AND Gates Based on Stochastic Thermodynamics

Circuit complexity and functionality: a thermodynamic perspective

Design of High Performance CMOS Logic Circuits with Low Temperature Sensitivity

Modeling and Optimization of XOR Gate Based on Stochastic Thermodynamics

Is stochastic thermodynamics the key to understanding the energy costs of computation?

Physical problems and limits in computer logic

Information Energy Ratio of XOR Logic Gate at Mesoscopic Scale

Controlled Erasure as a Building Block for Universal Thermodynamically-Robust Superconducting Computing

Logical stochastic resonance and energy consumption in stochastic Hodgkin–Huxley neuron system

Bennett clocking of quantum-dot cellular automata and the limits to binary logic scaling

Low Power Computing Using STT-MRAM