tag:blogger.com,1999:blog-3722233.post8151027848017081988..comments2019-12-12T06:26:43.248-05:00Comments on Computational Complexity: How to Prove NP Different from PLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger31125tag:blogger.com,1999:blog-3722233.post-90172233555712561932010-10-22T01:04:23.173-04:002010-10-22T01:04:23.173-04:00Anon30 = Coward.Anon30 = Coward.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-66678914061010413942010-08-21T04:06:27.430-04:002010-08-21T04:06:27.430-04:00Ketan Mulmuley=Vinay DeolalikarKetan Mulmuley=Vinay DeolalikarAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-83908683581273946132008-04-15T12:35:00.000-04:002008-04-15T12:35:00.000-04:00(Nitpick) James, algebraists often say that the pe...(Nitpick) James, algebraists often say that the permanent is not really an algebraic object. it is not invariant under change of basis.e.noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-18020327766145627792008-04-15T07:29:00.000-04:002008-04-15T07:29:00.000-04:00In principle any algebro-geometric argument can be...<I>In principle any algebro-geometric argument can be deconstructed until it is ``pure combinatorics" or even further down to the axioms of set theory. However in the process the proof might blow-up and be humanly unreadable.</I><BR/><BR/>The FPRAS for the permanent of 0/1 matrices seems very natural in the combinatorial setting, even if it concerns an algebraic object.Jameshttps://www.blogger.com/profile/08904443728910220598noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-59032100926202885842008-04-15T07:24:00.000-04:002008-04-15T07:24:00.000-04:00This comment has been removed by the author.Jameshttps://www.blogger.com/profile/08904443728910220598noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-83984936572296202252008-04-14T19:54:00.000-04:002008-04-14T19:54:00.000-04:00``The truth is that once you construct something v...``The truth is that once you construct something very complicated, and concentrate on the algebraic structure within that *specific* object (instead of arguing about a general class of objects), you move away from the domain of algebraic geometry.<BR/>"<BR/><BR/>In principle any algebro-geometric argument can be deconstructed until it is ``pure combinatorics" or even further down to the axioms of set theory. However in the process the proof might blow-up and be humanly unreadable. The question is then whether algebraic geometry/representation theory is a useful descriptive language as a first step for a proof of P != NP. There is a case that can be made in Ketan's favor, given that he and Sohoni have shown relations to positivity conjectures belonging to mainstream representation theory.harihttps://www.blogger.com/profile/01973990542647434448noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-78298889688837023962008-04-14T17:57:00.000-04:002008-04-14T17:57:00.000-04:00GCT is likely to be how P != NP will be proved is ...<I>GCT is likely to be how P != NP will be proved is that there is little "information loss" [KVs words] in his concise geometric reformulation. An alternate route to proving P != NP would also end up proving a theorem about "the representation theory of the permanent and determinant varieties". Though certainly possible, it seems unlikely that something like this could be achieved by an argument having no geometric/ representation theoretic component whatsoever.</I><BR/><BR/>Again, this is silly. On the one hand, it's the nature of P vs. NP and the startling success of NP-completeness; you can basically encode the P vs. NP *losslessly* in any field that you want. I disagree that it would be surprising for the argument to have no geometric/representation theoretic component. The truth is that once you construct something very complicated, and concentrate on the algebraic structure within that *specific* object (instead of arguing about a general class of objects), you move away from the domain of algebraic geometry.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-79956426549352571052008-04-14T14:21:00.000-04:002008-04-14T14:21:00.000-04:00Also while knowing the resolution of P v. NP is ve...<I>Also while knowing the resolution of P v. NP is very important, knowing the details of the proof, especially if it requires deep and complex mathematics, is not nearly as important.</I><BR/><BR/>Since P v. NP is basically <I>the</I> central question in complexity theory, it's pretty important for complexity theorists to have at least a high-level understanding of the proof. This is true for the same reasons number theorists should at least understand the outline of Wiles' proof of FLT, or extremal combinatorialists should know the general overview of the proof of Szemeredi's regularity lemma, without necessarily seeing the fine details -- the tools used in the proof can probably be adapted to attack other problems, which is our job.<BR/><BR/>If Mulmuley's program were better-defined, if it were (say) analogous to Hamilton's program for proving Thurston's geometrization conjecture, then it'd be worth it for complexity theorists to learn some algebraic geometry and representation theory. And if Mulmuley or someone else were to carry through this program and prove P != NP, then complexity theorists would almost have to learn enough to understand the basic scheme of the proof. But I agree with what I think Lance is trying to say here, in that trying to discover the details of a "proof" a priori is silly.Harrison Brownhttps://www.blogger.com/profile/18079824074256670713noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-18767991526618682102008-04-13T20:18:00.000-04:002008-04-13T20:18:00.000-04:00I agree with Anup. We are in this business for the...I agree with Anup. We are in this business for the proofs and reasons why certain phenomena are correct, not for the facts themselves.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-50400677302357090942008-04-13T19:54:00.000-04:002008-04-13T19:54:00.000-04:00I think that the reason Ketan says that GCT is li...I think that the reason Ketan says that <BR/>GCT is likely to be how P != NP will be proved is that there is little "information loss" [KVs words] in his concise geometric reformulation. An alternate route to proving P != NP would also end up proving a theorem about "the representation theory of the permanent and determinant varieties". Though certainly possible, it seems unlikely that something like this could be achieved by an argument having no geometric/ representation theoretic component whatsoever.harihttps://www.blogger.com/profile/01973990542647434448noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-6199240852772802852008-04-13T13:31:00.000-04:002008-04-13T13:31:00.000-04:00There are more than a few people in the FOCS/STOC ...There are more than a few people in the FOCS/STOC community who have absorbed enough representation theory to work seriously on the Hidden Subgroup Problem in quantum computing. Given how hard HSP is proving to be, you would think that if the GCT approach to P vs NP were appealing they would be enticed to switch what they are working on to make use of their efforts. Somehow that hasn't happened.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-4372933175438922312008-04-13T11:57:00.000-04:002008-04-13T11:57:00.000-04:00To Anon 19: In fact there is a lot of work being d...To Anon 19: In fact there is a lot of work being done by people working in the general area of model categories (axiomatic homotopy theory) who are applying ideas from homotopy theory to study problems in concurrency. See for instance the work of Peter Bubenik and others. The initial work in distributed computing by Herlihy et al. is very elementary from this point of view.<BR/><BR/>But as in the case GCT the run-of-the-mill theoretical computer scientist (with his/her STOC/FOCS deadlines, not to mention SODA/WINE/BEER etc.) most likely will not want to devote a year needed to learn the necessary background (the theory of model categories as started by Quillen) to follow this work. I guess the same is true with respect to Representation Theory in case of GCT (which probably would need a couple of years).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-21672583166047730942008-04-12T21:58:00.000-04:002008-04-12T21:58:00.000-04:00A tangent, but one I think is relevant: what about...A tangent, but one I think is relevant: what about the work of Herlihy (and others) using algebraic topology to prove results in asynchronous computing? These seem to me to be very interesting results (they won the Godel prize), yet the techniques don't seem to have been picked up widely by anyone else, in part because they still don't seem very well understood. (As an aside, the original papers appear to be unreadable, and I am not aware of any better account of the results -- perhaps this is part of the problem.)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-21772556077804029132008-04-12T15:18:00.000-04:002008-04-12T15:18:00.000-04:00I wonder if Anon 7 and Anon 15 are aware of Ketan'...I wonder if Anon 7 and Anon 15 are aware of Ketan's lower bounds for the PRAM model without bit operations. These lower bounds use some of the GIT machinery. Given that we have no lower bounds for any class bigger than AC^0[p], this is a very interesting result, and I'm surprised it's not better known...<BR/><BR/>The problem is that Ketan is uncomfortable proselytising.Rahulhttp://www.inf.ed.ac.uk/people/staff/Rahul_Santhanam.htmlnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-32099010277227582152008-04-12T13:40:00.000-04:002008-04-12T13:40:00.000-04:00"Also while knowing the resolution of P v. NP is v..."Also while knowing the resolution of P v. NP is very important, knowing the details of the proof, especially if it requires deep and complex mathematics, is not nearly as important."<BR/><BR/>It's surprising that you feel this way. Presumably this only applies to the case that P not equal to NP, but even in the other case it's surprising.<BR/><BR/>It would make a pretty boring complexity text book to have a sequence of results with no proofs. The thing that is most exciting to me about results like parity not in AC0 is not the result themselves, but how you could possibly prove something like that.<BR/><BR/>I also feel that this applies not just to complexity theorists but also to regular folk.. tell someone that there is no efficient way to solve TSP and they usually want to know how you could possibly know that.<BR/><BR/>Conditioned on believing that P is not equal to NP, knowing its truth seems to add very little. Everything that's interesting is in the proof...<BR/>-anupAnup Raohttps://www.blogger.com/profile/14683815968695885450noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-16339347665704545542008-04-12T12:09:00.000-04:002008-04-12T12:09:00.000-04:00Would the complexity of an algebraic geometry proo...Would the complexity of an algebraic geometry proof of P!=NP constitute the proof? You probably need one or more "transcendental" theorems linking Complexity and some particular field in math. There actually are math theorems that bridge large swathes of algebra and analysis as well as algebraic geometry which clearly is itself a "transcendental" bridge of algebra and geometry. (By transcendental I don't mean involving e and pi, or Kantian philosophy, but involving an overarching viewpoint not obviously derived from either.)Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-37265381092923714752008-04-12T03:30:00.000-04:002008-04-12T03:30:00.000-04:00please give me an example of any big problem in ma...please give me an example of any big problem in mathematics that was solved using a connection to a completely different branch, where the connection itself couldn't be understood through the lens of much simpler phenomena, e.g. reproving some old easier results in the initial field first. I don't know of cases where there is a connection, but understanding *why* can't be given with some very simple examples (e.g. diff eq in Perelman's proof or elliptic curves in FLT).<BR/><BR/>Mulmuley's stuff looks like smoke and mirrors. and it's poorly written on top of that.<BR/><BR/>look at Joel Friedman's "Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity." it's like people don't realize that math was built from the ground up, and you just don't invent huge abstract objects hoping that significant connections will fall out.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-89169707307080520042008-04-12T01:50:00.000-04:002008-04-12T01:50:00.000-04:00What was his ground for claiming that a proof *mus...<I>What was his ground for claiming that a proof *must* go through GCT?</I><BR/><BR/>Nothing whatsoever. It's exceedingly difficult to justify such a claim, and I can't imagine how one could possibly justify it in advance. At best it's a highly biased personal intuition. He might be right - I'm sure his intuition on this problem is better than mine - but I wouldn't count on it.<BR/><BR/>For comparison, consider primality testing. Starting with Miller's work in the 70's, people got very good at giving short, simple, efficient primality tests that provably run in polynomial time, if certain high-powered number-theoretic conjectures (such as the Riemann hypothesis for Dirichlet L-functions) hold. It would have been reasonable to suspect that these sorts of conjectures were a necessary step on the way to getting a provably polynomial-time primality test, but of course they weren't.<BR/><BR/>I actually agree with commenter #2 (except that I wouldn't call Lance's post silly). Very few people really believe Mulmuley when he says this is the right approach to P vs. NP. Everybody acknowledges that he might be right, but I think the people who are truly convinced could be counted on one hand.<BR/><BR/><I>In this respect Lance is probably right when he says he wouldn't be interested in the details of such a proof -- very few people in theoretical CS would I am guessing.</I><BR/><BR/>That's kind of sad, if true, considering how central this problem is to computational complexity. If GCT works out, then I suspect a lot of interest in it will suddenly materialize. If not, then I suspect the field will get taken over by people with more background in algebraic geometry. (This is of course assuming it is the right approach to P vs. NP, which I'm skeptical about.)<BR/><BR/>Something similar happened in algebraic geometry itself in the 50's and 60's. There's a famous book review by Mordell of Lang's Diophantine geometry book, in which he complained quite bitterly that he couldn't understand the abstract machinery the younger generation was using and didn't really think it was necessary. In fact, he described things in fairly insulting terms (Lang was a pig rooting about in the garden of classical algebraic geometry).<BR/><BR/>Mordell was 100% wrong, and nowadays everybody in the field uses highly abstract machinery without complaint. I don't expect this will happen to computational complexity theory, but in principle it could happen. Then some of the complexity theorists of the 90's would end up writing bitter reviews of books that use homological algebra to prove that the polynomial-time hierarchy doesn't collapse...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-25522744293339624842008-04-11T23:13:00.000-04:002008-04-11T23:13:00.000-04:00A reasonable definition of an "NP-complete program...A reasonable definition of an "NP-complete program" is one which runs in polynomial time (against a language in NP?) iff P=NP.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-33304881856091562792008-04-11T21:45:00.000-04:002008-04-11T21:45:00.000-04:00Interesting Column by Lance Fortnow: http://theor...Interesting Column by Lance Fortnow: http://theorie.informatik.uni-ulm.de/Personen/toran/beatcs/column78.pdfAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-3426880629224164122008-04-11T17:52:00.000-04:002008-04-11T17:52:00.000-04:00While it might be too early to say if "Geometric ...While it might be too early to say if "Geometric Complexity Theory" deserves to be called a "Theory" (in the sense that "Representation Theory" is a theory) -- it is very much within the realm of possibility that current research in computational complexity theory lacks the mathematical depth required to tackle a problem of the nature of P/NP. Algebraic geometry and representation theory might very well provide the mathematically deeper tools needed to make non-zero progress towards resolving this conjecture. This remains to be seen -- but if it does happen such a proof will probably not come from the theoretical CS community as defined by STOC/FOCS, but would probably originate from and be evaluated by mathematicians. In this respect Lance is probably right when he says he wouldn't be interested in the details of such a proof -- very few people in theoretical CS would I am guessing.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-76096012124001248552008-04-11T16:46:00.000-04:002008-04-11T16:46:00.000-04:00Numbers 2 and 5 are being assholes. (And probably ...Numbers 2 and 5 are being assholes. (And probably trolls. I also think they're the same person. Watch how the first sentence is a blunt flame).<BR/><BR/>But just for the record (and because I wrote the response before I realized that they're trolling) :<BR/><BR/>This post is one of the best I've read on this blog, especially Lance's explanation about why he isn't pursuing studying GCT and the direction of proving P!=NP through GCT. You can agree with it or disagree with it, but saying that it is "silly" or "boring" is plainly foolish.<BR/><BR/>Number 5 -- get off your high horse. You, of course, close yourself in your mountain hideaway, or live in your mother's house, and give yourself to science 24/7, in order to be the first to prove Goldbach's conjecture? Give me a break. Science needs a variety of researchers, going for a variety of goals. If you're such a good critic, write your stupid comments under your own name, and enclose your publication record, so that we can all see how you are so devoted to pure scientific thoughts, untouched by any thought of getting ahead in the academic track by (gasp) writing papers.<BR/><BR/>Oh, and number 2 -- go learn some computer science. there is no such thing "NP-complete program". There is a _program_ to prove P!=NP through GCT. Protein folding is an NP-hard problem, so you'll have to prove it's not poly-time solvable to prove P!=NP. Good luck. Tell number 5 when you prove it. I'm sure he'd love to know how devoted you are to science.e.noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-73129085560516025302008-04-11T15:43:00.000-04:002008-04-11T15:43:00.000-04:00I would read it but it's in postscript and I can't...I would read it but it's in postscript and I can't get it to work on my Windows Vista machine. Sigh.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-37795230670828553112008-04-11T12:35:00.000-04:002008-04-11T12:35:00.000-04:00There are many reasons not to climb mountains. How...There are many reasons not to climb mountains. <BR/><BR/>However, it is not too much to ask a person who "really cares about" climbing the mountain and is an expert on mountain climbing to try new equipment even if the goal remains out of the immediate reach.<BR/><BR/>Then again, many pretty hills are readily accessible for a pleasant day trip.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-84604839454075436572008-04-11T10:01:00.000-04:002008-04-11T10:01:00.000-04:00I dont think it is the algebraic geometry or repre...I dont think it is the algebraic geometry or representation theory that is stopping people from understanding it.. if needed people can pick up the math..<BR/><BR/>Ofcourse, one would be interested in the proof of P!=NP and not just the statement itself. If we were only interested in the statements rather than proofs, like physicists<BR/>we would made it a law long ago.<BR/><BR/>I think once anyone proves some complexity class separation using the approach, it will get people interested. As of now, with no other big class separation coming out of the approach, people find it hard to believe it is the way to solve NP=P.Anonymousnoreply@blogger.com