The Longest Now

The Million Problems project: the world’s best problems in each discipline
Thursday November 22nd 2012, 6:17 pm
Filed under: international,metrics

This is a project I’ve had in mind for some time. From where do you draw your favorite problems? For a bit of inspiration, here is an excellent and insightful essay on why math education is so much stronger in Russia (for instance) than in the US and Brazil (for instance), focusing on the appreciation for and use of word problems.

Word Problems in Russia and America by Andrei Toom (↬ Jacob Rus)

The Mathematics that Matter for Planet Earth, in 2013
Wednesday July 18th 2012, 5:56 pm
Filed under: international,meta

An idea born in 2010, by the American Mathematical Society and friends, now bearing fruit at a beautifully burgeoning MPE 2013 website.

The mathematics of interest includes everything related to four themes: Discovering the planet, Supporting life on the planet, Human organization on the planet, and Risks to the future of the planet.

J. B. S. Haldane on Statistical Fraud
Friday March 09th 2012, 6:06 am
Filed under: chain-gang,metrics,popular demand,Uncategorized

From Haldane‘s 1941 essay in Eureka #6 on “The Faking of Genetical Results“, reproduced here with appropriate corrections and hyperlinks.

MY FATHER published a number of papers on blood analysis. In the proofs of one of them the following sentence, or something very like it, occurred: “Unless the blood is very thoroughly faked, it will be found that duplicate determinations rarely agree.” Every biochemist will sympathise with this opinion. I may add that the verb “to lake,” when applied to blood, means to break up the corpuscles so that it becomes transparent.

In genetical work also, duplicates rarely agree unless they are faked. Thus I may mate two brother black mice, both sons of a black father and a white mother, with two white sisters, and one will beget 10 black and 15 white young; the other 15 black and 10 white. To the ingenuous biologist this appears to be a bad agreement. A mathematician will tell him that where the same ratio of black to white is expected in each family, so large a discrepancy (though how best to compare discrepancies is not obvious) will occur in about 26 percent of all cases. If the mathematician is a rigorist he will say the same thing a little more accurately in a great many more words.

A biologist who has no mathematical knowledge, and, what is vastly more serious, no scientific honour, will be tempted to fake his results, and say that he got 12 black and 13 white in one family, and 13 black and 12 white in the other. The temptation is generally more subtle. In one of a number of families where equality is expected he gets 19 black and 6 white mice. It looks much more like a ratio of 3 black to 1 white. How is he to explain it? Wasn’t that the cage whose door once seemed to be insecurely fastened? Perhaps the female got out for a while or some other mouse got in. Anyway he had better reject the family. The total gives a better fit to expectation if he does so, by the way. Our poor friend has forgotten the binomial theorem. A study of the expansion of (1+x/2)25 would have shown him that as bad a fit or worse would be obtained with a probability of 122753 x 2-23, or .0146. There is nothing at all surprising in getting one family as aberrant as this in a set of 20. But he is now on a slippery slope.

He gets his Ph.D.  He wants a fellowship, and time is short. But he has been reading Nature and noticed two letters* to that journal of which I was joint author, in which I might appear to have hinted at faking by my genetical colleagues. Thoroughly alarmed, he goes to a venal mathematician. Cambridge is full of mathematicians who have been so corrupted by quantum mechanics that they use series which are clearly divergent, and not even proved to be summable. Interrupting such a one in the midst of an orgy of Bhabha and benzedrine, our villain asks for a treatise on faking.

“I am trying to reconcile Milne, Born and Dirac, not to mention some facts which don’t seem to agree with any of them, or with Eddington,” replies the debauchee, “and I feel discontinuous in every interval; but here goes.

“I suppose you know the hypothesis you want to prove. It wouldn’t be a bad thing to grow a few mice or flies or parrots or cucumbers or whatever you’re supposed to be working on, to see if your hypothesis is anywhere near the facts. Suppose in a given series of families you expect to get four classes of hedgehogs or whatnot with frequencies p1p2p3p4, and your total is S, I shouldn’t advise you to say you got just Sp1Sp2Sp3 and Sp4, or even the nearest whole number. Here is what you’d better do. Say you got A1A2A3 and A4, and evaluate

\chi^2 = ((A_1 - Sp_1)^2 / Sp_1) + ((A_2 - Sp_2)^2 / Sp_2) + ...

