{"id":"https://openalex.org/W7204824573","doi":"https://doi.org/10.48550/arxiv.2608.27617","title":"Wirsching's Positive-Predecessor-Density Program: Proofs of Conjectures 1 and 3","display_name":"Wirsching's Positive-Predecessor-Density Program: Proofs of Conjectures 1 and 3","publication_year":2026,"publication_date":"2026-08-27","ids":{"openalex":"https://openalex.org/W7204824573","doi":"https://doi.org/10.48550/arxiv.2608.27617"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.27617","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27617","pdf_url":"https://arxiv.org/pdf/2608.27617","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/2608.27617","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102066584","display_name":"Renato Tavares","orcid":"https://orcid.org/0009-0002-0196-3311","observed_orcids":["https://orcid.org/0009-0002-0196-3311"]},"institutions":[{"id":"https://openalex.org/I68106152","display_name":"Universidade Federal de Goi\u00e1s","ror":"https://ror.org/0039d5757","country_code":"BR","type":"education","lineage":["https://openalex.org/I68106152"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Tavares, Renato Augusto","raw_affiliation_strings":["Universidade Federal de Goi\u00e1s"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Federal de Goi\u00e1s","institution_ids":["https://openalex.org/I68106152"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102066584"],"corresponding_institution_ids":["https://openalex.org/I68106152"],"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.9463000297546387,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.9463000297546387,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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.043299999088048935,"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/T13234","display_name":"p-Adic Analysis and Mathematical Physics","score":0.004800000227987766,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/3n-1-map","display_name":"3n+1 map","score":0.8159999847412109},{"id":"https://openalex.org/keywords/collatz-conjecture","display_name":"Collatz conjecture","score":0.953000009059906},{"id":"https://openalex.org/keywords/fourier-series","display_name":"Fourier series","score":0.6439999938011169},{"id":"https://openalex.org/keywords/riemann-zeta-function","display_name":"Riemann zeta function","score":0.8550000190734863}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8450000286102295},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.8080999851226807},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45559999346733093},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4219000041484833},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4172999858856201},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.3919000029563904},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35280001163482666},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3382999897003174},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.32589998841285706},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C207864730","wikidata":"https://www.wikidata.org/wiki/Q179467","display_name":"Fourier series","level":2,"score":0.3084999918937683},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2888999879360199},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.27617","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27617","pdf_url":"https://arxiv.org/pdf/2608.27617","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.2608.27617","doi":"https://doi.org/10.48550/arxiv.2608.27617","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.27617","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":"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:2608.27617","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27617","pdf_url":"https://arxiv.org/pdf/2608.27617","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/W7204824573.pdf","grobid_xml":"https://content.openalex.org/works/W7204824573.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1823748881","https://openalex.org/W2033970163","https://openalex.org/W2041863533","https://openalex.org/W2057609569","https://openalex.org/W2064345721","https://openalex.org/W2067140889","https://openalex.org/W2093458350","https://openalex.org/W2128380184","https://openalex.org/W2328267065","https://openalex.org/W2898689773","https://openalex.org/W2913987433","https://openalex.org/W2972077893","https://openalex.org/W4385483289","https://openalex.org/W4417463898"],"related_works":["https://openalex.org/W2342110413","https://openalex.org/W2041863533","https://openalex.org/W7214758529","https://openalex.org/W2028956244","https://openalex.org/W4246392511","https://openalex.org/W7213894926","https://openalex.org/W7206156901","https://openalex.org/W7204091027","https://openalex.org/W7213250353","https://openalex.org/W7214125416"],"abstract_inverted_index":{"Wirsching":[0],"(2003)":[1],"reduces":[2,238],"uniform":[3],"positive":[4],"predecessor":[5],"density":[6,76],"for":[7,157],"the":[8,33,41,47,64,69,82,194,201,226,236,240],"$3n+1$":[9],"map":[10],"to":[11,37,90,187,239,249],"a":[12,53,78,102,105,111,141,153,197],"chain":[13,229,237],"of":[14,24,55,73,81,98,176],"five":[15],"conditions,":[16],"organized":[17],"into":[18,101],"three":[19],"conjectures.":[20],"We":[21,137],"prove":[22],"two":[23],"them.":[25],"Conjecture":[26,66,180,222,234,244],"1":[27,235],"concerns":[28,68],"his":[29,38,247],"path-counting":[30],"generators:":[31],"in":[32,126,146,149,189],"convolution":[34],"carrying":[35],"them":[36],"Elka":[39],"functions":[40],"partition":[42],"weights":[43],"grow":[44],"subexponentially":[45],"while":[46],"binomial":[48],"ratio":[49],"decays":[50],"geometrically,":[51],"so":[52,200],"window":[54,211],"width":[56],"$O(\\sqrt{\\ell})$":[57],"dominates":[58],"and":[59,92,110,117,151,164,178,225,251],"its":[60,167],"radius":[61],"fits":[62],"inside":[63],"hypothesis.":[65],"3":[67,181,223],"asymptotics":[70],"near":[71],"0":[72],"an":[74,86,123],"invariant":[75],"$\u03c6$,":[77],"base-3":[79],"analogue":[80],"Fabius":[83],"density,":[84],"against":[85],"explicit":[87],"$\u03c6_0$":[88],"due":[89],"Berg":[91,116],"Kr\u00fcppel.":[93],"The":[94],"exact":[95],"log-Laplace":[96],"transform":[97],"$\u03c6$":[99],"splits":[100],"smooth":[103],"part,":[104],"log":[106],"3-periodic":[107],"correction":[108,121],"$H$,":[109,177],"doubly":[112],"exponentially":[113],"small":[114],"remainder.":[115],"Kr\u00fcppel":[118],"represented":[119],"that":[120,192],"as":[122,140],"infinite":[124],"product":[125],"1998;":[127],"their":[128],"analysis":[129],"did":[130],"not":[131,162],"determine":[132],"whether":[133],"it":[134,160,231,250],"is":[135,161,219,246],"constant.":[136],"give":[138],"$H$":[139],"Fourier":[142],"series":[143],"with":[144,183,213],"coefficients":[145],"closed":[147],"form":[148],"$\u0393$":[150],"$\u03b6$;":[152],"classical":[154],"zero-free":[155],"theorem":[156],"$\u03b6$":[158],"shows":[159],"constant,":[163],"we":[165],"enclose":[166],"oscillation":[168],"rigorously.":[169],"Wirsching's":[170,216],"comparison":[171],"class":[172,193],"fixes":[173],"one":[174],"phase":[175,195],"there":[179],"holds":[182],"limit":[184],"$e^{H(0)}$,":[185],"certified":[186],"lie":[188],"$(0.53412203666478,0.53412203666479)$.":[190],"Off":[191],"sweeps":[196],"full":[198],"period,":[199],"unrestricted":[202],"asymptotic":[203],"$\u03c6(t)\\sim\u03ba\u03c6_0(t)$":[204],"fails.":[205],"Condition":[206],"$(\\star4)$":[207],"follows,":[208],"at":[209],"every":[210],"radius,":[212],"$\u03bc=1/3$:":[214],"what":[215],"argument":[217],"needs":[218],"weaker":[220],"than":[221],"itself,":[224],"same":[227],"saddlepoint":[228],"settles":[230],"directly.":[232],"With":[233],"single":[241],"condition":[242],"$(\\star3)$.":[243],"2":[245],"route":[248],"remains":[252],"open.":[253]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-01T00:00:00"}