2 papers
cs.CC2026
Fine-Grained AC Lower Bounds for -OV, -XOR, and -SUM via Colored Subgraph Isomorphism
Haoxing Lin
We prove lower bounds for -OV, -XOR, and -SUM in nonuniform AC, tracking how the circuit-size exponent scales with and using no running-time hypothesis. Our framew…
cs.CR2024
On Wagner's k-Tree Algorithm Over Integers
Haoxing Lin, Prashant Nalini Vasudevan
The k-Tree algorithm [Wagner 02] is a non-trivial algorithm for the average-case k-SUM problem that has found widespread use in cryptanalysis. Its input consists of k lists, each c…