Shaping as an initialization change

Wiewiora’s JAIR 2003 article relates potential shaping to Q initialization. The source’s arXiv:1106.5267 is a later entry; its 2011 identifier is not the original publication year.

Let F=γΦ(s′)−Φ(s)F=\gamma\Phi(s')-\Phi(s), with shaped values QFQ^F. Initialize the unshaped learner by Q0U=Q0F+Φ(s)Q^U_0=Q^F_0+\Phi(s).

A Q-learning step

If QU=QF+Φ(s)Q^U=Q^F+\Phi(s) before an update,

δU=r+γmax⁡a′QU(s′,a′)−QU(s,a)=r+γΦ(s′)−Φ(s)+γmax⁡a′QF(s′,a′)−QF(s,a)=δF.\delta_U=r+\gamma\max_{a'}Q^U(s',a')-Q^U(s,a) =r+\gamma\Phi(s')-\Phi(s)+\gamma\max_{a'}Q^F(s',a')-Q^F(s,a) =\delta_F.

Matching transition updates preserve the shift. Because it is constant across actions at one state, greedy ordering and appropriate advantage-based action selection can remain identical.

Assumptions for path equivalence

Match initialization, step sizes, experience, randomness, and tie-breaking, and use action selection insensitive to statewise constant shifts. Neural approximators, Adam, clipping, or absolute-value-based exploration do not automatically inherit the tabular correspondence.

Different from policy invariance

PBRS invariance follows from return boundary terms; this result concerns corresponding learning paths under additional assumptions. Terminal potentials and discounts still matter. Different parameterizations can produce different finite-training behavior and costs.

A direct check

Run shaped and initialized tabular learners on identical transitions and check their statewise Q difference at every step, rather than comparing only final returns. This is a proposed check, not a rerun.

Related reading: reward shaping and Bellman updates.

Selected references from the source notes