Publications

Research papers and preprints in quantum information, quantum computing, and formal methods.

Primary Publications

2026arXiv preprint

Tang, Z., Zhu, C., Bai, G., & Wang, X.

Single-letter formulas for the classical capacity and entanglement cost of the amplitude damping channel; cited by OpenAI in its work on Problem 276.

2026arXiv preprint

Tang, Z., Zhu, C., Bai, G., Wang, X., & Chen, R.

A sharp threshold of four active questions per player for GHZ-equatorial completeness in four-player XOR games.

2026arXiv preprint

He, K.*, Tang, Z.*, Li, Z., Bai, G., & Wang, X.

Characterizes phantom codes within hypergraph products and evaluates their use in low-overhead fault tolerance.

2026arXiv preprint

Zhu, C., Tang, Z., Zhen, G., Cao, Y., Zhao, Y., Chen, R., Zhao, X., Zhang, L., & Wang, X.

A Lean 4 library for formalizing quantum states, channels, coding theorems, and asymptotic rates.

2026arXiv preprint

Zhu, C.*, Tang, Z.*, Zhen, G., Li, Y., Bai, G., & Wang, X.

Protocols and limitations for transforming unknown quantum channels, with an application to Petz recovery.

2026arXiv preprint

Zhang, L., Zhao, Y., Cao, Y., Chen, R., Jing, M., Lai, J., Tang, Z., et al.

Lean 4 benchmarks for evaluating agents that prove theorems in quantum algorithms and information theory.