Theorem 1
QK9WWhen N=1, \bm{A}=-1, \bm{B}=1, s_\Delta=\mathsf{Linear}(x), and \tau_\Delta=\mathsf{softplus}, then the selective SSM recurrence (?) takes the form
Proof (Proof of Theorem 1) of Theorem 1
Consider a selective SSM (?) with N=1, \bm{A}=-1, \bm{B}=1, s_\Delta=\mathsf{Linear}(x), \tau_\Delta=\mathsf{softplus}. The corresponding continuous-time SSM (?) is
which is also called a leaky integrator.
The discretization step size is
where we observe that the parameter can be viewed as a learnable bias and folded into the linear projection.
Now applying the zero-order hold (ZOH) discretization formulas:
Thus the final discrete recurrence (?) is
as desired.