We introduce Causal Computational Asymmetry (CCA), a principle for causal direction identification based on optimization dynamics in which one neural network is trained to predict Y from X and another to predict X from Y, and the direction that converges faster is inferred to be causal. Under the additive noise model Y=f(X)+ε with ε⊥X and f nonlinear and injective, we establish a formal asymmetry: in the reverse direction, residuals remain statistically dependent on the input regardless of approximation quality, inducing a strictly higher irreducible loss floor and non-separable gradient noise in the optimization dynamics, so that the reverse model requires strictly more gradient steps in expectation to reach any fixed loss threshold; consequently, the forward (causal) direction converges in fewer expected optimization steps. CCA operates in optimization-time space, distinguishing it from methods such as RESIT, IGCI, and SkewScore that rely on statistical independence or distributional asymmetries, and proper z-scoring of both variables is required for valid comparison of convergence rates. On synthetic benchmarks, CCA achieves 26/30 correct causal identifications across six neural architectures, including 30/30 on sine and exponential data-generating processes. We further embed CCA into a broader framework termed Causal Compression Learning (CCL), which integrates graph structure learning, causal information compression, and policy optimization, with all theoretical guarantees formally proved and empirically validated on synthetic datasets.
Figures & tables
Tradition
Failure mode in isolation
Compression
Compresses spurious correlations; fails with confounders
PAC bounds
Bounds statistical (not causal) error; certifies confounded models as good
Causality
No unique solution without MDL; any connected graph satisfies identifiability
Causal IB
Undefined without a causal graph; Ic requires a structural model
Table 1: Failure modes when each tradition operates without the others.
Symbol
Meaning
f
True structural mechanism: Y=f(X)+ε
gθ
Forward network: predicts Y from X
hϕ
Reverse network: predicts X from Y
ε
Structural noise, independent of X , zero-mean
Tfwd
Steps for gθ to reach MSE <τ
Trev
Steps for hϕ to reach MSE <τ
Table 2: Symbols used in the CCA framework.
DGP
Correct
Mechanism
Status
Y=sin(X)+ε
30/30
Inj., mod. scale
✓
Y=e0.5X+ε
30/30
Inj., mod. scale
✓
Y=X3+ε
6/30
Injective, high scale
Scale BC †
Y=X2+ε
30/30 ∗
Non-injective
Degen. BC ∗
Y=2X+ε
0/30
Linear Gaussian
Sym. (BC)
∗ Reverse target collapses to zero (wrong reasons).
Table 3: Experiment 1: CCA direction accuracy per DGP. 30 trials per DGP (6 architectures × 5 seeds). “Sym.” = symmetric convergence. “BC” = boundary condition predicted to fail by theory.
Figure 1: CCA accuracy per DGP and architecture (Experiment 1). Each group of bars represents one of the six network architectures tested. Bar colors correspond to the five DGPs. The dashed line at 0.5 marks chance. Injective DGPs ( sin , exp ) achieve perfect 1.0 accuracy across every architecture. The cubic DGP without normalization (blue, 6/30) reveals the scale boundary condition; with z-scoring it recovers to 26/30. Linear Gaussian (gray) and non-injective X2 (red) boundary conditions behave exactly as predicted by theory.
Raw (no z-score)
With z-scoring
E[Tfwd]
1152.5±904.0
323±531
E[Trev]
468.8±860.4
717±789
Correct ID
6/30
26/30
Table 5: CCA score distribution for Y=X3+ε without input normalization across 30 seeds. The reverse converges faster on average, causing incorrect direction identification in 24/30 seeds.
Figure 2: Forward vs. reverse convergence on Y=X3+ε (Seed 0, z-scored, MLP-64-64-Tanh/Adam). The forward network (solid blue) crosses the convergence threshold τ=0.05 at step 161 and continues improving to below 10−3 MSE. The reverse network (dashed red) descends initially then plateaus just above τ , never crossing it within the 3000-step cap. The CCA score is 161−3000=−2839 , strongly predicting X→Y . This 19-fold gap is substantially larger than the theoretical lower bound, because the reverse landscape also contains saddle points not captured by the PL approximation.
Figure 3: CCA score distribution across 30 seeds ( Y=X3+ε , z-scored). Left: Bar chart of CCA scores ( Tfwd−Trev ) per seed. Blue bars indicate correct identification (CCA <0 ); red bars incorrect. 26 of 30 seeds are correct. The four exceptions are seeds where initialization variance caused the forward network to take unusually many steps. Right: Scatter of Tfwd vs. Trev . Points above the dashed diagonal ( Tfwd=Trev ) are correct identifications. The cluster in the top-left corner represents seeds where the reverse hit the 3000-step cap while forward converged early – the strongest possible CCA signal. Mean Tfwd=323±531 steps; mean Trev=717±789 steps; reverse takes 2.2× longer on average.
Figure 4: Boundary condition experiments, 30 seeds each. Left: Linear Gaussian ( Y=2X+ε ). CCA <0 in only 1 of 30 seeds, indistinguishable from random. Scores are near zero (note the y -axis scale is [−1,+1] ): forward and reverse take nearly the same number of steps because Gaussian symmetry makes the two optimization problems identical. This is the correct predicted failure. Right: Non-injective ( Y=X2+ε ). CCA <0 in 29 of 30 seeds with scores down to −3000 . This is the degenerate collapse: the reverse network learns to predict zero (because E[X∣Y]=0 by symmetry of P(X) ) in under 25 steps, while the forward network needs hundreds of steps to learn x↦x2 . This is not CCA working – it is a structural identifiability failure that should not be used to benchmark the method.
λ2
Mono.
L init
L final
Iter.
Spur.
0.010
YES
10.000
−1.238
3
1
0.050
YES
10.000
−1.106
3
1
0.080
YES
10.000
−1.007
3
1
0.100
YES
10.000
−0.942
3
1
0.150
YES
10.000
−0.777
3
1
0.200
YES
10.000
−0.612
3
1
Table 6: Experiment 2: LCCL+ over the λ2 sweep. All seven runs exhibit monotone decrease. The spurious edge at λ2≤0.2 is attributable to the non-injective mechanism X2=X12 , the expected boundary condition. Zero spurious edges at λ2=0.5 confirms Theorem 5.8 .
Seed
Tfwd ( X1→X2 )
Trev ( X2→X1 )
Result
0
1000
9
Wrong
1
1000
8
Wrong
2
1000
20
Wrong
3
1000
21
Wrong
4
1000
9
Wrong
5
1000
22
Wrong
Table 7: CCA on the non-injective edge X2=X12 : all 10 seeds misidentify the direction, confirming the boundary condition. The injective edge X1→X3 is correctly identified in 10/10 seeds in the same SCM.
Figure 5: Tübingen Cause-Effect Pairs benchmark ( Tmax=10,000 , z-scored, 108 pairs). Left: CCA score distribution. Blue bars are correct predictions, red bars incorrect. The vast majority of pairs score near zero (mass concentrated at the decision boundary), which corresponds to low-confidence predictions. Incorrect predictions are sparse and concentrated near zero, consistent with the boundary conditions: pairs with near-linear mechanisms or near-symmetric marginals produce weak asymmetry signals. Right: Cumulative accuracy sorted by ∣CCA∣ (most confident pairs first). CCA overall accuracy of 0.96 (dashed gray) substantially exceeds ANM/RESIT at 0.63 (red dotted) and chance at 0.50 (black dotted). The volatile accuracy at low confidence (leftmost part of the curve, fewest pairs evaluated) stabilizes clearly above both baselines as more pairs are included.
DGP
Init. ratio
Mid-train ratio
Y=X3+ε (std.)
0.376
0.054
Y=X3+ε (raw)
0.003
0.000
Y=sin(X)+ε
1.161
2.179
Y=e0.5X+ε
0.684
0.276
Y=X2+ε
0.730
0.608
Table 8: Gradient norm variance ratio (reverse / forward), standardized data, 10 seeds. The ratio is not claimed to be uniformly >1 ; see the interpretation below.
System
Rung 2
PAC Bound
Sample Eff.
OOD Robust
Direction ID
Scope
GPT-4
×
×
×
×
×
Obs. corpus
DeepSeek R1
×
×
∼
×
×
Obs. corpus
Bareinboim CRL
✓
×
×
✓
×
Interv. data
ANM / IGCI
∼
×
∼
∼
✓
Bivariate
SkewScore
×
×
∼
∼
✓
Heteroscedastic
CCL+
✓
✓†
✓†‡
✓†
✓
Injective ANM
Table 9: CCL+ compared to existing approaches. ✓ = supported. × = not supported. ∼ = partial. † = theoretical bound only; empirical validation on IHDP, Twins, ACIC beyond Tübingen has not been done. ‡ = against non-parametric full-joint learners only (Theorem S); does not extend to parametric systems.