{"id":"arxiv/2607.07742","url":"https://arxiv.org/abs/2607.07742","tags":["math.CO"],"score":0,"title":"Discrete Faà di Bruno via Möbius Inversion","domain":"math.CO","source":"arxiv","authors":["Heinrich Hartmann"],"reviews":0,"subject":"math.CO","summary":"We approach discrete and differential Faà di Bruno formulas from a Möbius inversion angle. On the Boolean cube, Newton's discrete Taylor formula and the definition of iterated forward differences form a zeta--Möbius dual pair, and composing two Taylor expansions and inverting once yields a closed discrete Faà di Bruno formula at a fixed basepoint: for arbitrary maps $f, g$ between abelian groups, $$ Δ(f \\circ g;\\,x;\\,u_1,\\dots,u_k) = \\sum_{H \\in \\mathrm{Cov}(k)} Δ(f;\\,g(x);\\,(Δ(g;x;u_T))_{T\\in H}), $$ where $\\mathrm{Cov}(k)$ denotes the coverings of $[k]$ by nonempty subsets. Grouping…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-08","reactions":{}}