可能的方向

实验(联合西湖大学)

  1. Integrator dynamics in the cortico-basal ganglia loop for flexible motor timing

  2. An approximate line attractor in the hypothalamus encodes an aggressive state

日期: 2026-05-11   标签: #line attractor 
Summary The hypothalamus regulates innate social behaviors, including mating and aggression. These behaviors can be evoked by optogenetic stimulation of specific neuronal subpopulations within MPOA and VMHvl, respectively. 下丘脑调节着先天的社交行为,包括交配和攻击。这些行为可以通过对 MPOA 和 VMHvl 中特定神经亚群进行光遗传学刺激来引发。 Here, we perform dynamical systems modeling of population neuronal activity in these nuclei during social behaviors. In VMHvl, unsupervised analysis identified a dominant dimension of neural activity with a large time constant (>50 s), generating an approximate line attractor in neural state space. Progression of the neural trajectory along this attractor was correlated with an escalation of agonistic behavior, suggesting that it may encode a scalable state of aggressiveness. ......
  1. A circuit that integrates drive state and social contact to gate mating

  2. A line attractor maintains aggressiveness during feeding in 'hangry' mice

日期: 2026-05-10   标签: #line attractor 
......
  1. Encoding of female mating dynamics by a hypothalamic line attractor

  2. Causal evidence of a line attractor encoding an affective state

日期: 2026-05-11   标签: #line attractor 
Abstract Continuous attractors are an emergent property of neural population dynamics that have been hypothesized to encode continuous variables such as head direction and eye position1–4. In mammals, direct evidence of neural implementation of a continuous attractor has been hindered by the challenge of targeting perturbations to specific neurons within contributing ensembles2,3. 连续吸引子是神经群体动力学的一个涌现属性,被假设为编码连续变量,如头部方向和眼睛位置。在哺乳动物中,直接证据表明连续吸引子的神经实现受到挑战,因为很难针对贡献集合中的特定神经元进行干扰。 ......

meta-learning(biologically plausible learning rule)

  1. The neural computation of affective internal states in the hypothalamus - A dynamical systems perspective

  2. A line attractor encoding a persistent state requires neuropeptide signaling

日期: 2026-05-10   标签: #physics  #numerical calculation 
Summary Internal states drive survival behaviors, but their neural implementation is poorly understood. Recently, we identified a line attractor in the ventromedial hypothalamus (VMH) that represents a state of aggressiveness. Line attractors can be implemented by recurrent connectivity or neuromodulatory signaling, but evidence for the latter is scant. 内部状态驱动生存行为,但其神经实现机制尚不明确。最近,我们在 腹内侧下丘脑(VMH)中识别出一个线性吸引子,它代表了一种攻击性状态。线性吸引子可以通过反馈连接或神经调制信号来实现,但后者的证据很少。 ......

自下而上的方法: 通过病毒和基因编辑, 钙成像神经活动, 研究同一区域(腹内侧下丘脑 VMH)不同神经调节受体(催产素 OXT, 精氨酸加压素 AVP) 局部失活的影响.

社交行为(如攻击性)的神经元集群可构成一个近似线性吸引子.

  1. Integration as a self-organizing process
日期: 2025-11-24   标签: #physics  #numerical calculation 
Integration—the accumulation of information over time—is a fundamental computation in navigation, decisionmaking, and memory. The dominant circuit model, the continuous attractor neural network (CANN), explains integration through finely tuned connectivity that supports marginally stable states. However, data from systems such as Drosophila central complex suggest that real connectivity is heterogeneous, implying that symmetry may only exist in a coarse-grained sense, if at all. One class of models explains this heterogenous connectivity by evoking supervised learning which can enforce coarse-grained symmetry at the expense of extensive trial and error learning or by employing biologically unrealistic learning rules. Another class employs only local learning rules, but this approach typically fails when circuit connectivity or tutoring inputs become sufficiently heterogeneous. 积分——随时间积累信息——是导航、决策和记忆中的基本计算. 主导的回路模型, 连续吸引子神经网络(CANN), 通过支持边际稳定状态的精细调制连接来解释积分. ......

embeded continuous attractors with random rnn

random rnn(DMFT), random matrix theory

  1. Symmetries and continuous attractors in disordered neural circuits
