-
Hot Hands, Streaks and Coin-flips: Numerical Nonsense in the New York Times
Authors:
Dan Gusfield
Abstract:
The existence of "Hot Hands" and "Streaks" in sports and gambling is hotly debated, but there is no uncertainty about the recent batting-average of the New York Times: it is now two-for-two in mangling and misunderstanding elementary concepts in probability and statistics; and mixing up the key points in a recent paper that re-examines earlier work on the statistics of streaks. In so doing, it's h…
▽ More
The existence of "Hot Hands" and "Streaks" in sports and gambling is hotly debated, but there is no uncertainty about the recent batting-average of the New York Times: it is now two-for-two in mangling and misunderstanding elementary concepts in probability and statistics; and mixing up the key points in a recent paper that re-examines earlier work on the statistics of streaks. In so doing, it's high-visibility articles have added to the general-public's confusion about probability, making it seem mysterious and paradoxical when it needn't be. However, those articles make excellent case studies on how to get it wrong, and for discussions in high-school and college classes focusing on quantitative reasoning, data analysis, probability and statistics. What I have written here is intended for that audience.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem
Authors:
Dan Gusfield
Abstract:
Most discussions of Gödel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating Gödel's proofs to riddles and paradoxes, but do not attempt to present rigorous, complete proofs; or they do present rigorous proofs, but in the traditional style of mathematical log…
▽ More
Most discussions of Gödel's theorems fall into one of two types: either they emphasize perceived philosophical, cultural "meanings" of the theorems, and perhaps sketch some of the ideas of the proofs, usually relating Gödel's proofs to riddles and paradoxes, but do not attempt to present rigorous, complete proofs; or they do present rigorous proofs, but in the traditional style of mathematical logic, with all of its heavy notation and difficult definitions, and technical issues which reflect Gödel's original approach and broader logical issues. Many non-specialists are frustrated by these two extreme types of expositions and want a complete, rigorous proof that they can understand. Such an exposition is possible, because many people have realized that variants of Gödel's first incompleteness theorem can be rigorously proved by a simpler middle approach, avoiding philosophical discussions and hand-waiving at one extreme; and also avoiding the heavy machinery of traditional mathematical logic, and many of the harder detail's of Gödel's original proof, at the other extreme. This is the just-right Goldilocks approach. In this exposition we give a short, self-contained Goldilocks exposition of Gödel's first theorem, aimed at a broad, undergraduate audience.
△ Less
Submitted 19 November, 2014; v1 submitted 21 September, 2014;
originally announced September 2014.
-
Generalizing the Splits Equivalence Theorem and Four Gamete Condition: Perfect Phylogeny on Three State Characters
Authors:
Fumei Lam,
Dan Gusfield,
Srinath Sridhar
Abstract:
We study the perfect phylogeny problem and establish a generalization of the four gamete condition (also called the Splits Equivalence Theorem) for sequences over three state characters. Our main result is that a set of input sequences over three state characters allows a perfect phylogeny if and only if every subset of three characters allows a perfect phylogeny. In establishing these results,…
▽ More
We study the perfect phylogeny problem and establish a generalization of the four gamete condition (also called the Splits Equivalence Theorem) for sequences over three state characters. Our main result is that a set of input sequences over three state characters allows a perfect phylogeny if and only if every subset of three characters allows a perfect phylogeny. In establishing these results, we prove fundamental structural features of the perfect phylogeny problem on three state characters and completely characterize the minimal obstruction sets that must occur in three state input sequences that do not have a perfect phylogeny. We further give a proof for a stated lower bound involved in the conjectured generalization of our main result to any number of states. The techniques are based on the chordal graph view of perfect phylogeny.
Until this work, the notion of a conflict, or incompatibility, graph has been defined for two state characters only. Our generalization of the four gamete condition allows us to generalize the notion of incompatibility to three state characters. The resulting incompatibility structure is a hypergraph, which can be used to solve algorithmic and theoretical problems.
△ Less
Submitted 18 September, 2009; v1 submitted 9 May, 2009;
originally announced May 2009.
