<p>This paper proposes a new maximization method, called as the <i>second–derivative lower–bound function</i> (SeLF) algorithm, which is a general principle for iteratively calculating the <i>maximum likelihood estimate</i> (MLE) <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hat{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>θ</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation> of the parameter <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> in a one–dimensional target function <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell (\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (usually, the log-likelihood or marginal log-likelihood for multi-parameter cases), and its each iteration consists of two steps: A second–derivative lower–bound function step (<Emphasis FontCategory="SansSerif">SeLF-step</Emphasis>) and a maximization step (<Emphasis FontCategory="SansSerif">M-step</Emphasis>). The <Emphasis FontCategory="SansSerif">SeLF-step</Emphasis> finds a function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(b(\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell ''(\theta )\geqslant b(\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩾</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and constructs a surrogate function <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\theta |\theta ^{(t)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">|</mo> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> [whose form depends on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq7.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta ^{(t)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> being the <i>t</i>-th iteration of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hat{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>θ</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation>] minorizing <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell (\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> at <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq10.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta =\theta ^{(t)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>θ</mi> <mo>=</mo> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. The <Emphasis FontCategory="SansSerif">M-step</Emphasis> calculates the maximizer <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta ^{(t+1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> of the <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(\theta |\theta ^{(t)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">|</mo> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> function, which is equivalent to solving the equation <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq13.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="161" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell '(\theta ) + \int _{\theta ^{(t)}}^{\theta } b(z) \,\text {d}z =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msubsup> <mo>∫</mo> <mrow> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> <mi>θ</mi> </msubsup> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>z</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> to obtain its explicit solution <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta ^{(t+1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>. The SeLF algorithm holds two major advantages: (i) it strongly stably converges to the MLE <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hat{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>θ</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation>, in contrast to the weakly stable convergence of <i>minorization–maximization</i> (MM) algorithms; and (ii) it converges regardless of initial values, in contrast to Newton’s method. The key for designing the SeLF algorithm is to find a function <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(b(\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell ''(\theta )\geqslant b(\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mo>⩾</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> in the domain such that an explicit solution to the equation <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11222_2025_10639_Article_IEq19.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell '(\theta ) + \int _{\theta ^{(t)}}^{\theta } b(z) \,\text { d}z \;=\; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msubsup> <mo>∫</mo> <mrow> <msup> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> <mi>θ</mi> </msubsup> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>d</mtext> <mi>z</mi> <mspace width="0.277778em" /> <mo>=</mo> <mspace width="0.277778em" /> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is available. Furthermore, we develop three acceleration techniques, namely optimal SeLF, sub-optimal SeLF, and fast–SeLF algorithms, for the SeLF algorithm, resulting in a weakly stable convergence. Various applications in statistics of the proposed SeLF algorithm and three accelerated versions are introduced. The Dirichlet distribution illustrates the potential generalization of the SeLF algorithm to the multi-dimensional case. We study the convergence rates of these algorithms, accompanied by numerical experiments and comparisons.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The second–derivative lower–bound function (SeLF) algorithm and three acceleration techniques for maximization with strongly stable convergence

  • Guo-Liang Tian,
  • Hua Zhou,
  • Kenneth Lange,
  • Xun-Jian Li

摘要

This paper proposes a new maximization method, called as the second–derivative lower–bound function (SeLF) algorithm, which is a general principle for iteratively calculating the maximum likelihood estimate (MLE) \(\hat{\theta }\) θ ^ of the parameter \(\theta \) θ in a one–dimensional target function \(\ell (\theta )\) ( θ ) (usually, the log-likelihood or marginal log-likelihood for multi-parameter cases), and its each iteration consists of two steps: A second–derivative lower–bound function step (SeLF-step) and a maximization step (M-step). The SeLF-step finds a function \(b(\theta )\) b ( θ ) satisfying \(\ell ''(\theta )\geqslant b(\theta )\) ( θ ) b ( θ ) and constructs a surrogate function \(Q(\theta |\theta ^{(t)})\) Q ( θ | θ ( t ) ) [whose form depends on \(\theta ^{(t)}\) θ ( t ) being the t-th iteration of \(\hat{\theta }\) θ ^ ] minorizing \(\ell (\theta )\) ( θ ) at \(\theta =\theta ^{(t)}\) θ = θ ( t ) . The M-step calculates the maximizer \(\theta ^{(t+1)}\) θ ( t + 1 ) of the \(Q(\theta |\theta ^{(t)})\) Q ( θ | θ ( t ) ) function, which is equivalent to solving the equation \(\ell '(\theta ) + \int _{\theta ^{(t)}}^{\theta } b(z) \,\text {d}z =0\) ( θ ) + θ ( t ) θ b ( z ) d z = 0 to obtain its explicit solution \(\theta ^{(t+1)}\) θ ( t + 1 ) . The SeLF algorithm holds two major advantages: (i) it strongly stably converges to the MLE \(\hat{\theta }\) θ ^ , in contrast to the weakly stable convergence of minorization–maximization (MM) algorithms; and (ii) it converges regardless of initial values, in contrast to Newton’s method. The key for designing the SeLF algorithm is to find a function \(b(\theta )\) b ( θ ) satisfying \(\ell ''(\theta )\geqslant b(\theta )\) ( θ ) b ( θ ) for all \(\theta \) θ in the domain such that an explicit solution to the equation \(\ell '(\theta ) + \int _{\theta ^{(t)}}^{\theta } b(z) \,\text { d}z \;=\; 0\) ( θ ) + θ ( t ) θ b ( z ) d z = 0 is available. Furthermore, we develop three acceleration techniques, namely optimal SeLF, sub-optimal SeLF, and fast–SeLF algorithms, for the SeLF algorithm, resulting in a weakly stable convergence. Various applications in statistics of the proposed SeLF algorithm and three accelerated versions are introduced. The Dirichlet distribution illustrates the potential generalization of the SeLF algorithm to the multi-dimensional case. We study the convergence rates of these algorithms, accompanied by numerical experiments and comparisons.