eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2020-08-18
44:1
44:14
10.4230/LIPIcs.MFCS.2020.44
article
Communication Complexity of the Secret Key Agreement in Algorithmic Information Theory
Gürpınar, Emirhan
1
Romashchenko, Andrei
1
https://orcid.org/0000-0001-7723-7880
LIRMM, Université de Montpellier, CNRS, France
It is known that the mutual information, in the sense of Kolmogorov complexity, of any pair of strings x and y is equal to the length of the longest shared secret key that two parties can establish via a probabilistic protocol with interaction on a public channel, assuming that the parties hold as their inputs x and y respectively. We determine the worst-case communication complexity of this problem for the setting where the parties can use private sources of random bits.
We show that for some x, y the communication complexity of the secret key agreement does not decrease even if the parties have to agree on a secret key the size of which is much smaller than the mutual information between x and y. On the other hand, we provide examples of x, y such that the communication complexity of the protocol declines gradually with the size of the derived secret key.
The proof of the main result uses spectral properties of appropriate graphs and the expander mixing lemma as well as various information theoretic techniques.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol170-mfcs2020/LIPIcs.MFCS.2020.44/LIPIcs.MFCS.2020.44.pdf
Kolmogorov complexity
mutual information
communication complexity
expander mixing lemma
finite geometry