Alternative proof with interpretations for a recent state-dependent importance sampling scheme

(1)

!" #" $%#% &'("(! )!'*+, - .+''!+ ."/""/0 1!(2!'3 !" 4 25* &'"' 6"73, - 8"0 % 9% : ;<=0 =>?? @.0 ."3'(0 ( A(+!"3 .2!+B C5%%D 0 8%%8%3'("(!EF*8"%"+ 1!'( G0 ;??= HIJKLMNK

OPQPRSTUV W XSWSPYZP[PRZPRS Q\WR]P ^_ `PWXabP _^b Xc`aTWScR] ^dPbe^fX cR S\P

Sf^YR^ZP SWRZP` gaPaP fWX [b^[^XPZ hU ia[acX PS WTj klmV S^]PS\Pb fcS\ W [b^^_ ^_

cSX WXU`[S^ScQPnQcPRQUj oR S\P[bPXPRS [W[PbVfP [bPXPRS WR WTSPbRWScdPVX\^bSPb WRZ Xc`[TPb[b^^_j p abS\Pb`^bPVfP]cdPcRSacScdPcRSPb[bPSWSc^RX_^bXPdPbWT^_S\PWhXSbWQS gaWRScScPX cRd^TdPZ cR S\cX Q\WR]P^_`PWXabPj q rstuvwxytzvs {|}~ }}|} |}||} ||| } |} |} } |} ||}} |} |~|} |} }~ }| ~}|~|} } | ~ ||| ~|} ~}| }} |}~ |} | } | | | } } }| || } |~ } ~ }~|} || |} ~} } ||} |} ~ || | ~} } | ~ }| ||} }|| ~} } | |} |~ ~ ~}} } | | |} } } |} |} }~ ~} | } ~|} ¡¢£ } |~|} ¤£¥}} ~} ¦§¨©ª «¬ ª®¯©°¯°¨©± ¨¯²°°³ ¬´³µ°µ ²¶ ª° ·´ª± ¸¹º»¼¸½º¾»¹ §©«¿°±ªÀ§¨©ª«¬ ª®¯©°¯°¨©± Á¨¯ µ«³° Á®Â° ª° Ã©¯ª¨´ª«©Á¨¯ ¨ªºÄ½ºÅ¼º½º¹ÅÆ½°³³°¯ÆÇ ©¨³±°

(2)

}} || |~ ~|}~ | | } £|{ }}|}~ ¥}} ~} |}~|}| ¥} } } | ~} | } ¥ |} | } |} } |~} } ~}~|} } | |} | |} | |} } }| | ~} ~| | | |} | |~ | }} ~}~|} ~} |} £ } ~| | ~|}~ } }~}|~ } } } |~|}~| ~} |} | |}|} ~}|| }~}||} |} ~}~|} ~} }} ~} } } | | | ~ } {~|} ¢ } ¥} } |} }|} }||} ~| ||} } {~|} ¤ | ~} |} £ {~|} ~}|} |} } } }| } |~ ~|}~ | ~} } |~ }|} |} {~|} ¡ |}~|} |}|} }~|} |} |} ~} } |} |~ ~} }| vw sw u zzsuz } | ~|} |}~ } ~} } |}~ |} | }|} £ }|} }| } | | } |~ } |} }~~}| ~}|}| ~ |}~ |} |} || } ~ ~ |} } ~}| |~ | ~|} | ~ }|} || }||} ~| } ! " #!$ #! % |} £}~ &'( " $$¢ |} |~|} ~ ! ~}} ) &'£ ~}|} ||| {|}~ | }|

* * " &+ " $& " ,$ } & " $, | ) &+£ "

) &£ " } ) &£ " -} } . | }||} &/ |

||. " $¢ ~ || ~ ! | | | |}~|}

(3)

! !$ |~ } | ~ ~}| } } |}| | " 0 $ 1 ' $ * 2 ¥~ | } " 0 $ 1 ' $ * " 2 }| " 0$ 1 2 } " 0 $ 1 2 } } }| } ~ " } ! /} ! " ! | || ) &/£" / |~|} } |}~ | #! * #! | |} |} ~ ~ !1 " |}0 1 $ ! " $ " $$, 2 |~ | ~| } | " |} } |}|~ ! | $ | } |} |~ #! * #! || {|}~ |} |} || } ~ ~ |} } ~} | | " + " $£ %|~ | | }} ~ }}| " , | {|}~ |} |~ } |}}~ } | } } |} |~ ~ } " , ¡£ | ||}} |}|~ }~|} } " !$ " $$ |} } ||} } ||} } } |} + " $ ~ " £ - |} ||} |} |}~ |} | } ¥}} }| |~ | || ) &' £ }||} |} |~|} &' | ~} ~ ! | } | ~ || ~} } " £$ } ~|} } } } | || } ~}||}| " !" # !$+ ) %!£ ) %! !£

(4)

} |~ ~|}~ ~} } | ¢$ ~|} | |} } } } | || } ~} } } | | }}| |} |~ }||} | |~ || ~ £ |} | || | ,¢ $ ¢ | ~|} | } } } } ¢ | | |} } || | |~ ~} ~| | } | }~|} ) &' £ | ~ } ~|} s v xu uv xxz t | | ~ ~| ~} |} £ | | |} |} | | ||} % ~} |} ~} £ | }~|} } |~ ~ } | |} |} | |} }~|} | ~}~ |} | } }~|} ~}~ | 1 / " /$ *¢ ,. $ . " $¢$ ¤ $ ¤ $ } |}} ~} ~ ' |} " ¢ ,$, " ¢ ,$ " $ } }~|} ||} ~}||} | |} } / | | . " / " / | |} / } } }~|} }} -|}|} ~| }||} } }|} } |} } ~} } |} £ } | } | |} |}| } }~|} | } ~|} |~| } }~|} " |~ ~ |} |}}|} } |~ }~|} / |} |}| | ~ |}~}} | }¥}}~} ~}~|

(5)

~| | | ~| ¥|}}} } £ |} |~ |~ }~ |~ | |} ~ | |}~} | | % ~ }~|} | | |} | | £ |~ | |} ~}|} } ~ | | 1 }||~| } }~|} |} |~|} ~ | | |} }~|} } }| |} } }~ }||} } |} } |} } } ~ ! ~|~ |~|} |} £ | | |} # " , /$ }~|} # | ~} |} ! } # } }|}|} }

(6)

| | |} | |}~ } } ~ |} ¥}} ~} |} ~ | } |} |~ | } } ~ ~} | | |} ¥}} | ~ /1 " /$ / / | / " ! ¡ ||} ¤ |} £~| ~ ~ ~} | |} }|} ) 1 ) &'£ " ) &'£ # $ ( " $$¢$ | }||} ~}} " '$+ ) &'£ # " ~ } } ~} } ~} |} } ~ ~} ||}| |} |~ ~} ~} |} |} }~|} {~|} ¤ £1 ~ ~~|} } " |} ~ } }||} ||| ~ ~~ ||} ~ ~ ~}} / }}} ) &'£ ~~|}| ) / &'£. " $¢$ ¤ $ |~ ~~ |} " / " / |} |~| ~} | |} |~ 1 ) &' £ " ) &'£ " ) &'£ # $ | ~ ¤ |} £ | |} 1 ) &' £" / / ) / &'£ " / / ) &'£ # | ~ / |} |} ¡ } £ ~} |} | ~ ~|~ } } } ~|} | | } ~ |}|} | | | ~} | }| } ~} |} }|} | } }~|} | ~~| | | ~} | |}

(7)

| " $ | " $ | " $ | " ~}||} |} £ tvtzy yzsy }|~|}} ~} } ¥ |~ ||} | } ¢ | |} |~ } ~||} || |} -|}|} } |} }~|} } } |} ~ |} } } }~ } } |} |} | " !$ " $$ !" # $ " ¢ ! !$+ !$ ! , ! * /$ ¢ ! !$+ !$&/ 0 ! " ! /2 , ¢ ! !$+ ! ¢ %&'( | ! " ! ||| | |} 1 ) ! , !£ ) ! ! , !£ " ¢ !$ ! , ! , ¢ ! } } ! " ! } ! / || | | |} ) &/£ ) ! &/£ " ¢ !$&/ , ¢ ! |}|} ~ )

(8)

¥ }||} }| |} ¢ |} }| |} || } | | ~}||} |} | | |} ~ ~ ! , + ||} } }} |}~ !$ " $$ !" # $ !# $ ¢ ! !$+ !$ ! , ! , ¢ ! , + ¤ %&'( }¥ * , " *$ ~ } } } {|}~ }~ ¡ * " / / * / | / * " / # ! ! # } / " ~} | * , , $ " / / # /$ / / # , / / /$ / / " / / /$ #

P

, / / ~}}|} ~|} . . || |}|| } } * , , $ $ / # ' ' ' ' # , $ |}/ # / # , $ / # |}/ # , } | ¡ } }||} / } &' / /¢ ¢ } ! , ! ¢ ||} ! } ! , ! } |}

(9)

! , ! , !$ ! , ! , " * ¤¤ ~|} |} ~}~1 ! !$+ ! $ ! , ! , ! , + ! !$+ ¤¤ " ¤¤ ) } } }| } | | |} } } } |~ ~|}~ | | | "!" } }}| |} } |} | ~ | | |} |¥~|~ | } | } |}~} %|} |}~ | ¥ }||} |} } } ~}||} !# $ * " ! # $ | "!" " | " !# $ $ * " $ $ | "!" " | " %&'( !# } ~} |} * * * ' | } |} |} $|* " (}|| || $ | * " (, ~| ' ~|~ } | } |} |~ ||~ } }}~ | ~ |} $ |} $ |}~|} | ¥ }||} | ~}| ~ } || ~1 ! |} |} + " $ | * " ( } ! |} |} + " $ ~| } #! * #! , #! * #! * , } #! #! ¡

(10)

| | ¡ | }||} | | }||} |}~|} ¡ | | ! " $ } #! * #! * , | |}|| $ ~ ! | ~ $ | * " ( , | ~ ! ~ $ | }~|} || ~| ' | } " !" "

P

" " " " " $ |~ } } "!" + " |~ ~ !# !# }| |¥ ~|} | ¢ |} £ ~} | | | | |} ¥} } | } ~} |}~} | | ~ } % ~}}~ ~}||} } |} | } |} ~ |} } $ | * " |} | } || } ~ |} } {|}~ ~ | } $ | * " $ ~} !# |¥ |~ | | ) } |} & ! " # %&'( | |} } }~ } | } } } |} } ~| |} £ } |} } }| - | } | |~|} ~| } |~ || , ¢ ! !$+ ! ~} |~| |} £ / . " $¢ $&/ ¢ $ |~ || |} ~ } /$ ¢ ! !$+ ! $&/ 0 ! " ! /2

(11)

|~ ~|}~ |} £ } ~| || | }~|} } % } } ~~ " !$ " $$ } ¢ } ¢ !" , +* * ~} ~~ |~ 1 " , /$ / " , + /$ / " ¢ ,¤ , * * " ¢ * * | ~ } | | } } ¤ } |}|| |~~|} !" " | -}~ !" , + ,¢ * ¢ | ~ | " | , * * | " * } || £ " " £ " £ !" " , * * !" , " ,¢ * * !" ~}|} } | " ~} ~} ¤ } ~}~ | £ ,¢ $ } ) & !#

(12)

| ) &£ / / ) &£ # " , / / # , / / # " $& ¢$ |}| ~}~| | |}| |} } / / " } ~ ~ / ~ / {|} ~ |} |} |¥} | ¢ } ~ | ~|} } } ~} }|} | } } } ~} -}~ | |~ | ) zyxzvs } |~ ~|}~ }| | || | } |} ~}}1 ~}} } } }} |} } ~}} |~ } } ~|~ |~ | |~ ~ |}} ~}} ~} } |} {~|} | |} | } ~ |~|1 |}} ~¥ }} |} ¢ ! , + % |} } ¢ } |}|} ~}} |}|~|} ~}} | ~ || | ~~ | |}}} ~ } |~| | |}}} }~ ~~ |}~ | }~ | } |~ £ |} ~} | |} ~|1 |} }}¥}} ~ | |~ |} |

(13)

|} | ~ 1 } $&' } } | | ~}} | | } |} ~} } |} || | ~~|~ |}~ ~~|~ |}} }|} } } |}}|} } } | ~~|~ ~}|}|} }| |} |}| | | || , ¢ | || } |}~ $&' ~}||} } $,&' £ |} || | ~~ |} ~}~ } /~ |~| ~}||}| }~|}|}}~|| ~}||} }|~$,&' ~ }| |} |} ~|} ¤ ¤ £ | | } ~ & & ' | ~ | |~ ¢ } }~|}} !$ ! , ! " ! , ! } | | } } } }~|} } | | } } ||} - | ||} | } } | ! , ! |} |} |~ |} ~} | ~~|~ }| ¥ ~~ !$ ! $ ! $ ! ! " ! || | ~}|} !$ ! , ! * ! $ ! , ! * ! $ ! , ! ~} ~ } ~ ! , ! ~ | | } } | -}~ } |~|} ~ } ~|~ & } |} |}|| |}|} } | ~}}1 |} || | ~~|~ |} |}| } ~}||} } $,&' ~¥|} || | ~~ ~}¥ |}|} ~ } |}|||}~|} }||| | } ~}}~|} } | } ~}} |} ~ } / | |~|} } } |} |} } | || ~} |}|| |} 1 ¤

(14)

~ ! ~|} ~~ ~}| || | | |} } |~ | | ~~|} | ~ ~|| ~ |~ | ||} |} |~|} - | } ~~ | } |} ~~ || | | |}|~} } | " % ~}}~ !" , + ~ } } | ,¢ ~|} | ~ |~|} ~ | } |} } } |} |} |} } | | } | |~ ~ } |}}~ ~}|} | }|| } | | ~ } ~| |} ||| } ~ } | | ~|~ }~|} } |} £ |} } | ~} }| | |} ¥}}¥|}}} £ ~}|} | ~ || |} } } } ||| | | } ||} | |} ~}|} |}}~|~|}}|~ |} |} ~ |} £ ~| | |} | } |} } | |} ~| } | |} } | ~}~ | }~|} } ~}|} ~} |} } } |~ ~|}~ |} {~|} | ~|~ ¥} } - | ~ ~} |} } ~ % |} £ ~} } |} } ~ ~ } ~} | | |~| } }~|} |} |} ¥} } ~ } |~ ~||} |} ~} || } ~ } ||} } }|}|||}|}|~} ~}||}| } $&' " |} ¥~ } -|}|} | } ~~ | | | ~ ~||} } |}

(15)

|| |} ¤ } } ~} } ~|} |} }} ~|~}||} usy £ %}} -| } ~ ~ ¢ ~ |||} ¢£ ¢ %}| ¥|}}} { ¥} }¥ 1 ¢¢¡ ¢¡ ¤£ } |~ ¢¢%| ¥}} |}~ |} ||} |} |} } ¤1¤¤ ¤¡ £ |%{ } -} ¢¡}|~}~ {|} ¥ |} {| |} ~ ¢¡ 1 } |~|} ¡£ } } { ¡%}| } |}~ |}| } ¡1 ¢¢ ¢ £ { } ¢}~ |} } ~~|~ ~ 1 ¢ £ | £ { } } |~ ||} } |} } ¤1 ¡ £ {}}}|~ ¢¡~|} ||~ ||} |} |} } } ! # { } % ¡¡¥ { }|| | ¡