Abstract
We design a probabilistic test verifying whether a given table of real function values corresponds to a trigonometric polynomial f : F k ↦ℝ of certain (low) degree. Here, F is a finite field. The problem is studied in the framework of real number complexity as introduced by Blum, Shub, and Smale. Our main result is at least of a twofold interest. First, it provides one of two major lacking ingredients for proving a real PCP theorem along the lines of the proof of the original PCP theorem in the Turing model. Secondly, beside the PCP framework it adds to the still small list of properties that can be tested in the BSS model over ℝ.
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
Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press (2009)
Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and hardness of approximation problems. Journal of the ACM 45(3), 501–555 (1998)
Arora, S., Safra, S.: Probabilistic checking proofs: A new characterization of NP. Journal of the ACM 45(1), 70–122 (1998)
Ausiello, G., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties. Springer (1999)
Baartse, M., Meer, K.: The PCP theorem for NP over the reals. To appear in Foundations of Computational Mathematics. Springer
Baartse, M., Meer, K.: Topics in real and complex number complexity theory. In: Montana, J.L., Pardo, L.M. (eds.) Recent Advances in Real Complexity and Computation, Contemporary Mathematics, vol. 604, pp. 1–53. American Mathematical Society (2013)
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer (1998)
Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc. 21, 1–46 (1989)
Bürgisser, P., Clausen, M., Shokrollahi, M.A.: Algebraic Complexity Theory. Springer (1997)
Dinur, I.: The PCP theorem by gap amplification. Journal of the ACM 54(3) (2007)
Friedl, K., Hátsági, Z., Shen, A.: Low-degree tests. In: Proc. SODA, pp. 57–64 (1994)
Meer, K.: Transparent long proofs: A first PCP theorem for NPℝ. Foundations of Computational Mathematics 5(3), 231–255 (2005)
Meer, K.: Almost transparent short proofs for NPℝ. In: Owe, O., Steffen, M., Telle, J.A. (eds.) FCT 2011. LNCS, vol. 6914, pp. 41–52. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Baartse, M., Meer, K. (2014). Testing Low Degree Trigonometric Polynomials. In: Hirsch, E.A., Kuznetsov, S.O., Pin, JÉ., Vereshchagin, N.K. (eds) Computer Science - Theory and Applications. CSR 2014. Lecture Notes in Computer Science, vol 8476. Springer, Cham. https://doi.org/10.1007/978-3-319-06686-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-06686-8_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06685-1
Online ISBN: 978-3-319-06686-8
eBook Packages: Computer ScienceComputer Science (R0)