atlas

Research map / Probabilistic and scientific modeling / Causal discovery

Cyclic Counterfactuals under Shift–Scale Interventions

NeurIPS 2025 · Probabilistic and scientific modeling › Causal discovery · approach: Counterfactual identification and bounds · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Theoretical framework for counterfactual inference in cyclic SCMs under shift–scale interventions, showing global contraction implies simplicity, twin-SCM well-posedness, closure under composition, and sub-Gaussian counterfactual tails.

Problem

Counterfactual inference in cyclic structural causal models is ill-posed in general because cyclic structural equations may lack unique solutions; soft shift–scale interventions need well-posedness guarantees.

Approach

Uses a global l^p contraction condition on the SCM mechanism to guarantee unique solvability (simplicity) for all subsets, shows the twin SCM stays contractive under shift–scale interventions with |a_j|≤1, and derives Gaussian-noise sub-Gaussian concentration for counterfactual functionals.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Apply a shift–scale intervention to income with α=0.8 and β=1.0Linear cyclic SCM example · Linear cyclic SCM examplemean consumption: 1.5625 -> 2.024Helped
Apply a shift–scale intervention to income with α=0.8 and β=1.0Linear cyclic SCM example · Linear cyclic SCM examplemean income: 1.125 -> 2.048Helped
Apply a shift–scale intervention to income with α=0.8 and β=1.0Linear cyclic SCM example · Linear cyclic SCM exampleC–I correlation: 0.75 to 0.69Mixed
Impose a global ℓp-contraction conditionCyclic SCMs · Cyclic SCMs with closed coordinate domainsunique solvabilityHelped
Apply shift–scale interventions with |a_j|≤1Twin SCM of a globally contractive SCM · Intervened twin SCMunique solvabilityHelped
Compose finitely many shift–scale interventions, each with |a_j|≤1Globally contractive SCM · Composed shift–scale interventionscontraction constant: κNo clear effect
Use scale factors with |a_j|>1 without verifying κ_max<1Shift–scale intervention on a globally contractive SCM · Scale factors exceeding oneunique solvability: κ_max < 1; κ_max≥1Mixed

Limitations

Experimental setup

Builds on: Pearl's abduction-action-prediction twin network counterfactuals simple SCMs (Bongers et al.) Banach fixed-point theorem

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy