SGDマルコフ連鎖の収束性: 分離可能な関数に対する一定ステップサイズ勾配降下法

分離可能な(非凸)目的関数に対する一定ステップサイズ勾配降下法のマルコフ連鎖は、一様遷移集合と互いに素な吸収集合の和集合に分解される。各吸収集合には一意の不変測度が存在し、全ての不変測度の集合は凸包となる。さらに、これらの不変測度は幾何学的収束率で大域的引き付け点となる。