×

Beiter修女和Kloosterman:分圆系数和模逆的故事。 (英语) Zbl 1312.11016号

对于任何自然数,让(zeta_{n})表示(mathbb{C})中的固定本原-单位根;例如,可以取\(\zeta{n}=\exp(2\pii/n)\)。第(n)-分圆多项式可以定义为(zeta{n})在(mathbb{Q})上的最小多项式,或者也可以通过(Phi{n}(x)=\prod(x-\zeta_{n}^{j}))来定义,其中乘积的范围是在(1\leqj\leqn)范围内从整数(j)互素到(n)的整数。因此,\(\Phi_{n}(x)\)是一个具有整数系数且次数为\(\varphi(n)\)的一元多项式,其中\(\valphi\)表示Euler的方向函数。分圆多项式之间一个众所周知的基本关系是^{n} -1个=\prod_{d\mid n}\Phi_{n}(x)\),其中乘积的范围在\(n\)的正除数上。因此,对于(p)素数,我们有(Phi{p}(x)=1+x+\cdots+x^{p-1})。此外,对于\(n>1)奇数,我们有\(\Phi_{2n}(x)=\Phi_{n}[-x)\)。
让(a{n}(k))表示(Phi{n}(x))的度项的系数,这样我们就可以写下(Phi_{n}(x)=prod_{k=0}^{varphi(n)}a{nneneneep(k)x^{k})。\(\Phi_{n}(x)\)的高度定义为\(A(n)=\max\{|A_{n{(k)|:k\geq0\}\)。很容易证明\(A(n)=A(n)\),其中\(n)是\(n)的奇素因子的乘积。如果(n)至多有两个不同的奇素数因子,则(A(n)=1),因此,对于(n<105),特别是(A(n)=1。事实上,\(A(3\cdot 5\cdot 7)=2\)与\(A{105}(7)=-2\)。因此,我们可以预期的最简单的情况是,在三元情形中,\(n=pqr)与\(2<p<q<r)奇数素数。众所周知,(A(pqr)<3p/4),这显然只取决于(p\)。因此,对于一个固定素数(p\),最大值\(M(p):=\ max\{a(pqr):p<q<r}\),其中在满足\(p<q<r\)的所有素数上存在\(q\)和\(r\)范围。涉及三元分圆系数的一个主要公开问题是找到一个确定(M(p))的有限程序。
H.Möller先生[数学Z.119,33-40(1971年;Zbl 0196.07201号)]给出了一个表示(p>5)的\(M(p)\geq(p+1)/2\)的构造。在另一个方向上,M·拜特修女【《美国数学》(Am.Math.Mon.75,370–372)(1968年;Zbl 0157.08804号)]推测\(M(p)\leq(p+1)/2\)。从那时起,已经证明了(M(3)=2)、(M(5)=3)和(M(7)=4)。因此,Beiter猜想变成了\(M(p)=(p+1)/2\),并适用于\(p\leq 7\)。然而,Y.加洛特P.莫雷[J.Reine Angew.数学.632,105–125(2009;Zbl 1230.11030号)]证明了这个猜想实际上对每个(p\geq11)都是错误的,并提供了一个反例的构造。此外,他们还表明,如果\(\varepsilon>0\),那么对于足够大的\(p\),\(2p(1-\varepsilon)/3\leq M(p)\leq 3p/4\)。
本文研究了Beiter猜想的大量反例,并改进了M(p)的上述下限。所使用的技术包括Kloosterman和(K(a,b;p):=\sum_{1\leqx\leqp-1}\exp(2\pi i(ax+b\bar{x})/p),其中\(p)是素数,\(bar{x}\)表示\(x)模的逆,以及研究模逆分布的其他工具。

MSC公司:

11立方英尺83 特殊序列和多项式
11升05 高斯和克罗斯特曼总和;概括
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Beiter,M.,分圆多项式系数的大小\(F_{pqr}(x)\),Amer。数学。月刊,75,370-372(1968)·Zbl 0157.08804号
[2] Beiter,M.,分圆多项式(F_{pq r})的系数的大小。二、 杜克大学数学。J.,38,591-594(1971)·Zbl 0221.10018号
[3] Beiter,M.,分圆多项式的系数\(F_{3qr}(x)\),斐波那契夸脱。,16, 302-306 (1978) ·Zbl 0396.10006号
[4] Bloom,D.M.,关于分圆多项式的系数,Amer。数学。月刊,75,372-377(1968)·Zbl 0157.08901号
[5] Bombieri,E。;弗里德兰德·J·B。;Iwaniec,H.,《大模算术级数中的素数》,《数学学报》。,156, 203-251 (1986) ·Zbl 0588.10042号
[6] 邦比耶里,E。;弗里德兰德·J·B。;Iwaniec,H.,《大模算术级数中的素数》。二、 数学。《年鉴》,277361-393(1987)·Zbl 0625.10036号
[7] Bombieri,E。;弗里德兰德·J·B。;Iwaniec,H.,《大模算术级数中的素数》。三、 J.Amer。数学。Soc.,2215-224(1989)·兹伯利0674.10036
[8] Bzdȩga,B.,三元分圆系数的界,学报。,144, 5-16 (2010) ·Zbl 1253.11031号
[10] 科贝利,C。;Gonek,S.M。;Zaharescu,A.,模素数的倒数模式的分布,《数论》,101,209-222(2003)·Zbl 1086.11045号
[11] 科贝利,C。;瓦伊图,M。;Zaharescu,A.,《短间隔内倒数元组数的平均估计》,Bull。数学。社会科学。数学。鲁马尼(N.S.),43,91,155-164(2000)
[12] 费尔施,V。;Schmidt,E.,Über Periodien in den Koefizienten der Kreisteilungspolynome\(F_{n p}(x)\),数学。Z.,106,267-272(1968)·Zbl 0162.34401号
[13] 加洛特,Y。;Moree,P.,具有大系数的三元分圆多项式,J.Reine Angew。数学。,632, 105-125 (2009) ·Zbl 1230.11030号
[14] 加洛特,Y。;莫雷,P。;Wilms,R.,具有一个自由素数的三元分圆多项式族,Involve,4317-341(2011)·Zbl 1292.11052号
[15] Justin,J.,Bornes des coefficients du polynome cyclotomique et de certains autres polynomes,C.R.学院。科学。巴黎Ser。A-B、268、A995-A997(1969)·Zbl 0174.33703号
[16] Kaplan,N.,三阶平面分圆多项式,数论,127118-126(2007)·Zbl 1171.11015号
[17] Laczkovich,M.,小边界集的差异估计,Studia Sci。数学。匈牙利。,30, 105-109 (1995) ·Zbl 0851.11045号
[18] Lam,T.Y。;Leung,K.H.,关于分圆多项式(Phi_{pq}(X)),Amer。数学。月刊,103,562-564(1996)·Zbl 0868.11016号
[19] Landau,E.(Mirsky,L.;Schoenberg,I.J.;Schwarz,W.;Wefelscheid,H.,《文集》,第1卷(1985年),Thales Verlag:Thales Verlag-Essen)
[20] Möller,H.,u ber die Koeffizienten des \(n)ten Kristeilungspolynoms,数学。Z.,119,33-40(1971)·Zbl 0196.07201号
[21] 莫雷,P。;Rošu,E.,具有最佳大系数集的非贝特三元分圆多项式,《国际数论》,8,8,1883-1902(2012)·Zbl 1264.11018号
[23] Thangadurai,R.,《关于分圆多项式的系数》,(分圆域和相关主题(Pune,1999)(2000),Bhaskaracharya Pratishthana:Bhaskaricharya Pratishtana Pune),311-322·Zbl 1044.11093号
[24] Weil,A.,关于一些指数和,Proc。国家。阿卡德。科学。美国,34,204-207(1948)·Zbl 0032.26102号
[25] Weyl,H.,关于管子的体积,Amer。数学杂志。,61461-472(1939年)
[26] 赵,J。;张欣,三元分圆多项式的系数,《数论》,1302223-237(2010)·Zbl 1273.11048号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。