harmonic analysis of boolean functionshatami/comp760-2011/lecture0.pdf · scribing two lectures: 15...

75
Harmonic Analysis of Boolean Functions Lectures: MW 10:05-11:25 in MC 103 Office Hours: MC 328, by appointment ([email protected]). Evaluation: Assignments: 60 % Presenting a paper at the end of the term: 20 % Scribing two lectures: 15 % Attending lectures: 5 %

Upload: others

Post on 15-Jul-2020

11 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Harmonic Analysis of Boolean Functions

Lectures: MW 10:05-11:25 in MC 103Office Hours: MC 328, by appointment([email protected]).Evaluation:

Assignments: 60 %Presenting a paper at the end of the term: 20 %Scribing two lectures: 15 %Attending lectures: 5 %

Page 2: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Tentative plan

Overview:Basic functional analysis.Basic Fourier analysis of discrete Abelian groups.

Mathematical theory:Influences, Noise operator; Discrete Log-Sobolovinequalities, Hyper-contractivity, Threshold Phenomena,Noise sensitivity, etc.

Applications to computer science:Property testing.Machine Learning.Circuit Complexity.Communication complexity.

Page 3: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Tentative plan

Overview:Basic functional analysis.Basic Fourier analysis of discrete Abelian groups.

Mathematical theory:Influences, Noise operator; Discrete Log-Sobolovinequalities, Hyper-contractivity, Threshold Phenomena,Noise sensitivity, etc.

Applications to computer science:Property testing.Machine Learning.Circuit Complexity.Communication complexity.

Page 4: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Tentative plan

Overview:Basic functional analysis.Basic Fourier analysis of discrete Abelian groups.

Mathematical theory:Influences, Noise operator; Discrete Log-Sobolovinequalities, Hyper-contractivity, Threshold Phenomena,Noise sensitivity, etc.

Applications to computer science:Property testing.Machine Learning.Circuit Complexity.Communication complexity.

Page 5: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

What are we going to study?

Boolean Functions

f : {0,1}n → {0,1}.

Page 6: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

What is Harmonic Analysis of Boolean Functions?

Harmonic AnalysisFocuses on the quantitative properties of functions, and howthese quantitative properties change when apply various (oftenquite explicit) operators.

Fourier analysis

Studies functions by decomposing them intoa linear combination of “symmetric” functions.These symmetric functions are usually explicit,and are often associated with physical conceptssuch as frequency or energy.

Page 7: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

What is Harmonic Analysis of Boolean Functions?

Harmonic AnalysisFocuses on the quantitative properties of functions, and howthese quantitative properties change when apply various (oftenquite explicit) operators.

Fourier analysis

Studies functions by decomposing them intoa linear combination of “symmetric” functions.These symmetric functions are usually explicit,and are often associated with physical conceptssuch as frequency or energy.

Page 8: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Examples I: CircuitComplexity

Page 9: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Circuit complexity

QuestionWhat can one say about the Fourier expansion of functionscomputable with small circuits (with gates ∧,∨,¬)?

Theorem (Linial, Mansour, Nisan 1993)The Fourier expansion of every such functions is alwaysconcentrated on low frequencies.

Corollary: Parity cannot be computed with a small circuit.

Page 10: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Circuit complexity

QuestionWhat can one say about the Fourier expansion of functionscomputable with small circuits (with gates ∧,∨,¬)?

Theorem (Linial, Mansour, Nisan 1993)The Fourier expansion of every such functions is alwaysconcentrated on low frequencies.

Corollary: Parity cannot be computed with a small circuit.

Page 11: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Circuit complexity

QuestionWhat can one say about the Fourier expansion of functionscomputable with small circuits (with gates ∧,∨,¬)?

Theorem (Linial, Mansour, Nisan 1993)The Fourier expansion of every such functions is alwaysconcentrated on low frequencies.

Corollary: Parity cannot be computed with a small circuit.

Page 12: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Examples II: Influences

Page 13: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.Everybody votes 0 or 1.f determines the winner.

Page 14: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.Everybody votes 0 or 1.f determines the winner.

Page 15: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.Everybody votes 0 or 1.f determines the winner.

Page 16: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.

Everybody votes 0 or 1.f determines the winner.

Page 17: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.Everybody votes 0 or 1.

f determines the winner.

Page 18: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

We study Boolean functions f : {0,1}n → {0,1}.

f

x1

x2

xn

...f(x)

Think of them as voting systems.

...

Two candidates 0 and 1.Everybody votes 0 or 1.f determines the winner.

Page 19: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

