Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR25-118 | 9th August 2025 03:05

Lower bounds for the Bit Pigeonhole Principle in Bounded-Depth Resolution over Parities

RSS-Feed




TR25-118
Authors: Farzan Byramji, Russell Impagliazzo
Publication: 10th August 2025 14:04
Downloads: 77
Keywords: 


Abstract:

We prove that for the bit pigeonhole principle with any number of pigeons and $n$ holes, any depth $D$ proof in resolution over parities must have size $\exp(\Omega(n^3/D^2))$. Our proof uses the random walk with restarts approach of Alekseev and Itsykson [STOC '25], along with ideas from recent simulation theorems for randomized parity decision trees.



ISSN 1433-8092 | Imprint