Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR26-155 | 30th August 2026 15:55

Pseudodeterminism and MA != NP^BPP in Communication Complexity

RSS-Feed




Revision #1
Authors: Thomas Watson
Accepted on: 30th August 2026 15:55
Downloads: 107
Keywords: 


Abstract:

We prove an exponential separation between zero-sided-error randomized and two-sided-error pseudodeterministic communication complexities of partial boolean functions. This qualitatively improves and simplifies the proof of the separation by Göös, Harms, Riazanov, Sofronova, Sokolov, and Yuan (STOC 2026), which had a two-sided-error randomized upper bound. Then, we generalize our technique to separate the communication complexity analogues of MA and NP^BPP.



Changes to previous version:

Fixed the != sign in the title


Paper:

TR26-155 | 26th August 2026 02:47

Pseudodeterminism and MA ? NP^BPP in Communication Complexity





TR26-155
Authors: Thomas Watson
Publication: 30th August 2026 08:13
Downloads: 73
Keywords: 


Abstract:

We prove an exponential separation between zero-sided-error randomized and two-sided-error pseudodeterministic communication complexities of partial boolean functions. This qualitatively improves and simplifies the proof of the separation by Göös, Harms, Riazanov, Sofronova, Sokolov, and Yuan (STOC 2026), which had a two-sided-error randomized upper bound. Then, we generalize our technique to separate the communication complexity analogues of MA and NP^BPP.



ISSN 1433-8092 | Imprint