Minimal bandwidth required to synchronize two sets of values
This appears to be known as the "set reconciliation" problem. The key paper appears to be Minsky &amp; Trachtenberg, "Set Reconciliation With Nearly Optimal Communication Complexity", IEEE Transactions on Information Theory (2003). Also, here is some subsequent work on this problem by the same authors: "Practical Set Reconciliation".