A direct product theorem for quantum communication complexity with applications to device-independent QKD

  title={A direct product theorem for quantum communication complexity with applications to device-independent QKD},
  author={Rahul Jain and Srijita Kundu},
  journal={2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)},
  • Rahul Jain, Srijita Kundu
  • Published 8 June 2021
  • Computer Science, Mathematics
  • 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)
We give a direct product theorem for the entanglement-assisted interactive quantum communication complexity in terms of the quantum partition bound for product distributions. The quantum partition or efficiency bound is a lower bound on communication complexity, a non-distributional version of which was introduced by Laplante, Lerays and Roland (2012). For a two-input boolean function, the best result for interactive quantum communication complexity known previously was due to Sherstov (2018… 

Security of device-independent quantum key distribution protocols: a review

This review will provide an introduction to DI-QKD, an overview of the related experiments performed, and the theory and techniques required to analyse its security, and concludes with an outlook on future DI- QKD research.

Quantum secure non-malleable-extractors

This work constructs several explicit quantum secure non-malleable-extractors based on the constructions by Chattopadhyay, Goyal and Li [CGL20] and Cohen [Coh15], and constructs the first explicit Quantum Secure Non-Malleable Extractor for (source) minentropy k ≥ poly.



A direct product theorem for one-way quantum communication

The techniques are inspired by the parallel repetition theorems for the entangled value of two-player non-local games, under product distributions due to Jain, Pereszlenyi and Yao, and under anchored distribution due to Bavarian, Vidick and Yuen, as well as message-compression for quantum protocols.

Classical and Quantum Partition Bound and Detector Inefficiency

For one- way communication, it is shown that the quantum one-way partition bound is tight for classical communication with shared entanglement up to arbitrarily small error.

A Hypercontractive Inequality for Matrix-Valued Functions with Applications to Quantum Computing and LDCs

This paper analyzes maps that encode n classical bits into m qubits, in such a way that each set of k bits can be recovered with some probability by an appropriate measurement on the quantum encoding and proves that error-correcting codes that are locally decodable with 2 queries require length exponential in the length of the encoded string.

Prior entanglement, message compression and privacy in quantum communication

It is shown that the first message of P can be compressed to 0(k) classical bits using prior entanglement if it carries at most k bits of information about the sender's input, which implies a general direct sum result for one-round and simultaneous quantum protocols.

A Direct Product Theorem for Two-Party Bounded-Round Public-Coin Communication Complexity

A direct product theorem for the communication complexity of any complete relation in this model of two-party bounded-round public-coin randomized communication complexity is shown and can be considered as an important progress towards settling the strong direct product conjecture for two- party public-coins communication complexity.

Quantum and classical strong direct product theorems and optimal time-space tradeoffs

Theorems for the classical as well as quantum query complexity of the OR function are established, which imply a time-space tradeoff T/sup 2/S = /spl Omega/(N/sup 3/) for sorting N items on a quantum computer, which is optimal up to polylog factors.

The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version

This work shows a separation between the communication complexity of k and k - 1 round bounded error quantum protocols, for all k < O((m/log2 m)1/5), where m is the size of the inputs to Alice and Bob.

A Direct Product Theorem for Discrepancy

This work shows an optimal product theorem for discrepancy, namely that for any two Boolean functions f, g, disc(f odot g)=thetas(disc(f) disc(g)).

Informationally restricted quantum correlations

It is shown that quantum communication carrying $\log d$ bits of information is at least as strong a resource as $d$-dimensional classical communication assisted by pre-shared entanglement, and limiting information rather than dimension leads to stronger quantum correlations.

Quantum Measurement Adversary

qm-adv is the strongest adversary among all the known adversaries, in the sense that the side-information of all other adversaries can be generated by qm-Adv.