J(π)=Eτ∼π[∑tγt(r(st,at)+αH(π(⋅∣st)))],H(π(⋅∣s))=−Ea∼π[logπ(a∣s)]
\nDerivation:
1.
Soft policy evaluation: the entropy bonus turns the Bellman target into
y=r+γ(Qθ−(s′,a′)−αlogπϕ(a′∣s′)) with
a′∼πϕ (subtracting the entropy term from the value); the Critic minimizes
L(θi)=E[(y−Qθi(s,a))2];
2.
Soft policy improvement: solving
πnew=argmaxπEa∼π[Qπold(s,a)]+αH(π(⋅∣s)) yields the closed-form
Boltzmann policy π∗(a∣s)∝exp(Q(s,a)/α) (softmax over value with temperature
α); in practice a reparameterized Gaussian
a=μϕ(s)+σϕ(s)⊙ϵ gives differentiable samples minimizing
J(ϕ)=Eϵ[−Q(s,a~)+αlogπϕ(a~∣s)];
3.
Twin-Q min: two Critic networks regress the same target whose value uses
miniQθi−(s′,a′) to suppress max overestimation (a more direct off-policy fix than Double DQN);
4.
Auto temperature: treating
α as the dual variable of the constraint
H(π)≥Htarget, the loss is
J(α)=Ea∼π[−αlogπ(a∣s)−αHtarget] with
∇αJ=−E[logπ(a∣s)+Htarget]: when measured entropy falls below the target,
α increases (more exploration); above it,
α decreases.