Showing 1–50 of 76 results for author: Wan, D

Betti number bounds for varieties and exponential sums

Authors: Daqing Wan, Dingxin Zhang

Abstract: Using basic properties of perverse sheaves, we give new upper bounds for compactly supported Betti numbers for arbitrary affine varieties in $\mathbb{A}^n$ defined by $r$ polynomial equations of degrees at most $d$. As arithmetic applications, new total degree bounds are obtained for zeta functions of varieties and L-functions of exponential sums over finite fields, improving the classical results… ▽ More Using basic properties of perverse sheaves, we give new upper bounds for compactly supported Betti numbers for arbitrary affine varieties in $\mathbb{A}^n$ defined by $r$ polynomial equations of degrees at most $d$. As arithmetic applications, new total degree bounds are obtained for zeta functions of varieties and L-functions of exponential sums over finite fields, improving the classical results of Bombieri, Katz, and Adolphson--Sperber. In the complete intersection case, our total Betti number bound is asymptotically optimal as a function in $d$. In general, it remains an open problem to find an asymptotically optimal bound as a function in $d$. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 43 pages

MSC Class: 14F20; 11M38; 11T23; 55N10

On algebraic degrees of inverted Kloosterman sums

Authors: Xin Lin, Daqing Wan

Abstract: The study of $n$-dimensional inverted Kloosterman sums was suggested by Katz (1995) who handled the case when $n=1$ from complex point of view. For general $n\geq 1$, the $n$-dimensional inverted Kloosterman sums were studied from both complex and $p$-adic point of view in our previous paper. In this note, we study the algebraic degree of the inverted $n$-dimensional Kloosterman sum as an algebrai… ▽ More The study of $n$-dimensional inverted Kloosterman sums was suggested by Katz (1995) who handled the case when $n=1$ from complex point of view. For general $n\geq 1$, the $n$-dimensional inverted Kloosterman sums were studied from both complex and $p$-adic point of view in our previous paper. In this note, we study the algebraic degree of the inverted $n$-dimensional Kloosterman sum as an algebraic integer. △ Less

Submitted 23 July, 2024; originally announced July 2024.

Comments: 7 pages

MSC Class: 11T23; 11L05

The exotic inverted Kloosterman sum

Authors: Lei Fu, Daqing Wan

