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.