关于带模平方根的双线性和的注释

Bag 和 Shparlinski 考察了形如 $e_p(axy^s)$ 的双线性和，其中 $p$ 为素数，$a$ 为与 $p$ 互素的整数，$s$ 为整数，$x$ 遍及 $\mathbb{F}_p^{\ast}$ 的子集，$y$ 遍及区间。紧随其方法，我们建立 $s=1/2$（即 $y^{1/2}$ 为模 $p$ 的 $y$ 的平方根，当存在时）的类似结果。本文部分内容旨在回顾我们最近关于相关双线性和的工作。