🤖 AI Summary
This work uncovers an intrinsic undecidability in Boolean satisfiability (SAT) arising from self-reference and solution independence, establishing the first finite combinatorial analogue of Gödel’s incompleteness theorem. By constructing logarithmic-width K-SAT instances that simultaneously admit unsatisfiable and uniquely satisfiable formulas, and employing single-clause substitutions to generate locally indistinguishable SAT/UNSAT pairs, the study integrates algorithmic information theory, Shannon channel models, resolution proof complexity, and statistical physics approaches from random K-SAT. It demonstrates that any deductive system operating within a sublinear window requires proofs of exponential length. The paper reinterprets the Strong Exponential Time Hypothesis (SETH) as a manifestation of incompleteness in computational complexity and introduces a novel paradigm based on instance indistinguishability, revealing fundamental limitations of quantum computing and machine learning on such problems.
📝 Abstract
Self-reference and solution independence are core properties underlying intractability. This paper establishes a finite combinatorial analogue of Gödel's incompleteness theorems within Boolean $K$-SAT. While standard random $K$-SAT has assignment correlations that disrupt solution independence, we resolve this via a logarithmic-width ensemble ($K = O(\log N)$). Here, satisfying assignments converge to a Poisson distribution, letting unsatisfiable and uniquely satisfiable formulas coexist. By executing a single-clause substitution conditioned on the unique solution, we construct structurally irreducible SAT/UNSAT pairs that are indistinguishable via local evaluation.
Using algorithmic information theory and Shannon channels, we prove that deductive pipelines restricted to a sublinear window suffer from an informational blind spot, forcing a descriptive lower bound of $K(\mathcal{A}) \geq Ω(N^{1-δ})$. This deficit forces any Resolution refutation of the UNSAT instance to utilize wide clauses ($w(π) \geq Ω(N^{1-δ})$), triggering an exponential proof-tree explosion ($S(φ) \geq \exp(Ω(N^{1-2δ}))$). As $δ\rightarrow 0^+$, this bound converges to the worst-case $2^N$ threshold, reframing the Strong Exponential Time Hypothesis (SETH) as a direct projection of Gödel incompleteness onto finite computation.
We diagnose the decades-long stagnation in complexity theory. Transitioning from Turing's class separation to a Gödelian paradigm of instance indistinguishability, we introduce a multi-dimensional comparative framework that contrasts these two historical lineages across distinct perspectives. The self-referential hardness exhibits physical invariance: it precludes quantum shortcuts due to the necessity of global semantic analysis and delineates a scaling bottleneck for machine learning architectures operating on lossy, local compression.