---
title: Dual Structural Causal Model Framework
url: https://www.emergentmind.com/topics/dual-structural-causal-model
type: topic
---

# Dual Structural Causal Model Framework

Searching arXiv for relevant papers on dual structural causal models, causal abstraction, and related structural causal formulations.
arXiv search query: "dual structural causal model causal abstraction linear structural causal models"
Within recent causal-abstraction work, a dual structural causal model is the relationship between a low-level concrete SCM and a high-level abstract SCM connected by a surjective linear transformation \(T\), such that the two models describe the same system at different levels of granularity and are interventionally consistent [2406.00394]. In this formulation, the low-level model provides the detailed causal structure, the high-level model provides a coarser description, and the abstraction map specifies how concrete variables are summarized by abstract variables. Related literature uses nearby ideas in different ways: one line learns paired causal and residual components and is described as “something close to a dual structural causal model” rather than as a formal two-level abstraction [2002.10007]; another introduces dual-causal interventions in a cross-modal SCM for long-term action recognition rather than a low-level/high-level pair [2507.06603]; and work on structural causal dynamical models explicitly states that it does not introduce a separate object called a “Dual Structural Causal Model” [1803.08784].

## 1. Two-level linear SCM formulation

The linear causal-abstraction framework distinguishes a low-level concrete SCM \(\mathcal L\) and a high-level abstract SCM \(\mathcal H\) [2406.00394]. The concrete model is
\[
\mathcal L = (\mathcal X, \mathcal E, f, \mathcal P_{\mathcal E}),
\]
with endogenous concrete variables \(\mathcal X = \{X_1,\dots,X_d\}\), exogenous noise variables \(\mathcal E = \{E_1,\dots,E_d\}\), structural mechanisms \(f_X\), and joint noise distribution \(\mathcal P_{\mathcal E}\). For linear SCMs,
\[
X = W^\top X + E,
\]
with \(W \in \mathbb R^{d\times d}\) upper triangular after a suitable topological ordering, and reduced form
\[
\mathcal L(e) = F^\top e, \qquad F = (I-W)^{-1}.
\]

The abstract model is
\[
\mathcal H = (\mathcal Y, \mathcal U, g, \mathcal P_{\mathcal U}),
\]
with abstract endogenous variables \(\mathcal Y = \{Y_1,\dots,Y_b\}\), abstract exogenous variables \(\mathcal U = \{U_1,\dots,U_b\}\), abstract mechanisms \(g\), and linear form
\[
Y = M^\top Y + U,
\]
where \(M \in \mathbb R^{b\times b}\) is upper triangular in some topological order. Its reduced form is
\[
\mathcal H(u) = G^\top u, \qquad G = (I-M)^{-1}.
\]

The assumptions stated for this setting are DAG structure or acyclicity, causal sufficiency, faithfulness, and, for the learning part, non-Gaussian exogenous noise. The theoretical objective is to characterize when the high-level model correctly summarizes the low-level model under a linear transformation \(T\), and how low-level coefficients and the abstraction function determine the high-level coefficients.

## 2. Abstraction map and interventional consistency

The abstraction between endogenous variables is a surjective linear map
\[
\tau(x) = T^\top x, \qquad T \in \mathbb R^{d\times b}.
\]
The high-level SCM is a \(T\)-abstraction of the low-level SCM if there exists a surjective exogenous map \(\gamma : \mathcal E \to \mathcal U\) such that, for every concrete intervention \(i\) and every exogenous configuration \(e\),
\[
\tau(\mathcal L^i(e)) = \mathcal H^{\omega(i)}(\gamma(e)).
\]
This is the interventional consistency condition [2406.00394].

The same framework also yields observational consistency,
\[
\tau(\mathcal L(e))=\mathcal H(\gamma(e)).
\]
The dual-SCM relation is therefore not merely a static projection of variables; it is a compatibility condition between interventions, exogenous mappings, and causal responses across levels.

For each abstract variable \(Y_j\), the relevant concrete variables are
\[
\Pi_R(Y_j) = \{X_i \in \mathcal X \mid t_{ij}\neq 0\}.
\]
These sets are nonempty and mutually disjoint. A central implication is that strong linear abstraction does not allow a concrete variable to be relevant to two different abstract variables. The paper describes this as forcing a partition-like assignment of concrete variables to abstract variables. This addresses a common misconception that an abstract variable may freely overlap with several others at the level of direct relevance: under this definition, such overlap is excluded.

