Boolean function analysis: beyond the hypercube Yuval Filmus - - PowerPoint PPT Presentation

boolean function analysis beyond the hypercube
SMART_READER_LITE
LIVE PREVIEW

Boolean function analysis: beyond the hypercube Yuval Filmus - - PowerPoint PPT Presentation

Boolean function analysis: beyond the hypercube Yuval Filmus Technion Israel Institute of Technology CAALM19 What is Boolean function analysis? Dimension-independent properties of functions { 0 , 1 } n { 0 , 1 } Many applications


slide-1
SLIDE 1

Boolean function analysis: beyond the hypercube

Yuval Filmus

Technion — Israel Institute of Technology

CAALM’19

slide-2
SLIDE 2

What is Boolean function analysis?

Dimension-independent properties of functions {0, 1}n → {0, 1} Many applications to combinatorics and computational complexity

slide-3
SLIDE 3

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.
slide-4
SLIDE 4

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .
slide-5
SLIDE 5

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .

2 |F| =

n−1

k−1

  • =

⇒ F is a star, i.e. {A : i ∈ A}.

slide-6
SLIDE 6

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .

2 |F| =

n−1

k−1

  • =

⇒ F is a star, i.e. {A : i ∈ A}.

3 |F| ≈

n−1

k−1

  • =

⇒ F ≈ a star.

slide-7
SLIDE 7

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .

Lov´ asz: spectral proof using theta function.

2 |F| =

n−1

k−1

  • =

⇒ F is a star, i.e. {A : i ∈ A}.

3 |F| ≈

n−1

k−1

  • =

⇒ F ≈ a star.

slide-8
SLIDE 8

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .

Lov´ asz: spectral proof using theta function.

2 |F| =

n−1

k−1

  • =

⇒ F is a star, i.e. {A : i ∈ A}. Boolean degree 1 function is a dictator.

3 |F| ≈

n−1

k−1

  • =

⇒ F ≈ a star.

slide-9
SLIDE 9

Motivating example: Erd˝

  • s–Ko–Rado theorem

Suppose F ⊂ [n]

k

  • is intersecting, k = pn, p < 1/2.

1 |F| ≤

n−1

k−1

  • .

Lov´ asz: spectral proof using theta function.

2 |F| =

n−1

k−1

  • =

⇒ F is a star, i.e. {A : i ∈ A}. Boolean degree 1 function is a dictator.

3 |F| ≈

n−1

k−1

  • =

⇒ F ≈ a star. Boolean almost degree 1 function is almost a dictator.

slide-10
SLIDE 10

Classical Boolean function analysis

Fundamental theorem Every function f : {±1}n → R has unique expansion as multilinear polynomial, the Fourier expansion: f (x1, . . . , xn) =

  • S⊆[n]

ˆ f (S)xS, where xS =

  • i∈S

xi.

slide-11
SLIDE 11

Classical Boolean function analysis

Fundamental theorem Every function f : {±1}n → R has unique expansion as multilinear polynomial, the Fourier expansion: f (x1, . . . , xn) =

  • S⊆[n]

ˆ f (S)xS, where xS =

  • i∈S

xi. Degree of f = degree of Fourier expansion.

slide-12
SLIDE 12

Classical Boolean function analysis

Fundamental theorem Every function f : {±1}n → R has unique expansion as multilinear polynomial, the Fourier expansion: f (x1, . . . , xn) =

  • S⊆[n]

ˆ f (S)xS, where xS =

  • i∈S

xi. Degree of f = degree of Fourier expansion. Dictator: function depending on one coordinate. d-Junta: function depending on d coordinates. deg f ≤ d iff f is linear combination of d-juntas.

slide-13
SLIDE 13

Boolean degree 1 functions

Question Suppose f : {±1}n → {±1} has degree 1. What does f look like?

slide-14
SLIDE 14

Boolean degree 1 functions

Question Suppose f : {±1}n → {±1} has degree 1. What does f look like? deg f ≤ 1 ⇐ ⇒ f (x1, . . . , xn) = a0 + a1x1 + · · · + anxn.

slide-15
SLIDE 15

Boolean degree 1 functions

