Abstract:In the BFA 2023 conference paper, A. Polujan, L. Mariot and S. Picek exhibited the first example of a non-normal but weakly normal bent function in dimension 8. In this note, we present numerical approaches based on the classification of Boolean spaces to explore in detail the normality of bent functions of 8 variables and we complete S. Dubuc s results for dimensions less or equal to 7. Based on our investigations, we show that all bent functions in 8 variables are normal or weakly normal. Finally, we conjecture that more generally all Boolean functions of degree at most 4 in 8 variables are normal or weakly normal.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the normality and weakly normality of Boolean functions (especially Boolean functions of 8 variables). Specifically, the authors are concerned with whether there exist Boolean functions that are neither normal nor weakly normal, namely the so - called "abnormal" Boolean functions.
### Main problems
1. **Does there exist a Boolean function that is neither normal nor weakly normal?**
- In particular, in the case of 8 variables, does there exist a Boolean function that is neither normal nor weakly normal?
2. **Complete the research on low - dimensional Boolean functions**:
- The authors hope to update and supplement the research results of S. Dubuc on low - dimensional Boolean functions in his doctoral thesis, especially the research on the normality of Boolean functions of 7 or fewer variables.
3. **Verify and extend existing conclusions**:
- Verify the example of non - normal but weakly normal Boolean quartic functions proposed by A. Polujan, L. Mariot and S. Picek at the BFA'2023 conference, and further explore the normality and weakly normality of Boolean functions of 8 variables.
### Specific objectives
- **Determine the normality and weakly normality of 8 - variable Boolean functions**:
- Prove that all 8 - variable Boolean functions are normal or weakly normal by numerical methods and classification techniques.
- **Propose a general conjecture**:
- Conjecture that all 8 - variable Boolean quartic functions are normal or weakly normal.
### Method overview
The authors used a method based on the classification of Boolean spaces, combined with the action of the affine general linear group, to study the relative degrees of Boolean functions. They also utilized recent classification results to analyze the maximum relative degrees of Boolean functions and verified some key conclusions by numerical calculations.
### Key formulas and concepts
- **Algebraic representation of Boolean functions**:
\[
f(x_1, x_2, \ldots, x_m)=\sum_{S \subseteq \{1, 2, \ldots, m\}} a_S X_S, \quad a_S \in \mathbb{F}_2, \quad X_S = \prod_{s \in S} x_s
\]
where \(a_S\) are coefficients and \(X_S\) is the product of variables.
- **Relative degree of Boolean functions**:
\[
\deg_{a + V}(f)=\deg(f_{a,V})
\]
where \(f_{a,V}\) is the restriction of the Boolean function \(f\) on the affine subspace \(V + a\).
- **Normality and weakly normality of Boolean functions**:
\[
\deg_{\lceil m/2 \rceil}(f)=
\begin{cases}
0 & \text{if } f \text{ is normal} \\
1 & \text{if } f \text{ is non - normal but weakly normal} \\
\geq 2 & \text{if } f \text{ is abnormal}
\end{cases}
\]
Through these methods and formulas, the authors concluded that all 8 - variable Boolean functions are normal or weakly normal and proposed a broader conjecture about Boolean quartic functions.