{"id":"arxiv/2609.38497","url":"https://arxiv.org/abs/2609.38497","tags":["math.NA","cs.PL"],"score":0,"title":"The Mode of Null-A: Compositional Computation of a Generalized Inverse","domain":"math.NA","source":"arxiv","authors":["Barak A. Pearlmutter","Jeffrey Mark Siskind"],"reviews":0,"subject":"math.NA","summary":"We present a novel algorithm for calculating the preimage of an affine space through a product ${J}={J}_{T-1}\\cdots{J}_0$ of matrices ${J}_t$ of special form: finding the largest input space $\\mathbf{X}$ such that $\\mathbf{x}\\in\\mathbf{X}$ implies ${J}\\mathbf{x}\\in \\mathbf{Y}$, where $\\mathbf{Y}$ is a given output affine space. These special matrices arise in AD, where the Jacobians $J$ describing the linearized computation have precisely this structure: the product of a series of linearized primitive numeric operations. This allows us to use the new algorithm to formulate Null-A mode…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}