汉明图上布尔函数相关变量数的一个上界
组合数学
2024-04-17 v1
摘要
复值函数 f f f 在 Z q n \mathbb{Z}_{q}^n Z q n 上的谱是集合 { ∣ u ∣ : u ∈ Z q n a n d f ^ ( u ) ≠ 0 } \{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\} { ∣ u ∣ : u ∈ Z q n and f ( u ) = 0 } ,其中 ∣ u ∣ |u| ∣ u ∣ 是 u u u 的汉明重量,f ^ \widehat{f} f 是 f f f 的傅里叶变换。设 1 ≤ d ′ ≤ d ≤ n 1\leq d'\leq d\leq n 1 ≤ d ′ ≤ d ≤ n 。本文研究 Z q n \mathbb{Z}_{q}^n Z q n (q ≥ 3 q\geq 3 q ≥ 3 )上谱为 { 0 } ∪ { d ′ , … , d } \{0\}\cup \{d',\ldots,d\} { 0 } ∪ { d ′ , … , d } 子集的布尔函数。我们证明,当 d ′ + d ≤ n + 1 d'+d\leq n+1 d ′ + d ≤ n + 1 时,此类函数至多有 d 2 ⋅ q d + d ′ 2 d ′ ( q − 1 ) d ′ \frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}} 2 d ⋅ 2 d ′ ( q − 1 ) d ′ q d + d ′ 个相关变量。特别地,我们证明 Z q n \mathbb{Z}_{q}^n Z q n (q ≥ 3 q\geq 3 q ≥ 3 )上任意 d d d 次布尔函数至多有 d q d + 1 4 ( q − 1 ) \frac{dq^{d+1}}{4(q-1)} 4 ( q − 1 ) d q d + 1 个相关变量。我们还证明,对于 d ≤ n + 1 2 d\leq \frac{n+1}{2} d ≤ 2 n + 1 ,与特征值 n ( q − 1 ) − q d n(q-1)-qd n ( q − 1 ) − q d 相关联的汉明图 H ( n , q ) H(n,q) H ( n , q ) (q ≥ 3 q\geq 3 q ≥ 3 )的任意均等 2-划分至多有 d 2 ⋅ q 2 d 2 d ( q − 1 ) d \frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}} 2 d ⋅ 2 d ( q − 1 ) d q 2 d 个相关变量。
引用
@article{arxiv.2404.10418,
title = {An upper bound on the number of relevant variables for Boolean functions on the Hamming graph},
author = {Alexandr Valyuzhenich},
journal= {arXiv preprint arXiv:2404.10418},
year = {2024}
}