Cell-Probe Lower Bounds via Semi-Random CSP Refutation: Simplified and the Odd-Locality Case

Read full text
Authors: Venkatesan Guruswami, Xin Lyu, Weiqiang Yuan
Cited by: 0

Abstract

A recent work (Korten, Pitassi, and Impagliazzo, FOCS 2025) established an insightful connection between static data structure lower bounds, range avoidance of NC0 circuits, and the refutation of pseudorandom CSP instances, leading to improvements to some longstanding lower bounds in the cell-probe/bit-probe models. Here, we improve these lower bounds in certain cases via a more streamlined reduction to XOR refutation, coupled with handling the odd-arity case. Our result can be viewed as a complete derandomization of the state-of-the-art semi-random \(k\)-XOR refutation analysis (Guruswami, Kothari and Manohar, STOC 2022, Hsieh, Kothari and Mohanty, SODA 2023), which complements the derandomization of the even-arity case obtained by Korten et al.

Fields of Study & Subjects

Physical Unclonable Functions (PUFs) and Hardware Security Low-power high-performance VLSI design Complexity and Algorithms in Graphs

Publication details

Journal / source
Society for Industrial and Applied Mathematics eBooks
Pages
372–387
Publication date
1 January 2026
Language
EN