UA MATH567 高维统计III 随机矩阵12 整数环上的区间的应用:拐点侦测的统计量及假设检验
整数环上的区间作为随机变量的下标
我们可以在整数上定义区间,虽然只是一个toy definition,但我们可以看到它也是有相关应用的。假设 l , r ∈ Z l,r \in \mathbb{Z} l,r∈Z,称有如下形式的集合为整数环上的区间,
{ l + 1 , l + 2 , ⋯ , r } \{l+1,l+2,\cdots,r\} {
l+1,l+2,⋯,r}
我们引入两种记号来表示,第一种是 ( l , r ) (l,r) (l,r),称这种表示方法为区间表示;第二种是 ( 0 , ⋯ , 0 ⏟ l 个 , 1 , ⋯ , 1 ⏟ ( r − l ) 个 , 0 , ⋯ ) (\underbrace{0,\cdots,0}_{l个},\underbrace{1,\cdots,1}_{(r-l)个},0,\cdots) (l个 0,⋯,0,(r−l)个 1,⋯,1,0,⋯),称这种表示方法为向量表示。称 r − l r-l r−l是区间的长度,用 A n A_n An表示 ( 0 , n ) (0,n) (0,n),我们计数一下它的子区间的数目:
- Intervals of length 1: n n n
- Intervals of length 2: n − 1 n-1 n−1
- Intervals of length k k k: n − ( k − 1 ) n-(k-1) n−(k−1)
- Intervals of length n n n: 1
- empty interval: 1
因此 A n A_n An包含的区间个数为
1 + ∑ k = 1 n [ n − ( k − 1 ) ] = 1 + n ( n + 1 ) 2 ∝ n 2 1+\sum_{k=1}^{n} [n-(k-1)]= 1+\frac{n(n+1)}{2}\propto n^2 1+k=1∑n[n−(k−1)]=1+2n(n+1)∝n2
我们用 I n \mathbb{I}_n In表示 A n A_n An的所有子区间组成的集合。
现在我们引入用区间作为下标的随机变量,假设 X 1 , ⋯ , X n ∼ i i d N ( 0 , 1 ) X_1,\cdots,X_n \sim_{iid} N(0,1) X1,⋯,Xn∼iidN(0,1), ∀ I ∈ I n \forall I \in \mathbb{I}_n ∀I∈In,定义
Z [ I ] = 1 ∣ I ∣ ∑ i ∈ I X i Z[I]=\frac{1}{\sqrt{|I|}}\sum_{i \in I}X_i Z[I]=∣I∣1i∈I∑Xi
其中 ∣ I ∣ |I| ∣I∣表示区间 I I I的长度。下面我们说明几个结论:
结论1 Z [ I ] ∼ N ( 0 , 1 ) Z[I] \sim N(0,1) Z[I]∼N(0,1)
For any I ∈ I n I \in \mathbb{I}_n I∈In, let ∣ I ∣ = m + 1 |I|=m+1 ∣I∣=m+1, q = inf I q = \inf I q=infI, and then the { X i : i ∈ I } \{X_i:i \in I\} {
Xi:i∈I} can be written as X q , X q + 1 , ⋯ , X q + m X_q,X_{q+1},\cdots,X_{q+m} Xq,Xq+1,⋯,Xq+m. So
Z [ I ] = 1 m + 1 ∑ k = 0 m X q + k E Z [ I ] = 0 , V a r ( Z [ I ] ) = 1 m + 1 ∑ k = 0 m 1 = 1 Z[I]=\frac{1}{\sqrt{m+1}}\sum_{k=0}^{m}X_{q+k} \\ EZ[I]=0,\ Var(Z[I])=\frac{1}{m+1}\sum_{k=0}^{m}1=1 Z[I]=m+11k=0∑mXq+kEZ[I]=0, Var(Z[I])=m+11k=0∑m1=1
Since Z [ I ] Z[I] Z[I] is linear combination of normal random variables, Z [ I ] ∼ N ( 0 , 1 ) Z[I] \sim N(0,1) Z[I]∼N(0,1).
结论2 C o v ( Z [ I ] , Z [ J ] ) = ρ ( I , J ) , V a r ( Z [ I ] − Z [ J ] ) = 2 δ 2 ( I , J ) Cov(Z[I],Z[J])=\rho(I,J),Var(Z[I]-Z[J])=2\delta^2(I,J) Cov(Z[I],Z[J])=ρ(I,J),Var(Z[I]−Z[J])=2δ2(I,J),其中
ρ ( I , J ) = ∣ I ∩ J ∣ ∣ I ∣ ∣ J ∣ , δ ( I , J ) = 1 − ρ ( I , J ) \rho(I,J)=\frac{|I \cap J|}{\sqrt{|I||J|}},\delta(I,J)=\sqrt{1-\rho(I,J)} ρ(I,J)=∣I∣∣J∣∣I∩J∣,δ(I,J)=1−ρ(I,J)
Note that
∣ I ∣ Z [ I ] = ∣ I ∩ J ∣ Z [ I ∩ J ] + ∣ I ∖ J ∣ Z [ I ∖ J ] ∣ J ∣ Z [ J ] = ∣ I ∩ J ∣ Z [ I ∩ J ] + ∣ J ∖ I ∣ Z [ J ∖ I ] \sqrt{|I|}Z[I]=\sqrt{|I \cap J|}Z[I \cap J]+\sqrt{|I \setminus J|}Z[I \setminus J] \\ \sqrt{|J|}Z[J]=\sqrt{|I \cap J|}Z[I \cap J]+\sqrt{|J \setminus I|}Z[J \setminus I] ∣I∣Z[I]=∣I∩J∣Z[I∩J]+∣I∖J∣Z[I∖J]∣J∣Z[J]=∣I∩J∣Z[I∩J]+∣J∖I∣Z[J∖I]
i) Notice C o v ( Z [ I ] , Z [ J ∖ I ] ) = C o v ( Z [ I ∖ J ] , Z [ J ] ) = 0 Cov(Z[I],Z[J \setminus I])=Cov(Z[I \setminus J],Z[J])=0 Cov(Z[I],Z[J∖I])=Cov(Z[I∖J],Z[J])=0. Thus,
C o v ( Z [ I ] , Z [ J ] ) = C o v ( ∣ I ∩ J ∣ ∣ I ∣ Z [ I ∩ J ] , ∣ I ∩ J ∣ ∣ J ∣ Z [ I ∩ J ] ) = ∣ I ∩ J ∣ ∣ I ∣ ∣ J ∣ = ρ ( I , J ) Cov(Z[I],Z[J]) \\=Cov \left( \frac{\sqrt{|I \cap J|}}{\sqrt{|I|}}Z[I \cap J], \frac{\sqrt{|I \cap J|}}{\sqrt{|J|}}Z[I \cap J]\right) \\ = \frac{|I \cap J|}{\sqrt{|I||J|}} = \rho(I,J) Cov(Z[I],Z[J])=Cov(∣I∣∣I∩J∣Z[I∩J],∣J∣∣I∩J∣Z[I∩J])=∣I∣∣J∣∣I∩J∣=ρ(I,J)
ii) Directly calculate,
V a r ( Z [ I ] − Z [ J ] ) = V a r ( [ ∣ I ∩ J ∣ ∣ I ∣ − ∣ I ∩ J ∣ ∣ J ∣ ] Z [ I ∩ J ] + ∣ I ∖ J ∣ ∣ I ∣ Z [ I ∖ J ] − ∣ J ∖ I ∣ ∣ J ∣ Z [ J ∖ I ] ) = [ ∣ I ∩ J ∣ ∣ I ∣ − ∣ I ∩ J ∣ ∣ J ∣ ] 2 + ∣ I ∖ J ∣ ∣ I ∣ + ∣ J ∖ I ∣ ∣ J ∣ = ∣ I ∩ J ∣ + ∣ I ∖ J ∣ ∣ I ∣ + ∣ I ∩ J ∣ + ∣ J ∖ I ∣ ∣ J ∣ − 2 ρ ( I , J ) = 2 [ 1 − ρ ( I , J ) ] = 2 δ 2 ( I , J ) Var(Z[I]-Z[J]) \\ = Var ( \left[ \frac{\sqrt{|I \cap J|}}{\sqrt{|I|}}- \frac{\sqrt{|I \cap J|}}{\sqrt{|J|}}\right]Z[I \cap J] \\+ \frac{\sqrt{|I \setminus J|}}{\sqrt{|I|}} Z[I \setminus J]- \frac{\sqrt{|J \setminus I|}}{\sqrt{|J|}}Z[J \setminus I]) \\ = \left[ \frac{\sqrt{|I \cap J|}}{\sqrt{|I|}}- \frac{\sqrt{|I \cap J|}}{\sqrt{|J|}}\right]^2+\frac{|I \setminus J|}{|I|}+\frac{|J \setminus I|}{|J|} \\ = \frac{|I \cap J|+|I \setminus J|}{|I|}+\frac{|I \cap J|+|J \setminus I|}{|J|}-2\rho(I,J) \\ = 2[1-\rho(I,J)] =2\delta^2(I,J) Var(Z[I]−Z[J])=Var([∣I∣∣I∩J∣−∣J∣∣I∩J∣]Z[I∩J]+∣I∣∣I∖J∣Z[I∖J]−∣J∣∣J∖I∣Z[J∖I])=[∣I∣∣I∩J∣−∣J∣∣I∩J∣]2+∣I∣∣I∖J∣+∣J∣∣J∖I∣=∣I∣∣I∩J∣+∣I∖J∣+∣J∣∣I∩J∣+∣J∖I∣−2ρ(I,J)=2[1−ρ(I,J)]=2δ2(I,J)
最大值的概率不等式
定义
Z ∗ [ I n ] = max { Z [ I ] : I ∈ I n } Z^*[\mathbb{I}_n]=\max\{Z[I]:I \in \mathbb{I}_n\} Z∗[In]=max{
Z[I]:I∈In}
我们的目标是导出下面的概率不等式:
P ( Z ∗ [ I n ] > 2.01 log n ) → 0 , a s n → ∞ P(Z^*[\mathbb{I}_n]>\sqrt{2.01 \log n}) \to 0,\ as\ n \to \infty P(Z∗[In]>2.01logn)→0, as n→∞
这个不等式看上去让人摸不着头脑,但我们介绍完这个不等式的推导后会介绍它到底有什么用。
推导这个概率不等式的思路与推导随机矩阵的概率不等式的思路类似,我们用 ϵ \epsilon ϵ-net作为工具,将和式放大为 ϵ \epsilon ϵ-net的绝对值乘以概率的最值即可。构造 ϵ \epsilon ϵ-net需要度量空间,因此我们首先要在 I n \mathbb{I}_n In上定义度量,然后再推导不等式。
结论3 ( I n , δ ) (\mathbb{I}_n,\delta) (In,δ)是一个度量空间。
证明
i) δ ( I , J ) = 0 ⇔ ρ ( I , J ) = 1 ⇔ I = J \delta(I,J)=0 \Leftrightarrow \rho(I,J)=1 \Leftrightarrow I = J δ(I,J)=0⇔ρ(I,J)=1⇔I=J,后半句的证明如下:
⇒ \Rightarrow ⇒: If ρ ( I , J ) = 1 \rho(I,J)=1 ρ(I,J)=1, assume I ≠ J I \ne J I=J. We can decompose J J J as
J = ( I ∩ J ) ⊔ ( J ∖ I ) J = (I \cap J) \sqcup (J \setminus I) J=(I∩J)⊔(J∖I)where ∣ J ∖ I ∣ > 0 |J \setminus I|>0 ∣J∖I∣>0. Besides, I ∩ J ⊂ I I \cap J \subset I I∩J⊂I, ∣ I ∩ J ∣ ≤ I |I \cap J| \le I ∣I∩J∣≤I. So
ρ ( I , J ) = ∣ I ∩ J ∣ ∣ I ∣ ∣ J ∣ ≤ ∣ I ∩ J ∣ ∣ I ∩ J ∣ ( ∣ I ∩ J ∣ + ∣ J ∖ I ∣ ) < 1 \rho(I,J)=\frac{|I \cap J|}{\sqrt{|I||J|}}\le \frac{|I \cap J|}{\sqrt{|I \cap J|(|I \cap J|+|J \setminus I|)}}<1 ρ(I,J)=∣I∣∣J∣∣I∩J∣≤∣I∩J∣(∣I∩J∣+∣J∖I∣)∣I∩J∣<1
This is contradict to ρ ( I , J ) = 1 \rho(I,J)=1 ρ(I,J)=1. So I = J I = J I=J.
⇐ \Leftarrow ⇐: If I = J I = J I=J, ∣ I ∩ J ∣ = ∣ I ∣ |I \cap J| = |I| ∣I∩J∣=∣I∣, ∣ I ∣ ∣ J ∣ = ∣ I ∣ 2 = ∣ I ∣ \sqrt{|I||J|} = \sqrt{|I|^2} = |I| ∣I∣∣J∣=∣I∣2=∣I∣, thus
ρ ( I , J ) = 1 \rho(I,J)=1 ρ(I,J)=1
ii) δ ( I , J ) = 1 − ρ ( I , J ) = 1 − ρ ( J , I ) = δ ( J , I ) \delta(I,J)=\sqrt{1-\rho(I,J)}=\sqrt{1-\rho(J,I)}=\delta(J,I) δ(I,J)=1−ρ(I,J)=1−ρ(J,I)=δ(J,I)
iii) ∀ I , J , K ∈ I n \forall I,J,K \in \mathbb{I}_n ∀I,J,K∈In,要说明
δ ( I , K ) ≤ δ ( I , J ) + δ ( J , K ) \delta(I,K) \le \delta(I,J)+\delta(J,K) δ(I,K)≤δ(I,J)+δ(J,K)
参考结论2,用以区间为下标的随机变量之差的方差表示 δ \delta δ,则不等式等价于
1 2 V a r ( Z [ I ] − Z [ K ] ) ≤ 1 2 V a r ( Z [ I ] − Z [ J ] ) + 1 2 V a r ( Z [ J ] − Z [ K ] ) \sqrt{\frac{1}{2}Var(Z[I]-Z[K])} \\ \le \sqrt{\frac{1}{2}Var(Z[I]-Z[J])}+\sqrt{\frac{1}{2}Var(Z[J]-Z[K])} 21Var(Z[I]−Z[K])≤21Var(Z[I]−Z[J])+21Var(Z[J]−Z[K])
引入 X = Z [ I ] − Z [ J ] , Y = Z [ J ] − Z [ K ] X=Z[I]-Z[J],Y=Z[J]-Z[K] X=Z[I]−Z[J],Y=Z[J]−Z[K],
E X = E Y = 0 EX=EY=0 EX=EY=0
则上式等价于
E [ ( X + Y ) 2 ] ≤ E [ X 2 ] + E [ Y 2 ] \sqrt{E[(X+Y)^2]} \le \sqrt{E[X^2]}+\sqrt{E[Y^2]} E[(X+Y)2]≤E[X2]+E[Y2]
也就是等价于 L 2 L^2 L2中的范数满足的三角不等式:
∥ X + Y ∥ L 2 ≤ ∥ X ∥ L 2 + ∥ Y ∥ L 2 \left\| X+Y \right\|_{L^2} \le \left\| X \right\|_{L^2}+\left\| Y \right\|_{L^2} ∥X+Y∥L2≤∥X∥L2+∥Y∥L2
所以
δ ( I , K ) ≤ δ ( I , J ) + δ ( J , K ) \delta(I,K) \le \delta(I,J)+\delta(J,K) δ(I,K)≤δ(I,J)+δ(J,K)
引理 极值理论的概率不等式
假设 X 1 , ⋯ , X n ∼ i i d N ( 0 , 1 ) X_1,\cdots,X_n \sim_{iid} N(0,1) X1,⋯,Xn∼iidN(0,1),则
P ( X ( n ) > 2 log n ) ≤ 1 4 π log n P(X_{(n)}>\sqrt{2 \log n}) \le \frac{1}{\sqrt{4\pi \log n}} P(X(n)>2logn)≤4πlogn1
这是极值理论的一个重要结论,极值理论是研究一列随机变量的最大值/最小值的分布的理论,最大值 X ( n ) X_{(n)} X(n)可能收敛到一些特殊的分布,比如Gumbel分布等,这个不等式说明这种收敛的收敛速率为 O ( 1 / log n ) O(1/\sqrt{\log n}) O(1/logn),这是一个非常小的收敛速率,也就是说极值的收敛是非常慢的。另外一类重要的收敛是均值的收敛,研究均值收敛的理论是中心极限定理,经典的中心极限定理给出的均值的收敛速率是 O ( 1 / n ) O(1/n) O(1/n)。
现在我们可以在 ( I n , δ ) (\mathbb{I}_n,\delta) (In,δ)上定义一个 ϵ \epsilon ϵ-net,记为 N \mathcal{N} N,它的cardinality满足
∣ N ∣ ≤ 4 n ϵ 4 |\mathcal{N}|\le \frac{4n}{\epsilon^4} ∣N∣≤ϵ44n
N \mathcal{N} N上的元素满足: ∀ I ∈ I n \forall I \in \mathbb{I}_n ∀I∈In, ∃ J ∈ N \exists J \in \mathcal{N} ∃J∈N, δ ( I , J ) < ϵ \delta(I,J)<\epsilon δ(I,J)<ϵ,根据结论2,用方差表示就是
V a r ( Z [ I ] − Z [ J ] ) ≤ 2 ϵ 2 Var(Z[I]-Z[J]) \le 2\epsilon^2 Var(Z[I]−Z[J])≤2ϵ2
引入 Z ∗ [ N ] = max { Z [ I ] : I ∈ N } Z^*[\mathcal{N}]=\max\{Z[I]:I \in \mathcal{N}\} Z∗[N]=max{
Z[I]:I∈N},根据上面的引理
P ( Z ∗ [ N ] > 2 log ∣ N ∣ ) ≤ 1 4 π log ∣ N ∣ P ( Z ∗ [ N ] > 2 log 4 n ϵ 4 ) ≤ 1 4 π log 4 n ϵ 4 P(Z^*[\mathcal{N}]>\sqrt{2 \log |\mathcal{N}|}) \le \frac{1}{\sqrt{4\pi \log |\mathcal{N}|}} \\ P(Z^*[\mathcal{N}]>\sqrt{2 \log \frac{4n}{\epsilon^4}}) \le \frac{1}{\sqrt{4\pi \log \frac{4n}{\epsilon^4}}} P(Z∗[N]>2log∣N∣)≤4πlog∣N∣1P(Z∗[N]>2logϵ44n)≤4πlogϵ44n1
这是关于 Z ∗ [ N ] Z^*[\mathcal{N}] Z∗[N],我们来说明它可以逼近 Z ∗ [ I n ] Z^*[\mathbb{I}_n] Z∗[In],
Z ∗ [ I n ] = max I ∈ I n Z [ I ] = max I ∈ I n ( Z [ J ] + ( Z [ I ] − Z [ J ] ) ) ≤ Z ∗ [ N ] + max I ∈ I n , J ∈ N ( Z [ I ] − Z [ J ] ) Z^*[\mathbb{I}_n] = \max_{I \in \mathbb{I}_n} Z[I] = \max_{I \in \mathbb{I}_n} (Z[J]+(Z[I]-Z[J])) \\ \le Z^{*}[\mathcal{N}]+\max_{I \in \mathbb{I}_n,J \in \mathcal{N}}(Z[I]-Z[J]) Z∗[In]=I∈InmaxZ[I]=I∈Inmax(Z[J]+(Z[I]−Z[J]))≤Z∗[N]+I∈In,J∈Nmax(Z[I]−Z[J])
max I ∈ I n , J ∈ N ( Z [ I ] − Z [ J ] ) \max_{I \in \mathbb{I}_n,J \in \mathcal{N}}(Z[I]-Z[J]) maxI∈In,J∈N(Z[I]−Z[J])可以理解成 ∣ I n ∣ ∣ N ∣ |\mathbb{I}_n||\mathcal{N}| ∣In∣∣N∣个标准正态的最大值,根据引理,
P ( max I ∈ I n , J ∈ N ( Z [ I ] − Z [ J ] ) > 2 log ∣ I n ∣ ∣ N ∣ ) ≤ 1 4 π log ∣ I n ∣ ∣ N ∣ P ( max I ∈ I n , J ∈ N ( Z [ I ] − Z [ J ] ) > 2 ϵ 2 log n 4 ) ≤ 1 4 π log n 4 P(\max_{I \in \mathbb{I}_n,J \in \mathcal{N}}(Z[I]-Z[J])>\sqrt{2 \log |\mathbb{I}_n||\mathcal{N}|}) \le \frac{1}{\sqrt{4\pi \log |\mathbb{I}_n||\mathcal{N}|}} \\ P(\max_{I \in \mathbb{I}_n,J \in \mathcal{N}}(Z[I]-Z[J])>\sqrt{2}\epsilon\sqrt{2 \log n^4}) \le \frac{1}{\sqrt{4\pi \log n^4}} P(I∈In,J∈Nmax(Z[I]−Z[J])>2log∣In∣∣N∣)≤4πlog∣In∣∣N∣1P(I∈In,J∈Nmax(Z[I]−Z[J])>2ϵ2logn4)≤4πlogn41
综上,
P ( Z ∗ [ I n ] > 2 log 4 n ϵ 4 + 2 ϵ 2 log n 4 ) < 1 4 π log n 4 + 1 4 π log 4 n ϵ 4 → 0 , a s n → ∞ P(Z^*[\mathbb{I}_n]>\sqrt{2 \log \frac{4n}{\epsilon^4}}+\sqrt{2}\epsilon\sqrt{2 \log n^4})\\<\frac{1}{\sqrt{4\pi \log n^4}} + \frac{1}{\sqrt{4\pi \log \frac{4n}{\epsilon^4}}} \to 0,\ as\ n \to \infty P(Z∗[In]>2logϵ44n+2ϵ2logn4)<4πlogn41+4πlogϵ44n1→0, as n→∞
最后考虑一下
2 log 4 n ϵ 4 + 2 ϵ 2 log n 4 \sqrt{2 \log \frac{4n}{\epsilon^4}}+\sqrt{2}\epsilon\sqrt{2 \log n^4} 2logϵ44n+2ϵ2logn4
我们希望得到一个最大的下界,于是选择一个 ϵ \epsilon ϵ使得这个值最小,比如取 ϵ = 0.001 / 2 \epsilon=0.001/\sqrt{2} ϵ=0.001/2,就可以得到待证的不等式了。
应用:DNA序列突变点侦测
先从维基百科扒来一个标准密码子表,简单介绍一下DNA序列突变点的含义,如果一段DNA序列为ATGATCACTATGTAG,则它翻译的结果是甲硫氨酸-异亮氨酸-苏氨酸-甲硫氨酸,如果这个序列突变为ATGATCACTATCTAG,它翻译的结果就变成了甲硫氨酸-异亮氨酸-苏氨酸-异亮氨酸,这两种结果中硫元素的含量具有显著差异,根据这个性质,我们可以设计试验寻找突变点。要检验某段DNA中是否有使ATG变成ATC的突变点,翻译得到一个很长的肽链,用 X i X_i Xi表示一小段肽链的硫元素含量, X i ∼ N ( μ i 2 , 1 ) , i = 1 , ⋯ , n X_i \sim N(\mu_i^2,1),i=1,\cdots,n Xi∼N(μi2,1),i=1,⋯,n,这里方差被标准化为1,我们可以用假设检验建模:
H 0 : μ 1 = ⋯ = μ n = 0 H a : μ 1 = ⋯ = μ l = μ r + 1 = ⋯ = μ n = 0 , μ l + 1 = ⋯ = μ r ≠ 0 H_0:\mu_1=\cdots=\mu_n=0 \\ H_a:\mu_1 = \cdots = \mu_l = \mu_{r+1} = \cdots = \mu_n = 0,\mu_{l+1}=\cdots=\mu_r \ne 0 H0:μ1=⋯=μn=0Ha:μ1=⋯=μl=μr+1=⋯=μn=0,μl+1=⋯=μr=0
定义
X [ l , r ] = 1 l − r ∑ i = l + 1 r X i X[l,r]=\frac{1}{\sqrt{l-r}}\sum_{i=l+1}^rX_i X[l,r]=l−r1i=l+1∑rXi
在原假设下, X [ l , r ] ∼ N ( 0 , 1 ) X[l,r] \sim N(0,1) X[l,r]∼N(0,1),要检验这段DNA中是否包含使ATG变成ATC的突变点,引入统计量
T = max l < r ∣ X [ l , r ] ∣ T = \max_{l<r}|X[l,r]| T=l<rmax∣X[l,r]∣
这个统计量的作用非常直观,如果这段DNA不含突变,那么 T T T的值就会比较小,否则 T T T是比较大的,为了让这个方法具有实用价值,我们需要确定多大才算大。根据上面的不等式:
P ( T = Z ∗ [ I n ] > 2.01 log n ) → 0 , a s n → ∞ P(T=Z^*[\mathbb{I}_n]>\sqrt{2.01 \log n}) \to 0,\ as\ n \to \infty P(T=Z∗[In]>2.01logn)→0, as n→∞
这里的 n n n表示的是肽链的数目,这个概率不等式说明,用一个比较严格的标准,当 T T T比 2.01 log n \sqrt{2.01 \log n} 2.01logn时,我们可以显著地拒绝原假设,并得出这段DNA存在使ATG变成ATC的突变点。