{"title":"Towards Turán's polynomial conjecture","authors":"Pradipto Banerjee, Amit Kundu","doi":"10.1112/blms.13123","DOIUrl":null,"url":null,"abstract":"<p>We revisit an old problem posed by P. Turán asking whether there exists an absolute constant <span></span><math>\n <semantics>\n <mrow>\n <mi>C</mi>\n <mo>></mo>\n <mn>0</mn>\n </mrow>\n <annotation>$C&gt;0$</annotation>\n </semantics></math> such that if <span></span><math>\n <semantics>\n <mrow>\n <mi>f</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n <mo>∈</mo>\n <mi>Z</mi>\n <mo>[</mo>\n <mi>x</mi>\n <mo>]</mo>\n </mrow>\n <annotation>$f(x)\\in \\mathbb {Z}[x]$</annotation>\n </semantics></math> with <span></span><math>\n <semantics>\n <mrow>\n <mo>deg</mo>\n <mi>f</mi>\n <mo>=</mo>\n <mi>d</mi>\n </mrow>\n <annotation>$\\deg f = d$</annotation>\n </semantics></math>, then there is a polynomial <span></span><math>\n <semantics>\n <mrow>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n <mo>∈</mo>\n <mi>Z</mi>\n <mo>[</mo>\n <mi>x</mi>\n <mo>]</mo>\n </mrow>\n <annotation>$w(x)\\in \\mathbb {Z}[x]$</annotation>\n </semantics></math> with <span></span><math>\n <semantics>\n <mrow>\n <mo>deg</mo>\n <mi>w</mi>\n <mo>⩽</mo>\n <mi>d</mi>\n </mrow>\n <annotation>$\\deg w\\leqslant d$</annotation>\n </semantics></math> and the sum of the absolute values of the coefficients of <span></span><math>\n <semantics>\n <mrow>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$w(x)$</annotation>\n </semantics></math> is less than or equal to <span></span><math>\n <semantics>\n <mi>C</mi>\n <annotation>$C$</annotation>\n </semantics></math> such that the sum <span></span><math>\n <semantics>\n <mrow>\n <mi>f</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n <mo>+</mo>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$f(x)+w(x)$</annotation>\n </semantics></math> is irreducible over <span></span><math>\n <semantics>\n <mi>Q</mi>\n <annotation>$\\mathbb {Q}$</annotation>\n </semantics></math>. In 1970, A. Schinzel obtained a partial answer establishing the existence of an <span></span><math>\n <semantics>\n <mrow>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$w(x)$</annotation>\n </semantics></math> for <span></span><math>\n <semantics>\n <mrow>\n <mi>C</mi>\n <mo>=</mo>\n <mn>3</mn>\n </mrow>\n <annotation>$C=3$</annotation>\n </semantics></math> with <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mrow>\n <mo>deg</mo>\n <mi>w</mi>\n <mo><</mo>\n <mi>exp</mi>\n <mo>(</mo>\n <mrow>\n <mo>(</mo>\n <mn>5</mn>\n <mi>d</mi>\n <mo>+</mo>\n <mn>7</mn>\n <mo>)</mo>\n </mrow>\n <mo>(</mo>\n <mo>∥</mo>\n <mi>f</mi>\n <mo>∥</mo>\n </mrow>\n <mn>2</mn>\n </msup>\n <mo>+</mo>\n <mn>3</mn>\n <mrow>\n <mo>)</mo>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\deg w &lt; \\exp ((5d +7) (\\Vert f\\Vert ^{2}+3))$</annotation>\n </semantics></math> where <span></span><math>\n <semantics>\n <msup>\n <mrow>\n <mo>∥</mo>\n <mi>f</mi>\n <mo>∥</mo>\n </mrow>\n <mn>2</mn>\n </msup>\n <annotation>$\\Vert f\\Vert ^{2}$</annotation>\n </semantics></math> is the sum of the squares of the coefficients of <span></span><math>\n <semantics>\n <mrow>\n <mi>f</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$f(x)$</annotation>\n </semantics></math>. Schinzel's result was further refined by P. Banerjee and M. Filaseta in 2010, obtaining <span></span><math>\n <semantics>\n <mrow>\n <mo>deg</mo>\n <mi>w</mi>\n <mo>≪</mo>\n <mi>d</mi>\n <mi>exp</mi>\n <mo>(</mo>\n <mn>8</mn>\n <mo>∥</mo>\n <mi>f</mi>\n <msup>\n <mo>∥</mo>\n <mn>2</mn>\n </msup>\n <mo>+</mo>\n <mn>9</mn>\n <mo>)</mo>\n </mrow>\n <annotation>$\\deg w \\ll d \\exp (8\\Vert f\\Vert ^{2}+9)$</annotation>\n </semantics></math> with an absolute implied constant. The main contribution of the current work lies in establishing the existence of <span></span><math>\n <semantics>\n <mrow>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$w(x)$</annotation>\n </semantics></math> for <span></span><math>\n <semantics>\n <mrow>\n <mi>C</mi>\n <mo>=</mo>\n <mn>6</mn>\n </mrow>\n <annotation>$C = 6$</annotation>\n </semantics></math> with a significantly improved upper bound on <span></span><math>\n <semantics>\n <mrow>\n <mo>deg</mo>\n <mi>w</mi>\n </mrow>\n <annotation>$\\deg w$</annotation>\n </semantics></math>. For instance, our main result implies the existence of an explicit <span></span><math>\n <semantics>\n <mrow>\n <mi>w</mi>\n <mo>(</mo>\n <mi>x</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$w(x)$</annotation>\n </semantics></math> for <span></span><math>\n <semantics>\n <mrow>\n <mi>C</mi>\n <mo>=</mo>\n <mn>6</mn>\n </mrow>\n <annotation>$C=6$</annotation>\n </semantics></math> with <span></span><math>\n <semantics>\n <mrow>\n <mo>deg</mo>\n <mi>w</mi>\n <mo>≪</mo>\n <mi>d</mi>\n <msup>\n <mi>log</mi>\n <mn>2</mn>\n </msup>\n <mrow>\n <mo>(</mo>\n <mo>∥</mo>\n <mi>f</mi>\n <mo>∥</mo>\n <mo>+</mo>\n <mn>2</mn>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\deg w \\ll d \\log ^{2} (\\Vert f\\Vert +2)$</annotation>\n </semantics></math>, where the implied constant is absolute.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 10","pages":"3164-3173"},"PeriodicalIF":0.8000,"publicationDate":"2024-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13123","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We revisit an old problem posed by P. Turán asking whether there exists an absolute constant such that if with , then there is a polynomial with and the sum of the absolute values of the coefficients of is less than or equal to such that the sum is irreducible over . In 1970, A. Schinzel obtained a partial answer establishing the existence of an for with where is the sum of the squares of the coefficients of . Schinzel's result was further refined by P. Banerjee and M. Filaseta in 2010, obtaining with an absolute implied constant. The main contribution of the current work lies in establishing the existence of for with a significantly improved upper bound on . For instance, our main result implies the existence of an explicit for with , where the implied constant is absolute.