Page 20: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

Page 21: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

x1 x2 x3 f0 0 0 00 0 1 00 1 0 00 1 1 01 0 0 01 0 1 11 1 0 11 1 1 1

Page 22: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

x1 x2 x3 f0 0 0 00 0 1 00 1 0 00 1 1 01 0 0 01 0 1 11 1 0 11 1 1 1

Page 23: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

x1 x2 x3 f0 0 0 00 0 1 00 1 0 00 1 1 01 0 0 01 0 1 11 1 0 11 1 1 1

Page 24: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Consider a function f : {0,1}n → {0,1} and a voter i .

...

How important is the vote of the i-th person?(Find a mathematical definition of the influence of a variable.)

x1 x2 x3 f0 0 0 00 0 1 00 1 0 00 1 1 01 0 0 01 0 1 11 1 0 11 1 1 1

Ii =scenarios that xi mattered

2n

I1 = 68

I3 = 28

Page 25: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (In Probabilistic Language:)

Consider f : {0,1}n → {0,1}, and the i-th person.

Everybody else votes uniformly at random.Ii = Pr[ i-th voter can change the outcome].

Page 26: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (In Probabilistic Language:)

Consider f : {0,1}n → {0,1}, and the i-th person.Everybody else votes uniformly at random.

Ii = Pr[ i-th voter can change the outcome].

Page 27: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (In Probabilistic Language:)

Consider f : {0,1}n → {0,1}, and the i-th person.Everybody else votes uniformly at random.Ii = Pr[ i-th voter can change the outcome].

Page 28: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Questionf : {0,1}n → {0,1} with minimum total influence?

AnswerThe constant function f = 0 or f = 1. The total influence is 0.

QuestionBalanced f : {0,1}n → {0,1} with minimum total influence?

Page 29: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Questionf : {0,1}n → {0,1} with minimum total influence?

AnswerThe constant function f = 0 or f = 1. The total influence is 0.

QuestionBalanced f : {0,1}n → {0,1} with minimum total influence?

Page 30: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Questionf : {0,1}n → {0,1} with minimum total influence?

AnswerThe constant function f = 0 or f = 1. The total influence is 0.

QuestionBalanced f : {0,1}n → {0,1} with minimum total influence?

Page 31: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Dictatorship)

...

f (x) = x1 or f (x) = 1− x1.

I1 = 1, I2 = I3 = . . . = In = 0.

Page 32: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Dictatorship)

...

f (x) = x1 or f (x) = 1− x1.

I1 = 1, I2 = I3 = . . . = In = 0.

Page 33: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Dictatorship)

...

f (x) = x1 or f (x) = 1− x1.

I1 = 1, I2 = I3 = . . . = In = 0.

Page 34: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

More examples ofInfluences

Page 35: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Majority)

f (x) = Majority(x1, . . . , xn).

I1 = I2 = . . . = In ≈ 1√n .

Example (Parity)

f (x) = x1 ⊕ x2 ⊕ . . .⊕ xn.

I1 = I2 = . . . = In = 1.

Page 36: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Majority)

f (x) = Majority(x1, . . . , xn).

I1 = I2 = . . . = In ≈ 1√n .

Example (Parity)

f (x) = x1 ⊕ x2 ⊕ . . .⊕ xn.

I1 = I2 = . . . = In = 1.

Page 37: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Majority)

f (x) = Majority(x1, . . . , xn).

I1 = I2 = . . . = In ≈ 1√n .

Example (Parity)

f (x) = x1 ⊕ x2 ⊕ . . .⊕ xn.

I1 = I2 = . . . = In = 1.

Page 38: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example (Majority)

f (x) = Majority(x1, . . . , xn).

I1 = I2 = . . . = In ≈ 1√n .

Example (Parity)

f (x) = x1 ⊕ x2 ⊕ . . .⊕ xn.

I1 = I2 = . . . = In = 1.

Page 39: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Total influence

Dictator:∑

Ii = 1 + 0 + . . .+ 0 = 1.

Parity:∑

Ii = 1 + . . .+ 1 = n.Majority:

∑Ii ≈ 1√

n + . . . 1√n =√

n.

QuestionWhich functions have constant O(1) total influence?

Page 40: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Total influence

Dictator:∑

Ii = 1 + 0 + . . .+ 0 = 1.Parity:

∑Ii = 1 + . . .+ 1 = n.

Majority:∑

Ii ≈ 1√n + . . . 1√

n =√

n.

QuestionWhich functions have constant O(1) total influence?

Page 41: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Total influence

