Localizability of the approximation method

TL;DR

This paper investigates the limitations of Razborov's approximation method in complexity theory, demonstrating it cannot be combined with certain hardness magnification techniques to achieve strong circuit lower bounds.

Contribution

It adapts Razborov's limitations to show the approximation method's localizability prevents deriving certain strong lower bounds via magnification.

Findings

Approximation method bounds are localizable.

Cannot derive strong circuit lower bounds using this method with magnification.

Limits the applicability of the approximation method in complexity lower bounds.

Abstract

We use the approximation method of Razborov to analyze the locality barrier which arose from the investigation of the hardness magnification approach to complexity lower bounds. Adapting a limitation of the approximation method obtained by Razborov, we show that in many cases it is not possible to combine the approximation method with typical (localizable) hardness magnification theorems to derive strong circuit lower bounds. In particular, one cannot use the approximation method to derive an extremely strong constant-depth circuit lower bound and then magnify it to an $NC^1$ lower bound for an explicit function. To prove this we show that lower bounds obtained by the approximation method are in many cases localizable in the sense that they imply lower bounds for circuits which are allowed to use arbitrarily powerful oracles with small fan-in.