|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2010 IEEE 51st Annual Symposium on Foundations of Computer Science
From Sylvester-Gallai Configurations to Rank Bounds: Improved Black-Box Identity Test for Depth-3 Circuits
Las Vegas, Nevada USA
October 23-October 26
ISBN: 978-0-7695-4244-7
| ASCII Text | x | ||
| Nitin Saxena, C. Seshadhri, "From Sylvester-Gallai Configurations to Rank Bounds: Improved Black-Box Identity Test for Depth-3 Circuits," Foundations of Computer Science, IEEE Annual Symposium on, pp. 21-29, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/FOCS.2010.9, author = {Nitin Saxena and C. Seshadhri}, title = {From Sylvester-Gallai Configurations to Rank Bounds: Improved Black-Box Identity Test for Depth-3 Circuits}, journal ={Foundations of Computer Science, IEEE Annual Symposium on}, volume = {0}, year = {2010}, issn = {0272-5428}, pages = {21-29}, doi = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2010.9}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Foundations of Computer Science, IEEE Annual Symposium on TI - From Sylvester-Gallai Configurations to Rank Bounds: Improved Black-Box Identity Test for Depth-3 Circuits SN - 0272-5428 SP21 EP29 A1 - Nitin Saxena, A1 - C. Seshadhri, PY - 2010 KW - depth-3 circuit KW - identities KW - Sylvester-Gallai KW - incidence configuration KW - Chinese remaindering KW - ideal theory VL - 0 JA - Foundations of Computer Science, IEEE Annual Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2010.9
We study the problem of identity testing for depth-3 circuits of top fanin k and degree d. We give a new structure theorem for such identities. A direct application of our theorem improves the known deterministic d^{k^k}-time black-box identity test over rationals (Kayal & Saraf, FOCS 2009) to one that takes d^{k^2}-time. Our structure theorem essentially says that the number of independent variables in a real depth-3 identity is very small. This theorem affirmatively settles the strong rank conjecture posed by Dvir & Shpilka (STOC 2005). We devise a powerful algebraic framework and develop tools to study depth-3 identities. We use these tools to show that any depth-3 identity contains a much smaller nucleus identity that contains most of the "complexity" of the main identity. The special properties of this nucleus allow us to get almost optimal rank bounds for depth-3 identities.
Index Terms:
depth-3 circuit, identities, Sylvester-Gallai, incidence configuration, Chinese remaindering, ideal theory
Citation:
Nitin Saxena, C. Seshadhri, "From Sylvester-Gallai Configurations to Rank Bounds: Improved Black-Box Identity Test for Depth-3 Circuits," focs, pp.21-29, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, 2010
Usage of this product signifies your acceptance of the Terms of Use.
