Projections，-Entropy-and-Sumsets.pdf

7 Projections, Entropy and Sumsets 0 0 2 Paul Balister∗ B´ela Bollob´as∗†‡ v o February 2, 2008 N 7 ] O Abstract C . In this paper we have shall generalize Shearer’s entropy inequal- h ity and its recent extensions by Madiman and Tetali, and shall apply t a projection inequalities to deduce extensions of some of the inequali- m ties concerning sums of sets of integers proved recently by Gyarmati, [ Matolcsi and Ruzsa. We shall also discuss projection and entropy 1 inequalities and their connections. v 1 5 1 1 Introduction 1 . 1 In 1949, Loomis and Whitney [10] proved a fundamental inequality bounding 1 7 the volume of a body in terms of its (n − 1)-dimensional projections. Over 0 forty years later, this inequality was extended considerably by Bollob´as and : v Thomason [3]: they showed that a certain ‘box’ is a solution of much more i X general isoperimetric problems. r In 1978, Han [8] proved the exact analogue of the Loomis-Whitney in- a equality for the entropy of a family {X , . . . , X } of random variables, and 1 n in the same year Shearer proved (implicitly) a considerable extension of this inequality, namely the entropy analogue of the projection inequality that was to be used some years later in [3] to deduce the Box Theorem. (This extension ∗Department of Mathematical Sciences, University of Memphis, Memphis TN 38152,