Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
This paper investigates the impact of random input order on quantum streaming algorithms, introducing the concept of "replenishment" where later classical inputs can restore the utility of a depleted quantum state. The authors demonstrate a one-pass quantum algorithm for a Hidden Matching variant using polylogarithmic space in random order, contrasting it with polynomial space requirements for classical algorithms or quantum algorithms with pre-determined updates. They establish robust quantum lower bounds for matching problems, showing $Ω(r)$ qubits are necessary for $r$ independent matching requests, and extend these bounds to sequential requests and other graph problems under random order.
Random order in quantum streaming can drastically reduce memory requirements by enabling replenishment of quantum states, but fundamental space limitations persist for certain tasks.
How can random order change the role of quantum memory in streaming? Later classical input can restore the usefulness of a quantum state consumed by earlier queries. We call this replenishment. We construct an artificial problem based on Hidden Matching, with repeated coordinate data and online matching requests. It admits a one-pass quantum algorithm using polylogarithmic space in uniformly random order, but unconditionally requires polynomial space both classically in random order and quantumly when all updates precede the requests. To prove the quantum lower bound, we strengthen the consumability bounds of Gilboa, Jain, and McClean for Multiple Hidden Matching. Without prior entanglement, any quantum encoding supporting $r$ independent matching requests requires $Ω(r)$ qubits for $r\le N^{1/2-δ}$ and every fixed $δ\in(0,1/2)$, even with simultaneous revelation and arbitrary joint decoding. For sequential requests, the linear bound extends through $r=Θ(\sqrt N)$. We also adapt Kallaugher's triangle-counting algorithm to uniformly random streams in which every edge is repeated equally often. Rebuilding the quantum sketch and resampling the classical estimator improve its expected-space bound in suitable parameter regimes. Finally, we extend the robust Noisy Gap Cycle framework of Assadi and Sundaresan to quantum streaming. A quantum communication lower bound for Block Hidden XOR yields an $Ω(n)$ space lower bound in random edge order for large enough cycles, with consequences for several graph problems. Thus random order can enable replenishment of small quantum representations, while substantial space requirements persist for other tasks.