ECCC-Report TR13-089https://eccc.weizmann.ac.il/report/2013/089Comments and Revisions published for TR13-089en-usTue, 18 Jun 2013 21:27:06 +0300
Revision 1
| On testing bent functions |
Abhishek Bhrushundi
https://eccc.weizmann.ac.il/report/2013/089#revision1A bent function is a Boolean function all of whose Fourier coefficients are equal in absolute value. These functions have been extensively studied in cryptography and play an important role in cryptanalysis and design of cryptographic systems.
We study bent functions in the framework of property testing. In particular, we show that testing whether a given Boolean function on $n$ variables is bent, or $\frac{1}{8}$-far from being bent, requires $\Omega(n^2)$ queries.
As an intermediate step in our proof, we show that the query complexity of testing if a given function is a quadratic bent function, or $\frac{1}{4}$-far from being so, is $\Theta(n^2)$. We remark that this problem is equivalent to testing affine-isomorphism to the inner product function.
Our proof exploits the recent connection between property testing and parity decision trees due to Chakraborty and Kulkarni. We believe our techniques might be useful in proving lower bounds for other properties of quadratic polynomials.
Tue, 18 Jun 2013 21:27:06 +0300https://eccc.weizmann.ac.il/report/2013/089#revision1
Paper TR13-089
| On testing bent functions |
Abhishek Bhrushundi
https://eccc.weizmann.ac.il/report/2013/089A bent function is a Boolean function all of whose Fourier coefficients are equal in absolute value. These functions have been extensively studied in cryptography and play an important role in cryptanalysis and design of cryptographic systems.
We study bent functions in the framework of property testing. In particular, we show that testing whether a given Boolean function on $n$ variables is bent, or $\frac{1}{8}$-far from being bent, requires $\Omega(n^2)$ queries.
As an intermediate step in our proof, we show that the query complexity of testing if a given function is a quadratic bent function, or $\frac{1}{4}$-far from being so, is $\Theta(n^2)$. We remark that this problem is equivalent to testing affine-isomorphism to the inner product function.
Our proof exploits the recent connection between property testing and parity decision trees due to Chakraborty and Kulkarni. We believe our techniques might be useful in proving lower bounds for other properties of quadratic polynomials.
Mon, 17 Jun 2013 21:43:01 +0300https://eccc.weizmann.ac.il/report/2013/089