ECCC-Report TR14-047https://eccc.weizmann.ac.il/report/2014/047Comments and Revisions published for TR14-047en-usFri, 10 Mar 2017 13:52:20 +0200
Revision 1
| An Interactive Information Odometer with Applications |
Omri Weinstein,
Mark Braverman
https://eccc.weizmann.ac.il/report/2014/047#revision1We introduce a novel technique which enables two players to maintain an estimate of the internal information cost of their conversation in an online fashion without revealing much extra information. We use this construction to obtain new results about communication complexity and information-theoretically secure computation.
As a first corollary, we prove a strong direct product theorem for communication complexity in terms of information complexity: If $I$ bits of information are required for solving a single copy of $f$ under $\mu$ with probability $2/3$, then any protocol attempting to solve $n$ independent copies of $f$ under $\mu^n$ using $o(n\cdot I)$ communication, will succeed with probability $2^{-\Omega(n)}$. This is the best one can hope for, as Braverman and [BR11] previously showed that $O(n\cdot I)$ communication suffice to succeed with probability $\sim (2/3)^n$.
We then show how the information odometer can be used to achieve information-theoretic secure communication between two untrusted parties:If the players' goal is to compute a function $f(x,y)$, and $f$ admits a protocol with information cost is $I$ and communication cost $C$, then our odometer can be used to produce a ``robust" protocol which: $(i)$ Assuming both players are honest, computes $f$ with high probability, and $(ii)$ Even if one party is malicious, then for any $k\in\N$, the probability that the honest player reveals more than $O(k\cdot (I+\log C))$ bits of information to the other player is at most $2^{-\Omega(k)}$.
Finally, we outline a potential approach which uses our odometer as a proxy for braking state of the art interactive compression results: Any progress on interactive compression in the regime where $I=O(\log C)$ will lead to new \emph{general} compression results in all regimes. In particular, any improvement on the dependence on $I$ in the $2^{O(I)}$ compression result of [Bra12] will lead to improved compression and new direct sum and product theorems in communication complexity. Fri, 10 Mar 2017 13:52:20 +0200https://eccc.weizmann.ac.il/report/2014/047#revision1
Paper TR14-047
| An Interactive Information Odometer with Applications |
Omri Weinstein,
Mark Braverman
https://eccc.weizmann.ac.il/report/2014/047We introduce a novel technique which enables two players to maintain an estimate of the internal information cost of their conversation in an online fashion without revealing much extra information. We use this construction to obtain new results about communication complexity and information-theoretically secure computation.
As a first corollary, we prove a strong direct product theorem for communication complexity in terms of information complexity: If $I$ bits of information are required for solving a single copy of $f$ under $\mu$ with probability $2/3$, then any protocol attempting to solve $n$ independent copies of $f$ under $\mu^n$ using $o(n\cdot I)$ communication, will succeed with probability $2^{-\Omega(n)}$. This is the best one can hope for, as Braverman and [BR11] previously showed that $O(n\cdot I)$ communication suffice to succeed with probability $\sim (2/3)^n$.
We then show how the information odometer can be used to achieve information-theoretic secure communication between two untrusted parties:If the players' goal is to compute a function $f(x,y)$, and $f$ admits a protocol with information cost is $I$ and communication cost $C$, then our odometer can be used to produce a ``robust" protocol which: $(i)$ Assuming both players are honest, computes $f$ with high probability, and $(ii)$ Even if one party is malicious, then for any $k\in\N$, the probability that the honest player reveals more than $O(k\cdot (I+\log C))$ bits of information to the other player is at most $2^{-\Omega(k)}$.
Finally, we outline a potential approach which uses our odometer as a proxy for braking state of the art interactive compression results: Any progress on interactive compression in the regime where $I=O(\log C)$ will lead to new \emph{general} compression results in all regimes. In particular, any improvement on the dependence on $I$ in the $2^{O(I)}$ compression result of [Bra12] will lead to improved compression and new direct sum and product theorems in communication complexity. Wed, 09 Apr 2014 05:18:17 +0300https://eccc.weizmann.ac.il/report/2014/047