## 3. Graphical structure, concrete blocks, and coefficient constraints

The graphical characterization introduces \(T\)-direct paths: directed paths in the low-level graph \(\mathcal G_{\mathcal L}\) between relevant concrete variables whose intermediate nodes are all irrelevant [2406.00394]. The connectivity condition is stated as
\[
Y_1 \to Y_2 \text{ in } \mathcal G_{\mathcal H} \iff \forall X_1\in \Pi_R(Y_1)\, \exists X_2\in \Pi_R(Y_2)\text{ such that } X_1 \rightsquigarrow_T X_2 \text{ in } \mathcal G_{\mathcal L}.
\]
The sufficient direction is that if there is a \(T\)-direct path from some \(X_1\in\Pi_R(Y_1)\) to some \(X_2\in\Pi_R(Y_2)\), then \(Y_1 \to Y_2\) in the abstract graph. The paper also emphasizes that faithfulness is needed: without it, paths can cancel and the theorem fails.

The framework defines the concrete block of \(Y_j\) as
\[
\Pi(Y_j) = \{X_i \in \mathcal X \mid s_{ij}\neq 0\},
\]
where \(S\) is the exogenous abstraction matrix from \(\gamma(e)=S^\top e\). A block contains all relevant variables for \(Y_j\), plus irrelevant variables that are downstream of those relevant ones via \(T\)-direct paths. The block composition lemma is
\[
X \in \Pi(Y) \iff X\in\Pi_R(Y) \;\text{or}\; \big(X \notin \Pi_R(\mathcal Y)\ \text{and}\ \exists X'\in\Pi_R(Y): X\rightsquigarrow_T X'\big).
\]

The high-level graph induces a coarse causal ordering of concrete variables. If \(\prec_{\mathcal H}\) is any valid topological order of the abstract graph, then there exists a concrete order \(\prec_{\mathcal L}\) such that
\[
Y_1 \prec_{\mathcal H} Y_2 \iff \Pi(Y_1)\prec_{\mathcal L}\Pi(Y_2),
\]
and every block precedes the variables outside all blocks. This result shows that abstraction constrains not only adjacency but also permissible causal orderings at the lower level.

At the parameter level, the exogenous abstraction map is linear:
\[
\gamma(e)=S^\top e, \qquad S = F T G^{-1}.
\]
The central parameter consistency condition is
\[
W_{ij}s_j = m_{ij} t_i.
\]
The block abstraction theorem states that \(\mathcal H\) is a linear \(T\)-abstraction of \(\mathcal L\) if and only if the concrete blocks respect the abstract topological order and the block coefficients satisfy
\[
W_{ij}s_j = m_{ij} t_i.
\]
This gives a complete characterization of valid concretizations of an abstract SCM in the linear setting.

## 4. Learning the abstraction and the two SCMs

The learning problem assumes abundant concrete observations \(\mathcal D_{\mathcal L}\) and scarce paired observations \(\mathcal D_J\) from the joint concrete-abstract distribution [2406.00394]. The goal is to learn \(\hat T\), the abstract model \(\hat M\), and the concrete model \(\hat W\).

The procedure is specified as follows. First, estimate \(T\) from paired samples by least squares:
\[
\hat T = \arg\min_T \sum_{(x,y)\in \mathcal D_J}\|x^\top T - y^\top\|_2^2.
\]
Second, extract relevant sets by thresholding the learned coefficients:
\[
\hat\Pi_R(Y_i)=\{X_k:[\hat t_i]_k\neq 0\}.
\]
Third, create an abstract dataset by projecting concrete samples:
\[
\hat{\mathcal H}=\{\hat T^\top x \mid x\in \mathcal D_{\mathcal L}\}.
\]
Fourth, learn the abstract SCM with DirectLiNGAM. Fifth, use the learned abstract graph to generate forbidden paths for the concrete graph. Sixth, learn the concrete SCM with DirectLiNGAM under those constraints.

