The Entropy Decrement Method and the Erdos Discrepancy Problem
summary
Claims that the Erdős discrepancy conjecture follows by converting the global problem to a model for the Liouville sequence, proving nontrivial logarithmic averaging pair-correlation cancellation, and then forcing unbounded partial sums. The argument combines multiplicativity, a circle method step to remove prime-weight factors, concentration bounds like Hoeffding, and an iterative entropy decrement that shows large correlations would force a big drop in mutual information across scales, contradicting entropy limits.
AI-written summary · about
chapters (10)
- 0:00Introduction to the method
- 3:11The discrepancy problem
- 6:34Model problem and Liouville
- 11:53Probabilistic interpretation
- 21:27Applying log averaging
- 28:27Sign pattern analysis
- 32:56Double averages and symmetry
- 40:17Entropy and mutual information
- 47:24The entropy decrement argument
- 53:46Questions and discussion
