ECCC-Report TR13-180https://eccc.weizmann.ac.il/report/2013/180Comments and Revisions published for TR13-180en-usTue, 17 Dec 2013 08:51:49 +0200
Revision 1
| On Interactivity in Arthur-Merlin Communication and Stream Computation |
Amit Chakrabarti,
Graham Cormode,
Andrew McGregor,
Justin Thaler,
Suresh Venkatasubramanian
https://eccc.weizmann.ac.il/report/2013/180#revision1We introduce {\em online interactive proofs} (OIP), which are a hierarchy of communication complexity models that involve both randomness and nondeterminism (thus, they belong to the Arthur--Merlin family), but are {\em online} in the sense that the basic communication flows from Alice to Bob alone. The complexity classes defined by these OIP models form a natural hierarchy based on the number of rounds of interaction between verifier and prover. We give upper and lower bounds that (1) characterize every finite level of the OIP hierarchy in terms of previously-studied communication complexity classes, and (2) separate the first four levels of the hierarchy. These results show marked contrasts and some parallels with the classic Turing Machine theory of interactive proofs.
Our motivation for studying OIP is to address computational complexity questions arising from the growing body of work on data stream computation aided by a powerful but untrusted helper. By carefully defining our complexity classes, we identify implicit assumptions in earlier lower bound proofs. This in turn indicates how we can break the mold of existing protocols, thereby achieving dramatic improvements. In particular, we present two-round stream protocols with logarithmic complexity for several query problems, including the fundamental INDEX problem. This was thought to be impossible based on previous work. We also present a near-optimal, one-round stream protocol for counting triangles in a dynamic graph. Our protocols leverage classic algebraic techniques, including multilinear extensions, sum check, and arithmetization of Boolean formulas.Tue, 17 Dec 2013 08:51:49 +0200https://eccc.weizmann.ac.il/report/2013/180#revision1
Paper TR13-180
| On Interactivity in Arthur-Merlin Communication and Stream Computation |
Amit Chakrabarti,
Graham Cormode,
Andrew McGregor,
Justin Thaler,
Suresh Venkatasubramanian
https://eccc.weizmann.ac.il/report/2013/180We introduce {\em online interactive proofs} (OIP), which are a hierarchy of communication complexity models that involve both randomness and nondeterminism (thus, they belong to the Arthur--Merlin family), but are {\em online} in the sense that the basic communication flows from Alice to Bob alone. The complexity classes defined by these OIP models form a natural hierarchy based on the number of rounds of interaction between verifier and prover. We give upper and lower bounds that (1) characterize every finite level of the OIP hierarchy in terms of previously-studied communication complexity classes, and (2) separate the first four levels of the hierarchy. These results show marked contrasts and some parallels with the classic Turing Machine theory of interactive proofs.
Our motivation for studying OIP is to address computational complexity questions arising from the growing body of work on data stream computation aided by a powerful but untrusted helper. By carefully defining our complexity classes, we identify implicit assumptions in earlier lower bound proofs. This in turn indicates how we can break the mold of existing protocols, thereby achieving dramatic improvements. In particular, we present two-round stream protocols with logarithmic complexity for several query problems, including the fundamental INDEX problem. This was thought to be impossible based on previous work. We also present a near-optimal, one-round stream protocol for counting triangles in a dynamic graph. Our protocols leverage classic algebraic techniques, including multilinear extensions, sum check, and arithmetization of Boolean formulas.Tue, 17 Dec 2013 07:45:10 +0200https://eccc.weizmann.ac.il/report/2013/180