
arXiv: 1801.04607
The approximate degree of a Boolean function $f(x_{1},x_{2},\ldots,x_{n})$ is the minimum degree of a real polynomial that approximates $f$ pointwise within $1/3$. Upper bounds on approximate degree have a variety of applications in learning theory, differential privacy, and algorithm design in general. Nearly all known upper bounds on approximate degree arise in an existential manner from bounds on quantum query complexity. We develop a first-principles, classical approach to the polynomial approximation of Boolean functions. We use it to give the first constructive upper bounds on the approximate degree of several fundamental problems: - $O\bigl(n^{\frac{3}{4}-\frac{1}{4(2^{k}-1)}}\bigr)$ for the $k$-element distinctness problem; - $O(n^{1-\frac{1}{k+1}})$ for the $k$-subset sum problem; - $O(n^{1-\frac{1}{k+1}})$ for any $k$-DNF or $k$-CNF formula; - $O(n^{3/4})$ for the surjectivity problem. In all cases, we obtain explicit, closed-form approximating polynomials that are unrelated to the quantum arguments from previous work. Our first three results match the bounds from quantum query complexity. Our fourth result improves polynomially on the $��(n)$ quantum query complexity of the problem and refutes the conjecture by several experts that surjectivity has approximate degree $��(n)$. In particular, we exhibit the first natural problem with a polynomial gap between approximate degree and quantum query complexity.
FOS: Computer and information sciences, Quantum Physics, approximate degree, \(k\)-DNF formulas, quantum query complexity, FOS: Physical sciences, Quantum algorithms and complexity in the theory of computing, separations, Computational Complexity (cs.CC), \(k\)-subset sum problem, \(k\)-element distinctness problem, \(k\)-CNF formulas, Classical propositional logic, Computer Science - Computational Complexity, surjectivity problem, Quantum computation, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Boolean functions, Quantum Physics (quant-ph)
FOS: Computer and information sciences, Quantum Physics, approximate degree, \(k\)-DNF formulas, quantum query complexity, FOS: Physical sciences, Quantum algorithms and complexity in the theory of computing, separations, Computational Complexity (cs.CC), \(k\)-subset sum problem, \(k\)-element distinctness problem, \(k\)-CNF formulas, Classical propositional logic, Computer Science - Computational Complexity, surjectivity problem, Quantum computation, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Boolean functions, Quantum Physics (quant-ph)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
