Kam Hung Yau
We obtain an upper bound for the distribution of primes in the form $n^4 + k$ up to $x$, averaged over $k$ with small square-full part. As a corollary, we show that for almost all $k$, there is an expected amount of primes in the form $n^4 +k$ up to $x$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
For every prime integer $p$, an explicit factorization of the principal ideal $p\z_K$ into prime ideals of $\z_K$ is given, where $K$ is a quartic number field defined by an irreducible polynomial $X^4+aX+b\in\z[X]$.
Quartic Gauss sums over primes and metaplectic theta functions
本文改进了四次高斯和的估计，并引入了新的数学工具，同时推测了相关矩的渐进行为。
We consider the simplest quartic number fields $\mathbb{K}_m$ defined by the irreducible quartic polynomials $$x^4-mx^3-6x^2+mx+1,$$ where $m$ runs over the positive rational integers such that the odd part of $m^2+16$ is squarefree. In this paper, we study the common index divisor $I(\mathbb K_m)$ and determine explicitly the prime ideal decomposition for any prime number in any simplest quartic number fields $\mathbb{K}_m$. On the other hand, we establish an asymptotic formula for the number of simplest quartic fields with discriminant $\leq x$ and given index.
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.
Large values of cubic and quartic Dirichlet $L$-functions of prime moduli
本文在广义黎曼假设下，应用谐振子方法研究素数模的三次与四次Dirichlet L-函数族，展示其在中心点处的大值。
Ratios conjecture of quartic $L$-functions of prime moduli
在广义黎曼假设下，利用多重狄利克雷级数方法，研究了四次海格尔 $L$-函数在素数模上的比率猜想，并评估了中心值的一阶矩和一级密度。
Well-Rounded ideal lattices of cyclic cubic and quartic fields
本文研究了循环三次和四次域具有良圆理想格的判据，证明了循环三次域必含良圆理想，构造了循环四次域的良圆理想族，并给出了特定素理想为良圆的充要条件及奇素数分解。
In this paper we study some products related to quadratic residues and quartic residues modulo primes. Let $p$ be an odd prime and let $A$ be any integer. We mainly determine completely the product $$f_p(A):=\prod_{1\le i,j\le(p-1)/2\atop p\nmid i^2-Aij-j^2}(i^2-Aij-j^2)$$ modulo $p$; for example, if $p\equiv1\pmod4$ then $$f_p(A)\equiv\begin{cases}-(A^2+4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=1, \\(-A^2-4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also determine $$\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2+5ij+2j^2…
We study the first moments of central values of Hecke $L$-functions associated with quadratic, cubic and quartic symbols to prime moduli. This also enables us to obtain results on first moments of central values of certain families of cubic and quartic Dirichlet $L$-functions of prime moduli.
We construct a collection of matrices defined by quadratic residue symbols, termed "quadratic residue matrices", associated to the splitting behavior of prime ideals in a composite of quadratic extensions of $\mathbb{Q}$, and prove a simple criterion characterizing such matrices. We also study the analogous classes of matrices constructed from the cubic and quartic residue symbols for a set of prime ideals of $\mathbb{Q}(\sqrt{-3})$ and $\mathbb{Q}(i)$, respectively.
For an algebraic number field $K$ and a prime number $p$, let $\widetilde{K}/K$ be the maximal multiple $\mathbb{Z}_p$-extension. Greenberg's generalized conjecture (GGC) predicts that the Galois group of the maximal unramified abelian pro-$p$ extension of $\widetilde{K}$ is pseudo-null over the completed group ring $\mathbb{Z}_p[\![\mathop{\mathrm{Gal}}\nolimits(\widetilde{K}/K)]\!]$. We show that GGC holds for some imaginary quartic fields containing imaginary quadratic fields and some prime numbers.
Let $p$ be a prime. The $2$-primary part of the class group of the pure quartic field $\mathbb{Q}(\sqrt[4]{p})$ has been determined by Parry and Lemmermeyer when $p \not\equiv \pm 1\bmod 16$. In this paper, we improve the known results in the case $p\equiv \pm 1\bmod 16$. In particular, we determine all primes $p$ such that $4$ does not divide the class number of $\mathbb{Q}(\sqrt[4]{p})$. We also conjecture a relation between the class numbers of $\mathbb{Q}(\sqrt[4]{p})$ and $\mathbb{Q}(\sqrt{-2p})$. We show that this conjecture implies a distribution result of the $2$-class numbers of $\mat…
Let $K=\mathbb{Q}(\sqrt[4]{pd^{2}})$ be a real pure quartic number field and $k=\mathbb{Q}(\sqrt{p})$ its real quadratic subfield, where $p\equiv 5\pmod 8$ is a prime integer and $d$ an odd square-free integer coprime to $p$. In this work, we calculate $r_2(K)$, the $2$-rank of the class group of $K$, in terms of the number of prime divisors of $d$ that decompose or remain inert in $\mathbb{Q}(\sqrt{p})$, then we will deduce forms of $d$ satisfying $r_2(K)=2$. In the last case, the $4$-rank of the class group of $K$ is given too.
We estimate the number of primes represented by a general quadratic polynomial with discriminant $Δ$, assuming that the corresponding real character is exceptional.
In this paper, we prove a theorem on the distribution of primes in cubic progressions on average.
It is shown that the sum of class numbers of orders in totally complex quartic fields with no real quadratic subfield obeys an asymptotic law similar to the prime numbers, as the bound on the regulators tends to infinity. Here only orders which are maximal at a given set of primes containing an even number of elements are considered. The proof is accomplished by means of a Prime Geodesic Theorem for symmetric spaces formed as compact quotients of SL(4,R). This result extends work of Sarnak in the real quadratic case and of Deitmar and Hoffmann in the complex cubic case.
Exponential sums over singular binary quartic forms and applications
本文研究奇异二元四次型上的指数和，给出其有限域傅里叶变换的显式公式，并利用初等代数几何与经典不变量理论证明点计数函数的突出出现，进而证明判别式无平方因子且至多含四个素因子的椭圆曲线存在大量2-Selmer元素。
This is a survey article on the Hardy-Littlewood conjecture about primes in quadratic progressions. We recount the history and quote some results approximating this hitherto unresolved conjecture.
We investigate the average distribution of primes represented by positive definite integral binary quadratic forms, the average being taken over negative fundamental discriminants in long ranges. In particular, we prove corresponding results of Bombieri-Vinogradov type and of Barban-Davenport-Halberstam type, although with shorter ranges than in the original theorems for primes in arithmetic progressions: The results imply that, for all $a>0$, the least prime that can be represented by any given positive definite binary quadratic form of discriminant $q$ is smaller than $|q|^{7+a}$ for all for…
Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. The main aim of this paper is to determine explicitly the Hilbert genus field of the imaginary cyclic quartic fields of the form $\mathbb{Q}(\sqrt{-a\varepsilon_p\sqrt{p}})$.
Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. In the present paper, we construct the Hilbert genus field of the real cyclic quartic fields $\mathbb{Q}(\sqrt{a\varepsilon_p\sqrt{p}})$.
In his paper Almost-Primes Represented by Quadratic Polynomials, Iwaniec proved that the polynomial n^2 + 1 takes on values with at most two prime factors (counted with multiplicity) infinitely often. He states that "in order to avoid technical complications, we shall restrict our proof to the polynomial n^2 + 1.". In this exposition, we follow Iwaniec's proof and show that for any irreducible quadratic polynomial G(n) (satisfying some obviously necessary hypotheses), G(n) has at most two prime factors for infinitely many values of n.
We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of local densities, is approximately 75.96%. We prove that the local density at a prime $p$ is given by a fixed degree-$9$ rational function of $p$ for all odd $p$ (and for the generalised equation, the sa…
Let $f$ be a primitive positive definite integral binary quadratic form of discriminant $-D$ and let $π_f(x)$ be the number of primes up to $x$ which are represented by $f$. We prove several types of upper bounds for $π_f(x)$ within a constant factor of its asymptotic size: unconditional, conditional on the Generalized Riemann Hypothesis (GRH), and for almost all discriminants. The key feature of these estimates is that they hold whenever $x$ exceeds a small power of $D$ and, in some cases, this range of $x$ is essentially best possible. In particular, if $f$ is reduced then this optimal range…
n this paper, we state several conjectures regarding distribution of primes and of pairs of primes represented by irreducible homogeneous polynomial in two variables $f(a,b)$. We formulate conjectures with respect to the slope $t=b/a$ for any irreducible polynomial $f$. Here, we formulate a conjecture for all irreducible polynomials. We also consider conjectures for distribution of pairs of primes. It show unexpected relation to multiple Dedekind zeta function - at $s=2$ for one prime and at $(s_1,s_2)=(2,2)$ for pairs of primes. We tested the conjecture for pairs of primes for several quadrat…
It is shown that every sufficiently large even integer is a sum of two primes and exactly 13 powers of 2. Under the Generalized Rieman Hypothesis one can replace 13 by 7. Unlike previous work on this problem, the proof avoids numerical calculations with explicit zero-free regions of Dirichlet L-functions. The argument uses a new technique to bound the measure of the set on which the exponential sum formed from powers of 2 is large.
Let $p$ be an odd prime and let $m\not\equiv 0\pmod p$ be a rational p-adic integer. In this paper we reveal the connection between quartic residues and the sum $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}$, where $[x]$ is the greatest integer not exceeding $x$. Let $q$ be a prime of the form $4k+1$ and so $q=a^2+b^2$ with $a,b\in\Bbb Z$. When $p\nmid ab(a^2-b^2)q$, we show that for $r=0,1,2,3$, $p^{\frac{q-1}4}\equiv (\frac ab)^r\pmod q$ if and only if $$\sum_{k=0}^{[p/4]}\binom{4k}{2k}\Big(\frac{a^2}{16q}\Big)^k\equiv (-1)^{\frac{p^2-1}8a+\frac{p-1}2\cdot \frac{q-1}4}\Big(\frac pq\Big) \Big…
The Hasse principle and weak approximation is established for equations of the shape P(t)=N(x_1,x_2,x_3,x_4), where P is an irreducible quadratic polynomial in one variable and N is a norm form associated to a quartic extension of the rationals containing the roots of P. The proof uses analytic methods.
Let $D<0$ be a fundamental discriminant and $h(D)$ be the class number of $\mathbb{Q}(\sqrt{D})$. Let $R(X,D)$ be the number of classes of the binary quadratic forms of discriminant $D$ which represent a prime number in the interval $[X,2X]$. Moreover, assume that $π_{D}(X)$ is the number of primes, which split in $\mathbb{Q}(\sqrt{D})$ with norm in the interval $[X,2X].$ We prove that $$ \Big(\frac{π_D(X)}{π(X)}\Big)^2 \ll \frac{R(X,D)}{h(D)}\Big(1+\frac{h(D)}{π(X)}\Big), $$ where $π(X)$ is the number of primes in the interval $[X,2X]$ and the implicit constant in $\ll$ is independent of $D$ …
Set $K=\mathbb{Q}(i)$ and suppose that $c\in \mathbb{Z}[i]$ is a square-free algebraic integer with $c\equiv 1 \imod{\langle16\rangle}$. Let $L(s,χ_{c})$ denote the Hecke $L$-function associated with the quartic residue character modulo $c$. For $σ>1/2$, we prove an asymptotic distribution function $F_σ$ for the values of the logarithm of \begin{equation*} L_c(s)= L(s,χ_c)L(s,\overlineχ_{c}), \end{equation*} as $c$ varies. Moreover, the characteristic function of $F_σ$ is expressed explicitly as a product over the prime ideals of $\mathbb{Z}[i]$.
Primes represented by shifted quadratic forms: on primitivity and congruence classes
本文扩展了Iwaniec的筛法，证明了移位正定整二元二次型在附加本原性与同余类条件下表示素数的下界，并提供了经计算机验证的局部条件列表以纠正先前错误，旨在为研究Apollonian circle packings中的素数分量提供工具。
Counting points on smooth plane quartics
本文提出了在素数p模下对光滑平面四次曲线X进行点计数的高效算法，涵盖两种定义场景，提供两种不同时空复杂度的方法且实践中更快，还首次实现非$\mathbb P^1$循环覆盖曲线的平均多项式时间算法，可覆盖亏格$g\le3$的曲线。
On sums of unequal powers of primes and powers of 2
本文证明了充分大的偶数可表示为素数平方、立方、四次方及2的幂之和，且至少5.313%的奇数可表示为素数平方、立方与四次方之和，改进了R. Zhang的结果。
On primes represented by $aX^2+bY^3$
本文在 Hecke 特征值猜想下，结合筛法、二次型理论、Weil 界与 GL(2) 谱方法，证明了形如 $ax^2+by^3$ 的素数计数渐近公式，并讨论其在椭圆曲线中的应用。
Let $K=\mathbb{Q}(ω)$ with $ω$ the root of a degree $n$ monic irreducible polynomial $f\in\mathbb{Z}[X]$. We show the degree $n$ polynomial $N(\sum_{i=1}^{n-k}x_iω^{i-1})$ in $n-k$ variables formed by setting the final $k$ coefficients to 0 takes the expected asymptotic number of prime values if $n\ge 4k$. In the special case $K=\mathbb{Q}(\sqrt[n]θ)$, we show $N(\sum_{i=1}^{n-k}x_i\sqrt[n]{θ^{i-1}})$ takes infinitely many prime values provided $n\ge 22k/7$. Our proof relies on using suitable `Type I' and `Type II' estimates in Harman's sieve, which are established in a similar overall manner …
Genus 2 curves are useful in cryptography for both discrete-log based and pairing-based systems, but a method is required to compute genus 2 curves such that the Jacobian has a given number of points. Currently, all known methods involve constructing genus 2 curves with complex multiplication via computing their three Igusa class polynomials. These polynomials have rational coefficients and require extensive computation and precision to compute. Both the computation and the complexity analysis of these algorithms can be improved by a more precise understanding of the denominators of the coeffi…
Computing torsion for plane quartics without using height bounds
本文提出了一种无需高度界即可计算平面四次曲线雅可比簇有理 torsion 子群的算法，通过模素数降解和小数域搜索实现，已在 Magma 中实现并应用于大量数据集。
Quartic del Pezzo surfaces over $\mathbb{F}_p(t)$ without quadratic points
研究构造了无二次点的四次德尔皮佐表面，并展示了Brauer--Manin障碍。
In this paper we study Gaussian ring $\Z[i]$ with a focus on representing Gaussian Mersenne primes $G_p$ in the form $x^2+7y^2$. Interestingly when such a form exists, one can observe that, $x\equiv \pm 1\pmod{8}$ and $y\equiv 0\pmod{8}$. To prove this property of Gaussian Mersenne primes, we show that Gaussian Mersenne primes splits completely in the cyclic quartic unramified extension of $\Q(\sqrt{-14})$ and have a trivial Artin symbol in this extension. We generalize this result for $d\equiv 7\pmod{24}$. We also attempt to give an alternate proof using Artin's reciprocity law, which was ear…
On the Quartic Invariant of Odd Degree Binary Forms
研究奇次二元形式的四次不变量的平方自由部分，揭示其与素数幂的关系，并通过AI辅助方法验证关键算术引理，扩展了经典二元三次形式的判别式公式。
In this paper, we proved a theorem that every large enough odd number can be represented as the sum of three almost equal Piatetski-Shapiro primes.
On a bound of $p$-ranks of Iwasawa modules of $\mathbb{Z}_p$-extensions over a quartic CM-field
本文研究了四次CM域上$\mathbb{Z}_p$-扩张的Iwasawa不变量，确定了某一类无限扩张的$p$-秩界及相关不变量。
Let $\mathbb{F}_q$ be the finite field of $q=p^m\equiv 1\pmod 4$ elements with $p$ being an odd prime and $m$ being a positive integer. For $c, y \in\mathbb{F}_q$ with $y\in\mathbb{F}_q^*$ non-quartic, let $N_n(c)$ and $M_n(y)$ be the numbers of zeros of $x_1^4+...+x_n^4=c$ and $x_1^4+...+x_{n-1}^4+yx_n^4=0$, respectively. In 1979, Myerson used Gauss sum and exponential sum to show that the generating function $\sum_{n=1}^{\infty}N_n(0)x^n$ is a rational function in $x$ and presented its explicit expression. In this paper, we make use of the cyclotomic theory and exponential sums to show that …
We investigate the problem of r almost-primes represented by sets of quadratic forms and give upper bounds for r. Our results extend work of Diamond and Halberstam in which they investigated the corresponding problem for polynomials.
We show that for each prime p > 7, every residue mod p can be represented by a squarefree number with largest prime factor at most p. We give two applications to recursive prime generators akin to the one Euclid used to prove the infinitude of primes.
Goldbach-Linnik type problems involving one prime, four prime cubes and powers of 2
研究Goldbach-Linnik型问题，证明任意一对充分大奇数均可由一个素数、四个素数立方及48个2的幂表示。
We prove that every positive integer $n$ which is not equal to $1$, $2$, $3$, $6$, $11$, $30$, $155$, or $247$ can be represented as a sum of a squarefree number and a prime not exceeding $\sqrt{n}$.
Primes represented by quadratic forms and the Weil abscissa of abelian profinite groups
本文通过二元二次型表示整数，利用 Iwaniec 定理证明了特定素数集合下阿贝尔 profinite 群的 Weil 绝对值为 2。
Let $\mathbb{F}_q$ denote the finite field with $q$ elements. In this work, we use characters to give the number of rational points on suitable curves of low degree over $\mathbb{F}_q$ in terms of the number of rational points on elliptic curves. In the case where $q$ is a prime number, we give a way to calculate these numbers. As a consequence of these results, we characterize maximal and minimal curves given by equations of the forms $ax^3+by^3+cz^3=0$ and $ax^4+by^4+cz^4=0$.
Sums of generalized polygonal numbers of almost prime "length"
本文证明在$m$模30的限制下，密度为一的整数可表示为参数至多含6361个素因子的三个广义$m$边形数之和，并给出$f_m(n)$无平方部分足够大时的表示条件。
We study the Goldbach problem for primes represented by the polynomial $x^2+y^2+1$. The set of such primes is sparse in the set of all primes, but the infinitude of such primes was established by Linnik. We prove that almost all even integers $n$ satisfying certain necessary local conditions are representable as the sum of two primes of the form $x^2+y^2+1$. This improves a result of Matomäki, which tells that almost all even $n$ satisfying a local condition are the sum of one prime of the form $x^2+y^2+1$ and one generic prime. We also solve the analogous ternary Goldbach problem, stating tha…
In the present paper we prove that every sufficiently large odd integer $N$ can be represented in the form \begin{equation*} N=p_1+p_2+p_3\,, \end{equation*} where $p_1,p_2,p_3$ are primes, such that $p_1=x^2 + y^2 +1$, $p_2=[n^c]$.
We show that every even number $>\exp\exp 36$ can be represented as the sum of a prime and a product of at most two primes.
Norm forms, examples of which include $x^2 + y^2$, $x^2 + x y - 57 y^2$, and $x^3 + 2 y^3 + 4 z^3 - 6 x y z$, are integral forms arising from norms on number fields. We prove that the natural density of the set of integers represented by a norm form is zero, while the relative natural density of the set of prime numbers represented by a norm form exists and is positive. These results require tools from class field theory, including the Artin-Chebotarev density theorem and the Hilbert class field. We introduce these tools as we need them in the course of the main arguments. This article is expo…
Let $\Bbb Z$ be the set of integers, and let $(m,n)$ be the greatest common divisor of integers $m$ and $n$. Let $p\equiv 1\mod 4$ be a prime, $q\in\Bbb Z$, $2\nmid q$ and $p=c^2+d^2=x^2+qy^2$ with $c,d,x,y\in\Bbb Z$ and $c\e 1\mod 4$. Suppose that $(c,x+d)=1$ or $(d,x+c)$ is a power of 2. In the paper, by using the quartic reciprocity law we determine $q^{[p/8]}\mod p$ in terms of $c,d,x$ and $y$, where $[\cdot]$ is the greatest integer function. We also determine $\big(\frac{b+\sqrt{b^2+4^α}}2\big)^{\frac{p-1}4}\mod p$ for odd $b$ and $(2a+\sqrt{4a^2+1})^{\f{p-1}4}\mod p$ for $a\in\Bbb Z$. A…
From the Modularity Theorem proven by Wiles, Taylor, et al, we know that all elliptic curves are modular. It has been shown by Martin and Ono exactly which are represented by eta-quotients, and some examples of elliptic curves represented by modular forms that are linear combinations of eta-quotients have been given by Pathakjee, RosnBrick, and Yoong. In this paper, we first show that eta-quotients which are modular for any congruence subgroup of level $N$ coprime to $6$ can be viewed as modular for $Γ_0(N)$. We then categorize when even weight eta-quotients can exist in $M_k (Γ_1(p))$ and $M_…
Uniformly for small $q$ and $(a,q)=1$, we obtain an estimate for the weighted number of ways a sufficiently large integer can be represented as the sum of a prime congruent to $a$ modulo $q$ and a square-free integer. Our method is based on the notion of local model developed by Ramaré and may be viewed as an abstract circle method.
The purpose of this note is to suggest an analogue for genus 2 curves of part of Gross and Zagier's work on elliptic curves. Experimentally, for genus 2 curves with CM by a quartic CM field K, it appears that primes dividing the denominators of the discriminants of the Igusa class polynomials all have the property 1) that they are bounded by d, the absolute value of the discriminant of K, and 2) that they divide d-x^2, for some integer x whose square is less than d. A slightly stronger condition is given in Section 3. Such primes are primes of bad reduction for the genus 2 curve and primes of …
On the largest prime divisor of polynomial and related problem
本文研究多项式值的最大素因子问题，识别出满足整除阶乘性质的多项式，并对三次、可约四次及Chebyshev多项式分别给出最大素因子的上界估计。
It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of an elliptic curve over a finite field $\mathbb F_q$. Further, a method is described which computes representations of primes from reduced quadratic forms by means of the integral roots of polynomials over $\mathbb Z$. Lastly, some progress is made on the still-unsettled general problem of deciding which primes are represented by which classes of quadratic f…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。