: 𝝀0 , 𝑓(⋅), 𝑑(⋅, ⋅) Output: 𝝀 while Lproximity not converged do 𝝀𝑡+1 = 𝝀𝑡 + 𝜌(∇L(𝝀𝑡 ) − 𝑘∇𝑑(𝑓( ̃ 𝝀𝑡 ), 𝑓(𝝀𝑡 ))∇𝑓(𝝀𝑡 )) ̃ 𝝀𝑡+1 = 𝛼 ̃ 𝝀𝑡 + (1 − 𝛼)𝝀𝑡+1 𝑡 ← 𝑡 + 1 end return 𝝀 Lproximity は Fast PVI の大域的な目的関数2で, Lproximity (𝝀𝑡+1 ) = 𝔼𝑞 [log 𝑝(𝒙, 𝒛)] − 𝔼𝑞 [log 𝑞(𝒛; 𝝀𝑡+1 )] − 𝑘 ⋅ 𝑑(𝑓( ̃ 𝝀𝑡 ), 𝑓(𝝀𝑡+1 )). 2𝑑(⋅, ⋅) ≥ 0 より,通常の ELBO L を modify した Lproximity も依然 エビデンスの lower bound. 14