IDEM Enough? Evolving Highly Nonlinear Idempotent Boolean Functions

TL;DR

This work investigates evolutionary methods for constructing highly nonlinear idempotent Boolean functions for dimensions $n=5 up to $n=12$ using a polynomial basis representation with canonical primitive polynomials and shows that idempotence can be enforced by encoding the truth table on orbits.

Abstract

Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These functions are attractive as candidates for cryptographic design, yet their additional algebraic constraints make the search for high nonlinearity substantially more difficult than in the unconstrained case. In this work, we investigate evolutionary methods for constructing highly nonlinear idempotent Boolean functions for dimensions $n=5$ up to $n=12$ using a polynomial basis representation with canonical primitive polynomials. Our results show that the problem of evolving idempotent functions is difficult due to the disruptive nature of crossover and mutation operators. Next, we show that idempotence can be enforced by encoding the truth table on orbits, yielding a compact genome of size equal to the number of distinct squaring orbits.

Figures (6)

• Figure 1: Comparison for $n = 7$ variables
• Figure 2: Comparison for $n = 8$ variables
• Figure 3: Comparison for $n = 9$ variables
• Figure 4: Comparison for $n = 10$ variables
• Figure 5: Comparison for $n = 11$ variables