Your \chi^2 has three degrees of freedom. That is to say you can say you got A1 red, A2 green and A3 blue hedgehogs. But you will then have to say you got SA1A2A3 purple ones. Hence the expected value of \chi^2 is 3, and its standard error is \sqrt{6}; so choose your A‘s so as to give a \chi^2 anywhere between 1 and 6. This is called faking of the first order. It isn’t really necessary. You might have p_1 = 9/16p_2 = p_3 = 3/16p_4 = 1/16 and A1=9, A2=A3=3, A4=1. The probability of getting this is (16! 3^24) / (9! (3!)^2 1! 16^16), which is only just under .04.  However, it looks better not to get the exact numbers expected, and if you do it on a population of hundreds or thousands you may be caught out.
“Your second order faking is the same sort of thing. Supposing your total is made up of n families, and you say the rth consisted of ar1ar2ar3ar4 members of the four classes, sr in all: you take

((a_{r1} - s_r p_1)^2 / s_r p_1) + ((a_{r2} - s_r p_2)^2 / s_r p_2) + ...

and sum for all values of r. Your total ought to be somewhere near 3n. The standard error is \sqrt{6n}, and it’s better to be too high than too low. A chap called Moewus in Berlin who counted different types of algae (or so he said), got such a magnificent agreement between observed and theoretical results, that if every member of the human race had repeated his work once a month for 1012 years, they might expect as good a fit on one occasion (though not with great confidence). So Moewus certainly hadn’t done any second order faking. Of course I don’t suggest that he did any faking at all. He may have run into one of those theoretically possible miracles, like the monkey typing out the text of Hamlet by mere luck. But I shouldn’t have a miracle like that in your fellowship dissertation.

“There is also third order faking. The 4n different components of \chi^2 should be distributed round their mean in the proper way. That is to say, not merely their mean, but their mean square, cube and so on, should be near the expected values (but not too near). But I shouldn’t worry too much about the higher orders. The only examiner who is likely to spot that you haven’t done them is Haldane, and he’ll probably be interned as a Red before you send your thesis in. Of course you might get R. A. Fisher, which would be quite as bad. So if you are worried about it you’d better come back and see me later.”

Man is an orderly animal. He finds it very hard to imitate the disorder of nature. In fact the situation is the exact opposite of what the reader of Paley‘s Evidences might expect. But the problem is an interesting one, because it raises in a sharp and concrete way the question of what is meant by randomness, a question which, I believe, has not been fully worked out. The number of independent numerical criteria of randomness which can be applied increases with the number of observations, but much more slowly, perhaps as its logarithm. The criteria now in use have been developed to search for excessive irregularity, that is to say, unduly bad fit between observation and hypothesis. It does not follow that they are so well adapted to a search for an unduly good fit. Here, I believe, is a real problem for students of probability. Its solution might lead to a better set of axioms for that very far from rigorous but none the less fascinating branch of mathematics.

* see U. Philip and J. B. S. Haldane (1939). Nature143, p. 334.  and
  Hans Grüneberg and J. B. S. Haldane (1940). Nature145, p. 704.

Two closing comments by T. W. Körner, who found Haldane’s essay worth reprinting in his brilliant textbook on Fourier analysis:

The reluctance of the scientific community to accept the possibility of fraud is illustrated by the fact that Moewus was still cited in the literature (and even spoken of as a possible Nobel prize winner) until 1953. However, no one else ever succeeded in repeating his experiments…

Unfortunately the statistical war against fraud is now over and the cheaters have won. The kind of tests proposed by Haldane depended on the fact that ‘higher order faking’ required a great deal of computational work. The invention and accessibility of the computer means that the computational work involved has ceased to be a problem for the dishonest scientist. In the physical and biological sciences the possibility that others will attempt to replicate experiments may act as a sufficient deterrent but in purely statistical subjects like sociology and experimental psychology the poblems raised by potential fraud have still to be faced.”

Magnificent: Museum of Modern Math
Sunday July 03rd 2011, 2:35 am
Filed under: %a la mod,chain-gang,Glory, glory, glory,metrics,poetic justice,Uncategorized

Launching next year in the Big Red Topological Sphere: a Museum devoted to the Queen of the Sciences and supported by local New York organizations and by Google.  Learn about the Musem of Mathematics and what they have planned:

Bad Behavior has blocked 901 access attempts in the last 7 days.