Justifying a theory by a seemingly unrelated example - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:09:51Z http://mathoverflow.net/feeds/question/8741 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example Justifying a theory by a seemingly unrelated example Ewan Delanoy 2009-12-13T09:52:35Z 2010-01-19T17:48:30Z <p>Here is a topic in the vein of <a href="http://mathoverflow.net/questions/1890/describe-a-topic-in-one-sentence" rel="nofollow" title="Describe a topic in one sentence"> Describe a topic in one sentence</a> and <a href="http://mathoverflow.net/questions/4994/fundamental-examples" rel="nofollow" > Fundamental examples </a> : imagine that you are trying to explain and justify a mathematical theory T to a skeptical mathematician who thinks T is just some sort of abstract nonsense for its own sake. The ideal solution consists of a problem P which can be stated and understood without knowing anything about T, but which is difficult (or impossible, even better) to solve without T, and easier (or almost-trivial, even better) to solve with the help of T. What should be avoided is an example where T is "superimposed", e.g. when T is a model for some physical phenomenon, because there is always something arbitrary about the choice of a specific model. </p> <p>A classical example is Galois theory for solving polynomial equations. </p> <p>Any examples for homological algebra ? For Fourier analysis ? For category theory ?</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8742#8742 Answer by lhf for Justifying a theory by a seemingly unrelated example lhf 2009-12-13T09:58:07Z 2009-12-13T09:58:07Z <p>Also, differential Galois theory for differential equations.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8744#8744 Answer by Jonas Meyer for Justifying a theory by a seemingly unrelated example Jonas Meyer 2009-12-13T11:09:31Z 2009-12-13T11:09:31Z <p>The Jones polynomial: a knot invariant that originally came from subfactor theory.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8745#8745 Answer by Jonas Meyer for Justifying a theory by a seemingly unrelated example Jonas Meyer 2009-12-13T11:18:18Z 2009-12-13T11:18:18Z <p>The spectral theory of commutative Banach algebras led to an elegant proof, due to Gelfand, of the following (previously difficult) theorem of Wiener: If $f$ is a nowhere vanishing complex valued function on the unit circle whose Fourier coefficients are absolutely summable, then the Fourier coefficients of $1/f$ are also absolutely summable.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8747#8747 Answer by Jonas Meyer for Justifying a theory by a seemingly unrelated example Jonas Meyer 2009-12-13T11:26:26Z 2009-12-13T11:26:26Z <p>Complex analysis and the theory of spaces of analytic functions on open subsets of $\mathbb{C}$ are used to prove the Riemann Mapping Theorem, which has the nice topological consequence that there is a unique homeomorphism class of (nonempty) simply connected open subsets of $\mathbb{C}$.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8750#8750 Answer by Jose Brox for Justifying a theory by a seemingly unrelated example Jose Brox 2009-12-13T12:09:42Z 2009-12-13T12:09:42Z <p>Root systems and Dynkin diagrams for classification matters (see both <a href="http://en.wikipedia.org/wiki/Root%5Fsystem" rel="nofollow">Root system</a> and <a href="http://en.wikipedia.org/wiki/ADE%5Fclassification" rel="nofollow">ADE classification</a> at Wikipedia).</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8751#8751 Answer by Jose Brox for Justifying a theory by a seemingly unrelated example Jose Brox 2009-12-13T12:14:48Z 2009-12-13T12:14:48Z <p>The Laplace transform to systematically solve homogeneous ODE's with constant coefficients by transforming them in polynomial equations (and then transforming the solution back).</p> <p><a href="http://en.wikipedia.org/wiki/Laplace%5Ftransform#Example%5F.231%3A%5FSolving%5Fa%5Fdifferential%5Fequation" rel="nofollow">Solving a differential equation by the Laplace transform</a></p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8752#8752 Answer by Georges Elencwajg for Justifying a theory by a seemingly unrelated example Georges Elencwajg 2009-12-13T12:27:57Z 2009-12-13T12:27:57Z <p>[In front of a blackboard, in an office at Real College] </p> <p>Skeptic: And why should I care about holomorphic functions?</p> <p>Holomorphic enthusiast:$\;$ Can you compute $\quad$ $\sum_{n={-\infty}}^{\infty} \frac{1}{(a+n)^2}$ ? Here $a$ is one of your cherished real numbers, but not an integer.</p> <p>Skeptic: Well, hm...</p> <p>Holomorphic enthusiast, nonchalantly: Oh, you just get</p> <p>$$\sum_{n={-\infty}}^{\infty} \frac{1}{(a+n)^2}=\pi^2 cosec^2 \pi a$$</p> <p>It's easy using residues.</p> <p>Skeptic: Well, maybe I should have a look at these "residues".</p> <p>Holomorphic enthusiast (generously): Let me lend you this introduction to Complex Analysis by Remmert, this one by Lang and this oldie by Titchmarsh. As Hadamard said: "Le plus court chemin entre deux vérités dans le domaine réel passe par le domaine complexe".You can look for a translation at Mathoverflow. They have a nice list of mathematical quotations, following a question there.</p> <p>Skeptic: Mathoverflow ??</p> <p>Holomorphic enthusiast (looking a bit depressed) : I think we should have a nice long walk together now. [Exeunt] </p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8760#8760 Answer by José Figueroa-O'Farrill for Justifying a theory by a seemingly unrelated example José Figueroa-O'Farrill 2009-12-13T15:06:38Z 2009-12-13T15:06:38Z <p>There are a number of algebraic theorems which are easier to prove using topology. The best known is probably <a href="http://en.wikipedia.org/wiki/Fundamental%5Ftheorem%5Fof%5Falgebra" rel="nofollow">the fundamental theorem of algebra</a>, but there are others. For example, an $n\times n$ matrix with positive entries always has an eigenvector all of whose enetries are nonnegative. (The matrix defines a continuous function from the standard simplex to itself which always has a fixed point.) I learned about this from Elmer Rees.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8761#8761 Answer by José Figueroa-O'Farrill for Justifying a theory by a seemingly unrelated example José Figueroa-O'Farrill 2009-12-13T15:08:42Z 2009-12-13T15:08:42Z <p>The <a href="http://en.wikipedia.org/wiki/Poincar%C3%A9%5Fconjecture" rel="nofollow">Poincaré conjecture</a> is an example of a purely topological statement which apparently cannot be proved only by topological means.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8762#8762 Answer by José Figueroa-O'Farrill for Justifying a theory by a seemingly unrelated example José Figueroa-O'Farrill 2009-12-13T15:10:50Z 2009-12-13T15:10:50Z <p>Many geometric problems cannot be solved without hard analysis. Perhaps the best known example is the <a href="http://en.wikipedia.org/wiki/Calabi%5Fconjecture" rel="nofollow">Calabi Conjecture</a> proved by Yau.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8763#8763 Answer by Georges Elencwajg for Justifying a theory by a seemingly unrelated example Georges Elencwajg 2009-12-13T15:13:58Z 2009-12-13T15:13:58Z <p>Let us call "division algebra over $\mathbb R$" a finite-dimensional vector space $A$ equipped with a bilinear map $A \times A \to A: (a,b) \mapsto a \bullet b$ , such that $a\bullet b=0$ implies $a=0$ or $b=0$. ( Associativity is not required).</p> <p>Examples : the reals, the complexes, the real quaternions and the octonions of Graves-Cayley.</p> <p>Any such division algebra must necessarily have dimension 1,2,4 or 8 (as in the examples). This was proved indepently in 1958 by Kervaire and Milnor using Bott's periodicity theorem, a fantastic result in algebraic topolgy which had just been proved.</p> <p>To the best of my knowledge there is still no purely algebraic proof of this theorem on possible dimensions of real division algebras, although the statement is completely algebraic and elementary.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8766#8766 Answer by Qiaochu Yuan for Justifying a theory by a seemingly unrelated example Qiaochu Yuan 2009-12-13T16:29:16Z 2009-12-13T16:29:16Z <p>If you're a combinatorialist and you want to know the asymptotics of a sequence $a_n$ with a nice generating function $A(z) = \sum_{n \ge 0} a_n z^n$, the very first thing you should do is find out if $A$ is meromorphic, since then one can analyze the asymptotics of $a_n$ using its poles. Even if $A$ isn't meromorphic, if one has sufficiently good information about its singularities then there are transfer theorems that translate information about the behavior of $A$ near its poles to the behavior of $a_n$ for large $n$. In other words, combinatorialists (and by extension computer scientists) should learn complex analysis.</p> <p>For example, let $E_n$ be the number of alternating permutations on $n$ letters. Then $E(z) = \sum_{n \ge 0} E_n z^n = \sec z + \tan z$ is meromorphic with poles $z = \frac{\pi}{2} + 2k \pi, k \in \mathbb{Z}$. The dominant singularity is at $z = \frac{\pi}{2}$ and one now knows without doing any other computations that $E_n \sim n! \left( \frac{2}{\pi} \right)^n$. Even better one can write down an exact series converging to $E_n$ with one term for each pole. The corresponding expansion of the Bernoulli numbers $B_n$ gives the classical evaluation of the zeta function at even integers.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8768#8768 Answer by Mariano Suárez-Alvarez for Justifying a theory by a seemingly unrelated example Mariano Suárez-Alvarez 2009-12-13T16:40:26Z 2009-12-13T16:40:26Z <p>One problem that one can solve with Fourier analysis very easily is the isoperimetrical inequality and the corresponding characterization of the circle. Of course, this can also be done in many. many other ways, but using Fourier series it becomes particularly simple.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8769#8769 Answer by Qiaochu Yuan for Justifying a theory by a seemingly unrelated example Qiaochu Yuan 2009-12-13T16:55:18Z 2009-12-13T22:04:54Z <p>Suppose you are interested in random walks on an extremely structured graph such as a hypercube graph or a cycle graph. If your graph happens to be the Cayley graph of an abelian group $G$, as in both of the above examples, then it is easy to describe the behavior of random walks on it because the eigenvectors of the adjacency matrix are precisely the characters of $G$ and the eigenvalues depend in a simple way on the characters; in other words, you should learn about the discrete Fourier transform. </p> <p><strong>Edit:</strong> Some elaboration. Let $G$ be a finite abelian group with $|G| = n$. A character of $G$ is a homomorphism $G \to \mathbb{C}$, and it is a basic fact of character theory that the characters form a basis of the space of functions $G \to \mathbb{C}$; this is the discrete Fourier transform. Now let $\mathbf{A}(G)$ be the adjacency matrix of a Cayley graph of $G$ using generators ${ s_1, ... s_k }$. The group $G$ acts on the space of functions $G \to \mathbb{C}$ by sending a function $f : G \to \mathbb{C}$ to $f(gx)$. Call this representation $\rho$; then (and this is the important connnecting observation) one may regard $\mathbf{A}(G)$ as the linear operator $\displaystyle \sum_{i=1}^{k} \rho(s_i)$.</p> <p><strong>Proposition:</strong> Let $\chi_j : G \to \mathbb{C}$ be a character of $G$. Then $\chi_j$ is an eigenvector of $\mathbf{A}(G)$ with eigenvalue $\displaystyle \sum_{i=1}^{k} \chi_j(s_i)$, and these are all the eigenvectors.</p> <p><em>Proof.</em> Just observe that $\rho(s_i) \chi_j(g) = \chi_j(s_i g) = \chi_j(s_i) \chi_j(g)$. The fact that these exhaust the set of eigenvectors follows from the basic fact cited above.</p> <p>For example, the cycle graph $C_n$ is the Cayley graph of the cyclic group $\mathbb{Z}/n\mathbb{Z}$ with generators ${ 1, -1 }$, so its eigenvectors are just the rows of the discrete Fourier transform matrix on $\mathbb{Z}/n\mathbb{Z}$ and its eigenvalues are $e^{ \frac{2\pi i k}{n} } + e^{- \frac{2\pi ik}{n} } = 2 \cos \frac{2\pi k}{n}$. (Note that I have implicitly identified the space of functions $G \to \mathbb{C}$ with the free vector space on the elements of $G$ in the usual way.)</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8770#8770 Answer by Mariano Suárez-Alvarez for Justifying a theory by a seemingly unrelated example Mariano Suárez-Alvarez 2009-12-13T16:56:30Z 2009-12-13T16:56:30Z <p>One set of problems to which homological algebra applies surprisingly well is those posed by topology, as evinced by algebraic topology :P</p> <p>This is of course quite anhistorical...</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8779#8779 Answer by Ilya Grigoriev for Justifying a theory by a seemingly unrelated example Ilya Grigoriev 2009-12-13T18:37:14Z 2009-12-13T18:37:14Z <p>This is not an answer as much as a request for answers. Here are some topics for which I don't know an example of this sort, but would really like to see one (and nobody seems to have done them yet). Feel free to edit this post if good examples appear for some of these topics, or if you have a topic to add to the list. They are in no particular order, </p> <ul> <li><p>Symplectic geometry (I'd really like to know...)</p></li> <li><p>Algebraic geometry (there should be a ton of stuff here, it's so diverse)</p></li> <li><p>Category theory</p></li> <li><p>Homological algebra (is there an example simpler than some monstrous calculation?)</p></li> <li><p>Group theory (so far, all that comes to my mind is that it applies to Galois theory, which in turn solves equations. But I think there should be a ton of simpler and nicer applications, shouldn't there?)</p></li> </ul> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8802#8802 Answer by Harrison Brown for Justifying a theory by a seemingly unrelated example Harrison Brown 2009-12-13T21:52:00Z 2009-12-13T21:52:00Z <p>Set theory provides by far the easiest proof of the existence of transcendental numbers -- just show that the algebraic numbers and the integers can be put into 1-1 correspondence, but the real numbers and the integers can not. Liouville's proof isn't too hard, but it's nowhere near as elegant.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8803#8803 Answer by David Steinberg for Justifying a theory by a seemingly unrelated example David Steinberg 2009-12-13T22:15:16Z 2009-12-13T22:15:16Z <p>One can use the machinery of the fundamental group and of covering spaces to easily prove that any subgroup of a free group must be free.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8805#8805 Answer by Grétar Amazeen for Justifying a theory by a seemingly unrelated example Grétar Amazeen 2009-12-13T22:22:15Z 2009-12-13T22:24:18Z <p>Well for a long time there was no proof of the Burnside theorem avoiding Representation theory. Now there are methods to proof it without Representation theory, but they are still a lot harder then the original representation theoretic one.</p> <p><a href="http://en.wikipedia.org/wiki/Burnside_theorem" rel="nofollow">http://en.wikipedia.org/wiki/Burnside_theorem</a></p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8806#8806 Answer by Darsh Ranjan for Justifying a theory by a seemingly unrelated example Darsh Ranjan 2009-12-13T22:45:00Z 2009-12-13T22:45:00Z <p>Mathematical logic can be motivated by other areas of math in at least two different ways: </p> <p>[1] It allows you to formulate (and prove) results about the unsolvability of certain problems. These are obviously essential, since they tell you that you shouldn't spend too much time trying to solve those problems, which are often very natural problems. </p> <p>For example, as a group theorist, you might often want to know whether two particular groups given by generators and relations are isomorphic. It would be nice to have some set of tools that allowed you to solve the problem mechanically, but no such tools exist (Novikov's Theorem). </p> <p>Or, as a number theorist, you might wish for a set of tools allowing you to decide effectively whether a given polynomial equation has integer solutions. This is ruled out by the Davis-Putnam-Robinson-Matiyasevich Theorem. </p> <p>[2] It can give you easier proofs of theorems in seemingly unrelated subfields. I hope somebody can provide/confirm examples here...for example, I think G&ouml;del's Compactness Theorem gives some mileage in algebraic geometry (Nullstellensatz?), and nonstandard analysis can simplify a number of proofs (Tychonoff's Theorem?). (Although nonstandard analysis isn't exactly mathematical logic, the fact that proofs of standard results using nonstandard analysis can be trusted is a theorem of logic.) </p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8808#8808 Answer by Qiaochu Yuan for Justifying a theory by a seemingly unrelated example Qiaochu Yuan 2009-12-13T23:07:43Z 2009-12-13T23:14:10Z <p>This example is more closely related to <a href="http://mathoverflow.net/questions/5449/combinatorial-results-without-known-combinatorial-proofs" rel="nofollow">a question of mine</a>, but I'll give it here anyway.</p> <p>A graded poset $P$ is <em>Sperner</em> if no antichain is larger than the largest level $P_i$ of $P$. This property is named after Sperner, who proved that the Boolean posets $B_n$ of subsets of ${ 1, 2, ... n }$ are Sperner. the Boolean posets $B_n$ are also <em>rank-symmetric</em> because they satisfy $(B_n)_i = (B_n)_{n-i}$, i.e. ${n \choose i} = {n \choose n-i}$ and <em>unimodal</em> because the sequence $(B_n)_i$ is at first increasing and then decreasing. </p> <p>Let $G$ be a group acting on ${ 1, 2, ... n }$. Then $G$ acts on $B_n$ in the obvious way by order- and grade-preserving automorphisms. Define the quotient poset $B_n/G$ in the obvious way, which inherits the grading on $B_n$. It's not hard to see that $B_n/G$ is also rank-symmetric.</p> <p><strong>Theorem:</strong> $B_n/G$ is unimodal and Sperner.</p> <p>The only known proofs of this theorem are algebraic (the one I know uses linear algebra), and even for special cases a purely combinatorial proof is not known. For example, in the case that $n = ab$ is a product of two positive integers and $G = S_b \wr S_a$ we recover the poset $L(a, b)$ of Young diagrams that fit into an $a \times b$ box; then the above theorem implies that the coefficients of the q-binomial coefficient ${a + b \choose b}_q$ are unimodal. This was first proven by Sylvester in 1878, and a combinatorial proof was not found until 1989. A combinatorial proof of the Sperner property is still not known. This example is all the more remarkable because the statement that $L(m, n)$ is Sperner requires almost no mathematics to understand.</p> <p><strong>Edit:</strong> I should probably provide a reference. This material is from some <a href="http://math.mit.edu/~musiker/rstan5-6.pdf" rel="nofollow">notes on algebraic combinatorics</a> by Stanley.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/11946#11946 Answer by Martin Brandenburg for Justifying a theory by a seemingly unrelated example Martin Brandenburg 2010-01-16T01:14:00Z 2010-01-16T01:14:00Z <p>Sometimes you want to understand a group $G$, but the only thing you know is that there is an extension $1 \to A \to G \to E \to 1$. If everything is abelian, $G$ corresponds to an element in $Ext^1(E,A)$. If at least $A$ is abelian, then $E$ acts on $N$ by conjugation and $G$ corresponds to an element in $H^2(E,A)$. Thus the classification of groups naturally leads to <b>cohomology groups</b>, which have a rich theory.</p> <p>There is also a topological motivation: Which spheres act freely on finite groups?</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/11949#11949 Answer by Martin Brandenburg for Justifying a theory by a seemingly unrelated example Martin Brandenburg 2010-01-16T01:57:01Z 2010-01-16T02:10:04Z <p>As for <b>category theory</b>, I don't think that there is a motivating example which has not already a category theoretic flavor. The leading theme is to unify and then generalize constructions resp. arguments, which come up in all areas of mathematics. Historically, natural transformations were introduced for the foundations of homology theory of topological spaces. But to start with an easy example, you may observe that for abelian groups $A,B,C$ there is a canonical isomorphism $(A \oplus B) \oplus C \cong A \oplus (B \oplus C)$, which reminds you of other <i>associativity</i> results such as $(X \cup Y) \cup Z \cong X \cup (Y \cup Z)$ for sets (here $\cup$ means disjoint union). Within category theory, you can see what's the real content of this: direct sum and disjoint unions are examples of coproducts, and coproducts are always associative. Even more striking, Yoneda's Lemma, which lies at the heart of foundations of category theory, tells you that the case of sets already settles the general case!</p> <p>But category theory is more than just a language, it also provides general constructions: Assume you want to <i>approximate</i> a theory with another theory. This may be formalized by finding an adjunction between two categories. Freyds/Special Adjoint Functor Theorem tell you when this is possible. Although in some situations you can't write down the adjunction, the only thing you need is to know that it exists. For example, what is the categorical coproduct of an infinite family of compact hausdorff spaces? Can you write it down without using Stone-Cech?</p> <p>There are also somewhat <i>global</i> motivations: Some Theories behave like other theories, and thus you may develope a theory for a large class of categories at once: monodial categories, topological categories, algebraic categories, locally presentable categories, etc. Of course, the same is true for other notions of category theory (functors, natural transformations, types of morphisms, etc.).</p> <p>But if one has not heard of category theory before, the first motiviation should be to <i>think in categories</i> (in the colloquial sense). For example the set, which underlies a group, <i>really differs</i> from the group. In almost every book and lecture, this is absorbed by abuse of notation. The existence of bases in vector spaces is no reason at all to restrict linear algebra to vector spaces of the form $K^{(B)}$. Similarily, vector bundles should <i>not</i> be defined as bundles which are locally isomorphic to some $\mathbb{R}^n \times X$, which most topologists still ignore! Rather, it is first of all a vector space object in the category of bundles over $X$.</p> <p>Let's conclude with an example which both introduces functors and <b>algebraic geometry</b>: Assume you have a system of polynomial equations $f_1(x)=...=f_n(x)=0$ in $m$ variables defined over $\mathbb{Z}$ and you want to study the solutions in arbitrary rings <i>at once</i>, using a <i>single mathematical object</i>, e.g. having in mind some local-global results of algebraic number theory. So for every ring $R$, we put $F(R) = \{x \in R^m : f_1(x)=...=f_n(x)=0\}$. Observe that for every ring homomorphism $R \to S$ there is a set map $F(R) \to F(S)$ and that this is compatible with composition of homomorphisms. This exactly means that $F$ is a functor from the category of rings to the category of sets. Algebraic geometry studies functors which locally look like the functor above.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/11975#11975 Answer by gowers for Justifying a theory by a seemingly unrelated example gowers 2010-01-16T09:34:59Z 2010-01-16T09:34:59Z <p>For me personally, the first time I "got" Fourier analysis was when I understood how it could be used to prove Roth's theorem on arithmetic progressions (that any dense set of integers contains an arithmetic progression of length 3). It can be proved in several ways, but when you see this way you immediately realize that the technique is likely to be useful for many other problems. And in fact, Roth's theorem can also be used to justify Szemer&eacute;di's regularity lemma (which is not quite the same as justifying a whole theory, but it is a very useful technique) in a similar way.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/12022#12022 Answer by Douglas Zare for Justifying a theory by a seemingly unrelated example Douglas Zare 2010-01-16T21:36:17Z 2010-01-19T13:50:14Z <p><strong>Problem:</strong> You need to multiply large numbers, with $10^9$ digits (or take products of power series). Your computer doesn't have the ability to do $10^{18}$ calculations. </p> <p><strong>Solution:</strong> Recognize multiplication of a power series as a convolution. Take a discrete Fourier transform of the digit sequences, multiply, and apply the inverse Fourier transform. Then perform the carries. This should take under $10^{12}$ calculations. The Fast Fourier Transform takes about $n \log n$ calculations.</p> <p>The point is not that this is a fast algorithm or a clever trick. It's that you start out with a basic question about <em>integers</em> you can explain to someone comfortable with grade school math, and you end up dealing with complex or at least real numbers, characters of $\mathbb Z/n$, and properties of convolutions. </p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/12168#12168 Answer by Douglas Zare for Justifying a theory by a seemingly unrelated example Douglas Zare 2010-01-18T02:44:30Z 2010-01-19T13:52:51Z <p><strong>Problem:</strong> Suppose you care about the real world and objects you can hold in your hands. Show that any <a href="http://mathworld.wolfram.com/FlexiblePolyhedron.html" rel="nofollow">flexible polyhedron</a> maintains a constant volume while it is flexed. This was known as the Bellows Conjecture.</p> <p><strong><a href="http://www.math.ucdavis.edu/~deloera/MISC/MATHRESEARCH/TEMPO/Connelly3.pdf" rel="nofollow">Solution</a>:</strong> With a little commutative algebra, you can prove that 12*volume is an algebraic integer in $\mathbb Q$ adjoin the lengths of the sides. Any continuous function from $\mathbb R$ to a countable set is constant. In fact, the volume is a root of a single polynomial. </p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/12324#12324 Answer by Christopher Creutzig for Justifying a theory by a seemingly unrelated example Christopher Creutzig 2010-01-19T17:48:30Z 2010-01-19T17:48:30Z <p>Proving the termination of <a href="http://en.wikipedia.org/wiki/Goodstein%27s%5Ftheorem" rel="nofollow">Goodstein sequences</a> (a problem in natural numbers) via arithmetic on infinite ordinals.</p>