Document Open Access Logo

Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs

Authors Xin Li , Yan Zhong

PDF
Thumbnail PDF

File

LIPIcs.CCC.2024.10.pdf
  • Filesize: 0.77 MB
  • 14 pages

Document Identifiers

Author Details

Xin Li
  • Johns Hopkins University, Baltimore, MD, USA
Yan Zhong
  • Johns Hopkins University, Baltimore, MD, USA

Funding

  • Li, Xin: Supported by NSF CAREER Award CCF-1845349 and NSF Award CCF-2127575.
  • Zhong, Yan: Supported by NSF CAREER Award CCF-1845349.

Acknowledgements

We thank anonymous reviewers for their helpful comments and a reviewer for pointing us to [Glinskih and Itsykson, 2017].

Cite AsGet BibTex

Xin Li and Yan Zhong. Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs. In 39th Computational Complexity Conference (CCC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 300, pp. 10:1-10:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.CCC.2024.10

Abstract

Affine extractors give some of the best-known lower bounds for various computational models, such as AC⁰ circuits, parity decision trees, and general Boolean circuits. However, they are not known to give strong lower bounds for read-once branching programs (ROBPs). In a recent work, Gryaznov, Pudlák, and Talebanfard (CCC' 22) introduced a stronger version of affine extractors known as directional affine extractors, together with a generalization of ROBPs where each node can make linear queries, and showed that the former implies strong lower bound for a certain type of the latter known as strongly read-once linear branching programs (SROLBPs). Their main result gives explicit constructions of directional affine extractors for entropy k > 2n/3, which implies average-case complexity 2^{n/3-o(n)} against SROLBPs with exponentially small correlation. A follow-up work by Chattopadhyay and Liao (CCC' 23) improves the hardness to 2^{n-o(n)} at the price of increasing the correlation to polynomially large, via a new connection to sumset extractors introduced by Chattopadhyay and Li (STOC' 16) and explicit constructions of such extractors by Chattopadhyay and Liao (STOC' 22). Both works left open the questions of better constructions of directional affine extractors and improved average-case complexity against SROLBPs in the regime of small correlation. This paper provides a much more in-depth study of directional affine extractors, SROLBPs, and ROBPs. Our main results include: - An explicit construction of directional affine extractors with k = o(n) and exponentially small error, which gives average-case complexity 2^{n-o(n)} against SROLBPs with exponentially small correlation, thus answering the two open questions raised in previous works. - An explicit function in AC⁰ that gives average-case complexity 2^{(1-δ)n} against ROBPs with negligible correlation, for any constant δ > 0. Previously, no such average-case hardness is known, and the best size lower bound for any function in AC⁰ against ROBPs is 2^Ω(n). One of the key ingredients in our constructions is a new linear somewhere condenser for affine sources, which is based on dimension expanders. The condenser also leads to an unconditional improvement of the entropy requirement of explicit affine extractors with negligible error. We further show that the condenser also works for general weak random sources, under the Polynomial Freiman-Ruzsa Theorem in 𝖥₂ⁿ, recently proved by Gowers, Green, Manners, and Tao (arXiv' 23).

Subject Classification

ACM Subject Classification
  • Theory of computation → Expander graphs and randomness extractors
  • Theory of computation → Circuit complexity
  • Theory of computation → Pseudorandomness and derandomization
Keywords
  • Randomness Extractors
  • Affine
  • Read-once Linear Branching Programs
  • Low-degree polynomials
  • AC⁰ circuits

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, and José D. P. Rolim. Small pseudo-random sets yield hard functions: New tight explict lower bounds for branching programs. In Jirí Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, volume 1644 of Lecture Notes in Computer Science, pages 179-189. Springer, 1999. URL: https://doi.org/10.1007/3-540-48523-6_15.
  2. Boaz Barak, Russel Impagliazzo, Amir Shpilka, and Avi Wigderson. Definition and existence of dimension expanders. Discussion (no written record), 2004. Google Scholar
  3. Boaz Barak, Guy Kindler, Ronen Shaltiel, Benny Sudakov, and Avi Wigderson. Simulating independence: New constructions of condensers, Ramsey graphs, dispersers, and extractors. In Proceedings of the 37th Annual ACM Symposium on Theory of Computing, pages 1-10, 2005. Google Scholar
  4. Arnab Bhattacharyya, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan, and David Zuckerman. Optimal testing of reed-muller codes. In 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA, pages 488-497. IEEE Computer Society, 2010. URL: https://doi.org/10.1109/FOCS.2010.54.
  5. Beate Bollig and Ingo Wegener. A very simple function that requires exponential size read-once branching programs. Inf. Process. Lett., 66(2):53-57, 1998. URL: https://doi.org/10.1016/S0020-0190(98)00042-8.
  6. Jean Bourgain. Expanders and dimensional expansion. Comptes Rendus Mathematique, 347(7):357-362, 2009. Google Scholar
  7. Jean Bourgain and Amir Yehudayoff. Expansion in SL₂(ℝ) and monotone expanders. Geometric and Functional Analysis, 23(1):1-41, 2013. Google Scholar
  8. Eshan Chattopadhyay, Jesse Goodman, and Jyun-Jie Liao. Affine extractors for almost logarithmic entropy. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 622-633, 2022. URL: https://doi.org/10.1109/FOCS52979.2021.00067.
  9. Eshan Chattopadhyay and Xin Li. Extractors for sumset sources. In Daniel Wichs and Yishay Mansour, editors, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC, Cambridge, MA, USA, June 18-21, 2016, pages 299-311. ACM, 2016. URL: https://doi.org/10.1145/2897518.2897643.
  10. Eshan Chattopadhyay and Xin Li. Non-malleable codes and extractors for small-depth circuits, and affine functions. In Hamed Hatami, Pierre McKenzie, and Valerie King, editors, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, pages 1171-1184. ACM, 2017. URL: https://doi.org/10.1145/3055399.3055483.
  11. Eshan Chattopadhyay and Jyun-Jie Liao. Extractors for sum of two sources. In Stefano Leonardi and Anupam Gupta, editors, STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, pages 1584-1597. ACM, 2022. URL: https://doi.org/10.1145/3519935.3519963.
  12. Eshan Chattopadhyay and Jyun-Jie Liao. Hardness against linear branching programs and more. In Proceedings of the Conference on Proceedings of the 38th Computational Complexity Conference, CCC '23, Dagstuhl, DEU, 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Google Scholar
  13. Kuan Cheng and Xin Li. Randomness extraction in AC0 and with small locality. In Eric Blais, Klaus Jansen, José D. P. Rolim, and David Steurer, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2018, August 20-22, 2018 - Princeton, NJ, USA, volume 116 of LIPIcs, pages 37:1-37:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. URL: https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2018.37.
  14. Gil Cohen and Igor Shinkar. The complexity of DNF of parities. In Madhu Sudan, editor, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14-16, 2016, pages 47-58. ACM, 2016. URL: https://doi.org/10.1145/2840728.2840734.
  15. Gil Cohen and Avishay Tal. Two structural results for low degree polynomials and applications. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, 2015. Google Scholar
  16. Evgeny Demenkov and Alexander Kulikov. An elementary proof of 3n-o(n) lower bound on the circuit complexity of affine dispersers. In Proceedings of the 36th international conference on Mathematical foundations of computer science, pages 256-265, 2011. Google Scholar
  17. Paul E. Dunne. Lower bounds on the complexity of 1-time only branching programs. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985, volume 199 of Lecture Notes in Computer Science, pages 90-99. Springer, 1985. URL: https://doi.org/10.1007/BFb0028795.
  18. Magnus Gausdal Find, Alexander Golovnev, Edward A. Hirsch, and Alexander S. Kulikov. A better-than-3n lower bound for the circuit complexity of an explicit function. In 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS), pages 89-98, 2016. URL: https://doi.org/10.1109/FOCS.2016.19.
  19. Anna Gál. A simple function that requires exponential size read-once branching programs. Inf. Process. Lett., 62(1):13-16, 1997. URL: https://doi.org/10.1016/S0020-0190(97)00041-0.
  20. Ludmila Glinskih and Dmitry Itsykson. Satisfiable Tseitin Formulas Are Hard for Nondeterministic Read-Once Branching Programs. In Kim G. Larsen, Hans L. Bodlaender, and Jean-Francois Raskin, editors, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83 of Leibniz International Proceedings in Informatics (LIPIcs), pages 26:1-26:12, Dagstuhl, Germany, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.MFCS.2017.26.
  21. W. T. Gowers, Ben Green, Freddie Manners, and Terence Tao. On a conjecture of marton, 2023. URL: https://arxiv.org/abs/2311.05762.
  22. Svyatoslav Gryaznov, Pavel Pudlák, and Navid Talebanfard. Linear Branching Programs and Directional Affine Extractors. In 37th Computational Complexity Conference (CCC 2022), volume 234, pages 4:1-4:16, 2022. Google Scholar
  23. Johan Håstad. Almost optimal lower bounds for small depth circuits. In Juris Hartmanis, editor, Proceedings of the 18th Annual ACM Symposium on Theory of Computing, May 28-30, 1986, Berkeley, California, USA, pages 6-20. ACM, 1986. URL: https://doi.org/10.1145/12130.12132.
  24. Stasys Jukna. Entropy of contact circuits and lower bounds on their complexity. Theor. Comput. Sci., 57:113-129, 1988. URL: https://doi.org/10.1016/0304-3975(88)90166-1.
  25. Stasys Jukna. A note on read-k times branching programs. RAIRO - Theoretical Informatics and Applications, 28:75-83, January 1995. Google Scholar
  26. Valentine Kabanets. Almost k-wise independence and hard boolean functions. Theor. Comput. Sci., 297(1-3):281-295, 2003. URL: https://doi.org/10.1016/S0304-3975(02)00643-6.
  27. Matthias Krause, Christoph Meinel, and Stephan Waack. Separating the eraser turing machine classes L_e, NL_e, co-NL_e and P_e. Theor. Comput. Sci., 86(2):267-275, 1991. URL: https://doi.org/10.1016/0304-3975(91)90021-S.
  28. Jiatu Li and Tianqi Yang. 3.1n - o(n) circuit lower bounds for explicit functions. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pages 1180-1193, New York, NY, USA, 2022. Association for Computing Machinery. URL: https://doi.org/10.1145/3519935.3519976.
  29. Xin Li. A new approach to affine extractors and dispersers. In Proceedings of the 26th Annual IEEE Conference on Computational Complexity, CCC, 2011. Google Scholar
  30. Xin Li. Non-malleable extractors, two-source extractors and privacy amplification. In 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science, 2012. Google Scholar
  31. Xin Li. Improved non-malleable extractors, non-malleable codes and independent source extractors. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, STOC 2017, pages 1144-1156, New York, NY, USA, 2017. Association for Computing Machinery. Google Scholar
  32. Xin Li. Two source extractors for asymptotically optimal entropy, and (many) more. Technical report, Arxiv, 2023. URL: https://arxiv.org/abs/2303.06802.
  33. E. I. Nechiporuk. On a boolean function. Doklady of the Academy of Sciences of the USSR, 164(4):765-766, 1966. Google Scholar
  34. EA Okolnishnikova. On lower bounds for branching programs. Siberian Advances in Mathematics, 3:152-156, January 1993. Google Scholar
  35. Periklis A Papakonstantinou, David P Woodruff, and Guang Yang. True randomness from big data. Scientific reports, 6:33740, 2016. Google Scholar
  36. Stephen Ponzio. A lower bound for integer multiplication with read-once branching programs. SIAM Journal on Computing, 28(3):798-815, 1998. URL: https://doi.org/10.1137/S0097539795290349.
  37. Anup Rao. Extractors for low-weight affine sources. In Proceedings of the 2009 24th Annual IEEE Conference on Computational Complexity, CCC '09, pages 95-101. IEEE Computer Society, 2009. Google Scholar
  38. Ran Raz. Extractors with weak random seeds. In Proceedings of the 37th Annual ACM Symposium on Theory of Computing, pages 11-20, 2005. Google Scholar
  39. Janos Simon and Mario Szegedy. A new lower bound theorem for read-only-once branching programs and its applications. In Advances In Computational Complexity Theory, 1992. Google Scholar
  40. Emanuele Viola and Avi Wigderson. Norms, xor lemmas, and lower bounds for polynomials and protocols. Theory of Computing, 4(7):137-168, 2008. URL: https://doi.org/10.4086/toc.2008.v004a007.
  41. Ingo Wegener. On the complexity of branching programs and decision trees for clique functions. J. ACM, 35(2):461-471, 1988. URL: https://doi.org/10.1145/42282.46161.
  42. Amir Yehudayoff. Affine extractors over prime fields. Combinatorica, 31(2):245-256, 2011. Google Scholar
  43. Stanislav Zák. An exponential lower bound for one-time-only branching programs. In Michal Chytil and Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, volume 176 of Lecture Notes in Computer Science, pages 562-566. Springer, 1984. URL: https://doi.org/10.1007/BFb0030340.
  44. David Zuckerman. Linear degree extractors and the inapproximability of max clique and chromatic number. In Theory of Computing, 2007. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact