{"id":"https://openalex.org/W7221966079","doi":"https://doi.org/10.48550/arxiv.2610.18888","title":"An improved lower bound for the minimum-autocorrelation constant","display_name":"An improved lower bound for the minimum-autocorrelation constant","publication_year":2026,"publication_date":"2026-10-08","ids":{"openalex":"https://openalex.org/W7221966079","doi":"https://doi.org/10.48550/arxiv.2610.18888"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.18888","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.18888","pdf_url":"https://arxiv.org/pdf/2610.18888","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/2610.18888","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158795702","display_name":"Shenai Chen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Shenai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5158800954","display_name":"EnHao Gu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gu, EnHao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/T11210","display_name":"Mathematical Analysis and Transform Methods","score":0.6592000126838684,"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/T11210","display_name":"Mathematical Analysis and Transform Methods","score":0.6592000126838684,"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/T11166","display_name":"Analytic Number Theory Research","score":0.1200999990105629,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11191","display_name":"Mathematical functions and polynomials","score":0.11150000244379044,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.593999981880188},{"id":"https://openalex.org/keywords/compactly-supported-functions","display_name":"compactly supported functions","score":0.7540000081062317},{"id":"https://openalex.org/keywords/density-of-polynomials","display_name":"density of polynomials","score":0.6779999732971191},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.75},{"id":"https://openalex.org/keywords/overlap-integrals","display_name":"overlap integrals","score":0.6629999876022339}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8216999769210815},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.7820000052452087},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.7696999907493591},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.6536999940872192},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5767999887466431},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5335000157356262},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4997999966144562},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.45260000228881836},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.4499000012874603},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37119999527931213},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.28049999475479126},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C53105687","wikidata":"https://www.wikidata.org/wiki/Q173227","display_name":"Physical constant","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C64208722","wikidata":"https://www.wikidata.org/wiki/Q861606","display_name":"Lagrange polynomial","level":3,"score":0.26739999651908875},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.25459998846054077},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.2535000145435333},{"id":"https://openalex.org/C90377204","wikidata":"https://www.wikidata.org/wiki/Q1052594","display_name":"Uniform boundedness","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.18888","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.18888","pdf_url":"https://arxiv.org/pdf/2610.18888","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.2610.18888","doi":"https://doi.org/10.48550/arxiv.2610.18888","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.18888","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.18888","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.18888","pdf_url":"https://arxiv.org/pdf/2610.18888","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7221966079.pdf","grobid_xml":"https://content.openalex.org/works/W7221966079.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W2922558231","https://openalex.org/W3011682418","https://openalex.org/W3017122966","https://openalex.org/W7131618066","https://openalex.org/W7167516976","https://openalex.org/W7214900988"],"related_works":["https://openalex.org/W7222973824","https://openalex.org/W4225550200","https://openalex.org/W2995550355","https://openalex.org/W156930684","https://openalex.org/W7100453038","https://openalex.org/W6891870562","https://openalex.org/W3007123806","https://openalex.org/W4394662524","https://openalex.org/W2964095170","https://openalex.org/W7167358176"],"abstract_inverted_index":{"We":[0],"construct":[1],"nonnegative":[2],"bounded":[3],"compactly":[4],"supported":[5],"functions":[6],"on":[7],"the":[8,13,19,24,85,97,109,119,138,150,159],"real":[9],"line":[10],"that":[11],"give":[12],"lower":[14],"bound":[15,27,115,148],"$\\mathcal{A}\\ge":[16],"0.4103779774321214877852987\\ldots$":[17],"for":[18,118,130,149],"minimum-autocorrelation":[20],"constant.":[21],"This":[22],"improves":[23],"explicitly":[25],"certified":[26],"$2378625/5958277=0.39921356\\ldots$":[28],"reported":[29],"by":[30,144],"Russell.":[31],"The":[32,66,94],"construction":[33,111],"combines":[34],"a":[35,39,44,104,124,131],"point":[36],"mass":[37,73,127],"with":[38],"monotone":[40],"degree-ten":[41],"polynomial":[42,59],"density;":[43],"one-sided":[45],"atom-removal":[46],"argument":[47],"then":[48],"produces":[49],"ordinary":[50],"functions.":[51],"Its":[52],"numerical":[53],"content":[54],"reduces":[55],"to":[56,96],"exact":[57],"rational":[58],"identities":[60],"and":[61,75,89,123],"20":[62],"Bernstein":[63],"subinterval":[64],"certificates.":[65],"finite":[67],"certificate,":[68],"actual":[69],"overlap":[70],"integrals,":[71],"admissibility,":[72],"formula,":[74],"ordinary-function":[76],"witness":[77],"bounds":[78],"have":[79],"been":[80],"formalized":[81],"in":[82],"Lean":[83],"4.19.0;":[84],"pinned":[86],"proof":[87],"sources":[88],"recorded":[90],"audit":[91],"are":[92],"supplied.":[93],"passage":[95],"supremum":[98],"constant":[99],"is":[100,161],"given":[101],"separately":[102],"as":[103],"mathematical":[105],"argument.":[106],"As":[107],"applications,":[108],"same":[110],"yields":[112],"an":[113],"upper":[114],"below":[116,128],"$1.5610183$":[117],"large-multiplicity":[120],"generalized-difference-basis":[121],"coefficient":[122],"feasible":[125],"squared":[126],"$2.436778$":[129],"continuous":[132],"sparse-ruler":[133],"relaxation.":[134],"An":[135],"appendix":[136],"quantifies":[137],"loss":[139],"under":[140],"independent":[141],"sampling":[142],"followed":[143],"completion.":[145],"No":[146],"improved":[147],"complete":[151],"sparse":[152],"ruler":[153],"constant,":[154],"or":[155],"global":[156],"optimality":[157],"of":[158],"construction,":[160],"asserted.":[162]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-16T00:00:00"}