Analysis of Boolean Functions

by Ryan O'Donnell

Overview

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.

Product Details

ISBN-13:	9781107038325
Publisher:	Cambridge University Press
Publication date:	06/05/2014
Edition description:	New Edition
Pages:	444
Product dimensions:	5.98(w) x 9.02(h) x 0.98(d)

About the Author

Ryan O'Donnell is an Associate Professor in the Computer Science Department at Carnegie Mellon University.

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.

Editorial Reviews

'The applications of the ideas in this book are plentiful and diverse, and O’Donnell does an excellent job of leading the reader from one viewpoint to the next. I found it especially enjoyable to see theorems that I’m personally familiar with as a cryptographer, such as the Goldreich–Levin theorem, placed alongside other things I didn’t know as well, like Arrow’s theorem from social choice - with everything woven into a single, consistent story. I suspect other ‘fresh readers’ will similarly find parts of this book that they recognize, and others they don’t. The relationships exposed between these ideas should be of interest to everyone. Altogether, I highly recommend that you take a glance at Analysis of Boolean Functions.' Daniel Apon, SIGACT News

'This 423-page book is a rich source of material presented in an attractive form. Each chapter highlights one main result which provides a focus and incentive for the reader to go to the end of the chapter.' Martin C. Cooper, MathSciNet

From the Publisher