Trade-offs between Entanglement and Communication

Jun 1, 2023
37 pages
e-Print:

Citations per year

0 Citations
Abstract: (arXiv)
We study the advantages of quantum communication models over classical communication models that are equipped with a limited number of qubits of entanglement. In this direction, we give explicit partial functions on nn bits for which reducing the entanglement increases the classical communication complexity exponentially. Our separations are as follows. For every k1k\ge 1: QQ\|^* versus R2R2^*: We show that quantum simultaneous protocols with Θ~(k5log3n)\tilde{\Theta}(k^5 \log^3 n) qubits of entanglement can exponentially outperform two-way randomized protocols with O(k)O(k) qubits of entanglement. This resolves an open problem from [Gav08] and improves the state-of-the-art separations between quantum simultaneous protocols with entanglement and two-way randomized protocols without entanglement [Gav19, GRT22]. RR\|^* versus QQ\|^*: We show that classical simultaneous protocols with Θ~(klogn)\tilde{\Theta}(k \log n) qubits of entanglement can exponentially outperform quantum simultaneous protocols with O(k)O(k) qubits of entanglement, resolving an open question from [GKRW06, Gav19]. The best result prior to our work was a relational separation against protocols without entanglement [GKRW06]. RR\|^* versus R1R1^*: We show that classical simultaneous protocols with Θ~(klogn)\tilde{\Theta}(k\log n) qubits of entanglement can exponentially outperform randomized one-way protocols with O(k)O(k) qubits of entanglement. Prior to our work, only a relational separation was known [Gav08].
  • qubit
  • entanglement
  • quantum communication
  • [AA15]
    Scott Aaronson and Andris Ambainis. Forrelation: A problem that optimally separates quantum from classical computing. In Proceedings of the forty-seventh annual ACM symposium on Theory of computing, pages 307-316
  • [Aar10]
    Scott Aaronson. BQP and the polynomial hierarchy. In Proceedings of the forty-second ACM symposium on Theory of computing, pages 141-150
  • [BBM12]
    Eric Blais, Joshua Brody, and Kevin Matulef. Property testing lower bounds via communication complexity. computational
      • Complexity 21 (2012) 311-358
  • [BCW98]
    Harry Buhrman, Richard Cleve, and Avi Wigderson. Quantum vs. classical communication and computation. In Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 63-68
  • [BJK08]
    Ziv Bar-Yossef
    • Thathachar S. Jayram
      • SIAM J.Comput. 38 (2008) 366-384
  • [BRSW11]
    Harry Buhrman, Oded Regev, Giannicola Scarpa, and Ronald de Wolf. Near-optimal and explicit bell inequality violations. In
  • [BRW08]
    Avraham Ben-Aroya, Oded Regev, and Ronald
    • de Wolf. A
  • [BRW08]
    Avraham Ben-Aroya, Oded Regev, and Ronald
    • de Wolf. A
  • [BS21]
    Nikhil Bansal and Makrand Sinha. k-forrelation optimally separates quantum and classical query complexity. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 1303-1316
  • [CH19]
    Matthew Coudron and Aram W. Harrow. Universality of EPR pairs in entanglementassisted communication complexity, and the communication cost of state conversion. In 34th Computational Complexity Conference, CCC, July 18-20,, New Brunswick, NJ, USA, volume 137 of LIPIcs, pages 20:1-20:25
  • [FMP+15]
    Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, and Ronald de Wolf. Exponential lower bounds for polytopes in combinatorial optimization. Journal of the ACM (JACM), 62(2):1-23
  • [Gav08]
  • [Gav09]
    Dmytro Gavinsky. Classical interaction cannot replace quantum nonlocality
  • [Gav19]
    Dmitry Gavinsky. Quantum versus classical simultaneity in communication complexity
      • IEEE Trans.Info.Theor. 65 (2019) 6466-6483
  • [Gav20]
    Dmitry Gavinsky. Bare quantum simultaneity versus classical interactivity in communication complexity. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 401-411
  • [GKdW06]
    Dmytro Gavinsky, Julia Kempe, and Ronald de Wolf. Strengths and weaknesses of quantum fingerprinting
  • [GKK+07]
    Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, Ran Raz, and Ronald de Wolf. Exponential separations for one-way quantum communication complexity, with applications to cryptography. In Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, pages 516-525
  • [GKRW06]
    Dmitry Gavinsky, Julia Kempe, Oded Regev, and Ronald de Wolf. Bounded-error quantum state identification and exponential separations in communication complexity. In Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing, pages 594-603
  • [GRT22]
    Uma Girish, Ran Raz, and Avishay Tal. Quantum versus randomized communication complexity, with efficient players. computational
      • Complexity 31 (2022) 17
  • [GRZ21]
    Uma Girish, Ran Raz, and Wei Zhan. Lower bounds for XOR of forrelations. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM, volume 207 of LIPIcs, pages 52:1-52:14
  • [HHL18]
    Hamed Hatami, Kaave Hosseini, and Shachar Lovett. Structure of protocols for XOR functions
      • SIAM J.Comput. 47 (2018) 208-217
  • [HN12]
    Trinh Huynh and Jakob Nordstrom. On the virtue of succinct proofs: Amplifying communication complexity hardness to time-space trade-offs in proof complexity. In Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pages 233-248
  • [JKN07]
    Rahul Jain, Hartmut Klauck, and Ashwin Nayak. Direct product theorems for communication complexity via subdistribution bounds. In Proceedings of the 40th Annual ACM Symposium on Theory of Computing, pages 599-608
  • [JRS05]
    Rahul Jain, Jaikumar Radhakrishnan, and Pranab Sen. Prior entanglement, message compression and privacy in quantum communication. In 20th Annual