Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-25T10:29:21.090Z Has data issue: false hasContentIssue false

Büchi’s Problem in Modular Arithmetic for Arbitrary Quadratic Polynomials

Published online by Cambridge University Press:  26 April 2019

Pablo Sáez
Affiliation:
Concepción, Chile Email: pablosaezphd@gmail.com
Xavier Vidaux
Affiliation:
Universidad de Concepción, Facultad de Ciencias Físicas y Matemáticas, Departamento de Matemática, Casilla 160 C, Concepción, Chile Email: xvidaux@udec.cl
Maxim Vsemirnov
Affiliation:
St. Petersburg Department of V.A.Steklov Institute of Mathematics, 27 Fontanka, St. Petersburg, 191023, Russia St. Petersburg State University, Department of Mathematics and Mechanics, 28 University prospekt, St. Petersburg, 198504, Russia Email: vsemir@pdmi.ras.ru

Abstract

Given a prime $p\geqslant 5$ and an integer $s\geqslant 1$, we show that there exists an integer $M$ such that for any quadratic polynomial $f$ with coefficients in the ring of integers modulo $p^{s}$, such that $f$ is not a square, if a sequence $(f(1),\ldots ,f(N))$ is a sequence of squares, then $N$ is at most $M$. We also provide some explicit formulas for the optimal $M$.

Type
Article
Copyright
© Canadian Mathematical Society 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

All three authors were partially supported by the grants “Fondecyt research projects 1130134 and 1170315, Chile” to author X. V., from Conicyt. Author M. V. was partially supported by the government of the Russian Federation (grant 14.Z50.31.0030).

References

Allison, D., On square values of quadratics . Math. Proc. Cambridge Philos. Soc. 99(1986), no. 3, 381383. https://doi.org/10.1017/S030500410006432X Google Scholar
An, T. T. H., Huang, H.-L., and Wang, J. T.-Z., Generalized Büchi’s problem for algebraic functions and meromorphic functions . Math. Z. 273(2013), no. 1–2, 95122. https://doi.org/10.1007/s00209-012-0997-9 Google Scholar
An, T. T. H. and Wang, J. T. Y., Hensley’s problem for complex and non-Archimedean meromorphic functions . J. Math. Anal. Appl. 381(2011), no. 2, 661677. https://doi.org/10.1016/j.jmaa.2011.03.025 Google Scholar
Bremner, A., On square values of quadratics . Acta Arith. 108(2003), 95111. https://doi.org/10.4064/aa108-2-1 Google Scholar
Browkin, J. and Brzeziński, J., On sequences of squares with constant second differences . Canad. Math. Bull. 49‐4(2006), 481491. https://doi.org/10.4153/CMB-2006-047-9 Google Scholar
Garcia-Fritz, N., Quadratic sequences of powers and Mohanty’s conjecture . Int. J. Number Theory 14(2018), no. 2, 479507. https://doi.org/10.1142/S1793042118500306 Google Scholar
González-Jiménez, E. and Xarles, X., On symmetric square values of quadratic polynomials . Acta Arith. 149(2011), no. 2, 145159. https://doi.org/10.4064/aa149-2-4 Google Scholar
Lipshitz, L., Quadratic forms, the five square problem, and diophantine equations , The collected works of J. Richard Büchi, eds. MacLane, S. and Siefkes, Dirk, Springer, 1990, pp. 677680.Google Scholar
Mazur, B., Questions of decidability and undecidability in number theory . J. Symbolic Logic 59‐2(1994), 353371. https://doi.org/10.2307/2275395 Google Scholar
Pasten, H., Büchi’s problem in any power for finite fields . Acta Arith. 149‐1(2011), 5763. https://doi.org/10.4064/aa149-1-4 Google Scholar
Pasten, H., Pheidas, T., and Vidaux, X., A survey on Büchi’s problem: new presentations and open problems . Zapiski POMI 377(2010), 111140. https://doi.org/10.1007/s10958-010-0181-x Google Scholar
Pasten, H. and Wang, J. T.-Y., Extensions of Büchi’s higher powers problem to positive characteristic . Int. Math. Res. Not. IMRN 2015 no. 11, 32633297.Google Scholar
Pheidas, T. and Vidaux, X., The analogue of Büchi’s problem for rational functions . J. London Math. Soc. 74(2006), no. 3, 545565. https://doi.org/10.1112/S0024610706023283 Google Scholar
Pheidas, T. and Vidaux, X., Corrigendum: The analogue of Büchi’s problem for rational functions . J. London Math. Soc. 82(2010), 273278. https://doi.org/10.1112/jlms/jdq002 Google Scholar
Sáez, P., Vidaux, X., and Vsemirnov, M., Optimal bounds for Büchi’s problem in modular arithmetic . J. Number Theory 149(2015), 368403. https://doi.org/10.1016/j.jnt.2014.10.008 Google Scholar
Shlapentokh, A. and Vidaux, X., The analogue of Büchi’s problem for function fields . J. Algebra 330(2010), 482506. https://doi.org/10.1016/j.jalgebra.2011.01.008 Google Scholar
Vojta, P., Diagonal quadratic forms and Hilbert’s Tenth Problem . In: Hilbert’s tenth problem: relations with arithmetic and algebraic geometry , Contemp. Math., 270, American Mathematical Society, Providence, RI, 2000, pp. 261274. https://doi.org/10.1090/conm/270/04378 Google Scholar