Skip to main content

2015 | OriginalPaper | Buchkapitel

The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials

verfasst von : Hervé Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan

Erschienen in: Mathematical Foundations of Computer Science 2015

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We continue the study of the shifted partial derivative measure, introduced by Kayal (ECCC 2012), which has been used to prove many strong depth-4 circuit lower bounds starting from the work of Kayal, and that of Gupta et al. (CCC 2013).
We show a strong lower bound on the dimension of the shifted partial derivative space of the Elementary Symmetric Polynomials of degree d in N variables for \(d < \log N / \log \log N\). This extends the work of Nisan and Wigderson (Computational Complexity 1997), who studied the partial derivative space of these polynomials. Prior to our work, there have been no results on the shifted partial derivative measure of these polynomials. Our result implies a strong lower bound for Elementary Symmetric Polynomials in the homogeneous \({\Sigma \Pi \Sigma \Pi }\) model with bounded bottom fan-in. This strengthens (under our degree assumptions) a lower bound of Nisan and Wigderson who proved the analogous result for homogeneous \({\Sigma \Pi \Sigma }\) model (i.e. \({\Sigma \Pi \Sigma \Pi }\) formulas with bottom fan-in 1).
Our main technical lemma gives a lower bound for the ranks of certain inclusion-like matrices, and may be of independent interest.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
For O(1) depth, the sizes of formulas and circuits are polynomially related.
 
2
i.e., as large as it can be for a “generic” or “random” polynomial. (See Remark 3).
 
3
It is known (see, e.g., [19, Proof of Corollary 5.8]) that any homogeneous \({\Sigma \Pi \Sigma \Pi }^{[t]}\) circuit C can be converted to a \({\Sigma }{\Pi }^{[O(d/t)]}{\Sigma }{\Pi }^{[t]}\) circuit with the same top fan-in.
 
