{"id":"https://openalex.org/W7167634827","doi":"https://doi.org/10.48550/arxiv.2607.04366","title":"Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$","display_name":"Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7167634827","doi":"https://doi.org/10.48550/arxiv.2607.04366"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2607.04366","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.04366","pdf_url":"https://arxiv.org/pdf/2607.04366","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/2607.04366","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026041685","display_name":"Daoyi Peng","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Daoyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140219868","display_name":"Hao Liu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Hao","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/T11166","display_name":"Analytic Number Theory Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":1.0,"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/T11428","display_name":"Advanced Mathematical Identities","score":0.0,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0,"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/asymptotic-expansion","display_name":"asymptotic expansion","score":0.9169999957084656},{"id":"https://openalex.org/keywords/prime-numbers","display_name":"prime numbers","score":0.5709999799728394},{"id":"https://openalex.org/keywords/sums-over-primes","display_name":"sums over primes","score":0.5230000019073486},{"id":"https://openalex.org/keywords/closed-form-coefficients","display_name":"closed-form coefficients","score":0.5789999961853027},{"id":"https://openalex.org/keywords/polylogarithms","display_name":"polylogarithms","score":0.6639999747276306},{"id":"https://openalex.org/keywords/dilogarithm","display_name":"dilogarithm","score":0.6200000047683716},{"id":"https://openalex.org/keywords/dirichlet-series","display_name":"Dirichlet series","score":0.4309999942779541},{"id":"https://openalex.org/keywords/multiple-zeta-values","display_name":"multiple zeta values","score":0.40700000524520874}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9103000164031982},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.7554000020027161},{"id":"https://openalex.org/C11683690","wikidata":"https://www.wikidata.org/wiki/Q752726","display_name":"Asymptotic expansion","level":2,"score":0.6345999836921692},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5353999733924866},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.503600001335144},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4966000020503998},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4964999854564667},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.48019999265670776},{"id":"https://openalex.org/C24209939","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic formula","level":2,"score":0.4131999909877777},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.39500001072883606},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3944000005722046},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.38350000977516174},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3758000135421753},{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.3409000039100647},{"id":"https://openalex.org/C1115519","wikidata":"https://www.wikidata.org/wiki/Q1211057","display_name":"Convergent series","level":3,"score":0.3359000086784363},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3240000009536743},{"id":"https://openalex.org/C158946198","wikidata":"https://www.wikidata.org/wiki/Q131187","display_name":"Taylor series","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C119047807","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic analysis","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2856000065803528},{"id":"https://openalex.org/C20080352","wikidata":"https://www.wikidata.org/wiki/Q206816","display_name":"Continued fraction","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2727999985218048},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C84122041","wikidata":"https://www.wikidata.org/wiki/Q332465","display_name":"Absolute convergence","level":3,"score":0.267300009727478},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2517000138759613},{"id":"https://openalex.org/C35235930","wikidata":"https://www.wikidata.org/wiki/Q187235","display_name":"Riemann zeta function","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2607.04366","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.04366","pdf_url":"https://arxiv.org/pdf/2607.04366","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2607.04366","doi":"https://doi.org/10.48550/arxiv.2607.04366","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04366","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:2607.04366","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2607.04366","pdf_url":"https://arxiv.org/pdf/2607.04366","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/W7167634827.pdf","grobid_xml":"https://content.openalex.org/works/W7167634827.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W3021560733"],"related_works":["https://openalex.org/W7110786861","https://openalex.org/W4392842814","https://openalex.org/W7140192431","https://openalex.org/W3021560733","https://openalex.org/W4394660639","https://openalex.org/W2979096592","https://openalex.org/W6922612830","https://openalex.org/W4414468307","https://openalex.org/W3088144921","https://openalex.org/W6960046367"],"abstract_inverted_index":{"Let":[0],"$p_1,":[1],"\\dotsc,":[2,101],"p_k$":[3],"be":[4],"primes":[5],"not":[6],"exceeding":[7],"$x$":[8],"($k":[9],"\\geqslant":[10,80,183,217],"2$),":[11],"and":[12,130,135,197,228,246],"define":[13],"the":[14,50,62,84,112,125,137,141,145,164,167,188,193,213,236,240],"additive":[15],"Mertens":[16,40],"sum":[17,51],"\\[":[18,66,94],"S_k(x)":[19,67],"=":[20,68,96,204],"\\sum_{p_1":[21],"\\leqslant":[22,26,155],"x}":[23,27,70,73],"\\cdots":[24],"\\sum_{p_k":[25],"\\frac{1}{p_1":[28],"+":[29,31,74,104,106],"\\dotsm":[30,105],"p_k}.":[32],"\\]":[33,82,109],"In":[34],"contrast":[35],"to":[36],"Tenenbaum's":[37],"generalized":[38],"(multiplicative)":[39],"sum,":[41],"whose":[42,175,219],"leading":[43,54],"term":[44,55],"has":[45,53],"order":[46,57],"$(\\log":[47],"\\log":[48,102],"x)^k$,":[49],"$S_k(x)$":[52],"of":[56,117,144,166,192,195,225,239],"$x^{k-1}/\\log^k":[58],"x$.":[59],"We":[60,120],"establish":[61],"complete":[63,113],"asymptotic":[64],"expansion":[65],"\\frac{x^{k-1}}{\\log^k":[69],"\\sum_{n=0}^{N}":[71],"\\frac{E_{k,n}}{\\log^n":[72],"O_{k,N}\\left(\\frac{x^{k-1}}{\\log^{k+N+1}":[75],"x}\\right)":[76],"\\quad":[77],"(\\forall\\,":[78],"N":[79],"0),":[81],"where":[83,171],"coefficients":[85,128,165],"are":[86,199,221],"given":[87],"by":[88],"absolutely":[89],"convergent":[90],"multiple":[91],"logarithmic":[92],"integrals":[93],"E_{k,n}":[95],"(-1)^n":[97],"\\int_{(0,1]^k}":[98],"\\frac{h_n(\\log":[99],"t_1,":[100],"t_k)}{t_1":[103],"t_k}\\,":[107],"\\mathrm{d}\\mathbf{t},":[108],"with":[110,158],"$h_n$":[111],"homogeneous":[114],"symmetric":[115],"polynomial":[116],"degree":[118],"$n$.":[119],"derive":[121],"closed-form":[122,210],"expressions":[123],"for":[124,132,140,153,163,181,212],"first":[126,179,189],"two":[127],"$E_{k,0}$":[129],"$E_{k,1}$":[131],"all":[133],"$k$,":[134],"obtain":[136,208],"closed":[138,161],"form":[139,162,238],"diagonal":[142],"part":[143],"third":[146],"coefficient":[147],"$E_{k,2}$":[148,150],"(with":[149],"fully":[151,200],"explicit":[152,222],"$k":[154,182,203],"7$),":[156],"together":[157],"a":[159,209],"uniform":[160],"new":[168,177],"constants":[169],"$G(-1/m)$,":[170],"$G(z)=\\int_0^z":[172],"\\mathrm{Li}_2(t)/(1+t)\\,\\mathrm":[173],"dt$,":[174],"genuinely":[176],"instances":[178],"occur":[180],"5$":[184],"(Proposition":[185],"5.4);":[186],"consequently,":[187],"three":[190],"terms":[191],"expansions":[194],"$S_2(x)$":[196],"$S_3(x)$":[198],"explicit.":[201],"For":[202],"2$,":[205],"we":[206],"further":[207],"expression":[211],"entire":[214],"sequence":[215],"$\\{E_{2,n}\\}_{n":[216],"0}$,":[218],"values":[220,230],"$\\mathbb{Q}$-linear":[223],"combinations":[224],"$\\log":[226],"2$":[227],"zeta":[229],"$\u03b6(j)$.":[231],"The":[232],"proofs":[233],"rely":[234],"on":[235],"real-variable":[237],"prime":[241],"number":[242],"theorem,":[243],"variable":[244],"rescaling,":[245],"multivariate":[247],"Taylor":[248],"remainder":[249],"estimates.":[250]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-07-08T00:00:00"}