Expander Construction in VNC

  title={Expander Construction in VNC},
  author={Sam Buss and Valentine Kabanets and Antonina Kolokolova and Michal Kouck{\'y}},
We give a combinatorial analysis (using edge expansion) of a variant of the iterative expander construction due to Reingold, Vadhan, and Wigderson [RVW02], and show that this analysis can be formalized in the bounded-arithmetic system VNC (corresponding to the “NC reasoning”). As a corollary, we prove the assumption made by Jeřábek [Jeř11b] that a… CONTINUE READING