Question Suppose f : {±1}n → {±1} has degree 1. What does f look like? deg f ≤ 1 ⇐ ⇒ f (x1, . . . , xn) = a0 + a1x1 + · · · + anxn. Dictator theorem If f : {±1}n → {±1} has degree 1 then f ∈ {±1, ±x1, . . . , ±xn}.

slide-16
SLIDE 16

Boolean almost degree 1 functions

Refined question Suppose f : {±1}n → {±1} satisfies E

x∼{±1}n[(f (x) − g(x))2] = ǫ

for some g : {±1}n → R of degree 1. What does f look like?

slide-17
SLIDE 17

Boolean almost degree 1 functions

Refined question Suppose f : {±1}n → {±1} satisfies E

x∼{±1}n[(f (x) − g(x))2] = ǫ

for some g : {±1}n → R of degree 1. What does f look like? Friedgut–Kalai–Naor (FKN) theorem Suppose f : {±1}n → {±1} satisfies f >12 = ǫ. Then Pr[f = h] = O(ǫ) for some h ∈ {±1, ±x1, . . . , ±xn}.

slide-18
SLIDE 18

Boolean function analysis on the slice

The slice or Johnson scheme is [n] k

  • =
  • (x1, . . . , xn) ∈ {0, 1}n :

n

  • i=1

xi = k

  • .
slide-19
SLIDE 19

Boolean function analysis on the slice

The slice or Johnson scheme is [n] k

  • =
  • (x1, . . . , xn) ∈ {0, 1}n :

n

  • i=1

xi = k

  • .

Fundamental theorem (Dunkl) Every function f : [n]

k

  • → R has unique expansion as multilinear

polynomial P of degree ≤ min(k, n − k) such that

n

  • i=1

∂P ∂xi = 0. Examples: 1, (x1 − x2), (x1 − x2)(x3 − x4), . . .

slide-20
SLIDE 20

Degree of functions on the slice

Fundamental theorem (Dunkl) Every function f : [n]

k

  • → R has unique expansion as multilinear

polynomial P of degree ≤ min(k, n − k) such that

n

  • i=1

∂P ∂xi = 0.

slide-21
SLIDE 21

Degree of functions on the slice

Fundamental theorem (Dunkl) Every function f : [n]

k

  • → R has unique expansion as multilinear

polynomial P of degree ≤ min(k, n − k) such that

n

  • i=1

∂P ∂xi = 0. Degree of f = degree of unique expansion.

slide-22
SLIDE 22

Degree of functions on the slice

Fundamental theorem (Dunkl) Every function f : [n]

k

  • → R has unique expansion as multilinear

polynomial P of degree ≤ min(k, n − k) such that

n

  • i=1

∂P ∂xi = 0. Degree of f = degree of unique expansion. Dictator: function depending on one coordinate. d-Junta: function depending on d coordinates. deg f ≤ d iff f is linear combination of d-juntas.

slide-23
SLIDE 23

Degree of functions on the slice

Fundamental theorem (Dunkl) Every function f : [n]

k

  • → R has unique expansion as multilinear

polynomial P of degree ≤ min(k, n − k) such that

n

  • i=1

∂P ∂xi = 0. Degree of f = degree of unique expansion. Dictator theorem holds (except for trivial cases). FKN theorem holds for 0 ≪ k/n ≪ 1.

slide-24
SLIDE 24

Erd˝

  • s–Ko–Rado theorem

Spectral argument of Lov´ asz Let k = pn, p < 1/2. If F ⊂ [n]

k

  • is intersecting and F is not too small then

|F| ≤ n − 1 k − 1

  • 1 − C1>1

F 2

.

slide-25
SLIDE 25

Erd˝

  • s–Ko–Rado theorem

Spectral argument of Lov´ asz Let k = pn, p < 1/2. If F ⊂ [n]

k

  • is intersecting and F is not too small then

|F| ≤ n − 1 k − 1

  • 1 − C1>1

F 2

. Corollaries

1 |F| ≤

n−1

k−1

  • .
slide-26
SLIDE 26

Erd˝

  • s–Ko–Rado theorem

Spectral argument of Lov´ asz Let k = pn, p < 1/2. If F ⊂ [n]

k

  • is intersecting and F is not too small then

|F| ≤ n − 1 k − 1

  • 1 − C1>1

F 2

. Corollaries

1 |F| ≤

n−1

k−1

  • .

2 |F| =

n−1

k−1

  • =

