Circuit complexity and functionality: a thermodynamic perspective (2309.05731v2)
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.
- Circuit minimization problem. In Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, STOC ’00, page 73–79, New York, NY, USA, 2000. Association for Computing Machinery.
- Leonard Susskind. Three lectures on complexity and black holes, 2018.
- Quantum complexity and negative curvature. Phys. Rev. D, 95:045010, Feb 2017.
- Second law of quantum complexity. Phys. Rev. D, 97:086015, Apr 2018.
- Black holes as mirrors: quantum information in random subsystems. Journal of High Energy Physics, 2007(09):120, sep 2007.
- Towards general-purpose program obfuscation via local mixing. Cryptology ePrint Archive, Paper 2024/006, 2024.
- Candidate indistinguishability obfuscation and functional encryption for all circuits. SIAM J. Comput., 45(3):882–929, 2016.
- Indistinguishability obfuscation from functional encryption. IACR Cryptol. ePrint Arch., page 163, 2015.
- Achieving compactness generically: Indistinguishability obfuscation from non-compact functional encryption. IACR Cryptol. ePrint Arch., page 730, 2015.
- Indistinguishability obfuscation with non-trivial efficiency. In Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, and Bo-Yin Yang, editors, Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II, volume 9615 of Lecture Notes in Computer Science, pages 447–462. Springer, 2016.
- Combinatorial Group Theory. Springer-Verlag, Berlin, 2001.
- The Geometry of the Word Problem for Finitely Generated Groups. Birkhauser, Basel, 2006.
- Linear growth of quantum circuit complexity. Nature Physics, 18(5):528–532, March 2022.
- Zhi Li. Short proofs of linear growth of quantum circuit complexity, 2022.
- Approximate unitary t-designs by short random quantum circuits using nearest-neighbor and long-range gates. Communications in Mathematical Physics, 401(2):1531–1626, May 2023.
- Scrambling speed of random quantum circuits, 2013.
- Decoupling with random quantum circuits. Communications in Mathematical Physics, 340(3):867–900, September 2015.
- Diffusive hydrodynamics of out-of-time-ordered correlators with charge conservation. Phys. Rev. X, 8:031058, Sep 2018.
- Operator spreading and the emergence of dissipative hydrodynamics under unitary evolution with conservation laws. Phys. Rev. X, 8:031057, Sep 2018.
- Unitary k-designs from random number-conserving quantum circuits, 2023.
- F. Ritort and P. Sollich. Glassy dynamics of kinetically constrained models. Advances in Physics, 52(4):219–342, June 2003.
- Quantum many-body scars and hilbert space fragmentation: a review of exact results. Reports on Progress in Physics, 85(8):086501, July 2022.
- Localization from hilbert space shattering: From theory to physical realizations. Phys. Rev. B, 101:174204, May 2020.
- Hilbert space fragmentation and commutant algebras. Phys. Rev. X, 12:011050, Mar 2022.
- Hilbert-space fragmentation from strict confinement. Phys. Rev. Lett., 124:207602, May 2020.
- Universal quantum gates, 2001.
- Quantum computation and quantum information. Cambridge University Press, Cambridge, UK, 2010.