How to Design a Quantum Streaming Algorithm Without Knowing Anything About Quantum Computing
- URL: http://arxiv.org/abs/2410.18922v1
- Date: Thu, 24 Oct 2024 17:11:37 GMT
- Title: How to Design a Quantum Streaming Algorithm Without Knowing Anything About Quantum Computing
- Authors: John Kallaugher, Ojas Parekh, Nadezhda Voronova,
- Abstract summary: We show that advantages in space complexity are possible for quantum algorithms over their classical counterparts in the streaming model.
We give a simple quantum sketch that encompasses all these results, allowing them to be derived from entirely classical algorithms using our quantum sketch as a black box.
- Score: 0.2184775414778289
- License:
- Abstract: A series of work [GKK+08, Kal22, KPV24] has shown that asymptotic advantages in space complexity are possible for quantum algorithms over their classical counterparts in the streaming model. We give a simple quantum sketch that encompasses all these results, allowing them to be derived from entirely classical algorithms using our quantum sketch as a black box. The quantum sketch and its proof of correctness are designed to be accessible to a reader with no background in quantum computation, relying on only a small number of self-contained quantum postulates.
Related papers
- Quantum decoherence from complex saddle points [0.0]
Quantum decoherence is the effect that bridges quantum physics to classical physics.
We present some first-principle calculations in the Caldeira-Leggett model.
We also discuss how to extend our work to general models by Monte Carlo calculations.
arXiv Detail & Related papers (2024-08-29T15:35:25Z) - Lecture Notes on Quantum Algorithms in Open Quantum Systems [0.0]
These lecture notes aim to provide a clear and comprehensive introduction to using open quantum system theory for quantum algorithms.
The main arguments are Variational Quantum Algorithms, Quantum Error Correction, Dynamical Decoupling and Quantum Error Mitigation.
arXiv Detail & Related papers (2024-06-17T15:00:25Z) - Limitations of Noisy Quantum Devices in Computational and Entangling
Power [5.178527492542246]
We show that noisy quantum devices with a circuit depth of more than $O(log n)$ provide no advantages in any quantum algorithms.
We also study the maximal entanglement that noisy quantum devices can produce under one- and two-dimensional qubit connections.
arXiv Detail & Related papers (2023-06-05T12:29:55Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical.
We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more.
Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
arXiv Detail & Related papers (2023-03-02T14:18:17Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
We study the problem of designing worst-case to average-case reductions for quantum algorithms.
We provide an explicit and efficient transformation of quantum algorithms that are only correct on a small fraction of their inputs into ones that are correct on all inputs.
arXiv Detail & Related papers (2022-12-06T22:01:49Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vazirani algorithm allows one to determine a bit string encoded into an oracle.
We analyze in detail the quantum resources in the Bernstein-Vazirani algorithm.
We show that in the absence of entanglement, the performance of the algorithm is directly related to the amount of quantum coherence in the initial state.
arXiv Detail & Related papers (2022-05-26T20:32:36Z) - Depth-efficient proofs of quantumness [77.34726150561087]
A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify quantum advantage of an untrusted prover.
In this paper, we give two proof of quantumness constructions in which the prover need only perform constant-depth quantum circuits.
arXiv Detail & Related papers (2021-07-05T17:45:41Z) - Quantum walk processes in quantum devices [55.41644538483948]
We study how to represent quantum walk on a graph as a quantum circuit.
Our approach paves way for the efficient implementation of quantum walks algorithms on quantum computers.
arXiv Detail & Related papers (2020-12-28T18:04:16Z) - Quantum information spreading in a disordered quantum walk [50.591267188664666]
We design a quantum probing protocol using Quantum Walks to investigate the Quantum Information spreading pattern.
We focus on the coherent static and dynamic disorder to investigate anomalous and classical transport.
Our results show that a Quantum Walk can be considered as a readout device of information about defects and perturbations occurring in complex networks.
arXiv Detail & Related papers (2020-10-20T20:03:19Z) - Quantum supremacy in driven quantum many-body systems [0.0]
We show that quantum supremacy can be obtained in generic periodically-driven quantum many-body systems.
Our proposal opens the way for a large class of quantum platforms to demonstrate and benchmark quantum supremacy.
arXiv Detail & Related papers (2020-02-27T07:20:15Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.