The resulting method, Abs-LiNGAM, combines abstraction learning with causal discovery. Its stated assumptions are linear SCMs, acyclic graphs, causal sufficiency, faithfulness, non-Gaussian noise, and a small paired dataset from joint observations. The key constraint is that if two abstract variables \(Y_i\) and \(Y_j\) are not ancestrally related, then no variable in \(\Pi_R(Y_i)\) can causally affect any variable in \(\Pi_R(Y_j)\). The forbidden set is
\[
\mathcal K=\{X_k \not\to X_h \mid X_k\in\Pi_R(Y_i),\, X_h\in\Pi_R(Y_j),\, Y_i \not\to Y_j\}.
\]

## 5. Computational role and empirical behavior

Abs-LiNGAM uses the abstract model to speed up recovery of the larger low-level model by shrinking the search space considered by DirectLiNGAM [2406.00394]. The abstract graph supplies structural priors, translated into forbidden concrete edges, before concrete causal discovery is performed. This is especially helpful when the concrete graph is large.

The experiments reported in the paper show several empirical patterns. Abs-LiNGAM can recover the concrete DAG with quality comparable to DirectLiNGAM when enough paired data are available. With too few paired samples, the learned abstraction can be inaccurate and can impose wrong forbidden edges, harming downstream recovery. As the number of paired samples increases, performance approaches the baseline. The method gives substantial speedups, especially for larger concrete graphs. Bootstrapping the abstract causal discovery step improves robustness without major runtime cost.

These findings support a specific interpretation of the dual-SCM perspective: the abstract model is not only interpretive but also computationally beneficial. The high-level model contributes constraints that are unavailable to unconstrained low-level discovery, while the low-level model provides the detailed variables needed for concrete causal reconstruction.

## 6. Related formulations and conceptual boundaries

A different use of a paired causal structure appears in “A Critical View of the Structural Causal Model” [2002.10007]. In the univariate case, that paper argues that many benchmark causal-direction tasks can be solved by comparing the individual complexity of cause and effect, without considering their interaction at all. In the multivariate case, it proposes an adversarial framework with networks \(F\), \(G\), \(R\), and discriminator \(D\), where \(F\) models the causal parent transformation, \(R\) models the latent noise or environment component, and \(G\) reconstructs the effect through
\[
G(F(X),R(Y)) \approx Y.
\]
Its representation theorem states that, under zero mapping error and independence, \(F(X)\) corresponds to the causal component and \(R(Y)\) corresponds to the residual or noise component up to invertible transformation. The paper describes this as moving toward something close to a dual structural causal model, but not as the same object as the low-level/high-level abstraction framework.

Another nearby but non-equivalent construction is “Cross-Modal Dual-Causal Learning for Long-Term Action Recognition” [2507.06603]. That paper defines a cross-modal SCM with variables \(V\) for video, \(T\) for action text, \(Y\) for long-term action label, \(B\) for cross-modal bias, \(Z\) for visual confounder, and \(S\) for a causal factor encoding spatial semantics and temporal action correlations. It then applies two interventions: Textual Causal Intervention, based on back-door adjustment, to produce debiased text embeddings \(T'\); and Visual Causal Intervention, based on front-door adjustment with mediator \(M=T'\), to produce deconfounded visual embeddings \(V'\). This is a dual-causal intervention pipeline within a single cross-modal SCM, not a two-level dual-SCM relation between a concrete model and an abstract model.

A third boundary case is “Causal Modeling of Dynamical Systems” [1803.08784]. That work develops structural causal dynamical models as time-dependent, stochastic-process extensions of SCMs and shows that certain steady SCDMs equilibrate to SCMs as time tends to infinity. The paper explicitly states that it does not introduce a separate object called a “Dual Structural Causal Model.” Its central correspondence is instead dynamic-to-static: an SCDM induces an equilibrium SCM, and interventions commute with equilibration,
\[
(\mathcal M_{\mathcal R})_{do(I,K_I^*)} = \mathcal M_{\mathcal R_{do(I,K_I)}}.
\]
This provides a structure-preserving bridge between dynamics and equilibrium, but not a duality in the sense of causal abstraction.

Taken together, these formulations delimit the topic. In the strict sense supplied by recent causal-abstraction theory, a dual structural causal model is the relationship between \(\mathcal L\), \(\mathcal H\), and \(T\) under interventional consistency. In broader usage, related work may pair causal and noise representations, or pair two causal interventions, or pair a dynamical model with an equilibrium SCM. These are closely related structural ideas, but they are not identical definitions.

Source: https://www.emergentmind.com/topics/dual-structural-causal-model