Skip to main content

New Upper Bounds on the Average PTF Density of Boolean Functions

  • Conference paper
Algorithms and Computation (ISAAC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6506))

Included in the following conference series:

Abstract

A Boolean function f:{1, − 1}n →{1, − 1} is said to be sign-represented by a real polynomial \(p:{\mathbb R}^n \rightarrow {\mathbb R}\) if sgn(p(x)) = f(x) for all x ∈ {1, − 1}n. The PTF density of f is the minimum number of monomials in a polynomial that sign-represents f. It is well known that every n-variable Boolean function has PTF density at most 2n. However, in general, less monomials are enough. In this paper, we present a method that reduces the problem of upper bounding the average PTF density of n-variable Boolean functions to the computation of (some modified version of) average PTF density of k-variable Boolean functions for small k. By using this method, we show that almost all n-variable Boolean functions have PTF density at most (0.617) 2n, which is the best upper bound so far.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amano, K.: Supplemental data of the paper are available at http://www.cs.gunma-u.ac.jp/~amano/poly/index.html

  2. Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press, Cambridge (2009)

    Book  MATH  Google Scholar 

  3. Cover, T.: Geometrical and Statistical Properties of Systems of Linear Inequalities with Applications in Pattern Recognition. IEEE Trans. Electronic Computers EC-14(3), 326–334 (1965)

    Google Scholar 

  4. Gotsman, C.: On Boolean Functions, Polynomials and Algebraic Threshold Functions. Tech. Rep. TR-89-18, Department of Computer Science, Hebrew University (1989)

    Google Scholar 

  5. Makhorin, A.: The GLPK (GNU Linear Programming Kit) Package, http://www.gnu.org/software/glpk/

  6. Minsky, M., Papert, S.: Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge (1968)

    MATH  Google Scholar 

  7. Wegener, I.: The Complexity of Boolean Functions. Wiley-Teubner Series in Computer Science (1987)

    Google Scholar 

  8. O’Donnell, R., Servedio, R.: Extremal Properties of Polynomial Threshold Functions. J. Comput. Syst. Sci. 74(3), 298–312 (2008); Conference Version in Proc. of CCC 2003, pp. 3–12 (2003)

    Google Scholar 

  9. O’Donnell, R., Servedio, R.: New Degree Bounds for Polynomial Threshold Functions. In: Proc. of STOC 2003, pp. 325–334 (2003)

    Google Scholar 

  10. Oztop, E.: An Upper Bound on the Minimum Number of Monomials Required to Separate Dichotomies of { − 1, 1}n. Neural Computation 18(12), 3119–3138 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. Oztop, E.: Sign-representation of Boolean Functions using a Small Number of Monomials. Neural Networks 22(7), 938–948 (2009)

    Article  MATH  Google Scholar 

  12. Saks, M.E.: Slicing the Hypercubes. Surveys in Combinatorics, pp. 211–255. Cambridge University Press, Cambridge (1993)

    Google Scholar 

  13. Sherstov, A.A.: The Intersection of Two Halfspaces has High Threshold Degree. In: Proc. of FOCS 2009, pp. 343–362 (2009)

    Google Scholar 

  14. Sherstov, A.A.: Optimal Bounds for Sign-representing the Intersection of Two Halfspaces by Polynomials. In: Proc. of STOC 2010, pp. 523–532 (2010)

    Google Scholar 

  15. The On-Line Encyclopedia of Integer Sequences (2010), Published electronically at http://oeis.org

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amano, K. (2010). New Upper Bounds on the Average PTF Density of Boolean Functions. In: Cheong, O., Chwa, KY., Park, K. (eds) Algorithms and Computation. ISAAC 2010. Lecture Notes in Computer Science, vol 6506. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17517-6_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17517-6_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17516-9

  • Online ISBN: 978-3-642-17517-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics