DMCA
Arithmetic Circuits: a survey of recent results and open questions
| Citations: | 62 - 5 self |
BibTeX
@MISC{Shpilka_arithmeticcircuits:,
author = {Amir Shpilka and Amir Yehudayoff},
title = {Arithmetic Circuits: a survey of recent results and open questions},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A large class of problems in symbolic computation can be expressed as the task of computing some polynomials; and arithmetic circuits form the most standard model for studying the complexity of such computations. This algebraic model of computation attracted a large amount of research in the last five decades, partially due to its simplicity and elegance. Being a more structured model than Boolean circuits, one could hope that the fundamental problems of theoretical computer science, such as separating P from NP, will be easier to solve for arithmetic circuits. However, in spite of the appearing simplicity and the vast amount of mathematical tools available, no major breakthrough has been seen. In fact, all the fundamental questions are still open for this model as well. Nevertheless, there has been a lot of progress in the area and beautiful results have been found, some in the last few years. As examples we mention the connection between polynomial identity testing and lower bounds of Kabanets and Impagliazzo, the lower bounds of Raz for multilinear formulas, and two new approaches for proving lower bounds: Geometric Complexity Theory and Elusive Functions. The goal of this monograph is to survey the field of arithmetic circuit complexity, focusing mainly on what we find to be the most interesting and accessible research directions. We aim to cover the main results and techniques, with an emphasis on works from the last two decades. In particular, we
Keyphrases
arithmetic circuit open question recent result large class new approach fundamental question arithmetic circuit complexity structured model multilinear formula boolean circuit vast amount major breakthrough last year standard model symbolic computation elusive function fundamental problem polynomial identity testing mathematical tool main result algebraic model geometric complexity theory beautiful result accessible research direction large amount theoretical computer science
