A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions

10/21/2022
by   Rajiv Krishnakumar, et al.
0

In this paper, we present Q# implementations for arbitrary single-variabled fixed-point arithmetic operations for a gate-based quantum computer based on lookup tables (LUTs). In general, this is an inefficent way of implementing a function since the number of inputs can be large or even infinite. However, if the input domain can be bounded and there can be some error tolerance in the output (both of which are often the case in practical use-cases), the quantum LUT implementation of certain quantum arithmetic functions can be more efficient than their corresponding reversible arithmetic implementations. We discuss the implementation of the LUT using Q# and its approximation errors. We then show examples of how to use the LUT to implement quantum arithmetic functions and compare the resources required for the implementation with the current state-of-the-art bespoke implementations of some commonly used arithmetic functions. The implementation of the LUT is designed for use by practitioners to use when implementing end-to-end quantum algorithms. In addition, given its well-defined approximation errors, the LUT implementation makes for a clear benchmark for evaluating the efficiency of bespoke quantum arithmetic circuits .

READ FULL TEXT
research
05/02/2023

Quantum Circuit Implementation and Resource Analysis of LBlock and LiCi

Due to Grover's algorithm, any exhaustive search attack of block ciphers...
research
05/01/2020

Quantum arithmetic operations based on quantum Fourier transform on signed integers

The quantum Fourier transform brings efficiency in many respects, especi...
research
01/29/2019

ReQWIRE: Reasoning about Reversible Quantum Circuits

Common quantum algorithms make heavy use of ancillae: scratch qubits tha...
research
12/09/2022

Digital quantum simulation of Schrödinger dynamics using adaptive approximations of potential functions

Digital quantum simulation (DQS) of continuous-variable quantum systems ...
research
07/04/2020

Avoiding Register Overflow in the Bakery Algorithm

Computer systems are designed to make resources available to users and u...
research
12/13/2017

Applying the Residue Number System to Network Inference

This work explores the lesser studied objective of optimizing the multip...
research
08/24/2020

Exact p-adic computation in Magma

We describe a new arithmetic system for the Magma computer algebra syste...

Please sign up or login with your details

Forgot password? Click here to reset