局所回帰（きょくしょかいき、英語: local regression）または局所多項式回帰（きょくしょたこうしきかいい、英語: local polynomial regression）は、移動回帰（いどうかいき、英語: moving regression）とも呼ばれ、移動平均や多項式回帰を一般化したものである[1]。
概要

局所回帰の最も一般的な方法がLOESS (locally estimated scatterplot smoothing) およびLOWESS (locally weighted scatterplot smoothing) であり、いずれも [?lo??s] と発音される。いずれもノンパラメトリック回帰の手法であり、多数の回帰モデルをK近傍法に基づくメタモデルで組み合わせる。

LOESSは、線形最小二乗回帰の単純さと非線形回帰の柔軟性の多くを兼ね備えている。グローバルな関数を指定する必要はなく、データの局所的部分集合localized subsets of dataに単純なモデルを当てはめればよい。最小二乗回帰と比較すると計算量は膨大である。この統計手法で得られる滑らかな曲線は、loess曲線ないしlowess曲線と呼ばれる。
モデルの定義

1964年、SavitskyとGolayがLOESSと等価な手法を提案し、Savitzky?Golayフィルタと呼ばれるようになった。1979年、William S. Clevelandがこの手法を再発見し、別の名前を付けた。1988年、ClevelandとSusan J. Devlinが、この手法をさらに発展させた。

データセットの範囲内の各ポイントで、低次の局所多項式がデータの部分集合にフィットされる。多項式は、応答が推定されるポイントに近くのポイントに重みを与える、重み付き最小二乗法を用いてフィットされる。各データ点のそれぞれについて回帰関数の値が計算されたところで、LOESSのフィットが完了する。
データの局所的部分集合

LOESSの重み付き最小二乗法によるフィッティングに使用されるデータの部分集合は最近傍アルゴリズムによって決定される。平滑化パラメータ α {\displaystyle \alpha } は、各局所多項式を適合させるために、どのくらいの割合のデータを使用するかを決定する。

k次の多項式のフィッティングにはk + 1 以上のポイントが必要であるため、平滑化パラメータ α {\displaystyle \alpha } は、 ( λ + 1 ) / n {\displaystyle \left(\lambda +1\right)/n} と1の間にある必要がある。ここで、 λ {\displaystyle \lambda } は局所多項式の次数を示す。 α {\displaystyle \alpha } が小さいほど回帰関数がデータに近くなるが、データの変動に伴うブレが大きくなる。
局所多項式の次数

局所多項式は、ほとんどの場合、1次か2次である。より高次の多項式は理論的には有効であるが、「どんな関数も局所では低次の多項式で近似できる」というLOESS の精神にはそぐわないし、過剰適合のリスクがある。
重み関数

重み関数は、説明変数空間において推定点に近いデータ点に最も大きな重みを与え、最も遠いデータ点に最も小さな重みを与える。

伝統的には三次元重み関数が用いられる。 w ( x ) = ( 1 − 。 d 。 3 ) 3 {\displaystyle w(x)=(1-|d|^{3})^{3}}

ここで、dはデータポイント間の距離で、0から1の範囲にスケーリングされる。

ターゲット空間 R m {\displaystyle \mathbb {R} ^{m}} 上の計量 w ( x , z ) {\displaystyle w(x,z)} x , z ∈ R n {\displaystyle x,z\in \mathbb {R} ^{n}} による線形回帰の一般化を考える。 x ↦ x ^ := ( 1 , x ) {\displaystyle x\mapsto {\hat {x}}:=(1,x)} により n {\displaystyle n} 個の入力パラメータを R n + 1 {\displaystyle \mathbb {R} ^{n+1}} に埋め込んで、次の損失関数を考える。 RSS x ⁡ ( A ) = ∑ i = 1 N ( y i − A x ^ i ) T w i ( x ) ( y i − A x ^ i ) . {\displaystyle \operatorname {RSS} _{x}(A)=\sum _{i=1}^{N}(y_{i}-A{\hat {x}}_{i})^{T}w_{i}(x)(y_{i}-A{\hat {x}}_{i}).}

ここで、 A {\displaystyle A} は m × ( n + 1 ) {\displaystyle m\times (n+1)} の実行列であり、 w i ( x ) := w ( x i , x ) {\displaystyle w_{i}(x):=w(x_{i},x)} と定義される。