A causal faithfulness violation occurs when variables are conditionally independent in the joint distribution even though the ground-truth causal DAG does not imply that independence through d-separation. Faithfulness reverses the causal Markov property: d-separation implies conditional independence under Markov, while faithfulness claims that observed conditional independence reflects d-separation. section 4.6.2 section 4.7
A distribution the DAG cannot represent
Consider a three-variable distribution that factorizes as P(x, y, z) = P(x, y)P(y, z)P(x, z). The resulting pairwise independence pattern can be detected in data, but no d-separation statement in a DAG represents it. This is a faithfulness violation: matching empirical independencies to graph constraints can exclude the true causal structure. section 4.6.2
Faithfulness matters when using conditional independencies to discover causal graphs:
- Constraint-based algorithms, including PC, iteratively restrict candidate DAGs using empirical conditional-independence evidence and therefore rely on faithfulness. section 4.6.2
- Violations mean that an independence detected in data may not identify a corresponding d-separation in the true graph, limiting discovery generalization. section 4.6.2
- Treat discovery output as exploratory evidence rather than a replacement for constructing and defending a causal DAG, especially with latent variables. section 4.7
