My research statements for MFO workshop on complexity
Starting 2012, the organizers of this workshop asked all participants
to provide brief statements of their research in recent years.
I cannot locate my 2012 statement, but here are the later ones.
For November 2015
In the last few years, while continuing to conduct research on property
testing, I became involved in research on AC0. It started with my work with
Avi Wigderson on the size of depth-three Boolean circuits for computing
multilinear functions, which later led to work with Avishay Tal on matrix
rigidity of random Toeplitz matrices. Another direction pursued with Avi is
the derandomizing of algorithms that err extremely rarely, which had a main
component regarding AC0 and AC0[2], and led to a study of randomness
extraction in AC0 (with Avi and Emanuele Viola).
For November 2018
Starting Summer 2015, I was working on an introductory book on Property
Testing, which I completed by April 2017. It was published in November 2017.
Research-wise, my focus was
on property testing as well as
on doubly-efficient interactive proof systems
and worst-case to average-case reductions for problems in P.
By doubly-efficient interactive proof systems we mean interactive proofs in
which the (prescribed) prover strategy runs in polynomial-time, whereas the
verifier runs in almost linear time (or much faster than the decision
procedure known for the set). Developments in the study of such proof
systems seems to occur alongside developments in the study of worst-case to
average-case reductions. Is this a coincidence? Guy has an opinion.
Back to Oded Goldreich's homepage.