日期: 2025-10-08   标签: #physics  #numerical calculation 
0. Abstract 经典 cann: 依赖于循环权重 $\mathbb{M}$ 的连续对称性, 调谐曲线也具有平移对称性. 而小鼠头朝向细胞具有异质性. 仍可通过经典 cann 动力学解释哺乳动物神经回路. 通过动力学平均场理论(Dynamical Mean Field Theory) 表明调谐异质性网络(在大 N 下)等效于经典 ring attractor. 随机权重通过特征值简并反映出来. 因此可以对权重进行谱结构分析. ......

面试 PPT 大纲

John Hopfield (Symmetric)

Associative Memory

discrete fixed point

degenerate manifold

Examples

  • occular motor control
  • ring attractors(head direction cells)
  • place cells
  • intrinsic behavior(aggression, mating...)
  1. Existing model/theory

    • Fine tuned connectivity
    • 1996 S.Seung PNAS

    $$ \tau\frac{\mathrm{d}x}{\mathrm{d}t} = Ax + \xi_{\tau} $$

  2. Biological noisyness


问题: 是否存在一套学习规则, 使得神经网络在接受到一些实验数据的时候, 可以在无监督下自组织出对应的连续吸引子网络, 从而将现实世界的某低维变量嵌入到高维的 RNN 相空间中?

  1. 实验数据是否存在低维流形

2020: Manifold GPLVMs for discovering non-Euclidean latent structure in neural data 流形高斯过程隐变量模型: 还原了 Head Direction 的环结构

2018: Learning a latent manifold of odor representations from neural responses in piriform cortex: 不是证明了气味分子在现实世界构成低维流形, 而是从小鼠 piriform cortex 的神经活动中能够反推一个能解释这些响应的潜在嗅觉表征空间

  1. 能否在无监督下自组织, 从而恢复流形的 latent variable

  2. 是否存在某种生物学上可行的学习规则, 使得 RNN 能够将流形映射到自己的相空间中

Oja rule: Discovering plasticity rules that organize and maintain neural circuits

  1. 是否有不同的流形可以拓展应用目前学习的 random RNN 的理论框架?
    • 线性吸引子: 能否构造一个协方差矩阵, 使得生成的调谐曲线能满足 aggression 等表征?
    • 蝙蝠: (目前尚未查到比较完整的数据集) Three-dimensional head-direction coding in the bat brain: 并未构成想象中的球面吸引子, 而更像是一个环面吸引子

meeting notes:

  • $(\cos{\theta}, \sin{\theta})\rightarrow \vec{x}\in\mathbb{R}^{N}\rightarrow \mathrm{bump}$ 设计 $\Delta J_{ij}$, 使得具有一定初始化规则创建的 J0 通过具有一定内在结构的外部输入更新权重, 从而收敛至 optimized J matrix, 并且其更新规则需要是 local 的(而非机器学习中的梯度下降算法这类依赖于全局状态的方法)

  • 线性吸引子: 搞清楚积分变量的累积是否具有方向性, 以及和速度输入的关系, aggression 是否能够用类扩散行为来描述. 比如小鼠的和 aggression 相关存在类似线性吸引子的机制, 攻击性的累积具体是怎样的机制? 这个需要具体确认一下(因为头朝向是一个旋转对称的系统, 而线性吸引子并不具有这个特性: 往一个方向和另一个方向的漂移是代表同一个生理过程吗? 还是往一个方向积分是提高攻击性, 另一个方向是减少攻击性? ...)

  • place cell 是否可以应用于 random RNN 理论框架 (是不是对 $\Gamma$ 协方差函数的 M matrix 进行修改, 以及新的协方差函数应该如何设计从而适应 place cell 单 bump 以及多 bump 的结构, grid cell 是六角晶格分布的 bump 因此两者还是存在神经集群活动模式的区别)

  • 论文阅读:

  • 继续 Follow 有关 3D 蝙蝠 head direction 的相关工作, 对其进行了解

  • 补充的论文阅读材料:

    • Multiscale representation of very large environments in the hippocampus of flying bats
    • Large environments reveal the statistical structure governing hippocampal representations
    • Universal statistics of hippocampal place fields across species and dimensionalities
    • A thalamus-brainstem attractor network drives history-biased decisions

