好的，作为学术专家和期刊评审专家，我将严格按照您的要求，对这篇题为《Decomposing plateaued functions》的论文进行专业的解读与分析。 中文标题 s-平台函数的2-分解与4-分解及其在非Maiorana-McFarland类Bent函数设计中的应用

《Discrete Applied Mathematics》：Decomposing plateaued functions

　　

专业翻译 本文提出了首个用于分解s-平台函数(s-plateaued functions) f ∈ Bn的系统性方法。众所周知，Bent函数可以分解为两个（不相交谱的）半Bent函数(semi-bent functions)，而其4-分解（即 f = f1||f2||f3||f4）恰好产生三种情况。然而，对于定义在F2n上、谱值为Wf(a) ∈ {0, ±2(n+s)/2}的s-平台函数，其情形则完全不同。研究人员提供了任意s-平台函数的2-分解和4-分解的完整刻画。在后一种情况下，子函数fi的Walsh谱值属于{0, ±2p-2, ±2p-1, ±3·2p-2, ±2p}，其中 p = (n+s)/2。这意味着限制子函数fi最多可以有9种不同的谱值，这一点也通过指定一个GMM类中的半Bent函数f(x,y)=x·φ(y)+h(y)具有此类4-分解的例子得到了证明。与Bent函数相比，混合型4-分解（即fi不属于同一类型）是可行的，这展示了更多样化的场景。研究人员还提供了当子函数fi属于GMM类时，设计s-平台函数的充分必要条件。特别地，当φi是2t-to-1的非单射映射时，研究人员证明了f=f1||f2||f3||f4可能不具有大维数的M-子空间(M-subspace)。这一特性，假设fi是不相交谱的半Bent函数，可进一步用于设计Maiorana-McFarland (M)类之外的Bent函数。这种可能性在本文的最后一部分得到了证明，其中给出了两个位于完成类M#之外的Bent函数实例。

论文解读文章

1. 研究背景、现存问题与研究动机

布尔函数在密码学和编码理论中扮演着至关重要的角色，其密码学性质（如非线性度、代数次数等）直接关系到密码系统的安全性。平台函数（Plateaued functions）是一类重要的布尔函数，其Walsh谱取值仅有0和±2^(n+s)/2，兼具了高非线性度和一定的代数结构。其中，Bent函数（s=0时）和半Bent函数（s=1或2时）是其特例。尽管对Bent函数的分解（特别是Canteaut和Charpin提出的经典4-分解）已有深入研究，但对于更一般的s-平台函数的分解结构，尤其是将其分解为四个子函数（4-分解）的研究，此前尚属空白。现有研究多集中于平台函数的设计方法，而对其内在的结构特性，即如何通过低维子函数的组合来表征高维平台函数，缺乏系统性理解。因此，开展此项研究的动机在于：第一，填补对s-平台函数分解结构的理论空白；第二，探索利用这种分解结构设计具有特定密码学性质（例如，不属于Maiorana-McFarland完成类M^#）的新函数，从而丰富密码学函数的设计工具箱。

2. 主要研究方法

本研究主要采用了以下关键技术方法：

• •
  Walsh-Hadamard变换（WHT）分析：利用WHT将布尔函数的性质从时域转换到频域，通过分析子函数与父函数Walsh谱之间的关系来刻画分解条件。
• •
  线性代数与向量空间分解：将n维布尔函数f分解为定义在(n-1)维或(n-2)维子空间上的子函数，并利用WHT公式（式(6)和(7)）建立谱值之间的线性关系。
• •
  广义Maiorana-McFarland（GMM）类函数构造：采用形如f(x,y)=x·φ(y)+h(y)的函数形式，通过精心选择映射φ和函数h来构造满足特定分解性质的平台函数实例，以此验证理论结果的可行性。
• •
  M-子空间（M-subspace）判定：利用二阶导数D_aD_bf的性质来判定一个函数是否属于完成的GMM类，从而判断所构造的Bent函数是否位于M^#类之外。

3. 研究结果

