A localization inequality for set functions

  • Authors:
  • László Lovász;Michael Saks

  • Affiliations:
  • Microsoft Research, One Microsoft Way, Redmond, WA;Department of Mathematics-Hill Center, Rutgers University, Piscataway, NJ and Microsoft Research

  • Venue:
  • Journal of Combinatorial Theory Series A
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove the following theorem, which is an analog for discrete set functions of a geometric result of Lovász and Simonovits. Given two real-valued set functions f1, f2 defined on the subsets of a finite set S satisfying, ΣX⊆S fi(X) ≥0 for i ∈ {1, 2}, there exists a positive multiplicative set function µ over S and two subsets A, B ⊆ S such that for i ∈ {1,2} µ(A)fi(A)+µ(B)fi(B)+µ(A∪B)fi(A∪ B) + µ(A ∩ B)fi (A∩B) ≥0. The Ahlswede-Daykin four function theorem can be deduced easily from this.