思路:

  1. 通过 universal... 的 place cells 数据集, 使用 symmetries... 中的 random RNN 框架, 先尝试构造 target manifold 以及对应的 weight matrix

    现实世界位置 $\vec{r}\in\Omega\subset\mathbb{R}^{D}$; 单神经元 $i$ 的 place field $\phi_{i}^{*}(\vec{r})$ (在 $\vec{r}$ 的平均放电率)

    文章声称在高阈值条件下, field size, gap, Euler characteristic 等刻画 place field 的参数, 统计对于具体选取哪一个协方差函数并不敏感, 因此可以采用

    $$ \Gamma(\vec{x}-\vec{x}^{\prime}) = A^{2}\exp{\left[-\frac{|\vec{x}-\vec{x}^{\prime}|^{2}}{2l^{2}}\right]} $$

    异质性 place cell 的解码: $\hat{\vec{r}}(t) = \arg\max_{\vec{r}} \mathrm{Match}\left[\vec{\phi}(t), \vec{\phi}(\vec{r})\right]$

    其中匹配算法有多种选择, 比如 Maximum likelihood 的 Poisson 核, overlap parameter (Clark 就是用的这个方法 $m(\theta,t) = \frac{1}{N}\sum_{i}\phi_{i}^{*}(\theta)\phi_{i}(t)$)等等.

  2. 通过 Gaussian process 构造的通性:

    • Clark:
      • 现实状态: 头朝向 $\theta\in [0,2\pi]$
      • 随机变量: 输入电流场 $\vec{x}^{*}_{i}\sim \mathcal{N}(0,\mathbf{\Gamma}^{x}(\theta-\theta^{\prime}))$
      • 非线性激活函数: $\phi(x) = 1 + \mathrm{erf}\left(\frac{\beta\sqrt{\pi}}{2}x\right)$
    • Mainali:
      • 现实状态: 位矢 $\vec{x}\in\mathbb{R}^{D}$,
      • 随机变量: 输入电流场 $h(\vec{x})\sim \mathcal{GP}[\vec{0},\mathbf{r}(\vec{x}-\vec{x}^{\prime})]$
      • 非线性激活函数: $f(\vec{x}) = \left[h(\vec{x}) - q\sqrt{\mathbf{r}(\vec{0})}\right]$
    日期: 2026-06-13   标签: #line attractor 
    Summary Hippocampal place cells have single, bell-shaped place fields in small environments. Recent experiments, however, reveal that, in large environments, place cells have multiple fields with heterogeneous shapes and sizes. 海马体位置细胞在小环境中具有单一的钟形位置场. 然而, 最近的实验表明, 在大环境中, 位置细胞具有多个具有 异质形状和大小 的位置场. We show that this diversity is explained by a surprisingly simple mathematical model, in which place fields are generated by thresholding a realization of a random Gaussian process. The model captures the statistics of field arrangements and generates new quantitative predictions about the statistics of field shapes and topologies. These predictions are quantitatively verified in bats and rodents, in one, two, and three dimensions, in both small and large environments. ......

    随机变量 $\vec{x}\in\mathbb{R}^{d}$, 约束 $E[\vec{x}]=\vec{\mu}$ 和 $\mathrm{Cov}[\vec{x}] =\Sigma$.熵 $h[p(\vec{x})] = -\int p(\vec{x})\log{p(\vec{x})}\mathrm{d}\vec{x}$ 最大的是 $g(\vec{x}) = \frac{1}{(2\pi)^{\frac{d}{2}}|\Sigma|^{\frac{1}{2}}}\exp{\left[-\frac{1}{2}(\vec{x}-\vec{\mu})^T\Sigma^{-1}(\vec{x}-\vec{\mu})\right]}$.

  3. *学习规则: 什么样的学习规则能使 weight matrix 学习到 Gaussian process?

  4. 确认小鼠线性吸引子的具体理论机制

    1. agg 主要的驱动因素是社会交互(male intruder, sniffing, attack...)的相关输入, 而没有考虑类 random walk 的自发性升高机制

    2. 类比眼位 $E$ 的 $v_{i} = v_{i}^{0} + k_{i}E$, aggression 的 $a(t)\in\mathbb{R}$ 是一种一维连续变量, 引入 latent state $x_{1}$ 来描述 integration dimension, $x_{1}$ 越高, 攻击概率和攻击程度越高.

    3. 因此, 即使 $\lambda=0$ 描述刻画了线性吸引子 $\pm$ 增长的 neutral stability, 但是 aggression 仍应被理解为一个具有方向性的积分器: $x_{1}\uparrow$, agg $\uparrow$; $x_{1}\downarrow$, agg $\downarrow$.

    4. aggression 不能简单地被理解为 integrate-and-fire 行为. 以 $a$ 表示 aggression 变量

      $$ \begin{aligned} \dot{a}(t) &= -\frac{a(t)-a_{0}}{\tau} + v_{\mathrm{social}}(t) + v_{\mathrm{state}}(t) + \xi(t)\\ P(\mathrm{attack}) &= \sigma[\beta(a(t)-a_{\mathrm{thresh}})]\end{aligned} $$

      即没有后续社交或饥饿等输入后, aggression 会以很慢的速度往 baseline $a_{0}$ 跌落. 若将其放置于一个短时系统中, 将会表现出 history dependence. 积分总是从当前状态 $a(t)$ 开始

      并且, 在攻击产生之后, $a$ 值也不会立刻归零, 高 $a$ 可持续约 80s, 而单次 attack bout 仅持续 5s. 这也确保了小鼠从攻击到进食行为的切换: 在进食完毕后仍保留较高的 $a$.


