11 citations · 28 across the 15 of their papers we have counts for
14 papers · 2 filters
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…