bibkey: carlet2022threshold authors: Claude Carlet; Pierrick Meaux year: 2022 title: “A Complete Study of Two Classes of Boolean Functions: Direct Sums of Monomials and Threshold Functions” doi: 10.1109/TIT.2021.3139804 claim: “This is a distinct Carlet–Méaux paper; its Lemma 2 content was not fully verified in this run and remains ASSUMED-UNVERIFIED.” strata_touched:

• D5/S3/ArithSums/A397434ThresholdAnf license: citation-only triage: anchor

Carlet–Méaux: direct sums and threshold functions

Carlet and Méaux’s A Complete Study of Two Classes of Boolean Functions: Direct Sums of Monomials and Threshold Functions is distinct from Méaux’s 2021 single-author paper On the Fast Algebraic Immunity of Threshold Functions. The DOI metadata identifies this work as a 2022 journal publication; the 2021 in its DOI is not the publication year of the distinct single-author paper.

ASSUMED-UNVERIFIED: the exact statement and proof of this paper’s Lemma 2 were not obtained in a complete, independently checkable full-text reading in this run. Its card is bibliographic context only and is not the provenance source for the Lean coefficient declaration.

The local Lean coefficient declaration is instead sourced to the separate Méaux 2021 card. The adjacent support-count classification is a repository derivation.

Locator

• DOI: https://doi.org/10.1109/TIT.2021.3139804