Abstract
It is a classical result that the inner product function cannot be computed by an AC0 circuit [17, 1, 22]. It is conjectured that this holds even if we allow arbitrary preprocessing of each of the two inputs separately. We prove this conjecture when the preprocessing of one of the inputs is limited to output n + n/(logω(1) n) bits. Our methods extend to many other functions, including pseudorandom functions, and imply a (weak but nontrivial) limitation on the power of encoding inputs in low-complexity cryptography. Finally, under cryptographic assumptions, we relate the question of proving variants of the main conjecture with the question of learning AC0 under simple input distributions.
Original language | English |
---|---|
Title of host publication | 35th Computational Complexity Conference, CCC 2020 |
Editors | Shubhangi Saraf |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
ISBN (Electronic) | 9783959771566 |
DOIs | |
State | Published - 1 Jul 2020 |
Event | 35th Computational Complexity Conference, CCC 2020 - Virtual, Online, Germany Duration: 28 Jul 2020 → 31 Jul 2020 |
Publication series
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 169 |
ISSN (Print) | 1868-8969 |
Conference
Conference | 35th Computational Complexity Conference, CCC 2020 |
---|---|
Country/Territory | Germany |
City | Virtual, Online |
Period | 28/07/20 → 31/07/20 |
Bibliographical note
Publisher Copyright:© Yuval Filmus, Yuval Ishai, Avi Kaplan, and Guy Kindler; licensed under Creative Commons License CC-BY 35th Computational Complexity Conference (CCC 2020).
Keywords
- Circuit
- Communication complexity
- IPPP
- PRF
- Preprocessing
- Simultaneous messages