find a set of integers where {$a_i + a_j | 1 \le i \le j \le n$} leave distinct remainders when divided by $n(n+1)/2$

Question

For each integer $n>1$, find a set of $n$ integers {$a_1, a_2, ..., a_n$} such that the set of numbers {$a_i + a_j | 1 \le i \le j \le n$} leave distinct remainders when divided by $n(n+1)/2$. If such set of integers does not exist, give a proof.

I know ideally I should show what I've attempted thus far but I'm completely lost and don't really know how to get started. I guess WLOG I can let $a_1 < a_2 <...<a_n$ and I also know that I should have from $0 \mod (n(n+1)/2)$ to $n(n+1)/2 - 1 \mod (n(n+1)/2)$ for $a_i + a_j$ but otherwise I'm not sure.

(I did ask this on mathematics stack exchange and I really appreciate the members' help there but I'd like more help!)

Answer 1

This is impossible for $n>2$. This relies on an idea of Seva, now deleted.

Let $m = n (n+1)/2$ For any nontrivial character $\chi$, we have

$$ \left( \sum_{ a\in A}\chi(a)\right) ^2 + \sum_{a \in A} \chi^2(a) = 2 \sum_{a \in \mathbb Z/m} \chi(a)=0$$

In particular, if $m$ is even, then taking $\chi$ a character of order $2$, we get a square plus something positive is zero, a contradiction (recovering a result of Gerhard Paseman).

Because of this $m$ is odd, so squaring acts as a permutation of the nontrivial characters. Because we can square some number of times and get back to itself, $x= \sum_{a \in A} \chi(a)$ satisfies $x^{2^k} = \pm x$ and thus is a root of unity or zero.

Hence $$nm= \sum_{\chi} \left| \sum_{a \in A} \chi(a) \right|^2 \leq n^2 + (m-1)$$ with the $n^2$ from the trivial character.

This gives $m (n-1) \leq n^2-1$, so $m \leq n+1$, which implies $n\leq 2$.

Answer 2

This is not possible for sufficiently large $n$. Put $N= n(n+1)/2$ and we may clearly assume that the set lies in $[1,N]$. Then this set of $n$ integers must have all sums of pairs $a+b$ being distinct (apart from the relation $a+b=b+a$). Such sets are called Sidon sets, and Erdos and Turan showed that a Sidon set in $[1,N]$ has at most $\sqrt{N} + O(N^{\frac 14})$ elements. Since $n \ge \sqrt{2N}-1$ clearly this is a contradiction for large $n$.

Answer 3

First observation: There are no solutions for $n \equiv 3 \bmod 8$ or $4$ or $8 \bmod 16$. Let $k$ be the number of $a_i$ which are odd, then the number of $a_i+a_j$ which are odd is $k(n-k)$.

If $n \equiv 3 \bmod 8$, then $k(n-k)$ is even, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is odd.

If $n \equiv 4$ or $8 \bmod 16$, then $k(n-k)$ is either $0$ or $3 \bmod 4$, but the number of odd elements modulo $\tfrac{n(n+1)}{2}$ is $1$ or $2 \bmod 4$.

Answer 4

This is just a slightly more explicit and self-contained version of Lucia's answer.

Let $N:=n(n+1)/2$. If all the sums $a_i+a_j$ with $1\le i<j\le n$ have distinct remainders upon division by $N$, the so do all the differences $a_i-a_j$ since $a_i-a_j\equiv a_s-a_t\pmod N$ implies $a_i+a_t\equiv a_j+a_s\pmod N$. However, there are $n(n-1)$ differences $a_i-a_j$ and just $N-1$ non-zero remainders. Thus, $$ n(n-1) \le N-1 = \frac{(n-1)(n+2)}2, $$ and it follows that $2n\le n+2$; hence, $n\le 2$.

Answer 5

This is not an answer, but a derivative question worth pursuing. I put it here in hopes someone can complete it to an answer which solves the posted question.

Let p be a prime dividing n+1. Divide a given set A of integers into residue classes mod p, so there are a_j many members of A equal to j mod p. When I feel up to it, I will write out the equations for how many of the sums of unordered pairs from A add up to a number which is k mod p. The upshot is that for a set A to satisfy the required conditions mod n(n+1)/2, it needs to satisfy an equidistribution system of equations mod p for each such p. In other words, if S_c is the count of such sums from A with sum equal to c mod p, then S_c=S_b for c different from b mod p. We have p choose 2 equations of a form like $$ \sum_{j+k=c \bmod p, j \lt k} a_ja_k + \sum_{j+j=c \bmod p} (a_j^2 + a_j)/2= \sum_{j+k=b \bmod p, j \lt k} a_ja_k + \sum_{j+j=b \bmod p} (a_j^2 + a_j)/2$$.

The question now is are there any tuples of nonnegative integers $a_j$ whose sum is $n$ and which satisfy the above system? For n=2 and p=3, we have (0,1,1). Are there any others?

It is easy to verify (by running through 3-partitions of 5) that for n=5 and p=3, there are no (error: at least one, thanks David Speyer) 5- sets A which sums are equidistributed mod 3.

Edit

It turns out there are others. Let d be an odd divisor of n+1. One can look at the addition table of 0,..,n to see that there are an equal number of representatives mod d among all ordered pairs of sums. As d is odd, this reduces to equidistribution mod d among the unordered pairs of their sums. "Removing" the last column (addition by n) shows that the equidistribution remains when restricted to the set A=(0,1,...,n-1). So there is a solution to the system of equations above, not just for odd primes p, but also for odd divisors d of (n+1) (and for odd d dividing n). So the approach suggested above does not directly lead to a proof of the nonexistence of such sets mod m (because p=d is too small). It might yield something for large divisors d of m, however.

End Edit

Gerhard "Is This In The Literature?" Paseman, 2018.06.19.