Intereting Posts

Different ways to come up with $1+2+3+\cdots +n=\frac{n(n+1)}{2}$
Is it true that $\mathbb{E}+|\mathbb{E}\rvert\geq\mathbb{E}\rvert]+\mathbb{E}\rvert]$?
Does logging infinitely converge?
Why do we categorize all other (iso.) singularities as “essential”?
Characterizing continuous functions based on the graph of the function
Prove that $\{\frac{\phi (n)}{n}\}_{n \in \Bbb N}$ is dense in $$
If a graph with $n$ vertices and $n$ edges there must a cycle?
Show CLT for Poisson random variables, using no generating function
Finding the angle between three points?
How come $\sum\limits_{n=1}^{\infty}\frac{1}{2^n}=\sum\limits_{n=1}^{\infty}\frac{1}{2^n\ln(2^n)}$?
Using Spherical coordinates find the volume:
Does $|f|$ locally constant imply $f$ constant globally?
Is every topological manifold completely metrizable?
Minimizing $\cot^2 A +\cot^2 B + \cot^2 C$ for $A+B+C=\pi$
Classifying groups of order 21.

If $f$ is a bivariate polynomial of degree $r$ over $\mathbb{Z}_p$, then the

number of solutions to $f(x,y)=0$ should be less than $rp$. This can be seen

by writing $f(x,y) = \sum_{i=0}^r a_i(x) y^{r-i}$ where $a_i(x)$ are univariate

polynomials of degree utmost $i$. For each fixed $x$ the $f(x,y)$ is a univariate

polynomial in $y$ of degree $r$ and only $r$ roots are possible. There are $p$

$x$’s so the total is $rp$.

I wanted to know if this is this the best bound possible. While the univariate

case seems to be much studied, I could not find many references for this question

on multivariate polynomials.

Thanks,

Phanindra

- Finding a basis for $\Bbb{Q}(\sqrt{2}+\sqrt{3})$ over $\Bbb{Q}$.
- Taking the automorphism group of a group is not functorial.
- $M_3$ is a simple lattice
- Without the Axiom of Choice, does every infinite field contain a countably infinite subfield?
- An arrow is monic in the category of G-Sets if and only if its monic the category of sets
- Existence of Homomorphism so that Diagram Commutes

- Showing an isomorphism between exterior products of a free module
- What are applications of rings & groups?
- Product of two power series
- An integral domain whose every prime ideal is principal is a PID
- Appearance of Formal Derivative in Algebra
- Why do elements of coprime orders commute in nilpotent groups?
- The only two rational values for cosine and their connection to the Kummer Rings
- Quotient rings of Gaussian integers $\mathbb{Z}/(2)$, $\mathbb{Z}/(3)$, $\mathbb{Z}/(5)$,
- If an Abelian group $G$ has order $n$ and at most one subgroup of order $d$ for all $d$ dividing $n$ then $G$ is cyclic
- Can a ring of positive characteristic have infinite number of elements?

Versions of this question have been much studied, but it’s not obvious what the correct keywords are. In this case you want to look at algebraic geometry, particularly the study of algebraic curves, over finite fields. The relevant theorem in this subject is the Hasse-Weil bound, which should be understood as a corollary of the Weil conjectures.

The Hasse-Weil bound implies that if $f$ is irreducible and a certain nonsingularity condition is met (actually I am not sure if this is necessary), the number of solutions is something like (but not quite)

$$p \pm 2g \sqrt{p}$$

where $g = \frac{(r-1)(r-2)}{2}$ by the genus-degree formula. This gives a bound which is worse than your bound if $r$ is large compared to $p$ but which is substantially better if $p$ is large compared to $r$, so which bound is better depends on which regime you care about.

Of course, if $r > p$ then an even better bound than $rp$ is $p^2$…

The Hasse-Weil bound should conjecturally be tight in a suitable sense (in particular, asymptotically in $p$) by a suitable generalization of the Sato-Tate conjecture. On the other hand, in general your bound can be tight, since $f$ may be a product of distinct linear factors. If $f$ is reducible then you should factor $f$ and apply the Hasse-Weil bound separately to each of its factors.

- Proving $A \cap C = B \cap C$, but $ A \neq B$
- Why are very large prime numbers important in cryptography?
- Do Integrals over Fractals Exist?
- Is there a change of variables that allows one to calculate $\int_0^\pi \frac{1}{4-3\cos^2 x}\, \mathrm dx$ avoiding improperties?
- How many solutions are there to $x_1 + x_2 + … + x_5 = 21$?
- Show that holomorphic $f_1, . . . , f_n $ are constant if $\sum_{k=1}^n \left| f_k(z) \right|$ is constant.
- Are all infinities equal?
- Is convex open set in $\mathbb{R}^n$ is regular?
- What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?
- Domain, Co-Domain & Range of a Function
- Is Serre's $S_1$ condition equivalent to having no embedded primes?
- I almost quit self-studying mathematics, but should I continue?
- A real function which is additive but not homogenous
- Would like a hint for proving $(\forall x P(x)) \to A \Rightarrow \exists x( P(x) \to A)$ in graphical proof exercise on The Incredible Proof Machine
- Relation between kernels of homomorphisms and the semidirect product of groups