# Tools and Sensitivity

*Cutting right through a 30-year-old conjecture*

Cropped from Emory homepage |

Hao Huang is a mathematician and computer scientist at Emory University. Last week he released a paper of only six pages that solves the Boolean Sensitivity Conjecture, which goes back at least to a 1992 paper by Noam Nisan and Mario Szegedy.

Today we discuss his brilliant proof and what it means for sensitivity of the *tools* one employs.

Several of our blogging friends have covered this news in posts already, and Ryan O’Donnell even summarized the proof in one tweet. Scott Aaronson’s thread includes a comment by Huang on how he came by his proof.

We will try to draw implications for the related matter of how *you* might come by proofs of *other* conjectures. We have previously discussed the possibility of overlooking short solutions to major problems. Here we will discuss how to *find* them.

## A Graph Puzzle

To get a flavor of what Huang proved, consider the graph of an ordinary cube:

The question is, *can you color 5 vertices red so that no red node has 3 red neighbors?* Your first impulse might be to color 4 nodes red according to parity so that none has a red neighbor, per below left:

But then any 5th node will have 3 red neighbors. Another “greedy” idea is to pack a subgraph of the allowed degree 2 into half the cube, as at right. Any 5th node will again create a degree-3 vertex in the subgraph induced by the red nodes.

The answer is that actually one can pack 6 nodes that induce a simple cycle:

Now let’s up the dimension by one—that is, take and . How many nodes can we color red and keep the induced degree 2?

Again the parity trick gives us degree 0 with 8 nodes, but then we can’t add a 9th. We can greedily try to pack the outer cube with our 6-node solution, but then—perhaps surprisingly—we can add only 2 more red nodes from the inner cube. So we can only do 5 from the outer cube. We can get 9 overall by:

The fact that one red node is isolated seems to give room to improve, but there is no way to make 10.

## The Theorem

The calculations have left an interesting jump from degree 0 with eight red nodes and degree 2 with nine. How about degree 1? Can we do that with 9 nodes? We can pack four disjoint edges but then there is nowhere to stick an isolated node.

So for 9 nodes, which is , the best we can do is degree 2, which is . This is what Huang proved:

Theorem 1Every subgraph induced by nodes of the -dimensional hypercube graph has a node of degree at least .

This is completely tight. When is a perfect square there is a way to achieve as the maximum degree (shown here). Otherwise the least integer above is best. Thus every subgraph of the -cube induced by 17 nodes has a node with three neighbors, but you can go as high as 257 nodes in the -cube while keeping the maximum degree to 3.

We will mention the relation to Boolean sensitivity only briefly. The nodes of the -cube correspond to truth assignments in . Since every red node has neighbors in the cube but at most red neighbors, the color function is highly sensitive to bitflips. But every flip also changes the parity of . Hence the *exclusive-or* of the color function with the parity function has *low* sensitivity.

But not too low: Huang proved it is at least . That was enough to prove the conjecture. I’ve cut two sections on Boolean sensitivity from this post’s original draft—let’s just say the connection to the -cube and graph degree was known since this 1992 paper. Here we’ll focus on what it took to prove this theorem.

## The Proof

From my undergrad days I’ve kept an interest in spectral graph theory. One of the basic facts is that the degree of a graph is always at least as great as the largest eigenvalue of its adjacency matrix . For a -regular graph they are equal. Huang’s first trick is to note that the classic proof of this also allows values on edges:

Lemma 2Let be a symmetric matrix obtained from by multiplying some entries by and any of its eigenvalues. Then .

*Proof:* Choose an eigenvector such that and take an index that maximizes . Then

Dividing out gives the lemma.

So now what we want to do is find conditions that force when is a -vertex subgraph of the -cube with , where . The trick that Huang realized is that he could do this by making sit inside a matrix with at least eigenvalues of .

To see how, form by knocking out the last row and column of . Since and are both real and symmetric, their eigenvalues are real, so we can order them and in nonincreasing order. The basic fact is that they always *interlace*:

See this for a one-page proof. The neat point is that you can repeat this: if you get by knocking out another row and corresponding column, and are its eigenvalues in order, then

It follows that . If you do this again, you get a matrix whose leading eigenvalue is still at least as big as . Do it times inside , and you’re still above , which we just said we will arrange to be . Thus if we knock out the white nodes, we will get the graph on the red nodes with adjacency matrix and conclude:

Plugging into the lemma gives:

(In fact, as also noted on Scott’s blog, this case of interlacing can be inferred from simpler reasoning—but our point is that the interlacing theorem was in Huang’s bag of tricks.)

## Building the Matrix

Finally, how do we lay hands on ? We want a matrix of trace zero such that . Then all its eigenvalues are and . They come in equal numbers because they sum to the trace which is zero. So we will have eigenvalues of , as needed. And we would want to be the matrix of the -cube but that doesn’t work: each entry of its square counts all paths of length 2 from node to node and that number can be nonzero.

This is where the trick of putting on edges comes in, and we can explain it in a way familiar from quantum. We arrange that every 4-cycle of the -cube has exactly one edge with . Then the pairs of paths from one corner to the opposite corner will always *cancel*, leaving whenever . And because there are ways to go out and come back along the same edge, always contributing or either way. Huang defines the needed labeling explicitly by the recursion:

This puts a sign on exactly one-fourth of the entries in the needed way. OK, we changed Huang’s subscripts for consistency with “” above and also to note that the basis could be . Anyway, he verifies directly by simple algebra and induction. That’s it—that’s the proof.

Why was it hard to spot? Dick and I believe it was the trick. In the 1980s, I thought about ways to convert undirected graphs into directed ones by putting arrows on the edges, but not signs. The chance of thinking of it maybe rises with knowing quantum ideas such as interference and amplification. Now we can see, OK, is the quantum NOT gate and the recursion treats signs in similar fashion to the recursion defining Hadamard matrices. The matrix is unitary, so it defines a quantum operator. This all goes to our main point about having tools at one’s command—the more tools, the better.

## Open Problems

Huang’s theorem still leaves a gap between a quadratic lower bound and his 4th-power upper bound (my longer draft lays this out). Can this gap be closed? In discussing this, Huang notes that his spectral methods need not be confined to sub-matrices of the -cube, and our thoughts of involving quantum are similar. Can quantum tools improve the results even further?

### Trackbacks

- Amazing: Hao Huang Proved the Sensitivity Conjecture! | Combinatorics and more
- Discrepancy Games and Sensitivity | Gödel's Lost Letter and P=NP
- Spectral proofs of theorems on the boolean hypercube | Anurag's Math Blog
- Predicting Predictions For the 20s | Gödel's Lost Letter and P=NP
- Closing An Open Problem | Gödel's Lost Letter and P=NP

💡 not following the details closely yet but it appears Huang in his “already-celebrated proof” constructed a fractal object on the n-cube for the proof. think fractals are underexplored in math + CS + complexity theory & have thought for years they will be crucial in understanding/ conquering the big proofs eg P vs NP. eg Hadamard matrices show up a lot in related study & think they can be interpreted as fractal objects etc…