Literatur
1.
Zurück zum Zitat Agrawal, M., Vinay, V.: Arithmetic circuits: a chasm at depth four. In: FOCS, pp. 67–75 (2008) Agrawal, M., Vinay, V.: Arithmetic circuits: a chasm at depth four. In: FOCS, pp. 67–75 (2008)
2.
4.
Zurück zum Zitat Fournier, H., Limaye, N., Malod, G., Srinivasan, S.: Lower bounds for depth 4 formulas computing iterated matrix multiplication. In: Symposium on Theory of Computing, STOC, pp. 128–135 (2014) Fournier, H., Limaye, N., Malod, G., Srinivasan, S.: Lower bounds for depth 4 formulas computing iterated matrix multiplication. In: Symposium on Theory of Computing, STOC, pp. 128–135 (2014)
5.
Zurück zum Zitat Gupta, A., Kamath, P., Kayal, N., Saptharishi, R.: Approaching the chasm at depth four. In: Conference on Computational Complexity (CCC) (2013) Gupta, A., Kamath, P., Kayal, N., Saptharishi, R.: Approaching the chasm at depth four. In: Conference on Computational Complexity (CCC) (2013)
6.
7.
Zurück zum Zitat Kayal, N.: An exponential lower bound for the sum of powers of bounded degree polynomials. Electronic Colloquium on Computational Complexity (ECCC) 19, 81 (2012) Kayal, N.: An exponential lower bound for the sum of powers of bounded degree polynomials. Electronic Colloquium on Computational Complexity (ECCC) 19, 81 (2012)
8.
Zurück zum Zitat Kayal, N., Limaye, N., Saha, C., Srinivasan, S.: An exponential lower bound for homogeneous depth four arithmetic formulas. In: Foundations of Computer Science (FOCS) (2014) Kayal, N., Limaye, N., Saha, C., Srinivasan, S.: An exponential lower bound for homogeneous depth four arithmetic formulas. In: Foundations of Computer Science (FOCS) (2014)
9.
Zurück zum Zitat Kayal, N., Saha, C., Saptharishi, R.: A super-polynomial lower bound for regular arithmetic formulas. In: STOC, pp. 146–153 (2014) Kayal, N., Saha, C., Saptharishi, R.: A super-polynomial lower bound for regular arithmetic formulas. In: STOC, pp. 146–153 (2014)
10.
Zurück zum Zitat Keevash, P., Sudakov, B.: Set systems with restricted cross-intersections and the minimum rank ofinclusion matrices. SIAM J. Discrete Math. 18(4), 713–727 (2005)MathSciNetCrossRefMATH Keevash, P., Sudakov, B.: Set systems with restricted cross-intersections and the minimum rank ofinclusion matrices. SIAM J. Discrete Math. 18(4), 713–727 (2005)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Kumar, M., Saraf, S.: The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in. In: STOC, pp. 136–145 (2014) Kumar, M., Saraf, S.: The limits of depth reduction for arithmetic formulas: it’s all about the top fan-in. In: STOC, pp. 136–145 (2014)
13.
Zurück zum Zitat Kumar, M., Saraf, S.: On the power of homogeneous depth 4 arithmetic circuits. In: FOCS, pp. 364–373 (2014) Kumar, M., Saraf, S.: On the power of homogeneous depth 4 arithmetic circuits. In: FOCS, pp. 364–373 (2014)
14.
Zurück zum Zitat Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, New York (1997)CrossRefMATH Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, New York (1997)CrossRefMATH
15.
Zurück zum Zitat Nisan, N., Wigderson, A.: Lower bounds on arithmetic circuits via partial derivatives. Comput. Complex. 6(3), 217–234 (1997)MathSciNetCrossRefMATH Nisan, N., Wigderson, A.: Lower bounds on arithmetic circuits via partial derivatives. Comput. Complex. 6(3), 217–234 (1997)MathSciNetCrossRefMATH
17.
Zurück zum Zitat Raz, R.: Multi-linear formulas for permanent and determinant are of super-polynomial size. J. ACM, 56(2) (2009) Raz, R.: Multi-linear formulas for permanent and determinant are of super-polynomial size. J. ACM, 56(2) (2009)
18.
Zurück zum Zitat Razborov, A.: Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Math. Notes Acad. Sci. USSR 41(4), 333–338 (1987)MathSciNetCrossRefMATH Razborov, A.: Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Math. Notes Acad. Sci. USSR 41(4), 333–338 (1987)MathSciNetCrossRefMATH
19.
Zurück zum Zitat Saptharishi, R.: Unified Approaches to Polynomial Identity Testing and Lower Bounds. Ph.D thesis, Chennai Mathematical Institute (2013) Saptharishi, R.: Unified Approaches to Polynomial Identity Testing and Lower Bounds. Ph.D thesis, Chennai Mathematical Institute (2013)
21.
Zurück zum Zitat Shpilka, A., Wigderson, A.: Depth-3 arithmetic circuits over fields of characteristic zero. Comput. Complex. 10(1), 1–27 (2001)MathSciNetCrossRefMATH Shpilka, A., Wigderson, A.: Depth-3 arithmetic circuits over fields of characteristic zero. Comput. Complex. 10(1), 1–27 (2001)MathSciNetCrossRefMATH
22.
Zurück zum Zitat Tavenas, S.: Improved bounds for reduction to depth 4 and 3. In: Mathematical Foundations of Computer Science (MFCS) (2013) Tavenas, S.: Improved bounds for reduction to depth 4 and 3. In: Mathematical Foundations of Computer Science (MFCS) (2013)
23.
Zurück zum Zitat Valiant, L.G.: Completeness classes in algebra. In: 11th ACM Symposium on Theory of Computing (STOC), pp. 249–261. New York, NY, USA (1979) Valiant, L.G.: Completeness classes in algebra. In: 11th ACM Symposium on Theory of Computing (STOC), pp. 249–261. New York, NY, USA (1979)
24.
Zurück zum Zitat Valiant, L.G., Skyum, S., Berkowitz, S., Rackoff, C.: Fast parallel computation of polynomials using few processors. SIAM J. Comput. 12(4), 641–644 (1983)MathSciNetCrossRefMATH Valiant, L.G., Skyum, S., Berkowitz, S., Rackoff, C.: Fast parallel computation of polynomials using few processors. SIAM J. Comput. 12(4), 641–644 (1983)MathSciNetCrossRefMATH
25.
Zurück zum Zitat Wilson, R.M.: A diagonal form for the incidence matrices of \(t\)-subsets vs. \(k\)-subsets. Eur. J. Comb. 11(6), 609–615 (1990)MathSciNetCrossRefMATH Wilson, R.M.: A diagonal form for the incidence matrices of \(t\)-subsets vs. \(k\)-subsets. Eur. J. Comb. 11(6), 609–615 (1990)MathSciNetCrossRefMATH
Metadaten
Titel
The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials
verfasst von
Hervé Fournier
Nutan Limaye
Meena Mahajan
Srikanth Srinivasan
Copyright-Jahr
2015
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-48054-0_27