Pith. sign in

REVIEW 2 cited by

A proof that HT is more likely to outnumber HH than vice versa in a sequence of n coin flips

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2405.16660 v1 pith:UMSTXWBP submitted 2024-05-26 math.CO math.PR

A proof that HT is more likely to outnumber HH than vice versa in a sequence of n coin flips

classification math.CO math.PR
keywords coingetslikelypointproofsequencealgorithmsalice
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Consider the following probability puzzle: A fair coin is flipped n times. For each HT in the resulting sequence, Bob gets a point, and for each HH Alice gets a point. Who is more likely to win? We provide a proof that Bob wins more often for every n>=3. As a byproduct, we derive the asymptotic form of the difference in win probabilities, and obtain an efficient algorithms for their calculation.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Two Combinatorial Inequalities That Explain the Blimpy Shape of Heady-s and Taily-s Bit Strings

    math.CO 2026-07 conditional novelty 5.5

    Generating-function proofs establish two binomial expectation inequalities that imply unimodality near zero and positive/negative asymmetry for heady-s bit-string score counts.

  2. Moments for generalizations of a coin flip game

    math.CO 2026-05 unverdicted novelty 5.0

    Derives recursive and closed formulas for moments of waiting times for prescribed words in coin flips and die rolls using one-parameter Eulerian number extensions, Goulden-Jackson cluster method, and Faà di Bruno's formula.