arXiv:2108.03954

Efficient Verification of Boson Sampling Using a Quantum Computer

Sritam Kumar Satpathy, Vallabh Vibhu, Sudev Pradhan, Bikash K. Behera, Prasanta Kumar Panigrahi

Published Aug 9, 2021• 0 citations

Abstract

Boson sampling is a sub-universal model used to show quantum speed-up. However, the methods of validation to prove quantum speedup are not robust and accurate. All verification methods involve additional or little studied assumptions. Here, we use the protocols given in the paper [arXiv:2006.03520] to construct a boson sampling experiment using discrete quantum states on IBM quantum computer and verify the fidelity of the output states using heterodyne detection. We demonstrate the protocols for single mode fidelity estimation, multi mode fidelity estimation and a verification protocol using IBMQ "athens" chip. Moreover, we illustrate the use of this verification protocol in the quantum key distribution (QKD) process for estimating the fidelity of different types of encoding-decoding basis. This shows that the verification protocols can be used to enable efficient and reliable certification of highly entangled multi-particle states.

DOI: 10.48550/arxiv.2108.03954

Related papers

Efficient verification of Boson Sampling

Ulysse Chabaud, Frédéric Grosshans, Elham Kashefi +1 more

The demonstration of quantum speedup, also known as quantum computational supremacy, that is the ability of quantum computers to outperform dramatically their classical counterparts, is an important milestone in the field of quantum computing. While quantum speedup experiments are gradually escaping the regime of classical simulation, they still lack efficient verification protocols and rely on partial validation. Here we derive an efficient protocol for verifying with single-mode Gaussian measurements the output states of a large class of continuous-variable quantum circuits demonstrating quantum speedup, including Boson Sampling experiments, thus enabling a convincing demonstration of quantum speedup with photonic computing. Beyond the quantum speedup milestone, our results also enable the efficient and reliable certification of a large class of intractable continuous-variable multimode quantum states.

arXiv:2006.03520QuantumNov 15, 202137 citations

An efficient quantum state verification framework and its application to bosonic systems

Varun Upreti, Ulysse Chabaud

Modern quantum devices are highly susceptible to errors, making the verification of their correct operation a critical problem. Usual tomographic methods rapidly become intractable as these devices are scaled up. In this paper, we introduce a general framework for the efficient verification of large quantum systems. Our framework combines robust fidelity witnesses with efficient classical post-processing to implement measurement back-propagation. We demonstrate its usefulness by focusing on the verification of bosonic quantum systems, and developing efficient verification protocols for large classes of target states using the two most common types of Gaussian measurements: homodyne and heterodyne detection. Our protocols are semi-device independent, designed to function with minimal assumptions about the quantum device being tested, and offer practical improvements over previous existing approaches. Overall, our work introduces efficient methods for verifying the correct preparation of complex quantum states, and may be used for calibrating large quantum devices, witnessing quantum properties, supporting demonstrations of quantum computational speedups and enhancing trust in quantum computations.

arXiv:2411.04688Nov 7, 20240 citations

Efficient verification of bosonic quantum channels via benchmarking

Ya-Dong Wu, Barry C. Sanders

Abstract We aim to devise feasible, efficient verification schemes for bosonic channels. To this end, we construct an average-fidelity witness that yields a tight lower bound for average fidelity plus a general framework for verifying optimal quantum channels. For both multi-mode unitary Gaussian channels and single-mode amplification channels, we present experimentally feasible average-fidelity witnesses and reliable verification schemes, for which sample complexity scales polynomially with respect to all channel specification parameters. Our verification scheme provides an approach to benchmark the performance of bosonic channels on a set of Gaussian-distributed coherent states by employing only two-mode squeezed vacuum states and local homodyne detections. Our results demonstrate how to perform feasible tests of quantum components designed for continuous-variable quantum information processing.

arXiv:1904.10682New Journal of PhysicsJun 27, 201910 citations

Boson Sampling with Gaussian input states: efficient scaling and certification.

Raphael A. Abrahão, Austin P. Lund

A universal quantum computer of moderate scale is not available yet, however intermediate models of quantum computation would still permit demonstrations of a quantum computational advantage over classical computing and could challenge the Extended Church-Turing Thesis. One of these models based on single photons interacting via linear optics is called Boson Sampling. Although Boson Sampling was demonstrated and the threshold to claim quantum computational advantage was achieved, the question on how to scale up Boson Sampling experiments remains. To make progress with this problem, here we present a practically achievable pathway to scale Boson Sampling experiments with current technologies by combining continuous-variables quantum information and temporal encoding. We propose the use of switchable dual-homodyne and single-photon detections, the temporal loop technique and scattershot based Boson Sampling. This proposal gives details as to what the required assumptions are and a pathway for scaling Boson Sampling experiments. Furthermore, this particular combination of techniques permits a single efficient implementation of Boson Sampling and efficient certification in a single experimental setup.

Nov 29, 20210 citations

Boson Sampling with efficient scaling and efficient verification

Raphael A. Abrahão, Austin P. Lund

A universal quantum computer of moderate scale is not available yet, however intermediate models of quantum computation would still permit demonstrations of a quantum computational advantage over classical computing and could challenge the Extended Church-Turing Thesis. One of these models based on single photons interacting via linear optics is called Boson Sampling. Proof-of-principle Boson Sampling has been demonstrated, but the number of photons used for these demonstrations is below the level required to claim quantum computational advantage. To make progress with this problem, here we conclude that the most practically achievable pathway to scale Boson Sampling experiments with current technologies is by combining continuous-variables quantum information and temporal encoding. We propose the use of switchable dual-homodyne and single-photon detections, the temporal loop technique and scattershot based Boson Sampling. This proposal gives details as to what the required assumptions are and a pathway for a quantum optical demonstration of quantum computational advantage. Furthermore, this particular combination of techniques permits a single efficient implementation of Boson Sampling and efficient verification in a single experimental setup.

Dec 21, 20181 citation

Continuous-Variables Boson Sampling: Scaling and Verification

Raphael A. Abrahão, Austin P. Lund

A universal quantum computer of moderate scale is not available yet, however intermediate models of quantum computation would still permit demonstrations of a quantum computational advantage over classical computing and could challenge the Extended Church-Turing Thesis. One of these models based on single photons interacting via linear optics is called Boson Sampling. Proof-of-principle Boson Sampling has been demonstrated, but the number of photons used for these demonstrations is below the level required to claim quantum computational advantage. To make progress with this problem, here we conclude that the most practically achievable pathway to scale Boson Sampling experiments with current technologies is by combining continuous-variables quantum information and temporal encoding. We propose the use of switchable dual-homodyne and single-photon detections, the temporal loop technique and scattershot based Boson Sampling. This proposal gives details as to what the required assumptions are and a pathway for a quantum optical demonstration of quantum computational advantage. Furthermore, this particular combination of techniques permits a single efficient implementation of Boson Sampling and efficient verification in a single experimental setup.

Dec 21, 20183 citations