English

Sensitivity of $m$-ary functions and low degree partitions of Hamming graphs

Combinatorics 2024-09-25 v1 Discrete Mathematics

Abstract

The study of complexity measures of Boolean functions led Nisan and Szegedy to state the sensitivity conjecture in 1994, claiming a polynomial relation between degree and sensitivity. This problem remained unsolved until 2019, when Huang proved the conjecture via an equivalent graph theoretical reformulation due to Gotsman and Linial. We study mm-ary functions, i.e., functions f:TnTf: T^n \rightarrow T where TCT\subseteq \mathbb{C} is a finite alphabet of cardinality T=m|T| = m and extend the notions of degree deg(f)\mathrm{deg}(f) and sensitivity s(f)s(f) to mm-ary functions and show s(f)O(deg(f)2)s(f)\in O(\mathrm{deg}(f)^2). This generalizes results of Nisan and Szegedy. Conversely, we introduce the mm-ary sensitivity conjecture, claiming a polynomial upper bound for deg(f)\mathrm{deg}(f) in terms of s(f)s(f). Analogously to results of Gotsman and Linial, we provide a formulation of the conjecture in terms of imbalanced partitions of Hamming graphs into low degree subgraphs. Combining this with ideas of Chung, F\"uredi, Graham and Seymour, we show that for any prime pp the bound in the pp-ary sensitivity conjecture has to be at least quadratic: there exist pp-ary functions ff of arbitrarily large degree and deg(f)Ω(s(f)2)\mathrm{deg}(f)\in \Omega(s(f)^2).

Keywords

Cite

@article{arxiv.2409.16141,
  title  = {Sensitivity of $m$-ary functions and low degree partitions of Hamming graphs},
  author = {Sara Asensio and Ignacio García-Marco and Kolja Knauer},
  journal= {arXiv preprint arXiv:2409.16141},
  year   = {2024}
}

Comments

17 pages, 7 figures