Modern automatic differentiation frameworks (JAX, PyTorch) return the Hessian of the loss function as a monolithic tensor, without exposing the internal structure of inter-layer interactions. This paper presents an analytical formalism that explicitly decomposes the full Hessian into blocks indexed by the DAG of an arbitrary architecture. The canonical decomposition H=HGN+HT separates the Gauss--Newton component (convex part) from the tensor component (residual curvature responsible for saddle points). For piecewise-linear activations (ReLU), the tensor component of the input Hessian vanishes (Hv,wT≡0 a.e., Hv,wf=Hv,wGN⪰0); the full parametric Hessian contains residual terms that do not reduce to the GGN. Building on this decomposition, we introduce diagnostic metrics (inter-layer resonance~R, geometric coupling~C, stable rank~D, GN-Gap) that are estimated stochastically in O(P) time and reveal structural curvature interactions between layers. The theoretical analysis explains exponential decay of resonance in vanilla networks and its preservation under skip connections; empirical validation spans fully connected MLPs (Exp.,1--5) and convolutional architectures (ResNet-18, ∼11M~parameters, Exp.,6). When the architecture reduces to a single node, all definitions collapse to the standard Hessian ∇θ2L(θ)∈Rp×p.
Figures & tables
Symbol
Definition
Graph and derivatives
G=(V,E)
DAG of the neural network
Pa(v) , Ch(v)
Parents / children of node v
fv∈Rdv
Output of node v
θv∈Rpv
Parameters of node v
δv
Gradient ∇fvL
Table 1: Core notation.
Figure 1: (a) DAG of a neural network with skip connection ( v0→v2 ): forward edges (solid) and skip edge (dashed). The full Jacobian is a sum of path-wise contributions. (b) Backward pass of curvature routing: curvature matrices Hv,wf are propagated from out over the graph via transposed Jacobians; with a skip connection, the block Hv0,outf receives contributions from both paths.
Figure 2: Exp. 1: Geometric coupling Cˉ(d) vs. distance d (error bars: ±1σ over 5 seeds). (a) L=8 , (b) L=12 . Plain MLP: C decays monotonically from 1 to 0.24 ( L=12 , init), reflecting loss of geometric coherence between distant layers. Residual MLP: C>0.93 at all distances; skip connections preserve coupling. After training both architectures shift upward (curvature becomes more uniform).
L
Arch
ρmaxinit
ρmaxmid
ρmaxfinal
λ1init
λ1mid
λ1final
Acc (%)
8
Plain
2.59
2.50
2.78
− 0.02
0.05
0.08
49.8
8
Res.
1.25
1.31
1.33
0.02
0.04
0.04
51.3
10
Plain
2.69
2.47
2.59
− 0.03
0.03
0.04
49.7
10
Res.
1.22
1.27
1.29
0.02
0.03
0.04
51.3
12
Plain
2.69
2.48
2.55
− 0.03
0.03
0.04
49.7
12
Res.
1.20
1.23
1.25
0.01
0.03
0.03
51.3
Table 2: Spectral norms of Jacobians ρmax , Lyapunov exponent λ1 , and test accuracy for Exp. 1 configurations (CIFAR-10, mean over 5 seeds).
Figure 3: Exp. 1: Mean resonance Rˉ(d) vs. distance d between layers (log scale on y ; error bars ±1σ over 5 seeds). (a) L=8 , (b) L=12 . Plain MLP exhibits exponential decay (straight lines on log scale, R2>0.91 ); Residual MLP shows stabilization ( b≈0.02 ). Scale differs: init ∼10−1 , final ∼100 (reflects overall curvature growth during training).
du
Dfarinit
Dfarfinal
Cfarinit
Cfarfinal
Acc (%)
4
1.65±0.23
2.03±0.20
0.21±0.06
0.37±0.02
8.9 ‡
8
2.58±0.11
3.39±0.36
0.35±0.05
0.58±0.03
14.2
16
4.04±0.65
4.90±0.24
0.43±0.03
0.68±0.01
17.8
32
5.67±0.99
5.01±0.41
0.52±0.03
0.73±0.01
19.8
64
6.95±0.52
5.15±0.34
0.61±0.03
0.77±0.02
21.1
128
9.16±0.91
5.45±0.42
0.66±0.04
0.84±0.01
22.0
Table 3: Exp. 2: bottleneck ablation ( L=6 , CIFAR-100). Stable rank Dfar and coupling Cfar vs. narrow layer width du (mean ±1σ over 5 seeds). † Control: dbase=512 (stochastic estimate, 100 probes, subsample 64). ‡ Acc at uninformative model level ( du≪K ); metrics for du≥8 are preferred for conclusions.
Figure 4: Exp. 2: Stable rank Dfar vs. bottleneck width du (CIFAR-100). Solid/dashed: init/final; bright: L=6 , faded: L=8 . L=8 : Dfarinit is lower for du≥64 ( ∼8 – 20% ), consistent with additional rank compression at greater distance. Dotted: theoretical bound min(du,K−1) . du=512 ( † , control: dbase=512 , no bottleneck): Table 3 .
Activation
Gapinit
Gapfinal
Δ (%)
E[σ′′2]
Acc (%)
ReLU
0.618±0.160
0.199±0.030
− 67.8
0
51.3±0.3
LeakyReLU
0.626±0.161
0.212±0.013
− 66.1
0
51.5±0.3
Softplus
0.459±0.098
0.272±0.024
− 40.9
0.045
52.7±0.2
SiLU
1.967±0.317
0.359±0.051
− 81.7
0.142
52.6±0.3
GELU
2.296±0.415
0.516±0.117
− 77.5
0.271
52.0±0.4
Table 4: Exp. 3b: GN-Gap with LayerNorm ( L=6 , width =64 , CIFAR-10, mean ±1σ over 5 seeds). Δ : relative change init → final.
Activation
Gapinit
Gapfinal
Δ (%)
E[σ′′2]
Acc (%)
ReLU
<10−7
<10−7
—
0
45.1±0.9
LeakyReLU
≲10−7
≲10−7
—
0
45.0±0.8
Softplus
0.122±0.020
0.111±0.003
− 8.9
0.058
10.0±0.0
SiLU
0.225±0.005
0.217±0.008
− 3.5
0.246
11.7±2.1
GELU
0.358±0.008
0.345±0.012
− 3.4
0.618
11.9±2.4
Table 5: Exp. 3: GN-Gap, isolation protocol (no LayerNorm, L=6 , width =64 , CIFAR-10, mean ±1σ over 5 seeds).
Figure 5: Exp. 3: GN-Gap (init) vs. E[σ′′(z)2] for 5 activations (isolation protocol, LayerNorm off). Linear fit R2=0.908 ; Spearman rank correlation ρs=0.97 ( p<0.01 ). With n=5 , R2 has limited power, but monotonicity of ranking ( ρs≈1 ) robustly confirms the scaling HT∼σ′′2 .
Merge
σ
Gapinit
Gapfinal
∥T∥Finit
∥T∥Ffinal
sum
ReLU
6.7⋅10−8
9.3⋅10−8
4.1⋅10−9
2.0⋅10−8
sum
SiLU
7.0⋅10−8
9.6⋅10−8
4.1⋅10−9
2.0⋅10−8
cat
ReLU
8.4⋅10−8
1.2⋅10−7
6.6⋅10−10
3.3⋅10−8
cat
SiLU
1.33±0.17
0.082±0.007
6.8⋅10−3±5.0⋅10−4
2.5⋅10−2±1.1⋅10−3
Table 6: Exp. 4: GN-Gap at the merge node of Diamond MLP ( k=2 , width =32 , CIFAR-10, Acc≈50% ; mean ±1σ over 5 seeds). ∥Tmerge∥F : Frobenius norm of the tensor component.
Figure 6: Exp. 4: GN-Gap at the merge node of Diamond MLP ( k=2 ). Logarithmic scale highlights the ∼7 order-of-magnitude separation between cat + SiLU ( σ′′=0 , nonlinear merge) and the remaining configurations (linear merge or σ′′=0 a.e.). Sum-merge yields T=0 by construction — Gap≈0 regardless of σ .
Model
Checkpoint
∥Hf∥F
∥HGN∥F
∥HT∥F
Gap
Attention
init
9.2⋅10−3
1.7⋅10−4
9.2⋅10−3
57.5±16.4
Attention
mid
5.2⋅10−3
7.4⋅10−5
5.2⋅10−3
79.9±23.3
Attention
final
5.2⋅10−3
8.7⋅10−5
5.2⋅10−3
69.3±20.1
ReLU-MLP
init
3.5⋅10−2
3.5⋅10−2
3.4⋅10−9
9.6⋅10−8
ReLU-MLP
mid
3.5⋅10−1
3.5⋅10−1
2.8⋅10−8
8.8⋅10−8
ReLU-MLP
final
3.6⋅10−1
3.6⋅10−1
2.6⋅10−8
7.4⋅10−8
Table 7: Exp. 5: GN-Gap for Toy-Attention vs. per-position ReLU-MLP ( d=16 , S=8 , synthetic regression, mean ±1σ over 5 seeds). ∥HT∥F : Frobenius norm of the tensor component; Gap =∥HT∥F/∥HGN∥F .
d
ReLU
SiLU
ResNet
Plain
ResNet
Plain
0
<2⋅10−6
<10−6
0.43±0.12
0.21±0.11
1
<2⋅10−6
<10−6
0.24±0.07
0.12±0.04
2
<2⋅10−6
<2⋅10−6
0.22±0.06
0.06±0.02
3
<2⋅10−6
<10−6
0.15±0.04
0.05±0.02
4†
<2⋅10−6
<2⋅10−6
<2⋅10−6
<2⋅10−6
Table 8: Exp. 6: GN-Gap by distance d for ResNet-18 (CIFAR-10, final checkpoint, mean ±1σ over 5 seeds). Row d=4 : linear classifier (Remark 39 ).
Rˉ(d)
Cˉ(d)
d
ReLU
SiLU
ReLU
SiLU
Res.
Plain
Res.
Plain
Res.
Plain
Res.
Plain
0
4.5⋅10−2
2.1⋅10−2
3.0⋅10−2
2.1⋅10−2
1.00
1.00
1.00
1.00
1
3.5⋅10−2
3.5⋅10−4
1.0⋅10−2
1.1⋅10−4
0.95
0.93
0.56
0.24
2
3.3⋅10−2
6.0⋅10−5
4.2⋅10−3
6.9⋅10−6
0.92
0.83
0.31
0.06
3
3.6⋅10−2
2.9⋅10−5
2.1⋅10−3
1.2⋅10−6
0.89
0.71
0.17
0.01
Table 9: Exp. 6: mean resonance Rˉ(d) and coupling Cˉ(d) at initialization (ResNet-18, CIFAR-10, mean over 5 seeds).
Figure 7: Exp. 6: Mean resonance Rˉ(d) for ResNet-18 (CIFAR-10, log-scale on y ; ±1σ over 5 seeds). (a) ReLU: ResNet preserves Rˉ at init ( R(0)/R(4)≈1 ); Plain decays by ∼627× . (b) SiLU: decay is stronger—Plain init 47000× ; ResNet 25× , slower than Plain (skip connections stabilize curvature).
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
du
Dfarinit
Dfarfinal
Cfarinit
Cfarfinal
Acc (%)
4
1.58±0.43
2.44±0.17
0.20±0.08
0.33±0.01
9.6 ‡
8
2.43±0.30
3.92±0.39
0.34±0.08
0.45±0.04
14.1
16
4.27±0.57
5.01±0.62
0.43±0.03
0.56±0.01
17.7
32
6.36±0.69
5.13±0.45
0.51±0.03
0.62±0.01
19.1
64
6.40±0.60
5.41±0.55
0.58±0.02
0.68±0.03
20.5
128
7.90±0.28
4.89±0.53
0.65±0.01
0.76±0.02
21.4
Appendix
Table N.1: Exp. 2: bottleneck ablation ( L=8 , CIFAR-100). Same protocol as Table 3 (mean ±1σ over 5 seeds).
L
Arch.
ρmaxinit
ρmaxfinal
λ1init
λ1final
Acc (%)
8
Plain SN
0.91
1.00
− 1.01
− 0.24
36.3
8
Res.
1.25
1.33
0.02
0.04
51.3
12
Plain SN
0.91
0.89
− 1.01
− 1.03
10.0
12
Res.
1.20
1.25
0.01
0.03
51.3
16
Plain SN
0.91
0.90
− 1.01
− 1.03
10.0
16
Res.
1.17
1.20
0.01
0.02
51.0
Appendix
Table N.2: Exp. 1b: spectral normalization. Same metrics as Table 2 . Plain SN guarantees ρ≤1 and λ1<0 ; Residual MLP as control without SN (CIFAR-10, mean over 5 seeds).
Figure N.1: Exp. 1b: resonance Rˉ(d) under spectral normalization (Plain SN). Solid curves — initialization ( ρ≈0.91<1 ): exponential decay over ∼5.5 orders of magnitude at L=16 , directly verifying inequality equation 10 . Dashed — after training: at L=8 ( ρ→1.0 ) R plateaus at ≈0.94 (boundary of the theorem condition); at L=12 decay persists ( λ1<0 ). Error bands: ±1σ over 5 seeds.
L
Arch.
Phase
ρmax
Rˉ(0)
Rˉ(L−1)
Cˉ(L−1)
16
Plain
init
2.59±0.19
0.072±0.018
0.021±0.001
0.263
16
Plain
final
2.56±0.03
4.852±1.219
0.80±0.13
0.624
16
Res.
init
1.17±0.00
0.121±0.005
0.12±0.00
0.983
16
Res.
final
1.21±0.01
2.156±0.111
1.44±0.08
0.887
32
Plain
init
2.71±0.13
0.067±0.018
0.011±0.003
0.145
32
Plain
final
2.62±0.03
1.750±0.530
0.52±0.16
0.403
Appendix
Table N.3: Exp. 1: metrics for depths L∈{16,32} (CIFAR-10, width =128 , mean ±1σ over 5 seeds; stochastic estimation: 100 Rademacher probes, subsample 64). Rˉ(0) / Rˉ(L−1) — resonance of nearest/most distant pairs; Cˉ(L−1) — coupling at maximum distance.
k
Configuration
Gapinit
Gapfinal
∥T∥Finit
∥T∥Ffinal
1
sum+ReLU
6.5⋅10−8
8.7⋅10−8
3.6⋅10−9
2.5⋅10−8
1
sum+SiLU
6.5⋅10−8
9.2⋅10−8
3.5⋅10−9
2.6⋅10−8
1
cat+ReLU
8.1⋅10−8
1.2⋅10−7
6.0⋅10−10
5.6⋅10−8
1
cat+SiLU
1.35
0.078
6.6⋅10−3
3.3⋅10−2
2
sum+ReLU
6.7⋅10−8
9.3⋅10−8
4.1⋅10−9
2.0⋅10−8
2
sum+SiLU
7.0⋅10−8
9.6⋅10−8
4.1⋅10−9
2.0⋅10−8
Appendix
Table N.4: Exp. 4: GN-Gap at the merging node of Diamond MLP for k∈{1,2,3} (width =32 , CIFAR-10, mean over 5 seeds).
d
Activation
∥HT∥F
∥HGN∥F
GapGN
0
Softplus
1.50⋅10−2
1.22⋅10−1
0.123
0
SiLU
2.65⋅10−2
1.17⋅10−1
0.227
0
GELU
4.22⋅10−2
1.17⋅10−1
0.361
2
Softplus
1.24⋅10−3
1.05⋅10−2
0.119
2
SiLU
2.15⋅10−3
9.59⋅10−3
0.224
2
GELU
3.45⋅10−3
9.70⋅10−3
0.357
Appendix
Table N.5: Exp. 3: ∥HT∥F and ∥HGN∥F by distance d (init, L=6 , width =64 , CIFAR-10, mean over 5 seeds). At d=5 the tensor component vanishes ( Hd=L−1T≡0 ).
Figure N.2: Exp. 4: cross-branch resonance RˉAB(dgraph) in Diamond MLP ( k=2 ). Solid curves — initialization (decay with distance, H4.2a); dashed — after training (growth, H4.2b). All 4 configurations show R growth with dgraph at final ( 3.5 – 5.7× from d=2 to d=4 ). Error bands: ±1σ over 5 seeds.
Activation
Gapexactinit
Gapstochinit
Δinit (%)
Δfinal (%)
Softplus
0.122
0.123
0.82
0.25
SiLU
0.225
0.226
0.46
0.33
GELU
0.358
0.359
0.43
0.31
Appendix
Table N.6: Ablation: GN-Gap discrepancy between exact and stochastic (30 probes) estimation (Exp. 3, L=6 , width =64 , mean over 5 seeds).
Condition
d
R(d)
C(d)
D(d)
ReLU ResNet
0
1.05
1.00
2.87
1
0.87
0.93
2.73
2
0.78
0.85
2.65
3
0.72
0.79
2.85
4
0.39
0.73
2.91
ReLU Plain
0
3.81
1.00
2.52
Appendix
Table N.7: Exp. 6 (mid, epoch 50): metrics R , C , D by distance d (mean over 5 seeds). Test accuracy: ReLU ResNet 80.8% , ReLU Plain 77.0% , SiLU ResNet 79.9% , SiLU Plain 78.4% .
Checkpoint
Condition
d=0
d=1
d=2
d=3
d=4†
init
ReLU ResNet
<10−5
<10−5
<10−5
<10−5
<10−5
ReLU Plain
<10−5
<10−5
<10−5
<10−5
<10−5
SiLU ResNet
0.426
0.526
0.619
0.642
<10−5
SiLU Plain
0.003
0.028
0.080
0.132
<10−5
mid
ReLU ResNet
<10−5
<10−5
<10−5
<10−5
<10−5
ReLU Plain
<10−5
<10−5
<10−5
<10−5
<10−5
Appendix
Table N.8: Exp. 6: GN-Gap (d) across checkpoints (mean over 5 seeds). † At d=4 the segment is purely linear ( HT≡0 ).