数学科学学院学术报告
Complete proof of the Peres conjecture for contextuality via graph theory
许振朋
（安徽大学）
报告时间：2026年5月14日上午10：00
报告地点：北京航空航天大学沙河校区
报告摘要：A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose and develop further recently a systematic approach to find minimal GHZ-type proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [A. Cabello et al., Phys. Lett. A 212, 183 (1996)] is the minimal set for any dimension, completely verifying a long-standing conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.
报告人简介：许振朋教授现就职于安徽大学，毕业于南开大学陈省身数学研究所，毕业后在德国锡根大学从事博士后工作，期间获德国洪堡基金会支持。研究方向为量子力学基础问题和量子信息，专注于不同系统中的量子关联。迄今已在量子信息理论基础领域发表SCI 论文四十余篇，含Physical Review Letters 8 篇（第一／通讯作者 4 篇），Nature Communications、Science Advances、PRX Quantum 各1 篇。基于以往工作，申请人荣获2021年度奥地利科学院颁发的埃伦费斯特量子基础最佳论文奖。
邀请人： 王宝山 王拥军