⇒ deg 1F = 1. Dictator theorem: F is a star.

slide-27
SLIDE 27

Erd˝

  • s–Ko–Rado theorem

Spectral argument of Lov´ asz Let k = pn, p < 1/2. If F ⊂ [n]

k

  • is intersecting and F is not too small then

|F| ≤ n − 1 k − 1

  • 1 − C1>1

F 2

. Corollaries

1 |F| ≤

n−1

k−1

  • .

2 |F| =

n−1

k−1

  • =

⇒ deg 1F = 1. Dictator theorem: F is a star.

3 |F| = (1 − ǫ)

n−1

k−1

  • =

⇒ 1>1

F 2 = O(ǫ).

FKN theorem: F is O(ǫ)-close to a star.

slide-28
SLIDE 28

FKN theorem for small k?

Let p := k/n = o(1) and ǫ ≫ p2. Consider g : [n]

k

  • → R defined as

g := x1 + · · · + x√ǫ/p

slide-29
SLIDE 29

FKN theorem for small k?

Let p := k/n = o(1) and ǫ ≫ p2. Consider g : [n]

k

  • → R defined as

g := x1 + · · · + x√ǫ/p ∼ Bin(√ǫ/p, p)

slide-30
SLIDE 30

FKN theorem for small k?

Let p := k/n = o(1) and ǫ ≫ p2. Consider g : [n]

k

  • → R defined as

g := x1 + · · · + x√ǫ/p ∼ Bin(√ǫ/p, p) ∼ Poisson(√ǫ)

slide-31
SLIDE 31

FKN theorem for small k?

Let p := k/n = o(1) and ǫ ≫ p2. Consider g : [n]

k

  • → R defined as

g := x1 + · · · + x√ǫ/p ∼ Bin(√ǫ/p, p) ∼ Poisson(√ǫ) This shows that Pr[g = 0] ≈ 1 − √ǫ. Pr[g = 1] ≈ √ǫ − ǫ. Pr[g ≥ 2] ≈ ǫ.

slide-32
SLIDE 32

FKN theorem for small k?

Let p := k/n = o(1) and ǫ ≫ p2. Consider g : [n]

k

  • → R defined as

g := x1 + · · · + x√ǫ/p ∼ Bin(√ǫ/p, p) ∼ Poisson(√ǫ) This shows that Pr[g = 0] ≈ 1 − √ǫ. Pr[g = 1] ≈ √ǫ − ǫ. Pr[g ≥ 2] ≈ ǫ. Therefore g

O(ǫ)

≈ f := x1 ∨ · · · ∨ x√ǫ/p

slide-33
SLIDE 33

FKN theorem for small k

FKN theorem on the slice (F.) Let p := k/n ≤ 1/2. If f : [n]

k

  • → {0, 1} satisfies f >12 = ǫ then either f or 1 − f is

O(ǫ)-close to a disjunction of m variables, where m = max

  • 1, O

√ǫ p

  • .
slide-34
SLIDE 34

FKN theorem for small k

FKN theorem on the slice (F.) Let p := k/n ≤ 1/2. If f : [n]

k

  • → {0, 1} satisfies f >12 = ǫ then either f or 1 − f is

O(ǫ)-close to a disjunction of m variables, where m = max

  • 1, O

√ǫ p

  • .

Corollary f is O(√ǫ + p)-close to 0 or 1.

slide-35
SLIDE 35

FKN theorem for small k

FKN theorem on the slice (F.) Let p := k/n ≤ 1/2. If f : [n]

k

  • → {0, 1} satisfies f >12 = ǫ then either f or 1 − f is

O(ǫ)-close to a disjunction of m variables, where m = max

  • 1, O

√ǫ p

  • .

Corollary f is O(√ǫ + p)-close to 0 or 1. Dictator theorem on the slice If f : [n]

k

  • → {0, 1} has degree 1 and k = 1, n − 1 then

f ∈ {0, 1, x1, 1 − x1, . . . , xn, 1 − xn}.

slide-36
SLIDE 36

Symmetric group

The symmetric group is Sn = {π: [n] → [n] | π is a permutation}

slide-37
SLIDE 37

Symmetric group

The symmetric group is Sn = {π: [n] → [n] | π is a permutation} = {(xij)n

i,j=1 ∈ {0, 1}n×n | (xij) is a permutation matrix}.

