Span Program for Non-binary Functions
Abstract
Span programs characterize the quantum query complexity of binary functions $f:\{0,\ldots,\ell\}^n \to \{0,1\}$ up to a constant factor. In this paper we generalize the notion of span programs for functions with non-binary input/output alphabets $f: [\ell]^n \to [m]$. We show that non-binary span program characterizes the quantum query complexity of any such function up to a constant factor. We argue that this non-binary span program is indeed the generalization of its binary counterpart. We also generalize the notion of span programs for a special class of relations. Learning graphs provide another tool for designing quantum query algorithms for binary functions. In this paper, we also generalize this tool for non-binary functions, and as an application of our non-binary span program show that any non-binary learning graph gives an upper bound on the quantum query complexity.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2018
- DOI:
- 10.48550/arXiv.1805.02714
- arXiv:
- arXiv:1805.02714
- Bibcode:
- 2018arXiv180502714B
- Keywords:
-
- Quantum Physics;
- Computer Science - Computational Complexity
- E-Print:
- 41 pages, 2 figures. Changes in definition of non-binary span program and learning graph leading to major improvements in the results. Arguments added to support the naturalness of the definition of non-binary span program in the text and in a new appendix