Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
portfolio
publications
Simulation of adjoints and Petz recovery maps for unknown quantum channels
arXiv preprint, 2026
Protocols and limitations for transforming unknown quantum channels, with an application to Petz recovery.
Recommended citation: Zhu, C.*, Tang, Z.*, Zhen, G., Li, Y., Bai, G., & Wang, X. Simulation of adjoints and Petz recovery maps for unknown quantum channels. arXiv:2602.05828.
Download Paper
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
arXiv preprint, 2026
A Lean 4 library for formalizing quantum states, channels, coding theorems, and asymptotic rates.
Recommended citation: Zhu, C., Tang, Z., Zhen, G., Cao, Y., Zhao, Y., Chen, R., Zhao, X., Zhang, L., & Wang, X. Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory. arXiv:2607.09632.
Download Paper
Logical Entangling with Phantom Codes in Hypergraph Products
arXiv preprint, 2026
Characterizes phantom codes within hypergraph products and evaluates their use in low-overhead fault tolerance.
Recommended citation: He, K.*, Tang, Z.*, Li, Z., Bai, G., & Wang, X. Logical Entangling with Phantom Codes in Hypergraph Products. arXiv:2607.12948.
Download Paper
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
arXiv preprint, 2026
Lean 4 benchmarks for evaluating agents that prove theorems in quantum algorithms and information theory.
Recommended citation: Zhang, L., Zhao, Y., ..., Tang, Z., ..., & Wang, X. Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information. arXiv:2607.21533.
Download Paper
A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games
arXiv preprint, 2026
A sharp threshold of four active questions per player for GHZ-equatorial completeness in four-player XOR games.
Recommended citation: Tang, Z., Zhu, C., Bai, G., Wang, X., & Chen, R. A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games. arXiv:2608.11139.
Download Paper
Classical Capacity and Entanglement Cost of the Amplitude Damping Channel
arXiv preprint, 2026
Single-letter formulas for the classical capacity and entanglement cost of the amplitude damping channel; cited by OpenAI in its work on Problem 276.
Recommended citation: Tang, Z., Zhu, C., Bai, G., & Wang, X. Classical Capacity and Entanglement Cost of the Amplitude Damping Channel. arXiv:2609.28592.
Download Paper
talks
Simulation of adjoints and Petz recovery maps for unknown quantum channels
Published:
Poster presentation at Beyond IID in Information Theory 14, held June 22 - June 26, 2026.
teaching
Introduction to Advanced Algorithmic Techniques
Teaching Assistant, AIAA 4711: Introduction to Advanced Algorithmic Techniques, 2025-26 Spring
Teaching Assistant for AIAA 4711, Introduction to Advanced Algorithmic Techniques, in the 2025-26 Spring term.