slide-38
SLIDE 38

Symmetric group

The symmetric group is Sn = {π: [n] → [n] | π is a permutation} = {(xij)n

i,j=1 ∈ {0, 1}n×n | (xij) is a permutation matrix}.

Degree deg f ≤ d if f can be written as degree d polynomial in xij.

slide-39
SLIDE 39

Symmetric group

The symmetric group is Sn = {π: [n] → [n] | π is a permutation} = {(xij)n

i,j=1 ∈ {0, 1}n×n | (xij) is a permutation matrix}.

Degree deg f ≤ d if f can be written as degree d polynomial in xij. deg f ≤ d if f is linear combination of indicators of events π(i1) = j1, . . . , π(id) = jd.

slide-40
SLIDE 40

Boolean degree 1 functions on Sn

What are dictators in Sn? Suppose f : Sn → {0, 1} has degree 1, i.e., f =

n

  • i=1

n

  • j=1

aijxij. What does f look like?

slide-41
SLIDE 41

Boolean degree 1 functions on Sn

What are dictators in Sn? Suppose f : Sn → {0, 1} has degree 1, i.e., f =

n

  • i=1

n

  • j=1

aijxij. What does f look like? Ellis, Friedgut and Pilpel show that wlog, aij ∈ {0, 1}. So f is sum of mutually exclusive xij.

slide-42
SLIDE 42

Boolean degree 1 functions on Sn

What are dictators in Sn? Suppose f : Sn → {0, 1} has degree 1, i.e., f =

n

  • i=1

n

  • j=1

aijxij. What does f look like? Ellis, Friedgut and Pilpel show that wlog, aij ∈ {0, 1}. So f is sum of mutually exclusive xij. Two entries are mutually exclusive if on same row or column. Set of entries is mutually exclusive if all on a single row or column. Conclusion: f is sum of entries on a single row or column.

slide-43
SLIDE 43

Boolean (almost) degree 1 functions on Sn

Dictator theorem (EFP) If f : Sn → {0, 1} has degree 1 then f depends on some π(i) or on some π−1(j) (“dictator”).

slide-44
SLIDE 44

Boolean (almost) degree 1 functions on Sn

Dictator theorem (EFP) If f : Sn → {0, 1} has degree 1 then f depends on some π(i) or on some π−1(j) (“dictator”). FKN theorem for sparse functions (EFF1) If f : Sn → {0, 1} is close to degree 1 and E[f ] = c/n then f is close to sum of c entries xij.

slide-45
SLIDE 45

Boolean (almost) degree 1 functions on Sn

Dictator theorem (EFP) If f : Sn → {0, 1} has degree 1 then f depends on some π(i) or on some π−1(j) (“dictator”). FKN theorem for sparse functions (EFF1) If f : Sn → {0, 1} is close to degree 1 and E[f ] = c/n then f is close to sum of c entries xij. FKN theorem for balanced functions (EFF2) If f : Sn → {0, 1} is close to degree 1 and E[f ] ≈ 1/2 then f is close to a dictator.

slide-46
SLIDE 46

What about higher degrees?

Higher-degree analog of dictator theorem Suppose f : {0, 1}n → {0, 1} has degree d. On how many coordinates can f depend?

slide-47
SLIDE 47

What about higher degrees?

Higher-degree analog of dictator theorem Suppose f : {0, 1}n → {0, 1} has degree d. On how many coordinates can f depend? Surprising example Following function has degree d, depends on Ω(2d) coordinates: f (x1, . . . , xd−1, y0, . . . , y2d−1−1) = yx. Can we do better?

slide-48
SLIDE 48

Boolean (almost) degree d functions

Nisan–Szegedy theorem, CHS’18 If f : {0, 1}n → {0, 1} has degree d then f is an O(2d)-junta (depends on O(2d) coordinates).

slide-49
SLIDE 49

Boolean (almost) degree d functions

Nisan–Szegedy theorem, CHS’18 If f : {0, 1}n → {0, 1} has degree d then f is an O(2d)-junta (depends on O(2d) coordinates). Kindler–Safra theorem If f : {0, 1}n → {0, 1} is close to degree d then f is close to an O(2d)-junta.

slide-50
SLIDE 50

Boolean (almost) degree d functions

