Idempotent Boolean Functions

• Idempotent Boolean functions are defined by their invariance under the Frobenius automorphism, linking field theory with rotation-symmetric functions.
• They are efficiently parametrized using orbit-based encoding, compressing the representation from 2^(2^n) to 2^N for practical enumeration and search methods.
• Their clone-theoretic structure and optimal nonlinearity properties in moderate dimensions make them crucial for cryptographic design and finite lattice operations.

Idempotent Boolean functions constitute a mathematically distinguished subclass of Boolean functions, characterized by invariance under the Frobenius automorphism $x \mapsto x^2$ over finite fields of characteristic $2$. Their algebraic structure links them to rotation-symmetric functions in certain bases, and they feature prominently in both clone theory for finite lattices and cryptographic design methodology due to their inherent algebraic constraints and symmetry properties (Carlet et al., 31 Jan 2026, Botur et al., 2018).

1. Algebraic Characterizations

Let $\F_2 = \{0,1\}$ denote the two-element field and $\F_{2^n}$ its extension field of order $2^n$. Boolean functions can be represented in two fundamental forms:

• Univariate (field-theoretic): $f : \F_{2^n} \to \F_2$
• Multivariate (vector): $F : \F_2^n \to \F_2$, identifying $\F_{2^n} \cong \F_2^n$ via a chosen basis

A function $f$ is idempotent if

$f(x^2) = f(x) \quad \forall x \in \F_{2^n}.$

The equivalent characterization in coordinate form involves a fixed $2$0–linear map $2$1 (squaring matrix in a polynomial basis), such that

$2$2

Alternatively, in a normal basis, the squaring operation is a cyclic rotation (left shift), so idempotence is equivalent to rotation symmetry: $2$3 with $2$4 as the coordinate left shift. Thus, the set of idempotent Boolean functions coincides with the set of Frobenius-invariant functions, and, in certain bases, with rotation-symmetric functions (Carlet et al., 31 Jan 2026).

2. Orbit Structure and Parametrization

The Frobenius map partitions $2$5 into orbits: $2$6 with $2$7 ensuring finiteness. By idempotence, $2$8 must be constant on each orbit. The total number of distinct orbits is

$2$9

Each idempotent Boolean function is fully determined by its values on orbits, i.e., a bit vector of length $\F_2 = \{0,1\}$0. This yields a compression of the representation compared to the general case of $\F_2 = \{0,1\}$1 functions, reducing the space to $\F_2 = \{0,1\}$2 functions (Carlet et al., 31 Jan 2026).

3. Clone-Theoretic Structure

Clone theory formalizes operations closed under composition and containing all projections. On a general finite lattice $\F_2 = \{0,1\}$3, an idempotent aggregation function $\F_2 = \{0,1\}$4 satisfies:

• Monotonicity: $\F_2 = \{0,1\}$5 is monotone in each coordinate,
• Boundary: $\F_2 = \{0,1\}$6 and $\F_2 = \{0,1\}$7,
• Diagonal idempotence: $\F_2 = \{0,1\}$8.

The set $\F_2 = \{0,1\}$9 of all such functions forms a clone and is generated by $\F_{2^n}$0, $\F_{2^n}$1, and a family of ternary operations $\F_{2^n}$2 defined by

$\F_{2^n}$3

In the Boolean lattice $\F_{2^n}$4, these operations reduce to just $\F_{2^n}$5 (the monotone clone $\F_{2^n}$6), as all ternary generators can be expressed using them (Botur et al., 2018).

4. Algorithmic Construction: Orbit-Based Evolution

Evolutionary algorithms (EAs) have been employed to search for highly nonlinear idempotent Boolean functions, especially in cryptographic design. Two principal encoding strategies are used:

• Full truth table: Bitstring of length $\F_{2^n}$7; enforcing idempotence requires penalizing non-conforming functions during search.
• Orbit-based encoding: Bitstring of length $\F_{2^n}$8 (number of orbits); any genome is valid by construction.

