Abstract
Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over sub-cubes of the hypercube {0,1}n. We introduce a relaxed model of an implementation, which we call a stateful implementation, and show how to implement the desired specification in this model. The main technical construction is an algorithm for detecting linear dependencies between n dimensional hypercubes, viewed as characteristic vectors in \(\mathbb{F}_2^{\{0,1\}^n}\). Using coding theoretic techniques, we first exhibit a randomized algorithm for detecting such dependencies. We then show how a recent approach by Raz and Shpilka for polynomial identity testing in non-commutative models of computation can be applied to obtain a deterministic algorithm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aaronson, S.: Multilinear formulas and skepticism of quantum computing. In: Proceedings of the 36th ACM Symposium on Theory of Computing (2004)
Goldreich, O., Goldwasser, S., Micali, S.: How to construct random functions. Journal of the ACM 33(4), 210–217 (1986)
Goldreich, O., Goldwasser, S., Nussboim, A.: On the implementation of huge random objects. In: Proceedings of the 44th IEEE Symposium on Foundations of Computer Science, pp. 68–79 (2003); Preliminary full version at http://www.wisdom.weizmann.ac.il/~oded/p_toro.html
Luby, M., Rackoff, C.: How to construct pseudorandom permutations from pseudoranom functions. SICOMP 17, 373–386 (1988)
Raz, R., Shpilka, A.: Deterministic polynomial identity testing in non commutative models. In: Proceedings of the 17th Conference on Computational Complexity (2004) (to appear)
Schwartz, J.T.: Fast probabilistic algorithms for verification of polynomial identities. Journal of the ACM 27(4), 701–717 (1980)
Zippel, R.E.: Probabilistic algorithms for sparse polynomials. In: Fitch, J. (ed.) EUROSAM 1984 and ISSAC 1984. LNCS, vol. 174, pp. 216–226. Springer, Heidelberg (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bogdanov, A., Wee, H. (2004). A Stateful Implementation of a Random Function Supporting Parity Queries over Hypercubes. In: Jansen, K., Khanna, S., Rolim, J.D.P., Ron, D. (eds) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. RANDOM APPROX 2004 2004. Lecture Notes in Computer Science, vol 3122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27821-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-27821-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22894-3
Online ISBN: 978-3-540-27821-4
eBook Packages: Springer Book Archive