An article on Polynomial Identity Testing
Things I wish to write about:
- The importance of PIT in complexity theory
- The connection to circuit lower bounds via KI.
- Derandomizing identity tests
- The old Chen-Kao and Lewin-Vadhan results.
- The Klivans-Spielman result, and the new program.
- The Dvir-Shpilka result, and the rank conjecture.
- The Kayal-Saraf result.
- Derandomizing Schwarz Zippel using an NW generator construction.
- Manindra's ideas.
The importance of Polynomial Identity Testing in Complexity Theory
editIn the absence of complete problems for the complexity class BPP, attempts at derandomizing the complexity class BPP have taken two routes:
- Trying to prove a general result that generally does something stronger: for example, also works for promise-BPP.
- Trying to come up with deterministic algorithms for specific problems known to have randomized algorithms.
Results of the first kind have been conditional, whereas the latter approach, though not likely to show that P=BPP, have yielded several deterministic polynomial time algorithms for problems that were previously known to have randomized polynomial time algorithms only.