theorem

Theorem 19.16

First-component contextual separation

Theorem 19.16 (First-component contextual separation). For every r≥3r\ge3, τD(Hr)=2,γD(Hr)=4,ηD(Hr)=βD(Hr)=2(r−1).\boxed{ \tau_D(H_r)=2, \qquad \gamma_D(H_r)=4, \qquad \eta_D(H_r)=\beta_D(H_r)=2(r-1). } In particular, βD(Hr)>γD(Hr)\beta_D(H_r)>\gamma_D(H_r) for r≥4r\ge4.