summaryrefslogtreecommitdiff
path: root/notes/18_contribution_roadmap.md
diff options
context:
space:
mode:
authorYurenHao0426 <Blackhao0426@gmail.com>2026-06-05 15:57:01 -0500
committerYurenHao0426 <Blackhao0426@gmail.com>2026-06-05 15:57:01 -0500
commita3f6c103678e0dcae3a682945c784a3f88d5039f (patch)
tree8658c5715172ba257b69c05fa5ca6b587a842389 /notes/18_contribution_roadmap.md
parent2df52d3dd7b35053d4a357c3814d7cba6db602ce (diff)
Review methods for FA operator dynamics
Diffstat (limited to 'notes/18_contribution_roadmap.md')
-rw-r--r--notes/18_contribution_roadmap.md28
1 files changed, 27 insertions, 1 deletions
diff --git a/notes/18_contribution_roadmap.md b/notes/18_contribution_roadmap.md
index aa26caf..89b578b 100644
--- a/notes/18_contribution_roadmap.md
+++ b/notes/18_contribution_roadmap.md
@@ -230,7 +230,33 @@ This separation avoids overclaiming while still giving a coherent theory chain.
## Next Priority
-The weakest current visual was the phase-transition contribution; the dense
+The weakest current theory gap is not the static capacity law anymore. It is
+the time-dependent operator dynamics:
+
+```text
+e_0 is solved by the actual-FA initial moment theorem
+e_t for t > 0 still needs alignment-gain dynamics
+```
+
+The literature review in `notes/30_literature_methods_for_fa_operator_dynamics.md`
+suggests the most principled route is an FA tangent hierarchy:
+
+```text
+K_FA,t = J_t J_tilde_t^T
+dK_FA,t/dt = dJ_t/dt J_tilde_t^T + J_t dJ_tilde_t^T/dt
+```
+
+with a short-time approximation:
+
+```text
+K_FA,t ≈ K_FA,0 + t dot_K_FA,0
+```
+
+This formalizes the successful time-varying operator estimator. A lower-risk
+full-time theorem can be developed in deep linear FA or in a two-layer
+teacher-student order-parameter setting.
+
+The weakest current visual was the old phase-transition contribution; the dense
long-training sweep now shows that the correct phenomenon is a soft ramp, not a
hard kink.