The Switching Lemma shows what the Switching Lemma cannot prove: an unconditional natural-proofs barrier

2026-06-10

AI Summary

This work investigates the fundamental limitations of AC⁰ natural proofs in surpassing lower bounds for constant-depth Boolean circuits. By integrating a localized Trevisan–Xue pseudorandom generator with the Switching Lemma, the paper establishes—unconditionally for the first time—that no AC⁰ natural proof can exceed the lower bound of \(2^{n^{7/(d-5)}}\). This result exposes an inherent self-referential limitation of the Switching Lemma and establishes an unconditional barrier that closely approaches the current best-known lower bound of \(2^{n^{1/(d-1)}}\). The analysis quantitatively characterizes the intrinsic bottleneck of the AC⁰ natural proof framework, delineating a clear boundary on its capability to prove stronger circuit lower bounds within this setting.

Abstract

Razborov and Rudich (JCSS'97) observed that all known lower-bound proofs follow a certain pattern: when showing that a function $F$ is hard, along the way the proof provides us with a distinguisher, namely, an efficient algorithm which can distinguish easy functions from random functions. They called such lower-bound proofs natural proofs. They then showed a natural-proofs barrier: under standard cryptographic assumptions, natural proofs cannot show superpolynomial lower-bounds against Boolean circuits. Along similar lines it can be shown that under a suitable cryptographic assumption, natural proofs cannot significantly improve the current state-of-the-art lower bound against constant depth circuits (AC0). The state of the art, using Håstad's Switching Lemma (SL), is $2^{n^{1/(d-1)}}$ for depth-$d$ circuits, and (conditionally) no natural proof can prove lower bounds of $2^{n^{c/d}}$ for some large constant $c$. In this paper we revisit the natural-proofs barrier from an $\textit{unconditional}$ perspective. We focus on AC0-natural proofs, i.e. proofs whose distinguishers are computable by AC0 circuits. Razborov and Rudich observed that lower bounds based on SL are AC0-natural. We show that this is true for most known lower-bound techniques against constant-depth circuits. We then establish an unconditional barrier for such proofs. By localizing the Trevisan--Xue pseudorandom generator, we are able to show that no AC0-natural proof can prove a lower bound greater than $2^{n^{7/(d-5)}}$ against depth-$d$ circuits. This is in the same quantitative regime as the SL frontier which instead has $1/(d-1)$ in the power of $n$. The proof has a striking self-referential aspect: the proof of security of the Trevisan--Xue generator crucially relies on SL, and so SL has been used to show that AC0-natural proofs, such as SL itself, cannot prove AC0 lower bounds better than that of SL.

Problem

• natural proofs
• AC0 circuits
• circuit lower bounds
• Switching Lemma
• unconditional barrier

Innovation

• natural proofs
• AC0 circuits
• Switching Lemma
• unconditional barrier
• pseudorandom generators