Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Stochastic approximation
open-in-new
<h2 id="robbinsmonro-algorithm">Robbins–Monro algorithm</h2> <p>The Robbins–Monro algorithm, introduced in 1951 by <a href="/facts/Herbert_Robbins/Gk2X6ap9">Herbert Robbins</a> and <a href="/facts/John_U._Monro/Jn8LumWA">Sutton Monro</a>,<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> presented a methodology for solving a root finding problem, where the function is represented as an expected value. Assume that we have a function M ( θ ) {\textstyle M(\theta )} , and a constant α {\textstyle \alpha } , such that the equation M ( θ ) = α {\textstyle M(\theta )=\alpha } has a unique root at θ ∗ . {\textstyle \theta ^{*}.} It is assumed that while we cannot directly observe the function M ( θ ) , {\textstyle M(\theta ),} we can instead obtain measurements of the random variable N ( θ ) {\textstyle N(\theta )} where E [ N ( θ ) ] = M ( θ ) {\textstyle \operatorname {E} [N(\theta )]=M(\theta )} . The structure of the algorithm is to then generate iterates of the form: </p><p> θ n + 1 = θ n − a n ( N ( θ n ) − α ) {\displaystyle \theta _{n+1}=\theta _{n}-a_{n}(N(\theta _{n})-\alpha )} </p><p>Here, a 1 , a 2 , … {\displaystyle a_{1},a_{2},\dots } is a sequence of positive step sizes. <a href="/facts/Herbert_Robbins/Gk2X6ap9">Robbins</a> and Monro proved<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>, Theorem 2 that θ n {\displaystyle \theta _{n}} <a href="/facts/Convergence_of_random_variables/pWdatFlY">converges</a> in L 2 {\displaystyle L^{2}} (and hence also in probability) to θ ∗ {\displaystyle \theta ^{*}} , and Blum<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> later proved the convergence is actually with probability one, provided that: </p> <ul><li> N ( θ ) {\textstyle N(\theta )} is uniformly bounded,</li> <li> M ( θ ) {\textstyle M(\theta )} is nondecreasing,</li> <li> M ′ ( θ ∗ ) {\textstyle M'(\theta ^{*})} exists and is positive, and</li> <li>The sequence a n {\textstyle a_{n}} satisfies the following requirements:</li></ul> <p> ∑ n = 0 ∞ a n = ∞ and ∑ n = 0 ∞ a n 2 < ∞ {\displaystyle \qquad \sum _{n=0}^{\infty }a_{n}=\infty \quad {\mbox{ and }}\quad \sum _{n=0}^{\infty }a_{n}^{2}<\infty \quad } A particular sequence of steps which satisfy these conditions, and was suggested by Robbins–Monro, have the form: a n = a / n {\textstyle a_{n}=a/n} , for a > 0 {\textstyle a>0} . Other series, such as a n = 1 n ln n , 1 n ln n ln ln n , … {\displaystyle a_{n}={\frac {1}{n\ln n}},{\frac {1}{n\ln n\ln \ln n}},\dots } are possible but in order to average out the noise in N ( θ ) {\textstyle N(\theta )} , the above condition must be met. </p> <h3>Example</h3> <p>Consider the problem of estimating the mean θ ∗ {\displaystyle \theta ^{*}} of a probability distribution from a stream of independent samples X 1 , X 2 , … {\displaystyle X_{1},X_{2},\dots } . </p><p>Let N ( θ ) := θ − X {\displaystyle N(\theta ):=\theta -X} , then the unique solution to E [ N ( θ ) ] = 0 {\textstyle \operatorname {E} [N(\theta )]=0} is the desired mean θ ∗ {\displaystyle \theta ^{*}} . The RM algorithm gives us θ n + 1 = θ n − a n ( θ n − X n ) {\displaystyle \theta _{n+1}=\theta _{n}-a_{n}(\theta _{n}-X_{n})} This is equivalent to <a href="/facts/Stochastic_gradient_descent/HbcaYqQP">stochastic gradient descent</a> with loss function L ( θ ) = 1 2 ‖ X − θ ‖ 2 {\displaystyle L(\theta )={\frac {1}{2}}\|X-\theta \|^{2}} . It is also equivalent to a weighted average: θ n + 1 = ( 1 − a n ) θ n + a n X n {\displaystyle \theta _{n+1}=(1-a_{n})\theta _{n}+a_{n}X_{n}} In general, if there exists some function L {\displaystyle L} such that ∇ L ( θ ) = N ( θ ) − α {\displaystyle \nabla L(\theta )=N(\theta )-\alpha } , then the Robbins–Monro algorithm is equivalent to stochastic gradient descent with loss function L ( θ ) {\displaystyle L(\theta )} . However, the RM algorithm does not require L {\displaystyle L} to exist in order to converge. </p> <h3>Complexity results</h3> <ol><li>If f ( θ ) {\textstyle f(\theta )} is twice continuously differentiable, and strongly convex, and the minimizer of f ( θ ) {\textstyle f(\theta )} belongs to the interior of Θ {\textstyle \Theta } , then the Robbins–Monro algorithm will achieve the asymptotically optimal convergence rate, with respect to the objective function, being E [ f ( θ n ) − f ∗ ] = O ( 1 / n ) {\textstyle \operatorname {E} [f(\theta _{n})-f^{*}]=O(1/n)} , where f ∗ {\textstyle f^{*}} is the minimal value of f ( θ ) {\textstyle f(\theta )} over θ ∈ Θ {\textstyle \theta \in \Theta } .<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a><a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a></li> <li>Conversely, in the general convex case, where we lack both the assumption of smoothness and strong convexity, Nemirovski and Yudin<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a> have shown that the asymptotically optimal convergence rate, with respect to the objective function values, is O ( 1 / n ) {\textstyle O(1/{\sqrt {n}})} . They have also proven that this rate cannot be improved.</li></ol> <h3>Subsequent developments and Polyak–Ruppert averaging</h3> <p>While the Robbins–Monro algorithm is theoretically able to achieve O ( 1 / n ) {\textstyle O(1/n)} under the assumption of twice continuous differentiability and strong convexity, it can perform quite poorly upon implementation. This is primarily due to the fact that the algorithm is very sensitive to the choice of the step size sequence, and the supposed asymptotically optimal step size policy can be quite harmful in the beginning.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a><a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> </p><p>Chung (1954)<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> and Fabian (1968)<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a> showed that we would achieve optimal convergence rate O ( 1 / n ) {\textstyle O(1/{\sqrt {n}})} with a n = ▽ 2 f ( θ ∗ ) − 1 / n {\textstyle a_{n}=\bigtriangledown ^{2}f(\theta ^{*})^{-1}/n} (or a n = 1 ( n M ′ ( θ ∗ ) ) {\textstyle a_{n}={\frac {1}{(nM'(\theta ^{*}))}}} ). Lai and Robbins<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a><a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> designed adaptive procedures to estimate M ′ ( θ ∗ ) {\textstyle M'(\theta ^{*})} such that θ n {\textstyle \theta _{n}} has minimal asymptotic variance. However the application of such optimal methods requires much a priori information which is hard to obtain in most situations. To overcome this shortfall, Polyak (1991)<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a> and Ruppert (1988)<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a> independently developed a new optimal algorithm based on the idea of averaging the trajectories. Polyak and Juditsky<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a> also presented a method of accelerating Robbins–Monro for linear and non-linear root-searching problems through the use of longer steps, and averaging of the iterates. The algorithm would have the following structure: θ n + 1 − θ n = a n ( α − N ( θ n ) ) , θ ¯ n = 1 n ∑ i = 0 n − 1 θ i {\displaystyle \theta _{n+1}-\theta _{n}=a_{n}(\alpha -N(\theta _{n})),\qquad {\bar {\theta }}_{n}={\frac {1}{n}}\sum _{i=0}^{n-1}\theta _{i}} The convergence of θ ¯ n {\displaystyle {\bar {\theta }}_{n}} to the unique root θ ∗ {\displaystyle \theta ^{*}} relies on the condition that the step sequence { a n } {\displaystyle \{a_{n}\}} decreases sufficiently slowly. That is </p><p><i>A1)</i> a n → 0 , a n − a n + 1 a n = o ( a n ) {\displaystyle a_{n}\rightarrow 0,\qquad {\frac {a_{n}-a_{n+1}}{a_{n}}}=o(a_{n})} </p><p>Therefore, the sequence a n = n − α {\textstyle a_{n}=n^{-\alpha }} with 0 < α < 1 {\textstyle 0<\alpha <1} satisfies this restriction, but α = 1 {\textstyle \alpha =1} does not, hence the longer steps. Under the assumptions outlined in the Robbins–Monro algorithm, the resulting modification will result in the same asymptotically optimal convergence rate O ( 1 / n ) {\textstyle O(1/{\sqrt {n}})} yet with a more robust step size policy.<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a> Prior to this, the idea of using longer steps and averaging the iterates had already been proposed by Nemirovski and Yudin<a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a> for the cases of solving the stochastic optimization problem with continuous convex objectives and for convex-concave saddle point problems. These algorithms were observed to attain the nonasymptotic rate O ( 1 / n ) {\textstyle O(1/{\sqrt {n}})} . </p><p>A more general result is given in Chapter 11 of Kushner and Yin<a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a> by defining interpolated time t n = ∑ i = 0 n − 1 a i {\textstyle t_{n}=\sum _{i=0}^{n-1}a_{i}} , interpolated process θ n ( ⋅ ) {\textstyle \theta ^{n}(\cdot )} and interpolated normalized process U n ( ⋅ ) {\textstyle U^{n}(\cdot )} as </p><p> θ n ( t ) = θ n + i , U n ( t ) = ( θ n + i − θ ∗ ) / a n + i for t ∈ [ t n + i − t n , t n + i + 1 − t n ) , i ≥ 0 {\displaystyle \theta ^{n}(t)=\theta _{n+i},\quad U^{n}(t)=(\theta _{n+i}-\theta ^{*})/{\sqrt {a_{n+i}}}\quad {\mbox{for}}\quad t\in [t_{n+i}-t_{n},t_{n+i+1}-t_{n}),i\geq 0} Let the iterate average be Θ n = a n t ∑ i = n n + t / a n − 1 θ i {\displaystyle \Theta _{n}={\frac {a_{n}}{t}}\sum _{i=n}^{n+t/a_{n}-1}\theta _{i}} and the associate normalized error to be U ^ n ( t ) = a n t ∑ i = n n + t / a n − 1 ( θ i − θ ∗ ) {\displaystyle {\hat {U}}^{n}(t)={\frac {\sqrt {a_{n}}}{t}}\sum _{i=n}^{n+t/a_{n}-1}(\theta _{i}-\theta ^{*})} . </p><p>With assumption A1) and the following A2) </p><p><i>A2)</i> <i>There is a Hurwitz matrix A {\textstyle A} and a symmetric and positive-definite matrix Σ {\textstyle \Sigma } such that { U n ( ⋅ ) } {\textstyle \{U^{n}(\cdot )\}} converges weakly to U ( ⋅ ) {\textstyle U(\cdot )} , where U ( ⋅ ) {\textstyle U(\cdot )} is the statisolution to d U = A U d t + Σ 1 / 2 d w {\displaystyle dU=AU\,dt+\Sigma ^{1/2}\,dw} where w ( ⋅ ) {\textstyle w(\cdot )} is a standard Wiener process.</i> </p><p>satisfied, and define <i> V ¯ = ( A − 1 ) ′ Σ ( A ′ ) − 1 {\textstyle {\bar {V}}=(A^{-1})'\Sigma (A')^{-1}} </i>. Then for each <i> t {\textstyle t} </i>, </p><p><i> U ^ n ( t ) ⟶ D N ( 0 , V t ) , where V t = V ¯ / t + O ( 1 / t 2 ) . {\displaystyle {\hat {U}}^{n}(t){\stackrel {\mathcal {D}}{\longrightarrow }}{\mathcal {N}}(0,V_{t}),\quad {\text{where}}\quad V_{t}={\bar {V}}/t+O(1/t^{2}).} </i> </p><p>The success of the averaging idea is because of the time scale separation of the original sequence <i> { θ n } {\textstyle \{\theta _{n}\}} </i> and the averaged sequence <i> { Θ n } {\textstyle \{\Theta _{n}\}} </i>, with the time scale of the former one being faster. </p> <h3>Application in stochastic optimization</h3> <p>Suppose we want to solve the following stochastic optimization problem g ( θ ∗ ) = min θ ∈ Θ E [ Q ( θ , X ) ] , {\displaystyle g(\theta ^{*})=\min _{\theta \in \Theta }\operatorname {E} [Q(\theta ,X)],} where g ( θ ) = E [ Q ( θ , X ) ] {\textstyle g(\theta )=\operatorname {E} [Q(\theta ,X)]} is differentiable and convex, then this problem is equivalent to find the root θ ∗ {\displaystyle \theta ^{*}} of ∇ g ( θ ) = 0 {\displaystyle \nabla g(\theta )=0} . Here Q ( θ , X ) {\displaystyle Q(\theta ,X)} can be interpreted as some "observed" cost as a function of the chosen θ {\displaystyle \theta } and random effects X {\displaystyle X} . In practice, it might be hard to get an analytical form of ∇ g ( θ ) {\displaystyle \nabla g(\theta )} , Robbins–Monro method manages to generate a sequence ( θ n ) n ≥ 0 {\displaystyle (\theta _{n})_{n\geq 0}} to approximate θ ∗ {\displaystyle \theta ^{*}} if one can generate ( X n ) n ≥ 0 {\displaystyle (X_{n})_{n\geq 0}} , in which the conditional expectation of X n {\displaystyle X_{n}} given θ n {\displaystyle \theta _{n}} is exactly ∇ g ( θ n ) {\displaystyle \nabla g(\theta _{n})} , i.e. X n {\displaystyle X_{n}} is simulated from a conditional distribution defined by </p><p> E [ H ( θ , X ) | θ = θ n ] = ∇ g ( θ n ) . {\displaystyle \operatorname {E} [H(\theta ,X)|\theta =\theta _{n}]=\nabla g(\theta _{n}).} </p><p>Here H ( θ , X ) {\displaystyle H(\theta ,X)} is an unbiased estimator of ∇ g ( θ ) {\displaystyle \nabla g(\theta )} . If X {\displaystyle X} depends on θ {\displaystyle \theta } , there is in general no natural way of generating a random outcome H ( θ , X ) {\displaystyle H(\theta ,X)} that is an unbiased estimator of the gradient. In some special cases when either IPA or likelihood ratio methods are applicable, then one is able to obtain an unbiased gradient estimator H ( θ , X ) {\displaystyle H(\theta ,X)} . If X {\displaystyle X} is viewed as some "fundamental" underlying random process that is generated <i>independently</i> of θ {\displaystyle \theta } , and under some regularization conditions for derivative-integral interchange operations so that E [ ∂ ∂ θ Q ( θ , X ) ] = ∇ g ( θ ) {\displaystyle \operatorname {E} {\Big [}{\frac {\partial }{\partial \theta }}Q(\theta ,X){\Big ]}=\nabla g(\theta )} , then H ( θ , X ) = ∂ ∂ θ Q ( θ , X ) {\displaystyle H(\theta ,X)={\frac {\partial }{\partial \theta }}Q(\theta ,X)} gives the fundamental gradient unbiased estimate. However, for some applications we have to use finite-difference methods in which H ( θ , X ) {\displaystyle H(\theta ,X)} has a conditional expectation close to ∇ g ( θ ) {\displaystyle \nabla g(\theta )} but not exactly equal to it. </p><p>We then define a recursion analogously to <a href="/facts/Newton%27s_Method/VlRhI2FL">Newton's Method</a> in the deterministic algorithm: </p> θ n + 1 = θ n − ε n H ( θ n , X n + 1 ) . {\displaystyle \theta _{n+1}=\theta _{n}-\varepsilon _{n}H(\theta _{n},X_{n+1}).} <h4>Convergence of the algorithm</h4> <p>The following result gives sufficient conditions on θ n {\displaystyle \theta _{n}} for the algorithm to converge:<a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a> </p><p>C1) ε n ≥ 0 , ∀ n ≥ 0. {\displaystyle \varepsilon _{n}\geq 0,\forall \;n\geq 0.} </p><p>C2) ∑ n = 0 ∞ ε n = ∞ {\displaystyle \sum _{n=0}^{\infty }\varepsilon _{n}=\infty } </p><p>C3) ∑ n = 0 ∞ ε n 2 < ∞ {\displaystyle \sum _{n=0}^{\infty }\varepsilon _{n}^{2}<\infty } </p><p>C4) | X n | ≤ B , for a fixed bound B . {\displaystyle |X_{n}|\leq B,{\text{ for a fixed bound }}B.} </p><p>C5) g ( θ ) is strictly convex, i.e. {\displaystyle g(\theta ){\text{ is strictly convex, i.e.}}} </p> inf δ ≤ | θ − θ ∗ | ≤ 1 / δ ⟨ θ − θ ∗ , ∇ g ( θ ) ⟩ > 0 , for every 0 < δ < 1. {\displaystyle \inf _{\delta \leq |\theta -\theta ^{*}|\leq 1/\delta }\langle \theta -\theta ^{*},\nabla g(\theta )\rangle >0,{\text{ for every }}0<\delta <1.} <p>Then θ n {\displaystyle \theta _{n}} converges to θ ∗ {\displaystyle \theta ^{*}} almost surely. </p><p>Here are some intuitive explanations about these conditions. Suppose H ( θ n , X n + 1 ) {\displaystyle H(\theta _{n},X_{n+1})} is a uniformly bounded random variables. If C2) is not satisfied, i.e. ∑ n = 0 ∞ ε n < ∞ {\displaystyle \sum _{n=0}^{\infty }\varepsilon _{n}<\infty } , then θ n − θ 0 = − ∑ i = 0 n − 1 ε i H ( θ i , X i + 1 ) {\displaystyle \theta _{n}-\theta _{0}=-\sum _{i=0}^{n-1}\varepsilon _{i}H(\theta _{i},X_{i+1})} is a bounded sequence, so the iteration cannot converge to θ ∗ {\displaystyle \theta ^{*}} if the initial guess θ 0 {\displaystyle \theta _{0}} is too far away from θ ∗ {\displaystyle \theta ^{*}} . As for C3) note that if θ n {\displaystyle \theta _{n}} converges to θ ∗ {\displaystyle \theta ^{*}} then </p><p> θ n + 1 − θ n = − ε n H ( θ n , X n + 1 ) → 0 , as n → ∞ . {\displaystyle \theta _{n+1}-\theta _{n}=-\varepsilon _{n}H(\theta _{n},X_{n+1})\rightarrow 0,{\text{ as }}n\rightarrow \infty .} so we must have ε n ↓ 0 {\displaystyle \varepsilon _{n}\downarrow 0} ，and the condition C3) ensures it. A natural choice would be ε n = 1 / n {\displaystyle \varepsilon _{n}=1/n} . Condition C5) is a fairly stringent condition on the shape of g ( θ ) {\displaystyle g(\theta )} ; it gives the search direction of the algorithm. </p> <h4>Example (where the stochastic gradient method is appropriate)<a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a></h4> <p>Suppose Q ( θ , X ) = f ( θ ) + θ T X {\displaystyle Q(\theta ,X)=f(\theta )+\theta ^{T}X} , where f {\displaystyle f} is differentiable and X ∈ R p {\displaystyle X\in \mathbb {R} ^{p}} is a random variable independent of θ {\displaystyle \theta } . Then g ( θ ) = E [ Q ( θ , X ) ] = f ( θ ) + θ T E X {\displaystyle g(\theta )=\operatorname {E} [Q(\theta ,X)]=f(\theta )+\theta ^{T}\operatorname {E} X} depends on the mean of X {\displaystyle X} , and the stochastic gradient method would be appropriate in this problem. We can choose H ( θ , X ) = ∂ ∂ θ Q ( θ , X ) = ∂ ∂ θ f ( θ ) + X . {\displaystyle H(\theta ,X)={\frac {\partial }{\partial \theta }}Q(\theta ,X)={\frac {\partial }{\partial \theta }}f(\theta )+X.} </p> <h2 id="kieferwolfowitz-algorithm">Kiefer–Wolfowitz algorithm</h2> <p>The Kiefer–Wolfowitz algorithm was introduced in 1952 by <a href="/facts/Jacob_Wolfowitz/hkPjzgfo">Jacob Wolfowitz</a> and <a href="/facts/Jack_Kiefer_(statistician)/WksfJ7By">Jack Kiefer</a>,<a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a> and was motivated by the publication of the Robbins–Monro algorithm. However, the algorithm was presented as a method which would stochastically estimate the maximum of a function. </p><p>Let M ( x ) {\displaystyle M(x)} be a function which has a maximum at the point θ {\displaystyle \theta } . It is assumed that M ( x ) {\displaystyle M(x)} is unknown; however, certain observations N ( x ) {\displaystyle N(x)} , where E [ N ( x ) ] = M ( x ) {\displaystyle \operatorname {E} [N(x)]=M(x)} , can be made at any point x {\displaystyle x} . The structure of the algorithm follows a gradient-like method, with the iterates being generated as </p> x n + 1 = x n + a n ⋅ ( N ( x n + c n ) − N ( x n − c n ) 2 c n ) {\displaystyle x_{n+1}=x_{n}+a_{n}\cdot \left({\frac {N(x_{n}+c_{n})-N(x_{n}-c_{n})}{2c_{n}}}\right)} <p>where N ( x n + c n ) {\displaystyle N(x_{n}+c_{n})} and N ( x n − c n ) {\displaystyle N(x_{n}-c_{n})} are independent. At every step, the gradient of M ( x ) {\displaystyle M(x)} is approximated akin to a <a href="/facts/Finite_difference/aY1txFhj">central difference method</a> with h = 2 c n {\displaystyle h=2c_{n}} . So the sequence { c n } {\displaystyle \{c_{n}\}} specifies the sequence of finite difference widths used for the gradient approximation, while the sequence { a n } {\displaystyle \{a_{n}\}} specifies a sequence of positive step sizes taken along that direction. </p><p>Kiefer and Wolfowitz proved that, if M ( x ) {\displaystyle M(x)} satisfied certain regularity conditions, then x n {\displaystyle x_{n}} will converge to θ {\displaystyle \theta } in probability as n → ∞ {\displaystyle n\to \infty } , and later Blum<a class="footnote-ref" id="fnref:24" href="#fn:24"><sup>24</sup></a> in 1954 showed x n {\displaystyle x_{n}} converges to θ {\displaystyle \theta } almost surely, provided that: </p> <ul><li> Var ( N ( x ) ) ≤ S < ∞ {\displaystyle \operatorname {Var} (N(x))\leq S<\infty } for all x {\displaystyle x} .</li> <li>The function M ( x ) {\displaystyle M(x)} has a unique point of maximum (minimum) and is strong concave (convex) <ul><li>The algorithm was first presented with the requirement that the function M ( ⋅ ) {\displaystyle M(\cdot )} maintains strong global convexity (concavity) over the entire feasible space. Given this condition is too restrictive to impose over the entire domain, Kiefer and Wolfowitz proposed that it is sufficient to impose the condition over a compact set C 0 ⊂ R d {\displaystyle C_{0}\subset \mathbb {R} ^{d}} which is known to include the optimal solution.</li></ul></li> <li>The function M ( x ) {\displaystyle M(x)} satisfies the regularity conditions as follows: <ul><li>There exists β > 0 {\displaystyle \beta >0} and B > 0 {\displaystyle B>0} such that | x ′ − θ | + | x ″ − θ | < β ⟹ | M ( x ′ ) − M ( x ″ ) | < B | x ′ − x ″ | {\displaystyle |x'-\theta |+|x''-\theta |<\beta \quad \Longrightarrow \quad |M(x')-M(x'')|<B|x'-x''|} </li> <li>There exists ρ > 0 {\displaystyle \rho >0} and R > 0 {\displaystyle R>0} such that | x ′ − x ″ | < ρ ⟹ | M ( x ′ ) − M ( x ″ ) | < R {\displaystyle |x'-x''|<\rho \quad \Longrightarrow \quad |M(x')-M(x'')|<R} </li> <li>For every δ > 0 {\displaystyle \delta >0} , there exists some π ( δ ) > 0 {\displaystyle \pi (\delta )>0} such that | z − θ | > δ ⟹ inf δ / 2 > ε > 0 | M ( z + ε ) − M ( z − ε ) | ε > π ( δ ) {\displaystyle |z-\theta |>\delta \quad \Longrightarrow \quad \inf _{\delta /2>\varepsilon >0}{\frac {|M(z+\varepsilon )-M(z-\varepsilon )|}{\varepsilon }}>\pi (\delta )} </li></ul></li> <li>The selected sequences { a n } {\displaystyle \{a_{n}\}} and { c n } {\displaystyle \{c_{n}\}} must be infinite sequences of positive numbers such that <ul><li> c n → 0 as n → ∞ {\displaystyle \quad c_{n}\rightarrow 0\quad {\text{as}}\quad n\to \infty } </li> <li> ∑ n = 0 ∞ a n = ∞ {\displaystyle \sum _{n=0}^{\infty }a_{n}=\infty } </li> <li> ∑ n = 0 ∞ a n c n < ∞ {\displaystyle \sum _{n=0}^{\infty }a_{n}c_{n}<\infty } </li> <li> ∑ n = 0 ∞ a n 2 c n − 2 < ∞ {\displaystyle \sum _{n=0}^{\infty }a_{n}^{2}c_{n}^{-2}<\infty } </li></ul></li></ul> <p>A suitable choice of sequences, as recommended by Kiefer and Wolfowitz, would be a n = 1 / n {\displaystyle a_{n}=1/n} and c n = n − 1 / 3 {\displaystyle c_{n}=n^{-1/3}} . </p> <h3>Subsequent developments and important issues</h3> <ol><li>The Kiefer Wolfowitz algorithm requires that for each gradient computation, at least d + 1 {\displaystyle d+1} different parameter values must be simulated for every iteration of the algorithm, where d {\displaystyle d} is the dimension of the search space. This means that when d {\displaystyle d} is large, the Kiefer–Wolfowitz algorithm will require substantial computational effort per iteration, leading to slow convergence. <ol><li>To address this problem, Spall proposed the use of <a href="/facts/Simultaneous_perturbation_stochastic_approximation/G97vEjP2">simultaneous perturbations</a> to estimate the gradient. This method would require only two simulations per iteration, regardless of the dimension d {\displaystyle d} .<a class="footnote-ref" id="fnref:25" href="#fn:25"><sup>25</sup></a></li></ol></li> <li>In the conditions required for convergence, the ability to specify a predetermined compact set that fulfills strong convexity (or concavity) and contains the unique solution can be difficult to find. With respect to real world applications, if the domain is quite large, these assumptions can be fairly restrictive and highly unrealistic.</li></ol> <h2 id="further-developments">Further developments</h2> <p>An extensive theoretical literature has grown up around these algorithms, concerning conditions for convergence, rates of convergence, multivariate and other generalizations, proper choice of step size, possible noise models, and so on.<a class="footnote-ref" id="fnref:26" href="#fn:26"><sup>26</sup></a><a class="footnote-ref" id="fnref:27" href="#fn:27"><sup>27</sup></a> These methods are also applied in <a href="/facts/Control_theory/aIuERpn6">control theory</a>, in which case the unknown function which we wish to optimize or find the zero of may vary in time. In this case, the step size a n {\displaystyle a_{n}} should not converge to zero but should be chosen so as to track the function.<a class="footnote-ref" id="fnref:28" href="#fn:28"><sup>28</sup></a>, 2nd ed., chapter 3 </p><p>C. Johan Masreliez and R. Douglas Martin were the first to apply stochastic approximation to <a href="/facts/Robust_statistics/RwIMvtD2">robust</a> <a href="/facts/Estimation/dsztTYcy">estimation</a>.<a class="footnote-ref" id="fnref:29" href="#fn:29"><sup>29</sup></a> </p><p>The main tool for analyzing stochastic approximations algorithms (including the Robbins–Monro and the Kiefer–Wolfowitz algorithms) is a theorem by <a href="/facts/Aryeh_Dvoretzky/KF63c361">Aryeh Dvoretzky</a> published in 1956.<a class="footnote-ref" id="fnref:30" href="#fn:30"><sup>30</sup></a> </p> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Stochastic_gradient_descent/HbcaYqQP">Stochastic gradient descent</a></li> <li><a href="/facts/Stochastic_variance_reduction/NC2HHbU6">Stochastic variance reduction</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Toulis, Panos; Airoldi, Edoardo (2015). "Scalable estimation strategies based on stochastic approximations: classical results and new insights". Statistics and Computing. 25 (4): 781–795. doi:10.1007/s11222-015-9560-y. PMC 4484776. PMID 26139959. <a href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4484776" target="_blank">https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4484776</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Le Ny, Jerome. "Introduction to Stochastic Approximation Algorithms" (PDF). Polytechnique Montreal. Teaching Notes. Retrieved 16 November 2016. <a href="http://www.professeurs.polymtl.ca/jerome.le-ny/teaching/DP_fall09/notes/lec11_SA.pdf" target="_blank">http://www.professeurs.polymtl.ca/jerome.le-ny/teaching/DP_fall09/notes/lec11_SA.pdf</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Robbins, H.; Monro, S. (1951). "A Stochastic Approximation Method". The Annals of Mathematical Statistics. 22 (3): 400. doi:10.1214/aoms/1177729586. <a href="/wiki/Herbert_Robbins" target="_blank">/wiki/Herbert_Robbins</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Robbins, H.; Monro, S. (1951). "A Stochastic Approximation Method". The Annals of Mathematical Statistics. 22 (3): 400. doi:10.1214/aoms/1177729586. <a href="/wiki/Herbert_Robbins" target="_blank">/wiki/Herbert_Robbins</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Blum, Julius R. (1954-06-01). "Approximation Methods which Converge with Probability one". The Annals of Mathematical Statistics. 25 (2): 382–386. doi:10.1214/aoms/1177728794. ISSN 0003-4851. <a href="https://doi.org/10.1214%2Faoms%2F1177728794" target="_blank">https://doi.org/10.1214%2Faoms%2F1177728794</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Sacks, J. (1958). "Asymptotic Distribution of Stochastic Approximation Procedures". The Annals of Mathematical Statistics. 29 (2): 373–405. doi:10.1214/aoms/1177706619. JSTOR 2237335. <a href="https://doi.org/10.1214%2Faoms%2F1177706619" target="_blank">https://doi.org/10.1214%2Faoms%2F1177706619</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Nemirovski, A.; Juditsky, A.; Lan, G.; Shapiro, A. (2009). "Robust Stochastic Approximation Approach to Stochastic Programming". SIAM Journal on Optimization. 19 (4): 1574. doi:10.1137/070704277. <a href="/wiki/Arkadi_Nemirovski" target="_blank">/wiki/Arkadi_Nemirovski</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>Problem Complexity and Method Efficiency in Optimization, A. Nemirovski and D. Yudin, Wiley -Intersci. Ser. Discrete Math 15 John Wiley New York (1983) . <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Nemirovski, A.; Juditsky, A.; Lan, G.; Shapiro, A. (2009). "Robust Stochastic Approximation Approach to Stochastic Programming". SIAM Journal on Optimization. 19 (4): 1574. doi:10.1137/070704277. <a href="/wiki/Arkadi_Nemirovski" target="_blank">/wiki/Arkadi_Nemirovski</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Introduction to Stochastic Search and Optimization: Estimation, Simulation and Control, J.C. Spall, John Wiley Hoboken, NJ, (2003). <a href="https://books.google.com/books?id=f66OIvvkKnAC&q=%22Robbins-Monro%22" target="_blank">https://books.google.com/books?id=f66OIvvkKnAC&q=%22Robbins-Monro%22</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Chung, K. L. (1954-09-01). "On a Stochastic Approximation Method". The Annals of Mathematical Statistics. 25 (3): 463–483. doi:10.1214/aoms/1177728716. ISSN 0003-4851. <a href="https://doi.org/10.1214%2Faoms%2F1177728716" target="_blank">https://doi.org/10.1214%2Faoms%2F1177728716</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>Fabian, Vaclav (1968-08-01). "On Asymptotic Normality in Stochastic Approximation". The Annals of Mathematical Statistics. 39 (4): 1327–1332. doi:10.1214/aoms/1177698258. ISSN 0003-4851. <a href="https://doi.org/10.1214%2Faoms%2F1177698258" target="_blank">https://doi.org/10.1214%2Faoms%2F1177698258</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Lai, T. L.; Robbins, Herbert (1979-11-01). "Adaptive Design and Stochastic Approximation". The Annals of Statistics. 7 (6): 1196–1221. doi:10.1214/aos/1176344840. ISSN 0090-5364. <a href="https://doi.org/10.1214%2Faos%2F1176344840" target="_blank">https://doi.org/10.1214%2Faos%2F1176344840</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>Lai, Tze Leung; Robbins, Herbert (1981-09-01). "Consistency and asymptotic efficiency of slope estimates in stochastic approximation schemes". Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete. 56 (3): 329–360. doi:10.1007/BF00536178. ISSN 0044-3719. S2CID 122109044. <a href="https://doi.org/10.1007%2FBF00536178" target="_blank">https://doi.org/10.1007%2FBF00536178</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> <li id="fn:15"><p>Polyak, B T (1991). "New stochastic approximation type procedures. (In Russian.)". Automation and Remote Control. 7 (7). <a href="https://www.researchgate.net/publication/236736759" target="_blank">https://www.researchgate.net/publication/236736759</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li> <li id="fn:16"><p>Ruppert, David (1988). Efficient estimators from a slowly converging robbins-monro process (Technical Report 781). Cornell University School of Operations Research and Industrial Engineering. <a href="https://www.researchgate.net/publication/242608650" target="_blank">https://www.researchgate.net/publication/242608650</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li> <li id="fn:17"><p>Polyak, B. T.; Juditsky, A. B. (1992). "Acceleration of Stochastic Approximation by Averaging". SIAM Journal on Control and Optimization. 30 (4): 838. doi:10.1137/0330046. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li> <li id="fn:18"><p>Polyak, B. T.; Juditsky, A. B. (1992). "Acceleration of Stochastic Approximation by Averaging". SIAM Journal on Control and Optimization. 30 (4): 838. doi:10.1137/0330046. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li> <li id="fn:19"><p>On Cezari's convergence of the steepest descent method for approximating saddle points of convex-concave functions, A. Nemirovski and D. Yudin, Dokl. Akad. Nauk SSR 2939, (1978 (Russian)), Soviet Math. Dokl. 19 (1978 (English)). <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li> <li id="fn:20"><p>Kushner, Harold; George Yin, G. (2003-07-17). Stochastic Approximation and Recursive Algorithms and | Harold Kushner | Springer. www.springer.com. ISBN 9780387008943. Retrieved 2016-05-16. <a href="9780387008943" target="_blank">9780387008943</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li> <li id="fn:21"><p>Bouleau, N.; Lepingle, D. (1994). Numerical Methods for stochastic Processes. New York: John Wiley. ISBN 9780471546412. <a href="9780471546412" target="_blank">9780471546412</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li> <li id="fn:22"><p>Introduction to Stochastic Search and Optimization: Estimation, Simulation and Control, J.C. Spall, John Wiley Hoboken, NJ, (2003). <a href="https://books.google.com/books?id=f66OIvvkKnAC&q=%22Robbins-Monro%22" target="_blank">https://books.google.com/books?id=f66OIvvkKnAC&q=%22Robbins-Monro%22</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li> <li id="fn:23"><p>Kiefer, J.; Wolfowitz, J. (1952). "Stochastic Estimation of the Maximum of a Regression Function". The Annals of Mathematical Statistics. 23 (3): 462. doi:10.1214/aoms/1177729392. <a href="https://doi.org/10.1214%2Faoms%2F1177729392" target="_blank">https://doi.org/10.1214%2Faoms%2F1177729392</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li> <li id="fn:24"><p>Blum, Julius R. (1954-06-01). "Approximation Methods which Converge with Probability one". The Annals of Mathematical Statistics. 25 (2): 382–386. doi:10.1214/aoms/1177728794. ISSN 0003-4851. <a href="https://doi.org/10.1214%2Faoms%2F1177728794" target="_blank">https://doi.org/10.1214%2Faoms%2F1177728794</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></p></li> <li id="fn:25"><p>Spall, J. C. (2000). "Adaptive stochastic approximation by the simultaneous perturbation method". IEEE Transactions on Automatic Control. 45 (10): 1839–1853. doi:10.1109/TAC.2000.880982. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></p></li> <li id="fn:26"><p>Kushner, H. J.; Yin, G. G. (1997). Stochastic Approximation Algorithms and Applications. doi:10.1007/978-1-4899-2696-8. ISBN 978-1-4899-2698-2. <a href="978-1-4899-2698-2" target="_blank">978-1-4899-2698-2</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></p></li> <li id="fn:27"><p>Stochastic Approximation and Recursive Estimation, Mikhail Borisovich Nevel'son and Rafail Zalmanovich Has'minskiĭ, translated by Israel Program for Scientific Translations and B. Silver, Providence, RI: American Mathematical Society, 1973, 1976. ISBN 0-8218-1597-0. <a href="/wiki/ISBN_(identifier)" target="_blank">/wiki/ISBN_(identifier)</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></p></li> <li id="fn:28"><p>Kushner, H. J.; Yin, G. G. (1997). Stochastic Approximation Algorithms and Applications. doi:10.1007/978-1-4899-2696-8. ISBN 978-1-4899-2698-2. <a href="978-1-4899-2698-2" target="_blank">978-1-4899-2698-2</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></p></li> <li id="fn:29"><p>Martin, R.; Masreliez, C. (1975). "Robust estimation via stochastic approximation". IEEE Transactions on Information Theory. 21 (3): 263. doi:10.1109/TIT.1975.1055386. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></p></li> <li id="fn:30"><p>Dvoretzky, Aryeh (1956). "On stochastic approximation". In Neyman, Jerzy (ed.). Proceedings of the Third Berkeley Symposium on Mathematical Statistics and Probability, 1954–1955, vol. I. University of California Press. pp. 39–55. MR 0084911. <a href="/wiki/Aryeh_Dvoretzky" target="_blank">/wiki/Aryeh_Dvoretzky</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></p></li> </ol>