Standard EA operators (crossover, mutation) disrupt the required invariance in the full truth table setting, resulting in performance degradation unless strong repair mechanisms are used. Orbit-based encoding, by contrast, ensures idempotence inherently and allows efficient use of generic search operators. Empirically, this restriction sharply reduces genome size and leads to optimal or near-optimal nonlinearity for $\F_{2^n}$9, with a small gap for larger $2^n$0 due to increased search difficulty (Carlet et al., 31 Jan 2026).

Pseudocode Excerpts

Orbit enumeration:

$f$8

Decoding genotypes to truth tables:

$f$9 (Carlet et al., 31 Jan 2026)

5. Enumeration and Generating Sets

On the Boolean lattice, the idempotent Boolean functions correspond precisely to the monotone Boolean functions nonconstant at both boundaries. Their number for $2^n$1 variables is $2^n$2, with $2^n$3 the $2^n$4-th Dedekind number:

• $2^n$5: $2^n$6
• $2^n$7: $2^n$8
• $2^n$9: $f : \F_{2^n} \to \F_2$0
• $f : \F_{2^n} \to \F_2$1: $f : \F_{2^n} \to \F_2$2
• $f : \F_{2^n} \to \F_2$3: $f : \F_{2^n} \to \F_2$4
• $f : \F_{2^n} \to \F_2$5: $f : \F_{2^n} \to \F_2$6 (OEIS A000372).

Constructionally, all idempotent Boolean functions are generated by $f : \F_{2^n} \to \F_2$7 and $f : \F_{2^n} \to \F_2$8. For more general lattices, the inclusion of special ternary operations is essential for clone generation (Botur et al., 2018).

Setting	Generating Set	Cardinality
Boolean lattice $f : \F_{2^n} \to \F_2$9	$F : \F_2^n \to \F_2$0	$F : \F_2^n \to \F_2$1 functions
General finite lattice $F : \F_2^n \to \F_2$2	$F : \F_2^n \to \F_2$3	Finitary, via ternary generators

6. Cryptographic Properties and Nonlinearity

Nonlinearity is a core criterion for cryptographic Boolean function strength. For idempotent classes, the maximal nonlinearity for $F : \F_2^n \to \F_2$4 matches the general upper bound (bent functions exist); for $F : \F_2^n \to \F_2$5, a gap of a few units emerges:

• $F : \F_2^n \to \F_2$6 ($F : \F_2^n \to \F_2$7): $F : \F_2^n \to \F_2$8 (optimal)
• $F : \F_2^n \to \F_2$9 ($\F_{2^n} \cong \F_2^n$0): $\F_{2^n} \cong \F_2^n$1 (bent, optimal)
• $\F_{2^n} \cong \F_2^n$2 ($\F_{2^n} \cong \F_2^n$3): $\F_{2^n} \cong \F_2^n$4 (optimal)
• $\F_{2^n} \cong \F_2^n$5 ($\F_{2^n} \cong \F_2^n$6): $\F_{2^n} \cong \F_2^n$7 (bent, optimal)
• $\F_{2^n} \cong \F_2^n$8 ($\F_{2^n} \cong \F_2^n$9): $f$0 vs. bound $f$1
• $f$2 ($f$3): $f$4 vs. bound $f$5

This suggests that for moderate $f$6, the constraints of idempotence do not prohibit achieving cryptographically significant nonlinearity, but the evolutionary search faces growing combinatorial obstructions as $f$7 increases (Carlet et al., 31 Jan 2026).

7. Structural and Theoretical Insights

The study of idempotent Boolean functions reveals several salient theoretical features:

• Their algebraic invariance links field-theoretic and combinatorial symmetries, unifying rotation-symmetry and Frobenius-fixedness via basis choice.
• In the clone-theoretic setting, the idempotent Boolean functions exactly coincide with the monotone clone on the Boolean lattice, forming the generator set for all monotone operations.
• The Frobenius-orbit framework enables compact parametrization, essential for both theoretical enumeration and efficient evolutionary search.

A plausible implication is that algorithmic advances exploiting orbit structure, or hybridizing clone-theoretic generative steps with search-based paradigms, are necessary for scaling the construction of highly nonlinear idempotent functions beyond the smallest dimensions (Carlet et al., 31 Jan 2026, Botur et al., 2018).