Closure bounds for small skew-sumset scalars
ID: closure-bounds-for-small-skew-sumset-scalars
Write and suppose some nonzero has . The mixed-set Plünnecke-Ruzsa inequality gives and . The Ruzsa covering lemma covers by at most translates of . Covering two dilates proves the addition bound. First covering , then both copies of in , proves the multiplication bound. The Ruzsa triangle inequality also gives . These bounds transfer controlled additive expansion through a bounded-complexity expression in scalars.
New to topics? Read the docs here!