Paper 2018/284

Hadamard Matrices, $d$-Linearly Independent Sets and Correlation-Immune Boolean Functions with Minimum Hamming Weights

Qichun Wang

Abstract

It is known that correlation-immune (CI) Boolean functions used in the framework of side channel attacks need to have low Hamming weights. In 2013, Bhasin et al. studied the minimum Hamming weight of $d$-CI Boolean functions, and presented an open problem: the minimal weight of a $d$-CI function in $n$ variables might not increase with $n$. Very recently, Carlet and Chen proposed some constructions of low-weight CI functions, and gave a conjecture on the minimum Hamming weight of $3$-CI functions in $n$ variables. In this paper, we determine the values of the minimum Hamming weights of $$-CI Boolean functions in $$ variables for infinitely many $$'s and give a negative answer to the open problem proposed by Bhasin et al. We then present a method to construct minimum-weight 2-CI functions through Hadamard matrices, which can provide all minimum-weight 2-CI functions in $$ variables. Furthermore, we prove that the Carlet-Chen conjecture is equivalent to the famous Hadamard conjecture. Most notably, we propose an efficient method to construct low-weight $$-variable CI functions through $$-linearly independent sets, which can provide numerous minimum-weight $$-CI functions. Particularly, we obtain some new values of the minimum Hamming weights of $$-CI functions in $$ variables for $$. We conjecture that the functions constructed by us are of the minimum Hamming weights if the sets are of absolute maximum $$-linearly independent. If our conjecture holds, then all the values for $$ and most values for general $$ are determined.