A quantum algorithm to approximate the linear structures of Boolean functions
Open Access
- 9 February 2016
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 28 (1) , 1-13
Abstract
A quantum algorithm to determine approximations of linear structures of Boolean functions is presented and analysed. Similar results have already been published (see Simon's algorithm) but only for some promise versions of the problem, and it has been shown that no exponential quantum speedup can be obtained for the general (no promise) version of the problem. In this paper, no additional promise assumptions are made. The approach presented is based on the method used in the Bernstein–Vazirani algorithm to identify linear Boolean functions and on ideas from Simon's period finding algorithm. A proper combination of these two approaches results here to a polynomial-time approximation to the linear structures set. Specifically, we show how the accuracy of the approximation with high probability changes according to the running time of the algorithm. Moreover, we show that the time required for the linear structure determine problem with high success probability is related to so called relative differential uniformityδfof a Boolean functionf. Smaller differential uniformity is, shorter time is needed.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Quantum algorithms for testing and learning Boolean functionsMathematical Structures in Computer Science, 2013
- Quantum Computation and Quantum InformationAmerican Journal of Physics, 2002
- Quantum amplitude amplification and estimation2002
- Quantum lower bounds by polynomialsJournal of the ACM, 2001
- Quantum algorithms revisitedProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 1998
- On the Power of Quantum ComputationSIAM Journal on Computing, 1997
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum ComputerSIAM Journal on Computing, 1997
- Algebraic nonlinearity and its applications to cryptographyJournal of Cryptology, 1994
- Rapid solution of problems by quantum computationProceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences, 1992
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963