Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 21 min ago
PreprintCC BY 4.0arXiv

Scope-Restricted Backtracking Counterfactuals

Abstract

Interventional counterfactuals evaluate statements such as "had A been a" by replacing the assignment for A while keeping the unit's exogenous background fixed. Backtracking counterfactuals reverse this logic: they preserve the structural assignments and instead vary background conditions across worlds. This semantics is natural for diagnostic explanation, but full backtracking may be too permissive because every exogenous coordinate can vary. We introduce scope-restricted backtracking counterfactuals, in which the modeler specifies which coordinates may vary while the remainder are shared across worlds. The scope determines the admissible carriers of the contrast, while a cross-world kernel governs the plausibility of their alternative values. We present model-based inference for general scope-restricted backtracking counterfactuals, derive sharp marginal bounds for a specified explanatory query, and establish frontier and compatibility conditions under which this explanatory query admits a modified-value policy representation. A linear-Gaussian example distinguishes local-noise, ancestor, irrelevant-noise, and infeasible explanations across scopes, while an application to the UCI Adult benchmark illustrates kernel specification, sensitivity, and how much of the explanation is carried by the cross-world coupling itself.

Related

  1. Querying Counterfactuals on Tissue Graphs with Supervised Disentanglement
    Abdul Moeed, Stefan Schrod, Martin Rohbeck +4
    arXivPreprintCC BY 4.0Full textGenetics & genomicsStatisticsarXiv
  2. Backtracking Direct, Indirect and Total Effects
    Jose M. Peña
    arXivPreprintCC BY 4.0Full textStatisticsarXiv
  3. Non-backtracking Laplacian for hypergraphs
    Eleonora Andreotti, Raffaella Mulas
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsCombinatorics & discrete mathematicsarXiv
  4. The real eigenvalues of the non-backtracking Laplacian
    Raffaella Mulas, Leo Torres
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsCombinatorics & discrete mathematicsarXiv
  5. An Alon-Boppana Bound for the Non-Backtracking Operator
    Theo McKenzie
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsProbabilityarXiv
BibTeX
@misc{aguas2026scoperestricted,
  title = {{Scope-Restricted Backtracking Counterfactuals}},
  author = {Johan de Aguas and Martin Jullum},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.08017},
  eprint = {2610.08017},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.08017},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Scope-Restricted Backtracking Counterfactuals
AU  - Johan de Aguas
AU  - Martin Jullum
PY  - 2026
DA  - 2026/10/06
PB  - arXiv
DO  - 10.48550/arxiv.2610.08017
UR  - https://arxiv.org/abs/2610.08017
AB  - Interventional counterfactuals evaluate statements such as "had A been a" by replacing the assignment for A while keeping the unit's exogenous background fixed. Backtracking counterfactuals reverse this logic: they preserve the structural assignments and instead vary background conditions across worlds. This semantics is natural for diagnostic explanation, but full backtracking may be too permissive because every exogenous coordinate can vary. We introduce scope-restricted backtracking counterfactuals, in which the modeler specifies which coordinates may vary while the remainder are shared across worlds. The scope determines the admissible carriers of the contrast, while a cross-world kernel governs the plausibility of their alternative values. We present model-based inference for general scope-restricted backtracking counterfactuals, derive sharp marginal bounds for a specified explanatory query, and establish frontier and compatibility conditions under which this explanatory query admits a modified-value policy representation. A linear-Gaussian example distinguishes local-noise, ancestor, irrelevant-noise, and infeasible explanations across scopes, while an application to the UCI Adult benchmark illustrates kernel specification, sensitivity, and how much of the explanation is carried by the cross-world coupling itself.
ER  -