A quantum algorithm to estimate the closeness to the Strict Avalanche criterion in Boolean functions

11/25/2022
by   C. A. Jothishwaran, et al.
0

We propose a quantum algorithm (in the form of a quantum oracle) that estimates the closeness of a given Boolean function to one that satisfies the “strict avalanche criterion” (SAC). This algorithm requires n queries of the Boolean function oracle, where n is the number of input variables, this is fewer than the queries required by the classical algorithm to perform the same task. We compare our approach with other quantum algorithms that may be used for estimating the closeness to SAC and it is shown our algorithm verifies SAC with the fewest possible calls to quantum oracle and requires the fewest samples for a given confidence bound.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/30/2020

A quantum algorithm to estimate the Gowers U_2 norm and linearity testing of Boolean functions

We propose a quantum algorithm to estimate the Gowers U_2 norm of a Bool...
research
10/22/2019

Quantum Weighted Model Counting

In Weighted Model Counting (WMC) we assign weights to Boolean literals a...
research
09/13/2011

On Validating Boolean Optimizers

Boolean optimization finds a wide range of application domains, that mot...
research
11/30/2017

Element Distinctness Revisited

The element distinctness problem is the problem of determining whether t...
research
03/08/2021

An extension of the avalanche criterion in the context of c-differentials

The Strict Avalanche Criterion (SAC) is a property of vectorial Boolean ...
research
01/25/2022

Basic Quantum Algorithms

Quantum computing is evolving so quickly that forces us to revisit, rewr...
research
02/19/2019

Error reduction of quantum algorithms

We give a technique to reduce the error probability of quantum algorithm...

Please sign up or login with your details

Forgot password? Click here to reset