ECCC-Report TR23-175https://eccc.weizmann.ac.il/report/2023/175Comments and Revisions published for TR23-175en-usWed, 15 Nov 2023 23:51:21 +0200
Paper TR23-175
| The Non-Uniform Perebor Conjecture for Time-Bounded Kolmogorov Complexity is False |
Noam Mazor,
Rafael Pass
https://eccc.weizmann.ac.il/report/2023/175The Perebor (Russian for “brute-force search”) conjectures, which date back to the 1950s and 1960s are some of the oldest conjectures in complexity theory. The conjectures are a stronger form of the NP ? = P conjecture (which they predate) and state that for “meta-complexity” problems, such as the Time-bounded Kolmogorov complexity Problem, and the Minimum Circuit Size Problem, there are no better algorithms than brute force search.
In this paper, we disprove the non-uniform version of the Perebor conjecture for the Time-Bounded Kolmogorov complexity problem. We demonstrate that for every polynomial t(·), there exists of a circuit of size $2^{4n/5+o(n)}$ that solves the t(·)-bounded Kolmogorov complexity problem on every instance.
Our algorithm is black-box in the description of the Universal Turing Machine employed in the definition of Kolmogorov Complexity, and leverages the characterization of one-way functions through the hardness of the time-bounded Kolmogorov complexity problem of Liu and Pass (FOCS’20), and the time-space trade-off for one-way functions of Fiat and Naor (STOC’91). We additionally demonstrate that no such black-box algorithm can have sub-exponential circuit size.
Along the way (and of independent interest), we extend the result of Fiat and Naor and demonstrate that any efficiently computable function can be inverted (with probability 1) by a circuit of size $2^{4n/5+o(n)}$; as far as we know, this yields the first formal proof that a non-trivial circuit can invert any efficient function.
Wed, 15 Nov 2023 23:51:21 +0200https://eccc.weizmann.ac.il/report/2023/175