Nisan–Szegedy theorem, CHS’18 If f : {0, 1}n → {0, 1} has degree d then f is an O(2d)-junta (depends on O(2d) coordinates). Kindler–Safra theorem If f : {0, 1}n → {0, 1} is close to degree d then f is close to an O(2d)-junta. Analogs for slice and Sn Nisan–Szegedy: known for slice (F.-Ihringer), unknown for Sn.

slide-51
SLIDE 51

Boolean (almost) degree d functions

Nisan–Szegedy theorem, CHS’18 If f : {0, 1}n → {0, 1} has degree d then f is an O(2d)-junta (depends on O(2d) coordinates). Kindler–Safra theorem If f : {0, 1}n → {0, 1} is close to degree d then f is close to an O(2d)-junta. Analogs for slice and Sn Nisan–Szegedy: known for slice (F.-Ihringer), unknown for Sn. Kindler–Safra: known for slice (FKMW,DFH,KK), known for sparse functions on Sn (EFF3), unknown for balanced functions.

slide-52
SLIDE 52

Sparse juntas

Setting: f : [n]

k

  • → {0, 1}, where p := k/n = o(1).

FKN theorem for sparse slice If f is close to degree 1 then f or 1 − f ≈ g := xi1 + · · · + xim, m = O(1/p). On typical input, ≤ 1 monomials are non-zero, and g ∈ {0, 1}.

slide-53
SLIDE 53

Sparse juntas

Setting: f : [n]

k

  • → {0, 1}, where p := k/n = o(1).

FKN theorem for sparse slice If f is close to degree 1 then f or 1 − f ≈ g := xi1 + · · · + xim, m = O(1/p). On typical input, ≤ 1 monomials are non-zero, and g ∈ {0, 1}. Sparse junta g is sparse junta if on typical input, O(1) monomials are non-zero, and g ∈ {0, 1}. g is hereditarily sparse junta if g is sparse junta even given xi1 = · · · = xiℓ = 1 for ℓ = O(1).

slide-54
SLIDE 54

Sparse junta theorem

Sparse junta g is sparse junta if on typical input, O(1) monomials are non-zero, and g ∈ {0, 1}. g is hereditarily sparse junta if g is sparse junta even given xi1 = · · · = xiℓ = 1 for ℓ = O(1). Kindler–Safra theorem for sparse slice f ≈ degree d = ⇒ f ≈ degree d hereditarily sparse junta. Moreover, coefficients of sparse junta belong to some finite set.

slide-55
SLIDE 55

Sparse junta theorem

Sparse junta g is sparse junta if on typical input, O(1) monomials are non-zero, and g ∈ {0, 1}. g is hereditarily sparse junta if g is sparse junta even given xi1 = · · · = xiℓ = 1 for ℓ = O(1). Kindler–Safra theorem for sparse slice f ≈ degree d = ⇒ f ≈ degree d hereditarily sparse junta. Moreover, coefficients of sparse junta belong to some finite set. Corollary If f is ǫ-close to degree d then f is O(ǫcd + p)-close to constant.

slide-56
SLIDE 56

There’s much more!

Other results Highlights: Sharp threshold theorems. Small set expansion. Invariance principle. Other domains Highlights: Grassmann scheme. High-dimensional expanders. Locally testable codes.

slide-57
SLIDE 57

Sharp and coarse thresholds

G(n, p) = Erd˝

  • s–R´

enyi random graph on n vertices, edge prob p. Two examples Pr[G(n, c

n) contains a triangle] −

→ 1 − e−c3/6. Pr[G(n, log n+c

n

) is connected] − → e−e−c.

slide-58
SLIDE 58

Sharp and coarse thresholds

G(n, p) = Erd˝

  • s–R´

enyi random graph on n vertices, edge prob p. Two examples Pr[G(n, c

n) contains a triangle] −

→ 1 − e−c3/6. Critical probability: 1

  • n. Window size: 1
  • n. Coarse threshold.

Pr[G(n, log n+c

n

) is connected] − → e−e−c.

slide-59
SLIDE 59

Sharp and coarse thresholds

G(n, p) = Erd˝

  • s–R´

enyi random graph on n vertices, edge prob p. Two examples Pr[G(n, c

n) contains a triangle] −

→ 1 − e−c3/6. Critical probability: 1

  • n. Window size: 1
  • n. Coarse threshold.

