GRALIS: A Unified Canonical Framework for Linear Attribution Methods via Riesz Representation

TL;DR

GRALIS introduces a unified mathematical framework for linear attribution methods in deep learning, enabling formal comparison and guarantees across techniques like SHAP, IG, and LIME.

Contribution

It establishes a canonical representation theory for additive, linear, continuous attribution functionals, unifying several popular XAI methods under a rigorous mathematical foundation.

Findings

GRALIS encompasses SHAP, IG, LIME, and linearized GradCAM but excludes nonlinear functionals.

Seven formal theorems provide guarantees like completeness, convergence, and interaction values.

Preliminary validation shows improved faithfulness and consistency on histology images.

Abstract

The main XAI attribution methods for deep neural networks -- GradCAM, SHAP, LIME, Integrated Gradients -- operate on separate theoretical foundations and are not formally comparable. We present GRALIS (Gradient-Riesz Averaged Locally-Integrated Shapley), a mathematical framework establishing a representation theory for attributions: every additive, linear, and continuous attribution functional on L^2(Q,mu) admits a unique canonical representation (Q, w, Delta), proved necessary by the Riesz Representation Theorem. This class encompasses SHAP, IG, LIME and linearized GradCAM, but excludes nonlinear functionals such as standard GradCAM or attention maps. Seven formal theorems provide simultaneous guarantees absent in any individual method: (T1) necessary canonical form; (T2) exact completeness; (T3) Monte Carlo convergence O(1/sqrt(m))+O(1/k); (T4) exact Shapley Interaction Values; (T5) Hoeffding ANOVA decomposition; (T6) Sobol sensitivity generalization; (T7) multi-scale extension (MS-GRALIS) with minimum-variance weights. An algebraic appendix justifies the GRALIS-SIV correspondence via the Mobius transform without circularity. GRALIS satisfies 13.5/14 axiomatic properties vs. 2.5-6/14 for individual methods, including completeness, sensitivity, locality, order-k interactions and optimal multi-scale aggregation simultaneously. Preliminary validation on BreaKHis (1,187 histology images, DenseNet-121) reports deletion faithfulness AUC +0.015 (malignant), 96% class-conditional consistency, SAL = 0.762+/-0.109 and sparsity index 0.39. Extended comparison with baseline XAI methods is planned for a companion paper.