Todo:

  1. *阅读 A thamalus-brainstem attractor network drives history-biased decisions, 探索是否有将其和 random RNN 框架结合的可能性

  2. Follow 有关 universal statistics of hippocampal place fields across species and dimensionalities 的工作中和学习规则有关的部分

  3. 做一个小型的 weight matrix learning 实验, 看下能不能通过 local learning rule 逼近 $J_{ij}$ 矩阵

    Clark: 通过 $K^{-1}_{i,\lambda}$ 离线优化 $J$

    切入口: 将伪逆解替换为 online learning rule


meeting notes:

课题:

  1. 目前 Clark 已实现 offline 的 optimized weight matrix 用于产生 ring attractor, 是否存在某种 local learning rule 能够逼近这类 optimized weight matrix?

    $\dot{J}_{ij} = F[\vec{r}(t), J_{ij}]$

  2. 是否可以将 Clark 的方法推广至 place cells 相关数据集?

题目拟定
  1. 复现 Clark disordered ring attractor 的实验平台和动力学

  2. 系统测试 classical local learning rules 是否能从 sensory-clamped heterogeneous activity(感知输入引起的异质性神经活动) 自组织出 quasi-continuous attractor

  3. 使用 meta-learning 在 local rule basis 上搜索最小 plasticity motif, 并解释其与经典 Hebbian/Oja/BCM 等 plasticity 的关系

meeting notes:

课题的艰难探索

  1. 完成 Hebbian 等 learning rule 的 baseline 实现

    • Classical continuous attractor
    • Heterogeneous tuning curve
  2. Literature research

    • CA3 数据集寻找 (dandi...)
    • attractor in hippocampus 相关论文
    • 以及更多...
  3. Proposal 确定

    • 找到感兴趣的方向, 找到自己想要解决的问题 (只是把现有的 random RNN 推广到 place cell 数据集上, 这种缝合行为是一个真正的问题吗? )

神经回路如何在没有 global error signal 的情况下, self-organize 并且 maintain some low-dim dynamical motif

低维神经动力学如何在异质, 随机, 局部可塑的神经网络中形成并且维持? (How can low dimensional dynamical motifs self-organize and maintain in neural circuits without global error signal)

Clark's random RNN: 提供了一套分析逻辑, 用于判断是否出现了 continuous attractor


Idea notes:

让视觉线索作为外界 teacher, 自运动角速度输入作为需要学习积分的 idiothetic cue, 使得网络学会在无视觉输入时通过角速度做 path integration.

模型的 local learning rule 是在发育期完成的, 成熟期的网络已经形成 quasi-continuous attractor

HD cells: head direction cells, 排列为 ring. 群体活动为 bump, bump 位置对应动物对头朝向的估计

HR cells: head rotation cells, 同时接受 HD bump 和角速度输入, 分为 leftward 和 rightward 两个侧翼(wing), 分别负责将 bump 往左和右推动

