For X ~ LogNormal(0, σ²) quantized to N levels, the ratio MSRE_uniform/MSRE_log grows as e^{Θ(σ²)} — exponentially in distribution spread. At σ=2 the ratio exceeds 346,000×; at σ=3 it exceeds 17 trillion×. Under MSE the two quantizers are comparable (ratio ≈ 1). Lean 4 verified.
Edits are content changes — like pull requests on the entry's repository.
No edits yet.