Pith. sign in

REVIEW 2 cited by

Analysis of Boolean Functions

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2105.10386 v1 pith:FWDI6FYD submitted 2021-05-21 cs.DM math.PR

classification cs.DMmath.PR
keywords booleanfunctionsanalysistheorybookchaptersareaschoice
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

The subject of this textbook is the analysis of Boolean functions. Roughly speaking, this refers to studying Boolean functions $f : \{0,1\}^n \to \{0,1\}$ via their Fourier expansion and other analytic means. Boolean functions are perhaps the most basic object of study in theoretical computer science, and Fourier analysis has become an indispensable tool in the field. The topic has also played a key role in several other areas of mathematics, from combinatorics, random graph theory, and statistical physics, to Gaussian geometry, metric/Banach spaces, and social choice theory. The intent of this book is both to develop the foundations of the field and to give a wide (though far from exhaustive) overview of its applications. Each chapter ends with a "highlight" showing the power of analysis of Boolean functions in different subject areas: property testing, social choice, cryptography, circuit complexity, learning theory, pseudorandomness, hardness of approximation, concrete complexity, and random graph theory. The book can be used as a reference for working researchers or as the basis of a one-semester graduate-level course. The author has twice taught such a course at Carnegie Mellon University, attended mainly by graduate students in computer science and mathematics but also by advanced undergraduates, postdocs, and researchers in adjacent fields. In both years most of Chapters 1-5 and 7 were covered, along with parts of Chapters 6, 8, 9, and 11, and some additional material on additive combinatorics. Nearly 500 exercises are provided at the ends of the book's chapters.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. State $k$-designs from Hamiltonian evolution

    quant-ph 2026-07 conditional novelty 6.0 of 10

    Under time evolution with a fixed Hamiltonian, a state 1-design of initial states grows into an approximate state k-design, with a proven recursion for GUE Hamiltonians and numerical evidence for a mixed-field Ising chain.

  2. A Shank Angle-Based Control System Enables Soft Exoskeleton to Assist Human Non-Steady Locomotion

    cs.RO 2025-08 unverdicted novelty 5.0 of 10

    A dual-Gaussian assistance profile driven by shank angle and updated every stride is proposed so an IMU-only soft exoskeleton can assist non-steady locomotion; the claimed validation experiments reside in an unavailab...

Pith tools