形式陈述
设 具有二维Copula理路Copula 与 Sklar 定理Sklar's theorem · Copula · 联结函数用均匀边缘的联合CDF分离边缘与依赖,证明一般Sklar表示、连续边缘下唯一性,以及离散边缘的不同延拓。 ,所以两个边缘均为 上的均匀分布。若相应极限存在,定义下尾和上尾依赖系数为
每个有限 的条件事件都有正概率。按条件概率理路条件概率Conditional probability在已知正概率事件发生后,把交集概率重新规范到该事件内部。定义,式(1)等价于
上尾分子来自两个超阈事件的交集容斥。只要存在,两个系数都在 内。正系数表示相应方向的渐近尾依赖;零系数称该方向渐近尾独立。这里“尾独立”专指这个极限为零,并不等于两个变量独立。
对具有连续CDF的实变量 ,可使用各自的广义分位数 改写式(1)。连续边缘保证 ;共同极端比较的是相同累计位置,不要求两个变量使用相同数值阈值,也不要求它们具有相同计量单位。
本定义要求极限确实存在。若对角比例在趋近角落时持续振荡,就不能任意挑一条阈值子序列报告成 或 。
直觉
固定一个越来越苛刻的单坐标阈值,先筛出 已经落入尾部的样本,再问 同时落入自己尾部的比例是否仍留下一个正的极限。分母同步趋零,因而尾依赖不是简单地看联合尾概率是否趋零;后者对所有连续边缘模型都会发生。
上尾和下尾是不同的方向。一个模型可以把共同小值联系得很紧,却不让共同大值保留正的极限比例。有限阈值的条件概率也不必已经接近极限,实际计算时应同时报告阈值和分子概率。
例子与边界
三个基本Copula
独立Copula 给下尾比例 、上尾比例 ,故两系数都为零。共单调Copula 的两个比例都恒为一,故两系数均为一。
反单调Copula 在 时下尾分子为零,在 时上尾分子也为零,所以两系数均为零;但变量满足 ,显然并不独立。它把极端联系在相反方向,而式(1)只询问同方向事件。
零尾依赖也不只发生在奇异模型。例如对 ,令
它具有正确边缘,混合导数 ,故通过积分给出合法的普通密度。下尾比例为 ,上尾联合概率为 ,条件比例仍趋零。然而 ,所以独立性不成立。
同为零线性相关,尾概率相差五倍
令 均匀,独立掷一枚公平比特;一半机会令 ,另一半令 。其Copula为
两个边缘仍均匀。实际使用协方差公式理路协方差Covariance两个随机变量中心化乘积的期望,衡量线性共同变化。计算,
边缘方差都为 ,所以线性相关系数为零。但在 时 ,在 时上尾联合概率为 ,故
例如阈值 时,同时超阈概率为 ,条件概率为 ;独立均匀对的相应概率为 和 。二阶线性摘要相同,没有确定这个极端事件。
合法Copula的尾极限也可能不存在
取 、,因此 。将 分成开区间 和它们的可数端点。定义可测映射 :偶数 的区间内反射,奇数 的区间内保持不变,即
为偶数其余位置令 均匀、。每个开区间都被映回自身,恒等和反射都保持长度;对任意Borel集合,按这些不交区间分解并可数求和,原像长度等于集合长度。可数端点为零质量。因此 仍均匀,确实得到一个Copula。
在阈值 处,所有更小区间都映在阈值以下,没有更大区间的内部跨进来,所以
对偶数 ,再取反射区间中点 。在该区间内,同时满足 和 只可能发生在中点本身,概率为零;全部贡献来自更小区间。因此
同一个合法模型沿两条趋零阈值序列给出极限一和零,所以下尾系数不存在。任意有限分辨率的图都只能显示前几层,不能替代这两条无限子序列的证明。
推论与应用
Clayton与Gumbel的两种方向
将二维阿基米德构造理路二维阿基米德 CopulaBivariate Archimedean copula · 阿基米德联结函数从递减生成元和伪逆构造二维均匀边缘联合分布,证明凸性充要条件,区分严格光滑密度、奇异边界和条件逆采样。中已经验证合法的模型代入式(2),可以直接求尾极限,无需另加一个没有证明的通用生成元尾定理。
Clayton正参数 的对角为
因此
记对角函数为 。从第一种写法求导可得
于是 ,代入上尾分子后常数和一阶项都消去,得到 。特别地, 时下尾比例恰为 ,在有限阈值 时为 ,而极限为 。
Gumbel参数为有限的 ,记 ,则 ,且对角恰为 。所以
上尾等式由 得到。 时两系数都为零; 时上尾系数为正。这里参数有限是条件的一部分:若先令 得到共单调Copula,再取下尾极限,结果是一;固定有限参数再取下尾极限却总为零。两个极限次序不能交换。
蓝线在下尾保留正极限,在上尾趋零;灰线的方向相反。虚线和实线分别表示不同模型,图中端点来自式(5)–(6)的解析极限,不是有限阈值数据的外推。
连续和离散边缘的识别责任
连续边缘下,Sklar给唯一Copula,严格递增的边缘变换不改变式(1)。因此从均匀位置改成指数、正态或其他连续边缘,并不会改变这些同分位尾系数。
离散边缘下,观测联合表一般只确定一张有限或可数网格上的Copula值。额外随机化可以在网格内部引入不同的连续依赖。例如独立公平0/1变量 ,独立随机化给独立Copula;改为共享独立均匀变量 ,取
仍恢复同一个四格表。对 ,只有 贡献下尾,所以 ;对 ,只有 贡献同时上尾,所以其概率为 。两个尾系数由零变为 ,原0/1表却没有变化。
因此不能把某种离散随机化延拓的尾系数冒充观测分布唯一决定的量。可以报告明确阈值下的原离散联合事件,也可以声明选用哪一种连续潜变量模型;二者都要保留模型条件。
计算时同时保留阈值和极限证明
若能求 ,每个指定阈值的两个条件概率只需常数次算术和一次Copula求值。对 个阈值,成本是 次模型求值,额外空间可以为常数;模型内部求值成本另计。
然而有限个数值点不能一般地认证极限存在,式(4)已经给出反例。接近一时直接算 还会发生消减误差;能使用正项形式、解析化简或可靠区间时,应据此改写。若没有误差界,浮点曲线趋于一个值只提供诊断,不是尾系数证书。
参考资料