Dictator:∑

Ii = 1 + 0 + . . .+ 0 = 1.Parity:

∑Ii = 1 + . . .+ 1 = n.

Majority:∑

Ii ≈ 1√n + . . . 1√

n =√

n.

QuestionWhich functions have constant O(1) total influence?

Page 42: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Total influence

Dictator:∑

Ii = 1 + 0 + . . .+ 0 = 1.Parity:

∑Ii = 1 + . . .+ 1 = n.

Majority:∑

Ii ≈ 1√n + . . . 1√

n =√

n.

QuestionWhich functions have constant O(1) total influence?

Page 43: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Junta session one week after the 1973 coup in Chile.

Definition (Junta)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Page 44: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (Junta-Recall)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Everybody outside the junta has influence 0.∑Ii ≤ k .

Friedgut: The inverse is essentially true.

Theorem (Friedgut’98)

If the total influence is constant then f is approximately a junta.

Proof is based on the proof of the KKL inequality.

Page 45: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (Junta-Recall)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Everybody outside the junta has influence 0.

∑Ii ≤ k .

Friedgut: The inverse is essentially true.

Theorem (Friedgut’98)

If the total influence is constant then f is approximately a junta.

Proof is based on the proof of the KKL inequality.

Page 46: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (Junta-Recall)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Everybody outside the junta has influence 0.∑Ii ≤ k .

Friedgut: The inverse is essentially true.

Theorem (Friedgut’98)

If the total influence is constant then f is approximately a junta.

Proof is based on the proof of the KKL inequality.

Page 47: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (Junta-Recall)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Everybody outside the junta has influence 0.∑Ii ≤ k .

Friedgut: The inverse is essentially true.

Theorem (Friedgut’98)

If the total influence is constant then f is approximately a junta.

Proof is based on the proof of the KKL inequality.

Page 48: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Definition (Junta-Recall)

There is a small set of voters {i1, . . . , ik} who decide theelection

f (x) := g(xi1 , . . . , xik ).

Everybody outside the junta has influence 0.∑Ii ≤ k .

Friedgut: The inverse is essentially true.

Theorem (Friedgut’98)

If the total influence is constant then f is approximately a junta.

Proof is based on the proof of the KKL inequality.

Page 49: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (KKL inequality 1988)Let f be a balanced function. Then

maxi

Ii &log n

n.

It has many applications in computer science.The proof was influential.It is based on hyper-contractivity, a phenomenon inharmonic analysis.It introduced this tool to the community of computerscience and combinatorics.

Page 50: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (KKL inequality 1988)Let f be a balanced function. Then

maxi

Ii &log n

n.

It has many applications in computer science.

The proof was influential.It is based on hyper-contractivity, a phenomenon inharmonic analysis.It introduced this tool to the community of computerscience and combinatorics.

Page 51: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (KKL inequality 1988)Let f be a balanced function. Then

maxi

Ii &log n

n.

It has many applications in computer science.The proof was influential.

It is based on hyper-contractivity, a phenomenon inharmonic analysis.It introduced this tool to the community of computerscience and combinatorics.

Page 52: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (KKL inequality 1988)Let f be a balanced function. Then

maxi

Ii &log n

n.

It has many applications in computer science.The proof was influential.It is based on hyper-contractivity, a phenomenon inharmonic analysis.

It introduced this tool to the community of computerscience and combinatorics.

Page 53: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (KKL inequality 1988)Let f be a balanced function. Then

maxi

Ii &log n

n.

It has many applications in computer science.The proof was influential.It is based on hyper-contractivity, a phenomenon inharmonic analysis.It introduced this tool to the community of computerscience and combinatorics.

Page 54: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Example III: PhaseTransitions

Page 55: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Erdös-Rényi graph

In early sixties Erdös and Rényi invented the notion of arandom graph G(n,p):

A random graph on n vertices, whereevery edge is present independently with probability p.

G(n, p)

e

Pr[e ∈ G(n, p)] = p

Page 56: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Erdös-Rényi graph

In early sixties Erdös and Rényi invented the notion of arandom graph G(n,p):A random graph on n vertices, where

every edge is present independently with probability p.

G(n, p)

e

Pr[e ∈ G(n, p)] = p

Page 57: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Erdös-Rényi graph

In early sixties Erdös and Rényi invented the notion of arandom graph G(n,p):A random graph on n vertices, whereevery edge is present independently with probability p.

G(n, p)

e

Pr[e ∈ G(n, p)] = p

Page 58: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Thresholds

