{"id":"https://openalex.org/W7213613481","doi":"https://doi.org/10.48550/arxiv.2609.22336","title":"A Proof of the Irreducibility Conjecture for Legendre Polynomials","display_name":"A Proof of the Irreducibility Conjecture for Legendre Polynomials","publication_year":2026,"publication_date":"2026-09-16","ids":{"openalex":"https://openalex.org/W7213613481","doi":"https://doi.org/10.48550/arxiv.2609.22336"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.22336","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22336","pdf_url":"https://arxiv.org/pdf/2609.22336","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.22336","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148890778","display_name":"Zikang Deng","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Deng, Zikang","raw_affiliation_strings":["Beijing Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beijing Normal University","institution_ids":["https://openalex.org/I25254941"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5148890778"],"corresponding_institution_ids":["https://openalex.org/I25254941"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11191","display_name":"Mathematical functions and polynomials","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11191","display_name":"Mathematical functions and polynomials","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.005100000184029341,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/legendre-polynomials","display_name":"Legendre polynomials","score":0.9760000109672546},{"id":"https://openalex.org/keywords/resultant","display_name":"resultant","score":0.4480000138282776},{"id":"https://openalex.org/keywords/chebyshev-polynomials","display_name":"Chebyshev polynomials","score":0.906000018119812},{"id":"https://openalex.org/keywords/hadamard-inequality","display_name":"Hadamard inequality","score":0.8629999756813049},{"id":"https://openalex.org/keywords/orthogonality","display_name":"orthogonality","score":0.6589999794960022},{"id":"https://openalex.org/keywords/polynomial-factorization","display_name":"polynomial factorization","score":0.5019999742507935}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8952000141143799},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5267999768257141},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5098000168800354},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4896000027656555},{"id":"https://openalex.org/C2776823524","wikidata":"https://www.wikidata.org/wiki/Q6073561","display_name":"Irreducibility","level":2,"score":0.46950000524520874},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4691999852657318},{"id":"https://openalex.org/C111458787","wikidata":"https://www.wikidata.org/wiki/Q215405","display_name":"Legendre polynomials","level":2,"score":0.46070000529289246},{"id":"https://openalex.org/C129785596","wikidata":"https://www.wikidata.org/wiki/Q619511","display_name":"Chebyshev polynomials","level":2,"score":0.4223000109195709},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.3959999978542328},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38989999890327454},{"id":"https://openalex.org/C163635466","wikidata":"https://www.wikidata.org/wiki/Q3099696","display_name":"Monic polynomial","level":3,"score":0.3637999892234802},{"id":"https://openalex.org/C10628310","wikidata":"https://www.wikidata.org/wiki/Q619458","display_name":"Orthogonal polynomials","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C9991821","wikidata":"https://www.wikidata.org/wiki/Q858520","display_name":"Divisibility rule","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C48490523","wikidata":"https://www.wikidata.org/wiki/Q371631","display_name":"Jacobi polynomials","level":3,"score":0.2980000078678131},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C30597210","wikidata":"https://www.wikidata.org/wiki/Q1163608","display_name":"Minimal polynomial (linear algebra)","level":5,"score":0.2793000042438507},{"id":"https://openalex.org/C75190567","wikidata":"https://www.wikidata.org/wiki/Q41237","display_name":"Rational function","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C2778433361","wikidata":"https://www.wikidata.org/wiki/Q7268358","display_name":"Quadratic differential","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.2563999891281128},{"id":"https://openalex.org/C21736991","wikidata":"https://www.wikidata.org/wiki/Q17006917","display_name":"Classical orthogonal polynomials","level":3,"score":0.25200000405311584}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2609.22336","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22336","pdf_url":"https://arxiv.org/pdf/2609.22336","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.22336","doi":"https://doi.org/10.48550/arxiv.2609.22336","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.22336","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22825024","doi":"https://doi.org/10.5281/zenodo.22825024","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22825024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22825025","doi":"https://doi.org/10.5281/zenodo.22825025","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22825025","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.22336","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22336","pdf_url":"https://arxiv.org/pdf/2609.22336","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213613481.pdf","grobid_xml":"https://content.openalex.org/works/W7213613481.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W2070710606","https://openalex.org/W4246464718"],"related_works":["https://openalex.org/W2087942678","https://openalex.org/W4246464718","https://openalex.org/W2036050065","https://openalex.org/W4231415192","https://openalex.org/W2036800659","https://openalex.org/W2984558445","https://openalex.org/W4408056722","https://openalex.org/W7221161479","https://openalex.org/W2907816451","https://openalex.org/W4380558564"],"abstract_inverted_index":{"We":[0,66,139],"prove":[1],"the":[2,23,39,53,69,85,91,101,115,118,126,130,148,151,164,168,191,196],"irreducibility":[3,214],"conjecture":[4],"for":[5,11,112,125,163,179,207],"Legendre":[6],"polynomials":[7,62,142],"proposed":[8],"by":[9,29,47],"Stieltjes:":[10],"every":[12,216],"integer":[13],"$j\\geq":[14],"1$,":[15],"both":[16],"$P_{2j}(x)$":[17],"and":[18,51,64,71,81,90,103,143,158,167],"$P_{2j+1}(x)/x$":[19],"are":[20],"irreducible":[21],"over":[22],"rational":[24],"numbers.":[25],"The":[26],"proof":[27],"proceeds":[28],"contradiction.":[30,201],"Starting":[31],"from":[32,42],"a":[33,48,57,104,122,176,200,208],"hypothetical":[34],"nontrivial":[35],"factorization,":[36],"we":[37,107],"remove":[38],"zero":[40],"root":[41,136],"$P_n$":[43],"when":[44],"present,":[45],"multiply":[46],"suitable":[49],"constant,":[50],"express":[52],"resulting":[54],"polynomial":[55,88],"as":[56],"product":[58,149],"of":[59,100,129,132,137,150,155,170,211],"two":[60],"integral":[61],"$A(x^2)$":[63],"$B(x^2)$.":[65],"then":[67],"construct":[68],"resultant":[70],"its":[72],"odd":[73],"part,":[74],"$R=\\operatorname{Res}_t(A,B),\\qquad":[75],"\\mathcal{R}=\\frac{|R|}{2^{v_2(R)}}$.":[76],"Put":[77],"$k=\\deg":[78],"A\\leq\\deg":[79],"B$":[80],"$m=\\lfloor":[82],"n/2\\rfloor$.":[83],"Using":[84],"classical":[86],"auxiliary":[87],"$U_n$":[89],"differential":[92],"identity":[93,120],"$(1-x^2)(P_n'U_n-P_nU_n')=1-P_n^2$,":[94],"together":[95],"with":[96,161,204],"orthogonality,":[97],"divisibility":[98],"properties":[99],"coefficients,":[102],"prime-product":[105],"estimate,":[106],"obtain":[108,175],"an":[109],"upper":[110,197],"bound":[111,124,147,178,193],"$\\mathcal{R}$.":[113,180],"On":[114],"other":[116],"hand,":[117],"same":[119],"gives":[121],"lower":[123,177,192],"absolute":[127],"value":[128],"derivative":[131],"$AB$":[133],"at":[134],"each":[135],"$A$.":[138],"use":[140],"Chebyshev":[141],"Hadamard's":[144],"inequality":[145],"to":[146,174],"squared":[152],"pairwise":[153],"differences":[154],"these":[156],"roots,":[157],"combine":[159],"this":[160,203],"estimates":[162,182],"leading":[165],"coefficients":[166],"power":[169],"$2$":[171],"in":[172,215],"$R$":[173],"These":[181],"yield":[183],"$m\\log":[184],"4-3\\log(2n)<\\frac{\\log\\mathcal{R}}{k}<m\\log":[185],"3+\\sqrt{2n}\\log(2n)\\qquad(n\\geq64)$.":[186],"For":[187],"sufficiently":[188],"large":[189],"$n$,":[190],"strictly":[194],"exceeds":[195],"bound,":[198],"giving":[199],"Combining":[202],"Groth's":[205],"verification":[206],"finite":[209],"range":[210],"degrees":[212],"proves":[213],"degree.":[217]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-19T00:00:00"}