Tata Institute of Fundamental Research
On Testing Bent Functions
Seminar
Speaker:
Abhishek Bhrushundi (Chennai Mathematical Institute
H1, SIPCOT
IT Park
Siruseri
Chennai)
Organiser:
Prahladh Harsha
Date:
Monday, 5 Aug 2013, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
(Scan to add to calendar)
Abstract:
A 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.
| Speaker: | Abhishek Bhrushundi (Chennai Mathematical Institute H1, SIPCOT IT Park Siruseri Chennai) |
| Organiser: | Prahladh Harsha |
| Date: | Monday, 5 Aug 2013, 16:00 to 17:00 |
| Venue: | A-212 (STCS Seminar Room) |
(Scan to add to calendar)
Abstract:
A 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.