Pr[G(n, log n+c

n

) is connected] − → e−e−c. Critical probability: log n

n . Window size: 1

  • n. Sharp threshold.
slide-60
SLIDE 60

Sharp and coarse thresholds

G(n, p) = Erd˝

  • s–R´

enyi random graph on n vertices, edge prob p. Two examples Pr[G(n, c

n) contains a triangle] −

→ 1 − e−c3/6. Critical probability: 1

  • n. Window size: 1
  • n. Coarse threshold.

Pr[G(n, log n+c

n

) is connected] − → e−e−c. Critical probability: log n

n . Window size: 1

  • n. Sharp threshold.

Sharp threshold theorem (Friedgut; Bourgain; Hatami) Monotone graph properties with coarse threshold are approximately local.

slide-61
SLIDE 61

Sharp and coarse thresholds

G(n, p) = Erd˝

  • s–R´

enyi random graph on n vertices, edge prob p. Two examples Pr[G(n, c

n) contains a triangle] −

→ 1 − e−c3/6. Critical probability: 1

  • n. Window size: 1
  • n. Coarse threshold.

Pr[G(n, log n+c

n

) is connected] − → e−e−c. Critical probability: log n

n . Window size: 1

  • n. Sharp threshold.

Sharp threshold theorem (Friedgut; Bourgain; Hatami) Monotone graph properties with coarse threshold are approximately local. Swift threshold theorem (Friedgut–Kalai; Bourgain–Kalai) Monotone graph properties have window size ˜ O(

1 log2 n).

slide-62
SLIDE 62

Invariance principle

Central limit theorem (Berry–Ess´ een) If x1, . . . , xn are i.i.d. samples of U({±1}) then µ + a1x1 + · · · + anxn ∼ N(µ, a2

1 + · · · + a2 n)

provided no ai is too “prominent”.

slide-63
SLIDE 63

Invariance principle

Central limit theorem (Berry–Ess´ een) If x1, . . . , xn are i.i.d. samples of U({±1}) then µ + a1x1 + · · · + anxn ∼ N(µ, a2

1 + · · · + a2 n)

provided no ai is too “prominent”. Equivalently, µ + a1x1 + · · · + anxn ∼ µ + a1g1 + · · · + angn, where g1, . . . , gn are i.i.d. samples of N(0, 1).

slide-64
SLIDE 64

Invariance principle

Central limit theorem (Berry–Ess´ een) If x1, . . . , xn are i.i.d. samples of U({±1}) then µ + a1x1 + · · · + anxn ∼ N(µ, a2

1 + · · · + a2 n)

provided no ai is too “prominent”. Equivalently, µ + a1x1 + · · · + anxn ∼ µ + a1g1 + · · · + angn, where g1, . . . , gn are i.i.d. samples of N(0, 1). Invariance principle (Mossel–O’Donnell–Oleszkiewicz) Same holds for degree O(1) polynomials

S aSxS

provided no variable is too influential: for all i,

  • S∋i

a2

S ≪

  • S=∅

a2

S.

slide-65
SLIDE 65

Grassmann scheme

Johnson scheme J(n, k) is set of subsets of {1, . . . , n} of size k.

slide-66
SLIDE 66

Grassmann scheme

Johnson scheme J(n, k) is set of subsets of {1, . . . , n} of size k. Grassmann scheme (q-Johnson scheme) Jq(n, k) is set of subspaces of Fn

q of dimension k.

slide-67
SLIDE 67

Grassmann scheme

Johnson scheme J(n, k) is set of subsets of {1, . . . , n} of size k. Grassmann scheme (q-Johnson scheme) Jq(n, k) is set of subspaces of Fn

q of dimension k.

Dictator theorem (F.–Ihringer) If f : J2(n, k) → {0, 1} has degree 1 then f or 1 − f ∈ {0, [x ∈ V ], [y ⊥ V ], [x ∈ V ∨ y ⊥ V ]} (x ⊥ y) Same object known as: Cameron–Liebler line class, tight set, completely regular strength 0 code of covering radius 1.

slide-68
SLIDE 68

There’s much more!

Other results Highlights: Sharp threshold theorems. Small set expansion. Invariance principle. Other domains Highlights: Grassmann scheme. High-dimensional expanders. Locally testable codes.