arXiv++ Combinatorics

For distinct real numbers $a_1, \ldots, a_n$ and distinct real numbers $b_1, \ldots, b_n$, consider the sum $S=\sum_{i=1}^n a_i b_{π(i)}$ as $π$ ranges over the permutations of $[n]$. We show that this sum always assumes at least $Ω(n^3)$ distinct values, which is optimal. This ``support'' bound complements recent work of Do, Nguyen, Phan, Tran, and Vu, and of Hunter, Pohoata, and Zhu on the anticoncentration properties of $S$ when $π$ is chosen uniformly at random.