Periodic Reporting for period 4 - PCPHDX (Probabilistically Checkable Proofs, Agreement Tests,and High Dimensional Expanders)

This project is focused on probabilistically checkable proofs (PCPs) and high dimensional expanders. The central objective of this project is to connect between the two terms: PCPs and HDXs, that come from very different worlds.The first term, PCPs, is a well studied object in...