arXiv subjects

Guocheng Zhen

Publications and source records attributed to Guocheng Zhen.

9 recordsLinked to original sources

arXiv2026

Almost One Bit Violation of Minimum-Output Rényi Entropy Additivity Simultaneously at All Orders

We prove that minimum-output Rényi-entropy additivity can fail by almost one bit simultaneously at every nonnegative order. For every $\varepsilon\in(0,\log2)$, there exists a finite-dimensional quantum channel with a real Stinespring isometry such that the same maximally entangled input witnesses a tensor-square entropy gap of at least $\log2-\varepsilon$ for all $p\in[0,\infty]$. The output dimension can be chosen to be $O(\varepsilon^{-3})$ as $\varepsilon\downarrow0$. The construction uses direct products of free groups: tensorized Haagerup estimates control the one-copy outputs, while commutation between distinct factors forces exact Bell-branch collisions at two copies. Strong convergence gives both an existential realization through finite-dimensional representations of right-angled Artin groups followed by realification, and a Haar-orthogonal model whose success probability tends to one as the matrix dimension grows. We also determine the exact Bell quotient, prove asymptotically sharp regular-radius bounds, and show that the cubic output-dimension scale is optimal within the present purity--rank certificate.

quant-ph↗

arXiv2026

Deterministic Minimum-Output-Entropy Nonadditivity via Haagerup's Inequality and Near-Free Permutation Representations

We give a deterministic realization of the finite-dimensional quadratic certificate underlying Collins's mixed-unitary proof of minimum-output-entropy nonadditivity. For every fixed integer $K\ge 2$ and rational $η>0$ satisfying $\log K>2(3+η)^2$, a deterministic polynomial-time algorithm, for every sufficiently large target size $N$, outputs $K$ permutations on $N'=N+o_{K,η}(N)$ points. Restricting their permutation matrices to the nontrivial standard representation yields real orthogonal Stinespring blocks and a channel $Φ_{N'}:M_{N'-1}(\mathbb{C})\to M_K(\mathbb{C})$ such that \[ 2H_{\min}(Φ_{N'}) -H_{\min}(Φ_{N'}^{\otimes 2}) \ge \frac{\log K}{K} -2\log\left(1+\frac{(3+η)^2}{K}\right) >0. \] The construction combines Haagerup's length-two inequality with the simultaneous deterministic spectral approximation of O'Donnell and Wu. We further show that the constant $3$ is asymptotically sharp on the relevant Hermitian zero-diagonal coefficient class and that the finite spectral transfer is nearly saturated, thereby isolating the finer geometry of the full output body as the natural next level of refinement beyond the scalar-radius method. Finally, a standard covariant extension converts the same deterministic entropy gap exactly into self-tensor superadditivity of the one-shot Holevo quantity.

quant-ph↗

arXiv2026

Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits

Monitored quantum circuits combine scrambling with measurement-conditioned state updates, while non-Clifford perturbations inject magic into otherwise stabilizer-compatible dynamics. Rigorous results on stationary magic and its weak-injection asymptotics remain limited even for finite-dimensional Clifford-based monitored models. We study an $N$-qudit process of prime local dimension $d$. Each cycle draws a fresh uniform global Clifford unitary, applies a local weak non-Clifford rotation and a projective measurement on one qudit, and then returns to the inverse Clifford frame. For every fixed injection strength, we prove that the induced pure-state Markov chain has a unique invariant probability measure and attracts every initial law geometrically in Wasserstein distance. At zero injection, the invariant law is supported on the finite stabilizer layer. After rescaling transverse deviations from this layer, the resulting blown-up stationary laws converge weakly to the invariant law of an affine tangent recursion. Combining this tangent law with Poisson representations and the first nonzero local resource germs determines the sharp vanishing rates of stationary magic. For every fixed $N\ge2$, odd-prime Gross--Wigner mana admits a linear expansion with a strictly positive coefficient, whereas qubit $2$-stabilizer Rényi entropy admits a quadratic expansion with a strictly positive coefficient. For $N=1$, both stationary resource averages vanish identically for all injection strengths. The distinct orders arise from the different local resource geometries, together with quadratic-order zero-reference branch contributions in qubit case.

quant-ph↗

arXiv2026

Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information

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. We introduce Lean-QuantumAlg-Bench and Lean-QIT-Bench, two Lean 4 benchmarks containing 36 and 40 theorem-completion tasks for quantum algorithms and quantum information theory, respectively. Every task compiles in a fixed environment and is evaluated by deterministic proof checking and targeted semantic review, with difficulty weights assigned before model execution. We evaluate four models-GPT-5.5, Kimi K3, DeepSeek V4-Pro, and MiniMax M3-within a common theorem-proving framework under two settings: a task-only baseline and library-augmented deduction (LAD), which additionally provides access to a verified domain library. The highest difficulty-weighted scores are 60.4 out of 100 on the quantum-algorithm benchmark and 59.6 out of 100 on the quantum-information benchmark. LAD improves both score and completion rate in all eight model-benchmark comparisons, with gains of up to 15.9 points, providing evidence that verified libraries can strengthen domain-specific proof agents. The results reveal recurring weaknesses of agentic proving in areas such as quantum simulation, quantum learning, quantum information measures, and entanglement theory. Monetary and wall-clock costs per score point also vary substantially across models, highlighting important capability-efficiency trade-offs. We expect these benchmarks to establish a reproducible baseline for developing more capable and reliable proof agents, and to pave the way toward self-evolving AI scientists for advancing quantum information science.

