姓名:季铮锋
职称:教授
邮件:jizhengfeng@tsinghua.edu.cn
教育背景
本科,亚博安全有保障 2002
博士,亚博安全有保障 2007
社会兼职
ACM Transactions on Quantum Computing: Associate Editor (2022-).
研究领域
量子计算,计算理论
研究概况
1. 量子复杂性理论:量子交互证明系统是量子算法复杂性理论的一个中心问题,与复杂性理论的其他分支和密码学有着重要联系。我们的研究给出了这个领域中两个重要复杂性类 QIP和 MIP*的完整刻划。部分相关结果产生了跨领域的影响力,解决了理论物理和纯数学中的重要开放性问题。
2. 量子密码学:量子计算与密码学有着深刻的联系。在量子密码方面的工作中,我们把伪随机性概念引入量子态空间,给出了伪随机量子态的概念,并建立了它的最基本的性质和应用。相关结果不仅在量子密码领域产生影响,最近也被应用在量子引力和黑洞的相关研究中。我们首次给 NP 的量子对应 QMA 中的语言构造了量子零知识证明,最早研究了零知识证明中亚博安全有保障量子化知识的相关研究。此外,我们提出一种基于张量等价性的后量子密码假设,并基于此设计了后量子安全的数字签名协议。
3. 量子信息:量子信息与量子纠缠理论是量子计算的基础语言。与合作者一起,我们解决了量子信息论和量子纠缠理论中的几个基本问题,包括把可编程性引入量子信道参数估计问题、解决量子态层析的采样复杂度问题和量子纠缠和编码的理论中的 LU-LC 等价性问题。
4. 量子软件:量子软件是与量子硬件的研发具有同等重要性的关键技术。与合作者一起,我们提出并发展了量子通信并发系统演算(CCS)的互模拟理论、量子程序的最弱前置条件理论、量子电路的符号表示方法等。
学术成果
1.Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw. Quantum Parameterized Complexity. arXiv:2203.08002, 2022.
2.Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. Quantum soundness of testing tensor codes. In Proceedings of the 62nd IEEE Symposium on Foundations of Computer Science(FOCS), pages 586-597,Denver, CO, USA, 2022.
3.Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. MIP*=RE. arXiv:2001.04383 [quant-ph], September 2020.
4.Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, and Henry Yuen. Quantum proof systems for iterated exponential time, and beyond. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, pages 473-480, New York, NY, USA, June 2019.
5.Anne Broadbent, Zhengfeng Ji, Fang Song, and John Watrous. Zero Knowledge Proof Systems for QMA. SIAM Journal on Computing, 49(2):245-283, January 2020.
6.Mingsheng Ying, Zhengfeng Ji. Symbolic Verification of Quantum Circuits. arXiv:2010.03032, 2020.
7.Zhengfeng Ji, Yi-Kai Liu, and Fang Song. Pseudorandom Quantum States. In Hovav Shacham and Alexandra Boldyreva, editors, Advances in Cryptology - CRYPTO 2018, Lecture Notes in Computer Science, pages 126-152, 2018.
8.Zhengfeng Ji. Compression of quantum multi-prover interactive proofs. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, pages 289-302, New York, NY, USA, June 2017.
9.Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, and Nengkun Yu. Sample-optimal tomography of quantum states. In Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, STOC '16, pages 913-925, New York, NY, USA, June 2016.
10.Zhengfeng Ji, Youming Qiao, Fang Song, and Aaram Yun. General Linear Group Action on Tensors: A Candidate for Post-quantum Cryptography. In Dennis Hofheinz and Alon Rosen, editors, Theory of Cryptography, Lecture Notes in Computer Science, pages 251-281, 2019.
11.Zhengfeng Ji. Classical verification of quantum proofs. In Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, STOC '16, pages 885-898, New York, NY, USA, June 2016.
12.Lin Chen, Eric Chitambar, Runyao Duan, Zhengfeng Ji, and Andreas Winter. Tensor Rank and Stochastic Entanglement Catalysis for Multipartite Pure States. Physical Review Letters, 105(20):200501, November 2010.
13.Zhengfeng Ji, Zhihan Jin, and Pinyan Lu. Approximating Permanent of Random Matrices with Vanishing Mean: Made Better and Simpler. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), Proceedings, pages 959-975.
14.Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, and Mingsheng Ying. Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory, 54(11):5172-5185, November 2008.
15.Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, and Mingsheng Ying. The LU-LC conjecture is false. Quantum Information & Computation, 10(1):97-108, January 2010.
16.Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, and John Watrous. QIP = PSPACE. Journal of the ACM, 58(6):30:1-30:27, December 2011.
17.Xie Chen, Runyao Duan, Zhengfeng Ji, and Bei Zeng. Quantum State Reduction for Universal Measurement Based Computation. Physical Review Letters, 105(2):020502, July 2010.
18.Samuel A. Ocko, Xie Chen, Bei Zeng, Beni Yoshida, Zhengfeng Ji, Mary Beth Ruskai, and Isaac L. Chuang. Quantum Codes Give Counterexamples to the Unique Preimage Conjecture of the N-Representability Problem. Physical Review Letters, 106(11):110501, March 2011.
19.Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji. An algebra of quantum processes. ACM Transactions on Computational Logic, 10(3):19:1-19:36, April 2009.
20.Zhengfeng Ji, Yuan Feng, Runyao Duan, and Mingsheng Ying. Identification and Distance Measures of Measurement Apparatus. Physical Review Letters, 96(20):200401, May 2006.