A characterization of functions with vanishing averages over products of disjoint sets
Given α1,...,αm∈(0,1), we characterize all integrable functions f:[0,1]m→C satisfying ∫A1×...×Amf=0 for any collection of disjoint sets A1,...,Am⊆[0,1] of respective measures α1,...,αm. We use this characterization to settle some of the conjectures in [S. Janson and V. Sós, More on quasi-random graphs, subgraph counts and graph limits, arXiv:1405.6808].