Live data from Hacker News

Decades-Old Computer Science Conjecture Solved in Two Pages

quantamagazine.org

21–30 of 74 posts

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#21

Can anyone explain the significance of this finding? Any technologies that can benefit from the application of this?

the significant bit is :-

Most importantly, though, Huang’s result lays to rest nagging worries about whether sensitivity might be some strange outlier in the world of complexity measures, Servedio said. “I think a lot of people slept easier that night, after hearing about this.”

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#22
post #20
post #12

Earlier quoted context omitted.

This is pure intuition, but from reading this I get the sense that this conjecture is some generalization of a fixed point theorem?

Can you explain your intuition for how this relates to fixed points?

A Boolean array is isomorphic to a fixed point number.

The article discusses non-fixed equivalents, though, both a contextual variable length and a quantum super position length bit array.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#23

Surprisingly good for a Quanta Magazine article.

It's an important and interesting but unusually simple mathematical topic that can be explained quite well without dumbing it down, leading to a "surprisingly good" article compared to scientific divulgation in general.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#24
post #20

Earlier quoted context omitted.

Can you explain your intuition for how this relates to fixed points?

A Boolean array is isomorphic to a fixed point number. The article discusses non-fixed equivalents, though, both a contextual variable length and a quantum super position length bit array.

I don't understand what you said, but I and (I assume) GP were talking about https://en.wikipedia.org/wiki/Fixed_point_(mathematics)

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#25

A fine article. A great science writer like Dr. Erica Kalrreich can make anything interesting, even theoretical CS. Other articles by this author: https://www.quantamagazine.org/authors/erica-klarreich/

Yup, she makes great examples without sacrificing accuracy.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#26

Can anyone explain the significance of this finding? Any technologies that can benefit from the application of this?

I'm studying universal needs for life to thrive. My intuition tells me this proof may imply some things about the question "Are all your needs met?"

I'll have to reread the paper a couple more times, but I think Boolean sensitivity could be related to the security one has around any given need. There may be further implications around how to assess one's strategies for meeting needs, as those would be the individual inputs to the Boolean function of "Is the need for _____ security met?" This could help provide a theoretical framework for designing systems oriented around well-being.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#28
post #11

Can anyone explain the significance of this finding? Any technologies that can benefit from the application of this?

Usually with things like this, the result is already fairly well established, or close enough at least, within the scale any real-world application would require. You can think of it like the four color theorem. A beautiful theoretical result (though a far less beautiful proof), but the only practical significance is now cartographers know they'll never need that extra crayon....

Well graph coloring in a more general sense is used for things like register allocation in compilers. So any proofs or increase in theoretical knowledge in the area could lead to improvements in that area.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#29
post #11

Earlier quoted context omitted.

Usually with things like this, the result is already fairly well established, or close enough at least, within the scale any real-world application would require. You can think of it like the four color theorem. A beautiful theoretical result (though a far less beautiful proof), but the only practical significance is now cartographers know they'll never need that extra crayon....

I think the most interesting point of the paper isn't simply the proof the conjecture but also the sqrt(n) bound. I doubt many downstream results were predicated on that particular bound.

>Huang’s result is even stronger than necessary to prove the sensitivity conjecture, and this power should yield new insights about complexity measures.

If I interpret this correctly it's a tighter bound than the original conjecture, so it should allow better optimizations.

Re: Decades-Old Computer Science Conjecture Solved in Two Pages

#30
post #12

On boolean sensitivies: https://d2r55xnwy6nx47.cloudfront.net/uploads/2019/07/Boolea... The closing quote: > [Huang] was able to prove that in any collection of more than half the points in an n-dimensional cube, there will be some point that is connected to at least √n of the other points — and the sensitivity conjecture instantly followed from this result The actual paper: https://arxiv.org/abs/1907.00847 Another b…

This is pure intuition, but from reading this I get the sense that this conjecture is some generalization of a fixed point theorem?

Well - the eigenvalues (of the adjacency matrix), which are used in the proof, correspond to eigenvectors. Which are fixpoints (or at least fixed linear subspaces) of the corresponding linear function. So there is some "lexical" connection. But apart from that I'm not sure that I share your sense that this is "some generalization of a fixed point theorem". Can you give us more insight?
Post reply on HN