{"id":"arxiv/2608.27617","url":"https://arxiv.org/abs/2608.27617","tags":["math.GM"],"score":0,"title":"Wirsching's Positive-Predecessor-Density Program: Proofs of Conjectures 1 and 3","domain":"math.GM","source":"arxiv","authors":["Renato Augusto Tavares"],"reviews":0,"subject":"math.GM","summary":"Wirsching (2003) reduces uniform positive predecessor density for the $3n+1$ map to a chain of five conditions, organized into three conjectures. We prove two of them. Conjecture 1 concerns his path-counting generators: in the convolution carrying them to his Elka functions the partition weights grow subexponentially while the binomial ratio decays geometrically, so a window of width $O(\\sqrt{\\ell})$ dominates and its radius fits inside the hypothesis. Conjecture 3 concerns the asymptotics near 0 of an invariant density $\\varphi$, a base-3 analogue of the Fabius density, against an explicit…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}