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.
Similar content being viewed by others
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