Examples of "folk theorems" - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T15:13:08Z http://mathoverflow.net/feeds/question/32409 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32409/examples-of-folk-theorems Examples of "folk theorems" Eric O. Korman 2010-07-18T21:48:09Z 2011-09-12T00:02:15Z <p>In <a href="http://mathoverflow.net/questions/31732/folk-functorial-figuring" rel="nofollow">this</a> post, Justin gives a quote about Raoul Bott that has this line in it:</p> <blockquote> <p>He talked about 'folk' theorems... theorems everyone knew, but were never written down.</p> </blockquote> <p>What are some good/interesting examples of these types of theorems?</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/32429#32429 Answer by Dan Piponi for Examples of "folk theorems" Dan Piponi 2010-07-19T00:15:17Z 2010-07-19T00:15:17Z <p><a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.6613" rel="nofollow">On Folk Theorems</a> is an old classic from computer science. Although the title suggests it's about folk theorems in general, it's mostly about the theorem which states, roughly, that programs written in imperative programming languages only need one loop.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/32439#32439 Answer by Mariano Suárez-Alvarez for Examples of "folk theorems" Mariano Suárez-Alvarez 2010-07-19T04:11:15Z 2010-07-19T04:11:15Z <p>In the context of game theory, the term «folk theorem» has a rather specific <a href="http://en.wikipedia.org/wiki/Folk_theorem_%28game_theory%29" rel="nofollow">meaning</a>...</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/32459#32459 Answer by David Roberts for Examples of "folk theorems" David Roberts 2010-07-19T07:42:36Z 2010-07-19T07:42:36Z <p>In category theory there is a 'folk' model structure on the category Cat, where the weak equivalences are the equivalences of categories. There is a similar model structure on 2Cat, with weak equivalences being equivalences of 2-categories (weak ones, I presume) The former was not written down for a long time, but the latter was published by Steve Lack. Andre Joyal is not in favour of the name 'folk model structure', and there was discussion on this at the <a href="http://www.math.ntnu.no/~stacey/Vanilla/nForum/comments.php?DiscussionID=649&amp;Focus=4234#Comment_4234" rel="nofollow">nForum</a> (starting at that comment and continuing). That the existence of this model structure is a 'folk' theorem is a bit of folklore itself, as pointed out by Joyal at <a href="http://www.math.ntnu.no/~stacey/Vanilla/nForum/comments.php?DiscussionID=649&amp;Focus=4242#Comment_4242" rel="nofollow">this comment</a>.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/33636#33636 Answer by Sonia Balagopalan for Examples of "folk theorems" Sonia Balagopalan 2010-07-28T09:17:25Z 2010-07-28T09:33:01Z <p>I was at a queueing theory lecture recently where the lecturer talked about <a href="http://en.wikipedia.org/wiki/Little%27s_law" rel="nofollow">Little's Theorem</a> and <a href="http://www.jstor.org/stable/170165" rel="nofollow">Wolff's PASTA theorem</a> as having been around as folk theorems for a long time before they were published with proof.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/33640#33640 Answer by Paul Johnson for Examples of "folk theorems" Paul Johnson 2010-07-28T10:12:31Z 2010-07-28T10:12:31Z <p>The example I first learned was the following: a 2-D TQFT is equivalent to a Frobenius algebra.</p> <p>This is discussed and stated as a folk theorem by <a href="http://xxx.lanl.gov/abs/hep-th/9401023" rel="nofollow">Voronov</a>; later, a careful proof was <a href="http://home.gwu.edu/~labrams/docs/tqft.ps" rel="nofollow">written up</a> and published by Lowell Abrams. See also the <a href="http://mat.uab.es/~kock/TQFT.html" rel="nofollow">book</a> by Joachim Kock. </p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/33699#33699 Answer by Michael Hardy for Examples of "folk theorems" Michael Hardy 2010-07-28T19:00:41Z 2010-07-28T19:00:41Z <p>There are some "folkish" elements in something I just published:</p> <p><a href="http://www.springerlink.com/content/9327l4676m4270q1/?p=923f4071d1f745c99d7b85708a6760a4&amp;pi=2" rel="nofollow">http://www.springerlink.com/content/9327l4676m4270q1/?p=923f4071d1f745c99d7b85708a6760a4&amp;pi=2</a></p> <p>The "80/20" account of Pareto's law circulates among management people who don't care about mathematics, and the probability density proportional to $x \mapsto x^{-\alpha - 1}$ on $(x_0,\infty)$ for some $x_0>0$ (and 0 elsewhere) is found in many probability and statistics books, and actually gets used in various fields to which mathematics gets applied. But the idea that they are in some sense the same thing seems to have circulated only in a "folk" manner for many years until now.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/34903#34903 Answer by Changwei Zhou for Examples of "folk theorems" Changwei Zhou 2010-08-08T07:54:43Z 2010-08-08T07:54:43Z <p>In Fudenberg's book <em>Game Theory</em>, the following was listed as a <a href="http://en.wikipedia.org/wiki/Folk_theorem_%28game_theory%29" rel="nofollow">folk theorem</a>:</p> <p>The folk theorem for repeat games assert that if players are sufficiently patient then any feasible, individual rational payoffs can be enforced by an equilibrium. Thus, in the limit of extreme patience, repeated play allows any payoff to be an equilibrium outcome. </p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/34906#34906 Answer by Artem Kaznatcheev for Examples of "folk theorems" Artem Kaznatcheev 2010-08-08T08:51:58Z 2010-08-08T08:51:58Z <p>Another nice type of 'folk theorems' I have seen is of a sort where some relatively straight forward generalization of a well established theorem is assumed and then used for its heuristic or explanatory value. I find this is often used in fields where mathematicians interact with non-mathematicians and although it is completely non-rigorous (and sometimes even misleading!) most often it helps in exposition and for building intuition.</p> <p>An example would be the "folk theorem of evolutionary game theory" (as used by Hofbauer and Sigmund, BAMS 2003) on certain kinds of correspondences of Nash equilibrium and dynamic approaches.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/34908#34908 Answer by Thomas Bloom for Examples of "folk theorems" Thomas Bloom 2010-08-08T09:27:02Z 2010-08-08T09:27:02Z <p>There are quite a few examples in additive combinatorics of theorems or tricks that were talked about and 'known' a few years before anyone published a proof of them.</p> <p>For example, let $\phi(n)$ be the largest number such that every set A of n reals contains a subset B of cardinality $\phi(n)$ such that no element of A can be represented as the sum of two distinct elements of B ('B is sum-free with respect to A').</p> <p>It was remarked by both Klarner and Erdos that $\phi(n)\geq\log n-O(1)$ for large n, but it was ten years before Choi published a proof of this (a simple application of Turan's theorem on independent sets in graphs).</p> <p>Presumably phenomena like this occurs because those who think of it see it as too simple or straightforward to be worth the bother of publishing.</p> <p>A different type of example is the idea that if $f:G\to\mathbb{C}$ is a function on a finite abelian group $G$ with a small $L^2$ norm, then it can be decomposed as the sum of structured parts (with a small error term). </p> <p>For example, $f=f_1+f_2+f_3$, where $f_1$ is the linear combination of a small number of characters, $f_2$ is Gowers uniform and $f_3$ has $L^2$ norm less than $\epsilon$.</p> <p>This kind of folk theorem arises because it is a commonly applied heuristic that can be made precise in a variety of different ways, often jury-rigged for a specific application.</p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/38940#38940 Answer by Gerry Myerson for Examples of "folk theorems" Gerry Myerson 2010-09-16T07:36:28Z 2010-09-16T07:36:28Z <p>Stark, The Gauss class-number problems, available at <a href="http://www.uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf" rel="nofollow">http://www.uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf</a> writes, on page 251, "We define the Epstein zeta functions, $$\zeta(s,Q)=(1/2)\sum_{m,n\ne0,0}Q(m,n)^{-s}$$ ... Theorem 4.1 (Folk Theorem.) Let $c\gt1/4$ be a real number and set $$Q(x,y)=x^2+xy+cy^2,$$ with discriminant $d=1-4c\lt0$. Then for $c\gt41$, $\zeta(s,Q)$ has a zero $s$ with $\sigma\gt1$." </p> <p>He follows this with a "Folk proof." </p> http://mathoverflow.net/questions/32409/examples-of-folk-theorems/75179#75179 Answer by David White for Examples of "folk theorems" David White 2011-09-12T00:02:15Z 2011-09-12T00:02:15Z <p>My advisor once told me that the following statement (which I read in Ravenel's <em>Complex Cobordism and Stable Homotopy Groups of Spheres</em>) was a Folk Theorem:</p> <blockquote> <p>For $p>2$ and in a certain range, the Adams Spectral Sequence coincides with the homology Bockstein spectral sequence</p> </blockquote> <p>It turns out the range is $t&lt;(2p-1)s-2$, and a reference is Haynes Miller's <a href="http://journals.cambridge.org/download.php?file=%252FPSP%252FPSP84_01%252FS0305004100054906a.pdf&amp;code=9ed03c1ce8774495a69d566e33aeaf5e" rel="nofollow">paper</a></p>