{"id":"arxiv/2609.33421","url":"https://arxiv.org/abs/2609.33421","tags":["math.NT","math.CO"],"score":0,"title":"A Padovan-automatic description of a nested recurrence","domain":"math.NT","source":"arxiv","authors":["Benoit Cloitre","Haobo Ma","Wenlin Zhang"],"reviews":0,"subject":"math.NT","summary":"We study the sequence $a(0)=0$, $a(1)=1$ and $a(n)=n-a(n-a(n-a(n-1)))$ for $n\\ge 2$, listed as A076502 in the On-Line Encyclopedia of Integer Sequences. We identify $a(n)$ as a two-position shift in the greedy Padovan numeration system, with a finite-state correction. The proof constructs an addition automaton from an exact integer-carry invariant and certifies its completeness by finite-language inclusion; a synchronized automaton then verifies the nested recurrence. We establish bounded discrepancy from the line of slope $c$, where $c^3-c^2+2c-1=0$, and show that the exact set of offsets…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}