Advances in crossover between quantum information theory and quantum computational complexity theory

我们开发了量子信息论和量子计算复杂性理论的有用技术，并将其应用于交互证明系统、密码学、网络理论等领域。对于量子交互证明系统，我们研究了多个证明者之间的量子纠缠效应。此外，我们还考虑了量子通信在网络编码中的可能性，并提出了高效的协议。我们用量子计算复杂性理论证明了函数的核心性质，而这一性质还没有从经典理论得到证明。此外，我们还提出了几种经典的密码协议，为量子密码学提供了一些思路。

We developed useful techniques in quantum information theory and quantum computational complexity theory and applied them to interactive proof systems, cryptography, network theory and so on. With respect to quantum interactive proof systems, we investigated effects of quantum entanglements among multiple provers. Moreover, we considered the possibility of quantum communication in network coding and proposed efficient protocols. We proved the hard-core property of a function by the quantum computational complexity theory, while it had not been proved from the classical theory. Furthermore, we proposed several classical cryptographic protocols, which bring some ideas to quantum cryptography.