tag:blogger.com,1999:blog-3722233.post8170580951528029026..comments2023-12-07T03:00:23.146-06:00Comments on Computational Complexity: Ridiculously hard proof of easy theoremLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger14125tag:blogger.com,1999:blog-3722233.post-4017998653356112162008-08-26T11:21:00.000-05:002008-08-26T11:21:00.000-05:00Mihai seems to be thinking Justin thought there we...Mihai seems to be thinking Justin thought there were infinitely long arithmetic progressions in the primes (although I doubt he did).<BR/><BR/><I>I’m not really sure if the Green-Tao Theorem does assume infinatly many primes or not.</I><BR/><BR/>Footnote 2, page 4: it assumes the prime number theorem, Dirichlet's theorem on primes in arithmetic progressions, etc. (which are much stronger than the mere infinitude of the primes).<BR/><BR/><I>It does however assume the following theorem.<BR/><BR/>Theorem 1.1. The prime numbers contain infinitely many arithmetic progressions of length k for all k.<BR/></I><BR/><BR/>This is the <I>statement</I> of the main theorem proved in the paper, not an assumption!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-64603078313134636162008-08-25T18:24:00.000-05:002008-08-25T18:24:00.000-05:00I’m not really sure if the Green-Tao Theorem does ...I’m not really sure if the Green-Tao Theorem does assume infinatly many primes or not. It does however assume the following theorem.<BR/><BR/>Theorem 1.1. The prime numbers contain infinitely many arithmetic progressions of length k for all k.<BR/><BR/>Which seems to be based off van der Corput’s discovery that there are infinitely many triples of primes in arithmetic progression. That work was based off Vinogradov’s method of prime number sums. So if Vinogradov assumed that there are infinitely many primes then Justin’s Theorem is a circular argument with a few detours.<BR/><BR/>They also assume Szemer´edi’s theorem, which may or may not include an assumption that there are infinitely many primes as well. The only proof of Szemer´edi’s theorem that I could find was written by Terence Tao and is available at arXiv:0405251. However, this is not the original proof, it is just Tao’s new way of proving the theorem.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-55139910880441515872008-08-24T12:51:00.000-05:002008-08-24T12:51:00.000-05:00Hi mihai,"Justin is mistaken in asserting tha...Hi mihai,<BR/><BR/>"Justin is mistaken in asserting that Ben Green and Terence Tao's theorem implies that the set of prime numbers is infinite."<BR/><BR/>It seems you confused yourself. Suppose there are a finite number, n, of primes. Green-Tao says there's an arithmetic progression of primes of length N > n. Contradiction.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-54109768418526065552008-08-24T00:16:00.000-05:002008-08-24T00:16:00.000-05:00Justin is mistaken in asserting that Ben Green and...Justin is mistaken in asserting that Ben Green and Terence Tao's theorem implies that the set of prime numbers is infinite. One can note the rather subtle mathematical interpretation of the theorem's main assertion, i.e., that the primes contain <I>arbitrarily large</I> arithmetic sequences. Please note the difference between this statement and the fact that the cardinality of the primes set is aleph zero (proved by Euclid quite some time ago). <BR/><BR/>http://en.wikipedia.org/wiki/Arbitrarily_largeAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-86510428622233880732008-08-21T07:11:00.000-05:002008-08-21T07:11:00.000-05:00Georges Gonthier along with another guy did a form...Georges Gonthier along with another guy did a formal proof in Coq of the four-color theorem. Gonthier is now apparently working on formalizing the proof of the classification of finite simple groups.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-12500865045319277312008-08-18T20:19:00.000-05:002008-08-18T20:19:00.000-05:00When does one start using theorems whose proofs on...<I>When does one start using theorems whose proofs one does not know? In research this is common. For basic coursework it should be rare.</I><BR/><BR/>In math, the existence and uniqueness of determinants is often used by undergrads without knowing a proof. I am aware of this because of a friend of mine (a math major) who was skeptical of every proof he saw which used determinants until he finally saw a proof in a graduate course.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-88639731627969274062008-08-17T07:23:00.000-05:002008-08-17T07:23:00.000-05:00Paul Alfeld has a nice page about this:http://www....Paul Alfeld has a nice page about this:<BR/><BR/>http://www.math.utah.edu/~pa/math/a23.html<BR/><BR/>--<BR/>VAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-75458356286526718482008-08-16T21:24:00.000-05:002008-08-16T21:24:00.000-05:00Reading proofs of results one relies on is benefic...<I>Reading proofs of results one relies on is beneficial, but hardly obligatory because of its impracticality in most cases.</I><BR/><BR/>I deny that it is often impractical in theoretical computer science. Sure, there may be occasional cases where it is difficult, but a large majority of theoretical computer scientists have never written a single paper in which there's any reasonable excuse for not understanding the background.<BR/><BR/>Here's a though experiment to clarify how the community feels. Imagine if, during a STOC talk, someone announced that he did not understand the previous work his paper relied on, and in fact had never tried seriously to read it. Unless that work was exceptionally technical, this would be considered a humiliating admission. Similarly, if someone remarked after a talk "I bet X doesn't even understand Y's work that was used in X's paper", it would be considered an insult. Right or wrong, the expectation is that researchers understand the results their work uses (and anyone who routinely violates this expectation without publicly admitting it is effectively faking their academic reputation).Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-72244669026645277022008-08-16T17:44:00.000-05:002008-08-16T17:44:00.000-05:00"It's foolhardy to do this for results that haven'..."It's foolhardy to do this for results that haven't been widely checked unless you have personally checked them, and it's uncurious as well as lazy not to read them yourself even if they have been widely checked."<BR/><BR/>I am not sure I agree with this rather strong assertion. Reading proofs of results one relies on is beneficial, but hardly obligatory because of its impracticality in most cases.<BR/><BR/>It is beneficial because it will probably lead you to a better understanding of one's own new result that relies on it.<BR/><BR/>It is not obligatory because one can claim that it is not the best use of the researcher's time.<BR/><BR/>Is it obligatory to check all of the code in a software library before writing code that builds upon it? How about before building a more complicated physical machine out of simpler components; should we verify and understand all the components?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-8521811182637552622008-08-14T13:18:00.000-05:002008-08-14T13:18:00.000-05:00This is perhaps an example of the negative side of...This is perhaps an example of the negative side of outreach. Explaining the leading results in a field is generally viewed as a good thing (especially to the NSF), but if instead you get more of an "explanation" than a real explanation, this can lead to trouble.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-11052460908031199542008-08-13T14:08:00.000-05:002008-08-13T14:08:00.000-05:00Re: using theorems you don't understand the proofs...Re: using theorems you don't understand the proofs of: <BR/><BR/>If nothing else, it's a good idea to understand the proofs of results you're using because they may well use techniques that you've overlooked. At a lower level, for example: A couple years ago, there was a problem on the Putnam competition that asked you to prove that there were an infinite number of integers satisfying some condition. The easiest proof was essentially a "tweaked" version of Euclid's proof of the infinitude of the primes. If you didn't know that proof, chances are you wouldn't have solved the problem.Johnhttps://www.blogger.com/profile/18079824074256670713noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-38256301468651219802008-08-13T11:59:00.000-05:002008-08-13T11:59:00.000-05:00However, if the proof does not use the fact that t...<I>However, if the proof does not use the fact that there are an infininte number of primes, then Justin's proof is valid. READERS: does anyone know, does it use the infinitude of the primes? </I><BR/><BR/>The proof uses the prime number theorem, which is a much stronger assertion.<BR/><BR/><I>When does one start using theorems whose proofs one does not know? In research this is common.</I><BR/><BR/>I'd argue that it should be (and hopefully is) rare in research. There are occasional cases, like the classification of finite simple groups, where it's unreasonable to expect everyone to read the proof and at the same time unreasonable to declare that certain mathematical areas are unworthy of investigation because they are beyond the capabilities of a single person. Still, at least in relatively accessible areas like theoretical computer science or combinatorics, as a general rule you should understand almost everything your work directly relies on, and when you don't, you should be able to give a good excuse.<BR/><BR/>For example, I'd consider it OK to use the graph minor theorem without understanding the proof. I wouldn't consider it OK to use the PCP theorem without understanding the proof (although it would of course be OK to refer to it in a side comment). There's no principled distinction, just a judgement of what constitutes an unreasonable burden on a researcher.<BR/><BR/>The general moral principle is that, when proving theorems, you must take intellectual responsibility for everything that goes into your result. Using previous results amounts to an implicit endorsement that they have been correctly proved. It's foolhardy to do this for results that haven't been widely checked unless you have personally checked them, and it's uncurious as well as lazy not to read them yourself even if they have been widely checked.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-69187081003248116782008-08-13T10:05:00.000-05:002008-08-13T10:05:00.000-05:00In fact, there is a great incentive in mathematics...In fact, there is a great incentive in mathematics to find simpler proofs of known theorems. For instance, if one would be able to give an algebraic proof of the Poincare conjecture (without using Ricci curvature) it would be considered a great advance. I would think the same would be true for any result whose only known proof<BR/>uses the Classification theorem of finite simple groups.<BR/><BR/>But mathematicians are philosophically accustomed to such things since mathematical theorems say nothing about the physical world but rather zre just statements about what you can deduce from a set of axioms, and the choice of the set of initial axioms is a matter driven by rather subjective considerations (eg. how strong an axiom of choice (if at all) one should assume etc.).<BR/><BR/>For disciplines which claim (at least in principle) to say something about the physical world, such as Engineering or Computer Science, the situation is a bit different.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-1788862776761212122008-08-13T08:23:00.000-05:002008-08-13T08:23:00.000-05:00There is actually a deep philosophical question he...There is actually a deep philosophical question here.<BR/><BR/>Take, for example, the classification of finite simple groups. I doubt there are 10 living people who can claim they have verified the whole thing. So when basing further results on that result, what are we to make of it? (For that matter, one can ask how much faith we should put in the classification theorem itself.)Anonymousnoreply@blogger.com