量子互文性是自然界的最基本的性质之一，我们可以通过Kochen-Specker(KS)定理来认识它。本研究项目是关于量子互文性的基础理论研究及其相关应用探索。拟首先研究新引入的各类非正交KS赋值约束下的新的KS定理的证明以及在这些新的约束下对KS不等式的界的改进。其次，计划研究互文性和其他一些可以非经典的量例如量子纠缠或量子失协等的联系。最后，探索新的量子互文性的应用也是本项目的一个重要课题。期望本项目的实施能为量子互文性研究带来新的突破并且对其应用提供一些有价值的方向。

Quantum contextuality is one of the most fundamental properties of nature which can be understood by the Kochen-Specker theorem. The proposed project here focuses on some fundamental theories and some applications on quantum contextuality. By introducing some new non-orthogonal KS value assignments, the project will study some new versions of proofs about the KS theorem as well as more tight bounds of the relevant KS inequalities. Besides, our investigation concerns about the relationship between some non-classical properties such as entanglement or discord and contextuality. Finally, to explore some new applications of quantum contextuality is also a key plan in our research. We hope our study will make a breakthrough in this topic and show some prominent directions in its application area.