Abstract: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.

Some notes on the pseudorandomness of Legendre symbol and Liouville function

On the Liouville function at polynomial arguments

New error bounds for Legendre approximations of differentiable functions

New bound on small range sum polynomials of degree

On the central value of Rankin $L$-functions for self-dual algebraic representations of linear groups over totally real fields

Sign uncertainty principles and low-degree polynomials

On $p$-adic $L$-functions for symplectic representations of GL(N) over number fields

Legendre Symbol of $\prod f(i,j) $ over $ 0<i<j<p/2, \ p\nmid f(i,j) $

A note on images of Galois representations (with an application to a result of Litt)

Values of Random Polynomials at Integer Points

Irreducibility of Littlewood polynomials of special degrees

Capacity of Lorentzian polynomials and distance to binomial distributions

On Wirsing's problem in small exact degree

On the Linear Complexity of Legendre Sequences over Fq

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Probabilistic estimation of the algebraic degree of Boolean functions

An effective version of Fekete's theorem

Pseudorandom binary sequences: quality measures and number-theoretic constructions

$L^p$-bounds for eigenfunctions of analytic non-self-adjoint operators with double characteristics

Bilinear Kloosterman sums in function fields and the distribution of irreducible polynomials

A Degree Bound for Planar Functions