They observed that some fundamental graph properties suchas connectivity exhibit a threshold as p increases.

1

1

p

Pr[G(n, p) is connected]

Page 59: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Thresholds

This is an instance of the phenomenon of phase transition instatistical physics which explains the rapid change of behaviorin many physical processes.

Page 60: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

The critical probability

DefinitionLet f : {0,1}n → {0,1} be an increasing function. The criticalprobability pc is defined as

Prx∼µpc

[f (x) = 1] = 1/2.

1

p

Pr[G(n, p) is connected]

pc =lnnn

Page 61: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (Bollobás-Thomason 1987)

Let f : {0,1}n → {0,1} be increasing. Then

Prx∼µp

[f (x) = 1] ={

o(1) p � pc1− o(1) p � pc .

1

p

Pr[f(x) = 1]

pc

transition interval

Page 62: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (Bollobás-Thomason 1987)

Let f : {0,1}n → {0,1} be increasing. Then

Prx∼µp

[f (x) = 1] ={

o(1) p � pc1− o(1) p � pc .

1

p

Pr[f(x) = 1]

pc

transition interval

Page 63: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (Bollobás-Thomason 1987)

Let f : {0,1}n → {0,1} be increasing. Then

Prx∼µp

[f (x) = 1] ={

o(1) p � pc1− o(1) p � pc .

1

p

Pr[f(x) = 1]

pc

transition interval

Page 64: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleConnectivity:

1

p

Pr[G(n, p) is connected]

pc =lnnn

Page 65: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleContaining a triangle:

1

p

Pr[triangle]

pc

Page 66: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

sharpness of threshold

One of the main questions that arises in studying phasetransitions is:

“How sharp is the threshold?”

That is how short is the interval in which the transitionoccurs.

1

p

Pr[f(x) = 1]

pc

transition interval

Page 67: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

sharpness of threshold

One of the main questions that arises in studying phasetransitions is:

“How sharp is the threshold?”That is how short is the interval in which the transitionoccurs.

1

p

Pr[f(x) = 1]

pc

transition interval

Page 68: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (Recall Bollobás-Thomason)

Every increasing function f : {0,1}n → {0,1} exhibits athreshold:

Prx∼µp

[f (x) = 1] ={

o(1) p � pc1− o(1) p � pc .

Definition (Sharp threshold)

An increasing function f : {0,1}n → {0,1} exhibits a sharpthreshold, if for all ε > 0,

Prx∼µp

[f (x) = 1] ={

o(1) p ≤ (1− ε)pc1− o(1) p ≥ (1 + ε)pc .

Page 69: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

Theorem (Recall Bollobás-Thomason)

Every increasing function f : {0,1}n → {0,1} exhibits athreshold:

Prx∼µp

[f (x) = 1] ={

o(1) p � pc1− o(1) p � pc .

Definition (Sharp threshold)

An increasing function f : {0,1}n → {0,1} exhibits a sharpthreshold, if for all ε > 0,

Prx∼µp

[f (x) = 1] ={

o(1) p ≤ (1− ε)pc1− o(1) p ≥ (1 + ε)pc .

Page 70: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleContaining a triangle does not exhibit a sharp threshold.

1

p

Pr[triangle]

pc

Page 71: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleConnectivity exhibits a sharp threshold.

1

p

Pr[G(n, p) is connected]

pc =lnnn

Page 72: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleWhat about more complicated properties such as

Satisfiability of a 3-SAT formula.3-colorability of a graph.

Is there a general approach to such questions?

QuestionWhat can we say about f : {0,1}n → {0,1} if it does not exhibita sharp threshold?

Page 73: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleWhat about more complicated properties such as

Satisfiability of a 3-SAT formula.3-colorability of a graph.

Is there a general approach to such questions?

QuestionWhat can we say about f : {0,1}n → {0,1} if it does not exhibita sharp threshold?

Page 74: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleWhat about more complicated properties such as

Satisfiability of a 3-SAT formula.3-colorability of a graph.

Is there a general approach to such questions?

QuestionWhat can we say about f : {0,1}n → {0,1} if it does not exhibita sharp threshold?

Page 75: Harmonic Analysis of Boolean Functionshatami/comp760-2011/lecture0.pdf · Scribing two lectures: 15 % Attending lectures: 5 %. Tentative plan Overview: Basic functional analysis

ExampleWhat about more complicated properties such as

Satisfiability of a 3-SAT formula.3-colorability of a graph.

Is there a general approach to such questions?

QuestionWhat can we say about f : {0,1}n → {0,1} if it does not exhibita sharp threshold?