Visual input: 视觉输入不是最终测试时必须存在的信号, 而是训练期的 teacher. 告诉 HD 现在 bump 应该在哪里, 作为 supervisory signal


meeting notes:

  1. 下载 learningPI 的 github 代码, 和自己的 toy model 实现进行核实
  2. 重新规范画图时间轴, 清楚单位时间的含义; 计算 drift 的角速度大小
  3. 搞清楚在学习过程中的 visual input 是怎样的形式, 是 fixed profile 吗?
  4. Hippocampus place cell 相关
    • pathway : LEC & MEC -> DG -> CA3 (recurrent) -> (BTSP, 详情见 2024 年的论文) CA1
    • grid cell -> high dimensional sparse representation -> CA3 place cell (place cell 实际上在 DG, CA3, CA1 都有, 而 CA3 中会和 HD 类似具有难以去除的 drift 效应)
    • 更抽象层面的规律: low dim manifold 在 cortex 间的传递/继承(inheritance)?

继续阅读文献, 等待导师发整理后的 lists.


meeting notes:

  • visual input 的形式

    • 更换为 + noise 形式
    • tuning curve sampled by Gaussian generative process,

    还能够学到 quasi-continuous attractor 结构吗?

  • visualize: 尝试 PC1&2&3 空间内的初态微扰跟踪, 评估 separation of time scales

  • 延长 darkness 后 re-visual input 的时间, 观察 error 是否能重新跌落回到 0

  • 尝试减少 neurons 数量(比如 16), 对比观察 metrices 的变化, evaluate the robustness of the local learning rule

  • 尝试理论分析 spectrum of Jacobian, 尝试缝合 Clark 式的 attractor anlysis

  • 完成 prospective dynamics 文章的阅读, 分析两者有何异同

  • 重新精简一下 .ipynb 笔记中 path integration 相关的 experimental setup, 避免每次 meeting 的时候都要重新翻找 (特别是 OU process 的具体公式形式等等)

  • 绘制权重矩阵跟随 training time 的变化

  • 尝试解决有关 diffusion approximation of diffusion phenomena 的问题, 并且解出具体的 diffusion coefficient

  • 重新梳理 figures 文件夹的结构, 避免所有图全部混在同一个文件夹

  • gain 曲线需要绘制 in darkness 下的情况

目前的基础画图中, 除了在 visual cue 下的 velocity gain, 还应该评估在 darkness 下的 gain 进行对比; 同样地, 这样的比较也应该体现在跨 noise / num of neurons 的 metrices 中

  • 绘制一下添加了 noise 之后的 visual cue, 从而体现出 visual cue 的 heterogeneity

meeting notes:

  • 更高时间分辨率的 weight matrix development;
  • 考虑不同的视觉 cue profile, 以及考虑引入 heterogeneous visual cue generator 的可能性
  • 重新实现 bump drift 的计算, 看一下如何实现 diffusion coefficient 的计算
  • 完成 prospective dynamics 文章的阅读, 并且先简单实现 toy model 版本的复现
  • 重新考虑 std 和 visual cue amplitude 的 scaling effect
  • 考虑继续延长 noise std list, 一方面观察 gain 等 metrices 发生 bending down 的情况, 另一方面细扫 critical noise std 看看临界行为是怎么发生的, 能否对其进行更理论性的分析

有必要开发一个基于 llm 的自动化文献阅读和整理工具. 目前的复制-粘贴-copilot翻译的效率非常低, 如果可以的话可以借鉴一下 这个 的实现方式


07.27 meeting notes:

  1. 阅读 Near-critical slow dynamics enable flexible temporal computations and generalization, 以确保合作

  2. 阅读老师所发的 proposal & manuscript, 注意这两个都是由 Claude 生成的, 因此需要注意里面的公式推导是否存在问题

  3. 阅读 Back to Continuous Attractors 文章

proposal 里面有提到过一种新的学习方法? 需要去确认


08.03

为代码库添加一个功能: 保存训练状态, 从而使得在训练结束之后能够重新读取状态并且继续训练

