Sumset representation function
ID: sumset-representation-function
For finite sets in an abelian group , the sumset representation function isIt counts ordered pairs in the Cartesian product, so and are different when , even though commutativity makes their sums equal. It is zero outside the sumset, andFor , its values at are . For , its values at the increasing elements of are . Both lists total sixteen, but the first concentrates more ordered pairs on fewer sums. This distinction is what additive energy quantifies.
Ordered-pair sums and representation counts for an arithmetic progression and a spread-out integer set
. Details. New to topics? Read the docs here!
