Circuit complexity and functionality: a thermodynamic perspective

09/11/2023
by   Claudio Chamon, et al.
0

We explore a link between complexity and physics for circuits of given functionality. Taking advantage of the connection between circuit counting problems and the derivation of ensembles in statistical mechanics, we tie the entropy of circuits of a given functionality and fixed number of gates to circuit complexity. We use thermodynamic relations to connect the quantity analogous to the equilibrium temperature to the exponent describing the exponential growth of the number of distinct functionalities as a function of complexity. This connection is intimately related to the finite compressibility of typical circuits. Finally, we use the thermodynamic approach to formulate a framework for 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 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 complexity theory to its first level.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/18/2022

The Complexity of Quantum Circuit Mapping with Fixed Parameters

A quantum circuit must be preprocessed before implementing on NISQ devic...
research
02/04/2020

Pseudo-dimension of quantum circuits

We characterize the expressive power of quantum circuits with the pseudo...
research
10/13/2022

Computing the Best Case Energy Complexity of Satisfying Assignments in Monotone Circuits

Measures of circuit complexity are usually analyzed to ensure the comput...
research
02/08/2022

The Soft Compiler: A Web-Based Tool for the Design of Modular Pneumatic Circuits for Soft Robots

Developing soft circuits from individual soft logic gates poses a unique...
research
02/27/2020

Estimating the entropy of shallow circuit outputs is hard

The decision problem version of estimating the Shannon entropy is the En...
research
02/14/2019

Estimating the Circuit Deobfuscating Runtime based on Graph Deep Learning

Circuit obfuscation is a recently proposed defense mechanism to protect ...
research
11/22/2017

BILBO-friendly Hybrid BIST Architecture with Asymmetric Polynomial Reseeding

By advances in technology, integrated circuits have come to include more...

Please sign up or login with your details

Forgot password? Click here to reset