A direct product theorem for one-way quantum communication

@article{Jain2020ADP,
  title={A direct product theorem for one-way quantum communication},
  author={Rahul Jain and Srijita Kundu},
  journal={Proceedings of the 36th Computational Complexity Conference},
  year={2020}
}
  • Rahul Jain, Srijita Kundu
  • Published 20 August 2020
  • Mathematics
  • Proceedings of the 36th Computational Complexity Conference
We prove a direct product theorem for the one-way entanglement-assisted quantum communication complexity of a general relation f⊆X×Y×Z. For any 0 < ε < δ < 1/2 and any k ≥ 1, we show that [EQUATION] where Q1ε(f) represents the one-way entanglement-assisted quantum communication complexity of f with worst-case error ε and fk denotes k parallel instances of f. As far as we are aware, this is the first direct product theorem for the quantum communication complexity of a general relation - direct… 
2 Citations

Figures from this paper

A direct product theorem for quantum communication complexity with applications to device-independent QKD
  • Rahul Jain, Srijita Kundu
  • Computer Science, Mathematics
    2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS)
  • 2022
TLDR
It is shown that it is possible to do device-independent quantum key distribution (DIQKD) without the assumption that devices do not leak any information after inputs are provided to them, and a direct product theorem is given for two-input functions or relations whose outputs are non-boolean as well.
Composably secure device-independent encryption with certified deletion.
TLDR
It is shown that it is possible to achieve this task even when the honest parties do not trust their quantum devices, and security for the ECD task is defined in a composable manner and the protocol satisfies conditions that lead to composable security.

References

SHOWING 1-10 OF 46 REFERENCES
Optimal Direct Sum and Privacy Trade-off Results for Quantum and Classical Communication Complexity
TLDR
A general notion of black-box reduction of prior entanglement that subsumes Newman's technique of reducing the number of public-coins in a classical protocol cannot be lifted to the quantum setting is defined and it is proved that such a black- box reduction is impossible for quantum protocols.
Prior entanglement, message compression and privacy in quantum communication
TLDR
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 Sum Theorem in Communication Complexity via Message Compression
TLDR
The main technical result is a 'compression' theorem saying that, for any probability distribution µ over the inputs, a k-round private coin bounded error protocol for a function f can be converted into aK-round deterministic protocol for f with bounded distributional error and communication cost O(kc).
A Hypercontractive Inequality for Matrix-Valued Functions with Applications to Quantum Computing and LDCs
TLDR
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.
Direct product theorems for classical communication complexity via subdistribution bounds: extended abstract
TLDR
The subdistribution bound is introduced, which is a relaxation of the well-studied rectangle or corruption bound in communication complexity, and it is shown that for the communication complexity of Boolean functions with constant error, the subdist distribution bound is the same as the latter measure, up to a constant factor.
A Direct Product Theorem for Two-Party Bounded-Round Public-Coin Communication Complexity
TLDR
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
TLDR
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.
Strong direct product theorems for quantum communication and query complexity
TLDR
This work proves that quantum communication complexity obeys an SDPT whenever the communication lower bound for a single instance is proved by the generalized discrepancy method, the strongest technique in that model.
A parallel repetition theorem for entangled projection games
TLDR
The “quantum correlated sampling lemma” generalizes results of van Dam and Hayden on universal embezzlement to the following approximate scenario: two non-communicating parties, given classical descriptions of bipartite states, are able to locally generate a joint entangled state.
Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems
TLDR
It is shown that, when the provers are allowed to coordinate their behavior using a shared entangled quantum state, a perfect parallel repetition theorem holds in the following sense: the prover’s optimal success probability for simultaneously playing a collection of XOR proof systems is exactly the product of the individual optimal success probabilities.
...
...