𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Analysis of Boolean Functions

✍ Scribed by Ryan O'Donnell


Publisher
Cambridge University Press
Year
2014
Tongue
English
Leaves
444
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their Fourier transform and other analytic methods. This text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry. Each chapter includes a "highlight application" such as Arrow's theorem from economics, the Goldreich-Levin algorithm from cryptography/learning theory, HΓ₯stad's NP-hardness of approximation results, and "sharp threshold" theorems for random graph properties. The book includes roughly 450 exercises and can be used as the basis of a one-semester graduate course. It should appeal to advanced undergraduates, graduate students, and researchers in computer science theory and related mathematical fields.

✦ Table of Contents


  1. Boolean functions and the Fourier expansion
  2. Basic concepts and social choice
  3. Spectral structure and learning
  4. DNF formulas and small-depth circuits
  5. Majority and threshold functions
  6. Pseudorandomness and F2-polynomials
  7. Property testing, PCPPs, and CSPs
  8. Generalized domains
  9. Basics of hypercontractivity
  10. Advanced hypercontractivity
  11. Gaussian space and invariance principles.

✦ Subjects


ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°;ДискрСтная ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°;


πŸ“œ SIMILAR VOLUMES


Complexity of Boolean Functions
✍ Wegener I. πŸ“‚ Library πŸ“… 1991 🌐 English

Presents a large number of recent research results previously unavailable in book form. Initially deals with the wee-known computation models, and goes on to special types of circuits, parallel computers, and branching programs. Includes basic theory as well recent research findings. Each chapter in