10 citations · 44 across the 36 of their papers we have counts for
35 papers · 1 filter
Resource Compatibility in Optimal Quantum Symmetry Testing
Yimeng Cao, Ranyiliu Chen, Chengkai Zhu +1
Can a symmetry be tested optimally without using the quantum resource naturally associated with it? For parallel subgroup-versus-Haar testing, we derive a quantitative representati…
Entanglement Cost of Optimal Distributed Quantum State Purification
Jiayi Zhao, Chengkai Zhu, Xin Wang +1
We determine the preshared entanglement required for spatially separated parties, restricted to local operations and classical communication, to attain globally optimal probabilist…
Private communication via zero-private-capacity quantum channels
Chengkai Zhu, Xin Wang
Private communication over a noisy quantum channel requires reliable transmission to the receiver and secrecy from the environment. Whether two channels with zero private capacity…
Deterministic Minimum-Output-Entropy Nonadditivity via Haagerup's Inequality and Near-Free Permutation Representations
Guocheng Zhen, Chengkai Zhu, Ranyiliu Chen +1
We give a deterministic realization of the finite-dimensional quadratic certificate underlying Collins's mixed-unitary proof of minimum-output-entropy nonadditivity. For every fixe…
The Min-Rains Relative Entropy Is Not Tight for Exact PPT Entanglement Distillation
Chengkai Zhu, Xin Wang
Exact entanglement distillation converts a noisy bipartite state into a maximally entangled state with zero error. Under completely PPT-preserving operations, the additive min-Rain…
A Sharp Local-Question Threshold for GHZ-Equatorial Completeness in Four-Player XOR Games
Ziao Tang, Chengkai Zhu, Ge Bai +2
We determine the smallest number of active questions per player at which a four-player binary exclusive-or (XOR) game of commuting-operator value one need not admit a Greenberger--…
Realified tensor networks: quantum circuit simulation on real-valued matrix accelerators
Yusheng Zhao, Xiwei Pan, Enji Xiong +2
Tensor-network contraction simulates quantum circuits, but modern matrix accelerators (NPUs, TPUs) expose only real GEMM pipelines, so the complex networks of quantum simulation mu…
Quantum incapacity from observable shadows
Chengkai Zhu, Xin Wang
Quantum communication is ruled out when an eavesdropper can reconstruct the receiver's state. Yet states are operationally specified by measurement statistics, raising a sharper qu…
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Lei Zhang, Yusheng Zhao, Yimeng Cao +10
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured.…
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Chengkai Zhu, Ziao Tang, Guocheng Zhen +6
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error…
Witness expansion: A unified framework for analytical and measurable mixed-state resource detection
Yifan Tang, Chengkai Zhu, Yuzhen Zhang +6
Quantum information science aims to harness different kinds of quantum resources to accomplish specific information-processing tasks. These resources also play an increasingly impo…
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
Guocheng Zhen, Xuanrong Yang, Chengkai Zhu +2
Monitored quantum circuits combine scrambling with measurement-conditioned state updates, while non-Clifford perturbations inject magic into otherwise stabilizer-compatible dynamic…
Distilling Qubit Unitary Operations: A No-Go Theorem and Minimal Realization
Jiayi Zhao, Yu-Ao Chen, Guocheng Zhen +3
Quantum gates executed on physical hardware are inevitably degraded by environmental noise. While state purification effectively distills static quantum resources, the dynamic exec…
Entanglement cost of bipartite quantum channel discrimination under positive partial transpose operations
Chengkai Zhu, Shuyu He, Gereon Koßmann +1
Quantum channel discrimination is a fundamental task in quantum information processing. In the one-shot regime, discrimination between two candidate channels is characterized by th…
Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels
Chengkai Zhu, Ziao Tang, Guocheng Zhen +3
Transformations of quantum channels, such as the transpose, complex conjugate, and adjoint, are fundamental to quantum information theory. Given access to an unknown channel, a cen…
Quantifying Unextendibility via Virtual State Extension
Hongshun Yao, Jingu Xie, Xuanqiang Zhao +3
Monogamy of entanglement, which limits how entanglement can be shared among multiple parties, is a fundamental feature underpinning the privacy of quantum communication. In this wo…
Geometric optimization for quantum communication
Chengkai Zhu, Hongyu Mao, Kun Fang +1
Determining the ultimate limits of quantum communication, such as the quantum capacity of a channel and the distillable entanglement of a shared state, remains a central challenge…
Optimizing LOCC Protocols on Product Stiefel Manifold
Ze-Tong Li, Cheng-Kai Zhu, Xin Wang
Characterizing the operational limits of Local Operations and Classical Communication (LOCC) is a central problem in distributed quantum information, yet remains computationally in…
Power and limitations of distributed quantum state purification
Benchi Zhao, Yu-Ao Chen, Xuanqiang Zhao +3
Quantum state purification protocols, which mitigate noise by converting multiple copies of noisy quantum states into fewer copies with a lower noise level, have applications in qu…
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations
Keming He, Chengkai Zhu, Hongshun Yao +3
Quantum state purification, a process that aims to recover a state closer to a system's principal eigenstate from multiple copies of an unknown noisy quantum state, is crucial for…
Riemannian Optimization for Holevo Capacity
Chengkai Zhu, Renfeng Peng, Bin Gao +1
Computing the classical capacity of a noisy quantum channel is crucial for understanding the limits of communication over quantum channels. However, its evaluation remains challeng…
Optimal Hamiltonian recognition of unknown quantum dynamics
Chengkai Zhu, Shuyu He, Yu-Ao Chen +2
Identifying unknown Hamiltonians from their quantum dynamics is a pivotal challenge in quantum technologies. In this paper, we introduce Hamiltonian recognition, a framework that b…
Amortized Stabilizer Rényi Entropy of Quantum Dynamics
Chengkai Zhu, Yu-Ao Chen, Zanqiu Shen +3
Unraveling the secrets of how much nonstabilizerness a quantum dynamic can generate is crucial for harnessing the power of magic states, the essential resources for achieving quant…
Classical communication cost of a bipartite quantum channel assisted by non-signalling correlations
Chengkai Zhu, Xuanqiang Zhao, Xin Wang
Understanding the classical communication cost of simulating a quantum channel is a fundamental problem in quantum information theory, which becomes even more intriguing when consi…