# Communication Complexity of Collision

@inproceedings{Gs2022CommunicationCO,
title={Communication Complexity of Collision},
author={Mika G{\"o}{\"o}s and Siddhartha Jain},
booktitle={Electron. Colloquium Comput. Complex.},
year={2022}
}
• Published in
Electron. Colloquium Comput…
29 July 2022
• Mathematics
The Collision problem is to decide whether a given list of numbers ( x 1 , . . . , x n ) ∈ [ n ] n is 1-to-1 or 2-to-1 when promised one of them is the case. We show an n Ω(1) randomised communication lower bound for the natural two-party version of Collision where Alice holds the first half of the bits of each x i and Bob holds the second half. As an application, we also show a similar lower bound for a weak bit-pigeonhole search problem, which answers a question of Itsykson and Riazanov ( CCC…

## References

SHOWING 1-10 OF 26 REFERENCES

A lower bound of Ω(n1/5) is shown on the number of queries needed by a quantum computer to solve the problem of deciding whether two sets are equal or disjoint on a constant fraction of elements.
• S. Kutin
• Mathematics, Computer Science
Theory Comput.
• 2005
A modified version of Aaronson and Shi's quantum lower bound for the r-to-one collision problem that removes a restriction that applies only when the range has size at least 3n/2.
• Yaoyun Shi
• Computer Science
The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.
• 2002
It is proved that any quantum algorithm for finding a collision in an r-to-one function must evaluate the function /spl Omega/ ((n/r)/sup 1/3/) times, where n is the size of the domain and r|n.
We show that any quantum algorithm to decide whether a function f : [n] → [n] is a permutation or far from a permutation must make Ω (n1/3/w) queries to f, even if the algorithm is given a w-qubit
• Computer Science, Mathematics
SIGA
• 1997
A quantum algorithm that finds collisions in arbitrary functions after only O(3&radic;N/&tau;) expected evaluations of the function, more efficient than the best possible classical algorithm, even allowing probabilism.
It is shown that any error-bounded quantum query algorithm that solves the set equality problem must evaluate oracles $$\Omega(\sqrt[5]{\frac{n}{\ln n}})$$ times, where n=|A|=|B|.
• Computer Science, Mathematics
Electron. Colloquium Comput. Complex.
• 2020
The result implies that the bit pigeonhole requires exponential tree-like Th( k) proofs, where Th(k) is the semantic proof system operating with polynomial inequalities of degree at most k and k = O(log1--ϵ n) for some ϵ > 0.
• Computer Science
Quantum Inf. Comput.
• 2004
The criterion that an algorithm width requires O(S) hardware to be considered significant if it produces a speedup of better than O(√S) over asimple quantum search algorithm is proposed.
• S. Aaronson
• Computer Science, Mathematics
Electron. Colloquium Comput. Complex.
• 2018
The complexity of approximate counting, the problem of multiplicatively estimating the size of a nonempty set S ⊆ [N], is resolved in two natural generalizations of quantum query complexity.
• Computer Science
IEEE Transactions on Information Theory
• 2011
It is shown that the L-distance ∥p-q∥<sub>1</sub> can be estimated with a constant precision using only O(N-1/2) queries in the quantum settings, whereas classical computers need Ω(N<sup>1-o</sup>(1)) queries.