設定を少し変えて数値実験をしています。計算時間を揃えるように sub-sampling のサイズを変更しました。

証明がかなり technical です。 δ_{2S} などに関する条件が必要ですが、これは L_1-norm を L_2-norm で upper bound するために S を引き出す必要がある、ということのようです。δ_{S} だとダメだが δ_{2S} なら 1/S が出てくるので O.K。 部分空間 V を仲…

二次錐計画→半無限。SIP の dual を解く方法について勉強する。 Robust opt を 半正定値相補性に変換。non-convex quadratic opt. の strong duality というのを知りました。その論文を眺めています。 絶対値計画、絶対値方程式について。線型相補性問題との…