quant-ph↗

arXiv2026

Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory

Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error correction. Formalizing its coding theorems requires connecting finite-block protocols, analytic inequalities, and asymptotic limits within a unified machine-checked framework. Existing developments, however, lack a reusable operational layer that defines codes, error criteria, achievable rates, and capacities independently of their information-theoretic characterizations. In this work, we present LeanQIT, a Lean 4 library for finite-dimensional QIT. It provides composable, kernel-checked interfaces for quantum states and channels, source and channel codes, finite-block performance criteria, hypothesis testing, one-shot quantities, and asymptotic rate constructions. Using this infrastructure, we formalize Schumacher's quantum source-coding theorem, the Holevo--Schumacher--Westmoreland classical-capacity theorem, and the entanglement-assisted classical-capacity theorem together with its strong converse. By separating operational definitions from analytic characterizations and exposing reusable achievability, converse, and asymptotic components, Lean-QIT provides a machine-readable foundation for formal QIT and a compositional knowledge substrate for emerging AI-assisted formalization, automated proof search, and agentic reasoning in quantum information and computation.

quant-ph↗

arXiv2026

Distilling Unitary Operations: A No-Go Theorem and Minimal Realization

Quantum gates executed on physical hardware are inevitably degraded by environmental noise. While state purification effectively distills static quantum resources, the dynamic execution of quantum algorithms requires a higher-order approach to mitigate errors on the operations themselves. In this work, we investigate universal unitary purification: the task of utilizing a quantum higher-order operation to partially restore the ideal action of an unknown unitary corrupted by a known noise model. Focusing on canonical depolarizing noise, we first reveal a fundamental operational obstruction. We prove that within the indefinite causal order framework, no nontrivial 2-slot higher-order operation can universally purify the set of single-qubit unitaries. Overcoming this strict limitation, we establish that a 3-slot parallel architecture provides the minimal realization for non-trivial purification. We analytically derive the optimal average fidelity within the parallel 3-slot class, demonstrating that it strictly surpasses trivial strategies by systematically utilizing ancillary qubits as a quantum memory to absorb errors. Furthermore, we provide a concrete quantum circuit construction attaining this parallel optimum. Our results establish the strict theoretical boundaries of distilling clean operations from noisy gates, offering immediate architectural insights for robust gate design.

quant-ph↗

arXiv2026

Spectral measure of large random Helson matrices

We study the limiting spectral measure of large random Helson matrices and large random matrices of certain patterned structures. Given a real random variable $X \in L^{2+ \varepsilon}(\mathbb{P}) $ for some $\varepsilon > 0$ and $\mathrm{Var}(X) = 1$. For the random $n \times n$ Helson matrices generated by the independent copies of $X$, scaling the eigenvalues by $\sqrt{n}$, we prove the almost sure weak convergence of the spectral measure to the standard Wigner semi-circular law. Similar results are established for large random matrices with certain general patterned structures.

math.PR↗

arXiv2026

Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels

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 central problem is whether these transformations can be implemented physically with quantum supermaps. While such supermaps are known for unitary operations, the situation for general quantum channels is fundamentally different. In this work, we establish a strict hierarchy of physical realizability for the transposition, complex conjugation, and adjoint transformation of an unknown quantum channel. We present a probabilistic protocol that exactly implements the transpose with a single query. In contrast, we prove no-go theorems showing that neither the complex conjugate nor the adjoint can be implemented by any completely positive supermap, even probabilistically. We then overcome this impossibility by designing a virtual protocol for the complex conjugate based on quasi-probability decomposition, and show its optimality in terms of the diamond norm. As a key application, we propose a protocol to estimate the expectation values resulting from the Petz recovery map of an unknown channel, achieving an improved query complexity compared to existing methods.

quant-ph↗

arXiv2025

Structure, Optimality, and Symmetry in Shadow Unitary Inversion

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 variant of unitary inversion in which the goal is to reproduce the action of the inverse unitary only at the level of the expectation value of a fixed observable. This task captures an operational setting in which only shadow information is required and allows query complexities significantly below those of full unitary inversion. We establish a dimension-dependent lower bound showing that any $t$-query scheme requires $t$ to scale at least linearly with the system dimension, with the constant determined by the spectral properties of the target observable. In the qubit case, we construct a deterministic three-query sequential protocol that achieves exact shadow inversion, and we provide a complete characterization of all admissible qubit channels satisfying the shadow constraint. Numerical evidence suggests that three queries are optimal. For higher-dimensional systems, we develop a semidefinite-programming formulation for optimizing shadow-inversion combs and introduce a representation-theoretic symmetry reduction that decomposes the problem into invariant blocks, substantially reducing the problem size. These results provide the first systematic study for shadow unitary inversion and establish its resource requirements and symmetry structure across dimensions.

quant-ph↗