Let \(\Delta\) be a small perturbation of the state \(s\). To first order the policy's action changes by \(J(s)\Delta\), where \(J(s) \in \mathbb{R}^{m \times n}\) is the Jacobian of the policy with respect to the state. If we measure distances between actions with an inner product \(M\), then
\[ \|\pi_\theta(s+\Delta) - \pi_\theta(s)\|_M \approx \|\Delta\|_{A(s)}, \qquad A(s) = J(s)^T M J(s). \]
\(A(s)\) is an inner product matrix on state space. Perturbations in its null space have no first-order effect on the action. For a stochastic policy the same role is played by the Fisher information with respect to the state,
\[ F(s) = \mathbb{E}_{a \sim \pi_\theta(\cdot \mid s)}\big[ g\, g^T \big], \qquad g = \nabla_s \log \pi_\theta(a \mid s), \]
which we estimate for diffusion policies from the gradient of the evidence lower bound.
We want nearby states to ignore the same perturbations, i.e., to share a null space. The average \(\bar{A} = \tfrac{1}{k}\sum A(s)\) over a set of states has a null space equal to the intersection of the individual null spaces, so its \(n-m\) smallest eigenvalues measure how far those states are from sharing one.
The directions that matter can change over a task, so InneR does not average over the whole dataset. For every state \(s_i\) in a training batch we form a region \(\mathcal{B}_i\) from the \(k\) states whose inner products are best aligned with \(A(s_i)\), using the distance \(\|V_iV_i^T - V_jV_j^T\|_F\) between the row spaces of their Jacobians. With \(\lambda^i_1 \geq \dots \geq \lambda^i_n\) the eigenvalues of the region's average \(\bar{A}_i\), the loss is the fraction of each average that lies in the shared null space:
\[ \mathcal{L}_\mathrm{InneR}(\theta) = \frac{1}{B} \sum_{i=1}^{B} \frac{\sum_{j=m+1}^{n} \lambda^i_j}{\operatorname{sg}\big(\sum_{j=1}^{n} \lambda^i_j\big)}, \qquad \mathcal{L}(\theta) \leftarrow \mathcal{L}(\theta) + \gamma\, \mathcal{L}_\mathrm{InneR}(\theta). \]
Frobenius and nuclear norm penalties act on each \(J(s)\) by itself. They make the policy less sensitive at that state, but they do not align the null spaces of different states.