3、量子非定域：首次利用无不等式的判据来探测真正多体纠缠的真正多体非定域性[Phys.Rev.Lett. 112, 140404 (2014)]；首次利用图态构造GHZ悖论 [Phys.Rev.Lett.110, 100403 (2013)]；首次证明了所有的多体纠缠态都会破坏同一个贝尔不等式 [Phys.Rev.Lett.109, 120402 (2012)]。