meeting notes:

  • 重新确认目前的 PVA 是针对什么 firing rate 完成的.目前的神经元因为 Vafidis' learning rule 被设计为 2-compartment, 因此动力学依赖严格来说是一个 2D 方程组 ($\dot{I}{HD,d} = f{1}(\cdot), \dot{I}{HD} = f{2}(\cdot)$), 在这种情况下如何定义 Ramesan 所使用的 $q = \frac{1}{2}||F(x)||^{2}$? 确认一下非线性函数对于 state space 的影响
  • 重新确认 PVA 的谱(variance-rank 图), 确认一下取 N = 3 的截断是否合理. 目前前三成分总和约为 55%
  • 确认目前动力学方程的 stiffness, 确认目前的 Euler 法是否合理
    • Diffrax package;
    • scipy.integrate.solve_ivpmethod='BDF' 或者 method='Radau'
  • 寻找更好的确认 attractor basin 的方法, 目前的 trajectories 追踪做得太糙了. 理论上来说 unstable 和 stable fixed point 应该是成对存在的
  • 重新确认速度场的计算方法是怎么完成的, 是不是自己描述的那样, 以及是否有更好的方法; 以及如何理解蓝线和橙色线的测定, 两者的差异是如何产生的
  • 确认训练终止的合理时间. 目前呈现的趋势是训练越长, weight norm 越大并且没有呈现出收敛趋势. 按照权重更新的动力学, 应该是会完全静止才对
  • 确认 $I_{HD}, I_{HD,d}$ 和 $W_{HD\to HD}$, $W_{HR\to HD}$ 的更新顺序, 是同步还是特定的异步

开始着手本地 AI 模型的部署, 看下工作的效果能不能助力科研.

测试完了, 这效果真的是拉完了, 可能也就玩玩生图或者 NPC bot 这类.

目前的一些诊断性代码可以尝试使用多核算法优化一下, 每次训练的时间长, 总不能诊断的时候还要继续等

2026.08.10 meeting notes

结论:当前阶段不建议把 Diffrax、BDF 或 Radau 接入主训练流程。应继续保留 dt=0.5 ms 的 ordered Euler 作为论文复现基线;dt=1 ms10 ms 在现有 Eq. (4) 下都不稳定。更值得优先验证的是:只对 proximal compartment 的线性快模态使用精确指数更新,然后尝试 dt=1 ms

1. 当前系统确实存在局部 stiffness

proximal voltage 满足

$$ C\dot V_a=-(g_L+g_D)V_a+g_DV_d+I_{\rm vis}. $$

当前参数是 $C=1\rm\,ms,\ g_L+g_D=3$,所以最快时间常数为

$$ \tau_{\rm prox}=\frac{C}{g_L+g_D}=0.333\rm\,ms. $$

这比其他时间常数快很多:

  • proximal:0.333 ms
  • distal voltage:10 ms
  • synaptic filter:65 ms
  • plasticity filter:100 ms
  • OU velocity:500 ms

对应参数可见 vafidis_toy.yaml。代表性训练后 fixed point 的完整离散 Jacobian 给出约

$$ \operatorname{Re}\lambda\in[-3000,-7.5]\ {\rm s^{-1}}, $$

时间尺度比约 400,属于明显但结构非常局部的 split stiffness。

不过这个 Jacobian 是 ordered discrete map 的 Euler-equivalent flow;其中 HR firing rate 是代数更新,会人为产生 $-1/dt$ 量级模态,并不等价于一个标准连续 ODE,代码也明确说明了这一点:autonomous.py

2. dt 的稳定性和成本

proximal Euler 的齐次放大因子是

$$ m=1-\frac{dt}{\tau_{\rm prox}}=1-3000\,dt. $$

dt $m$ 判断 80,000 s 成本
10 ms −29 强烈不稳定 不应使用
1 ms −2 不稳定 不应使用
0.5 ms −0.5 稳定,但快模态交替振荡 1.6 亿步,约 6.5 h
0.25 ms 0.25 稳定且非振荡 约 2 倍成本
0.125 ms 0.625 更接近连续解 约 4 倍成本

当前代码正确地拒绝前两种情况:vafidis_toy.py。论文也明确采用 dt=0.5 ms 和 forward Euler:vafidis2022_paper.txt

