Potential typo in Definition 7 (Multilevel quality)

[wilfreddenton]

I believe that it should be 2^(μ'-μ) not 2^(μ-μ').

|C*↑μ| is strictly less than |C*↑μ'| where μ' < μ. This is because lower levels contain more blocks: 1/2 of all blocks are of μ=1, 1/4 of all blocks are of μ=2, etc. So, for this inequality to be true, the quantity multiplied by |C*↑μ'| should be < 1. However, μ-μ' >= 1 making 2^(μ-μ') >= 2 so (1-δ)2^(μ-μ') >= 1 for all δ <= 0.5.

My apologies if I have overlooked something.

[dionyziz]

Thanks for pointing out the error. You're right. I have incorporated the change in the latest version in preparation for an eprint update.

[dionyziz]

Fixed here