Probabilistic estimation of the algebraic degree of Boolean functions

06/21/2023
by   Ana Salagean, et al.
0

The algebraic degree is an important parameter of Boolean functions used in cryptography. When a function in a large number of variables is not given explicitly in algebraic normal form, it might not be feasible to compute its degree. Instead, one can try to estimate the degree using probabilistic tests. We propose a probabilistic test for deciding whether the algebraic degree of a Boolean function f is below a certain value k. The test involves picking an affine space of dimension k and testing whether the values on f on that space sum up to zero. If deg(f)<k, then f will always pass the test, otherwise it will sometimes pass and sometimes fail the test, depending on which affine space was chosen. The probability of failing the proposed test is closely related to the number of monomials of degree k in a polynomial g, averaged over all the polynomials g which are affine equivalent to f. We initiate the study of the probability of failing the proposed “deg(f)<k” test. We show that in the particular case when the degree of f is actually equal to k, the probability will be in the interval (0.288788, 0.5], and therefore a small number of runs of the test is sufficient to give, with very high probability, the correct answer. Exact values of this probability for all the polynomials in 8 variables were computed using the representatives listed by Hou and by Langevin and Leander.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/05/2018

On the Probabilistic Degree of OR over the Reals

We study the probabilistic degree over reals of the OR function on n var...
research
12/24/2019

Computing the Number of Affine Equivalence Classes of Boolean Functions modulo Functions of Different Degrees

Affine equivalence classes of Boolean functions has many applications in...
research
07/01/2020

A Method for Fast Computing the Algebraic Degree of Boolean Functions

The algebraic degree of Boolean functions (or vectorial Boolean function...
research
03/28/2020

On the inverses of Kasami and Bracken-Leander exponents

We explicitly determine the binary representation of the inverse of all ...
research
09/10/2018

Unicyclic Strong Permutations

For positive integers n and k such that 0≤ k≤ n-1, we study some propert...
research
05/21/2019

Fast Computing the Algebraic Degree of Boolean Functions

Here we consider an approach for fast computing the algebraic degree of ...
research
11/17/2022

Approaching the Soundness Barrier: A Near Optimal Analysis of the Cube versus Cube Test

The Cube versus Cube test is a variant of the well-known Plane versus Pl...

Please sign up or login with your details

Forgot password? Click here to reset