The Exact Weight Spectrum of (m-7,m): A Counterexample to the Carlet-Solé Conjecture

Boolean functions are widely used in cryptography and coding theory. A key challenge lies in finding the weight spectrum for all n-variable Boolean functions of degree at most r, also known as the Reed--Muller code (r,n). In 2023, Carlet and Solé determined the weight spectra of (n-c,n) for $c=3,4$, and conjectured the weight spectrum of (n-c, n) for n≥2c. The weight spectra of (n-5, n) and (n-6,n) were determined by Carlet in 2024 and by Lou and Wang in 2025, respectively, confirming the Carlet-Solé conjecture for the cases $c=5,6$. Very recently, Leuenberger et al. and Wei et al. investigated the weight spectrum of (7,14) independently, and there are eight potential weights which have not been determined. Up until now, the weight spectra of the Reed--Muller codes $RM(r,n)$ are still unknown for $r=3,...,n-7$. In this paper, we determine the exact weight spectrum of (m-7, m) for every m≥ 14. By combining affine geometry and Fourier analysis, we exclude the conjectured eight weights for (7,14). We then extend the exclusions to all higher dimensions using a geometric transfer. Consequently, we provide a counterexample to the Carlet-Solé conjecture.