Section 3: s-平台函数的2-分解与4-分解的完整刻画

• •
  命题3.1 (2-分解)：通过严格的数学推导，证明了f = f₁ || f₂是s-平台函数的充要条件是：子函数f₁和f₂的Walsh谱值均属于{0, ±2^{(n+s)/2 - 1}, ±2^(n+s)/2}，并且满足两个关键条件：(I) 两者取值为±2^{(n+s)/2 - 1}的集合相等；(II) 两者取值为±2^(n+s)/2的集合互不相交。这揭示了2-分解只有三种可能的谱分布情形。
• •
  定理3.1 (4-分解)：这是本文的核心理论贡献。它首次完整刻画了s-平台函数f = f₁||f₂||f₃||f₄的4-分解。定理指出，子函数f_i的Walsh谱值至多有9种可能，即属于{0, ±2^p-2, ±2^p-1, ±3·2^p-2, ±2^p}（其中p=(n+s)/2）。更重要的是，定理详细规定了这些谱值在不同子函数之间必须满足的复杂约束条件（条件(I)-(IV)），例如，取最大谱值±2^p的集合必须两两不相交，而取次大谱值的集合则有多种共存模式。这表明s-平台函数的4-分解远比Bent函数复杂，呈现出更大的多样性。

Section 4: 基于GMM类的s-平台函数设计

• •
  本节提供了当所有子函数f_i都属于GMM类时，通过拼接它们来构造s-平台函数的充分必要条件。这为实际构造满足特定分解类型的平台函数提供了具体的设计指南。

Section 5: 非单射映射下的结构特征

• •
  当子函数中的映射φ_i是2^t-to-1的非单射时，研究发现由此构造出的s-平台函数f可能不存在大维数的M-子空间。M-子空间的存在性是判断一个函数是否属于完成的Maiorana-McFarland类（M^#）的关键。这个发现意味着，通过选择合适的非单射映射，可以设计出具有更复杂代数结构的平台函数。

Section 6: 应用于设计M^#类之外的Bent函数

• •
  研究人员巧妙地利用了前述理论成果，特别是2-分解和4-分解的特性，来设计不属于M^#类的Bent函数。
• •
  2-分解情形：通过简化已有的充分必要条件，并选取一对共享特定t维M-子空间的半Bent函数f₁和f₂，研究人员在示例6.1中成功构造了一个Bent函数f = f₁ || f₂，并证明其不在M^#类中。
• •
  4-分解情形：更进一步，研究人员展示了如何从GMM类中选取四个合适的半Bent函数f₁, ..., f₄，使得它们的4路拼接f = f₁||f₂||f₃||f₄成为一个位于M^#类之外的Bent函数。

4. 总结与结论

总结与讨论：本文的研究工作系统地建立了s-平台函数在2-分解和4-分解下的完整理论框架，揭示了其谱结构的复杂性远超过经典的Bent函数。特别是4-分解中允许出现“混合”类型（即子函数类型不同），极大地丰富了平台函数的结构多样性。通过对GMM类和非单射映射的深入探讨，研究不仅提供了构造方法，还揭示了分解结构与函数所属代数类（如是否包含大维数M-子空间）之间的深刻联系。最终，这些理论成果被成功地应用于构造密码学中极具价值的、位于Maiorana-McFarland完成类M^#之外的Bent函数，证明了该理论的实用价值。

研究结论：本文首次对s-平台函数的分解进行了系统性的研究。研究人员提供了其2-分解和4-分解的完整刻画。在4-分解中，子函数f_i的Walsh谱值最多可达9种，这与Bent函数的情况截然不同。研究表明，混合型4-分解是可行的，展现了更多样的情景。当子函数属于GMM类时，研究人员给出了设计s-平台函数的充要条件。特别地，当映射φ_i为2^t-to-1的非单射时，所构造的函数可能不具备大维数的M-子空间。利用此特性，结合不相交谱的半Bent函数，研究人员成功设计了位于完成类M^#之外的Bent函数，并通过两个实例加以证明。