11 citations · 28 across the 15 of their papers we have counts for
19 papers
Compass in the Mirror: Quantum Backpropagation with the Hopf Ansatz
Ruge Lin, Ranyiliu Chen
A variational quantum state may have many control angles, and its complete gradient contains one derivative for each. The task is to turn access to selected derivatives into a shar…
Closed-Form Arbitrary-Gap Rényi Nonadditivity Above Any Positive Order via Direct Products of Free Groups and High-Girth Graphs
Guocheng Zhen, Ranyiliu Chen, Xin Wang
We give a closed-form finite-dimensional construction of quantum channels with real algebraic entries exhibiting arbitrarily large violations of minimum-output Rényi entropy additi…
Collective Quantum State Preparation Is Nonadditive
Lin Zhu, Ranyiliu Chen, Xin Wang +1
Quantum state preparation is a basic primitive of quantum computation and control, but its resource cost is usually analyzed for one target state or under an independent-copy const…
Robust self-testing of nonmaximal entanglement from a reduced inner product game
Ranyiliu Chen
We reduce Lalonde's pseudo-telepathy inner product game from six to five dimensions, keeping its four Alice questions and three Bob questions and reducing each answer alphabet to f…
A non-robust quantum correlation self-test
Ranyiliu Chen, Yuming Zhao
We show that exact self-testing of a quantum correlation does not imply robust self-testing. Mančinska and Schmidt previously established such a separation for non-local games, but…
A Separation between Full-Rank PVM and Assumption-free Self-Testing
Ranyiliu Chen
We construct a nonlocal game that self-tests a maximally entangled qubit strategy among pure full-Schmidt-rank projective strategies, but admits an inequivalent optimum using one n…
Causal-Class Hierarchies in Coherence-Constrained Channel Transformation
Lin Zhu, Benchi Zhao, Xuanqiang Zhao +3
Higher-order quantum transformations allow multiple channel uses to be combined through different causal architectures, from parallel and fixed-order sequential networks to general…
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…
Analytic Qubit Separation between POVMs and Projective Measurements
Lin Zhu, Ranyiliu Chen, Xin Wang +1
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional…
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--…
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…
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…
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…
Structure, Optimality, and Symmetry in Shadow Unitary Inversion
Guocheng Zhen, Yu-Ao Chen, Mingrui Jing +3
Reversing unitary operations is a key task in quantum computing and quantum control. In this work, we introduce and develop the framework of shadow unitary inversion, a relaxed var…
All Real Projective Measurements Can be Self-tested
Ranyiliu Chen, Laura Mančinska, Jurij Volčič
Self-testing is the strongest form of quantum functionality verification which allows a classical user to deduce the quantum state and measurements used to produce measurement stat…
Near-term Efficient Quantum Algorithms for Entanglement Analysis
Ranyiliu Chen, Benchi Zhao, Xin Wang
Entanglement plays a crucial role in quantum physics and is the key resource in quantum information processing. However, entanglement detection and quantification are believed to b…
Variational Quantum Algorithms for Trace Distance and Fidelity Estimation
Ranyiliu Chen, Zhixin Song, Xuanqiang Zhao +1
Estimating the difference between quantum data is crucial in quantum computing. However, as typical characterizations of quantum data similarity, the trace distance and quantum fid…