我做的同初态、恒定速度、1 s 短训练收敛测试中,以 dt=0.03125 ms 为参考:

  • dt=0.5 ms:HD-rate 轨迹相对误差约 0.69%,解码角 RMSE 约 $9.4\times10^{-4}\rm\,rad=0.054^\circ$;
  • dt=0.25 ms:相应误差约减半;
  • 误差表现符合一阶 Euler 收敛,而成本基本严格按 $1/dt$ 增长。

因此不是“dt 越小越好”,而是:

  • 复现论文数值协议:用 0.5 ms
  • 检查连续时间收敛:抽取短片段,用 0.25/0.125 ms
  • 没有必要把完整 80,000 s 都缩到 0.125 ms

随机 OU 训练还要注意:换 dt 后,即使 seed 相同,也不是同一条 Brownian path。正式比较应使用确定性 velocity replay,或构造 coupled Brownian increments,否则网络差异里混入了输入轨迹差异。

3. 为什么暂时不应直接换 BDF/Radau/Diffrax

当前 step_vafidis_toy 是固定读写顺序的离散 map,包括:

  • ordered/sequential updates;
  • algebraic HR firing rate;
  • Euler–Maruyama OU input;
  • 每步局部 plasticity;
  • 可选 constraints;
  • 固定步长的视觉和速度输入。

所以它不能直接交给 solve_ivp 当作 $\dot y=f(t,y)$。若换成 BDF/Radau,必须先重新定义一个真正的 continuous ODE/DAE/SDE 模型;这已经是模型语义变更,而不只是换 solver。

SciPy 官方也把 BDF/Radau定位为 stiff continuous ODE solver,并建议提供 Jacobian;否则需要有限差分 Jacobian和隐式 LU 求解。SciPy solve_ivp 当前训练若把两套 weights 和 plasticity traces 全部作为状态,维数接近 15,000,隐式求解不太可能自动比当前的矩阵乘法 + 显式更新便宜。

Diffrax 同时支持 ODE/SDE,也有适用于 stiffness 的 Kvaerno/IMEX 方法,但隐式方法通常需要 adaptive controller;adaptive SDE 还要求正确构造 Brownian path。Diffrax solver guidanceadaptive SDE requirements 这意味着需要把 NumPy、RNG、状态和整个训练循环改写成 JAX 语义。目前只是为了处理一个对角线性快模态,这个代价过大。

导师推荐的这些 solver 更适合作为:

  • frozen-weight、确定性 continuous ODE 的 reference solver;
  • 验证 stiffness 和 Euler 收敛;
  • 检查某个结论是否是离散化伪影;

而不是当前主训练 runner 的直接替代品。

4. 更合适的优化路径

proximal 方程是线性的。保持当前 ordered data stream,可以用一步精确解:

$$ V_{a}^{n+1}=V_{\star}+ e^{-(g_L+g_D)dt/C}(V_a^n-V_{\star}), \quad V_{\star}=\frac{g_DV_d^{n+1}+I_{\rm vis}^{n+1}}{g_L+g_D}. $$

它没有 Euler 稳定性限制,也不需要 Newton、Jacobian 或新依赖。

只做这一替换的短探针结果是:

  • dt=0.5 ms:HD-rate 误差从约 0.69% 降到 0.45%;
  • dt=1 ms:误差约 0.87%,计算量约减半;
  • dt=2 ms:误差约 1.63%;
  • dt=10 ms:误差已约 7.8%,仍然太粗。

因此建议最终采用三种明确语义:

  1. release_euler_dt0p5ms:论文复现基线,不改。
  2. fine_euler_dt0p125ms:只跑短时间收敛参考。
  3. exact_linear_proximal_dt1ms:候选快速模式,必须经过完整 weight/gain/bump 多 seed 对照后才能成为正式配置。

另外,BDF/Radau也不会自动解决 weight norm 不停止的问题。论文自己说明 proximal equilibrium input 不为零,从而存在“lack of strict convergence”:vafidis2022_paper.txt。最新 80,000 s 运行最后 16,000 s 内,两套 weight norm 仍增长约 6.7% 和 7.2%,这更像学习动力学性质,而不是 Euler instability。训练终止应检查相对 dW/dt、error window 和 bump/PI 功能是否平台化,而不能要求 weight norm 完全静止。

文件未修改。数值探针均为只读运行;相关动力学测试为 20 passed