Abstract: Let $B$ be a product of finitely many finite fields containing $\mathbb F_q$, $ψ:\mathbb F_q\to \overline{\mathbb Q}_\ell^*$ a nontrivial additive character, and $χ: B^*\to \overline{\mathbb Q}_\ell^*$ a multiplicative character. Katz introduced the so-called exotic inverted Kloosterman sum \begin{eqnarray*} \mathrm{EIK}(\mathbb F_q, a):=\sum_{\substack{x\in B^* \\ \mathrm{Tr}_{B/\mathbb F_q}(x)\n… ▽ More Let $B$ be a product of finitely many finite fields containing $\mathbb F_q$, $ψ:\mathbb F_q\to \overline{\mathbb Q}_\ell^*$ a nontrivial additive character, and $χ: B^*\to \overline{\mathbb Q}_\ell^*$ a multiplicative character. Katz introduced the so-called exotic inverted Kloosterman sum \begin{eqnarray*} \mathrm{EIK}(\mathbb F_q, a):=\sum_{\substack{x\in B^* \\ \mathrm{Tr}_{B/\mathbb F_q}(x)\not =0\\ \mathrm{N}_{B/\mathbb F_q}(x)=a}} χ(x)ψ\Big(\frac{1}{\mathrm{Tr}_{B/\mathbb F_q}(x)}\Big), \ \ a\in \mathbb F_q^*. \end{eqnarray*} We estimate this sum using $\ell$-adic cohomology theory. Our main result is that, up to a trivial term, the associated exotic inverted Kloosterman sheaf is lisse of rank at most $2(n+1)$ and mixed of weight at most $n$, where $n+1 = \dim_{\mathbb F_q}B$. Up to a trivial main term, this gives the expected square root cancellation. △ Less

Submitted 4 December, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: Revised version

MSC Class: 14F20; 11L05

Hodge and Frobenius colevels of algebraic varieties

Authors: Daqing Wan, Dingxin Zhang

Abstract: We provide new, improved lower bounds for the Hodge and Frobenius colevels of algebraic varieties (over $\mathbf{C}$ or over a finite field) in all cohomological degrees. These bounds are expressed in terms of the dimension of the variety and multi-degrees of its defining equations. Our results lead to an enhanced positive answer to a question raised by Esnault and the first author. We provide new, improved lower bounds for the Hodge and Frobenius colevels of algebraic varieties (over $\mathbf{C}$ or over a finite field) in all cohomological degrees. These bounds are expressed in terms of the dimension of the variety and multi-degrees of its defining equations. Our results lead to an enhanced positive answer to a question raised by Esnault and the first author. △ Less

Submitted 22 April, 2025; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: 25 pages. v3: Corrected the proof of Theorem 2.5. Final version

MSC Class: 14F20; 32S35; 14G15; 11M38

On inverted Kloosterman sums over finite fields

Authors: Xin Lin, Daqing Wan

Abstract: The classical $n$-variable Kloosterman sums over finite fields are well understood by Deligne's theorem from complex point of view and by Sperber's theorem from $p$-adic point of view. In this paper, we study the complex and $p$-adic estimates of inverted $n$-variable Kloosterman sums, addressing a question of N. Katz (1995). We shall give two complex estimates. The first one is elementary based o… ▽ More The classical $n$-variable Kloosterman sums over finite fields are well understood by Deligne's theorem from complex point of view and by Sperber's theorem from $p$-adic point of view. In this paper, we study the complex and $p$-adic estimates of inverted $n$-variable Kloosterman sums, addressing a question of N. Katz (1995). We shall give two complex estimates. The first one is elementary based on Gauss sums. The second estimate is deeper, depending on the cohomological results of Adolphson-Sperber, Denef-Loeser and Fu for twisted toric exponential sums. This deeper result assumes that the characteristic $p$ does not divide $n+1$. Combining with Dwork's $p$-adic theory, we also determine the exact $p$-adic valuations for zeros and poles of the L-function associated to inverted $n$-variable Kloosterman sums in the case $p \equiv 1 \mod (n+1)$. As we shall see, the inverted $n$-variable Kloosterman sum is more complicated than the classical $n$-variable Kloosterman sum in all aspects in the sense that our understanding is less complete, partly because the Hodge numbers are now mostly $2$ instead of $1$. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Comments: 18 pages

MSC Class: 11T23; 11L05; 11L07; 11S40

Divisibility on point counting over finite Witt rings

Authors: Wei Cao, Daqing Wan

Abstract: Let $\mathbb{F}_q$ denote the finite field of $q$ elements with characteristic $p$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. In this paper, we investigate the $q$-divisibility for the number of solutions of a polynomial system in $n$ variables over the finite Witt ring $\mathbb{Z}_q/p^m\mathbb{Z}_q$, where the… ▽ More Let $\mathbb{F}_q$ denote the finite field of $q$ elements with characteristic $p$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. In this paper, we investigate the $q$-divisibility for the number of solutions of a polynomial system in $n$ variables over the finite Witt ring $\mathbb{Z}_q/p^m\mathbb{Z}_q$, where the $n$ variables of the polynomials are restricted to run through a combinatorial box lifting $\mathbb{F}_q^n$. The introduction of the combinatorial box makes the problem much more complicated. We prove a $q$-divisibility theorem for any box of low algebraic complexity, including the simplest Teichmüller box.This extends the classical Ax-Katz theorem over finite field $\mathbb{F}_q$ (the case $m=1$). Taking $q=p$ to be a prime, our result extends and improves a recent combinatorial theorem of Grynkiewicz. Our different approach is based on the addition operation of Witt vectors and is conceptually much more transparent. △ Less

Submitted 22 October, 2022; originally announced October 2022.

MSC Class: 11T06; 11D88; 13F35

Revisiting Dwork cohomology: Visibility and divisibility of Frobenius eigenvalues in rigid cohomology

Authors: Daqing Wan, Dingxin Zhang

Abstract: We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first application, we show that the zeta functions for finitely many related affine varieties are capable of witnessing all Frobenius eigenvalues of the rigid cohomology of t… ▽ More We study Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field of $q$ elements via Dwork's method. A couple of arithmetic consequences will be drawn from this study. As the first application, we show that the zeta functions for finitely many related affine varieties are capable of witnessing all Frobenius eigenvalues of the rigid cohomology of the variety up to Tate twist. This result does not seem to be known for $\ell$-adic cohomology. As the second application, we prove several $q$-divisibility lower bounds for Frobenius eigenvalues of the rigid cohomology of the variety in terms of the multi-degrees of the defining equations. These divisibility bounds for rigid cohomology are generally better than what is suggested from the best known divisibility bounds in $\ell$-adic cohomology, both before and after the middle cohomological dimension. △ Less

Submitted 27 September, 2024; v1 submitted 25 July, 2022; originally announced July 2022.

Comments: restructured using the language of arithmetic D-modules

Divisibility of Frobenius eigenvalues on $\ell$-adic cohomology

Authors: Hélène Esnault, Daqing Wan

Abstract: v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond the middle dimension. This sharpens both Deligne's integrality theorem and the cohomological divisibility theorem proven by the first author and N. Katz. Similar… ▽ More v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond the middle dimension. This sharpens both Deligne's integrality theorem and the cohomological divisibility theorem proven by the first author and N. Katz. Similar lower bounds are proved for the Hodge level for a complex variety beyond the middle dimension, improving earlier results in this direction. We discuss the affine case. The previous version contained a gap at this place. We are thankful to Dingxin Zhang for noticing it. △ Less

Submitted 8 August, 2022; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: 7 pages

Lang--Trotter Conjecture for CM Elliptic Curves

Authors: Daqing Wan, Ping Xi

Abstract: Given an elliptic curve $E$ over $\mathbb{Q}$ and non-zero integer $r$, the Lang--Trotter conjecture predicts a striking asymptotic formula for the number of good primes $p\leqslant x$, denoted by $π_{E,r}(x)$, such that the Frobenius trace of $E$ at $p$ is equal to the given integer $r$. We focus on the CM case in this memoir, and show how to realize the following two goals: (1) to give an unco… ▽ More Given an elliptic curve $E$ over $\mathbb{Q}$ and non-zero integer $r$, the Lang--Trotter conjecture predicts a striking asymptotic formula for the number of good primes $p\leqslant x$, denoted by $π_{E,r}(x)$, such that the Frobenius trace of $E$ at $p$ is equal to the given integer $r$. We focus on the CM case in this memoir, and show how to realize the following two goals: (1) to give an unconditional estimate for $π_{E,r}(x)$, which confirms the upper bound part of the conjecture up to a constant multiple; (2) to give a conditional explicit asymptotic formula for $π_{E,r}(x)$ based on the Hardy--Littlewood conjecture on primes represented by quadratic polynomials. For completeness, we also summarize classical results on quadratic, cubic and quartic residues, as well as the corresponding reciprocity laws. This part should be of independent interests and could provide useful materials for more junior readers. We also highlight some possible extensions of the arguments in this memoir that may work for other statistical problems of CM elliptic curves. △ Less

Submitted 9 May, 2024; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: viii+105pp. The formulation of Theorem 5.1 is corrected; some details of computations are added

Algebraic Degree Periodicity in Recurrence Sequences

Authors: Daqing Wan, Hang Yin

Abstract: The degree sequence of the algebraic numbers in an algebraic linear recurrence sequence is shown to be virtually periodic. This is proved using the Skolem-Mahler-Lech theorem. It has applications to the degree sequence and the minimal polynomial sequence for exponential sums over finite fields. The degree periodicity also holds for some more complicated non-linear recurrence sequences. We give one… ▽ More The degree sequence of the algebraic numbers in an algebraic linear recurrence sequence is shown to be virtually periodic. This is proved using the Skolem-Mahler-Lech theorem. It has applications to the degree sequence and the minimal polynomial sequence for exponential sums over finite fields. The degree periodicity also holds for some more complicated non-linear recurrence sequences. We give one example from the iterations of a polynomial map. This depending on the dynamic Mordell-Lang conjecture which has been proved in some cases. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Computing zeta functions of large polynomial systems over finite fields

Authors: Qi Cheng, J. Maurice Rojas, Daqing Wan

Abstract: In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependenc… ▽ More In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependence on $m$. As an application, we speed up a doubly exponential time algorithm from a software verification paper \cite{BJK} (on universal equivalence of programs over finite fields) to singly exponential time. One key new ingredient is an effective version of the classical Kronecker theorem which (set-theoretically) reduces the number of defining equations for a "large" polynomial system over $\FF_q$ when $q$ is suitably large. △ Less

Submitted 26 July, 2020; originally announced July 2020.

Rational points on complete symmetric hypersurfaces over finite fields

Authors: Jun Zhang, Daqing Wan

Abstract: For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least $6q^{k-3}$ rational points over $\mathbb{F}_{q}$ if $1\leq m \leq q-3$ and $q$ is odd. A key ingredient in our proof is Segre's classical theorem on ovals in finite… ▽ More For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least $6q^{k-3}$ rational points over $\mathbb{F}_{q}$ if $1\leq m \leq q-3$ and $q$ is odd. A key ingredient in our proof is Segre's classical theorem on ovals in finite projective planes. △ Less

Submitted 21 July, 2020; originally announced July 2020.

Comments: 15 pages

Journal ref: Discrete Mathematics (2020) vol.343(11)

On Katz's $(A,B)$-exponential sums

Authors: Lei Fu, Daqing Wan

Abstract: We deduce Katz's theorems for $(A,B)$-exponential sums over finite fields using $\ell$-adic cohomology and a theorem of Denef-Loeser, removing the hypothesis that $A+B$ is relatively prime to the characteristic $p$. In some degenerate cases, the Betti number estimate is improved using toric decomposition and Adolphson-Sperber's bound for the degree of $L$-functions. Applying the facial decompositi… ▽ More We deduce Katz's theorems for $(A,B)$-exponential sums over finite fields using $\ell$-adic cohomology and a theorem of Denef-Loeser, removing the hypothesis that $A+B$ is relatively prime to the characteristic $p$. In some degenerate cases, the Betti number estimate is improved using toric decomposition and Adolphson-Sperber's bound for the degree of $L$-functions. Applying the facial decomposition theorem in \cite{W1}, we prove that the universal family of $(A,B)$-polynomials is generically ordinary for its $L$-function when $p$ is in certain arithmetic progression. △ Less

Submitted 19 March, 2020; originally announced March 2020.

MSC Class: 14F20; 11T23

Zeta functions of Z_p-towers of curves

Authors: Daqing Wan

Abstract: In these notes, we explore possible stable properties for the zeta function of a geometric Zp-tower of curves over a finite field of characteristic p, in the spirit of Iwasawa theory. A number of fundamental questions and conjectures are proposed for those Zp towers coming from algebraic geometry. In these notes, we explore possible stable properties for the zeta function of a geometric Zp-tower of curves over a finite field of characteristic p, in the spirit of Iwasawa theory. A number of fundamental questions and conjectures are proposed for those Zp towers coming from algebraic geometry. △ Less

Submitted 3 December, 2019; originally announced December 2019.

Comments: A survey paper with updated references

Journal ref: published in Journal of Sichuan Normal University, July (2018), 427-438

The Christoffel problem by fundamental solution of the Laplace equation

Authors: Qi-Rui Li, Dongrui Wan, Xu-Jia Wang

Abstract: The Christoffel problem is equivalent to the existence of convex solutions to the Laplace equation on the unit sphere $S^n$. Necessary and sufficient conditions have been found by Firey and Berg, using the Green function of the Laplacian on the sphere. Expressing the Christoffel problem as the Laplace equation on the entire space $R^{n+1}$, we observe that the second derivatives of the solution ca… ▽ More The Christoffel problem is equivalent to the existence of convex solutions to the Laplace equation on the unit sphere $S^n$. Necessary and sufficient conditions have been found by Firey and Berg, using the Green function of the Laplacian on the sphere. Expressing the Christoffel problem as the Laplace equation on the entire space $R^{n+1}$, we observe that the second derivatives of the solution can be given by the fundamental solutions of the Laplace equations. Therefore we find new and simpler necessary and sufficient conditions for the solvability of the Christoffel problem. We also study the $L_p$ extension of the Christoffel problem and provide sufficient conditions for the problem, for the case $p\geq 2$. △ Less

Submitted 24 November, 2019; originally announced November 2019.

Moment subset sums over finite fields

Authors: Tim Lai, Alicia Marino, Angela Robinson, Daqing Wan

Abstract: The $k$-subset sum problem over finite fields is a classical NP-complete problem.Motivated by coding theory applications, a more complex problem is the higher $m$-th moment $k$-subset sum problem over finite fields. We show that there is a deterministic polynomial time algorithm for the $m$-th moment $k$-subset sum problem over finite fields for each fixed $m$ when the evaluation set is the image… ▽ More The $k$-subset sum problem over finite fields is a classical NP-complete problem.Motivated by coding theory applications, a more complex problem is the higher $m$-th moment $k$-subset sum problem over finite fields. We show that there is a deterministic polynomial time algorithm for the $m$-th moment $k$-subset sum problem over finite fields for each fixed $m$ when the evaluation set is the image set of a monomial or Dickson polynomial of any degree $n$. In the classical case $m=1$, this recovers previous findings. △ Less

Submitted 19 October, 2019; v1 submitted 13 October, 2019; originally announced October 2019.

Comments: Added a clarifying remark in section 3, two new references, corrected a few typos

Deep Holes of Projective Reed-Solomon Codes

Authors: Jun Zhang, Daqing Wan, Krishna Kaipa

Abstract: Projective Reed-Solomon (PRS) codes are Reed-Solomon codes of the maximum possible length q+1. The classification of deep holes --received words with maximum possible error distance-- for PRS codes is an important and difficult problem. In this paper, we use algebraic methods to explicitly construct three classes of deep holes for PRS codes. We show that these three classes completely classify all… ▽ More Projective Reed-Solomon (PRS) codes are Reed-Solomon codes of the maximum possible length q+1. The classification of deep holes --received words with maximum possible error distance-- for PRS codes is an important and difficult problem. In this paper, we use algebraic methods to explicitly construct three classes of deep holes for PRS codes. We show that these three classes completely classify all deep holes of PRS codes with redundancy at most four. Previously, the deep hole classification was only known for PRS codes with redundancy at most three in work arXiv:1612.05447 △ Less

Submitted 3 September, 2019; v1 submitted 16 January, 2019; originally announced January 2019.

Comments: to appear in IEEE Transactions on Information Theory

MSC Class: 11T71; 94B27

Subsolution theorem and the Dirichlet problem for the quaternionic Monge-Ampere equation

Authors: Dongrui Wan

Abstract: In this paper, the author studies quaternionic Monge-Ampère equations and obtain the existence of the solutions to the Dirichlet problem for such equations in strictly pesudoconvex domains in quaternionic space. The stability and subsolution theorems are established for quaternionic Monge-Ampère equations. In this paper, the author studies quaternionic Monge-Ampère equations and obtain the existence of the solutions to the Dirichlet problem for such equations in strictly pesudoconvex domains in quaternionic space. The stability and subsolution theorems are established for quaternionic Monge-Ampère equations. △ Less

Submitted 15 June, 2018; originally announced June 2018.

Comments: 21 pages

Distance Distribution to Received Words in Reed-Solomon Codes

Authors: Jiyou Li, Daqing Wan

Abstract: Let $\mathbb{F}_q$ be the finite field of $q$ elements. In this paper we obtain bounds on the following counting problem: given a polynomial $f(x)\in \mathbb{F}_q[x]$ of degree $k+m$ and a non-negative integer $r$, count the number of polynomials $g(x)\in \mathbb{F}_q[x]$ of degree at most $k-1$ such that $f(x)+g(x)$ has exactly $r$ roots in $\mathbb{F}_q$. Previously, explicit formulas were known… ▽ More Let $\mathbb{F}_q$ be the finite field of $q$ elements. In this paper we obtain bounds on the following counting problem: given a polynomial $f(x)\in \mathbb{F}_q[x]$ of degree $k+m$ and a non-negative integer $r$, count the number of polynomials $g(x)\in \mathbb{F}_q[x]$ of degree at most $k-1$ such that $f(x)+g(x)$ has exactly $r$ roots in $\mathbb{F}_q$. Previously, explicit formulas were known only for the cases $m=0, 1, 2$. As an application, we obtain an asymptotic formula on the list size of the standard Reed-Solomon code $[q, k, q-k+1]_q$. △ Less

Submitted 29 July, 2019; v1 submitted 31 May, 2018; originally announced June 2018.

Comments: 15 pages

The $p$-adic Gelfand-Kapranov-Zelevinsky hypergeometric complex

Authors: Lei Fu, Peigen Li, Daqing Wan, Hao Zhang

Abstract: To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, which are now called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $p$-adic counterpart of the GKZ hypergeometric system. The $p$-adic GKZ hypergeometric complex is a twisted relative de Rham complex of over-convergent differentia… ▽ More To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, which are now called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $p$-adic counterpart of the GKZ hypergeometric system. The $p$-adic GKZ hypergeometric complex is a twisted relative de Rham complex of over-convergent differential forms with logarithmic poles. It is an over-holonomic object in the derived category of arithmetic $\mathcal D$-modules with Frobenius structures. Traces of Frobenius on fibers at Techmüller points of the GKZ hypergeometric complex define the hypergeometric function over the finite field introduced by Gelfand and Graev. Over the non-degenerate locus, the GKZ hypergeometric complex defines an over-convergent $F$-isocrystal. It is the crystalline companion of the $\ell$-adic GKZ hypergeometric sheaf that we constructed before. Our method is a combination of Dwork's theory and the theory of arithmetic $\mathcal D$-modules of Berthelot. △ Less

Submitted 10 October, 2022; v1 submitted 14 April, 2018; originally announced April 2018.

Comments: Final version. To appear in Mathematische Annalen

MSC Class: 14F30; 11T23; 14G15

Cegrell classes and a variational approach for the quaternionic Monge-Ampere equation

Authors: Dongrui Wan

Abstract: In this paper, we introduce finite energy classes of quaternionic plurisubharmonic functions of Cegrell type and study the quaternionic Monge-Ampere operator on these classes on quaternionic hyperconvex domains of Hn. We extend the domain of definition of quaternionic Monge-Ampere operator to some Cegrell classes, the functions of which are not necessarily bounded. We show that integration by part… ▽ More In this paper, we introduce finite energy classes of quaternionic plurisubharmonic functions of Cegrell type and study the quaternionic Monge-Ampere operator on these classes on quaternionic hyperconvex domains of Hn. We extend the domain of definition of quaternionic Monge-Ampere operator to some Cegrell classes, the functions of which are not necessarily bounded. We show that integration by parts and comparison principle are valid on some classes. Moreover, we use the variational method to solve the quaternionic Monge-Ampere equations when the right hand side is a positive mea- sure of finite energy. △ Less

Submitted 23 February, 2018; originally announced February 2018.

Comments: 28 pages

MSC Class: 32U15; 31C10; 32U40

Class numbers and $p$-ranks in ${\mathbb Z}_p^d$-towers

Authors: Daqing Wan

Abstract: To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely many primes is given by a polynomial in $p^n$ and $n$ of total degree at most $d$ for sufficiently large $n$. This conjecture remains open for $d\geq 2$. In th… ▽ More To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely many primes is given by a polynomial in $p^n$ and $n$ of total degree at most $d$ for sufficiently large $n$. This conjecture remains open for $d\geq 2$. In this paper, we prove that this conjecture is true in the function field case. Further, we propose a series of general conjectures on $p$-adic stability of zeta functions in a $p$-adic Lie tower of function fields. △ Less

Submitted 28 May, 2018; v1 submitted 7 December, 2017; originally announced December 2017.

Comments: Updated version, correcting an error

Counting Roots of Polynomials Over Prime Power Rings

Authors: Qi Cheng, Shuhong Gao, J. Maurice Rojas, Daqing Wan

Abstract: Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in $\mathbb{Z}/(p^t)$ of $f$ in deterministic time $(d+\log p)^{O(1)}$. This fixed parameter tractability appears to be new for $t\!\geq\!3$. A consequence for arithme… ▽ More Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in $\mathbb{Z}/(p^t)$ of $f$ in deterministic time $(d+\log p)^{O(1)}$. This fixed parameter tractability appears to be new for $t\!\geq\!3$. A consequence for arithmetic geometry is that we can efficiently compute Igusa zeta functions $Z$, for univariate polynomials, assuming the degree of $Z$ is fixed. △ Less

Submitted 3 November, 2017; originally announced November 2017.

Comments: title page, plus 11 pages, no illustrations, submitted to a conference

Journal ref: Open Book Series 2 (2019) 191-205

Genus growth in $\mathbb{Z}_p$-towers of function fields

Authors: Michiel Kosters, Daqing Wan

Abstract: Let $K$ be a function field over a finite field $k$ of characteristic $p$ and let $K_{\infty}/K$ be a geometric extension with Galois group $\mathbb{Z}_p$. Let $K_n$ be the corresponding subextension with Galois group $\mathbb{Z}/p^n\mathbb{Z}$ and genus $g_n$. In this paper, we give a simple explicit formula $g_n$ in terms of an explicit Witt vector construction of the $\mathbb{Z}_p$-tower. This… ▽ More Let $K$ be a function field over a finite field $k$ of characteristic $p$ and let $K_{\infty}/K$ be a geometric extension with Galois group $\mathbb{Z}_p$. Let $K_n$ be the corresponding subextension with Galois group $\mathbb{Z}/p^n\mathbb{Z}$ and genus $g_n$. In this paper, we give a simple explicit formula $g_n$ in terms of an explicit Witt vector construction of the $\mathbb{Z}_p$-tower. This formula leads to a tight lower bound on $g_n$ which is quadratic in $p^n$. Furthermore, we determine all $\mathbb{Z}_p$-towers for which the genus sequence is stable, in the sense that there are $a,b,c \in \mathbb{Q}$ such that $g_n=a p^{2n}+b p^n +c$ for $n$ large enough. Such genus stable towers are expected to have strong stable arithmetic properties for their zeta functions. A key technical contribution of this work is a new simplified formula for the Schmid-Witt symbol coming from local class field theory. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 13 pages, this is a short version of arXiv:1607.00523

MSC Class: 11G20; 11R37; 12F05

On jumped Wenger graphs

Authors: Li-Ping Wang, Daqing Wan, Weiqiong Wang, Haiyan Zhou

Abstract: In this paper we introduce a new infinite class of bipartite graphs, called jumped Wenger graphs, which are closely related to Wenger graphs. An tight upper bound of the diameter and the exact girth of a jumped Wenger graph $J_m(q, i, j )$ for integers $i, j$, $1\leq i <j \leq m+2$, are determined. In particular, the exact diameter of the jumped Wenger graph $J_m(q, i, j)$ if… ▽ More In this paper we introduce a new infinite class of bipartite graphs, called jumped Wenger graphs, which are closely related to Wenger graphs. An tight upper bound of the diameter and the exact girth of a jumped Wenger graph $J_m(q, i, j )$ for integers $i, j$, $1\leq i <j \leq m+2$, are determined. In particular, the exact diameter of the jumped Wenger graph $J_m(q, i, j)$ if $(i, j)=(m,m+2), (m+1,m+2)$ or $(m,m+1)$ is also obtained. △ Less

Submitted 10 February, 2017; originally announced February 2017.

On the arithmetic of Z_p-extensions

Authors: Michiel Kosters, Daqing Wan

Abstract: This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let… ▽ More This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\mathbf{Z}$-extensions of $K$. Since this theory is hard to find in literature, we have included a complete treatment in the paper. In the second part of the paper, we study $\mathbf{Z}_p$-extensions of a local field $K=k((T))$ of characteristic $p>0$ where $k$ is a finite field. Local class field theory and Artin-Schreier-Witt theory give us the Schmid-Witt symbol $$[\ ,\ ): W(K)/\wp W(K) \times \widehat{K^*} \to W(\mathbf{F}_p)=\mathbf{Z}_p,$$ which contains the ramification information of $\mathbf{Z}_p$-extensions of $K$. We present a new simplified formula for $[\ ,\ )$. This formula allows one to compute ramification groups, conductors and discriminants in an easy way. In the third part, we study $\mathbf{Z}_p$-extensions of global function fields over a finite field. First, we give a formula for computing the genus in such a tower. We show that a previously obtained lower bound for the genus growth in a $\mathbf{Z}_p$-extension is incorrect and we give a sharp lower bound. We also study when the genus behaves in a `stable' way. Finally, we find unique representatives of $\mathbf{Z}_p$-extensions of the rational function field $k(X)$, and compute the genus in such a tower. △ Less

Submitted 2 July, 2016; originally announced July 2016.

Comments: 30 pages, comments welcome

MSC Class: 11R37 (primary); 11G20; 12F05

Slopes for higher rank Artin-Schreier-Witt Towers

Authors: Rufei Ren, Daqing Wan, Liang Xiao, Myungjun Yu

Abstract: We fix a monic polynomial $\bar f(x) \in \mathbb{F}_q[x]$ over a finite field of characteristic $p$, and consider the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower defined by $\bar f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb{A}^1$, whose Galois group is canonically isomorphic to $\mathbb{Z}_{p^\ell}$, the degree $\ell$ unramified extension of… ▽ More We fix a monic polynomial $\bar f(x) \in \mathbb{F}_q[x]$ over a finite field of characteristic $p$, and consider the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower defined by $\bar f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb{A}^1$, whose Galois group is canonically isomorphic to $\mathbb{Z}_{p^\ell}$, the degree $\ell$ unramified extension of $\mathbb{Z}_p$, which is abstractly isomorphic to $(\mathbb{Z}_p)^\ell$ as a topological group. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function asymptotically form a finite union of arithmetic progressions. As a corollary, we prove the spectral halo property of the spectral variety associated to the $\mathbb{Z}_{p^{\ell}}$-Artin-Schreier-Witt tower. This extends the main result in [DWX] from rank one case $\ell=1$ to the higher rank case $\ell\geq 1$. △ Less

Submitted 1 January, 2017; v1 submitted 7 May, 2016; originally announced May 2016.

Comments: 20 pages

Artin Conjecture for p-adic Galois Representations of Function Fields

Authors: Ruochuan Liu, Daqing Wan

Abstract: For a global function field K of positive characteristic p, we show that Artin conjecture for L-functions of geometric p-adic Galois representations of K is true in a non-trivial p-adic disk but is false in the full p-adic plane. In particular, we prove the non-rationality of the geometric unit root L-functions. For a global function field K of positive characteristic p, we show that Artin conjecture for L-functions of geometric p-adic Galois representations of K is true in a non-trivial p-adic disk but is false in the full p-adic plane. In particular, we prove the non-rationality of the geometric unit root L-functions. △ Less

Submitted 23 February, 2017; v1 submitted 3 January, 2016; originally announced January 2016.

Comments: Remove the condition 6|k in Lemma 3.8; final version

MSC Class: 11G40

Counting polynomial subset sums

Authors: Jiyou Li, Daqing Wan

Abstract: Let $D$ be a subset of a finite commutative ring $R$ with identity. Let $f(x)\in R[x]$ be a polynomial of positive degree $d$. For integer $0\leq k \leq |D|$, we study the number $N_f(D,k,b)$ of $k$-subsets $S\subseteq D$ such that \begin{align*} \sum_{x\in S} f(x)=b. \end{align*} In this paper, we establish several asymptotic formulas for $N_f(D,k, b)$, depending on the nature of the ring… ▽ More Let $D$ be a subset of a finite commutative ring $R$ with identity. Let $f(x)\in R[x]$ be a polynomial of positive degree $d$. For integer $0\leq k \leq |D|$, we study the number $N_f(D,k,b)$ of $k$-subsets $S\subseteq D$ such that \begin{align*} \sum_{x\in S} f(x)=b. \end{align*} In this paper, we establish several asymptotic formulas for $N_f(D,k, b)$, depending on the nature of the ring $R$ and $f$. For $R=\mathbb{Z}_n$, let $p=p(n)$ be the smallest prime divisor of $n$, $|D|=n-c \geq C_dn p^{-\frac 1d }+c$ and $f(x)=a_dx^d +\cdots +a_0\in \mathbb{Z}[x]$ with $(a_d, \dots, a_1, n)=1$. Then $$\left| N_f(D, k, b)-\frac{1}{n}{n-c \choose k}\right|\leq {δ(n)(n-c)+(1-δ(n))(C_dnp^{-\frac 1d}+c)+k-1\choose k},$$ partially answering an open question raised by Stanley \cite{St}, where $δ(n)=\sum_{i\mid n, μ(i)=-1}\frac 1 i$ and $C_d=e^{1.85d}$. Furthermore, if $n$ is a prime power, then $δ(n) =1/p$ and one can take $C_d=4.41$. For $R=\mathbb{F}_q$ of characteristic $p$, let $f(x)\in \mathbb{F}_q[x]$ be a polynomial of degree $d$ not divisible by $p$ and $D\subseteq \mathbb{F}_q$ with $|D|=q-c\geq (d-1)\sqrt{q}+c$. Then $$\left| N_f(D, k, b)-\frac{1}{q}{q-c \choose k}\right|\leq {\frac{q-c}{p}+\frac {p-1}{p}((d-1)q^{\frac 12}+c)+k-1 \choose k}.$$ If $f(x)=ax+b$, then this problem is precisely the well-known subset sum problem over a finite abelian group. Let $G$ be a finite abelian group and let $D\subseteq G$ with $|D|=|G|-c\geq c$. Then $$\left| N_x(D, k, b)-\frac{1}{|G|}{|G|-c \choose k}\right|\leq {c + (|G|-2c)δ(e(G))+k-1 \choose k},$$ where $e(G)$ is the exponent of $G$ and $δ(n)=\sum_{i\mid n, μ(i)=-1}\frac 1 i$. In particular, we give a new short proof for the explicit counting formula for the case $D=G$. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: 15 pages. Any comment are warmly welcome

Deep Holes in Reed-Solomon Codes Based on Dickson Polynomials

Authors: Matt Keti, Daqing Wan

Abstract: For an $[n,k]$ Reed-Solomon code $\mathcal{C}$, it can be shown that any received word $r$ lies a distance at most $n-k$ from $\mathcal{C}$, denoted $d(r,\mathcal{C})\leq n-k$. Any word $r$ meeting the equality is called a deep hole. Guruswami and Vardy (2005) showed that for a specific class of codes, determining whether or not a word is a deep hole is NP-hard. They suggested passingly that it ma… ▽ More For an $[n,k]$ Reed-Solomon code $\mathcal{C}$, it can be shown that any received word $r$ lies a distance at most $n-k$ from $\mathcal{C}$, denoted $d(r,\mathcal{C})\leq n-k$. Any word $r$ meeting the equality is called a deep hole. Guruswami and Vardy (2005) showed that for a specific class of codes, determining whether or not a word is a deep hole is NP-hard. They suggested passingly that it may be easier when the evaluation set of $\mathcal{C}$ is large or structured. Following this idea, we study the case where the evaluation set is the image of a Dickson polynomial, whose values appear with a special uniformity. To find families of received words that are not deep holes, we reduce to a subset sum problem (or equivalently, a Dickson polynomial-variation of Waring's problem) and find solution conditions by applying an argument using estimates on character sums indexed over the evaluation set. △ Less

Submitted 17 April, 2016; v1 submitted 6 July, 2015; originally announced July 2015.

Index bounds for character sums with polynomials over finite fields

Authors: Daqing Wan, Qiang Wang

Abstract: We provide an index bound for character sums of polynomials over finite fields. This improves the Weil bound for high degree polynomials with small indices, as well as polynomials with large indices that are generated by cyclotomic mappings of small indices. As an application, we also give some general bounds for numbers of solutions of some Artin-Schreier equations and mininum weights of some cyc… ▽ More We provide an index bound for character sums of polynomials over finite fields. This improves the Weil bound for high degree polynomials with small indices, as well as polynomials with large indices that are generated by cyclotomic mappings of small indices. As an application, we also give some general bounds for numbers of solutions of some Artin-Schreier equations and mininum weights of some cyclic codes. △ Less

Submitted 3 July, 2015; originally announced July 2015.

MSC Class: 11T24

Viscosity solutions to quaternionic Monge-Ampère equations

Authors: Dongrui Wan, Wei Wang

Abstract: Quaternionic Monge-Ampère equations have recently been studied intensively using methods from pluripotential theory. We present an alternative approach by using the viscosity methods. We study the viscosity solutions to the Dirichlet problem for quaternionic Monge-Ampère equations $det(f)=F(q,f)$ with boundary value $f=g$ on $\partialΩ$. Here $Ω$ is a bounded domain on the quaternionic space… ▽ More Quaternionic Monge-Ampère equations have recently been studied intensively using methods from pluripotential theory. We present an alternative approach by using the viscosity methods. We study the viscosity solutions to the Dirichlet problem for quaternionic Monge-Ampère equations $det(f)=F(q,f)$ with boundary value $f=g$ on $\partialΩ$. Here $Ω$ is a bounded domain on the quaternionic space $\mathbb{H}^n$, $g\in C(\partialΩ)$, and $F(q,t)$ is a continuous function on $Ω\times\mathbb{R}\rightarrow\mathbb{R}^+$ which is non-decreasing in the second variable. We prove a viscosity comparison principle and a solvability theorem. Moreover, the equivalence between viscosity and pluripotential solutions is showed. △ Less

Submitted 12 June, 2015; originally announced June 2015.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1209.5343 by other authors

Potential theory in several quaternionic variables

Authors: Dongrui Wan

Abstract: In this paper, we establish the quaternionic versions of the potential description of various "small" sets related to the quaternionic plurisubharmonic functions in $\mathbb{H}^n$. We use the quaternionic capacity introduced in \cite{wan4} to characterize the $(-\infty)$-sets of plurisubharmonic functions, as the sets of the vanishing capacity. The latter requirement is also equivalent to the negl… ▽ More In this paper, we establish the quaternionic versions of the potential description of various "small" sets related to the quaternionic plurisubharmonic functions in $\mathbb{H}^n$. We use the quaternionic capacity introduced in \cite{wan4} to characterize the $(-\infty)$-sets of plurisubharmonic functions, as the sets of the vanishing capacity. The latter requirement is also equivalent to the negligibility of the set. We also prove the Josefson's theorem on the equivalence of the locally and globally quaternionic polar sets in $\mathbb{H}^n$, following the method of Bedford-Taylor. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 21 pages

MSC Class: 31C10; 32U20; 32U30

On the minimum distance of elliptic curve codes

Authors: Jiyou Li, Daqing Wan, Jun Zhang

Abstract: Computing the minimum distance of a linear code is one of the fundamental problems in algorithmic coding theory. Vardy [14] showed that it is an \np-hard problem for general linear codes. In practice, one often uses codes with additional mathematical structure, such as AG codes. For AG codes of genus $0$ (generalized Reed-Solomon codes), the minimum distance has a simple explicit formula. An inter… ▽ More Computing the minimum distance of a linear code is one of the fundamental problems in algorithmic coding theory. Vardy [14] showed that it is an \np-hard problem for general linear codes. In practice, one often uses codes with additional mathematical structure, such as AG codes. For AG codes of genus $0$ (generalized Reed-Solomon codes), the minimum distance has a simple explicit formula. An interesting result of Cheng [3] says that the minimum distance problem is already \np-hard (under \rp-reduction) for general elliptic curve codes (ECAG codes, or AG codes of genus $1$). In this paper, we show that the minimum distance of ECAG codes also has a simple explicit formula if the evaluation set is suitably large (at least $2/3$ of the group order). Our method is purely combinatorial and based on a new sieving technique from the first two authors [8]. This method also proves a significantly stronger version of the MDS (maximum distance separable) conjecture for ECAG codes. △ Less

Submitted 7 January, 2015; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: 13 pages

The eigencurve over the boundary of weight space

Authors: Ruochuan Liu, Daqing Wan, Liang Xiao

Abstract: We prove that the eigencurve associated to a definite quaternion algebra over $\QQ$ satisfies the following properties, as conjectured by Coleman--Mazur and Buzzard--Kilford: (a) over the boundary annuli of weight space, the eigencurve is a disjoint union of (countably) infinitely many connected components each finite and flat over the weight annuli, (b) the $U_p$-slopes of points on each fixed co… ▽ More We prove that the eigencurve associated to a definite quaternion algebra over $\QQ$ satisfies the following properties, as conjectured by Coleman--Mazur and Buzzard--Kilford: (a) over the boundary annuli of weight space, the eigencurve is a disjoint union of (countably) infinitely many connected components each finite and flat over the weight annuli, (b) the $U_p$-slopes of points on each fixed connected component are proportional to the $p$-adic valuations of the parameter on weight space, and (c) the sequence of the slope ratios form a union of finitely many arithmetic progressions with the same common difference. In particular, as a point moves towards the boundary on an irreducible connected component of the eigencurve, the slope converges to zero. △ Less

Submitted 16 November, 2016; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 36 pages. Final version, to appear in Duke Math Journal

MSC Class: 11F33 (primary); 11F85 11S05 (secondary)

Journal ref: Duke Math. J. 166, no. 9 (2017), 1739-1787

Linearized Wenger graphs

Authors: Xiwang Cao, Mei Lu, Daqing Wan, Li-Ping Wang, Qiang Wang

Abstract: Motivated by recent extensive studies on Wenger graphs, we introduce a new infinite class of bipartite graphs of the similar type, called linearized Wenger graphs. The spectrum, diameter and girth of these linearized Wenger graphs are determined. Motivated by recent extensive studies on Wenger graphs, we introduce a new infinite class of bipartite graphs of the similar type, called linearized Wenger graphs. The spectrum, diameter and girth of these linearized Wenger graphs are determined. △ Less

Submitted 30 November, 2014; originally announced December 2014.

Comments: 11pages

MSC Class: 05C50; 05C38

Sparse Univariate Polynomials with Many Roots Over Finite Fields

Authors: Qi Cheng, Shuhong Gao, J. Maurice Rojas, Daqing Wan

Abstract: Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound of $2(q-1)^{\frac{t-2}{t-1}}$ on the number of cosets in $\mathbb{F}^*_q$ needed to cover the roots of $f$ in $\mathbb{F}^*_q$. Here, we give explicit $f$ with… ▽ More Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound of $2(q-1)^{\frac{t-2}{t-1}}$ on the number of cosets in $\mathbb{F}^*_q$ needed to cover the roots of $f$ in $\mathbb{F}^*_q$. Here, we give explicit $f$ with root structure approaching this bound: For $q$ a $(t-1)$-st power of a prime we give an explicit $t$-nomial vanishing on $q^{\frac{t-2}{t-1}}$ distinct cosets of $\mathbb{F}^*_q$. Over prime fields $\mathbb{F}_p$, computational data we provide suggests that it is harder to construct explicit sparse polynomials with many roots. Nevertheless, assuming the Generalized Riemann Hypothesis, we find explicit trinomials having $Ω\left(\frac{\log p}{\log \log p}\right)$ distinct roots in $\mathbb{F}_p$. △ Less

Submitted 6 July, 2016; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: 9 pages, 1 figure, presented at MEGA 2015. This is the journal version, and includes new extremal examples and additional references, including pointers to recent advances by Kelley and Owen. Comments and questions welcome

Slopes of eigencurves over boundary disks

Authors: Daqing Wan, Liang Xiao, Jun Zhang

Abstract: Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation happens over a definite quaternion algebra by Jacquet-Langlands correspondence; it generalizes a prior work of Daniel Jacobs who treated the case of $p=3$ with… ▽ More Let $p$ be a prime number. We study the slopes of $U_p$-eigenvalues on the subspace of modular forms that can be transferred to a definite quaternion algebra. We give a sharp lower bound of the corresponding Newton polygon. The computation happens over a definite quaternion algebra by Jacquet-Langlands correspondence; it generalizes a prior work of Daniel Jacobs who treated the case of $p=3$ with a particular level. In case when the modular forms have a finite character of conductor highly divisible by $p$, we improve the lower bound to show that the slopes of $U_p$-eigenvalues grow roughly like arithmetic progressions as the weight $k$ increases. This is the first very positive evidence for Buzzard-Kilford's conjecture on the behavior of the eigencurve near the boundary of the weight space, that is proved for arbitrary $p$ and general level. We give the exact formula of a fraction of the slope sequence. △ Less

Submitted 19 July, 2016; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: 42 pages, to appear in Mathematische Annalen

MSC Class: 11F33; 11F85

On quaternionic Monge-Ampere operator, closed positive currents and Lelong-Jensen type formula on quaternionic space

Authors: Dongrui Wan, Wei Wang

Abstract: In this paper, we introduce the first-order differential operators $d_0$ and $d_1$ acting on the quaternionic version of differential forms on the flat quaternionic space $\mathbb{H}^n$. The behavior of $d_0,d_1$ and $\triangle=d_0d_1$ is very similar to $\partial,\overline{\partial}$ and $\partial \overline{\partial}$ in several complex variables. The quaternionic Monge-Ampère operator can be def… ▽ More In this paper, we introduce the first-order differential operators $d_0$ and $d_1$ acting on the quaternionic version of differential forms on the flat quaternionic space $\mathbb{H}^n$. The behavior of $d_0,d_1$ and $\triangle=d_0d_1$ is very similar to $\partial,\overline{\partial}$ and $\partial \overline{\partial}$ in several complex variables. The quaternionic Monge-Ampère operator can be defined as $(\triangle u)^n$ and has a simple explicit expression. We define the notion of closed positive currents in the quaternionic case, and extend several results in complex pluripotential theory to the quaternionic case: define the Lelong number for closed positive currents, obtain the quaternionic version of Lelong-Jensen type formula, and generalize Bedford-Taylor theory, i.e., extend the definition of the quaternionic Monge-Ampère operator to locally bounded quaternionic plurisubharmonic functions and prove the corresponding convergence theorem. △ Less

Submitted 21 January, 2014; originally announced January 2014.

Comments: 32 pages

Newton slopes for Artin-Schreier-Witt towers

Authors: Christopher Davis, Daqing Wan, Liang Xiao

Abstract: We fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb A^1$, with total Galois group $\mathbb Z_p$. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associa… ▽ More We fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb A^1$, with total Galois group $\mathbb Z_p$. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function form arithmetic progressions which are independent of the conductor of the character. As a corollary, we obtain a result on the behavior of the slopes of the eigencurve associated to the Artin-Schreier-Witt tower, analogous to the result of Buzzard and Kilford. △ Less

Submitted 19 February, 2016; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: 15 pages, upon the refereed version (to appear in Math. Ann), we fixed two minor errors, one in the proof of Theorem 3.8, the other for Theorem 4.3

MSC Class: 11M38 (Primary); 11F85; 11G20; 14G10

Traps to the BGJT-Algorithm for Discrete Logarithms

Authors: Qi Cheng, Daqing Wan, Jincheng Zhuang

Abstract: In the recent breakthrough paper by Barbulescu, Gaudry, Joux and Thom{é}, a quasi-polynomial time algorithm (QPA) is proposed for the discrete logarithm problem over finite fields of small characteristic. The time complexity analysis of the algorithm is based on several heuristics presented in their paper. We show that some of the heuristics are problematic in their original forms, in particular,… ▽ More In the recent breakthrough paper by Barbulescu, Gaudry, Joux and Thom{é}, a quasi-polynomial time algorithm (QPA) is proposed for the discrete logarithm problem over finite fields of small characteristic. The time complexity analysis of the algorithm is based on several heuristics presented in their paper. We show that some of the heuristics are problematic in their original forms, in particular, when the field is not a Kummer extension. We believe that the basic idea behind the new approach should still work, and propose a fix to the algorithm in non-Kummer cases, without altering the quasi-polynomial time complexity. The modified algorithm is also heuristic. Further study is required in order to fully understand the effectiveness of the new approach. △ Less

Submitted 18 October, 2013; originally announced October 2013.

MSC Class: 11Y16

Power moments of Kloosterman sums

Authors: Ke Gong, Willem Veys, Daqing Wan

Abstract: In this paper we give an essential treatment for estimating arbitrary integral power moments of Kloosterman sums over the residue class ring. For prime moduli we derive explicit estimates, and for prime-power moduli we prove concrete formulas using computations with Igusa zeta functions. In this paper we give an essential treatment for estimating arbitrary integral power moments of Kloosterman sums over the residue class ring. For prime moduli we derive explicit estimates, and for prime-power moduli we prove concrete formulas using computations with Igusa zeta functions. △ Less

Submitted 19 February, 2016; v1 submitted 18 June, 2013; originally announced June 2013.

Comments: To appear in Journal of Number Theory, 25 pages

MSC Class: 11L05; 11L07; 11S80

A Class of Incomplete Character Sums

Authors: Lei Fu, Daqing Wan

Abstract: Using $\ell$-adic cohomology of tensor inductions of lisse $\overline{\mathbb Q}_\ell$-sheaves, we study a class of incomplete character sums. Using $\ell$-adic cohomology of tensor inductions of lisse $\overline{\mathbb Q}_\ell$-sheaves, we study a class of incomplete character sums. △ Less

Submitted 5 January, 2025; v1 submitted 14 March, 2013; originally announced March 2013.

Comments: José Alves Oliveira and Lucas Reis point out an error in the old version of Theorem 4.6. The assumption that Tr(g) is not of the form r^q-r is corrected to that Tr(g) is not of the form r^p-r

MSC Class: 14F20; 11L40; 11T23

Algebraic Cayley Graphs over Finite Fields

Authors: Mei Lu, Daqing Wan, Li-Ping Wang, Xiao-Dong Zhang

Abstract: A new algebraic Cayley graph is constructed using finite fields. Its connectedness and diameter bound are studied via Weil's estimate for character sums. These graphs provide a new source of expander graphs, extending classical results of Chung. A new algebraic Cayley graph is constructed using finite fields. Its connectedness and diameter bound are studied via Weil's estimate for character sums. These graphs provide a new source of expander graphs, extending classical results of Chung. △ Less

Submitted 6 April, 2013; v1 submitted 14 March, 2013; originally announced March 2013.

Value sets of polynomial maps over finite fields

Authors: Gary L. Mullen, Daqing Wan, Qiang Wang

Abstract: We provide upper bounds for the cardinality of the value set of a polynomial map in several variables over a finite field. These bounds generalize earlier bounds for univariate polynomials. We provide upper bounds for the cardinality of the value set of a polynomial map in several variables over a finite field. These bounds generalize earlier bounds for univariate polynomials. △ Less

Submitted 30 October, 2012; originally announced October 2012.

Comments: To appear in the Oxford Quarterly Journal of Mathematics, 7 pages

L-functions of p-adic characters

Authors: Christopher Davis, Daqing Wan

Abstract: We define a p-adic character to be a continuous homomorphism from 1 + t\Fq[[t]] to \Zp^*. We use the ring of big Witt vectors over Fq to exhibit a bijection between p-adic characters and sequences (c_i) of elements in Zq, indexed by natural numbers relatively prime to p, and which converge to zero p-adically. To such a p-adic character we associate an L-function, and we prove that this L-function… ▽ More We define a p-adic character to be a continuous homomorphism from 1 + t\Fq[[t]] to \Zp^*. We use the ring of big Witt vectors over Fq to exhibit a bijection between p-adic characters and sequences (c_i) of elements in Zq, indexed by natural numbers relatively prime to p, and which converge to zero p-adically. To such a p-adic character we associate an L-function, and we prove that this L-function is p-adic meromorphic if the corresponding sequence (c_i) is overconvergent. If more generally the sequence is c\log-convergent, we show that the associated L-function is meromorphic in the open disk of radius q^c. Finally, we exhibit examples of c\log-convergent sequences with associated L-functions which are not meromorphic in any disk of radius greater than q^c. △ Less

Submitted 24 June, 2012; originally announced June 2012.

Comments: 19 pages

Report number: CPH-SYM-DNRF92 MSC Class: 11G40 (Primary) 13F35 (Secondary)

Journal ref: Nagoya Math. J. 213 (2014), 77-104

Counting Value Sets: Algorithm and Complexity

Authors: Qi Cheng, Joshua E. Hill, Daqing Wan

Abstract: Let $p$ be a prime. Given a polynomial in $\F_{p^m}[x]$ of degree $d$ over the finite field $\F_{p^m}$, one can view it as a map from $\F_{p^m}$ to $\F_{p^m}$, and examine the image of this map, also known as the value set. In this paper, we present the first non-trivial algorithm and the first complexity result on computing the cardinality of this value set. We show an elementary connection betwe… ▽ More Let $p$ be a prime. Given a polynomial in $\F_{p^m}[x]$ of degree $d$ over the finite field $\F_{p^m}$, one can view it as a map from $\F_{p^m}$ to $\F_{p^m}$, and examine the image of this map, also known as the value set. In this paper, we present the first non-trivial algorithm and the first complexity result on computing the cardinality of this value set. We show an elementary connection between this cardinality and the number of points on a family of varieties in affine space. We then apply Lauder and Wan's $p$-adic point-counting algorithm to count these points, resulting in a non-trivial algorithm for calculating the cardinality of the value set. The running time of our algorithm is $(pmd)^{O(d)}$. In particular, this is a polynomial time algorithm for fixed $d$ if $p$ is reasonably small. We also show that the problem is #P-hard when the polynomial is given in a sparse representation, $p=2$, and $m$ is allowed to vary, or when the polynomial is given as a straight-line program, $m=1$ and $p$ is allowed to vary. Additionally, we prove that it is NP-hard to decide whether a polynomial represented by a straight-line program has a root in a prime-order finite field, thus resolving an open problem proposed by Kaltofen and Koiran in \cite{Kaltofen03,KaltofenKo05}. △ Less

Submitted 4 November, 2011; originally announced November 2011.

MSC Class: 11Yxx

An Asymptotic Formula For Counting Subset Sums Over Subgroups Of Finite Fields

Authors: Guizhen Zhu, Daqing Wan

Abstract: Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b. Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b. △ Less

Submitted 31 December, 2010; originally announced January 2011.

Comments: 18 pages, no figures

MSC Class: 05A15; 11T24; 11T99; 12E20

Improvements of The Weil Bound For Artin-Schreier Curves

Authors: Antonio Rojas-Leon, Daqing Wan

Abstract: For Artin-Schreier curve y^q -y = f(x) defined over a finite field F_q of q elements, we show that the Weil bound for the number of the rational points over extension fields of F_q can often be greatly improved, essentially removing an extra factor of size about the square root of q in the error term. For Artin-Schreier curve y^q -y = f(x) defined over a finite field F_q of q elements, we show that the Weil bound for the number of the rational points over extension fields of F_q can often be greatly improved, essentially removing an extra factor of size about the square root of q in the error term. △ Less

Submitted 4 December, 2010; v1 submitted 13 April, 2010; originally announced April 2010.

Comments: revised version, title slightly changed, to appear in Math Ann

Factorial and Noetherian Subrings of Power Series Rings

Authors: Damek Davis, Daqing Wan

Abstract: Let $F$ be a field. We show that certain subrings contained between the polynomial ring $F[X] = F[X_1, ..., X_n]$ and the power series ring $F[X][[Y]] = F[X_1, ..., X_n][[Y]]$ have Weierstrass Factorization, which allows us to deduce both unique factorization and the Noetherian property. These intermediate subrings are obtained from elements of $F[X][[Y]]$ by bounding their total $X$-degree abov… ▽ More Let $F$ be a field. We show that certain subrings contained between the polynomial ring $F[X] = F[X_1, ..., X_n]$ and the power series ring $F[X][[Y]] = F[X_1, ..., X_n][[Y]]$ have Weierstrass Factorization, which allows us to deduce both unique factorization and the Noetherian property. These intermediate subrings are obtained from elements of $F[X][[Y]]$ by bounding their total $X$-degree above by a positive real-valued monotonic up function $λ$ on their $Y$-degree. These rings arise naturally in studying $p$-adic analytic variation of zeta functions over finite fields. Future research into this area may study more complicated subrings in which $Y = (Y_1, >..., Y_m)$ has more than one variable, and for which there are multiple degree functions, $λ_1, ..., λ_m$. Another direction of study would be to generalize these results to $k$-affinoid algebras. △ Less

Submitted 21 October, 2009; originally announced October 2009.

Comments: 13 pages

MSC Class: 13F25; 14A05; 14F30