Bellman-Closed Feature Transport in RL

• Bellman-Closed Feature Transport is a framework ensuring that Bellman updates preserve the representational span of state-action features.
• It employs a spectral learning objective that leverages singular value decomposition of feature covariances to enforce closure under Bellman dynamics.
• The method enhances exploration and long-horizon credit assignment, demonstrating significant gains in performance on Atari benchmarks.

Bellman-Closed Feature Transport is a principled framework in reinforcement learning (RL) for learning state-action representations such that the span of value functions is preserved—i.e., “closed”—under Bellman backups. Developed as a core component of the Spectral Bellman Method (SBM), this perspective unifies representation learning and structured exploration by leveraging the inherent spectral properties of the Bellman operator when acting on linearly parameterized function classes. The central mechanism involves enforcing or approximating “Bellman-closure” through a spectral learning objective, ensuring that value estimates remain within the learned feature space as dictated by the Bellman update dynamics (Nabati et al., 17 Jul 2025).

1. Formal Foundations: Bellman Closure and Inherent Bellman Error

Let $\phi: S \times A \to \mathbb{R}^d$ be a feature map, and consider the linear value function class $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$. The Inherent Bellman Error (IBE) quantifies the minimal residual when projecting the outcome of a Bellman update back onto $\mathcal{Q}_\phi$: $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$ Zero-IBE (“Bellman-closed” assumption) holds if $\text{IBE}_\phi = 0$, i.e., the Bellman operator $\mathcal{T}$ maps $\mathcal{Q}_\phi$ exactly into itself. For any policy $\pi$, the $k$-step Bellman extension is recursively defined: $\mathcal{T}^k Q = \mathcal{T}(\mathcal{T}^{k-1} Q)$.

Bellman-closed feature transport refers to constructing or learning a feature space $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$0 for which Bellman updates of any $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$1 remain in the span $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$2, ensuring the representational stability of value iteration and policy evaluation.

2. Spectral Decomposition and Feature Transport under Zero-IBE

If the Bellman-closed condition is met, a powerful spectral structure emerges. For finite $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$3 and parameter set $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$4, let $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$5 and $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$6 aggregate features and parameters. Under zero-IBE, for any set of weights $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$7 and $$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$8, the Bellman transport is

$$\mathcal{Q}_\phi = \{ Q_\theta(s, a) = \phi(s, a)^\top\theta\ |\ \theta \in \mathcal{B}_\phi \}$$9

where $\mathcal{Q}_\phi$0 and $\mathcal{Q}_\phi$1 are diagonal matrices of the sampling distributions. The feature covariance $\mathcal{Q}_\phi$2 dictates the singular values of $\mathcal{Q}_\phi$3: $\mathcal{Q}_\phi$4 The nonzero singular values are square roots of the covariance eigenvalues $\mathcal{Q}_\phi$5. The Bellman operator acts linearly in feature space: $\mathcal{Q}_\phi$6 for some $\mathcal{Q}_\phi$7, so that for all $\mathcal{Q}_\phi$8, $\mathcal{Q}_\phi$9. The functional consequence is that Bellman transport never leaves $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$0—achieving true feature transport under Bellman closure (Nabati et al., 17 Jul 2025).

3. Spectral Bellman Representation Objective

To operationalize Bellman-closed transport, SBM introduces a spectral loss function, distinct from the standard Bellman mean squared error: $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$1 with

$$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$2

$$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$3

where $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$4 and $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$5 are batch-averaged feature and parameter covariances. The orthogonality regularizer $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$6 enforces mutual decorrelation of features and transported parameters. This power-iteration-inspired loss embodies the alternating update structure of the singular value decomposition for the Bellman transport operator. At optimality, these losses guarantee that $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$7 remains in the representational span $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$8 for all $$\text{IBE}_\phi := \sup_{Q \in \mathcal{Q}_\phi} \inf_{\tilde{Q} \in \mathcal{Q}_\phi} \| \mathcal{T} Q - \tilde{Q}\|_\infty = \sup_{\theta \in \mathcal{B}_\phi} \inf_{\tilde{\theta} \in \mathcal{B}_\phi} \| \mathcal{T} Q_\theta - Q_{\tilde{\theta}} \|_\infty.$$9, thus enforcing Bellman-closed transport.

4. Algorithmic Integration and Computational Considerations

Integrating SBM with value-based RL methods requires minimal changes:

• After each Q-learning update of $\text{IBE}_\phi = 0$0:

  $\text{IBE}_\phi = 0$1

• Update the feature map by minimizing the spectral Bellman loss

  $\text{IBE}_\phi = 0$2

with $\text{IBE}_\phi = 0$3 and $\text{IBE}_\phi = 0$4 from uniform or buffer sampling.

Structured exploration is provided by Thompson Sampling in parameter space: $\text{IBE}_\phi = 0$5 Computationally, covariance estimation and regularization are $\text{IBE}_\phi = 0$6 per mini-batch, with no need for large-scale SVD. A full $\text{IBE}_\phi = 0$7 eigendecomposition ($\text{IBE}_\phi = 0$8) is only needed for exploration variance; this cost can be amortized or approximated.

5. Exploration, Long-Horizon Credit Assignment, and Empirical Impact

Bellman-closed feature transport underpins structured exploration by encoding uncertainty directly in the feature covariance structure. The quantity $\text{IBE}_\phi = 0$9, where $\mathcal{T}$0, is the exploration-critical uncertainty term tractably minimized via Thompson Sampling. This mechanism is especially effective in long-horizon, hard-exploration scenarios (Nabati et al., 17 Jul 2025).

In empirical studies on Atari-57 and the “Atari Explore” suite (e.g., Montezuma’s Revenge, Pitfall!, Skiing), SBM-enhanced agents demonstrated substantial gains:

Agent	Base (Atari-57)	SBM+TS (Atari-57)	Base (Atari Explore)	SBM+TS (Atari Explore)
DQN	1.61	1.91	0.22	0.42
R2D2	3.2	3.51	0.42	0.67

These improvements are most pronounced for long-horizon, sparse-reward tasks, indicating effective feature transport and credit assignment under Bellman dynamics.

6. Extensions, Generalizations, and Limitations

SBM naturally extends to multi-step Bellman operators. For the $\mathcal{T}$1-step Bellman operator: $\mathcal{T}$2 with the bound $\mathcal{T}$3. Thus, zero-IBE for $\mathcal{T}$4 implies closure for all $\mathcal{T}$5, supporting use in deep RL architectures like R2D2 and retrace-based off-policy targets.

Limitations include sensitivity to the parameter sampling variance $\mathcal{T}$6, incomplete theory for approximate (non-zero) IBE, and empirical validation currently focused on Atari benchmarks. Generalization to continuous control, richer $\mathcal{T}$7 parametrizations, and convergence analysis under stochastic updates remain active research directions.

---

Bellman-Closed Feature Transport, as instantiated by the Spectral Bellman Method, provides a spectral framework ensuring representational alignment with Bellman dynamics. This approach yields theoretical guarantees of closure, empirical improvements in exploration and credit assignment, and flexible integration with value-based RL algorithms, advancing unified perspectives on representation and exploration in RL (Nabati et al., 17 Jul 2025).