English

An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

Combinatorics 2024-04-17 v1

Abstract

The spectrum of a complex-valued function ff on Zqn\mathbb{Z}_{q}^n is the set {u:uZqn and f^(u)0}\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}, where u|u| is the Hamming weight of uu and f^\widehat{f} is the Fourier transform of ff. Let 1ddn1\leq d'\leq d\leq n. In this work, we study Boolean functions on Zqn\mathbb{Z}_{q}^n, q3q\geq 3, whose spectrum is a subset of {0}{d,,d}\{0\}\cup \{d',\ldots,d\}. We prove that such functions have at most d2qd+d2d(q1)d\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}} relevant variables for d+dn+1d'+d\leq n+1. In particular, we prove that any Boolean function of degree dd on Zqn\mathbb{Z}_{q}^n, q3q\geq 3, has at most dqd+14(q1)\frac{dq^{d+1}}{4(q-1)} relevant variables. We also show that any equitable 2-partition of the Hamming graph H(n,q)H(n,q), q3q\geq 3, associated with the eigenvalue n(q1)qdn(q-1)-qd has at most d2q2d2d(q1)d\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}} relevant variables for dn+12d\leq \frac{n+1}{2}.

Keywords

Cite

@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}
}