0
$\begingroup$

I have a polynomial $f(x)=a^2x^2+bx+c\in\mathbb Z[x]$ with $f(x)$ not a constant times a square and $abc\neq0$ and I want to know how many $x$ between $-a$ and $a$ the polynomial is a perfect square. Since leading coefficient is a perfect square by this reference the polynomial only has finitely many squares.

  1. How many squares can be achieved by $f(x)$ with $x\in(-a,a)\cap\mathbb Z$ if $|a|^6,|b|^4,|c|^3$ are roughly of similar size? Gap between squares is squareroot in size and $(x-y)|(f(x)-f(y))$ makes me think there is at most only $1$ square with $x\in(-a,a)\cap\mathbb Z$.

  2. Is there a way to test in polynomial time the parity of number of square $f(x)$ with $x\in(-t,t)\cap\mathbb Z$ at any given $t<a$ or find at least one such square?

Is there any good reference on the topic? It suffices to compute $\sum_{x=-t}^t\omega(f(x))\bmod 2$ where $\omega(f(x))$ is number of divisors of $f(x)$.

$\endgroup$

1 Answer 1

1
$\begingroup$

The question can be equated to the counting of solutions to the following diophantine equation: $$4a^4x^2\pm y^2=\Delta_f,$$ where $\Delta_f=b^2-4a^2c$ and plus\minus relate to considering when $f(x)=-\square$ or $\square$. This follows from the fact that if $\pm \square=a^2x_1^2+bx_1+c$, then substituting $x=x_1+\frac{b}{2a^2}$ and clearing the denominator we get the above equation.

In the special case when $a=1$ more can be said. In particular, for counting negatives squares, there are known formulas for the $r_2(\Delta_f)$.

$\endgroup$
8
  • $\begingroup$ The perfect square solutions correspond to the integer solutions to the equation $\Delta_f=x^2+y^2$, i.e. $2r'_2(\Delta_f)$. Given that we require a squarefree discriminant, we cannot have any prime divisors that are congruent to $3 \pmod{4}$. $\endgroup$
    – pavl0
    Aug 15, 2018 at 8:19
  • $\begingroup$ 'The perfect square solutions correspond to the integer solutions to the equation $\Delta_f=x^2+y^2\dots$' why? I do not see this. $\endgroup$
    – Turbo
    Aug 15, 2018 at 9:17
  • $\begingroup$ If $f(z)=-\square$ (note that f(z) is always negative for $z\in (\alpha_1,\alpha_2)$), then letting $z'=z+\frac{b}{2}$, we get $f(z)=z'^2-\frac{\Delta_f}{4}$, thus $\frac{\Delta_f}{4}=\square+z'^2.$ $\endgroup$
    – pavl0
    Aug 15, 2018 at 12:14
  • $\begingroup$ $f(z)$ is $f(x)$ evaluated at $z$. For example, $f(x)=x^2-3x+1$, then $f(1)=-1$. (Also, I assumed that $f(x)$ is irreducible.) $\endgroup$
    – pavl0
    Aug 15, 2018 at 16:45
  • 1
    $\begingroup$ I do not see the connection en.wikipedia.org/wiki/Ramanujan–Nagell_equation#Equations_of_Ramanujan–Nagell_type or the reduction. $\endgroup$
    – Turbo
    Aug 16, 2018 at 8:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.