Physics Main Calendar

View Full Calendar

The Anthony J Leggett Institute for Condensed Matter Physics Special Seminar: Circuit Complexity and Functionality: A Thermodynamic Perspective

Event Type
Seminar/Symposium
Sponsor
Physics Department
Location
ESB 190
Date
Feb 29, 2024   12:00 pm  
Speaker
Claudio Chamon, Boston University
Contact
Ljubica Milutinovic
E-Mail
ljubicam@illinois.edu
Phone
217-300-6393
Views
75
Originating Calendar
Physics - The Anthony J Leggett Institute for Condensed Matter Theory Seminar

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. 

link for robots only