空间回归模型综述
摘 要
参 考
1 概述
空间回归模型是按照空间区位研究变量之间关系的主要数学工具之一。根据空间回归模型是否同质(或反之是否异质,可以简单理解为模型参数是否会随空间位置变化而变化 ),可以将空间回归模型划分为 全局空间回归模型
和 局部空间回归模型
。其中:
-
全局空间回归模型以
空间依赖性
研究为主体,主要探究的是不同变量、误差项之间存在的空间交互效应; -
局部回归模型则相对复杂,它不仅要研究变量、误差项之间的空间交互效应,还要研究模型本身( 通常指
模型结构
和模型参数
)的空间变化规律,探究的重点是空间异质性
。
flowchart LR A[空间回归模型]---B{变系数检验} B---|否|C01[全局空间回归] B---|是|C02[局部空间回归] C01---D01[空间滞后模型] C01---D02[空间误差模型] C01---D03[空间杜宾模型] C01---D05[其他模型...] D01---F01[模型参数不随空间位置变化] D01---F01 D02---F01 D03---F01 D05---F01 C02---E01[地理加权回归] C02---E02[分层贝叶斯] C02---E03[局部样条方法] C02---E04[空间滤波方法] C02---E05[空间 Regime 模型] C02---E06[其他方法...] E01---F02[不同解释变量/变系数/非参数局部方法等] E02---F02 E03---F02 E04---F02 E05---F02 E06---F02
2 全局空间回归
2.1 主要的空间交互效应
空间效应 (spatial effects) 包括 空间依赖性
与 空间异质性
。而全局空间回归重点探究的是 空间依赖性
问题,主要表现为不同变量、误差项之间的各种 空间交互效应
。
以标准线性回归模型(测点之间独立同分布)为起点,全局空间回归统计模型中主要涉及三种交互效应:
-
内生交互效应:不同空间单元的响应变量 ( ) 之间存在的交互效应,即 “空间单元 的响应变量 与空间单元 的响应变量 之间的空间交互关系”。 例如:在一个行政区的税收与相邻行政区的税收之间存在交互效应。
-
外生交互效应:一个空间单元的响应变量 ( ) 与其他空间单元的解释变量 ( ) 之间的交互效应,即 “空间单元 的解释变量 与空间单元 的响应变量 之间的空间交互关系”。例如:一个国家的经济增长不仅取决于其内部收入水平、储蓄率、人口增长、技术变革等因素,还与相邻国家的这些因素有关。
-
误差项交互效应 :不同空间单元的误差项( )之间的交互效应,即 “空间单元 的误差项 与空间单元 的误差项 之间的空间交互关系”,例如:行政指令对不可预测的财政政策变化的校正机制。
flowchart LR A[空间交互效应]---B[内生交互效应] A[空间交互效应]---C[外生交互效应] A[空间交互效应]---D[误差项交互效应] B---B01[空间单元A的响应变量<br/>与其他空间单元B的响应变量之间] B01---B02[空间自回归模型SAR] C---C01[空间单元A的响应变量<br/>与其他空间单元B的解释变量之间] C01---C02[空间杜宾模型SDM] D---D01[空间单元A的误差项<br/>与其他空间单元B的误差项之间] D01---D02[空间误差项模型SAM]
为了解释上述空间交互效应,历史上提出了大量模型来对这些空间交互效应进行建模,而其中线性模型的研究最为普遍和深入。
2.2 空间(线性)回归模型的发展过程
(1)早期以内生效应和空间误差建模为主
空间计量模型最初关注的基本焦点是 空间滞后模型(也称为空间自回归模型,Spatial Auto Regression Model,SAR) 以及 空间误差项模型 (Spatial Error Model,SEM) ,分别对应 内生交互效应 和 误差项交互效应 。Anselin (1988,1996)
提出了基于稳健拉格朗日乘子的空间滞后模型检验和空间误差模型检验程序。
(2)逐步发展到复杂空间效应的建模
在 年,在首届空间计量经济学协会世界大会上,研究人员对于包含多种空间交互效应的模型,研究兴趣日益增加。Harry Kelejian (1998)
提倡使用同时包含 内生交互效应 和 误差项交互效应 的模型。 LeSage and Pace (2009)
将其称为 SAC 模型,尽管没有指出首字母缩略语代表什么。 Elhorst (2010)
则称这种模型为 Kelejian-Prucha 模型。
同样在 年的第 届地区科学协会国际会议 (北美洲) 上, LeSage
提倡使用同时包括 内生交互效应 和 外生交互效应 的模型,并称其为 空间杜宾模型(Spatial Durbin Model, SDM)。但 Gibbons 和 Overman 等(2012)
对 空间滞后模型 (SAR)、 空间误差项模型( SEM ) 和 空间杜宾模型( SDM ) 模型进行了批判,提倡使用仅含 外生交互效应 的 SLX 模型。
2.3 统一模型框架
具有所有类型交互效应的完整模型形式如下:
该模型被称为 “广义嵌套空间模型”,它包括了上述所有类型的空间交互效应,其中:
- 为
空间滞后项
,代表了内生交互效应 - 为
空间杜宾项
,代表了外生交互效应 - 为
误差项
,代表了误差项交互效应。
其中:
-
为空间权重矩阵,是大小为 的非负矩阵, 为空间单元的数量,三者可以相同也可以不同。
-
为所有空间单元的响应变量观测值构成的向量,是 的列向量。
-
为解释变量矩阵,由所有空间单元内解释变量的观测值组成,大小为 , 为解释变量数目。
-
为截距项,其中 是大小为 的列向量, 是大小为 的常系数对角矩阵。
-
为所有空间单元之间待估计的空间滞后系数,为 的矩阵。
-
为所有空间单元内待估计的解释变量系数, 是 的列向量。
-
为所有空间单元之间待估计的外生交互系数,是 的列向量。
-
是空间误差的自相关系数,为 的矩阵。
-
为 的干扰项。如果假设 为独立同分布(对于所有 ),则其均值为零且方差为 。
在上述统一模型框架下,下图总结了八种常见的线性回归模型图谱(假设 )。其中图右侧为 普通线性回归模型( OLS ),不含任何交互效应;图左侧是为 广义嵌套空间模型( GNS ),包含所有空间交互效应。GNS 右侧的每一个模型,都可以通过对 GNS 模型的一个或多个参数施加限制而得到,图中箭头旁边的标注表明了限制因素。读者也可以从右往左看,以了解在传统线性回归模型基础上,通过追加了哪些交互效应生成了哪些新模型。
需要注意的是:
-
该图同时表明,有很多可能的模型在计量经济学的理论与实证研究中使用较少。如:同时包含 外生交互效应 和 误差项交互效应 ,但不含 内生交互效应 的 空间杜宾误差模型(SDEM)。
-
理论研究者和实际操作者对不同类型交互效应的兴趣水平有很大差异。理论研究者最感兴趣的是 空间滞后模型( SAR ) 和 空间误差模型( SEM ),以及同时包含 内生交互效应 和 误差项交互效应 的 SAC 模型,因为计量经济学问题常伴随着对这些模型的估计方法。
注: GNS = general nesting spatial model(广义空间嵌套模型), SAC = spatial autoregressive combined model(空间自回归组合模型), SDM = spatial Durbin model(空间杜宾模型), SDEM = spatial Durbin error model(空间杜宾误差模型), SAR = spatial autoregressive model(空间自回归模型), SLX = spatial lag of X model(外生空间滞后模型), SEM = spatial error model(空间误差模型), OLS = ordinary least squares model(普通最小二乘模型).
2.4 空间权重矩阵
在实证研究中,空间权重矩阵非常重要,起到了量化空间交互效应程度的作用。空间权重矩阵 是一个非负的已知常数矩阵,通常是对称矩阵,但也能是非对称矩阵。
经常采用的空间权重矩阵包括:
(1) 阶邻接矩阵(如果 ,则只包含邻居;如果 , 则不仅包含邻居,还包含邻居的邻居,以此类推),有时用 和 分别表示一阶和二阶;
(2)逆距离矩阵(带有或者不带有分界点)
(3)最近邻矩阵(需指定最近邻个数 作为超参数)
(4)分块对角矩阵,其中每一个分块代表一组空间单元,这些空间单元之间存在交互效应,但与其他分块内的空间单元之间不存在交互关系。
为了进行更简单的解释,常见做法是对 进行归一化,使其每一行元素的和等于 。 非负确保了所有权重介于 到 之间,且可以将加权操作解释为对其邻近空间单元取值的加权平均。经过行归一化的 被称为 “行随机矩阵”。
每行元素之和均为 , 这意味着区域 的所有邻居对 的影响之和,等于区域 的邻居对 的影响之和。此假定有时可能过强,Keleji 和 Prucha (2010)
证明:与全矩阵归一化不同,按行归一化很可能导致模型的错误设计,尤其是使用 逆距离矩阵 时,此问题更容易发生。此外,行归一化后的空间权重矩阵一般不再是对称矩阵,这也是其缺陷之一。
也可以按列进行归一化,即每列元素的和等于 。空间权重矩阵的列元素表示一个特定空间单元对所有空间的影响,而空间权重矩阵的行元素代表所有其他空间单元对某个特定空间单元的影响。因此,行归一化的效应是把其他空间单元对当前单元的影响进行归一化,而列归一化的效应是把当前空间单元对其他空间单元的影响进行归一化。
2.5 模型简介
2.5.1 空间自回归模型(SAR)
(1)模型的定义
对于样本容量为 的空间序列 ,即使假设空间自相关的形式为线性,待估计的参数在理论上最多可达 个(每个区域最多可受 个区域影响,共有 个区域),大大超出样本容量。
因为,必须对空间依赖性做出某种共同模式的假设,才能简化并计算参数。
空间滞后的概念引申自时间序列数据的时间滞后,即假设当前时刻的数据线性滞后于前一时刻的数据。不过与时间滞后不同的是,空间滞后更为复杂,因为空间滞后可以来自不同的方向,而且是双向的。
其中, 为已知的空间权重矩阵( 一般是一阶空间邻接矩阵), 是对 的时间滞后, 是空间滞后系数。该模型中,每个空间单元的空间依赖性仅来自于其空间滞后,因此被称为 空间滞后模型(Spatial Lag Model,SLM)
。 相邻地区的响应变量可能相互依赖, 并最终形成一个均衡的结果。 例如,假设以地区税收为响应变量,则不同地区政府出于相互竞争或博弈的考虑,在制定本地区税收时,会考虑周边地区的税收水平。空间依赖性导致变量 之间互相影响,产生内生性。
但是更一般地,会在方程中加入解释变量:
其中, 为 数据矩阵,包括 列解释变量; 为对应的解释系数。
此方程也称为 空间自回归模型(Spatial Auto Regression,SAR 模型)
。
如果 ,则 SAR 简化为 普通线性回归模型 OLS
。
(2)模型的估计
对于空间自回归模型,常使用 MLE 估计
。
首先,假设扰动项
其次,方程可写为
其中, 。
由于雅可比行列式 , 根据多维正态密度公式,可写出样本的似然函数:
其中, 表示行列式 的绝对值。
对数似然函数为:
2.5.2 外生空间滞后模型(SLX)
(1)模型的定义
空间外生滞后模型(Spatial Lag of X model,SLX )假设空间单元 的响应变量 依赖于其相邻空间单元的解释变量。例如:空间单元 的犯罪率不仅依赖于本单元警力,还可能依赖于相邻空间单元的警力。此时的模型为:
其中, 表示来自相邻单元解释变量的影响,而 为相应的系数向量。
此模型被称为 空间杜宾模型(Spatial Durbin Model,SDM)
。
(2)模型的估计
此方程不存在内生性,故可直接进行普通最小二乘估计;只是解释变量 与 之间可能存在多重共线性。 如果 $ \theta= 0$,则简化为普通线性回归模型。
将空间杜宾模型与空间自回归模型相结合,可以得到:
2.5.3 空间误差模型(SEM)
(1)模型的定义
空间依赖性还可能通过误差项来体现。考虑以下 空间误差项模型(Spatial Errors Model,简记 SEM)
:
其中,扰动项 的生成过程为 :
扰动项 之间存在空间依赖性,但不依赖于 ,而且该扰动项与某些对 有影响的未知变量存在空间相关性。
如果 ,则简化为普通线性回归模型。
(2)模型的估计
对于 SEM 模型,尽管扰动项存在自相关,OLS 仍一致,但缺乏效率。最有效率的方法为 MLE。
2.5.4 空间自回归组合模型(SAC)
(1)模型的定义
(Spatial Autoregressive Combined model,SAC)更一般的空间计量模型将空间自回归模型 ( SAR )
与空间误差项模型 ( SEM )
结合起来:
其中, 与 分别为响应变量 与扰动项 的空间权重矩阵,二者可以相等。则此模型称为 带空间自回归误差项的空间自回归模型 (Spatial Auto Regressive Model with Spatial Autoregressive Disturbances,SARAR)
。
上述 空间自回归模型(SAR)
、空间误差模型(SEM)
以及 SARAR 模型
,被统称为 Cliff-Ord 模型
(Cliff and Ord, 1973, 1981; Ord, 1975)。
SAR 模型
与 SEM 模型
都是 SARAR 模型
的特例,分别对应于 与 的情形。
(2)模型的估计
对于 SARAR 模型
,可进行 MLE 估计。 样本的对数似然函数为 :
最大化仍可分两步进行,并进行迭代,与 SEM 模型
的情形类似。
但 MLE 估计量
存在三个缺陷:
首先,MLE 估计量
可能计算不方便,特别当空间权重矩阵 与 的维度较高时。
其次,MLE 估计量
的大样本理论尚不健全。
再次,如果 扰动项 ε
不服从独立同分布的正态分布,则 QMLE 估计量
可能不一致。
Arraiz 等人
(2010) 通过蒙特卡罗模拟证明,在异方差的情况下,QMLE 估计量
存在不一致。 Kelejian and Prucha
(1999, 1998, 2004, 2010) 提出利用工具变量,通过广义矩估计来估计 SARAR 模型
,称为 广义空间两阶段最小二乘法 (Generalized Spatial Two-stage Least Square,GS2SLS)
。GS2SLS
的计算方便,不会因为样本容量太大而产生困难。
2.5.5 空间杜宾模型(SDM)
(1)模型的定义
(2)模型的估计
2.5.6 空间杜宾误差模型(SDEM)
(1)模型的定义
(2)模型的估计
2.6 全局回归模型的局限性
主要局限性:
- 空间线性依赖模型的主要估计方法之一为 最大似然估计,但最大似然估计的大规模计算理论尚待完善。
- 需要研究者主观设定一个非随机的空间权重矩阵(而非根据数据估计得出),而此空间权重矩阵很可能无法完全反映不同地区之间复杂的相互关系。
- 无法体现模型自身的空间异质性,这种异质性包括:解释变量的选择、模型结构的选择、模型参数的选择等。
3 局部空间回归
3.1 概述
flowchart LR Z[空间局部回归模型]---Y01[热门方法] Z[空间局部回归模型]---Y02[其他方法] Y01[热门方法]---B01[单/多尺度地理加权回归] Y01[热门方法]---B02[特征向量空间滤波模型] Y01[热门方法]---B03[贝叶斯空间变系数模型] Y02[其他方法]---B09[空间扩展模型] Y02[其他方法]---B04[空间自适应滤波] Y02[其他方法]---B05[平滑过渡回归] Y02[其他方法]---B07[空间样条方法]
3.2 地理加权回归
一个基本的 GWR 模型可以指定为:
其中 是位置 处的响应变量, 是位置 处的截距系数, 是位置 处的第 个解释变量, 是位置 处第 个解释变量局部回归系数, 是与位置 相关的随机误差项。使用加权最小二乘估计,可以为每个位置的每个解释变量生成一组系数。在矩阵形式中,这由下式给出:
其中 是解释变量矩阵, 是对角权重矩阵,它根据与位置 的距离对每个观测值进行加权, 是系数向量, 是响应变量的观测向量, 表示矩阵转置。核函数应用于观测值和待估位置之间的距离以计算权重矩阵。径向基函数是一种常见的核函数,用于强调在空间上更接近待估点的观测值,由下式给出:
其中 是 和 之间的距离, 是到第 个最近邻的距离, 是集合与 的距离不超过 的所有观测值。位置 的观测值的权重为 ,而那些比距离 更远的观测值的权重则为零。在拟合 GWR 模型之前,必须设定最近邻的数量,这进而又在上述平方核中定义了 ,也称为带宽
。在整个研究过程中,可以使用 AIC
信息准则最小化来确定内核带宽,因为它提供了 拟合优度
和 自由度
(或模型复杂度)之间的权衡( Fotheringham、Brunsdon 和 Charlton 2002 )。 GWR 特定的 AIC 计算为:
其中 表示样本大小, 定义为误差项的标准差, 是帽子矩阵的迹。选定带宽后,可以进一步计算权重,并在每个待估位置拟合 GWR 模型,以获得一组局部系数。通过取每个待估位置的局部 的平均值,可以获得 GWR 模型的总体 值。
3.3 贝叶斯空间变系数模型
建模局部空间关系的另一种方法是使用贝叶斯层次模型来指定空间结构。Gelfand 等人
(2003 年)提出的具有内生空间尺度的 贝叶斯空间变化系数模型( Bayesian Spatially Varying Coefficient models,SVC )
已很常见。为了对 SVC
的可能概括进行完整讨论,Finley、Banerjee 和 Carlin
(2007 年)或 Banerjee、Carlin 和 Gelfand
(2014 年)提供了非常出色的综述文章。 SVC
的核心是一个相关混合效应模型
,其中 随机效应协方差
采用 空间相关核
来构建。
对于 SVC 模型
,首先考虑响应变量 的模型,将 个位置观察到的 维解释变量编组为 的设计矩阵 。 SVC 模型
将响应变量建模为全局效应 和两个随机效应 和 的函数。对于位置 ,响应变量为:
其中 是一个独立同分布正态误差项,均值为 ,方差为 ; 是每个过程 的空间相关残差项。在这个模型中, 代表过程 的平均全局效应。然后,通过计算每个单元的 来恢复单元特定的参数估计值 。局部扰动项中的空间结构是通过其分层先验协方差在 中引入的。为了以向量形式说明这个模型,Gelfand 等人
(2003) 将 “拉伸”成一个 的矩阵 ,其中每一行对应一个观测值,每组 列包含观测到的 个解释变量值。这种平铺将 长度的解释变量向量放在对角线上,在其他地方放置零。然后, 可以成为 的随机效应集合,其中第 个块包含 个随机效应,用于每个 过程, 大小为 并且包含过程的 长度向量,意味着重复了 次。通过这种平铺,模型可以被表述为:
在此之后, 的分层先验由一个 的过程间协方差矩阵 和一个 的单元间相关矩阵 ( 一个单独关于 的函数)来构造。 空间随机效应的完整协方差矩阵为:
通常, 可能与 GWR 中的空间核函数类型相同。但这里的核直接影响随机效应的协方差,而不是对用于估计局部模型的数据进行加权。这是因为完整的 协方差矩阵定义了在所有 个单元处的过程之间的相关结构,体现了完整的 单元-过程关系。与 GWR 一样,该核也可能更复杂,用于建模各向异性或替代距离度量。但是,核必须提供一个有效的协方差矩阵,以确保得到的协方差仍然有效。这排除了 GWR 中经常使用的 “自适应” 带宽,因为这会导致不对称的 。对于其他参数,SVC 模型
的常规先验被挑选用于条件共轭,并且通常通过 Gibbs 抽样
进行估计(Finley、Banerjee 和 Carlin 2007)。
为了将该模型推广到可与 MGWR 相媲美,需要一种对具有潜在不同尺度的多过程进行建模的方法。虽然 Finley
(2011)提出了一种方法,但必须对其进行详细说明以使其可操作。这里重点考虑所有解释变量都存在局部变化的情况,但可以很容易推广到包括非变化项。首先,我们定义了一个新的 平铺,称为 ,它不同于 Gelfand 等人
(2003) 的单带宽 SVC 模型中使用的平铺。 堆叠发生在 的 个集合中。对于多过程模型,我们改为堆叠 的 个集合。
令 是一个 矩阵,它水平堆叠对角化解释变量 。这意味着 是 对角矩阵:
然后,让 是一个 的列向量,它通过堆叠每个 过程的单元特定空间效应的 -向量 来创建。由于每个过程都有自己的带宽, 的每个 都有自己的分层先验。这些被建模为可分离的以匹配 MGWR 规范,该方法将子过程视为有条件地相互独立。同时, 是 向量,它将正确的 “过程-单元” 随机效应 匹配到每个单元的正确解释变量 :
有了这个,我们可以以向量形式为响应变量声明一个局部模型:
其中 是一个块对角矩阵,其中 沿对角线重复 次。 的协方差矩阵是块对角线 矩阵,因此 可以通过分别收集每个过程的空间效应分布图来构造:
使用这种块,可以通过将平均效应和该过程的随机扰动相加,再次恢复每个过程的局部效应:
每个过程的空间随机效应分解成它们自己的分布这一事实,也确保了在边缘化或调节全局参数之后,每个过程的后验分布是独立的。我们可以定义一个在全局模型参数 和过程特定参数 之间迭代抽样的 Gibbs 采样器。与单带宽 SVC 中使用的块不同,这允许多尺度 SVC 处理 过程特定协方差矩阵中的 ,而不是处理完整的 随机效应协方差单带宽模型。
3.4 基于空间滤波的局部回归
特征向量空间滤波基于这样的解释:修改后的连接矩阵的特征向量是一组可能正交和不相关的地图模式(即空间自相关程度)(Griffith 1996, 2011)。其第一个特征向量 为能够生成具有最大可实现 Moran's I 相关系数的地图模式
的实数集;第二个特征向量 同样为能够生成具有最大可实现 Moran's I 相关系数的地图模式
的实数集,不过与 之间不相关;这样继续直至与前面的 个特征向量不相关的 。改进后的连接矩阵 常被定义为:
其中 是 单元矩阵, 是 向量, 是将研究区域互斥且完全划分的 个空间单元之间的二值连接矩阵。
通过选择从 派生的特征向量的子集并创建一个线性组合,可以生成一个能够解释残差中空间自相关的合成变量,并将其添加到线性回归模型:
其中前两项给出了传统的线性回归模型(即截距以及系数和解释变量对的组合),第三项表示空间滤波。这里, 是 个选定特征向量的总集合中的一个潜在特征向量,。 Griffith 假设 式(6)
中的指定还应该包括每个解释变量和每个选定特征向量之间的交互项,以便创建局部系数。他进一步假设添加新术语将提供一个近似等于 GWR 模型的指定,使得
其中 是 GWR 模型的预测值向量, 表示逐元素矩阵乘法(即 Hadamard 矩阵乘法), 表示来自集合的特征向量描述解释变量 的 个特征向量。根据 Griffith (2008),当 式(6)
中的第一项和第三项在 式(7)
中组合时,它们成为 GWR 截距系数。最后,通过将 分布在等式 式(7)
中它们的预乘总和并重新排列各项,可以实现以下指定
其中第一项是回归截距,第二项表示解释变量及其全局系数,第三项分别表示全局特征向量之间的交互项,第四项表示解释变量与特征向量之间的交互项。重要的是,本模型要求为全局解释变量构建交互项,最终允许构建了局部系数。与 GWR 框架不同,交互项基于相应的全局解释变量。然而,目前尚不清楚如何执行有关来自空间滤波的局部系数的假设检验,也不清楚如何应用多假设检验的校正。
基于空间滤波的框架中的一个重要步骤是选择特征向量和交互项的子集。该方法需要基于统计显着性,在所有交互项和全局特征向量中做前向逐步回归以实现变量选择。首先,仅选择显示中度至高度空间自相关(即莫兰系数大于 )的特征向量。然后,对于逐步回归的每次迭代,在模型中测试每个候选变量。选择产生最小 P 值的变量。如果任何其他变量变得不显着(P 值大于 ),则将其从模型中删除。该算法持续进行,直到没有变量可以添加到模型中为止。当模型产生小于 的关联 P 值时,程序终止并且可以用于处理局部系数 (Griffith 2008)
。
3.5 其他方法
参见 空间变系数模型的新旧方法