A learner holds a prior belief over boolean maps that answer a finite set of questions, and receives answers one by one. Each answer costs surprisal and destroys uncertainty, not only about the question asked but every question still unasked. We call the ratio the leverage: table entropy destroyed per bit of surprisal received. It is unit for a uniform prior, but with an intelligent prior can be higher (not lower). Averaged over the truth prior and over the question order, the leverage is found exactly, and is generated by one sequence: the mean entropy of the answers to questions. Sending the number of input bits to infinity at fixed asked fraction , the increments of that sequence become a profile , and initial question entropy . The leverage closes to a thermodynamic limit. . Exchangeable priors, by de Finetti, all give a flat and hence a hyperbolic , their deduction confined to a boundary layer at . We construct a simplicity prior that escapes this, grading Boolean maps by the degree of their polynomial over and budgeting weight across degree shells by a CDF . Reed-Muller capacity then gives exactly, so any nonincreasing profile, and any leverage curve it generates, is realizable at macroscopic times.

生成讲解博客的中文版本

生成AI智能校验的中文版本