tag:blogger.com,1999:blog-264226589944705290.post5581765939689200276..comments2023-11-05T03:45:25.001-08:00Comments on God Plays Dice: Mathematical triviumMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger38125tag:blogger.com,1999:blog-264226589944705290.post-67499424740118244532008-09-07T13:27:00.000-07:002008-09-07T13:27:00.000-07:00(sorry about earlier posts, can't get my things ri...(sorry about earlier posts, can't get my things right).<BR/><BR/><BR/>Sponzen, yours is the neates approach for me so far.<BR/><BR/><BR/>However...<BR/><BR/>1. "sin(x)^100 is 1/2 at x=1,453"<BR/>now .. how do you get that without computer?<BR/><BR/>That amounts to proving<BR/>sin(x)=(1/2)^ 1/100 then x=1,453...<BR/>and I don't know how's that calculated in a simple waydrinihttps://www.blogger.com/profile/06533961354442533309noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-23660047691592455442008-09-07T13:25:00.000-07:002008-09-07T13:25:00.000-07:00This comment has been removed by the author.drinihttps://www.blogger.com/profile/06533961354442533309noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-5399851107862646172008-09-07T13:19:00.000-07:002008-09-07T13:19:00.000-07:00This comment has been removed by the author.drinihttps://www.blogger.com/profile/06533961354442533309noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-13707951521976673592008-09-04T19:56:00.000-07:002008-09-04T19:56:00.000-07:00Hmmmthis is taking far longer than five minutes.I...Hmmmthis is taking far longer than five minutes.<BR/><BR/>I conclude the readership has no mastery of mathematics.Thanehttps://www.blogger.com/profile/07920318092259728351noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-33092713510236265032008-09-01T03:50:00.000-07:002008-09-01T03:50:00.000-07:00The solution is the integral of sin(x)^100 between...The solution is the integral of sin(x)^100 between 0 and \pi/2 and divided by \pi/2.<BR/><BR/>Taking the 100st-power converts the sinus to a function that is almost everywhere 0, except close to \pi/2, where we could approximate it by 1. <BR/><BR/>The value of sin(x)^100 is 1/2 at x=1,453, so we could assume that this is the point where the function flips from 0 to 1.<BR/><BR/>The mean value would then be (pi/2-1,453)/(pi/2)=0,0749.<BR/><BR/>This is an ugly solution, but it is computed faster than I can type it.Sponzen ridderhttps://www.blogger.com/profile/16169310346868021146noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-43191336236058897182008-08-25T19:04:00.000-07:002008-08-25T19:04:00.000-07:00I second anonymous rex's comment: the binomial dis...I second anonymous rex's comment: the binomial distribution for large n can be estimated also by using a Gaussian approximation (and IIRC from a discussion over at Tim Gowers's blog, this observation gives one approach to proving Stirling's approximation).Unknownhttps://www.blogger.com/profile/06052144678256568647noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-16380499568466659722008-08-25T18:27:00.000-07:002008-08-25T18:27:00.000-07:00Sorry: that should have been 2(x_0-50x_0^3/3)which...Sorry: that should have been<BR/><BR/> 2(x_0-50x_0^3/3)<BR/><BR/>which then makes the estimate for I about 4x_0/3 ~ 4/21, so that the estimate of the desired quantity is about 2/33, which in turn is about 2/3 times 0.09, which is 0.06 and so looking a bit small.<BR/><BR/>That said, I haven't made any attempt to correct for reinforcing biases in the errors for these estimates.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-34874938098142871712008-08-25T18:13:00.000-07:002008-08-25T18:13:00.000-07:00I like yury's approach. My own first thought was j...I like yury's approach. My own first thought was just to approximate cos(x) by 1-x^2/2 since taking 100th powers is going to kill off what happens outside a fairly small neighbourhood of zero. So we look for (\pi)^{-1} times I, where I is the integral of (1-x^2/2)^{100} over the interval on which the integrand is positive.<BR/><BR/>Being lazy, let's replace this with the integral of 1-50x^2 over the interval (-\sqrt{0.02},\sqrt{0.02}), then basic calculus tells us this is 2x_0-x_0^3/3 where x_0 is \sqrt{0.02}. Continuing to be crude, we may as well say this is 2x_0, and since 1/50 is roughly (1/7)^2 we'll say 2/7 as our estimate for I. Now we divide by 22/7, to continue the tradition of lazy estimating, which gives me<BR/><BR/>final estimate: 1/11<BR/><BR/>i.e. a bit more than 0.09. Which given the lack of book-keeping, doesn't strike me as *too* bad when compared with the 0.08 that was obtained with more finesse.<BR/><BR/>The calculation itself took about a minute, but I expect I'd have wasted well over five minutes trying to spot a trick or a trap, if I hadn't seen some of the solutions on this thread.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-43532643060525340002008-08-25T17:14:00.000-07:002008-08-25T17:14:00.000-07:00You also get \sqrt(2/pi)/10 if you take the charac...You also get \sqrt(2/pi)/10 if you take the characters/Fourier/trig identities to binomial coefficient to Stirling approach. Perhaps they are "equivalent" somehow?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-1656979577197642442008-08-25T14:01:00.000-07:002008-08-25T14:01:00.000-07:00Yury,that's the solution I had in mind. I'm not s...Yury,<BR/><BR/>that's the solution I had in mind. I'm not saying it's the best one -- the solutions that people have given in terms of binomial coefficients are nice too -- but I do like the trick of approximating the integral by a Gaussian integral. (Somewhere it reminds the probabilist in me of the Central Limit Theorem, I suppose.)Michael Lugohttps://www.blogger.com/profile/15671307315028242949noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-79570164703012008242008-08-25T13:57:00.000-07:002008-08-25T13:57:00.000-07:00Trivially, the average value of sin(x)^100 is equa...Trivially, the average value of sin(x)^100 is equal to the average value of cos(x)^100 on (-pi/2, pi/2). Now, cos (x) is close to exp(-x^2/2) on (-pi/2,pi/2), thus the answer is very close to <BR/>$$<BR/>\int exp(-100 * x^2/2) dx / \pi ~ \int exp(-x^2/2) dx /(10 \pi) = \sqrt(2 pi) /(10 pi) = \sqrt(2/pi)/10 ~ 0.08<BR/>$$<BR/>It's easy to make this solution rigorous. And you can make this computation in your head in 5 minutes.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-33520741915937701702008-08-25T10:27:00.000-07:002008-08-25T10:27:00.000-07:00Jinkies, I should have checked back sooner.The Tay...Jinkies, I should have checked back sooner.<BR/><BR/>The Taylor expansion of the sine around 0 is x-x^3/3!+ ...<BR/><BR/>Of course, I whipped that out, and now that I look at it again, I realize that I had a duh moment. You rightly point out that I missed the limits of integration [0, 2π], not [-1,1] (or [0,1] which was what was running through my head when I wrote that]). So points off on the exam for that.<BR/><BR/>You need to get to terms on the order of n, where x^n/n! <= (0.1)^(0.01), which by quick calculation is n=15. And that's, uhh, ugly.<BR/><BR/>There, I would have run out of time. You can do some trickery otherwise. The trig identity <A HREF="http://en.wikipedia.org/wiki/List_of_trigonometric_identities#Double-.2C_triple-.2C_and_half-angle_formulae" REL="nofollow">wiki</A> [I had to look it up]<BR/>gives you a reduction of powers to frequencies. sin^100(x) = ((((sin^2(x))^2)^5)^5). Powers of cosine never turn back into powers of sine, so you have to figure out how many of the constant factors you need to figure out.<BR/><BR/>The reason I would think of this is that basic quantum mechanical wave functions are [sines|cosines]. When you look at the particle in the box [canonical first quantization problem], you see sin^2(x) = 1+cos(2x)/2; the reduction of powers to frequencies should be a mental jump that you should make if you are trained well [I think that's the author's point].<BR/><BR/>This is long, I hope it's not stupid.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-25578090859715570602008-08-25T08:14:00.000-07:002008-08-25T08:14:00.000-07:00What's desired is the 0 coefficient of the Fourier...What's desired is the 0 coefficient of the Fourier series for sin^n(x). So it's natural to think about this in terms of Fourier transforms. And sin^n(x), as n goes to infinity, approaches a constant (that depends on n) times a delta function at pi/2 and -pi/2.<BR/><BR/>Of course to get the right answer you have to use the right scaling factor. That brings in a factor of 1/2 pi.CarlBrannenhttps://www.blogger.com/profile/17180079098492232258noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-36601681990183180382008-08-25T05:23:00.000-07:002008-08-25T05:23:00.000-07:00Yes, as Nathan and I observed earlier, the exact a...Yes, as Nathan and I observed earlier, the exact answer is rational because it's exactly 2^{-100} \binom{100}{50}, and a quick back-of-envelope calculation using Stirling's approximation gives an answer consonant with what someone whose handle begins as "651" said, and I'm guessing what you (cwitty) said, except that the denominator of your answer seems to have been truncated.Unknownhttps://www.blogger.com/profile/17495154025579366699noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-63342058614028862742008-08-25T05:21:00.000-07:002008-08-25T05:21:00.000-07:00Yes, as Nathan and I observed earlier, the exact a...Yes, as Nathan and I observed earlier, the exact answer is rational because it's exactly 2^{-100} \binom{100}{50}, and a quick back-of-envelope calculation using Stirling's approximation gives an answer consonant with what someone whose handle begins as "651" said, and I'm guessing what you (cwitty) said, except that the denominator of your answer seems to have been truncated.Unknownhttps://www.blogger.com/profile/17495154025579366699noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-87333814097994524812008-08-25T04:31:00.000-07:002008-08-25T04:31:00.000-07:00I'm convinced by (what you say is) the original Ru...I'm convinced by (what you say is) the original Russian, written out.<BR/><BR/>Yes, the problem in the compositional sense is trivial, but <I>only if you understand it</I>. Most students with just a toolbox understanding of the calculus would start rushing in to calculate and get mired down in a swamp of numerical estimates, while those with real understanding would step back and see the long view.<BR/><BR/>The number 100 is there to scare, yes. But it's because the answer in the compositional sense doesn't matter what exponent you pick. Students with real understanding would pick up on that.<BR/><BR/>The 10% figure is a red herring. It's more window dressing designed to make engineers' numerical modes ping, while mathematicians take up that part only if and when it's needed.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-41709751981123987622008-08-24T23:10:00.000-07:002008-08-24T23:10:00.000-07:00I couldn't solve the problem in five minutes by ha...I couldn't solve the problem in five minutes by hand, but I can come up with the answer using Maxima (via Sage).<BR/><BR/>Surprisingly (to me), the answer is an exact rational:<BR/>12611418068195524166851562157/158456325028528675187087900672Unknownhttps://www.blogger.com/profile/08558254764912228059noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-3226275146479716222008-08-24T20:06:00.000-07:002008-08-24T20:06:00.000-07:00unapologetic, perhaps I'll agree with you that sim...unapologetic, perhaps I'll agree with you that simply stating that something is "clear" is unconvincing. However, neither is misquoting.<BR/><BR/>You write "That's one that students screw up year after year because of <I>your</I> "clear" notational shortcut." [emphasis mine]<BR/><BR/>It's not <I>my</I> notation. I don't even like it. I stated above that I write arcsin instead of sin^{-1}. (But I did not explain explicitly that the reason I do write sin^2(x) is because I feel more mathematicians will more easily parse it that way, simply because that's how it's usually written, not because I like the notation.)<BR/><BR/>Also, I never claimed the <I>notation</I> was clear! I said the problem was clear. Here's why: [I can independently justify the interpretation of "average" as well.]<BR/><BR/>1. As I already said, I have never seen a text where sin^2(x) means sin(sin(x)). I would still love to see such a source. (And come on, this point is reason enough.)<BR/><BR/>2. The problem is trivial (yes, I know that's another great word) otherwise. This is <I>Arnol'd</I> we're talking about, and in the context "if you can't solve this in five minutes, you don't have a mastery of mathematics". Trivial problems don't demonstrate mastery, nor do they take five minutes. This is a red flag of misinterpretation.<BR/><BR/>3. "A precision of 10%" doesn't make much sense if the answer is 0. Moreover, "a precision of 10%" suggests that one cannot easily answer exactly.<BR/><BR/>4. Mathematicians often like to take a problem for general n and turn it into a problem for a single, specific n. Since the number 100 seems arbitrary here, we suppose this is what is happening. Now consider the two interpretations of the problem. If we use the iterated function approach, this is still a thing that people commonly do, but mostly to test if you're "scared" by the number 100. If we use the correct interpretation, the number 100 just means "solve for general n, and plug in n=100". Seeing as how Arnol'd claimed to be testing mastery, not fearlessness, this is slight evidence towards the correct interpretation.<BR/><BR/>Convinced?Unknownhttps://www.blogger.com/profile/06229416831400925212noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-77366841405363495232008-08-24T19:25:00.000-07:002008-08-24T19:25:00.000-07:00I have to admit that my gut reaction was 1/2 as th...I have to admit that my gut reaction was 1/2 as this is the average of sin^2(x).<BR/><BR/>But to get it right, make the substitution sin(x) = u, and convert to an integral over u.<BR/><BR/>You will have an integral of u^100 for u between -1 and +1 times dx which is du/sqrt(1-u^2).<BR/><BR/>The u^100 factor will be very small for values of u that are not near +1 and -1. In those regions, you can write an excellent approximation for 1/sqrt(1-u^2) by taking the first nonzero term of the Taylor expansion around 1. This puts the integral into easy form, and should be pretty dang close.<BR/><BR/>Uh, well over 5 minutes.CarlBrannenhttps://www.blogger.com/profile/17180079098492232258noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-11904739707921084092008-08-24T19:01:00.000-07:002008-08-24T19:01:00.000-07:00Boris, "clear" is about the worst word a mathemati...Boris, "clear" is about the worst word a mathematician could ever use when trying to convince someone with whom he disagrees. Using superscripts to indicate powers in the <EM>compositional</EM> sense is well-established.<BR/><BR/>Yes, often people go ahead and write a superscript on "sin" rather than after the "(x)", as they should, but even here superscripts are used in terms of compositions. How do you read "sin^{-1}(x)"? That's one that students screw up year after year because of your "clear" notational shortcut.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-45792923053625922962008-08-24T13:46:00.000-07:002008-08-24T13:46:00.000-07:00I was just using high-falutin' language, as if...I was just using high-falutin' language, as if to get Arnold's goat :-) . A character of a topological, let us say compact, abelian group like the circle given by the real numbers R modulo 2pi, is by definition a continuous homomorphism to the circle. For R mod 2pi, the characters are each of the form x |--> e^{inx} for some integer n. If n is nonzero (a nontrivial character), the integral of the character over the whole group, that is, over a whole period in this case, is zero, so it gives no contribution. <BR/><BR/>That's all that was meant.Unknownhttps://www.blogger.com/profile/06052144678256568647noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-9162170412224885642008-08-24T13:39:00.000-07:002008-08-24T13:39:00.000-07:00Maybe someone with a real mastery of mathematics w...Maybe someone with a real mastery of mathematics would just happen to know that the integral of (sin(x))^100 over a period is very close to 0.5. I didn't know that until I used a numerical integrator, but I suppose some people might. Then you've got 5 whole minutes to divide by 2pi. :)<BR/><BR/>I don't think I understand the bit about the "trivial character on R mod 2pi." Anyone care to elaborate?Unknownhttps://www.blogger.com/profile/15614585816657425195noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-86438890492325068852008-08-24T13:30:00.000-07:002008-08-24T13:30:00.000-07:00Similar to Nathan, I guess, one could try sine as ...Similar to Nathan, I guess, one could try sine as an average of complex exponentials, and raise to the power 100 using the binomial theorem, where only the trivial character on R mod 2pi gives any contribution to the mean, and use Stirling's formula as he suggests. But this is from my head, and I didn't try to do the computation to within 10 per cent. I'm pretty sure I could do it, albeit preferably without Arnol'd standing there with stopwatch in hand.Unknownhttps://www.blogger.com/profile/06052144678256568647noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-45588226587058325652008-08-24T13:18:00.000-07:002008-08-24T13:18:00.000-07:00I thought "plongement" might refer to embedding th...I thought "plongement" might refer to embedding theorems like those for abelian categories. Arnol'd is famous for putting down highly "abstract" mathematics, and I can imagine this type of embedding theorem would be a <I>ne plus ultra</I> of the kind of thing that puts him off.Unknownhttps://www.blogger.com/profile/06052144678256568647noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-18807460092021098982008-08-24T08:33:00.000-07:002008-08-24T08:33:00.000-07:00Nathan, I see your point.But, I mean, I solved the...Nathan, I see your point.<BR/><BR/>But, I mean, I solved the problem after only looking at Isabel's doubly-translated version; I thought it was clear then. Afterwards, I looked at the original Russian, as well as the published translations into French and English. Fun fact: the original Russian actually says "среднего от сотой степени синуса" which is "the average of the hundredth power of sine" <I>written out</I>, leaving little to no ambiguity. The French and English translators decided to use mathematical notation here themselves.<BR/><BR/>I agree with your complaint regarding notation here. Here and in other places in math, I use a preëmptive approach: I write arcsin to mean the inverse, f(x)^2 but sin^2(x) as usual, and always specify that I mean iteration whenever writing f^2(x). Unfortunately, this doesn't help me at all with reading other people's notation ...<BR/><BR/>Another common notational problem is that some (most?) people use \subset to mean \subseteq, while others think it should mean \subsetneq by analogy with < and \le. To avoid this, I always write the extremes, \subsetneq or \subseteq, which are unambiguous.<BR/><BR/>(PS. I've only looked at a couple of the full list of 100 problems, but I think problem 2 is cute -- I even know someone who solved it by using l'Hôpital's rule seven times!)Unknownhttps://www.blogger.com/profile/06229416831400925212noreply@blogger.com